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.
Let $k$ be a field of characteristic zero with $a,b,c\in k^\times$ and let $m\in k\setminus\{0,4abc\}$. We compute the Brauer group of the generalised Markoff surface $ax^2+by^2+cz^2-xyz=m$. We also construct several counterexamples to the integral Hasse principle, which are explained by the Brauer--Manin obstruction.
Following the knot-quiver correspondence, we investigate quiver counterparts of the HOMFLYPT skein relations by interpreting link invariants in terms of holomorphic worldsheets and their multicover contributions. Extending this framework to more general worldsheet geometries, we conjecture that, up to quiver equivalence, the adjacency matrix of the quiver associated with any link in a skein triple admits a block decomposition whose diagonal blocks are quiver adjacency matrices associated with the other two links. We verify this conjecture in numerous examples.
Quench dynamics offer valuable insights to topological matter, wherein the emergent topological phenomena serve as a dynamic probe to the topology of static Hamiltonians. While such a practice has been widely applied to detect the Abelian band topology or the Euler-class topology of band nodes, little is known regarding the quench dynamics of non-Abelian topological insulators in multiband systems, where the intertwining geometry of all eigenstates necessitates the description of noncommutative topological charges. Here we propose a quench protocol for non-Abelian topological insulators, so that the underlying topology can be systematically probed using dynamic signatures. Specifically, we develop a band-projection scheme to extract the gap-resolved topology from dynamic skyrmions in the emergent quasimomentum--time manifolds of the quench processes. These skyrmions are characterized by a series of gap-resolved dynamic Chern numbers, which enable us to reconstruct the full non-Abelian topology of the post-quench Hamiltonian, including the global non-Abelian topological charge and edge-state patterns under the open-boundary condition. Our proposal offers dynamical access to non-Abelian topology in multiband systems, and can be readily implemented using photons or cold atoms.
Drawing on information-theoretic principles and empirical evidence, a proxy for the growth-optimal portfolio of stocks (the benchmark) is constructed and modeled. The derivative of its activity time captures overreactions in trading behavior and follows a fast-moving, quasi-stationary scalar diffusion. The benchmark's log-returns are predicted to follow a Student t distribution with degrees of freedom slightly less than four, and this prediction is tested empirically. With the benchmark as numeraire, the derived model enables benchmark-neutral pricing and hedging.
The internal kinematic and mechanical states of granular flows are difficult to observe or measure, limiting the interpretation of internal particle interactions and their role in flow evolution. In this study, we propose a physics-informed latent conditional flow matching (PI-LCFM) framework for reconstructing complete multivariable flow sequences from partial boundary observations. A variational autoencoder and temporal flow-matching model learn a reusable latent prior over velocity, granular temperature, stress, and solid volume fraction. During inference, boundary-velocity or basal-stress observations and mass- and momentum-conservation constraints guide the latent trajectory through the decoded physical fields, without retraining either model. The results demonstrate that the model accurately reconstructs full spatiotemporal fields from observations containing only 0.3\% of the complete field information, extrapolates beyond the training ranges of inclination and particle number, and recovers key trends in runout scaling, energy evolution, and stress profiles. Compared with a frame-by-frame conditional flow-matching baseline, PI-LCFM reduces the mean velocity-component root-mean-square error by 45.2\%, while observation-guided reconstruction of 500-frame sequences achieves an approximately 44-fold speedup. Physics guidance further improves conservation consistency, supporting the broader potential of this framework for inferring hidden states in particulate systems, with potential applications envisioned in geophysical hazard assessment and industrial process monitoring.
We consider inference on parameters and hypotheses selected using p-values. We provide a simple procedure to decompose a p-value into two components, one for inference and one for selection, that are independent under the null hypothesis. To control the Type 1 error rate conditional on selection of the null hypothesis from randomized p-values, we develop tests motivated by the selective inference approaches of data thinning, fission, and carving. Unlike the typical application of these approaches, however, our tests only make use of the p-values rather than the full data. Furthermore, we construct confidence intervals that attain the nominal conditional coverage and corresponding estimators. In the context of the file drawer problem, the winner's curse, and sequential testing, we show that our proposals offer both theoretical and empirical advantages over existing randomized and non-randomized approaches. Lastly, we apply our methods for selective inference on genetic associations using publicly-available p-values from the UK Biobank.
For many probability measures on $\mathbb{R}^n$, and for $k$ sufficiently smaller than $n$, most $k$-dimensional coordinate marginals are close to product measures. We prove this in two regimes, which notably involve no exchangeability assumptions as in prior theorems of de Finetti type. First, for log-concave measures, the quantitative bound depends on the measure only through the operator norm of its correlation matrix, and $k$ may grow polynomially with $n$. A key ingredient of the proof is a new strengthening of the subadditivity of relative entropy for strongly log-concave measures, which as a byproduct yields sharp bounds in the strongly log-concave case. Second, for a broad class of measures satisfying just a variance inequality much weaker than Poincaré's, $k$ must stay below the sharp threshold $2\log n/\log \log n$. Here the basis of $\mathbb{R}^n$ is fixed a priori, which makes this phenomenon quite different from known Gaussian approximations for low-dimensional projections such as the central limit theorem for convex bodies, although there are remarkable parallels. Insofar as Gaussian approximations are driven by the thin shell property, our results are driven by variance inequalities for additive functions which have appeared in the literature on the Gibbs sampler.
How can an agent handle a real-world task end to end? Frontier models with their own harnesses still fall short on real-world benchmarks: on Terminal-Bench 4.0, GPT-5.6 Sol with Codex resolves 37.3% of the tasks and Claude Opus 5 with Claude Code 51.8%. These tasks fail at the step from reaching a resource to applying it, which we call the last mile to the real world. Existing approaches put the resource within reach but leave the competence to apply it with the caller, so each harness rebuilds that competence. We introduce agent-native primitives, reusable units that equip a resource with a resident LLM that applies it in context and communicates with other primitives, and HEELO (Harness Engineering around Evolving Agent-Native Primitives for the Last Mile to Real-WOrld Tasks), a harness engineering framework that builds each task's harness from a library of such primitives. HEELO composes the primitives a task needs into a task-specific graph, verifies the result against evidence from the environment, revises the primitives a failure implicates, and admits new or improved primitives after validation. We instantiate HEELO with eight primitive families, each built for one kind of task, and evaluate them on more than twenty benchmarks. Dev-Primitives raise Terminal-Bench 4.0 resolution from 37.3% under Codex to 55.5% on the same backbone, Harness Primitives composed per task raise Terminal-Bench 2.0 Pass@1 from 60.0% for the seed harness to 72.2%, Tool Primitives raise ToolBench pass rate from 55.8% to 75.1%, and Navigation Primitives raise GAIA-Text-103 accuracy from 45.6% to 58.3%. On the 46 real-world tasks of our heelo.dev platform, Claude Opus 5.5 with Claude Code and GPT-6.1 Sol with Codex complete 9 each on their own and 39 and 35 when connected to HEELO through our MCP server, with 1.9$\times$ and 2.3$\times$ less time and 1.55$\times$ lower cost per completed task.
For classical-quantum multiple access channels (cq-MACs) with two senders, we give several general expressions for the capacity region, valid for arbitrary sequences of channels. In the case of asymptotically vanishing error ($\varepsilon=0$), the capacity region is expressed in terms of spectral inf-mutual information rates. For every $0\le\varepsilon<1$, the $\varepsilon$-capacity region is expressed in terms of a quantity defined through a linear combination of three alternative hypotheses. In particular, the outer bound of Kubo and Nagaoka (2015) is tight. Our results include the quantum counterpart of the general formula of Han (1998) for the classical MAC. The most important ingredient is the one-shot inner bound of Sen (2021), which we apply to each member of an arbitrary channel sequence.
LiDAR-Inertial-Visual Odometry (LIVO) integrates complementary LiDAR, camera, and IMU measurements to achieve robust state estimation. However, most existing methods assume a fixed relative pose and accurate time synchronization between sensors. Toward modular and heterogeneous robotic systems, this paper presents FREE-LIVO, a tightly coupled odometry method that requires neither a rigid LiDAR-camera rig nor LiDAR-camera time synchronization. The proposed method uses a pretrained image feature matcher to establish correspondences between a camera image and a dense LiDAR intensity image generated from a single LiDAR scan using a generative model. From the resulting 3D point-to-pixel correspondences, we construct reprojection factors that directly constrain LiDAR and camera poses at different acquisition times. These factors are jointly optimized in a single factor graph together with constraints from point cloud registration, visual feature tracking, and the IMU measurements associated with each sensor. On six sequences from the public M3DGR dataset, FREE-LIVO achieves an average absolute trajectory error (ATE) RMSE of 0.45 m without provided LiDAR-camera extrinsic parameters and exhibits minimal accuracy degradation under time synchronization errors of up to 0.5 s. Furthermore, experiments with the LiDAR and camera mounted on separate robots demonstrate that the method can jointly estimate the trajectories of independently moving sensors.
Language agents increasingly work for users on the open Web, and finance is where trusting them is hardest. The data must come from the Web, the strategy lives in the user's head, and correctness depends on time, so an agent can fail silently: a strategy the user never asked for, unverified data, or a backtest that uses the future yields a report as convincing as a correct one. Existing benchmarks close the world somewhere, fixing the task, the data, or the timeline, and thereby remove these failures instead of measuring them. We introduce FINCOSMOS, an open-world evaluation paradigm for agents doing financial work. A simulated user holds a hidden strategy sampled from a compositional grammar and reveals it only when asked. The agent receives no data, so it must acquire data from the Web, build its own backtest under a data cutoff, and deliver verifiable results. Grading needs no reference answer. Programs verify point-in-time correctness and recompute every reported metric, the delivered strategy is checked against the hidden specification, and a run is accepted only when the user is satisfied and none of 15 veto checks fails. Across four coding agents and a model without tools in 150 sessions, no session is accepted: every session that the simulated user signed off fails a program check, and agents raise only 54--64\% of the details they were not told. Human experts attribute 88.33\% of failures to the agents. With FINCOSMOS feedback, an agent with persistent memory learned all ten tasks.
Determining centrality of heavy-ion collisions with high resolution is essential for event-by-event analyses, in particular for net-proton fluctuation measurements aimed at locating the QCD critical point. Supervised machine-learning approaches rely on labels generated by model and therefore inherit the model dependence of the training target. In this work, we propose an unsupervised method to determine collision centrality based on optimal transport. Each collision is represented by its 1-Wasserstein distances to a fixed set of landmark events chosen to cover the measured multiplicity range. A point-cloud network trained by contrastive learning then compresses these distances into a compact event embedding, which is partitioned into equal-size centrality classes. We find that this approach groups events with similar $N_{\rm part}$ and yields a better centrality resolution, quantified by the normalized width of the $N_{\rm part}$ distribution, than the conventional method of cutting on particle multiplicity. The method, however, encounters a bottleneck once realistic kinematic cuts are applied to the particles. We attribute this degraded performance to the loss of distinct features between central and peripheral collisions because of applying kinematic cuts. The application of optimal transport to centrality determination in experimental data, remains an open problem that needs further study.
We consider the category of sheaves on a manifold with microsupport in a singular conic Lagrangian, and more generally microsheaves on the Lagrangian skeleton of a Weinstein manifold with stop, which are equivalent to ind-completions of partially wrapped Fukaya categories. Compact objects in these categories are obtained as wrappings of constructible sheaves with perfect stalks; they correspond to objects built from exact Lagrangians in finitely many steps. We give a microlocal criterion on constructible (micro)sheaves with perfect (micro)stalks which guarantees that the corresponding wrapped sheaves induce integral kernels that preserve compact objects of these categories. This generalizes a result of Gao on Lagrangian correspondences between fully wrapped Fukaya categories.
The formation and dynamics of dissipative solitons are governed by the interplay of dispersion and nonlinearity, alongside the gain-loss balance. While it is known that dispersion orders beyond the conventional second order support stable solitons, the possibility of the creation of dissipative topological solitons in this setting was not explored. Here, we reveal a class of stable dissipative solitons enabled by the pure-high-even-order dispersion (PHEOD), with dispersion orders m=4, 6, 8, and 10. The resulting dissipative topological solitons (DTSs) and moving topological solitons (MTSs) are dark-type structures featuring a zero-amplitude point that separates two CW backgrounds with opposite signs. In particular, the PHEOD solitons feature oscillatory tails, which are not present in the conventional dark states. The linear-stability analysis confirms full robustness of the PHEOD-supported DTSs and MTSs. We also explore collision dynamics of MTSs, whose repulsive interactions are inelastic, leading either to rebound, accompanied by emission of dispersive radiation, or complete fusion. These findings establish PHEOD as a means for the generation of new species of dissipative solitons, and broaden the variety of nonlinear modes available to experimental studies in nonlinear optics.
We study approximate EFX allocations of indivisible chores under nonnegative additive costs. Exact EFX allocations need not exist in general. We develop a polynomial-time algorithm that computes a complete $(3+\varepsilon)$-EFX allocation for any rational $0<\varepsilon\leq1$, improving the previous approximation guarantee from a factor depending on the number of agents to a constant. The algorithm extends to EF$k$X, achieving a $(2+1/k+\varepsilon)$-approximation for every integer $k\geq1$. For instances with relatively few chores, the polynomial-time BRBI algorithm gives stronger guarantees. It finds exact EF$k$X allocations when $m\leq2kn$ and achieves a factor of at most $2-1/k$ when $m\le(3k-1)n$. In particular, $k=1$ and $m\leq2n$ give exact EFX. We further show that the approximation factor \(2+1/k\) is asymptotically tight for our main algorithm. We also construct a four-agent, ten-chore instance in which every complete allocation has EFX approximation factor at least $11/10$, improving upon the $20/19$ lower bound for submodular costs even under additive costs.
Long-horizon role-playing dialogue requires consistent character identity, reliable memory, and context-sensitive interaction. We present a bounded recursive self-improvement (RSI) framework that revises original-character memory, stable persona instructions, and a policy for constructing turn-level prompts. Repair outcomes also inform revisions to the updater's diagnostic rules, edit routing, and candidate selection. We specify the updater as a versioned policy with explicit inputs, editable fields, acceptance gates, and stopping conditions. An internal evaluation covers 50 original characters and five models, with two 100-round conversations per character-model pair: 500 conversations per condition. Across the pooled evaluated replies, the bad-response rate decreases from 14.00% (6,973/49,824) to 4.94% (2,459/49,793), a 9.06-percentage-point reduction and a 64.71% relative reduction. In 600 blinded human comparisons, RSI receives 294 wins, 187 ties, and 119 losses, yielding a 71.19% win rate among decisive judgments. The results support improved aggregate dialogue quality for the complete framework on the internal test distribution.
This paper presents the kinematic modeling and singularity analysis of a three-degree-of-freedom, double four-bar closed-loop quadruped leg mechanism. This leg is essential for transitioning between the two operational modes; therefore, it is examined in both joint and task spaces, leading to the development of its Jacobian matrix, which is vital for designing the gaits required for terrestrial mode and mid-air aerial reconfiguration (for aerial mode). Various gaits are devised for the system's motion in the MATLAB simulation, and their practical implementation on the single-leg test rig is demonstrated.
In this paper, we propose the notion of a \textit{hypermap}, defined as a Riemannian map whose range distribution is tangent to a real hypersurface of a complex space form. This construction leads to a new direction in Riemannian map theory. We establish the fundamental Gauss and Codazzi equations for a hypermap and use them to investigate the extrinsic geometry of its range leaves. In particular, when the ambient complex space form is non-Euclidean, we prove that these leaves cannot be totally umbilical and that their shape operator fails to be parallel. We further incorporate the Hopf condition and define \textit{Hopf hypermap}, thereby obtaining the analog of Hopf hypersurfaces. We also examine the umbilical case and show that an umbilical hypermap cannot exist to a non-Euclidean complex space form. This motivates introducing the \textit{$η$-umbilical hypermap}, which broadens the class of examples for studying the interaction between the range geometry and the ambient complex structure. Finally, we analyze the principal curvatures associated with these hypermaps, including results on their multiplicities and constancy.