SearcharxivSearch

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 217 records · Page 12Linked to original sources

Parameter-Free Dynamic Regret under Heavy-Tailed Noise

We study online convex optimization with one unbiased stochastic subgradient per round and noise having a finite $p$-th central moment, where $p\in(1,2]$ is unknown. For a bounded convex domain of diameter $D$, subgradients bounded by $G$, noise scale $σ$, and comparator path length $P_T$, let $Λ_T=1+P_T/D$. A single algorithm, using none of $G,σ,p,P_T$, attains expected dynamic regret $O_p\left(\min\{GD\sqrt{TΛ_T}+σDT^{1/p}Λ_T^{(p-1)/p},\,GDT\}\right)$ against every fixed comparator sequence. Restarted AdaGrad experts produce the noise-path exponent $(p-1)/p$, and a prior favoring longer restart intervals removes horizon-dependent logarithmic overhead. We give an explicit bound uniform in $p$; its logarithm-free form has noise coefficient $O(1+\log(p/(p-1)))$, while the static-regret constant is universal. The analysis requires only marginal noise moments and permits dependent errors. Complete pathwise proofs retain both the expert-loss range and the gradient energies preceding comparator movement. Matching lower bounds hold on every bounded convex domain of positive diameter, under the same gradient-only information model. Together with a path-budget-tuned upper bound, they characterize the minimax rate with universal constants, including its linear-regret saturation.

cs.LG

Displaced photon helicity states: a quantum realization of Arago-Fresnel interference

The laws of Arago and Fresnel relate the polarization of light to its capacity for interference. We investigate their quantum counterpart at the level of the fundamental helicity states of a single photon. To this end, we introduce displaced photon helicity states (DPHS), constructed by coherently displacing single-photon helicity eigenstates. The displacement bridges the microscopic spin degree of freedom and macroscopic polarization observables, enabling interference effects that would otherwise be inaccessible to isolated photons. We derive analytical expressions for the Stokes parameters associated with the interference between DPHS and coherent optical fields and show that opposite helicities generate distinct parameter dependences in the resulting fringe structure. The interference constitutes a quantum realization of Arago-Fresnel interference and permits the helicity of an unknown photon to be inferred from the Stokes response of the combined field. Beyond this application, DPHS generalize the framework of displaced nonclassical states from photon-number excitations to the helicity degree of freedom of light.

quant-ph

Hy-MultiTurn: A Six-Dimensional Benchmark for Deep Multi-Turn Dialogue Understanding

Long-running multi-turn interactions with chatbots and agents are now common, and a correct response often depends on remembering earlier details, tracking later revisions, identifying intended objects or referents, and withholding action when required conditions are unmet. Existing multi-turn benchmarks typically cover short exchanges and do not fully evaluate these capabilities in long multi-turn interactions, particularly in Chinese, while offering limited insight into how and why models fail. To address these limitations, we analyze real chatbot failures to identify six recurring mechanisms and use them to define six controlled evaluation modes in Hy-MultiTurn, a Chinese benchmark for deep multi-turn dialogue understanding. The six modes evaluate constraint memory, precise execution, constraint synthesis, object localization, action suppression, and reference resolution. Across the six modes, we construct 209 controlled tasks spanning 12-76 turns, with dialogue length, irrelevant-topic distraction, and colloquial phrasing adding further difficulty. Evaluation of 22 frontier model configurations shows that Hy-MultiTurn is broadly challenging, as even GPT-5.5, the strongest overall configuration, satisfies all requirements in only 41.1 percent of responses and no model performs best in all six modes.

cs.CL

Spectral theory of frame flows on closed hyperbolic manifolds

We prove a resolvent estimate for the generator of the frame flow on hyperbolic manifolds away from vertical lines of resonances. A byproduct of the proof is an optimal essential spectral gap property for the generator, hence giving another proof of exponential mixing of frame flows with respect to the volume measure of the frame bundle. This extends the result of [https://arxiv.org/abs/2005.08387v2] in dimension 3 to any dimension. We make extensive use of the Borel-Weil calculus developed in [https://arxiv.org/abs/2405.14846] to overcome difficulties of this higher-dimensional case.

math.DS

Infrared Problem in Quantum Electrodynamics

It is well known that the inclusive cross section in QED is infrared finite. In the standard diagram techniques this result follows from cancellation of infrared divergences. We suggest a new approach that should lead to IR -safe computational technique for QED with massive fermions.

hep-th

Sharp Characterization of Bias in Post-Bandit Inference

Bandit algorithms generate data for downstream inference, but adaptive sampling biases post-bandit sample means. We analyze this bias for stable index algorithms, including UCB1 and its generalizations, and derive sharp leading-order expressions for the sample-mean bias and expected $Z$-statistic, in bandit experiments of fixed horizon $T$. Our characterization reveals the algorithmic origin of bias through a key index-function-dependent quantity, which we term effective exploration rate. For example, under UCB1, the effective exploration rate is of order $\sqrt{\log T}$, and the standardized bias of any arm (that is not uniquely optimal) decays at the extremely slow rate $1/\sqrt{\log T}$. We also show how the choice of the index function affects both regret and bias, which reveals a regret-bias trade-off: more exploratory algorithm reduces bias but increases regret. We further show how bias most severely distorts confidence intervals and hypothesis tests when the tested arm is one of the tied-optimal arms. Our sharp characterization for bias uses a novel empirical fluid approximation of the algorithm's sampling dynamics, which may be of independent interest.

cs.LG

CorePath: A Breast-Specialized Pathology Foundation Model for Core Needle Biopsy Diagnosis and Risk-Controlled Report Generation

Breast core needle biopsy (CNB) is central to breast cancer diagnosis yet remains challenging because limited tissue sampling, lesion heterogeneity, and subtle morphologic overlap can obscure subtype distinctions. We developed CorePath, a breast-specialized multimodal pathology foundation model fine-tuned from PRISM using 7901 paired CNB whole-slide images and diagnostic reports from two centers. Evaluated across six CNB cohorts and two public breast pathology benchmarks without task-specific retraining, CorePath consistently outperformed PRISM across cancer detection, invasion assessment, and histological subtyping. It achieved weighted area under the receiver operating characteristic curves (AUCs) of 0.9526-0.9735 for five-class CNB histological subtyping across private centers. On public benchmarks, CorePath outperformed leading pathology foundation models, achieving the highest weighted AUCs of 0.7780 for BCNB invasive carcinoma subtyping, 0.8178 for BRACS lesion stratification, and 0.8252 for BRACS fine-grained classification. In report generation, CorePath reduced the overall non-breast hallucinations from 30.1% to 2.8%, demonstrating improved domain fidelity after breast-specific adaptation. CorePath-CRG further combined conformal filtering of subtype and binary cancer status predictions with Learn-Then-Test-based threshold calibration to support selective narrative release, diagnostic fallback, and deferral. CorePath-CRG achieved zero non-breast hallucinations among released outputs and showed the strongest overall performance in pathologist-validated LLM-based Evaluation Scores and quantitative report-generation metrics across most centers. These results demonstrate that domain-specialized foundation models with statistical risk control offer a promising approach for accurate breast CNB diagnosis and reliable report generation.

cs.CV

TARL: Transaction-Aware Reliable Ledgers for Executable Memory Management in Long-Term Agents

Persistent memory helps long-term agents retain knowledge, yet a single update error can repeatedly distort future retrieval and reasoning. Most existing systems reduce memory updating to a binary Write/Hold decision, which cannot distinguish whether new information should be added, ignored, used to revise an outdated belief, rejected as unreliable, or deferred for verification. These choices may share the same binary label while producing fundamentally different memory states. We introduce TARL, a memory state update framework that maps each statement to one of five executable actions. TARL identifies the affected memory, resolves its temporal scope, compares source reliability, and updates accepted, pending, and rejected ledgers. It is further trained by comparing the memory states produced by alternative update operations, encouraging the model to select the operation that leads to the correct result. We also introduce TARL-Mem, a benchmark with fine-grained action labels and next-state targets. Across in-domain, cross-source, temporal, counterfactual, and sequential evaluations, TARL improves action prediction and state recovery, reduces memory pollution, preserves conflicting evidence, and limits cumulative corruption.

cs.AI

Profile Analysis of the Multiwavelength 2.1-year Oscillations of PG 1553+113

We investigate the morphology of the oscillation profiles of the blazar PG~1553+113 in relation to its well-known $\sim$2.1 yr periodicity. We identify individual cycles in the $γ$-ray, X-ray, UV, and optical light curves and characterize their temporal profiles using analytical models for single- and multi-peaked events. We find that the oscillations are generally described by a broad activity envelope with shorter-timescale substructure, showing that the $\sim$2.1 yr signal is not a strictly sinusoidal or self-similar modulation. The internal morphology varies across cycles and energy bands. This is particularly evident in X-rays, where all analyzed cycles show a strong formal preference for multi-component profiles, unlike the $γ$-ray band, where several cycles admit statistically comparable empirical descriptions. The contemporaneous MWL oscillations show broadly aligned activity episodes, but the timing and relative amplitudes of secondary components are not systematically repeated. This suggests that a common long-term modulation affects the broadband emission, while additional local or energy-dependent processes shape individual cycles. Such a picture is compatible with a geometric, jet-related contribution to the broad recurrent envelope, with intrinsic variability superimposed on it. We also identify new cycles with a dominant peak accompanied by weaker twin-peak-like features, similar to structures previously discussed in a supermassive black hole binary scenario for PG~1553+113. Although our results do not provide definitive evidence for this interpretation, the recurrence of comparable morphologies in newly analyzed cycles keeps this scenario viable.

astro-ph.GA

HLSmith: An Expert-Guided Agentic Framework for C/C++-to-HLS Translation

Application-specific FPGA accelerators offer substantial performance and energy-efficiency gains across many application domains, but developing them is costly, often requiring months of specialized effort. Even with high-level synthesis (HLS), designers still need extensive hardware expertise to build high-performance accelerators. Although large language models (LLMs) have demonstrated strong software-generation capabilities, even frontier models lack the hardware intuition and procedural knowledge needed to reliably translate baseline C/C++ programs into high-performance HLS designs: they struggle to identify effective architectures, follow the optimization processes used by HLS experts, and apply hardware transformations consistently across diverse kernels. We present HLSmith, an expert-guided framework for translating C/C++ programs into optimized HLS accelerators. HLSmith combines three components: an HLS optimization expertise library that encodes guarded transformation recipes, their applicability and prerequisite conditions, and unsafe cases to avoid; a staged, feedback-driven orchestration flow modeled on expert HLS development practice that guides agents through synthesis, bottleneck analysis, and optimization; and a tool-grounded model-adaptation pipeline that converts optimization trajectories from commercial frontier models into training data for fine-tuning open-weight LLMs. We evaluate HLSmith on PolyBench against ChatHLS, a leading prior agent-orchestration framework for HLS accelerator development. HLSmith achieves a geometric mean speedup of 4.24x over ChatHLS while producing functionally correct designs, in both software and RTL simulation, for every benchmark, compared with ChatHLS's 57% valid-design rate. It further reaches speedups of up to 252x and 138x with commercial frontier models and open-weight models, respectively.

cs.AR

Improving Constraint Models with LLM Agents

The runtime of Constraint Programming (CP) solvers is highly sensitive to modeling choices, such as symmetry breaking, implied constraints, global constraints, constraint reformulation, and variable representation. Improving these constraint models has traditionally required human expertise, and existing automated reformulation systems are restricted to a predefined library of hand-crafted transformation rules. We introduce an agentic framework that instead reformulates a constraint model from an open-ended space and establishes correctness empirically rather than by construction: a Large Language Model (LLM) agent, given a model and three training instances, proposes alternative formulations, validates each by injecting its solution back into the original model, and diagnoses and repairs failures, returning the best variant it finds in a median of about fifteen minutes. The models are expressed in the CPMpy modeling library, and each proposed model is evaluated on three larger test instances. Across nine combinatorial optimization problems, the generated models outperform the originals on 21 of 27 test instances, and on some problems solve more than two orders of magnitude faster. A comparison against non-agentic baselines that reuse the same validation and selection tools indicates that the gains stem from the agent's iterative diagnosis and repair, not merely from sampling several candidates. These results demonstrate that autonomous agentic methods can support the improvement of constraint models.

cs.AI

A Quantum/Classical Example Oracle Separation for Making Things Up

Consider two PAC learning algorithms, both having access to quantum computation, but differing in the types of examples they obtain: one is provided with classical samples, while the other is given quantum samples. Are there any learning tasks that can be efficiently performed by the latter, but not by the former? This question, the focus of our work, is surprisingly still open. Our main result is to show that \emph{relative to an oracle}, there are distributions that can be efficiently generated by a quantum learner with access to quantum samples, but not by a quantum learner with access to only classical samples, making progress to answering this question in the affirmative.

quant-ph

Laboratory constraints on peV-scale mass splitting between ordinary and sterile neutron states

Sterile states of matter, represented by a parallel ``mirror'' sector, may contribute to the observed dark matter in the Universe. We investigated the parameter space of neutron $(n)$ to mirror-neutron $(n')$ oscillations, in the case where the two states are not necessarily mass-degenerate, taking into account interactions in the mirror sector. By tuning the magnitude of an applied magnetic-field in the range $5~μ\mathrm{T} < B < 360~μ\mathrm{T}$ to corresponding resonance conditions for finite mass splitting, we derive exclusion limits for the $n-n'$ oscillation time constant reaching about $20~\text{s}$ over the mass-difference range $0.3 - 22~\text{peV}$. In parts of this parameter range, our limits exceed the model-dependent neutron-star-cooling bound, providing the first experimental constraints in this scenario that are more stringent than this astrophysical estimate.

hep-ex

AutoSQL: Extracting SQL Templates from Imperative ORM Code in Large-Scale Repositories

Suboptimal SQL queries can significantly degrade the performance of cloud systems, motivating the extraction and auditing of SQL statements before deployment. However, Go ORM frameworks construct SQL imperatively through scattered method-call sequences, making it difficult to statically recover the resulting SQL templates. We present AutoSQL, a system that reconstructs SQL templates from Go ORM code. AutoSQL constructs a Code Index, a directed graph that captures structural dependencies between functions, types, and global variables as navigable edges. It then traces upstream call chains from ORM invocation sites to identify database-interacting functions as entry points. For each entry point, an LLM agent traverses the Code Index to collect code slices that influence SQL generation, switching to pattern-based search when the graph cannot resolve a retrieval goal. We call this strategy Hybrid Context Retrieval. Once sufficient context is collected, the agent synthesizes SQL templates. Evaluation on a benchmark of 579 test-covered entry points and 1,186 runtime-traced SQL statements from five large-scale Go repositories shows that AutoSQL achieves 68.04% to 72.18% recall, exceeding the static reachability baseline by 11.80% to 15.94% and outperforming existing methods by 8.52% to 21.50%.

cs.SE

Minimal foliations, codimension-one stable norms, and a question of Bangert

We compute the codimension-one stable norm for a natural class of cohomogeneity-one metrics on tori. In every dimension $n\ge3$, the formula yields smooth nonflat metrics for which each primitive codimension-one homology class is represented by a foliation of calibrated tori, giving a negative answer to a question of Bangert. On $\mathbb T^3$, we construct an infinite-dimensional family of nonflat metrics whose codimension-one stable norm agrees exactly with that of the unit cubic flat torus and whose total volume is fixed. An explicit two-parameter subfamily contains pairwise non-isometric metrics. These examples also show that the Euclidean-stable-norm-and-volume data are not locally injective near the cubic flat metric. Conversely, among smooth metrics on $\mathbb T^3$ admitting a free isometric circle action and having the cubic Euclidean codimension-one stable norm, we prove that volume is at most one, with equality only for the cubic flat metric up to an isometry isotopic to the identity.

math.DG

Lattice-data-driven specific heat and isentropic bulk modulus of SU(3) gluon matter at finite temperature

We investigate the specific heat and isentropic bulk modulus of finite-temperature pure SU(3) gauge matter within a lattice-data-driven phenomenological framework. The equation of state is formulated in terms of a temperature-dependent effective gluon mass constrained { by lattice QCD pressure data as input, allowing the pressure}, trace anomaly, gluon number density, energy per thermally active gluonic mode, and derivative-sensitive response functions to be derived in a thermodynamically consistent manner. The resulting pressure and trace anomaly reproduce the characteristic lattice behavior across the deconfinement region, while the effective gluonic degrees of freedom increase rapidly above $T_c$. The normalized specific heat $C_V/T^3$ develops a pronounced enhancement in the vicinity of $T_c$, reflecting the rapid temperature variation of the energy density across the deconfinement region. The isentropic bulk modulus $K_S/T^4$ also rises sharply across the transition region, indicating a substantial stiffening of the equation of state. At high temperatures, both response functions gradually approach values close to their massless conformal Stefan--Boltzmann reference values, with $\left(C_V/T^3\right)_{\rm SB}=32π^2/15\simeq 21.06$ and $\left(K_S/T^4\right)_{\rm SB}=32π^2/135\simeq 2.34$. These findings indicate that the specific heat and isentropic bulk modulus provide complementary constraints on the temperature evolution of nonconformal dynamics in pure SU(3) gauge matter.

hep-ph

The trace field on the prey nullcline: criticality of planar Hopf bifurcations on the admissible branch

Along the prey nullcline $y=g(x)$ of a planar system, the Jacobian entry satisfies $J_{11}=P\,g'$, where $P=-f_{1y}|_γ$. Under $P>0$ and predator self-damping, the Hopf trace condition forces $g'(x^\ast)>0$: critical points of $g$ are spectral barriers, so the Hopf locus lies on ascending branches. This geometric localization determines where oscillatory instability can occur; we determine how the bifurcation unfolds there. Let $D=f_{1x}+f_{2y}$ and $τ=D|_γ$. Using nullcline coordinates $(u=x,v=y-g(x))$ and Hadamard's lemma gives $\dot u=-vH$, $\dot v=W$, with $H(u,0)=P$. The mixed jet of $W$ is determined by the jets of $τ$ and $ν=f_2|_γ$, yielding a closed five-term formula for the first Lyapunov coefficient $\ell_1$ in trace-field form, valid for predator-dependent functional responses. Three distinct reductions of the cubic jet are established. In general planar Hopf bifurcations, eigenvector pairing gives $\partial\ell_1/\partial f_{1yyy}=\partial\ell_1/\partial f_{2xxx}=0$. Straightening the nullcline removes two further slots, while within the Gause class the reparametrization $φ\mapsto g$ removes $p'''$. They have different scopes. For predator-dependent responses, comparison with the $y$-affine truncation of the $3$-jet at fixed linear part gives $\ell_1=\ell_1^{\mathrm{aff}}+Δ$, where $Δ=Λ\bigl(f_{1xyy}+ω_0^{-2}\langle\partial_x f,\nabla D\rangle f_{1yy}\bigr)$ and $Λ>0$. On the Hopf locus, $\langle\partial_x f,\nabla D\rangle=J_{11}τ'+(ω_0^2/P)D_y$. Thus the same quantity $J_{11}=Pg'$ that localizes the bifurcation at first order reappears at third order as the weight of the tangential trace derivative. The bridge identity is independent of eigenvector normalization, while $\ell_1,\ell_1^{\mathrm{aff}},Δ,Λ$ scale by $|c|^2$ under $q\mapsto cq$; their signs and ratios are unchanged.

math.DS