arXiv Science⌕ Search

SEARCH · arXiv Science

Search arXiv Science

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 145 records · Page 8Linked to original sources
arXiv2026

A Volterra Calculus for Lie Groupoids

A pseudodifferential Volterra calculus for inverting parabolic differential equations on Lie groupoids is introduced. This enables the study of fundamental solutions of various cases of heat flows on singular manifolds with corners with non-resonant boundary indicial symbols, such as the $b$-manifolds, as well as other geometric bisection covariant heat flows. We also establish the short time asymptotic expansion for the heat kernel of a positive, elliptic differential operator on a Lie groupoid that acts on suitable Sobolev Hilbert modules and is positive definite with respect to the appropriate $L^2$ inner product.

math.AP↗
arXiv2026

Sequence Reconstruction over the Deletion Channel

In this paper, we consider the Levenshtein's sequence reconstruction problem in the case where the transmitted codeword is chosen from $\{0,1\}^n$ and the channel can delete up to $t$ symbols from the transmitted codeword. We determine the minimum number of channel outputs (assuming that they are distinct) required to reconstruct a list of size $\ell-1$ of candidate sequences, one of which corresponds to the original transmitted sequence. More specifically, we determine the maximum possible size of the intersection of $\ell \geq 3$ deletion balls of radius $t$ centered at $x_1, x_2, \dots, x_{\ell}$, where $x_i \in \{0,1\}^n$ for all $i \in \{1,2,\dots,\ell\}$ and $x_i \neq x_j$ for $i \neq j$, with $ n \geq t+\ell-1$ and $t \geq 1$.

cs.IT↗
arXiv2026

A geometric characterization of unbounded integer cubic optimization problems via thin rays

We study geometric characterizations of unbounded integer polynomial optimization problems. Unboundedness along a ray characterizes unbounded integer linear and quadratic optimization problems with rational coefficients. We show that this is no longer true in degree three, already in dimension three, in contrast with the continuous setting, where rays certify unboundedness up to degree three. To recover a ray-based certificate, we introduce thin rays, which are rays with an arbitrarily small neighborhood. Our main result is that thin rays characterize unboundedness for integer cubic optimization problems over arbitrary rational polyhedra, in every dimension. As a special case, we obtain a characterization of unbounded integer quadratic optimization problems with irrational coefficients, a setting in which thin rays are again necessary. Degree three is also the threshold for certificates of this type: from degree four on, no ray certifies unboundedness, even if we allow a neighborhood of any width around it, already in dimension two and with rational coefficients. Together, these results give a complete picture of when unboundedness of an integer polynomial optimization problem is certified by a ray, by a thin ray, or by neither.

math.OC↗
arXiv2026

Ground-Truth Subgraphs for Better Training and Evaluation of Knowledge Graph Augmented LLMs

Retrieval of information from graph-structured knowledge bases represents a promising direction for improving the factuality of LLMs. While various solutions have been proposed, a comparison of methods is difficult due to the lack of challenging QA datasets with ground-truth targets for graph retrieval. We present SynthKGQA, an LLM-powered framework for generating high-quality Knowledge Graph Question Answering datasets from any Knowledge Graph, providing the full set of ground-truth facts in the KG to reason over questions. We show how, in addition to enabling more informative benchmarking of KG retrievers, the data produced with SynthKGQA also allows us to train better models.We apply SynthKGQA to Wikidata to generate GTSQA, a new dataset designed to test zero-shot generalization abilities of KG retrievers with respect to unseen graph structures and relation types, and benchmark popular solutions for KG-augmented LLMs on it.

cs.LG↗
arXiv2026

Spreading Properties of a City-Road Reaction-Diffusion Model on One-Dimensional Lattice

We propose and study a new model to describe biological invasions constrained on infinite homogeneous one dimensional metric graphs. Our model consists of an infinite PDE-ODE system where, at each vertex of the one-dimensional lattice $\mathbb{Z}$, we have a logistic equation, and connections between vertices are given by diffusion equations on the edges supplemented with Robin like boundary conditions at the vertices. We establish the main properties of the system and study the long time behavior of the solutions, especially by characterizing an asymptotic spreading speed for the system. In the fast diffusion regime, we derive a novel asymptotic model which exhibits similar propagation properties as the classical discrete Fisher-KPP on the one-dimensional lattice $\mathbb{Z}$.

math.AP↗
arXiv2026

Absorption effects in the expanding Universe: spectral transmittance functions of the intergalactic medium for distant sources

We construct two self-consistent analytic approximations to the neutral hydrogen fraction, $x_{\rm HI}(z)$, and the helium ionization fractions, $x_{\rm HeI}(z)$, $x_{\rm HeII}(z)$, and $x_{\rm HeIII}(z)$, that are consistent with current constraints inferred from quasar spectra, galaxy surveys, and CMB polarization measurements. These approximations describe observationally motivated early- and late-reionization scenarios. Using these histories, we analyse the formation of broad absorption troughs in the continuum spectra of high-redshift sources over $1\leq z_{\rm s}\leq15$. We assume that neutral hydrogen and helium in a homogeneous diffuse intergalactic medium reside predominantly in their ground states and absorb radiation through the Lyman-series lines and continua of HI, HeI, and HeII. We compute the wavelength-dependent optical depths for the first 39 Lyman-series lines of HI and HeII, the first 10 lines of HeI, and the corresponding continua, and use them to derive spectral transmittance functions, $T(λ;z_{\rm s})$. As illustrative applications, we apply them to toy-model continuum spectra of starless haloes and to model spectra of a low-metallicity dwarf galaxy at different redshifts. Spectral features in sources at $5\lesssim z_{\rm s}\lesssim7$ caused by intergalactic absorption are found to be particularly sensitive to the adopted hydrogen and helium ionization histories

astro-ph.CO↗
arXiv2026

On the resolution of categorical symmetries in (Non-) Unitary Rational CFTs

We explore several aspects of categorical symmetry-resolved entanglement entropy (SREE) directly within two-dimensional rational conformal field theory (RCFT) (without invoking any SymTFT construction arXiv:2409.02806). We derive a general formula applicable whenever the action of the relevant topological defect lines on the annulus Hilbert space is known. This framework accommodates weakly and strongly symmetric boundaries, cloaking states, and fusion rings with multiplicities. We verify the formula in a range of diagonal unitary and non-unitary examples, including theories with generalized Haagerup-Izumi modular data. Furthermore, we extend the analysis to non-diagonal RCFTs. The $\frac{1}{2}E_6$ example demonstrates that closed-channel modular data and NIM-rep multiplicities alone do not suffice to determine the defect action on the complete open-channel Hilbert space.

hep-th↗
arXiv2026

Deformation and organization of droplet-encapsulated soft beads

Many biological, culinary, and engineering processes lead to the co-encapsulation of several soft particles within a liquid interface. In these situations the particles are bound together by the capillary forces that deform them and influence their biological or rheological properties. Here, we introduce an experimental approach to encapsulate a controlled number of soft beads within aqueous droplets in oil. These droplet-encapsulated gels are manipulated in a deformable microfluidic device to merge them and modify the liquid fraction. In the dry limit the contact surface between the hydrogels is found to be determined by the elastocapillary number $E_c$, with the contact radius following a $E_c^{1/3}$ dependence, indicating that the deformation increases for soft or small particles. When multiple beads are co-encapsulated within a single droplet they can be arranged into linear or three-dimensional aggregates that remain at a local energy minimum.

cond-mat.soft↗
arXiv2026

Verifying Numerical Methods with Isabelle/HOL

Modern machine learning pipelines are built on numerical algorithms. Reliable numerical methods are thus a prerequisite for trustworthy machine learning and cyber-physical systems. Therefore, we contribute a framework for verified numerical methods in Isabelle/HOL based on ITrees. Our user-friendly specification language enables the direct declaration of numerical programs that can be annotated with variants and invariants for reasoning about correctness specifications. The generated verification conditions can be discharged via automated proof methods and lemmas from the HOL-Analysis library. The ITrees foundation interacts with Isabelle's code generator to export source code. This provides an end-to-end path from formal specifications with machine-checked guarantees to executable sources. We illustrate the process of modelling numerical methods and demonstrate the effectiveness of the verification by focusing on two well-known methods, the bisection method and the fixed-point iteration method. We also contribute crucial extensions to the libraries of formalised mathematics required for this objective: higher-order derivatives and Taylor's theorem in Peano form. Finally, we qualitatively evaluate the use of the framework for verifying numerical methods.

cs.LO↗
arXiv2026

Algebraic power scaling in a slowly-quenched bosonic quantum battery

Bosonic modes provide a promising platform for quantum batteries as a result of their unbounded energy spectrum. However, the energy that can be stored during a coherent charging process is limited due to coherent oscillations between the charger and battery. In this work, we show that by introducing a slow quench in the interaction between a coherently driven charger mode and a quadratic oscillator battery, the maximum stored energy and maximum battery power scale algebraically with the quench duration, with exponents controlled by the ramp profile. This finding implies that, quite counterintuitively, slower quenches lead to faster charging. Such a quench suppresses coherent energy oscillations between the battery and the charger, allowing an unbounded increase in power. We further show that, in the ideal closed protocol, the stored energy is fully extractable as ergotropy, while charger dissipation converts the algebraic enhancement into a finite-time scaling window with an optimal quench duration. We also show that the temporal-extensive scaling occurs in a broader context by mapping the system to a coherently driven Tavis-Cummings battery. Finally, we discuss experimentally accessible signatures in superconducting circuit quantum electrodynamics and organic microcavity platforms.

quant-ph↗
arXiv2026

Ensuring Stability of Non-Minimal Modes in Input-Output Data-Driven Representation

Many recent data-driven control approaches for linear time-invariant systems are based on output trajectory prediction using input-output data matrices. The system dynamics described by this predictor, which we refer to as the input-output data-driven representation, yields non-unique autoregressive with exogenous inputs (ARX) models having possibly unstable non-minimal modes. In this note, we show that the stability of these non-minimal modes is ensured by a certain choice of ARX model, which coincides with the minimum-norm least-squares predictor using the Moore-Penrose inverse of the data matrix. This stability guarantee holds regardless of the underlying system's stability. Moreover, the stability persists under sufficiently small noise in data when a suitably truncated Moore-Penrose inverse is used. Consequently, the ARX model need not be reduced to the true system order in order to avoid unstable additional modes.

eess.SY↗
arXiv2026

Diffusion Model in Latent Space for Medical Image Segmentation Task

Medical image segmentation is crucial for clinical diagnosis and treatment planning. Traditional methods typically produce a single segmentation mask, failing to capture inherent uncertainty. Recent generative models enable the creation of multiple plausible masks per image, mimicking the collaborative interpretation of several clinicians. However, these approaches remain computationally heavy. We propose MedSegLatDiff, a diffusion based framework that combines a variational autoencoder (VAE) with a latent diffusion model for efficient medical image segmentation. The VAE compresses the input into a low dimensional latent space, reducing noise and accelerating training, while the diffusion process operates directly in this compact representation. We further replace the conventional MSE loss with weighted cross entropy in the VAE mask reconstruction path to better preserve tiny structures such as small nodules. MedSegLatDiff is evaluated on ISIC-2018 (skin lesions), CVC-Clinic (polyps), and LIDC-IDRI (lung nodules). It achieves state of the art or highly competitive Dice and IoU scores while simultaneously generating diverse segmentation hypotheses and confidence maps. This provides enhanced interpretability and reliability compared to deterministic baselines, making the model particularly suitable for clinical deployment.

cs.CV↗
arXiv2026

Hyperbolic links associated to Hamiltonian subgraphs in simple $3$-polytopes

We build a large family of hyperbolic links with an explicit decomposition of the complement into right-angled hyperbolic polytopes of finite volume. Namely, in a series of papers A.D.Mednykn and A.Yu.Vesnin introduced a construction that for a given right-angled polytope $P$ in geometry $\mathbb L^3$, $\mathbb R^3$, $\mathbb S^3$, $\mathbb L^2\times \mathbb R$, $\mathbb S^2\times \mathbb R$ and a Hamiltonian cycle, theta-subgraph or $K_4$-subgraph $Γ$ in the $1$-skeleton of $P$ builds a geometric $3$-manifold $N(P,Γ)$ with an involution $τ$ such that $N(P,Γ)/\langleτ\rangle\simeq S^3$. The brach set of the corresponding $2$-sheeted branched covering $N(P,Γ)\to S^3$ is a link $C_Γ\subset S^3$ consisting of trivially embedded circles. This construction reformulated in the language of toric topology works for such a subgraph $Γ$ in any simple $3$-polytope $P$ and gives a topological $3$-manifold $N(P,Γ)$. We give a criterion when $S^3\setminus C_Γ$ has a complete hyperbolic structure of finite volume and generalize this criterion to similar links in $3$-manifolds different from $S^3$. We prove that hyperbolic links $C_Γ$ are parametrized by nonselfcrossing Eulerian cycles, Eulerian theta-subgraphs and Eulerian $K_4$-subgraphs in hyperbolic right-angled $3$-polytopes of finite volume in $\mathbb L^3$ with $0$, $2$ or $4$ finite vertices. The complement $S^3\setminus C_Γ$ is glued of $4$, $8$ or $16$ copies of the corresponding right-angled polytope. We give a criterion when the link $C_Γ$ consists of mutually unlinked circles and prove that if such a link is nontrivial, then it contains the Borromean rings. The latter problem is motivated by the Efimov effect in quantum mechanics.

math.GT↗
arXiv2026

Is Vibe Coding Safe? Benchmarking Vulnerability of Agent-Generated Code in Real-World Tasks

Vibe coding is a new software development paradigm in which human engineers prompt a large language model (LLM) agent to complete complex coding tasks with little supervision. Although vibe coding is increasingly adopted, is the generated code really safe to deploy in production? To investigate this question, we propose SUSVIBES, a benchmark consisting of 186 feature-request software engineering tasks from real-world open-source projects, for which, human programmers committed vulnerable implementations. We evaluate 12 widely used coding agentic settings with frontier models on the benchmark. Disturbingly, all agents perform poorly in terms of software security. Although 57% of the solutions from SWE-Agent with Claude 4 Sonnet are functionally correct, only 11.8% are secure. Further experiments demonstrate that preliminary security strategies, such as augmenting the feature request with vulnerability hints, cannot mitigate these security issues. Our findings raise serious concerns about the widespread adoption of vibe coding, particularly in security-sensitive applications. The code and dataset are available at https://github.com/LeiLiLab/susvibes. The leaderboard is at https://leililab.github.io/susvibes-leaderboard.

cs.SE↗
arXiv2026

Exclusive Control of Quantum Memory Erasure

Erasing memory is a fundamental operational task in quantum information processing, governed by Landauer's principle, which links information loss to thermodynamic work. We introduce and analyze assisted quantum erasure, where correlations with a remote system reduce the energetic cost of resetting a memory. We identify exclusive control of erasure as the central operational requirement: only a designated party should be able to achieve the minimal cost, whereas any adversary must fail. In the device-dependent regime, we show that entanglement of formation exactly characterizes exclusivity, establishing entanglement as the decisive thermodynamic resource. Moving to a one-sided device-independent scenario, in which only the memory holder's device is trusted, we develop an operational erasure protocol based on random dephasing and conditional operations. Finally, in a fully device-independent setting, we show how Bell nonlocality and self-testing translate observed violations into lower bounds on any adversary's erasure capability, yielding a device-independent notion of exclusive thermodynamic control. Taken together, these results elevate quantum erasure from a thermodynamic constraint to an operational primitive: the erasure work cost quantifies secure, exclusive control over quantum memory, ensuring that an unauthorized agent cannot fully erase information under a bounded work budget.

quant-ph↗
arXiv2026

On Toeplitz operators on compact Abelian groups and discrete Wiener--Hopf operators

This paper introduces the concept of a rotation number for a continuous, non-degenerate two-dimensional vector field (a zero-free complex-valued function) on a compact connected Abelian group. This concept generalizes the notion of a finite rotation number for such groups, previously introduced by the author. Using this concept, a Gohberg-Krein index formula is derived for semi-Fredholm Toeplitz operators with continuous symbols defined on such groups. Criteria for these operators to be semi-Fredholm are established, and their essential spectra are described. As a by-product for the continuous symbol case, conditions for Fredholmness and semi-Fredholmness are established, and the Fredholm index of Wiener-Hopf operators over a linearly ordered discrete Abelian group is calculated in terms of their symbols. Spectral properties-including the spectra and essential spectra-of the Wiener-Hopf operators under consideration are also described.

math.FA↗
arXiv2026

Factorization envelopes and enveloping vertex algebras

We develop a bornological version of Costello and Gwilliam's procedure for extracting vertex algebras from suitable prefactorization algebras on the complex plane. Using bornological complex analysis, we remove the discreteness condition imposed in their extraction theorem. We then construct, from a suitable Lie conformal algebra, a prefactorization algebra to which this extraction procedure applies, and prove that the resulting vertex algebra is isomorphic to the enveloping vertex algebra of the original Lie conformal algebra. Our construction uses a factorization envelope and extends the construction of Costello--Gwilliam in the affine vertex algebra case and that of Williams in the Virasoro vertex algebra case. Moreover, a super analogue yields new prefactorization algebras corresponding to vertex superalgebras, such as the Neveu--Schwarz vertex superalgebra, the $N=2$ vertex superalgebra, and the $N=4$ vertex superalgebra.

math.QA↗
arXiv2026

Log-concave functions and transformations thereof

I summarize Bagnoli and Bergstrom (2005)'s review on log-concave functions, make several corrections, and augment the discussion with further results that can be useful in establishing monotone hazard rates. I also provide an application to monopoly pricing, where log-concavity of the demand curve implies strict concavity of the revenue function in quantity.

econ.TH↗