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 811 records · Page 45Linked to original sources

TRACE: Interactive Bi-Directional Tracing of Monochrome Cables Amid Clutter

Accurate state estimation (tracing) of Deformable Linear Objects (DLOs) such as cables is a critical challenge for data centers, manufacturing, construction, homes, and surgery, where precise cable management directly impacts operational safety and efficiency. However, resolving the state of multiple monochrome cables amid foreground and background clutter poses challenges due to occlusions, overlap, and ambiguous crossings. We present Two-way Routing And Cable Estimation (TRACE), which combines bi-directional cable tracing with interactive perception primitives-Divergence Push and Cluster Dilation-to actively resolve ambiguities. Evaluation with 110 physical experiments suggests that TRACE can increase the percentage of cable length correctly traced in complex scenarios (with up to 4 cables and 40 crossings) from ~60% with the strongest prior method, HANDLOOM 2.0, to ~90%, outperforming RT-DLO, Nano Banana Pro, and ChatGPT 5.2 as well. For a trial run on a workstation with an NVIDIA GeForce RTX 4090 GPU, the average computation time is 0.4 seconds per cable. Project website: https://trace-paper.github.io/.

cs.RO↗

Existence and Nonexistence of Solutions of Certain type of Nonlinear Differential and Differential-Difference Equations

In this paper, we study the existence, nonexistence, and growth be haviour of solutions of certain nonlinear differential and differential-difference equa tions involving the term fnf'. Using tools from Nevanlinna theory, we establish several nonexistence results for finite-order entire solutions of equations involving ff'. In particular, we describe all the possible entire solutions of the type f2f' in which right hand side involves exponential polynomials. The results obtained by us improve several known results in the literature and we have them demonstrated through illustrative examples.

math.CV↗

A System-Independent Metadynamics Strategy for Reactive Training Data: Application to Gas-Phase Organic Reactions

General-purpose machine-learning interatomic potentials (MLIPs) for organic reactions need to be accurate on both the minimum energy path (MEP) for static evaluation of basic properties and the broader configurational space for simulating reaction dynamics. Existing general datasets for gas-phase organic reactions rely on quasi-static relaxation that confines configurations to the MEP vicinity, so models trained on them could fail on direct molecular-dynamics trajectories; the gap is methodological, not a question of dataset size. We introduce a spatiotemporally resolved, system-independent collective variable (CV): Cartesian RMSD within randomly partitioned local domains against an expanding list of time-averaged reference geometries. The CV drives metadynamics as the main exploration engine, supplemented by structural relaxation towards transition state (TS) to augment the coverage around TS. Within a concurrent-learning workflow, this produces OpenRxn26, a dataset of 1.8~M DFT-labeled configurations covering neutral singlet unimolecular reactions in the H/C/N/O chemical space ($N_\mathrm{heavy} \leq 30$), containing reactive atomic environments underrepresented in community datasets. Trained on OpenRxn26, a DPA3 model (denoted DPA3_rxn) achieves transferable accuracy on barrier heights and reaction energies. On off-MEP reactive trajectories, DPA3_rxn is the only model in the benchmark suite to reach 1.0 kcal/mol energy accuracy compared with the labeling method, where the domain MLIP leading on static benchmarks degrades several-fold (e.g. MACE_OMol25), showing the insufficiency of quasi-static sampling and MEP-anchored benchmarks for guaranteeing dynamics reliability of MLIPs. OpenRxn26 thus provides MD-ready reactive training data for gas-phase neutral singlet organic reactions, verifying the generality and efficiency of the sampling strategy.

physics.chem-ph↗

WildHSR: Metric Feed-Forward 4D People-Scene Reconstruction from a 3D Foundation Model

3D foundation models recover video cameras and geometry in one forward pass, but some of the strongest are up to scale. Joint people-scene reconstruction then requires two missing outputs: metric scale and persistent person identity. We ask whether one up-to-scale foundation representation can support both through lightweight adaptation. Exact metric labels are scarce, but unlabeled in-the-wild video is abundant. We use people in curated web video to initialise the solution: a posed metric body and 2D keypoints give an approximate, closed-form scale pseudo-label. These pseudo-labels pretrain a Scale Readout, which is then fine-tuned together with a lightweight adapter using exact metric supervision from standard real-video training splits. At inference the head predicts metric scale from foundation-model tokens, without the ruler or its teachers. For person identity, we probe the pretrained foundation model alone and find evidence that its intermediate query-key features encode person correspondence across frames. In most evaluated moving-person clips, a mid-layer token prefers that person over the vacated location and other people. A tiny projection reads this correspondence; together with metric pelvis motion and proposal confidence, it drives dustbin-aware Sinkhorn association of per-frame bodies. WildHSR combines both readouts to reconstruct metric cameras, scene and people from monocular video. Each window is predicted feed-forward; analytic association and Sim(3) composition connect windows. On EMDB-2, WildHSR is the first feed-forward method in the published comparison to beat the best optimization-based WA-MPJPE and RTE while leading feed-forward methods on all three world-frame metrics. On RICH, it leads feed-forward people-and-scene methods on WA-MPJPE and W-MPJPE. The complete pipeline runs at 10.1 fps on one GPU.

cs.CV↗

On the DML(1) property for regular endomorphisms of affine spaces: the $\mathbb{G}_m$-case

Let $f$ be a regular endomorphism of $\mathbb{A}_{\mathbb{C}}^N$ and let $C\subseteq\mathbb{A}_{\mathbb{C}}^N$ be an irreducible curve. Suppose $C$ has an infinite intersection with the $f$-orbit of a point $x\in\mathbb{A}^N(\mathbb{C})$. Then the normalization of $C$ is isomorphic to either $\mathbb{A}^1$ or $\mathbb{G}_m$. We prove that $C$ is $f$-periodic in the latter case, as expected by the dynamical Mordell-Lang conjecture.

math.DS↗

CounterRoute: Self-Routed Reasoning via Hierarchical Counterfactual Credit Assignment

Reasoning-capable language models often produce long chains of thought when direct answers suffice, wasting inference compute. Many dual-mode models leave this choice to users. Automating it is challenging because routing targets evolve with the policy, initial mode preferences destabilize exploration, and sequence-level objectives entangle routing with response learning. We introduce CounterRoute, an online reinforcement-learning framework that jointly learns routing and modeconditioned responses in one shared policy directly from a native dual-mode checkpoint, without method-specific SFT warm-up. Paired current-policy counterfactual rollouts assign cross-mode credit only to the routing token, while within-mode GRPO trains response tokens. A paired-to-self-routed curriculum stabilizes early training with forced rollouts from both modes, then increases self-routed updates to improve autonomous routing. Across nine benchmarks, CounterRoute better balances accuracy and efficiency than heuristic and learned adaptive-routing methods. Relative to always-thinking checkpoints, it improves macro-average accuracy while reducing mean generated tokens by 51% for Qwen3-8B and 41% for Qwen3-14B. On instruction-following and commonsense benchmarks where direct answering is strong, think rates fall as low as 1% while response quality improves. Despite training only on math and instruction following, its routing behavior and response quality generalize to held-out coding, science, knowledge, and commonsense benchmarks.

cs.AI↗

Superconductivity and Band Topology in Functionalized 2D Hexagonal MBenes

Recently, two-dimensional transition-metal borides (MBenes) have attracted substantial interest due to their promising properties for electrocatalytic applications. Here, we explore their potential as novel two-dimensional superconductors and topological materials through first-principles calculations on both pristine and surface-functionalized hexagonal MBenes. We conduct a thorough examination of the structural, electronic, phononic, superconducting, and topological properties of 36 compounds with formulas M$_{2}$B$_{2}$ and M$_{2}$B$_{2}$T$_{2}$ (M = Sc, Ti, V, Zr, Nb, Hf, Ta, Mo, W; T = F, O, OH). Our analysis identifies 21 superconducting MBenes, including four with critical temperatures (T$_{c}$) exceeding 10 K, with Ti$_{2}$B$_{2}$O$_{2}$ exhibiting the highest predicted T$_{c}$ of 24 K based on the McMillan formalism. For the two most promising compounds, Ti$_{2}$B$_{2}$O$_{2}$ and V$_{2}$B$_{2}$(OH)$_{2}$, we further solve the anisotropic Migdal-Eliashberg equations, obtaining zero-temperature superconducting gaps of 6.1 and 3.6 meV and anisotropic T$_{c}$ values of approximately 32 and 25 K, respectively. Symmetry-indicator-based analysis further reveals nontrivial normal-state band topology in several superconducting MBenes. These results indicate the coexistence of phonon-mediated superconductivity and nontrivial normal-state band topology within this material family, making MBenes promising platforms for future investigations of the possible emergence of topological superconductivity.

cond-mat.mtrl-sci↗

On the index of generalized trinomials over Valued fields

Let $ν$ be a Krull valuation of arbitrary rank on a field with valuation ring $R_ν$, and let $θ$ be a root of the irreducible polynomial $F(x)=(x^k+c)^m-ax^n\in R_ν[x]$ and $1\leq n<km$. We establish necessary and sufficient conditions for the integral closedness of $R_ν[θ]$, expressed explicitly in terms of the coefficients $a$, $b$, and the integers $m$, $n$, and $k$. In particular, when $ν$ is the $p$-adic valuation on $\mathbb{Q}$, our results yield criteria for determining the primes dividing the index $[\mathbb{Z}_K:\mathbb{Z}[θ]],$ where $K=\mathbb{Q}(θ)$ and $\mathbb{Z}_K$ denotes the ring of integers of $K$.

math.NT↗

Meromorphic Solutions of Certain Kind of Non-Linear Differential equation with finite sums of Exponential Functions

We study the existence and nonexistence of meromorphic solutions of nonlinear differential equations involving differential polynomials and finite sums of exponential-type functions with entire coefficients of controlled growth. Employ ing Nevanlinna theory, we obtain structural results showing that any admissible meromorphic solution must reduce to an exponential-type function governed by the dominant exponential term. The obtained lemma and main result strengthen several existing results in nonlinear complex differential equations with exponential terms.

math.CV↗

Mass-Dependent Dark Matter Deficit from Inelastic Scattering

Recent stellar-kinematic and neutral-hydrogen observations indicate a dark matter deficit within the central tens of kiloparsecs of nearby galaxies that grows systematically with stellar mass relative to hydrodynamical simulations. We show that this mass dependence can arise from exothermic inelastic dark matter with strongly velocity-dependent scattering. Two nearly degenerate dark matter states interact through vector and scalar mediators with opposite-sign contributions and unequal ranges. The resulting coupled-channel dynamics suppresses $s$-wave conversion at low velocity while retaining a $p$-wave enhancement at several hundred $\rm km/s$, where down-scattering injects kinetic energy and lowers central dark matter densities. At dwarf velocities, conversion remains suppressed while elastic scattering can still drive core formation consistent with the observed dwarf-clustering pattern. A late dark-sector phase transition, along with the low-velocity suppression, preserves a large excited-state fraction until halo formation. Using representative halos spanning the four observed stellar-mass bins, we find that the model accounts for the inferred dark matter deficit in all four bins, including its systematic growth with stellar mass, while its impact weakens toward cluster velocities. The growing discrepancy with hydrodynamical simulations may therefore offer a glimpse of previously hidden dark matter microphysics.

astro-ph.GA↗

Learning Inspiral-Merger-Ringdown Waveforms from a Post-Newtonian Baseline

Modeling the full inspiral-merger-ringdown signal requires combining analytically controlled inspiral physics with the nonlinear strong-field information supplied by numerical relativity. We represent the numerical relativity contribution beyond an analytic inspiral waveform as residual amplitude and phase corrections. Retaining the leading-order frequency-domain amplitude and the $3.5$ Post-Newtonian TaylorF2 phase, we use a Kolmogorov-Arnold network to learn these residual corrections from SXS waveforms. After training, the learned corrections are stored as explicit spline functions, so waveform evaluation no longer requires the network itself. On $75$ simulations excluded from training and model selection, the model achieves a median flat-noise mismatch of $2.7\times10^{-5}$. Our results demonstrate a machine learning driven waveform modeling strategy in which numerical relativity augments, rather than replaces, analytically known waveform structure.

gr-qc↗

Spectral Amplitude Purification in Distribution Matching for Diffusion Distillation

Distribution Matching Distillation (DMD) enables high-quality diffusion sampling in only a few steps, but its optimization dynamics remain dominated by coarse, low-frequency signals, delaying the recovery of fine-grained details. We identify a pronounced concentration of spectral amplitudes at low frequencies in the DMD directional error, where dominant low-frequency components overwhelm weaker mid- and high-frequency signals. To address this issue, we propose Spectral Amplitude Purification for Distribution Matching Distillation (SAP-DMD), a plug-and-play approach that adaptively modulates the amplitude spectrum of the DMD directional field. By suppressing the dominant tail of the amplitude spectrum, SAP-DMD reduces low-frequency dominance and promotes more effective recovery of fine structures and textures. Experiments on PixArt-$α$, SD3, and SD3.5 demonstrate that SAP-DMD accelerates training convergence and improves generation quality under both 2-step and 4-step sampling.

cs.CV↗

A Concentration Bound for Two-Timescale Actor-Critic Algorithm

Significant research effort has been directed in recent years towards establishing both asymptotic and non-asymptotic convergence guarantees for two-timescale actor--critic algorithms, where the actor recursion is run on a slower timescale than the critic recursion. This work derives a uniform all-time concentration bound for the actor--critic algorithm with function approximation in the long-run average-reward setting. This bound helps us analyze the behavior of the actor parameter with high probability. We show that, after some finite time, the actor parameter enters a safe region and remains within it thereafter with high probability. Specifically, with probability at least $1-ε_1-ε_2$, the actor error $\Vert θ_k-θ^{*}\Vert$ is $O\left(\frac{n_0^{3/4}}{k}\frac{1}{\sqrt{ε_2}}+\left(\frac{1}{n_0}\right)^{1/4}\log^{1/4}\left(\frac{1}{ε_1}\right)+\left(\frac{1}{n_0}\right)^{1/4}\right)$ for all $k\geq n_0$ and sufficiently large $n_0$. We also present experimental results demonstrating that the aforementioned actor error diminishes with the number of actor-parameter updates.

cs.LG↗

UpDown-SC: Gravity-Canonicalized Dual-Envelope Scan Context for Indoor LiDAR Place Recognition

LiDAR place recognition is a key front end for loop closure and global relocalization, yet indoor retrieval remains difficult when attitude or sensor mounting height changes between mapping and query sessions. Scan Context stores the maximum height in each polar cell; indoors, broad ceilings can suppress the lower and mid-level geometry that distinguishes adjacent rooms and corridors. We present UpDown-SC, a training-free polar descriptor that first canonicalizes gravity and then represents two complementary surfaces: the upper envelope of lower/middle structures and the lower envelope of overhead structures. Their physical split is estimated once from a cell-balanced map height distribution and reused by every query. A mask-aware, non-uniform two-channel distance retains discriminative lower-level evidence while limiting sensitivity to its cross-session variation, without treating unobserved cells as zero-height measurements. Conventional Scan Context shortlisting and circular yaw alignment are retained, so retrieved hypotheses directly initialize geometric verification. Experiments across repeated indoor sessions, mounting-height changes, mixed outdoor-to-indoor trajectories, and an outdoor transfer sequence show more reliable first-choice retrieval on the indoor and mounting-height-varied sessions. A paired test finds a significant gain over Scan Context on the in-house sessions. UpDown-SC also gives the best or second-best F1max and AUPR under threshold-based acceptance while retaining a lightweight CPU front end. Continuous replay confirms that the retrieved hypotheses support metric prior-map localization. Code and evaluation artifacts: https://github.com/jiejie567/updown-sc.

cs.CV↗

Exact Factorisation and Fast Computation of Invertible Constant-Q Transforms

The constant-Q transform (CQT) represents audio on a logarithmic frequency axis. Its nonstationary Gabor formulation is exactly invertible, but the unequal numbers of time coefficients in its bands complicate GPU computation. An exact factorisation combines spectral selection, conjugation, windowing, and reordering into a fixed map between one packed Fourier transform and the shorter band inverse transforms. The factors give waveform reconstruction, real adjoints for backpropagation, and bounds on arithmetic depth and block width; overlapping slices permit streaming with bounded memory. Tests on two GPU models show that Flash-CQT reduces analysis-synthesis round-trip time by factors of two to eight relative to a baseline computing the same CQT. The proposed implementation also uses over 30% less peak temporary workspace and reaches a negligible reconstruction error, with a signal-to-noise ratio of about 130 dB, in single-precision floating-point arithmetic. These advances make Flash-CQT a practical, computationally efficient front end for spectral analysis and modern audio machine-learning systems.

eess.SP↗

NP-Hardness of Bounded Distance Decoding for Reed-Solomon Codes

For an $[n,K]$ Reed--Solomon code, the covering radius is $n-K$. Gandikota, Ghazi, and Grigorescu proved deterministic NP-hardness of bounded-distance decoding when the decoding radius is $d$ below the covering radius for every $1\le d\le c\log n/\log\log n$, where $c>0$ is an absolute constant. We prove that, for every fixed rational $0<α<1/2$, bounded-distance decoding is NP-complete under deterministic polynomial-time many-one reductions over explicitly represented finite extension fields for the additive gap $d=\lfloor n^α\rfloor$ below the covering radius. The hard codes have odd block length~$n$, dimension $K=(n+1)/2-d$, decoding radius $(n-1)/2$, and rate tending to $1/2$. The alphabet size is subexponential in the evaluation set size: for a fixed $0<η<1$ depending only on $α$, it is $2^{Θ(n^η\log n)}=2^{o(n)}$. The proof passes through moments subset sum on $n-1$ nonzero field elements, with required subset size $(n-1)/2$ and $d$ prescribed moments. The arithmetic ingredient is a uniform positive-completion theorem over prime fields $\mathbb{F}_q$ with $q\ge d^{2+ρ}$, for any fixed $ρ>0$. A sharper form follows from a higher-dimensional point-count estimate based on Deligne's theorem; the weaker form used in our reduction is proved more elementarily using additive-character orthogonality, the one-variable Weil bound, a moment identity of order $2d$, and Newton identities. A universal completion pool, an extension-field quotient construction, and a deterministic linear-size simultaneous power condenser complete the reduction.

cs.CC↗

Less is More: Encoder-only Audio-Visual Segmentation

Audio-Visual Semantic Segmentation (AVSS) aims to identify, segment, and classify sound-emitting objects in video frames. Previous Transformer-based AVSS approaches largely inherit design principles from image segmentation models. Recent studies show that these image segmentation models contain redundant components that contribute little to the segmentation performance. Following this insight, we propose Encoder-only Audio-Visual Segmentation (EASE). EASE runs at up to 365 FPS, 3x faster than prior State-of-the-Art (SotA) AVS models at comparable accuracy, and trains in under 11 GPU-hours. Furthermore, we achieve SotA AVSS performance across different backbones and input resolutions. Our results demonstrate that AVSS can be both simpler and faster, providing a scalable foundation for future research and real-time applications. Code, model weights, and samples are available at https://ease-avs.notion.site

cs.CV↗

Entire $p$-harmonic functions with an isolated critical point and failure of $C^1$-regularity of the natural gradient

For every $n\ge2$ and $1<p<\infty$, we show an existence of a nonconstant homogeneous entire $p$-harmonic function whose only critical point is the origin. The angular parts of these functions are axially symmetric and even across the equator. To establish the solution we use contraction argument at the pole in conjuction with a shooting argument. It follows that in every dimension $n\ge3$ and for $p<2$ sufficiently close to $2$, the natural gradient has pointwise Hölder exponent strictly below one at the origin. Such examples settle the remaining scalar case of the conjecture of Balci, Diening, and Weimar by disproving both the $C^1$ assertion and the linear $L^2$ mean oscillation estimate.

math.AP↗