arXiv Science⌕ Search

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 757 records · Page 42Linked to original sources

The Tokens Remember: When Tokenization Bypasses Knowledge Editing and Unlearning

Open-weight LLMs give downstream users control over the inference stack, but this flexibility can undermine post-release guarantees that sensitive knowledge has been modified or removed. Model editing and machine unlearning are used to modify or remove targeted knowledge without retraining models from scratch. However, existing security evaluations of these techniques face two critical limitations. First, they typically require access to either the original pre-edit/unlearning model or auxiliary classifiers to detect modifications or reconstruct pre-edit behavior. Second, they evaluate modifications under the canonical tokenization of an input, implicitly treating tokenization as a benign preprocessing step. We show that this assumption creates a security gap: the same input string can be represented by alternative valid tokenizations that induce different computational trajectories, allowing an adversary to bypass localized modifications and recover information intended to be suppressed. We introduce Toketive, a simple yet powerful reference-free attack that exploits the tokenization-based side channel to (i) detect modified knowledge and (ii) reconstruct the corresponding pre-edit response. It operates solely on the released model and requires neither the pre-edit model, training data, shadow models, nor auxiliary classifiers. Across five LLMs, six datasets, and six editing and unlearning techniques, we find that 38.6% of alternative tokenizations bypass the modification and recover the pre-edit response. Toketive detects modified facts with an F1 score of 84.2%, a 26.2% relative gain over the strongest baseline, and reconstructs pre-edit responses with 74.5% top-5 accuracy, 21.7% higher than the best baseline. Our results show that localized modifications should not be treated as robust knowledge-control boundaries without adversarial evaluation over alternative representations.

cs.CR↗

Matter density perturbations in Quadratic Gravity

We investigate linear matter-density perturbations in full quadratic gravity. Working in the longitudinal gauge and adopting the sub-horizon and quasi-static approximations, we obtain an algebraic expression for the effective gravitational coupling in the theory and the equation for evolution of matter density perturbations. We identify the positive-real poles of this coupling and map their dependence on the quadratic couplings. In the formal infrared continuation, the reduced coupling recovers its general-relativistic value, whereas at large physical wavenumber it is suppressed when both quadratic couplings are nonzero; the single-coupling limits reproduce distinct behaviors. Numerical integrations of the growing mode are performed up to the first pole and show that pole-free regions of the reduced system can support regular matter-growth solutions, while poles obstruct a continuous late-time evolution. Our results show that quadratic gravity cannot generally reproduce the standard cosmological evolution of perturbations and in the regions where it can, it closely matches the behavior of $f(R)$ theories.

gr-qc↗

A sharp regularity threshold for Schrödinger maximal estimates on standard tori

We disprove almost everywhere convergence of the Schrödinger evolution on the standard torus \(\mathbb{T}^d\) for initial data \(f\in H^s(\mathbb{T}^d)\) when \(s d/(d+2)$ with $d\geq2$. By integer dilation and uniform boundedness, we also obtain a single datum in $H^s$ whose evolution is unbounded along a sequence of times tending to zero whenever $s<d/(d+2)$. We also record a logarithmic upper bound in $2D$ at the critical frequency power and a lower bound on shrinking time intervals.

math.AP↗

Where Hallucinations Live: A Cross-Architecture Circuit in VQ-Tokenized Vision-Language Models

Unified vision-language models (VLMs) that tokenize images through a vector-quantized (VQ) codebook routinely hallucinate objects on grounded yes/no benchmarks, yet existing decoding-time fixes treat this as generic miscalibration without an architectural account. Using activation patching across twenty-five models spanning eight LLM families, we identify an early-layer ($L_0$) attention routing circuit shared across VQ-tokenized VLMs and propose a three-gate diagnostic that distinguishes the models carrying it from those that do not. The diagnostic isolates ten positive models (five natural unified-VQ VLMs across three LLM families and five induced variants) and rejects the remaining fifteen. A single-variable architectural swap (LLaVA-1.6 CLIP+MLP $\rightarrow$ VQ+Linear) installs the circuit, while a matched-compute MLP control on identical data does not, isolating vector quantization as the source of the pathological signal; the routing pathway that carries it is one that the backbone already provides. Against tuned VCD and DoLA baselines, tuned DoLA wins on binary calibration, but \textbf{only $L_0$ ablation reduces object hallucination in open-ended generation} (CHAIR$_i$ reduces by $31\,\%$ relatively, whereas tuned DoLA and VCD leave it unchanged or worsen it). These results recast object hallucination in unified VQ VLMs as a property of architecture and pretraining, and yield a targeted intervention that mechanism-agnostic decoding cannot replicate.

cs.CV↗

Bearing-Only Formation Tracking Control for Euler-Lagrange Multi-Agent Systems Without Inter-Agent Communication

This paper investigates communication-free bearing-only formation tracking control for multi-agent systems governed by Euler-Lagrange dynamics. Distinct from existing results that can only stabilize a stationary formation, this work considers a scenario where the leaders move with time-varying velocities while the inter-agent communication is absent. In this setup, the leaders' states (position and velocity) are unavailable to all followers and cannot be estimated via distributed observers. A novel adaptive distributed control scheme is developed to address this problem. The design exploits the fact that bearing rates contain the projected relative-velocity information, which, together with bearing rigidity, provides a rigidity-based damping mechanism for compensating the unavailable velocity error. Moreover, this damping mechanism is incorporated into a bearing-driven auxiliary variable to construct a surrogate velocity error, facilitating the adaptive control design for EL dynamics. Furthermore, since this damping mechanism necessitates sufficient bearing rigidity, we characterize a rigidity-preserving set and establish its forward invariance, thereby guaranteeing such rigidity via initial conditions. Via a Filippov-based Lyapunov analysis, the proposed scheme is shown to achieve local practical formation tracking in the sense that the velocity error converges to zero and the position error is uniformly ultimately bounded. As a corollary, for the constant-velocity case, asymptotic tracking is achieved without initial-condition restriction. The simulation results verify the effectiveness of the proposed control law.

eess.SY↗

SLCA-GRPO: Resolving Cross-Segment Credit Misattribution in Tool-Calling RL

Tool-calling agents produce heterogeneous outputs, interleaving structured tool invocations with user-facing natural language summaries. This output heterogeneity presents a structural failure mode in standard on-policy Reinforcement Learning (RL): algorithms like GRPO indiscriminately broadcast a homogeneous trajectory-level scalar advantage to all tokens. Consequently, gradient noise from summary generation leaks into tool-decision tokens, causing cross-segment credit misattribution and brittle optimization. In this work, we propose SLCA-GRPO, a framework incorporating Segment-Locked Credit Assignment (SLCA). To enable scalable exploration without costly real APIs and stable training, we first construct the Schema-Guided LLM Simulator (SGLS) as foundational training infrastructure. Building on this, SLCA decouples advantage estimation at the structural segment level within a single group of rollouts, without requiring additional rollouts from intermediate states. Supported by Hierarchical Rewards (HierR), SLCA routes execution advantages to tool tokens and preference advantages to summary tokens, eliminating advantage contamination (the dominant cross-segment credit misattribution channel) within each policy update. On a 7B backbone, SLCA-GRPO accelerates convergence and outperforms standard GRPO, ToolPO, and RLTR by +2.53 pp on in-domain evaluation, +1.36 pp on the Berkeley Function-Calling Leaderboard (BFCL), and +9.15 pp on $τ^2$-Bench under the same training budgets, achieving higher accuracy with reduced tool redundancy and costs.

cs.AI↗

From Self-Distillation to Self-Practice: Privileged Information for Multi-Turn Agents

On-policy self-distillation (OPSD) has become a popular recipe for post-training LLM agents. It supervises the agent model at the token level with a stronger teacher view of the same model, obtained by conditioning on privileged information (PI). In this work, we show that in multi-turn agents, this paradigm teaches the student to act with confidence but without the information behind it. The trained agent behaves as if it had privileged information it never observed, and its performance falls well short of plain RL, in the worst case below the untrained base model. Therefore, we propose Privileged Self-Practice (PSP), which keeps the PI and moves it from the loss to the sampler. When the student's rollouts on a task mostly fail, we inject a short per-task instruction written by an analyzer model, sample the task again with the instruction in context, and train on the result with an unchanged GRPO objective. The privileged information stays in the prompt and never enters the loss. Across AppWorld and SWE-bench Verified, with three different student models, PSP obtains the best average score in every setting and is the only method that consistently outperforms plain GRPO, improving task-goal completion by up to 65% on AppWorld and the resolved rate by up to 61% on SWE-bench Verified.

cs.AI↗

Predator self limitation controls pattern formation in a predator prey system with additional food: a Turing Hopf analysis

Supplying a released predator with additional, non reproducing food is a standard lever in augmentative biological control, with a known drawback with nothing limiting the predators own numbers, the extra food lets its population grow without bound. Competition among the predators supplies the missing brake. Howthis self limitation reshapes the spatial arrangement of the two species has not been asked. We address it with a reaction diffusion model of a logistically growing prey and a predator feeding through a Holling type II response that also draws on additional food , the predators competing among themselves at strength. In the well mixed setting we locate the Hopf bifurcation of the coexistence state exactly and show the cycle born there is stable, so weak competition gives boom bust oscillations, not runaway growth. Allowing movement, we obtain the diffusion driven Turing threshold at which the uniform state breaks into stationary patches of high and low density, and find the uniform oscillation stable as it appears. With prey mobility and competition strength as control parameters, the pattern forming and oscillatory instabilities meet at a single point, where we compute the dynamics. Simulations confirm the sequence weak competition gives a wholefield oscillation, stronger competition with faster prey spread gives fixed patterns, and near the crossover the two combine into patterns that pulse in time. Predator self competition therefore sets the spatial structure of the community, which is what matters when additional food is used to steer a control agent in the field.

q-bio.PE↗

Perfect resonance and fragile localization suppression in correlated disordered chains

Spatial correlations can suppress scattering in disordered chains and produce perfectly transmitting resonances. The practical value of this protection, however, depends not on the resonance peak itself but on the width of the surrounding transmission window and its sensitivity to local ordering errors. We show that a resonance can remain exactly transparent at its center while arbitrarily rare adjacent-swap errors restore an inverse localization length proportional to the square of the energy detuning. For lossless single-channel chains assembled from independent blocks of fixed length and composition, this positive quadratic term is guaranteed by a local scattering invariant and holds for every arrangement and every fixed swap probability between zero and one. With exact tuning and matched contacts, the central transmission remains unity. A microscopic quantum chain exhibits both higher-order suppression of scattering in the ideal recursive arrangement and the predicted response to local exchanges. These results reveal a limitation of spatial ordering that is invisible to a measurement at the resonance alone: spatial ordering protects the resonance peak, not the transport around it. The effect can therefore be tested experimentally by measuring transmission spectra before and after exchanges, without identifying microscopic defects.

cond-mat.dis-nn↗

Zero Forcing Sets in Temporal Graphs

The Zero Forcing (or corruption) of a graph is the problem of finding a minimum-size ``corrupting'' set. It corresponds to a subset of its vertices that can corrupt the whole graph by iterating the following rule: if a corrupted vertex has exactly one neighbor that is not yet corrupted, the neighbor gets corrupted. The iteration of this process comes from the fact that the corruption of a vertex might enable new corruptions (from itself or some of its neighbors). For this reason, one can consider a step of corruption, where all the possible instances of the corruption rule are applied at once. This paper investigates Zero Forcing on temporal graphs, where the topology of the graph evolves throughout the experiment. At each time step (or snapshot) of the graph, a step of corruption is resolved wherever possible. We study the problem of finding a minimum-size corrupting set such that the whole (temporal) graph is corrupted at the end of the experiment. We present a panorama of results, including NP-hardness in some not-so-restrictive scenarios, polynomial algorithms, and a solution to an open question when the whole graph must be corrupted in a single step.

cs.DM↗

Empath: Tracing Multi-Level Emotion Dynamics in Crisis Counseling Dialogues

Emotion dynamics are critical for understanding crisis-support conversations, yet most computational work treats emotion as static utterance-level labels. We introduce EMPATH, a framework for understanding affective dynamics in mental health dialogues across three granularities: turn-level labels, transition probabilities, and global conversation archetypes. Applying EMPATH to text-based crisis conversations with self-identified Black texters discussing grief, we find persistent negative affect, gradual hope-ward transitions, distinct texter-volunteer emotional roles, and heterogeneous recovery trajectories. These results highlight the informative patterns that emerge from computationally understanding crisis support and expressions of grief as dynamic processes within conversations, as well as the overall value of emotion-dynamic analysis for analyzing and comparing affect in dialogues.

cs.CL↗

Glassy dynamics of metropolitan human mobility frozen near the gravitational equilibrium

This research establishes a connection between macroscopic urban commuting flows and thermal equilibrium. Using mobility data from around 30 million records across six Japanese cities over one year, we introduce the Gravity-based Home Swapping Model (GHSM). This model applies Metropolis dynamics to urban commuting by treating individuals as interacting particles. Within this framework, total commuting time dictates the system energy, and temperature controls how strongly mobility responds to cost savings. Consequently, urban commuting can be analyzed through an evaluable free energy and simulated similarly to physical systems of matter. The maximumentropy doubly constrained gravity model serves as the stationary state. We find that the residential dynamics exhibit glassy characteristics. Through calibration to observed data, we reveal that the system demonstrates signatures of kinetically constrained models, specifically ageing, hysteresis, and freezing near equilibrium. Simulations initialized from arbitrary states converge to empirical origin-destination matrices. This demonstrates that minimal physical mechanisms can reconstruct complex urban realities.

physics.soc-ph↗

Projective Braids in $\mathbb{R}P^3$

Links in projective space $\mathbb{R}P^3$ can be represented by diagrams in $\mathbb{R}P^2$ where the projective plane $\mathbb{R}P^2$ is represented by a disk with antipodal identifications on the boundary. In this context if we place an $n-$strand braid $β$ on this disk keeping its end points on the boundary then due to the identification of antipodal points it naturally represents a link diagram in $\mathbb{R}P^3$. We call this the projective closure of the braid $β$. In this paper we show that not all links in $\mathbb{R}P^3$ possess a diagram represented by projective closure of some braid.

math.GT↗

Time optimal control for the heat equation with inverse-square potentials

This paper studies the time optimal control problem for the heat equation with singular inverse-square potentials under the Hardy critical condition. We first establish an observability inequality for the singular parabolic equation from general space-time measurable sets of positive Lebesgue measure. Rather than depending on the still-unknown Lebeau-Robbiano spectral inequality for the underlying singular operator, our proof combines Carleman-based observability results over open cylinders, real-analyticity estimates of solutions away from the singular origin, propagation of smallness estimates for real-analytic functions, and a telescoping-series technique. Using this observability result, we derive the null-controllability with controls supported on measurable subsets. Finally, we prove that the corresponding time optimal control is unique and obeys the bang-bang property almost everywhere over the control domain.

math.OC↗

Transformers as Cross-Task Learners: Shared Structure Drives Sample Efficiency in In-Context Learning

Transformers achieve remarkable performance by jointly learning broad families of tasks during pretraining and adapting to unseen tasks from only a short prompt. Yet a rigorous mathematical and statistical understanding of this phenomenon remains limited. This paper aims to study how Transformers exploit shared cross-task structure and how this structure affects the sample complexity of in-context learning (ICL). Specifically, we characterize task-space complexity through covering numbers under a prescribed metric, thereby quantifying the low-dimensional cross-task structure without requiring an explicit parametric representation. The resulting cover provides a set of anchor functions, which we use to introduce a task-identification-and-evaluation procedure: context observations localize an unseen task among the anchor functions, and the response at a query is predicted by aggregating the corresponding anchor function query evaluations. For approximation, we explicitly construct a Transformer with Softmax attention to approximate this procedure. For generalization, we derive an error bound that separates the effects of the number of pretraining tasks and the prompt length. The scaling with respect to the number of pretraining tasks is governed by the intrinsic dimensions of the task space and input domain; once sufficiently many tasks are available, the dependence on the prompt context length becomes dimension-free. To the best of our knowledge, this is the first work to quantify cross-task complexity for general nonlinear task families and explicitly construct a Transformer that exploits their low-dimensional structure to perform ICL. Our theory provides a quantitative explanation of how joint pretraining across related tasks improves in-context generalization.

stat.ML↗

Human-AI Collaboration for Multi-Line Task Adjustment Using Local Large Language Models and a Digital Twin

Automation systems must adapt to changing tasks, equipment states, and staffing conditions while providing evidence for human review. This study presents a multi-line task-adjustment system integrating a local large language model, a digital twin, and human decision-making. A Propose-Verify-Decide workflow translates operator intent into structured requirements, generates a bounded set of candidate strategies, and checks semantics, simulation execution, and operational constraints. Linked records preserve traceability from requests to verification evidence and decisions. Thirty fixed test records were evaluated using four virtual surgical-instrument sorting lines: 28 assessed the workflow and two assessed model generation. Eighteen workflow cases met expectations; autonomous strategy-workflow success was 3/10, and correct rejection of invalid inputs was 7/8. All four cases that passed preceding checks, produced complete evidence, and reached final engineering review (CP6) passed that review. Together with the correct blocking of strategies that failed throughput constraints, this supports the effectiveness of staged screening and confirmation within the tested setting. Mean placement-validation pass rate across eight simulation evidence records was 97.50%. Mean times to the first reviewable response and simulation verification, excluding startup, were 12.94 and 164.39 s, respectively. Remaining failures involved semantic distortion, incomplete evidence, and missed invalid inputs. The results demonstrate a traceable strategy-review workflow, but do not establish overall reliability or long-term stability. Broader testing and physical evaluation are needed to assess generalizability.

cs.SE↗

Ringdown and greybody signatures of rational regular black holes in non-polynomial gravity

We study the quasinormal mode spectrum and wave-scattering properties of the four-dimensional rational regular black hole recently obtained in non-polynomial (quasi-topological) gravity. Using third-order WKB together with two independent cross-checks a Frobenius--Riccati shooting method and a time-domain evolution we compute the fundamental scalar, electromagnetic, and axial gravitational-type quasinormal frequencies, validating our approach against known Schwarzschild results. We find that as the geometry approaches extremality, its dimensionless ringing frequency is systematically suppressed relative to the Schwarzschild value, a direct and quantifiable imprint of the non-polynomial regularization that we trace, via the photon-sphere correspondence, to the response of the effective potential near the horizon. A Fisher-matrix estimate indicates that this suppression could in principle be resolved by a space-based detector such as LISA for a sufficiently massive and nearby source. We further compute, for the first time, the axial gravitational-type ringdown spectrum of this geometry using the Regge--Wheeler master equation, while noting that a full stability analysis of the underlying gravity theory remains an open problem requiring the linearized field equations of the modified action. Finally, we examine the greybody transmission factors across spins $s=0,1,2$ and show that they follow the same systematic ordering and near-extremal enhancement as the ringing-frequency suppression, pointing to a common physical origin. Together, these results give one of the first quantitative characterizations of the observational signatures and the remaining open theoretical questions of a regular black hole in modified gravity.

gr-qc↗

A Procedure for Classifying Attachments and Affective Social Bonds in Human-Robot Dyads

Human-robot interaction (HRI) claims that people form attachments and social bonds with artificial agents, yet the terms are often applied without the behavioural and physiological criteria that give them content in their source disciplines. Without this empirical grounding, studies deploy widely divergent methods, frequently producing expansive relational claims that far outstrip their underlying evidence. To address this, we propose a standardised four-question procedure, grounded in criteria established in the developmental, ethological, and neuroendocrine literatures, that classifies a given human-robot tie as an attachment, an affective social bond, or no relationship, with intermediate classifications when evidence is incomplete. We specify minimum evidential requirements for each question, and provide candidate HRI study designs, adapted from validated human-human, human-animal, and animal-animal paradigms. We then demonstrate the procedure by applying it to a representative set of published HRI studies, showing how often relational claims outstrip what the reported designs can establish. Finally, we discuss the ethical and regulatory burdens created when artificial agents engage human biobehavioural systems. By replacing the divergent operationalisations with a unified, criterion-based classification, this paper gives HRI practitioners a standardised basis for evaluating, classifying, and comparing human-robot relationships, and sets out the experimental rigour that each classification demands. We therefore call on researchers of human-robot relationships to adopt such rigour, or to consider alternative terminology in their descriptions of these ties.

cs.HC↗