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 1,099 records · Page 61Linked to original sources
arXiv2026

Detection of evolutionary shifts in variance under an Ornsten-Uhlenbeck model

Sudden changes in environmental conditions can lead to evolutionary shifts not only in the optimal trait value (theta), but also in the diffusion variance (sigma^2) under the Ornstein-Uhlenbeck (OU) model. While several methods have been developed to detect shifts in optimal values, few explicitly account for concurrent shifts in both evolutionary variance and diffusion variance. We use a multi-optima and multi-variance OU model to describe trait evolution with shifts in both theta and sigma^2, and analyze how covariance between species is affected when shifts in variance occur along the phylogeny. We propose a new method that simultaneously detects shifts in both variance and optimal values by formulating the problem as a variable selection task using an L1-penalized loss function. Our method is implemented in the R package ShiVa (Detection of evolutionary shifts in variance). Through simulations, we compare ShiVa with existing methods that can automatically detect evolutionary shifts under the OU model (l1ou, PhylogeneticEM, and PCMFit). Our method demonstrates improved predictive ability and significantly reduces false positives in detecting optimal value shifts when variance shifts are present. When only shifts in optimal value occur, our method performs comparably to existing approaches. We apply ShiVa to empirical data on floral diameter in Rafflesiaceae (with Euphorbiaceae outgroups) and buccal morphology in Centrarchidae sunfishes.

q-bio.PE↗
arXiv2026

EgoGen: An Egocentric Synthetic Data Generator

Understanding the world in first-person view is fundamental in Augmented Reality (AR). This immersive perspective brings dramatic visual changes and unique challenges compared to third-person views. Synthetic data has empowered third-person-view vision models, but its application to embodied egocentric perception tasks remains largely unexplored. A critical challenge lies in simulating natural human movements and behaviors that effectively steer the embodied cameras to capture a faithful egocentric representation of the 3D world. To address this challenge, we introduce EgoGen, a new synthetic data generator that can produce accurate and rich ground-truth training data for egocentric perception tasks. At the heart of EgoGen is a novel human motion synthesis model that directly leverages egocentric visual inputs of a virtual human to sense the 3D environment. Combined with collision-avoiding motion primitives and a two-stage reinforcement learning approach, our motion synthesis model offers a closed-loop solution where the embodied perception and movement of the virtual human are seamlessly coupled. Compared to previous works, our model eliminates the need for a pre-defined global path, and is directly applicable to dynamic environments. Combined with our easy-to-use and scalable data generation pipeline, we demonstrate EgoGen's efficacy in three tasks: mapping and localization for head-mounted cameras, egocentric camera tracking, and human mesh recovery from egocentric views. EgoGen will be fully open-sourced, offering a practical solution for creating realistic egocentric training data and aiming to serve as a useful tool for egocentric computer vision research. Refer to our project page: https://ego-gen.github.io/.

cs.CV↗
arXiv2026

Human Responses to Algorithmic Correction: Evidence from Centre Court

We study how algorithmic review changes error composition using Hawk-Eye records from professional tennis. Within 20 mm of the line, mistaken "in" call rates increase by 8.6 percentage points, while mistaken "out" call rates decrease by 4.1 points. Within matches, calls shift toward avoiding previously overturned errors. We find no evidence that initial accuracy deteriorates within 100 mm of the line, despite concerns that workers may rely on correction as a safety net. We derive an investment framework incorporating human responses alongside correction benefits and remedy costs, showing that holding human decisions fixed can misstate the organizational returns to review.

cs.LG↗
arXiv2026

The extension of traces for Sobolev mappings between manifolds

The compact Riemannian manifolds $\mathcal{M}$ and $\mathcal{N}$ for which the trace operator from the first-order Sobolev space of mappings $\smash{\dot{W}}^{1, p} (\mathcal{M}, \mathcal{N})$ to the fractional Sobolev-Slobodecki\uı space $\smash{\smash{\dot{W}}^{1 - 1/p, p}} (\partial \mathcal{M}, \mathcal{N})$ is surjective when $1 < p < \dim \mathcal{M}$ are characterised. The traces are extended using a new construction which can be carried out assuming the absence of the known topological and analytical obstructions. When $p \ge \dim \mathcal{M}$ the same construction provides a Sobolev extension with linear estimates for maps that have a continuous extension, provided that the known analytical obstructions to such a control are not present.

math.AP↗
arXiv2026

A formal specification of the jq language

jq is a widely used tool that provides a programming language to manipulate JSON data. However, the jq language is currently only specified by its implementation, making it difficult to reason about its behaviour. To this end, we provide a formal syntax and denotational semantics for a large subset of the jq language. In particular, we give a translation from jq programs to lambda terms. Our most significant contribution is to provide a new way to interpret updates that allows for more performant execution. We implement our semantics in two interpreters and evaluate the performance.

cs.LO↗
arXiv2026

On the Existence, Smoothness, and Order-Two Entire Extension of the Navier-Stokes Equations in Critical Fourier-Besov Spaces

We establish global existence, smoothness, and physical energy bounds for solutions to the incompressible Navier-Stokes equations on $\mathbb{R}^d$ ($d \ge 3$) under a scaling-critical smallness condition in the homogeneous Fourier-Besov spaces $\mathscr{X}_p(\mathbb{R}^d)$, defined as the weak space $F \dot{B}^{\frac{d}{p'}-1}_{p,\infty}(\mathbb{R}^d)$ for $1 < p \le \infty$ and $F \dot{B}^{-1}_{1,1}(\mathbb{R}^d)$ at the endpoint $p = 1$. By combining the nonassociative algebra of Riesz convolutions and spaces of functions dominated by Fourier-Caloric flows $\mathscr{V}(λ)$ with a Littlewood-Paley dyadic atomic decomposition, we prove that the Catalan Picard series converges globally whenever $\|\widehat{u^0}\|_{\mathscr{X}_p(\mathbb{R}^d)} < Cν$. This threshold reaches the sharp boundary of well-posedness prior to norm inflation, strictly improves upon the classical Fujita-Kato $\dot{H}^{\frac{d}{2}-1}(\mathbb{R}^d)$ condition, and admits explicit multiscale Schwartz initial data with arbitrarily large $\dot{H}^{\frac{d}{2}-1}(\mathbb{R}^d)$ and $H^k(\mathbb{R}^d)$ norms. Furthermore, we demonstrate that for positive times, the velocity and pressure fields admit an analytic extension to the complex domain $\mathbb{C}^d$, forming a smooth curve of entire vector fields of order two. Finally, for arbitrary initial data outside the critical ball, we employ fractional Riesz convolutions $*_α$ ($0 < α< 1$) to derive an explicit lower bound $T_{\max}(u^0) > 0$ on the lifespan of smooth, order-two entire solutions, establishing a sharp dichotomy between global continuation via viscous re-entry into the critical ball and a scaling-invariant lower blow-up rate.

math.AP↗
arXiv2026

Approaching the Landauer Bound without Slowing Down

Finite-time memory erasure is conventionally understood to incur an additional energy cost beyond the Landauer bound. Whether this bound can be approached without taking the infinite-time limit remains open. Based on a quantum speed limit, we identify coherence between degenerate states as a resource that allows the Landauer bound to be approached at a finite operation time. For both the $2N$-state and collective spin models, we show that the minimum dissipated heat and the heat generated by continuous protocols approach the Landauer bound at finite operation times, with the corresponding finite-time penalty scaling inversely with system size. We further validate these theoretical predictions numerically for systems coupled to the Ohmic bosonic heat bath with various driving protocols. Our results reveal that operation time is a substitutable resource for approaching the fundamental thermodynamic bound of information erasure.

quant-ph↗
arXiv2026

A Bregman-Sinkhorn Algorithm for the Maximum Weight Independent Set Problem

We propose a scalable approximate algorithm for the NP-hard maximum-weight independent set problem, based on dual coordinate descent applied to a smoothed clique-cover LP relaxation. Our method, a variant of the Bregman/Sinkhorn algorithm, employs entropy smoothing with a novel duality-gap-based smoothing scheduling strategy that empirically outperforms standard feasibility scheduling for the relaxed problem. Our new projection to the primal feasible set enables accurate duality gap estimation. Combined with a basic primal heuristic leveraging reduced costs, our approach yields high-quality integer solutions. On real-world datasets, it efficiently finds high-quality approximate solutions for graphs with up to 882,000 nodes and 344 million edges within seconds.

math.OC↗
arXiv2026

$SLE_6$ and 2-d critical bond percolation on the square lattice

Through the rotational invariance of the 2-d critical bond percolation exploration path on the square lattice we express Smirnov's edge parafermionic observable as a sum of two new edge observables. With the help of these two new edge observables we can apply the discrete harmonic analysis and conformal mapping theory to prove the convergence of the 2-d critical bond percolation exploration path on the square lattice to the trace of $SLE_6$ as the mesh size of the lattice tends to zero.

math.PR↗
arXiv2026

Valuation Model of Chinese Convertible Bonds Based on Monte Carlo Simulation

We tackle the problem of pricing Chinese convertible bonds(CCBs) using Monte Carlo simulation and dynamic programming. At each exercise time, we use the state variables of the underlying stock to regress the continuation value, and apply standard backward induction to get the coefficients from the current time to time zero. This process ultimately determines the CCB price. We then apply this pricing method in simulations and evaluate an underpriced strategy: taking long positions in the 10 most undervalued CCBs and rebalancing daily. The results show that this strategy significantly outperforms the benchmark double-low strategy. In practice, CCB issuers often use a downward adjustment clause to prevent financial distress when a put provision is triggered. Therefore, we model the downward adjustment clause as a probabilistic event that triggers the put provision, thereby integrating it with the put provision in a straightforward manner.

q-fin.PR↗
arXiv2026

Foundations on k-contact geometry

$k$-Contact geometry is a generalisation of contact geometry to analyse field theories. As a main goal, we develop an approach to $k$-contact geometry based on distributions that are distributionally maximally non-integrable and admit, locally, $k$ commuting supplementary Lie symmetries: the $k$-contact distributions. More specifically, we investigate the existence of Reeb vector fields for $k$-contact distributions, $k$-contact Lie groups are defined and studied, and, after analysing compact manifolds, a Weinstein conjecture for a product of $k$ compact contact manifolds is discussed. Polarisations for $k$-contact distributions are introduced and it is shown that a polarised $k$-contact distribution is locally diffeomorphic to the Cartan distribution of the first-order jet bundle over a fibre bundle of rank $k$. We relate $k$-contact manifolds to presymplectic and $k$-symplectic manifolds on fibre bundles of larger dimension and define types of submanifolds in $k$-contact geometry. We study Hamilton--De Donder--Weyl equations on $k$-contact Lie groups. A theory of $k$-contact Hamiltonian vector fields is developed, and we describe characteristics of Lie symmetries for first-order partial differential equations in a $k$-contact Hamiltonian manner. We use our techniques to analyse Hamilton--Jacobi and Dirac equations, types of Engel and Goursat distributions, physical problems, and control systems. The work also presents introductory results so as to make it more self-contained.

math.DG↗
arXiv2026

Submersion constructions for geometries with parallel skew torsion

In the absence of a de Rham decomposition theorem for geometries with torsion, we develop and unify ways to view a geometry with parallel skew torsion as the total space of a locally defined, not necessarily unique Riemannian submersion with totally geodesic fibers. We complete and extend the Cleyton-Swann classification of irreducible such geometries and characterize the cases where the stabilizer of the torsion is larger than the holonomy. As a byproduct, we obtain structure results on Gray manifolds, nearly parallel G$_2$-manifolds and Sasaki manifolds with reducible holonomy.

math.DG↗
arXiv2026

Necessary and sufficient conditions for universality limits

We derive necessary and sufficient conditions for universality limits for orthogonal polynomials associated to a fixed measure on the real line and related systems. One of our results is that the Christoffel--Darboux kernel has sine kernel asymptotics at a point $ξ$, with regularly varying scaling, if and only if the orthogonality measure (spectral measure) has a unique tangent measure at $ξ$ and that tangent measure is the Lebesgue measure. All previously known cases of sine kernel asymptotics, with absolutely continuous or singular measures, have regularly varying scaling. Our work is not limited to bulk universality; we show that the Christoffel--Darboux kernel has a regularly varying scaling limit with a nontrivial limit kernel if and only if the orthogonality measure has a unique tangent measure at $ξ$ and that tangent measure is not a point mass. The possible limit kernels correspond to homogeneous de Branges spaces; in particular, this equivalence completely characterizes several prominent universality classes such as hard edge universality, Fisher--Hartwig singularities, and jump discontinuities in the weights. A key ingredient in the proof is a new correspondence between measures and chains of de Branges spaces, not between Weyl functions and Hamiltonians. In order to handle limits with power law weights, this correspondence goes beyond the more common setting of Poisson-finite measures, and allows arbitrary power bounded measures.

math.CA↗
arXiv2026

MARLIN: Multi-Agent Reinforcement Learning Guided by Language-Based Inter-Robot Negotiation

Multi-agent reinforcement learning is a key method for training multi-robot systems. Through rewarding or punishing robots over a series of episodes according to their performance, they can be trained and then deployed in the real world. However, poorly trained policies can lead to unsafe behaviour during early training stages. We introduce Multi-Agent Reinforcement Learning guided by language-based Inter-robot Negotiation (MARLIN), a hybrid framework in which large language models provide high-level planning before the reinforcement learning policy has learned effective behaviours. Robots use language models to negotiate actions and generate plans that guide policy learning. The system dynamically switches between reinforcement learning and language-model-based negotiation during training, enabling more effective exploration. MARLIN is evaluated using both simulated and physical robots with local and remote language models. Results show that, compared to standard multi-agent reinforcement learning, the hybrid approach achieves higher performance in early training with limited impact on the final performance. The code is available at https://github.com/SooratiLab/MARLIN.

cs.RO↗
arXiv2026

Explorable Parity Automata

We define the class of explorable automata on finite or infinite words. This is a generalization of History-Deterministic (HD) automata, where this time non-deterministic choices can be resolved by building finitely many simultaneous runs instead of just one. We show that recognizing HD parity automata of fixed index among explorable ones is in PTime, thereby giving a strong link between the two notions. We then show that recognizing explorable automata is ExpTime-complete, in the case of finite words or parity automata up to index [0, 2]. Additionally, we define the notion of ω-explorable automata on infinite words, where countably many runs can be used to resolve the non-deterministic choices. We show ExpTime-completeness for ω-explorability of automata on infinite words for the safety and coBüchi acceptance conditions. We finally characterize the expressivity of (ω-)explorable automata with respect to the parity index hierarchy.

cs.FL↗
arXiv2026

An exact column generation algorithm for load balancing in capacity sharing networks

Capacity sharing networks are typical heterogeneous communication networks widely applied in information and communications technology (ICT) field. In such networks, resources like bandwidth, spectrum, computation and storage are shared among various communication services. Meanwhile, the issue of network congestion is always a prominent challenge. To handle network congestion essentially needs to solve the load balancing of networks. In this paper, for capacity sharing networks, we formulate their load balancing problem as a maximum multi-commodity flow problem. For such a problem, always a large-scale linear programming, the column generation algorithm is a commonly used and crucial method to solve it. In each iteration, this algorithm involves solving a linear programming subproblem and determining whether to terminate or generate a new column for inclusion in the subproblem. This iterative procedure of solving and checking continues throughout the algorithm. Nevertheless, since the checking subproblem is NP-hard, its solution significantly impacts the overall efficiency of the algorithm. In this paper, we innovatively convert the checking subproblem into a single-constrained shortest path (SCSP) subproblem. By exactly solving the SCSP subproblem, we can obtain the optimal solution to the checking subproblem with same or less computing time. Experimental results demonstrate that our algorithm achieves computational efficiency comparable to heuristic algorithms while outperforming other state-of-the-art algorithms by at least an order of magnitude.

math.OC↗
arXiv2026

Community detection with the Bethe-Hessian

The Bethe-Hessian matrix, introduced by Saade, Krzakala, and Zdeborová (2014), is a Hermitian matrix designed for applying spectral clustering algorithms to sparse networks. Rather than employing a non-symmetric and high-dimensional non-backtracking operator, a spectral method based on the Bethe-Hessian matrix is conjectured to also reach the Kesten-Stigum detection threshold in the sparse stochastic block model (SBM). We provide the first rigorous analysis of the Bethe-Hessian spectral method in the SBM under both the bounded expected degree and the growing degree regimes. Specifically, we demonstrate that: (i) When the expected degree $d\geq 2$, the number of negative outliers of the Bethe-Hessian matrix can consistently estimate the number of blocks above the Kesten-Stigum threshold, thus confirming a conjecture from Saade, Krzakala, and Zdeborová (2014) for $d\geq 2$. (ii) For sufficiently large $d$, its eigenvectors can be used to achieve weak recovery. (iii) As $d\to\infty$, we establish the concentration of the locations of its negative outlier eigenvalues, and weak consistency can be achieved via a spectral method based on the Bethe-Hessian matrix.

math.ST↗
arXiv2026

Using sequence data to study spatial scales of interactions driving spread of Highly Pathogenic Avian Influenza in Great Britain

H5N1 highly pathogenic avian influenza (HPAI) has been recently circulating in previously unseen patterns. As the underlying causes are uncertain, we need a better understanding of the drivers of virus circulation, as they underpin the spread, and inform about the impact of HPAI. We combine infection and bird population data, using Random Forest models to quantify the relationship between spatially aggregated values of possible infection risk factors and viral phylogenetic data from HPAI outbreaks to define scales of interactions that influence virus circulation. As genetic proximity is correlated to transmission proximity, the genetic relationships of sequences and relevant variables indicate the scale and resolution of interactions driving transmission. We used H5N1 Sequences from Great Britain divided into two periods: Dec 2020-May 2022, and Jun 2022-Oct 2024. Final model with selected spatial scales shows that for the first period various wild bird abundance variables were the strong predictors of genetic distance, and for the second period, these were geographical distance, and collection date. Variables related to infections have different spatial scales for analysed periods, while variables describing the environment have more consistent scales. The differences in predictors for the periods bears further investigation, however may be related to differences in the virus, areas of spread, or seasonal factors. This is the first phylogenetic study indicating possible role for game birds in the circulation of HPAI and supports experimental studies but must be viewed with caution as our study does not indicate direct causation. We show that the scale of spatial aggregation is variable dependent and reflects the scale of underlying processes. In the future our findings may be used to study dynamics of HPAI and design targeted surveillance and intervention strategies.

q-bio.PE↗