arXiv:2606.05895v4 Announce Type: replace
Abstract: Research metrics use attention as evidence of societal impact. Yet attention serves as evidence only once interpreted, and its meaning depends on its contextual structure, not on volume alone. Altmetrics represents signals in isolation, keeping a count of the attention an output received, or a sequence of when. We address this with attention flows, representations that situate an output's attention in the contexts through which it is distributed. To evaluate the flow, we build a benchmark of analogy queries, each testing whether the relationship between two outputs, applied to a third, yields a fourth. The count and sequence baselines fail to recover these relationships, whereas flows learned as dynamic contextualised representations recover them. The recovered structure also survives partial observation and rests on its contexts instead of volume. These findings support attention represented as contextually structured for research evaluation.
Science Journals
arXiv:2606.06480v2 Announce Type: replace
Abstract: Many real-world competitive systems require multiple decision-makers to act simultaneously under shared constraints, limited information, and repeated interaction, as in auctions, resource allocation, and security competition. We study multi-turn simultaneous bidding as a controlled testbed for such problems and propose DNQ, a solver-in-the-loop equilibrium supervision framework for training bidding agents. DNQ alternates between trajectory collection, critic-based payoff estimation, equilibrium computation, and policy imitation. At each visited state, a shared critic predicts either pairwise payoff matrices or an exact N-player payoff tensor, an external solver computes equilibrium strategies, and the agents are trained by minimizing the KL divergence between their masked policies and the solver-derived equilibrium targets. We focus on a scalable pairwise formulation that greatly reduces equilibrium-solving cost and training time compared with the exact formulation, while the shared critic amortizes payoff learning across agents and states. Experiments compare the pairwise and exact variants using critic loss, policy entropy, bidding resource usage, and training cost, showing that the pairwise method scales to larger numbers of agents, whereas the exact method becomes computationally impractical as the joint game grows. These results illustrate the trade-off between strategic fidelity and scalability in repeated competitive environments.
arXiv:2606.08083v2 Announce Type: replace
Abstract: Instantial neighbourhood logic is a modal language for neighbourhood frames in which formulas can express information about the kinds of worlds occurring inside a neighbourhood of a given world. In this paper, we study a positive, negation- and implication-free version of instantial neighbourhood logic with two primitive instantial modalities, one of \(\Box\)-type and one of \(\Diamond\)-type. Since classical negation is not available, the two modalities are treated independently. We introduce the language and proof system of positive instantial neighbourhood logic (PINL) and interpret it over persistent two-sided neighbourhood models. We then define a typed persistent neighbourhood semantics, used as an auxiliary canonical semantics to control witness and co-witness conditions. This yields a truth lemma and a typed completeness theorem for PINL. On the algebraic side, we introduce \(2\)-$\mathrm{DLIO}$s, bounded distributive lattices equipped with two families of instantial operations, as the algebraic semantics of PINL. We prove algebraic soundness and completeness via the Lindenbaum \(2\)-$\mathrm{DLIO}$. Finally, we construct the canonical bitopological PINL-space and show that the algebra of its admissible positive opens is isomorphic to the Lindenbaum \(2\)-$\mathrm{DLIO}$. Thus the paper establishes a canonical admissible-open representation of positive instantial neighbourhood logic, providing a first step toward a future duality theory.
arXiv:2607.14666v1 Announce Type: new
Abstract: Identification (ID) coding, introduced by Ahlswede and Dueck, extends Shannon's classical communication paradigm by replacing message reconstruction with hypothesis testing. Instead of decoding the transmitted message, the receiver only decides whether a particular message was sent. A fundamental result of ID theory is the double-exponential growth in the number of identifiable messages with respect to (w.r.t.) the blocklength. This scaling behavior enables fundamentally new communication architectures for large-scale distributed systems and forms a key building block of post-Shannon communication.
While ID cannot replace classical communication in general, it is particularly well-suited for scenarios in which full message reconstruction is unnecessary, such as monitoring, alarming, and control systems.
In this survey, we review the theoretical foundations of ID coding and discuss emerging communication architectures and application domains based on this paradigm. Particular emphasis is placed on practical use cases, including monitoring systems, special-purpose data storage, joint identification and sensing (JIDAS), semantic communications, mobile-network control systems and networked consensus testing systems. We further highlight recent system concepts, industrial perspectives, and implementation examples that illustrate how ID-based principles can be realized in practical communication systems.
arXiv:2607.14600v1 Announce Type: new
Abstract: This paper discusses some aspects related to gradient-based optimization algorithms with special focus on the requirements associated to their use in the implementation of Nonlinear Model Predictive Control. Based on a dedicated discussion, a new algorithm, termed Search and Accelerate (SaA) is proposed that mixes together a novel line search, a trust region mechanism together with an adaptation of the gradient acceleration scheme. A dedicated benchmark involving a set of 600 instances of box constrained optimization problems is designed and used in order to show the algorithm performances which make it a highly competitive general purpose gradient-based alternative for box-constrained optimization problems. An appealing feature of the algorithm is its robustness to the choice of the few parameters involved in its definition making the default values a valid option for any problem without a priori knowledge of the related Lipchitz constant. Moreover, an example of use of the proposed algorithm in NMPC implementation is proposed showing the possibility to reduce the control updating period which might be mandatory in some circumstances.
arXiv:2607.14293v1 Announce Type: cross
Abstract: Ionizing radiation from cosmic rays and gammas can induce discontinuous jumps in the environmental charge of superconducting qubits (charge jumps), causing correlated errors that challenge fault-tolerant quantum computing while simultaneously providing a detection signature for quantum sensing applications. Current detection methods operate offline, introducing latency incompatible with in-the-loop qubit control. In this paper, an online detector of charge jumps for superconducting qubits, based on a dilated causal convolutional neural network (DCCNN) designed for in-the-loop deployment on the Quantum Instrumentation Control Kit (QICK) platform, is presented. The network is trained on synthetic Ramsey tomography scans generated from qubit templates measured at the Northwestern Experimental Underground Site (NEXUS) at Fermilab, and translated to FPGA firmware via hls4ml with ap_fixed$\langle 16,6 \rangle$ quantization, reaching a per-inference latency of $6.19 \mu$s on the Zynq UltraScale+ RFSoC ZCU216. At this operating point the DCCNN matches the detection efficiency of the established offline $\chi^2$ algorithm ($0.843 \pm 0.022$ vs. $0.866 \pm 0.020$ on $|\Delta q| \in [0.1, 0.5] e$ at matched false-positive rate), while requiring no per-qubit hyperparameter tuning. This shifts charge-jump detection from a post-hoc diagnostic to a control-loop primitive, enabling adaptive protocols that respond to radiation-induced events in situ, with applications to quantum-computing error mitigation and to the use of superconducting qubits as particle detectors.
arXiv:2607.14673v1 Announce Type: new
Abstract: Evaluations (Evals) are a deployment bottleneck for real-world AI applications: public benchmarks rarely match a team's users, context, or policies, and human review is often tedious to scale. Motivated by our work with AI applications in the public sector, this project addresses recurring evaluation challenges encountered when applications must satisfy local policy and governance requirements. We present Kaleidoscope, an integrated workflow for contextual functional evaluation that links persona-based test generation, contextualized rubrics, and human review for reliability-gated automated scoring. Generated test cases are scored against application-specific rubrics; human annotations provide reviewable labels; and LLM judges automate scoring only when their agreement with those labels meets a configured threshold. Kaleidoscope is therefore a practical, inspectable, iterative workflow for product teams. We report early evidence from a three-week pilot across four organizational use cases and custom-rubric judge experiments on 108 annotated Q\&A pairs spanning four domains and 14 evaluation dimensions. The results highlight useful features for end-to-end reliable, automated scoring.
arXiv:2606.08667v2 Announce Type: replace
Abstract: Age verification is rapidly emerging as a central regulatory instrument for protecting minors online, with several jurisdictions mandating its deployment for access to adult and pornographic content. This regulatory direction raises significant privacy concerns, as it risks binding sensitive content access to identity-related attributes. It also introduces security risks, since age-verification mechanisms are often outsourced to third-party providers with limited transparency into the robustness of their verification processes. In this work, we conduct, to the best of our knowledge, the first exploratory security assessment of regulation-mandated age-verification mechanisms deployed by adult websites. Rather than treating age verification as a purely regulatory question, we empirically examine whether current deployments provide security guarantees commensurate with the privacy risks of relying on sensitive identity-related data. Our methodology combines ecosystem mapping, adversary modeling, and empirical testing across four countries, covering document-based verification, biometric age estimation, indirect signals, and website-workflow integration. Our results reveal systemic weaknesses across mechanisms and integrations under realistic threat assumptions, including failures against low-cost, widely accessible attacks. Finally, we derive concrete guidelines and design directions for mitigating the security and privacy risks exposed by current age-verification deployments.
arXiv:2606.09128v4 Announce Type: replace
Abstract: This paper considers the sliding and rolling contact between viscoelastic bodies. Combining linear viscoelastic rheologies for bristle-like elements with nonlinear dynamic friction models, it derives a class of viscoelasto-kinematic equations, formulated as a system of partial differential equations (PDEs) governing the evolution of the frictional force, bristle deformations, and internal state variables at the interface between the contacting bodies. The resulting system is analysed mathematically, demonstrating that linear viscoelasticity preserves the hyperbolic character of the PDE systems typically encountered in rolling contact. The proposed theory is illustrated through representative examples of both sliding and rolling contact, highlighting that these two processes, whilst often treated as distinct, may in fact exhibit closely related underlying dynamics. Overall, the framework provides a general theoretical setting applicable to a broad class of viscoelastic frictional systems.
arXiv:2606.09222v2 Announce Type: replace
Abstract: The relative phase between two lasers in transmission of an optical cavity can be used to continuously measure its absolute length with sub-micron precision. The first laser is kept on resonance with the cavity, while a second laser is phase-locked to the first with a frequency separation equal to an integer multiple of the cavity's initial free spectral range. As the free spectral range frequency changes due to cavity length changes, the second laser detunes slightly from resonance and gains an additional phase offset in transmission of the cavity. The cavity length changes can be calibrated in terms of this phase offset. This technique is applied to a high-finesse optical cavity with a length of 123 meters, transforming it into a strainmeter with nanostrain sensitivity to long-term and transient seismic events. We report absolute length changes associated with anthropogenic noise, a distant earthquake, and the diurnal and semidiurnal earth tides.
arXiv:2606.13572v2 Announce Type: replace
Abstract: Multimodal Large Language Models (MLLMs) have shown promising reasoning capabilities in general domains, yet their performance remains limited in specialized settings such as healthcare, especially in multilingual and low-resource scenarios. This gap is critical in regions like rural India, where patients often express complex medical queries in native Indic languages and rely on multimodal inputs such as medical images. Existing English-centric MLLMs struggle to support such use cases, limiting equitable access to AI-driven healthcare assistance. To address this challenge, we introduce ArogyaBodha, a large-scale multilingual multimodal medical question-answer dataset constructed from eight heterogeneous sources, covering 31 body systems, six imaging modalities, and 21 clinical domains across English and seven major Indian languages. We further propose ArogyaSutra, an actor-critic-based multi-agent framework that integrates tool grounding with dual-memory mechanisms for step-wise, reasoning-aware decision making, and uses stored actor-critic simulation trajectories for distillation. Experiments show that our dataset and framework improve multilingual medical reasoning accuracy across all Indic languages, with ablations validating the contribution of each component. The source code and dataset are available at: https://iitp-cse.github.io/ArogyaSutra/
arXiv:2606.14530v3 Announce Type: replace
Abstract: Large language models encode rich information in their hidden states. This work asks whether the correctness of code that Qwen3-4B-Instruct-2507 has not yet generated is already legible in its hidden states, evaluated on a set of 444 tasks from LiveCodeBench. The correctness of the model's first-attempt code is linearly decodable from the hidden state at the final prompt token, captured before any output token is generated, with a leakage-free held-out AUC of 0.881 +/- 0.008 across 50 outer splits. To assess whether this signal is explained by prompt length, each hidden state dimension is residualized with respect to its linear effect. The probe still achieves an AUC of 0.842 +/- 0.010, substantially above a logistic prompt-length baseline of 0.657 +/- 0.014, and none of the nonlinear models tested improves upon it. A companion question about whether self-repair leaves a geometric signature in the model's hidden states could not be answered, because successful repairs following a failed first attempt are too rare in this setting to support the analysis. The contribution is both empirical and methodological, providing evidence that pre-generation hidden states contain a robust signal of eventual code correctness, together with a confound-control diagnostic that quantifies how much of that signal survives adjustment for prompt length.
arXiv:2606.17245v2 Announce Type: replace
Abstract: Internet blackouts, occurring due to technological mishaps or intentional governmental action, prevent citizens from accessing the internet. Citizens in regions where internet blackouts are common have utilized blackout-resistant technologies to maintain communication. Such technologies often rely on mobile mesh networks to provide limited messaging services. However, no technology currently exists which can provide continued access to knowledge sources on the web during a blackout.
We present Cache to the Future (CttF): a system to cache and deliver static content hosted on the web during a blackout. CttF's distributed community ratings crowdsources caching at scale while cryptographic constructs (digital signatures, proofs-of-work) mitigate adversarial interference. Our realistic simulations demonstrate CttF delivering content at city-scale across a wide range of benign and adversarial scenarios.
arXiv:2606.17288v2 Announce Type: replace
Abstract: Perfect resource placements in dense Eisenstein--Jacobi (EJ) networks partition the network into hexagonal radius-$t$ service cells. This paper studies local repair of such placements after resource failures. For one failed resource, we prove that one replacement cannot cover the failed hexagon and two always suffice, giving $\rho_{\mathrm{EJ}}(t)=2$ for all $t\ge1$. Among minimum-size repairs, the sharp minimum-overlap formula $\Omega_{\mathrm{EJ}}(t)=t^2$ follows from the three-strip geometry of EJ balls. For two failed resources, independent repair gives a four-replacement upper bound, but unlike the Gaussian case EJ repair is not always additive: two infinite neighboring displacement families admit three-replacement repairs, proved optimal by a two-ball impossibility argument. Additive behavior is established algebraically via endpoint-rigidity and diagonal-corridor theorems. For $q$ failed resources, independent canonical repair gives a universal $2q$ upper bound, exact when failed cells are pairwise more than $4t$ apart. Dense cluster subadditivity is proved for infinite four-fault and six-fault families with exact repair numbers four and five, giving savings of four and seven over independent repair. An exact inclusion--exclusion identity governs repeated coverage for arbitrary multi-fault repairs. An audit over 19,400 instances confirms widespread subadditivity. EJ local repair is structurally distinct from the Gaussian case: the one-fault overlap is quadratic, two-fault repair can be non-additive, and clustered repairs reuse replacement balls across multiple failed cells.
arXiv:2606.17386v2 Announce Type: replace
Abstract: End-to-end autonomous driving has achieved state-of-the-art performance on benchmarks and real-world deployments. Its standard training recipe, however, is expensive across all stages: collecting and labeling millions of driving frames is costly, and closed-loop RL on images is bottlenecked by the per-step cost of photorealistic rendering plus a forward pass through a large vision backbone. Self-play in vectorized simulators changes the economics: millions of rollout steps per second, and a state distribution naturally rich in collisions, near-misses, and recoveries that no driving log contains. Our approach exploits this asymmetry by decoupling learning to drive from learning to see. We pretrain a single policy by self-play, then align its latent space with a pretrained vision backbone, through the action KL divergence and a batch-relational low-rank structural loss. The action target comes from the self-play policy, so alignment never supervises against a logged trajectory: a paired dataset of (image, scene-state) frames suffices, with no need for the curated expert demonstrations that imitation pretraining is built on. On photorealistic 3D Gaussian splatting closed-loop scenarios, the resulting end-to-end policy matches or exceeds prior end-to-end methods.
arXiv:2606.19729v2 Announce Type: replace
Abstract: Planning under uncertainty is an essential capability for autonomous robots. The Partially Observable Markov Decision Process (POMDP) provides a powerful framework for such a capability. Although POMDP-based planning has advanced significantly, its application to real-world problems is often limited by the difficulty of obtaining faithful POMDP models. We present Vectorized Online planning wIth Learned diffusion model for POMDP Agents (VOiLA), a framework that learns task-agnostic POMDP models for online planning under uncertainty. VOiLA learns transition and observation samplers using conditional diffusion models and learns observation-likelihood models for particle-based belief updates. To enable efficient online planning, the diffusion samplers are distilled into compact feedforward generators and integrated with Vectorized Online POMDP Planner (VOPP), an online POMDP planner designed to leverage GPU parallelization. Experimental results indicate the distillation strategy reduces sampling cost by up to nearly three orders of magnitude, making learned generative POMDP models practical for online planning. Evaluation of VOiLA on three benchmark problems indicate that VOiLA achieves equal or better performance than Recurrent Soft Actor Critic while using less than 10% training data, and generalizes much better to unseen environment configurations. Physical robot evaluation indicates VOiLA uses the models learned using only simulated data and generates a policy that successfully accomplish the task in 10 of 10 runs.
arXiv:2607.14996v1 Announce Type: new
Abstract: Chiral optical modes provide a fundamental platform for spin selective light matter interactions and underpin emerging applications ranging from chiral emission to polarization-controlled photonic devices. They are typically achieved by tailoring specific structural asymmetries to directly induce circularly polarized radiation. Here, we introduce hybrid symmetry breaking as a general route for generating and controlling chiral quasi-bound states in the continuum (qBICs). By combining multiple orthogonal symmetry perturbations, optical chirality emerges in otherwise achiral photonic structures and evolves continuously from linear to circular polarization. A parity based analysis reveals that the chiral qBICs originate from the symmetry-controlled evolution of parity allowed radiative channels. We demonstrate the universality of the approach across multiple BIC platforms, achieve deterministic control of the polarization state across nearly the entire Poincare sphere, and further establish dynamic chirality reconfiguration in a fixed structure through a phase-change material. More broadly, our results demonstrate that optical chirality can emerge from symmetry engineering, providing a general framework for the design of chiral photonic states.
arXiv:2607.14664v1 Announce Type: new
Abstract: Epigenetic changes -- heritable, long-lived, yet actively reversible modifications of the chromatin state -- display memory, threshold activation and hysteresis, features that are the hallmark of rate-independent dissipative evolution. We propose a mathematical framework, Rate-Independent Epigenetics, that models epigenetic change within the theory of rate-independent systems and is consistent with two fundamental principles identified with the laws of thermodynamics. In this framework, a model is specified by a state space of epigenetic configurations, a stored-energy functional depending on the state and on an external loading, and a 1-homogeneous dissipation potential encoding the resistance of the epigenetic machinery to change. Assuming an energetic evolution principle, the governing equations follow, with no further modelling hypotheses. The energy balance is exact energy conservation, and the 1-homogeneity of the dissipation potential forces a non-negative, minimal (economical) dissipation. Under natural coercivity and continuity assumptions we establish existence of energetic solutions and, via vanishing viscosity, of balanced-viscosity solutions that resolve the ambiguity of the energetic formulation at epigenetic switches; uniqueness holds under convexity and, in the scalar case, under a mild finite-multiplicity condition. We then build a variational time integrator, prove its convergence to energetic solutions and a global energy-consistency estimate. The framework is illustrated on the scalar linear play operator, on an example with a double-well energetic potential, showing the ability of the framework to study multi-stability scenarios and catastrophic switches and on a nonlinear problem, proving that the theoretical results hold. The presented framework can be seen as a skeleton for a richer thermodynamically-consistent theory incorporating viscous dissipation features.
arXiv:2607.14683v1 Announce Type: new
Abstract: Understanding driver emotion and state is critical for the next generation of intelligent in-cabin systems that ensure safety and enhance human-vehicle interaction. However, existing public datasets for in-cabin affective computing are largely limited to visual modalities and rarely include conversational information, making it difficult to capture the linguistic and interactive cues underlying driver emotion. To address these gaps, we introduce InCarEmo, a multimodal dataset for in-cabin emotion recognition and driver state monitoring. InCarEmo integrates RGB and infrared video, in-cabin audio, and dialogue text collected from scripted in-cabin scenarios designed to simulate realistic driver behaviors, covering diverse lighting conditions and driving contexts. The dataset supports three primary tasks: 1) multimodal emotion recognition, 2) fatigue detection, and 3) distraction monitoring. In addition to the original Chinese data, we construct an auxiliary English benchmark to support preliminary cross-lingual evaluation. We provide a unified benchmark with extensive baseline results across unimodal and multimodal methods, including analyses under modality-missing and noise conditions. Experimental results demonstrate the benefits of multimodal fusion and reveal remaining challenges under real-world noise and low-light conditions. By releasing InCarEmo, we aim to establish a comprehensive foundation for robust, interpretable, and human-centric in-cabin affective understanding, promoting safer and more empathetic driver-vehicle interaction.
arXiv:2607.15103v1 Announce Type: new
Abstract: The DFT-D3 dispersion correction is routinely added to machine learning force fields (MLFFs) trained on dispersion-deficient functionals such as PBE. Its environment-dependent pair coefficients, however, break the atom-centered separability that fast summation methods require, forcing practitioners either to truncate D3 or to accept a substantial slowdown. We introduce FourierD3, a method that uses a functional low-rank decomposition to restore this separability and enable particle-mesh evaluation in $O(N\log N)$ time without a real-space cutoff on the dispersion sum.
arXiv:2607.14999v1 Announce Type: new
Abstract: We present a formal verification of an abstract transition-system presentation of the Davis-Putnam-Logemann-Loveland (DPLL) procedure in the Rocq proof assistant. Following Nieuwenhuis et al., SAT solving is modeled as a set of rule-based transitions between states rather than as a concrete algorithm. We formalize the syntax and semantics of propositional formulas, define the classical and base DPLL transition systems, and prove their key metatheoretic properties. In particular, we establish correctness and completeness with respect to satisfiability, and we prove termination by showing that the transition relation is well-founded. The formalization extends the original abstract system by also including the pure literal rule. Building on the verified transition system, we introduce an abstract notion of strategy and derive a terminating solver from any strategy satisfying suitable conditions. We then implement a concrete strategy in Rocq and show that it satisfies the strategy specification.
arXiv:2607.14899v1 Announce Type: new
Abstract: Map representations which are consistent across repeated visits to a real-world semi-static environment are very useful for long-term robotic inspection. In such settings, the scene may evolve while the robot is absent, with objects appearing, disappearing, moving, or being replaced, quickly making a static map outdated. Existing change-detection methods reason through geometry, category-level semantics, or object persistence. However, achieving reliable object association across revisits remains a key challenge, especially under partial views, occlusion, and imperfect segmentation. In this work, we propose OASIS-Map, a multi-session mapping system that maintains a spatio-temporally consistent object-level map by establishing dense patch-level semantic correspondences between temporal observations. These correspondences detect where the scene has changed and incrementally associate objects across revisits as the robot re-observes the environment. We demonstrate OASIS-Map on three challenging real-world scenarios: object rearrangements in 3RScan, visually similar car replacements in a car park, and large-scale scene changes in an outdoor market. We achieve 0.783 F1 on change detection in a car replacement scenario in a car park and 0.667 F1 on moved object association in 3RScan. https://dynamic.robots.ox.ac.uk/projects/oasis-map/
arXiv:2607.14722v1 Announce Type: new
Abstract: We present magnetic configurations in the Helically Symmetric eXperiment (HSX) and Wendelstein 7-X (W7-X), in which the edge magnetic structure is dominated by island chains which are spatially larger than the previously reported configurations. These ``giant" island chains (with rotational transform $\iota=4/3$ or $4/4$ for HSX and $\iota=5/6$, $5/5$ or $5/4$ for W7-X) are obtained by reducing the coil current in main coil 6 for HSX and non-planar coil 5 for W7-X (i.e. the coil nearest the up-down symmetric cross-section $\phi=36^\circ$ for W7-X and $\phi=45^\circ$ for HSX); this appears a sufficient (but not necessary) condition for giant islands. The giant islands create relatively straight X-point legs which transport plasma to the plasma-facing components (PFCs). In the most extreme cases, the island O-points leave the domain of the field line map and the divertor legs of the remaining ``unpaired" X-points do not close around the island. We use the anisotropic heat diffusion code EMC3-Lite to find ``giant island" W7-X configurations which are promising for PFC heat loads. Coil forces analysis (in addition to other effects such as neoclassical transport and magnetohydrodynamic stability) would also be required but are not explored here. It is not known whether giant islands are intrinsically favourable for divertor performance but we demonstrate that such regimes, which are far from the ordinary island divertor, are obtainable and can in principle be studied experimentally. This also reveals the flexibility of existing machines for edge studies beyond their original design space.
arXiv:2607.14686v1 Announce Type: new
Abstract: Credit-card fraud losses are monetary, but papers often judge models with transaction-level scores. We ask whether transaction amount should shape training weights or be used later to order alerts. To separate this question from ordinary class imbalance handling, we keep total fraud-case weight fixed and vary only its allocation across fraud cases. The experiments test two chronological card-fraud datasets with XGBoost under unweighted training, standard class weighting, matched log-amount weighting, stronger amount-weighted variants, and score times amount reranking. Metrics are average precision, dollar recall, and dollar precision at fixed alert budgets over five seeds, with 95 percent day-block bootstrap intervals for the main contrasts. Results are narrower than expected. Amount-derived ratio and velocity features carry much of the signal, while raw amount fields add little once those features are in the model. In the matched setting, amount-conditioned training gives only small gains over class weighting and does not consistently beat the plain unweighted model. Stronger amount weights recover more fraudulent dollars, but at lower ranking quality and dollar precision. Reranking alerts by score times amount after training gives the largest dollar-recall shift. A small SHAP audit finds larger month-to-month attribution movement for fraud cases than for aggregate traffic. In these tests, amount is useful as a feature and as an alert-ordering variable, not by itself as a better sample-weighting rule.
arXiv:2607.14760v1 Announce Type: new
Abstract: A surveillance camera is an image sensor whose silent physical degradation invalidates every downstream consumer of its data. In-situ integrity alarms for such vision sensors require low false-alarm rates, bounded computation, and diagnosable behavior under nuisance illumination changes. This paper studies a deliberately narrow streaming integrity monitor for two low-cost sensor-fault signatures: texture-collapsing lens occlusion and abrupt photometric scene transition. The detector compares sampled luminance and local-gradient statistics with a clean-only sliding reference, applies coarse-grid structured-light rejection and mode/rapid-brightness suppression, and emits at most one notification per tamper episode. We formalize the decision predicates and derive a consistency rule for when rapid-brightness suppression makes the scene-transition path unreachable. On 320 in-scope controlled sequences, the default state machine attains 0.800 F1 and 0.822 balanced accuracy (significantly better paired correctness than the strongest baseline, though the F1 margin is not statistically resolved); on a magnitude-swept public audit it attains the highest partial AUC under a 5\% false-alarm budget, and a separate extended-stress FPR-constrained sweep reaches 0.925 recall at 0.025 false-positive rate. Public Xiph, Bremen IoT, and UHCTD diagnostics show the fixed predicates preserve low false alarms while recall concentrates inside the declared envelope (UHCTD in-scope covered recall 0.667 versus 0.016 out of scope), and a 9.09-camera-hour verified-negative public audit records zero false alarms. The method is best interpreted as an auditable sensor-health subsystem rather than a universal camera-tamper classifier.