arXiv subjects

Search papers

Search indexed arXiv papers on artificial intelligence, large language models, computer vision and robotics. Read source abstracts and follow links to arXiv.

At least 649 records · Page 36Linked to original sources

arXiv2026

Recurrent double-peaked $γ$-ray sub-flares in PKS 1424-418

We report a hint of recurrent double-peaked $γ$-ray sub-flares in PKS~1424--418 during two similar major active epochs, MJD 56117--56498 and MJD 59669--59978. The candidate double-peaked sub-flares show a characteristic intra-subflare peak separation of $\sim 11.8$ d and a neighbouring-subflare spacing of $\sim 67$ d. Red-noise Monte Carlo tests indicate that the candidate recurrent double-peaked morphology is not easily reproduced by stochastic variability alone, with false-alarm probabilities of $p_{\rm a}=0.0216$ and $p_{\rm b}=0.0006$ for the two active epochs, respectively. In the simulations of the entire \textit{Fermi} Large Area Telescope (LAT) light curve, no red-noise realisation reproduces both epoch-like structures. The spectral energy distribution (SED) modelling shows similar radiative properties for the two peaks of one double-peaked candidate, while changes in the Doppler factor appear to play an important role in the flaring activity. Together with the previously reported near-zero lag between the millimetre and $γ$-ray emission, these results suggest that the recurrent activity may be associated with the compact mm/sub-mm core region. We discuss a possible structured-jet scenario in which a single disturbance propagates through a chain of quasi-stationary recollimation shocks. In this picture, repeated interactions between the disturbance and the shock structure may qualitatively account for both the double-peaked sub-flare profiles and the observed $\sim 11.8$ d and $\sim 67$ d time-scales. Further active epochs are required to determine whether this similarity represents a recurrent long-term behaviour.

astro-ph.HE↗

arXiv2026

A Field-Deployable GNSS-based Navigation Stack for Outdoor Mobile Robots

Outdoor robots require more than an accurate receiver and a path-tracking law: the navigation system must preserve geometric consistency from geographic waypoints to actuator commands, expose measurement validity and timing, and respond to invalid or stale state information. This work presents a ROS~2 navigation stack with interchangeable single-GNSS--IMU and dual-antenna-GNSS localization front ends. Both provide a common local East--North--Up state interface for pure pursuit, virtual-point cross-track PID, finite-horizon nonlinear model predictive control (NMPC), and a segment-dependent hybrid dispatcher. The architecture specifies coordinate conventions, datum initialization, asynchronous state construction, waypoint geometry, controller equations, quality gates, command arbitration, and watchdog behavior. Independent physical field runs collected during 2025 and 2026 grape-vineyard deployments support a balanced evaluation of 800 runs, with 100 runs for each of eight controller--localization combinations on an approximately 199.6-m route. The row-hybrid mode yields the lowest run-averaged post-acquisition mean absolute cross-track error (MAE) in the evaluated dataset: 0.00952~m with single GNSS+IMU and 0.00846~m with dual GNSS. These findings characterize deviations of the recorded positions from the reference route under the evaluated conditions. The open-source navigation software and deployment instructions are available in the https://github.com/YiyuanLinXX/PPBv2/tree/main/PPBv2_Navigation.

cs.RO↗

arXiv2026

Global Framework for Dynamics and Criticality of Bound States in the Continuum

Bound states in the continuum (BICs) exhibit rich momentum-space dynamics, including merging, annihilation, and reconnection across symmetry directions and bands. Yet these phenomena have largely been explained case by case, without a unified framework to classify or predict them. Here we develop a global symmetry-equivariant theory for the dynamics of nondegenerate and degenerate BICs. We show that BIC dynamics can be classified into $α$-, $β$-, and $γ$-processes according to root motion, which not only encompass the reported dynamics in $C_{2v}$, $C_{4v}$, and $C_{6v}$ systems but also include previously unrecognized ones. More importantly, we reveal that distinct dynamics are bridged by the criticality of BICs through a \emph{merging of merging}, in which selected direction--band branches acquire higher-order radiation zeros. Such a theory predicts which branches become critical and how to tune system parameters to realize them. Following this framework, we construct high-order BICs in full-wave calculations, realizing $Q\sim k^{-10}$ nondegenerate criticality and $Q\sim k^{-8}$ single-branch and band-paired degenerate criticalities. Our framework provides a systematic route to understanding, discovering, and selectively controlling BIC dynamics and high-$Q$ states.

physics.optics↗

arXiv2026

Response-state Learning for Transferable Vibrational Spectroscopic Characterization with Electron Prior

Vibrational spectral prediction can become inaccurate when localized stereoelectronic environments perturb intermediate response states and high-risk response units dominate characteristic spectral fingerprints, making prediction across external chemical space difficult. SO(3) Equivariant Neural Kalman Networks (SENK) form a response-state cascade that combines an equivariant transformer backbone for Hessian, dipole-derivative and polarizability-derivative learning, an Equivariant Neural Kalman bridge for state-dependent refinement and reliability sensing, and an NBO-informed electronic-prior pathway coupling consistency regularization with bounded, branch-specific guided spectral calibration. SENK outperforms DetaNet on QM9S and QMe14S while preserving full-spectrum IR and Raman fidelity from small molecules to drug-like systems. SENK remains stable and selectively improves spectrally sensitive features in biomolecular systems with complex stereoelectronic effects. It therefore integrates tensor prediction, reliability diagnosis and physics-informed calibration, supporting transferable vibrational spectroscopy from molecular systems to functional molecular materials.

cs.LG↗

arXiv2026

AnomaSense: Anomaly-based Sensor Activation for Fine-Grained Human Activity Recognition

Audio carries rich cues about human activities, and microphones are already built into most wearable devices. However, microphones also capture speech, and this privacy risk limits their use in Human Activity Recognition (HAR). We present AnomaSense, a sensor activation approach for wrist wearables that keeps the microphone off by default and turns it on for at most one second when an unsupervised anomaly detector flags an IMU segment that is likely to produce sound. The captured audio is further masked before it reaches the recognition model. We study 20 activities from 15 participants, organized into five groups in which activities share similar wrist motion but differ in the object or material involved. With IMU data alone, our recognition model reaches 78.98% accuracy in leave-one-participant-out validation. With the short, masked audio windows added, accuracy reaches 96.89% with no masking and stays above 86% when 90% of each one-second audio window is removed. On the same data, the anomaly detector triggers the microphone with 86.46% precision and 74.28% recall relative to sound events. We also report a small preliminary check of automatic speech recognition on masked speech, which shows that contiguous masking degrades recognition far more than point-wise masking at the same masking ratio. Our evaluation is a controlled, offline feasibility study. We describe the threat model, what the approach does and does not protect, and the steps needed before deployment.

cs.HC↗

arXiv2026

Null Controllability of a Stochastic Parabolic Equation with a Space-Dependent Analytic Noise Coefficient

We consider a stochastic parabolic equation on the $n$-dimensional flat torus $\mathbb{T}^n=(\mathbb{R}/(2π\mathbb Z))^n$, $n\in\mathbb N$, whose only control acts in the drift. The multiplicative-noise coefficient is adapted and may depend jointly on the sample point, time, and space. Its spatial profiles are assumed to be real analytic with a uniform positive radius of analyticity, while the corresponding analytic norm is only required to be square integrable in time, uniformly along sample paths. We prove a state-only observability inequality with an $L^1$-in-time mean-square observation norm and deduce null controllability from every measurable spatial set of positive measure by one adapted drift control. The same one-time interpolation estimate also yields approximate controllability to arbitrary square-integrable random terminal targets. The proof is based on a direct analytic energy estimate for the adjoint state, followed by propagation of smallness and a telescoping argument.

math.OC↗

arXiv2026

Schwarz-contractivity of the Poisson operator

We say that the Poisson operator $P_r$ is Schwarz-contractive from a space $X$ to a space $Y$ if $\|P_r\|_{X\to Y}\le r$ holds for all $0<r<1$. The classical Schwarz lemma is the case $H^\infty_0\to H^\infty$, the subscript indicating zero mean. We are concerned with the non-holomorphic case $L^\infty_0 \to L^p$. For real functions Schwarz-contractivity holds up to the sharp exponent $p_{\mathbb R}=4.109\ldots$. For complex functions we prove it for $p\le 3$ and conjecture that the critical exponent is $4$.

math.CV↗

arXiv2026

A Strong Global Torelli theorem for OG6 type varieties

We prove that a hyperkähler manifold of OG6 type is determined, up to isomorphism, by its integral second cohomology endowed with its Hodge structure and Beauville--Bogomolov--Fujiki form. The proof combines the monodromy and chamber theorems of Mongardi--Rapagnetta with the bimeromorphic Torelli theorem. In particular, bimeromorphic OG6 manifolds are biholomorphic.

math.AG↗

arXiv2026

Calibrated Decision Models for Autonomous Penetration-Testing Harnesses: JEV and Laya as System One Decision Layers for LLM-Driven Pentest Agents

Autonomous penetration-testing harnesses use large language models (LLMs) for reconnaissance, exploitation, and reporting, but often rely on those same models to confirm findings, grade severity, and select agents. This can lead to false positives, inflated severity, and wasted compute. We examine how System One decision models, lightweight non-generative classifiers that return typed, calibrated verdicts, can support these decisions. We make five contributions. First, we define four decision points: finding adjudication, severity recalibration, agent pruning, and confirmation loops. Second, we present an exploratory NeuroSploit case study comparing one run with TypeSafe System One (Jev) and one without it against a web target containing 13 vulnerabilities. Differences in severity distribution, runtime, and grading by exposed data type motivate the architecture but do not establish statistical significance. Third, we review published specifications for Jev, Jev-Ultrafast, and the open-source Laya without assuming that results from other benchmarks transfer to penetration testing. Fourth, we discuss RLHF, RLAIF, RLCD, and RLHV as training approaches and their implications for trust in security decisions. Finally, we propose Rave, a domain-adapted System One model, and outline its training data, evaluation protocol, and potential effect on harness assurance.

cs.CR↗

arXiv2026

Pro-$\mathbf H_p$ density in the free group of rank two: a Frobenian criterion on the mod-$p$ torus

Let $F$ be the free group of rank two and, for a prime $p$, let $\mathbf H_p=\mathbf G_p*\mathbf{Ab}_{p-1}$ be the pseudovariety of finite groups having a normal $p$-subgroup with abelian quotient of exponent dividing $p-1$. For $H$ of rank two with $\ab_F(H)=F^{\ab}$ we determine the set $\mathfrak D(H)$ of primes $p$ where $H$ is $\mathbf H_p$-dense in $F$, and we show that this prime set is Frobenian in the sense of Serre: it is governed by a single Laurent polynomial $g$ attached to $H$. We prove that $p\in\mathfrak D(H)$ if and only if $g$ has no zero on the torus $(\F_p^\times)^2$, and hence that $\mathfrak D(H)$ possesses a computable natural density $d(H)$. Exactly one of three cases holds: $\mathfrak D(H)$ is the set of all primes, it is finite, or it is neither and $d(H)$ satisfies $\frac1{|G|}\le d(H)\le1-\frac1{|G|}$, where $G$ is the finite Galois group attached to $g$.

math.GR↗

arXiv2026

From Static Personal Values to Contextualized Personalization: Bayesian Personalized Value Alignment for LLMs

Personalized value alignment has become increasingly important as large language models (LLMs) are expected to accommodate diverse user preferences. However, existing methods typically align model outputs with a static value profile across prompts, overlooking that the salience of value dimensions varies substantially across contexts. Inspired by Lewin's Field Theory, which views human behavior as jointly shaped by personal dispositions and situational constraints, we model personal values as priors and context-dependent preferences as posteriors. We propose BaCVA, an inference-time Bayesian Context-aware personalized Value Alignment method that approximates posterior personalized preferences by integrating static personal values with scenario-specific value salience. BaCVA first estimates contextual value salience from generally normative responses, and then employs a dual-view personalization module to infer posterior preferences from complementary personal-value and scenario-driven perspectives. This Bayesian formulation enables more accurate and adaptive personalized value alignment while improving data efficiency via prior values. Extensive experiments on benchmarks demonstrate its superiority over strong baselines.

cs.AI↗

arXiv2026

Dependency- and Layer-Aware Microservice Workflow Offloading and Service Image Caching for Edge Environments

The microservice architecture has been applied broadly in many mainstream computing environments. As one of the most prevalent environments, edge computing also widely employs microservices to handle diverse requests and tasks. In practical scenarios, microservices usually constitute workflows that are built based on service dependencies to execute tasks. This offers an opportunity to explore the offloading technology to better harness resources and accelerate task execution. Unfortunately, this problem has not been paid attention to by existing research, and thus some valuable resources (e.g., microservice image cache) remain obscure. To fill this gap, we innovatively study the problem of joint optimization for microservice workflow offloading and service image caching in edge. This problem is challenging due to several issues such as the complexity of its solution space, intricate relationships among shared image layers, long-range dependencies between workflow tasks, and the absence of a real-world collection of service images. To address these issues, this paper proposes an innovative dependency- and layer-aware workflow offloading and image caching framework for microservices. We collected a real-world collection of microservice image layer data and published both this collection and experimental codes on GitHub. Extensive results demonstrate that our framework achieves superior performances, for example, a 22. 38\% reduction in average task completion time compared to baselines and significantly-increased image hit rates.

cs.DC↗

arXiv2026

Sharp power-mean comparisons for Gauss hypergeometric functions

We determine the sharp weighted power-mean comparisons for the family $\{H_a(r)\}_{r\in (0,1)}$ with the logarithmic interpretation at $a=0$. In the parameter ranges considered by Barnard, Richards and Tiedeman, we give a complete characterization of all orders $λ,μ\in\mathbb{R}$ for which $$A_λ(w;1,1-r)\leq H_a(r)\leq A_μ(w;1,1-r)$$ holds for every $r\in(0,1)$. In particular, our results settle completely their two power-mean conjectures. The two sharp orders are determined by the second-order expansion at $r=0$ and the endpoint matching as $r\to1$. A weighted Wronskian identity and a sign analysis of its residual establish the global inequalities.

math.CA↗

arXiv2026

The Serre-Grothendieck Finiteness Theorem for the cohomology of coherent sheaves

We prove the converse of the Serre-Grothendieck finiteness theorem for the cohomology of coherent sheaves, originally due to Lipman. This result characterizes proper morphisms as those morphisms whose derived pushforward preserves pseudo-coherent complexes. Although the derived pushforward does not reflect pseudo-coherence, we prove that it does after twisting by all perfect complexes. This provides a new characterization of properness.

math.AG↗

arXiv2026

Why Does Misinformation Propagate Faster? An Algorithmic Perspective on X

Misinformation is widely reported to propagate faster on engagement-based platforms, yet prior work largely focused on empirical analysis, without identifying a specific algorithmic mechanism that results in this phenomenon. Thanks to the open-sourcing of X's recommendation algorithms, we conduct what is, to our knowledge, the first component-level study of the recommendation algorithm deployed by a social media platform, which examines how each of its components affects misinformation propagation. Specifically, we identify the engagement fungibility mechanism in the algorithm, where the final recommendation score is constructed as a weighted sum of all predicted user activities. As a result, a tweet can be repeatedly recommended simply because it is predicted to draw many instant reactions (e.g., likes and retweets), even when it is not expected to draw thoughtful responses (e.g., replies and quotes). Since misinformation typically draws a larger share of its engagement from instant reactions, this mechanism enables it to receive more recommendation exposure and to propagate faster. To empirically validate this mechanism, we re-implement X's recommendation algorithm on the USC X 2024 election corpus, and build a calibrated simulation study to analyze the impact of different scoring rules. We find that re-tuning the metric weights has little or even a negative impact on reducing the credibility exposure gap, while those scoring rules that set a precondition of thoughtful engagement for amplification would be able to alleviate the gap significantly, across 46 robustness checks. Our diagnosis, therefore, yields a simple and deployable fix, a reflective-threshold gate that withholds amplification until a tweet is predicted to draw thoughtful engagement, which we find to reallocate exposure away from low-credibility content at no cost to mainstream exposure and with no loss of engagement.

cs.SI↗

arXiv2026

A Collisional Origin for Ice-rich Iapetus and Titan's Anomalous Eccentricity

We test whether collisions involving Titan can eject enough water-rich material onto sufficiently distant Saturn-bound orbits to form Iapetus, while also accounting for Titan's orbital eccentricity. Three-dimensional impact calculations and post-impact trajectories examine initially Saturn-unbound and bound impactors. In the oblique unbound case with a differentiated impactor roughly a tenth the mass of Titan at a speed of 10 km s$^{-1}$, outgoing predominantly icy material from a selected population totaling about 3.5 times Iapetus's mass remains Saturn-bound for days after impact. We track an icy sample whose orbital apoapsis extends beyond Iapetus's distance. After impact, Titan's eccentricity increases to near 0.13, while the impactor's rocky core escapes Saturn. In another case, a bound companion one quarter Titan's mass collides at $45^\circ$ and about 3.7 km s$^{-1}$, ejecting 0.60 Iapetus masses of ice. The rocky impactor core initially skips past Titan; an orbital continuation reaches return contact after 6.9 yr. This run also retains 0.48 Iapetus masses of ice. Titan's eccentricity evolves due to the initial impact and debris scattering. The merger results in a Titan with an eccentricity of about 0.10. These results establish the collisional production of an icy debris reservoir, with some material on orbits of large semimajor axis; raising Iapetus's periapse would require gas drag or dynamical friction.

astro-ph.EP↗

arXiv2026

Exploiting Target Knowledge from MLLMs for Robust Few-Shot Segmentation

Few-shot segmentation (FSS) aims to segment unseen object categories with a few (e.g., one or five) labeled examples, enabling efficient adaptation to novel classes. Conventional models typically rely on appearance-based visual matching between support and query images for segmentation. While straightforward, these methods often struggle to handle significant appearance discrepancies and occlusions in the query image due to insufficient target knowledge. To mitigate this, we introduce a novel framework that mines target knowledge using the strong reasoning capacity of Multimodal Large Language Models (MLLMs) and employs it to enhance FSS. Specifically, building on SAM 2, our method, named MK-FSS, exploits two forms of complementary knowledge derived from a query image by an MLLM for FSS, including spatial knowledge, which provides a spatial prior indicating the potential target location, and semantic knowledge, which describes the target using text. The spatial knowledge is first encoded into a memory representation, and then resulting memory is integrated with the support-guided memory feature from query image through a carefully designed dual-memory debate-fusion (DMDF) module, yielding a more robust target memory feature. In parallel, the semantic knowledge is encoded into the textual feature, which is fused with multi-scale query features via a progressive cross-modal prompt generator (PCPG), producing a target-aware multimodal prompt for segmentation. Working together, the dual-memory feature and the multimodal prompt provide a comprehensive representation of the target, enabling more robust segmentation. In our extensive experiments, MK-FSS shows promising results and largely surpasses existing methods. Code will be released.

cs.CV↗

arXiv2026

A nonmonotone globalization framework for Anderson acceleration for contractive and nonexpansive fixed point problems

Anderson acceleration (AA) is an effective technique for accelerating fixed point iterations, but it generally lacks global convergence guarantees. We propose a nonmonotone globalized Anderson acceleration framework that retains the local acceleration of AA while ensuring global convergence. For contractive mappings, without requiring prior knowledge of the contraction factor, we prove that the proposed method reduces exactly to pure AA after finitely many iterations and enjoys global $r$-linear convergence for memory size $m\geq1$ and global residual $q$-linear convergence for $m=1$, with convergence factors no greater than the contraction factor of the underlying fixed point mapping. For nonexpansive mappings, we prove that the fixed point residuals converge globally to zero. A class-agnostic parameter selection rule is further developed to ensure these convergence properties in both settings. Numerical experiments demonstrate the robustness and efficiency of the proposed method.

math.NA↗