Searcharxiv⌕ Search

SEARCH · Searcharxiv

Search Searcharxiv

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

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 1,225 records · Page 68Linked to original sources

Local Search with Correlated Randomness

How much does an algorithm's running-time distribution under independent randomness reveal about its behavior when independence is no longer guaranteed? We study sources satisfying $ν[w]\le DP[w]^s$ for every finite prefix $w$, where $P$ is an independent reference law, $0<s\le1$, and $D\ge1$. The constraint controls complete-prefix probabilities while allowing individual choices to be predictable, even fully determined by the past. For retry tasks, all deterministic history-dependent selectors have the same independent-source running-time law. Yet two orders have worst-case failure probabilities $1$ and $\exp[-Θ(n)]$ at the same linear deadline under the same source constraint. We identify a static priority rule that is optimal at every deadline and every $D$. For the standard local walk on a $k$-CNF with at least $r$ true literals per clause under some assignment, $k/2<r<k$, we determine the sharp source threshold $s_*$. At and above it, the expected flip count is $O_{k,r}(\min\{L^3,L/(s-s_*)\})$, where $L=h+\log D+1$, $h$ is the initial Hamming distance to that assignment, and $L/0=\infty$. The bound allows arbitrary clause overlap and history-dependent clause selection. Matching instances admit one source forcing this delay with probability one for every selector. At criticality and fixed $D$, the delay is cubic despite a linear independent-source expectation. Variable-depth prefix covers, together with classical tree max-flow/min-cut, yield an exact criterion for restoring exponential tails by restarting on the same tape. We synthesize updates and restarts for explicit finite-state processes. Under a sufficient prefix guarantee, we also obtain noisy predecessor search with error at most $η$ and expected query count polynomial in the correct leaf's depth and $\log(D/η)$, without knowing the depth or tree height.

cs.CC↗

RoboHarness: Memory-Driven Orchestration of Heterogeneous Robot Policies for Long-Horizon Planning

Long-horizon robotic tasks require a breadth of capabilities beyond what any single existing robot control policy can reliably provide. Combining heterogeneous policies with complementary strengths offers a promising solution, but introduces two key challenges: uncertain capability boundaries and distribution mismatches during policy handoffs. These challenges remain largely unaddressed by existing planning methods, which typically assume homogeneous, predefined skills with fixed applicability. We propose RoboHarness, a unified framework that encapsulates independently developed heterogeneous policies, including vision-language-action models (VLAs), world-action models (WAMs), reinforcement learning (RL) policies, and task and motion planners (TAMP), as reusable agentic skills. RoboHarness integrates understanding, memory, and evolution skills to reason about policy capabilities and support capability-aware task decomposition and policy routing. To mitigate distribution mismatches during policy handoffs, we introduce Memory Bridge, a plug-in policy-chaining mechanism that enables reliable transitions between heterogeneous policies without joint retraining. Extensive experiments across five public benchmarks, 500 customized tasks across 10 classes, and 135 real-robot trials demonstrate substantial gains in long-horizon and memory-dependent tasks, as well as robustness to out-of-distribution conditions.

cs.RO↗

Feynman Integrals Meet Second-Order Partial Differential Equations

We propose a second-order partial differential equation method to solve multi-loop Feynman integrals as an equilibrium problem. As a proof-of-concept demonstration, we perform a Galerkin discretization of the corresponding variational form and employ the finite element method to compute two-loop four-point Feynman integrals. This method can solve the integral over a broad region of multi-dimensional phase space once and for all. This work establishes a new connection between perturbative quantum field theory and modern partial differential equation methods, with the potential to streamline a wide range of phenomenological applications.

hep-ph↗

Production of lepton-flavor-violating scalars through resonant positive-muon annihilation on atomic electrons

We investigate an invisible lepton-flavor-violating scalar $ϕ$ with exclusive $e-μ$ couplings and study its resonant production via $μ^+e^-\toϕ$ in fixed-target experiments. Since the effective center-of-mass energy is determined by the momentum of the initial-state bound electrons, atomic effects can significantly affect the resonance behavior. We therefore employ relativistic bound-state electron wave functions to calculate the production cross section and reveal a material-dependent broadening of the resonance lineshape. For the proposed HIAF experiment, fewer than one day of data taking ($6\times10^{10}$ MOT) can probe couplings at the $10^{-5}$ level at 90\% confidence level near resonance, demonstrating that high-intensity muon fixed-target experiments provide a powerful complementary probe of lepton-flavor violation.

hep-ph↗

BART Online Open-Source Sequence Toolbox for Computational MRI

Purpose In advanced computational MRI techniques, acquisition and reconstruction techniques are jointly designed. For reproducibility, it is therefore important to provide an open implementation of both. At the same time, any use in a clinical environment usually requires a close integration with the MRI scanner. Ensuring long-time reproducibility and maintenance then poses additional challenges. In this work, we aim to provide a fully integrated open-source framework that can meet these demands. Methods A software framework to develop pulse sequences is added to BART, an open-source toolbox for computational MRI. In addition, a vendor-specific driver sequence is developed that can be used to run the sequence on a clinical MRI scanner enabling online adjustment of all relevant sequence parameters. Using the Pulseq format, the exact same sequence can also be reproduced offline using a widely used vendor-neutral open-source standard. Using the Pulseq format, the exact same sequence can also be reproduced offline. As proof-of-concept, quantitative MRI methods for T1 and joint water/fat R2*, B0 mapping using radial FLASH and model-based reconstruction are implemented in the proposed framework. Consistency between online and offline acquisition is validated in phantom and in vivo experiments. Results Quantitative MRI methods highlighting specific challenges of acquisition and reconstruction were successfully implemented in BART. Acquisition parameters and FOV can be adapted online on a clinical MRI system. Quantitative parameter maps from model-based reconstruction agree for online and offline regenerated Pulseq acquisitions. Conclusion This work enables reproducibility of advanced computational MRI methods within a comprehensive end-to-end open-source framework.

physics.med-ph↗

A Conditional Probability Hierarchy for Stochastic Choice

We introduce point conditional probability spaces (PCPSs) as primitive building blocks for stochastic choice. This concept goes back to Rényi (1955), who proposed conditional probability spaces (CPSs) as a basis for probability theory. Luce (1959) noted the connection between CPSs and stochastic choice, and Cerreia-Vioglio et al. (2021) have developed the connection further. A PCPS is a CPS each of whose component probability measures concentrates on a singleton selection. We build a four-level PCPS-based hierarchy of families of stochastic choice rules. Level 1 consists of PCPSs, Level 2 is made up of finitely additive "conditionally consistent" mixtures of PCPSs, Level 3 comprises all finitely additive probabilistic mixtures of PCPSs, and Level 4 consists of all finitely additive signed probabilistic mixtures of PCPSs. We construct our hierarchy at a general measure-theoretic level that encompasses infinite choice sets. We also connect each level of our hierarchy to well-known axioms for stochastic choice, namely, the Weak Axiom of Stochastic Revealed Preference, Independence of Irrelevant Alternatives, and no Dutch book. We establish the relationship between total orders and PCPSs and demonstrate a sense in which PCPSs can be a more parsimonious representation of choice.

math.PR↗

Symmetry-Based Design Rules for Second-Harmonic Generation in Stacked and Twisted MoS2 Bilayers

Understanding how stacking controls the nonlinear optical response of two-dimensional materials is key to designing van der Waals heterostructures with tailored functionalities. Here, we establish a comprehensive symmetry-based framework mapping the structural configuration of MoS2 bilayers across four point groups (D3h, D3d, C3v, C3) to their second-order susceptibility tensor chi^(2). Using group-theory arguments benchmarked against first-principles response-function calculations, we demonstrate how symmetry breaking controls the activation and suppression of individual tensor elements in these systems. We show that the emergence of the in-plane component chi_xxx in twisted configurations (C3 group) induces a rigid azimuthal rotation of the second-harmonic generation polar lobes, which remains frequency-independent across the entire optical spectrum, locking to half of the structural twist angle. Our findings establish a direct, wavelength-independent optical route for twist-angle determination and provide a clear roadmap for engineering nonlinear optical responses in two-dimensional materials.

cond-mat.mtrl-sci↗

LMC-induced Perturbations in the Milky Way Halo II: Bridging Field-level Inference and Summary-level Simulation-Based Inference

The gravitational interaction between the Milky Way (MW) and the Large Magellanic Cloud (LMC) drives the outer halo into dynamical disequilibrium, imprinting the masses and structural parameters of both galaxies onto the 6D phase-space distribution of halo tracers. This signal has been characterised with summary statistics ranging from low-order velocity moments to basis function expansions, yet how much information these summaries discard, and whether they are complementary, remains unclear. We address these questions by comparing a likelihood of the halo phase-space distribution (field-level) with physically interpretable summaries for constraining $(M_{\mathrm{MW}}, M_{\mathrm{LMC}}, c, q)$, where $c$ and $q$ are the MW halo concentration and flattening. A Conditional Flow Matching (CFM) model trained on the HaloDance $N$-body suite provides an exact likelihood at a held-out fiducial point; for 5,000 tracers in $30$--$120$~kpc it tightens marginal constraints by factors of $2.5$--$9.9$ over an all-sky velocity-moment forecast. To narrow this gap, we construct four parameter-sensitive summaries via BFE+MOPED that capture the angular structure of the halo density and velocity and contain information complementary to the velocity moments. Combining the two sets of summaries tightens the marginal constraints by up to $15$ per cent relative to the angular summaries alone, and by $30$--$71$ per cent relative to the velocity moments alone, although the resulting constraints remain $1.3$--$2.9$ times broader than those from the full phase-space benchmark. We thus establish a physically interpretable summary-level route for applying this inference pipeline to future observations, while the field-level benchmark measures the information available for further improvement.

astro-ph.GA↗

Photon sphere jet equivalence and the non-uniqueness of black-hole thermodynamics

We examine whether scalar eikonal quasinormal-mode data determine black-hole thermodynamics. For static, spherically symmetric, asymptotically flat, nonextremal geometries, we prove that the formal fixed-overtone expansion of a neutral, minimally coupled, massless scalar through order $L^{-N}$ depends only on the $(2N+2)$ jet of the lapse at the unstable photon sphere. For every finite $N$, real-analytic deformations can preserve this jet and the asymptotic Reissner--Nordström coefficients while changing the surface gravity and Hawking temperature. We also construct a nonanalytic $C^\infty$ deformation that is flat at the photon sphere. This deformation preserves the complete formal eikonal series to every algebraic order but changes the horizon position, temperature, and Einstein area entropy. A nonempty charged subfamily satisfies the weak energy condition as an effective Einstein source. Together, these four results establish the new finite-jet and all-orders thermodynamic obstruction. To separate geometric information from action-dependent information, we incorporate a previously established Reissner--Nordström--MOG comparison. The mapped backgrounds have identical normalized metrics, neutral-scalar boundary-value problems, exact scalar spectra, and Hawking temperatures, yet their Wald entropies differ because their curvature couplings differ. The resulting hierarchy shows that local photon-sphere data do not determine horizon thermodynamics and that even exact action-blind scalar data do not determine gravitational entropy. Agreement of the formal eikonal expansions for the deformed metrics does not imply exact finite-$\ell$ isospectrality. Global differences may appear beyond every algebraic order. Thermodynamic reconstruction from eikonal ringdown is therefore conditional on assumptions about the global metric and the gravitational action.

gr-qc↗

Random unitary circuits with constant spectral gap

We prove constant lower bounds for the spectral gap of the following random walks on unitary groups $\mathsf{SU}(2^n)$ on $n$ qubits. (i) Random Pauli Rotation: choose an $n$-qubit Pauli operator $P$ and an angle $θ\in [0,2π)$, both uniformly at random, and apply $e^{\mathrm i θP}$. (ii) Brickwork Random Unitary Circuit: choose $n-1$ unitaries $U_{i}$ uniformly at random from $\mathsf{SU}(4)$ independently, and apply $U_{2j-1}$ on two qubits $2j-1, 2j$ and then $U_{2j}$ on two qubits $2j, 2j+1$. Importantly, the spectral gap lower bounds are independent of $n$ and apply for all finite dimensional unitary representations of $\mathsf{SU}(2^n)$ uniformly, including those that appear in unitary $t$-designs. We also prove analogous constant-gap results for orthogonal and Clifford groups; the latter is indispensable for our result on the Brickwork Random Unitary Circuit.

quant-ph↗

SIREN (Luring LLMs onto the Rocks): PAIR-Driven Preference Manipulation in Web-RAG Recommenders

This paper investigates the adversarial manipulation of the ranked recommendations produced by web-augmented large language models (LLMs). When an LLM answers a recommendation query by retrieving and reading live webpages, it acts as a recommender, and each retrieved page becomes a potential attack surface. Prior work has examined fabricated products, retrieval poisoning, and rank promotion. However, these studies do not compare how different edits to an already retrieved page change the model's final ranking while the surrounding source set remains unchanged. To address this gap, we propose SIREN, an automated attacker--judge method that adapts the PAIR jailbreaking loop to competitive rank manipulation, with the goal of moving a chosen entity to rank~1 in an LLM-generated recommendation. SIREN retrieves and captures webpages using Anthropic's web tools, then iteratively edits a retrieved source using an interpretable taxonomy of 23 content-poisoning techniques. The custom-RAG replay platform keeps the same sources in the same order, so changes in the model's ranking can be linked to changes in the supplied content rather than to differences in retrieval. Across two production Claude models, SIREN reaches rank~1 in 62 of 124 technique trials nested within eight query--model contexts. The payloads that reached rank~1 were then tested in fresh sessions, where they reproduced the result with a mean success rate of 0.805. Across the evaluated settings, declarative ranking claims and seeded lists were generally more effective than directive-form injections, although the strength of this difference depended on the target model. To the best of our knowledge, this is among the first controlled studies of competitive rank manipulation in production LLMs where the supplied source context is kept fixed.

cs.IR↗

ORACLE: Agentic AI Orchestrator Routing Via Adaptive Verifier Calibration Feedback

Modern enterprise agent deployments consist of a heterogeneous pool of large language models (LLMs) having diverse capabilities and cost. Existing model routing strategies optimize the quality-cost trade-off, while providing request-level static decisions. More recent solutions address agentic routing as a task-level selection with a serial verifier based router feedback loop. However, their fixed verifier suitable for homogeneous workloads may not generalize to heterogeneous batches of agentic tasks (example: coding, general conversational). Additionally, due to the verifier placement in the critical path of the loop, serving quality may be affected during multiple concurrent requests routing. To mitigate these issues, we present ORACLE. It is a concurrency-aware online routing mechanism that aligns adaptive routing with adaptive verification for feedback. ORACLE acts as a training-free drop-in 'feedback loop' on top of any model-selection policy to first classify the task type and then dynamically assigns a task-appropriate verifier. Further, we develop a delayed feedback strategy for concurrent requests that largely removes verifier latency from the dispatch critical path. We then present a post-routing dispatch scheduler, namely DISC. DISC reserves each task's peak KV footprint at admission and dispatches to an alternate backend when the reward gain from reduced wait exceeds the reward loss from lower accuracy. Extensive evaluation on SWE-bench, tau2-bench, and Terminal-Bench 2.0 shows that ORACLE improves the accuracy-cost frontier by up to 7 percentage points over state-of-the-art routing baselines, while ORACLE with DISC improves program throughput by up to 1.8x.

cs.AI↗

Perron envelopes with globally bounded minorants

Let $f$ be an upper semicontinuous function on a domain $Ω$, and let $V$ be the Perron envelope of $f$ formed only with subharmonic minorants that are bounded above on all of $Ω$. The usual argument for upper semicontinuity of Perron envelopes breaks down, since the regularization $V^*$ need not be bounded above; one only knows that $V=V^*$ outside a polar set. We show that nevertheless $V=V^*$ everywhere in $\mathbb{R}^d$, using a local harmonic correction given by a Poisson integral on a ball. The plurisubharmonic analogue fails. We construct an explicit bounded B-regular Hartogs domain in $\mathbb{C}^n$, $n\geq2$, and a positive pluriharmonic function $W$ whose envelope of bounded-above plurisubharmonic minorants equals $W$ off an analytic disc and vanishes on it, although $W$ admits a positive plurisuperharmonic majorant $G$ with $W\leq\varepsilon G+C_\varepsilon$ for all $\varepsilon>0$. For pluriharmonic $W$, we show that the envelope recovers $W$ exactly on the union of the sets where such majorants are finite. The question arises in the study of quasibounded plurisubharmonic functions.

math.CV↗

Probing quantum Hall edge chirality and the anyonic exchange angle with a three-path interferometer

An upstream neutral mode can influence quasiparticle tunneling even when electric charge propagates only downstream. We propose a three-path fractional quantum Hall interferometer that probes this directional structure through the flux dependence of average terminal currents. Interference between direct and two-step tunneling first contributes at cubic order in the tunneling amplitudes of three weak quantum point contacts. In the local theory, equal drain voltages separate the downstream and upstream responses: for a purely downstream tunneling excitation, the cubic fundamental Aharonov-Bohm harmonic vanishes at one drain, while the other remains bright. Averaging measurements with exchanged unequal drain voltages extends this separation to a configuration in which all contacts are biased. It requires independent calibration of the electrostatic phase shift and fixed or known tunneling magnitudes. For a selected Abelian excitation with two-point correlation exponent $0<Δ_{\boldsymbol{\ell}}<1$, the common low-temperature bias power and directional amplitude ratio determine its scaling dimension and principal exchange angle. We also show that a weak static density interaction spanning two tunneling points can activate the dark harmonic without adding an upstream mode. In the high-bias static limit, the first-order Laughlin activated amplitude scales as $E^{2ν-1}$, where $E$ is the source-drain bias energy and $ν$ is the filling factor. In the weak localized single-mode infrared regime, the bright harmonic retains its leading scaling and can serve as a reference in the same device. The calculation assumes one coherent tunneling species and common-temperature edge correlations with unresolved propagation times.

cond-mat.mes-hall↗

LOCKS: Page-Local Compact Key Summaries for Efficient Long-Context Decoding

Serving large language models at long context is bottlenecked by the key-value (KV) cache, which is read at every decode step. We find that attention keys are approximately low-rank within pages. A single low-rank projection shared across pages can miss page-specific directions; fitting a basis to each page better identifies the pages receiving the most attention at comparable stored selector cost. LOCKS stores a rank-$r$ spectral summary per page, reconstructs its within-page logits, and selects pages by log-sum-exp mass without reading candidate keys or values. It stays within about a point of FullKV on LongBench-v1, tracks the read-every-key exact-LSE oracle on RULER down to the smallest budgets, and retains quality furthest under tight budgets on AIME26 and MATH-500. At a $2048$-token budget it matches FullKV aggregate quality beyond $100$K context while attending about $2\%$ of tokens. Across ranks $2$-$8$, summaries use $4$-$10\%$ of full-KV bytes. On GH200 with GPU-resident KV, LOCKS reduces complete decode-step time by $1.8\times$ at $512$K context. With full KV offloaded to Grace memory, it reaches $3.82$-$4.22\times$ the faster dense backend's aggregate throughput at $64$K-$256$K by serving larger batches.

cs.LG↗

Spectral aspects of random heavy-tailed tensors

We introduce heavy-Wigner random tensors and establish the convergence of a generating family of invariant linear forms in their entries together with a central limit theorem. The relevant group actions arise naturally in the study of tensor eigenvalues. Then, we compute the limiting spectral measure of the matrix obtained by contraction of a heavy-Wigner tensor and we derive two applications. The first one concerns the adjacency tensor of a Erdős-Rényi hypergraph. We identify the local weak limit of the hypergraph and study the limiting spectral distribution of the matrix contraction. The second application concerns Lévy tensors whose entries belong to the domain of attraction of an $α$-stable law.

math.PR↗

When Do Agent Loops Mistake Stagnation for Progress? Self-Evaluation Bias and Externally Grounded Verification in Long-Running Autonomous LLM Agent Loops

Long-running autonomous agents plan, act, and judge their own completion without human intervention. When an agent grades its own work, self-evaluation bias takes hold: plausible changes are accepted as progress while real-world outcomes stagnate or regress. We name this failure mode the progress mirage and show, with controlled measurement, that it is a question of what the evaluator is grounded in. We built a testbed that holds the agent and its tool surface fixed and manipulates only the information-channel type of the evaluator that gates the loop. A world-state oracle, unfakeable in principle, is enforced by container and network isolation and verified at every run. Across 54 cycles a frontier agent claimed improvement every time, yet 56 percent had a measured delta of zero or below. Self-report was thus uninformative, and the self-verdict gate degenerated into accept-all, eroding the best deployed state it had reached by 19 percent. Even the strongest in-band judge, reading the full artifact text, the change diff, and its own verdict history, accepted cycles of which 44 percent were real-world regressions and rejected 38 percent of real improvements; the preregistered adversarial hypothesis that a strong judge closes the gap was rejected. On a boundary task whose success specification is verifiable from the artifact itself, the same judge's mirage vanished to zero and the gap collapsed within the registered threshold, showing that the gap depends on where the success signal resides. A sign-only variant returning only the acceptance verdict kept real-world output similar to full feedback (110.0 versus 113.0), locating the benefit in the gate's grounding rather than in feedback content. For open-ended objectives whose success signal lives outside the transcript, scaling up the judge is not enough; out-of-band evaluation with real-world access is a structural requirement.

cs.AI↗

Outcome-blinded sample size re-estimation for externally controlled single-arm trials using baseline covariates

Externally controlled single-arm trials provide an option when limited patient populations or ethical constraints make concurrent randomized controls impractical, including in rare diseases and investigator-initiated trials with limited recruitment. Standardization improves comparability by aligning external controls with the enrolled population, but does not by itself preserve planned power. Differences between anticipated and enrolled covariate distributions can change the precision of the standardized control estimate and leave a fixed-size trial underpowered. We propose an outcome-blinded, covariate-adaptive sample size re-estimation procedure that translates these changes in precision into updated recruitment targets. Historical-control data and accumulating active-arm baseline covariates are used to update external-control standardization and its estimated precision. Adaptation requires no active-arm outcomes and retains the prespecified clinically meaningful effect to be detected. We state sufficient conditions for type I error calibration and power after adaptive stopping, assess operating characteristics through simulations, and illustrate implementation using Alzheimer's Disease Cooperative Study data. In the primary simulations, adaptive recruitment restored power lost under standardized fixed designs, achieving at least the target power across the distribution-shift settings and outcome models examined. Type I error rates were close to nominal, although mild inflation remained with a smaller historical-control sample. The application illustrated how accumulating baseline information guided recruitment revisions. By adapting sample size to the precision of the population-standardized control estimate, the proposed procedure addresses a source of power loss that standardization alone does not resolve.

stat.ME↗