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

Primordial non-Gaussianity in warm $k$-inflation with nonminimal derivative coupling

This paper derives the finite-inertia intrinsic thermal bispectrum in potential-free warm $k$-inflation with nonminimal derivative coupling (NMDC). On a fixed Friedmann--Lema\^ıtre--Robertson--Walker geometry, the complete cubic inflaton action determines the nonlinear stochastic source, encompassing temporal, spatial-gradient, and field-dependent kinetic interactions. The retarded solution captures the full momentum-triangle dependence while retaining unequal-time correlations, whereas its equilateral limit yields the intrinsic nonlinearity parameter. The power spectrum is computed with the same response and Gaussian initial state, thereby fixing the statistical normalization. A complementary local freeze-out reduction makes the interaction coefficients and two geometric shape contributions explicit. Comparison along an evolving near-attractor trajectory indicates that unequal-time finite-inertia propagation is crucial for quantitatively predicting the intrinsic bispectrum. The analysis also derives the slow-roll-suppressed nonlinear $δN$ conversion, together with the Arnowitt--Deser--Misner constraints and cubic vertices that characterize the direct gravitational effects of NMDC. These results clarify the respective roles of local freeze-out estimates and finite-inertia stochastic evolution in the nonlinear prediction.

gr-qc↗
arXiv2026

Fast and Reliable Open-Vocabulary Object Search with Absence Detection from Robot Memory

Mobile manipulators deployed in everyday human environments, such as homes for assistive care or flexible automation, often need to locate specific objects on demand from accumulated observations. Equally important, they must reliably determine when a target is absent before committing to navigation or interaction. Existing approaches demand either slow exhaustive re-processing or expensive 3D representations, and are evaluated on recall and accuracy rather than specificity, leaving their ability to abstain on missing targets unmeasured. We find existing systems that search using text or visual embedding almost never abstain on absent objects achieving at most 9\% specificity. To support accurate search at speed, we present a two-stage architecture that decouples fast candidate retrieval from verified selection, enabling both high recall and reliable absence detection from sequential RGB observations with pose. We evaluate eight retrieval-selection configurations plus an exhaustive search baseline across ScanNet apartment scenes, including significant numbers of absent objects. Adding a visual verification step to caption-based retrieval matches or exceeds exhaustive search reliability while requiring an order of magnitude fewer detector calls. We reproduce ScanNet scores on a physical robot operating entirely on-board with a single consumer GPU running in real time.

cs.RO↗
arXiv2026

Transparency in Team Contracts

In contract design, the principal is often better informed about the project's chances of succeeding than the agents. To incentivize effort, the principal has two main tools: first, to design a contract, sharing part of the project's success among the agents; second, to design a (Bayesian) persuasion scheme, selectively sharing information with the agents. In this work we are interested in the optimal combination of both these tools. We tackle the joint problem through the prism of simplicity vs. optimality, and establish a stark dichotomy: The simple disclosure scheme of full transparency achieves a tight $4/3$-approximation to the optimal combination of information disclosure and team contract, when the team's production function is submodular. In contrast, full transparency can be arbitrarily far from optimal when production is supermodular. The techniques that we develop to bound the gap for submodular functions, also yield a new deterministic polynomial-time approximation algorithm for pure multi-agent contract design, with a significantly improved approximation ratio of $2.311$, and thus a $3.081$-approximation algorithm for the joint information and contracting problem.

cs.GT↗
arXiv2026

Learning Multi-Agent Orchestration:Higher-Order Interactions in Policy Improvement

Learned orchestration has emerged as a promising paradigm for large language model (LLM)-based multi-agent systems, in which a central orchestrator selects agents and controls the information they receive throughout a task. Despite rapid empirical progress, existing methods train the orchestrator by crediting each decision with its own advantage, implicitly assuming that the other decisions in the episode stay fixed. This assumption fails in orchestration, where the contribution of each decision to the final outcome depends on the decisions preceding it, so the gain of a joint update is not the sum of its per-decision effects. To address this challenge, we introduce \textbf{IAPO}, an interaction-aware policy optimization framework that explicitly accounts for interactions among decisions. Specifically, IAPO exactly decomposes the performance difference between two policies into the effects of individual decisions and their interactions, which we prove can account for half of the attainable gain, and then optimizes both from sampled trajectories while certifying that every update is an improvement. On long-input versions of GSM8K, MATH, DROP, MBPP and HumanEval, against fifteen published multi-agent and workflow-search systems on the same 7B executor, IAPO's deployed plans reach the strongest system's accuracy with fewer tokens, and removing the interaction term costs 7 to 17 points of accuracy on code.

cs.LG↗
arXiv2026

ZYFA: Speed and Accuracy of FP8 FlashAttention on AMD CDNA4

Attention is a core building block of frontier models and often dominates compute-bound prefill at long context. FP8 matrix instructions offer twice the peak throughput of BF16, but they accelerate only matrix multiplication, and the softmax between the two matrix multiplications of attention runs on vector units that FP8 does not accelerate. On the AMD Instinct MI355X, the vendor's AITER kernels reach 39% of peak FP8 matrix throughput at 32K tokens, compared with 49% in BF16. Attention is also more numerically sensitive to quantization than feed-forward layers, and unlike NVIDIA's Hopper and Blackwell GPUs, the MI355X does not track the completion of matrix instructions in hardware, so overlapping the softmax with the matrix multiplications depends on instruction order. We present ZYFA, prefill kernels for the MI355X built on three techniques: (1) computing each FP8 probability directly from its score with a multiply-add and an integer conversion instead of an exponential; (2) a ping-pong schedule in which one group of threads computes its softmax while another executes its matrix multiplications; and (3) scaling each block of probabilities up by a power of two before rounding, and normalizing by the sum of the rounded probabilities. On attention inputs captured from three models and timed at sustained clock speeds, ZYFA achieves 1.16-1.76x the throughput of AITER. On the Gaussian inputs of kernel benchmarks at 32K tokens, it achieves 1.26-1.37x at head dimension 128 and 1.99x for DeepSeek-style multi-head latent attention. The sustained clock of the MI355X depends on operand values, so throughput on random inputs does not reliably predict throughput on real model activations. At head dimension 128, ZYFA's numerical error is within a few percent of that of Composable Kernel and Triton and 62-78% lower than that of AITER's. The source code is available at https://github.com/Zyphra/zyfa.

cs.DC↗
arXiv2026

Distinguishing invariants of Cayley Graphs, Hamming graphs, and wreath product actions

Let $Γ$ be a nontrivial group that acts on a graph $G=(V,E)$. The total distinguishing number $D''_Γ(V\cup E)$ (distinguishing index $D'_Γ(E)$) of the action is the least number of labels required for a total labeling (edge labeling) of $G$ so that the only elements of $Γ$ that preserve the labeling belong to the pointwise stabilizer of $V\cup E$ (pointwise stabilizer of $E$). We obtain upper bounds of these invariants for Cayley graphs and under various group actions, including free actions, wreath product actions, and coordinatewise actions on Cartesian powers of graphs. Our first main result shows that, if $Γ$ acts faithfully on $G$, with $|V|\geq 2, |E|\geq 1$ and the natural action of the wreath product $W=Γ\wr S_k$ on $V^k$ induces an action of $W$ on the Cartesian power $G^{k}=(V^{k},E_k)$, then $ D''_{W}(V^k\cup E_k)\le D''_Γ(V\cup E)+k-1 $ for any $k\geq 2$. We also establish the sharpness of several of our bounds through examples involving cyclic, symmetric, and alternating groups. Moreover, we determine these distinguishing invariants for the symmetric group action on Hamming graphs.

math.CO↗
arXiv2026

Degree-Equalized View-Graph Selection under Tight Pair Budgets

Fully matching all image pairs in Structure-from-Motion is quadratic in the number of images, so practical pipelines pass a budgeted subset to the final matching and reconstruction backend. One-shot selectors score candidates with image retrieval, cheap geometric probes, or a learned prior and finalize B pairs before full matching. Their priorities do not account for the degree already allocated to each image, which can concentrate edges on a few images. Across nine large 1DSfM internet photo collections at B=2N, the coverage top-B selector leaves 54% of covered images with realized degree at most two. Reconstruction can then fail even when the selected graph is nearly connected and almost fully verified. Our training-free greedy rule, Degree-Equalized Allocation (DEAL), exponentially downweights pairs whose endpoints are already well covered. On these collections, DEAL improves the one-shot selector built on the same prior (from 0.776 to 0.929) and matches the mean registered-image ratio of an SfM-supervised edge prior under the shared backend (0.929 vs 0.930), without training. On the largely saturated 38-scene standard benchmark suite, DEAL gives the highest mean among the evaluated training-free selectors (0.875 vs 0.858 one-shot).

cs.CV↗
arXiv2026

The residual map as a stratified fibration over the resonance arrangement

Given a stratum $\mathcal{H}(μ)$ of meromorphic one-forms on a Riemann surface with prescribed orders of zeros and poles, the residual map assigns to each differential the collection of its residues at the poles. In this paper, we prove that the residual map is a locally trivial topological fibration over each open flat of the stratification induced by the resonance arrangement. To give an algebro-geometric proof of this result, we introduce a refined compactification of the projectivized stratum $\mathbb{P}\mathcal{H}(μ)$, namely the moduli space of residue-aligned multi-scale differentials $\operatorname{RAMS}(μ)$. We prove that the projectivized residual map extends to $\operatorname{RAMS}(μ)$ as a stratified fibration over the projectivized resonance arrangement, thereby yielding a resolution of the projectivized residual map. This approach naturally extends to the analogue of the residual map for strata of $k$-differentials. Complementing the algebro-geometric approach, we also develop a flat-geometric point of view. In genus zero, each isoresidual fiber carries a canonical higher-dimensional analogue of a translation structure. These fibers admit a metric completion whose boundary has a modular interpretation in terms of the WYSIWYG compactification, for which we provide explicit local models. Isoresidual fibers admit a polyhedral cell decomposition whose geometry varies linearly with the underlying configuration of residues in period coordinates. Degenerations of these cells occur precisely when resonance conditions are satisfied, providing a geometric proof that the residual map is a stratified fibration. Finally, certain isoresidual fibers admit natural interpretations as Hurwitz spaces of branched covers, yielding unexpected homeomorphisms between moduli spaces of covers with prescribed ramification profiles.

math.GT↗
arXiv2026

Algebraic representation of General Relativity in harmonic gauge

We present a self-contained coordinate-matrix formulation of General Relativity in the harmonic gauge, providing a compact, index-free representation of the gravitational field equations within the algebra of $4\times 4$ real matrices $M_4$. By defining musical isomorphism operators ($\sharp, \flat$), metric adjoints ($\dagger$), and matrix-valued derivative vectors ($\bm{\mathcal{B}}, \bm{\mathcal{C}}, \bm{\mathcal{D}}^\sharp$), the Ricci tensor is recast into an algebraic matrix structure dominated by the Laplace--Beltrami operator $\Box_{\mathrm{LB}} \coloneqq \operatorname{tr}(\mathcal{G}^\sharp \partial^2)$, where $\partial^2 \coloneqq \bm{\partial}\bm{\partial}^T$ represents the matrix Hessian operator of second partial derivatives. Within this setting, Einstein's field equations naturally take the form of a non-linear wave equation for the metric matrix $\mathcal{G}$, giving rise to an index-free matrix representation of the gravitational energy-momentum pseudotensor $\bar{\mathcal{T}}$. We derive the explicit algebraic relation connecting $\bar{\mathcal{T}}$ with the classical Landau--Lifshitz energy-momentum complex $\mathcal{T}_{\mathrm{LL}}$, and express the associated local conservation law in a simple matrix divergence form, $\bm{\partial}^T \left((-g)(\mathcal{T}^{\sharp} + \mathcal{T}_{\mathrm{LL}}^{\sharp})\right) = \bm{0}^T$. Finally, we illustrate the scope and applicability of the matrix formalism through three physical applications: weak-field linearized gravity, the exact derivation of Friedmann cosmological dynamics in harmonic time, and the complete formulation of linear scalar cosmological perturbations in both the Newtonian and harmonic gauges.

gr-qc↗
arXiv2026

Interfacial polarity control of anomalous Hall effect in LaCoO3-SrIrO3 heterostructures

Interfacial polarity in oxide heterostructures can drive robust charge redistribution across the interface, yet its role in tailoring topological transport phenomena like the anomalous Hall effect (AHE) remains largely unexplored. Here, we control the sign of polarity-induced charge in SrIrO3-LaCoO3 interfaces by independently engineering the layer stacking sequence and the atomic termination. In-situ angle-resolved photoemission spectroscopy directly confirms the sign reversal of the induced charge in SrIrO3 through the contrasting electronic band shifts between different interfacial configurations. Magneto-transport measurements across a systematic matrix of four distinct heterostructures reveal that the AHE can be cleanly toggled on and off: it emerges exclusively under electron-doped conditions, while remaining suppressed for hole-doped SrIrO3. Our results establish that this response originates from an intrinsic, Berry-curvature-driven mechanism governed by polarity-controlled band filling of SrIrO3. These findings shift interfacial polarity from a passive structural consequence to an active design variable for engineering topological quantum states in oxide heterostructures.

cond-mat.str-el↗
arXiv2026

Strict unimodality without log-concavity for partial Petrial polynomials

For a simple graph $G$, the partial Petrial polynomial $P_G^{\times}(z)$ enumerates all diagonal perturbations of its adjacency matrix over $GF(2)$ by rank. We derive a rooted attachment identity and apply it to the tree $R_m$ obtained by joining a new vertex to the middle vertex of each of $m$ disjoint copies of the five-vertex path. We prove that the nonzero coefficient sequence of $P_{R_m}^{\times}(z)$ is strictly unimodal for every $m\ge1$, but is log-concave if and only if $1\le m\le3$. Thus the $21$-vertex tree $R_4$ provides an explicit strictly unimodal, non-log-concave example. For $m\ge5$, the unique mode occurs at degree $\lfloor(149m+85)/32\rfloor$. More generally, for any fixed path rooted at an internal vertex, joining a new vertex to the roots of sufficiently many disjoint copies produces a tree whose partial Petrial polynomial is not log-concave.

math.CO↗
arXiv2026

Simulation Modeling and Control of an Elastic Shaping Antagonistic Variable Stiffness Actuator

Position--stiffness regulation of antagonistic variable stiffness actuators (VSAs) involves coupled nonlinear dynamics, parameter uncertainty, and feedback states that are not directly measured. This paper addresses this challenge through a simulation-based workflow that integrates elastic shaping, model verification, and layered nonlinear control. This study builds on a previously developed actuator comprising two crossed four-bar compliant transmission elastic units. Its optimized elastic mapping provides the structural basis, with an ADAMS torque-curve root mean square error (RMSE) of $2.57\,\mathrm{N\!\cdot\!mm}$ against the target. A control-oriented analytical model is implemented in Simulink and compared with the independently executed ADAMS model under matched inputs. The maximum joint-angle RMSE across the tested cases is $4.66\times10^{-3}\,\mathrm{rad}$. A layered controller combines extended Kalman filtering for state reconstruction, feedback linearization for nominal decoupling, and adaptive sliding-mode control for residual compensation. At the end of the nominal simulation, the joint-angle error is approximately $3.14\times10^{-5}\,\mathrm{rad}$. The stiffness error is $3.07\,\mathrm{N\!\cdot\!mm/rad}$ relative to a target of $50\,\mathrm{N\!\cdot\!mm/rad}$. Parameter-variation and ablation tests assess tracking performance and the effects of the controller modules within the evaluated conditions. The resulting workflow links structural-response modeling, state estimation, and robust control assessment, supporting repeatable comparisons beyond nominal tracking alone.

eess.SY↗
arXiv2026

Object ideals and idempotent completeness

We construct an idempotent complete Frobenius exact category with an idempotent complete stable category in which a complete ideal cotorsion pair of object ideals induces a cotorsion pair of objects that fails to be complete. This gives a negative answer to the question of Fu, Guil Asensio, Herzog and Torrecillas under idempotent completeness. The construction uses a lemma on dense triangulated subcategories and an example of Bondarko and Sosnilo in which a weight structure fails to extend to the idempotent completion. The induced cotorsion pair is hereditary, and every object admits an ordinary precover from its left class and an ordinary preenvelope into its right class. We characterize which objects admit special precovers and which admit special preenvelopes.

math.CT↗
arXiv2026

Memory Fit: Architectural Support for Page Placement by Learning Models of Good Behavior

Server main memory is increasingly heterogeneous, incorporating technologies such as zswap, CXL memory expanders, and emerging phase-change memories (PCM). To decide where to place pages, operating systems have to choose between efficient but coarse-grained access bits, out-of-band profiling, or costly runtime instrumentation. This paper proposes memory fit, a hardware abstraction that provides precise and accurate page placement information to an operating system. Memory fit measures how well a page "fits" each type of memory in the system. Memory fit separates the mechanism of measuring affinity between pages and memories from the OS policy of choosing which pages to move when. The paper describes soft trace matching (STM), a computationally and space efficient algorithm to compute memory fit. The key technical insight behind STM is that it can estimate memory fit by comparing accesses to a page with a learned model of "good" traces for a memory. We have implemented memory fit and STM in a BOOMv3 RISC-V processor running Linux 6.6. On extended GUPS, memory fit placements recover 2.2-3.8 times as much of the performance gap to optimal placement as Linux TPP. For Redis with equal DRAM and PCM capacities, placements selected by memory fit recover 80% of the performance gap, versus 19% for TPP, in a placement replay. Memory fit requires only 64 bits of state per 4 KiB page and can be updated on every main-memory access with only a 1.2% overhead of OS kernel notification processing.

cs.OS↗
arXiv2026

The Chow ring of a wonderful compactification

The theory of wonderful compactifications provides a common framework encompassing the constructions of important varieties such as the Fulton-MacPherson configuration spaces, the moduli space of $n$-pointed stable rational curves, and the De Concini-Procesi models of subspace arrangements, and, more generally, of smooth compactifications in which the subvarieties in a building set are replaced by a simple normal crossings boundary divisor. We give a presentation of the Chow ring of a wonderful compactification, assuming only that the Chow ring of the ambient variety surjects onto that of each subvariety in the induced arrangement. Our results recover and extend many previously known presentations and apply to a broad range of new examples.

math.AG↗
arXiv2026

Scale-Invariant Three-Component Dark Matter and Gravitational Wave Signals

We study a classically scale-invariant extension of the Standard Model (SM) with four new fields in a hidden sector: a complex scalar $S$, two Dirac fermions $ψ^{1,2}$ and the gauge boson $V_μ$ of a new $U(1)_D$ symmetry. The scalar $S$ couples to the SM through the Higgs portal. We identify regions of parameter space in which $V_μ$, $ψ^1$ and $ψ^2$ are all stable, giving a three-component dark matter (DM) scenario. The model is classically scale invariant, and the electroweak symmetry breaks because of the loop effects. We impose the observed relic density and current direct detection bounds, and then study the finite temperature effective potential. For a benchmark point, we find a first-order phase transition and compute the resulting gravitational wave (GW) spectrum, which we compare with the projected sensitivities of space-based interferometers. Although the viable parameter space is small, it can be probed by future experiments.

hep-ph↗
arXiv2026

Enhancing Repository-Level Code Completion with Reinforcement Learning in Real-World Scenarios

The rapid development of large language models (LLMs) for code, which closely aligns with the practical needs of real-world software development, has sparked growing attention in repository-level code completion. However, existing Code LLMs present challenges in focusing on suitable contexts from the repository and in deeply reasoning about cross-file dependencies. To address these challenges, we propose a novel reinforcement learning framework for repository-level code completion. To better understand both in-file and cross-file contexts, we employ identifier-driven intent recognition to capture completion intent, thereby improving the model's performance in real-world scenarios. To enhance cross-file reasoning, we propose a reward-driven completion learning to effectively reward in complex repository completion scenarios. To guide LLMs in completing code that aligns with intended functionality and repository context, we introduce a selective-exploration strategy that directs the model to focus on low-confidence, high-reward tokens, promoting the exploration of valuable, underexplored completion patterns. Experimental results show that our approach significantly improves the performance of Code LLMs. The code and the dataset are available at https://github.com/zhenlongDai/RepoCompletion.

cs.CL↗
arXiv2026

Chiral-vibration-induced magnetism and circular dichroism in organic molecules

We investigate the vibrational inverse Faraday effect and transient vibrational circular dichroism in benzene, coronene, and methane at the single-molecule level. We combine density-functional tight-binding calculations with damped normal-mode dynamics. Circularly polarized light excites suitable degenerate infrared-active modes, driving chiral nuclear motion that produces effective magnetic moments. Reversing the pump helicity reverses the vibrational chirality and the sign of the transient dichroic response. These results support a writing-readout scheme in which circularly polarized pumping prepares a chiral vibrational state and transient vibrational circular dichroism probes its handedness. We further examine how molecular symmetry shapes the light-induced chiral response across the three molecular systems. This work provides a valuable platform for exploring all-optical control of magnetism and chiroptical probing at the molecular scale.

cond-mat.other↗