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,585 records · Page 88Linked to original sources

arXiv2026

Testing Extra-Dimensional Gravitational-Wave Polarizations with Compact-Binary Observations

Extra spatial dimensions arise naturally in theories beyond four-dimensional general relativity (GR), but direct observational evidence remains elusive. Gravitational waves offer a distinctive probe: geometric projection onto the observable three-dimensional spatial subspace can produce apparent tensor, vector, and scalar polarizations. We consider one additional spatial dimension and a two-mode tensor-wave ansatz for which the projected polarization components are fixed linear combinations of the same two underlying GR tensor waveforms. These components enter the measured strain through the standard detector antenna patterns. A frequency-domain Bayesian analysis of five compact-binary events constrains two rotation angles for two noncommuting orderings of rotations that preserve propagation within the observed subspace. Two events are further analyzed for four orderings that allow propagation to tilt into the extra dimension. For GW250114, the maximum GR quantiles among the tested rotation orderings are $Q_{\mathrm{GR}}\simeq0.6\%$ for the two-angle fits and $Q^{\mathrm{marg}}_{\mathrm{GR}}\simeq4.6\%$ for the three-angle fits after marginalizing over the third angle. Across the full event sample, the GR reference point lies inside the estimated 90% highest-posterior-density region in every case.

gr-qc↗

arXiv2026

RF-Resolved RIN Engineering of High-Power CW Yb Fiber Laser Architectures Using Seed Topology, Seed Power, Pumping Geometry and Cavity FSR

We report, to the best of our knowledge, the first controlled, like-for-like experimental mapping of how four practical design parameters--seed-cavity topology, seed power, amplifier pumping geometry, and seed-cavity free spectral range (FSR)--jointly shape the radio-frequency (RF)-resolved relative intensity noise (RIN) of high-power continuous-wave (CW) Yb-doped fiber lasers. We compare a standalone bidirectional fiber Bragg grating (FBG) oscillator, an FBG-seeded master-oscillator power amplifier (MOPA), and unidirectional ring-seeded MOPAs with FSRs of approximately 11.5 and 5 MHz, all near 1064 nm at a common 72 W output, with RIN measured from 10 kHz to 1 GHz. Across all settings, the low-frequency RIN is technical-noise limited and nearly architecture-independent, whereas RIN above 160 kHz is governed by the seed-cavity topology and its transfer through the amplifier. Higher seed power suppresses the mid- and high-frequency RIN, but the seed-alone and amplified-output comparison reveals opposite transfer for the two topologies: for FBG seeding the 2 MHz-1 GHz RMS RIN increases through amplification (3.66 percent to 4.14 percent at 15 W seed), whereas for ring seeding it decreases (1.47 percent to 1.35 percent). Forward pumping gives the best power-scaling/noise trade-off, while reducing the ring FSR from approximately 11.5 to 5 MHz preserves the high-frequency RIN advantage, confirming it is not a mode-spacing effect. At matched conditions, ring seeding lowers the integrated RMS RIN by 2-3 times (160 kHz-2 MHz) and approximately 3 times (2 MHz-1 GHz, approximately 9-10 dB to near -127.4 dBc/Hz). These results yield band-resolved design rules linking each band to its dominant lever. The unidirectional ring-seeded MOPA thus offers a simple, scalable route to broadband pump-RIN suppression for nonlinear and frequency-conversion photonics.

physics.optics↗

arXiv2026

Pose-Free Feed-Forward 3D Inpainting via Learnable Mask Attention and Support Token Refinement

3D scene inpainting aims to recover missing or occluded regions in edited 3D scenes, while ensuring geometric and textural consistency. Existing approaches, however, typically require accurately calibrated camera poses, which restricts their applicability in casual, in-the-wild scenarios and introduces additional preprocessing overhead. To overcome this limitation, we present FreeInpaint, a novel feed-forward framework that generates complete and 3D-consistent scenes directly from unposed multi-view images with masked regions. At its core, FreeInpaint extends a 3D foundation model to propagate masked regions from a reference view to other unposed views, bridging 3D reconstruction and scene inpainting while preserving the model's native ability to recover camera poses and scene geometry. Our method addresses two key challenges in adapting feed-forward 3D foundation models to masked inputs. First, masked regions can corrupt cross-view correspondence reasoning, degrading pose estimation and geometry recovery. To address this, we introduce a Learnable Mask Attention mechanism that preserves the spatial anchoring of reliable observations while allowing masked regions to progressively absorb useful context in deeper layers. Second, under severe occlusions, a single forward pass often lacks sufficient appearance evidence for high-fidelity completion. Therefore, we propose a Support Token Refinement strategy, which injects diffusion-generated support evidence as confidence-weighted auxiliary tokens to refine under-observed regions while preserving the original spatial anchor. Extensive experiments across diverse datasets demonstrate that FreeInpaint achieves superior inpainting quality, eliminating the reliance on pre-computed camera poses while keeping a fast inference speed. The project page is https://rorisis.github.io/FreeInpaint/.

cs.CV↗

arXiv2026

Trajectory-Guided Fault Localization for Agent Skill Evolution

Agent skills provide reusable guidance for code agents, but incomplete or unsuitable guidance can impair task execution. To reduce the manual effort of skill refinement, recent approaches use LLMs to generate revisions from execution feedback. However, grounding these revisions in explicit behavioral evidence remains challenging. To address this gap, we propose SkillMorph, a skill-evolution approach based on trajectory-guided fault localization in agent skills. Its core idea is to link execution evidence to specific skill contents before generating revisions. Specifically, SkillMorph compares failure and success evidence in abstracted trajectories across repeated runs and tasks, incorporating changes between evolution loops to identify suspicious actions. It then uses these suspicious actions to localize edit sites in the skills and generate corresponding revisions. Experiments on SWE-Skills-Bench and CannBot show that the skills evolved by SkillMorph consistently achieve higher trial-level accuracy and execution consistency than the original skills and those from four existing skill-evolution methods. We have also applied SkillMorph to automated kernel generation with an AI operator-development team, which has accepted 6 skill-revision pull requests.

cs.SE↗

arXiv2026

Tunable Ultrastrong Magnon-Magnon Coupling and Squeezed States in a Triaxial Van der Waals Antiferromagnet

Achieving and quantifying ultrastrong magnon-magnon coupling (USC) remains a key challenge for quantum magnonics. Here, we demonstrate widely tunable USC between chiral (right- and left-handed) and acoustic or optical magnon modes in the van der Waals antiferromagnet $CrPS_4$. Using a full quantum model, we decompose the interaction into three microscopic interaction channels: the co-rotating term $g_1$ (mode hybridization), the counter-rotating term $g_2$ (two-mode squeezing), and, uniquely in the chiral regime, the self-squared term $g_3$ that mediates single-mode squeezing. The normalized coupling ratio reaches $g/f_g$ $\sim$ 0.41, entering the USC regime. Most significantly, we establish a complete protocol linking these USC parameters to a measurable quantum phenomenon: a squeezed magnon vacuum state. Our simulations not only visualize the chirality and polarization evolution of the hybrid modes but also demonstrate how to directly extract quadrature fluctuations and a substantial squeezing factor (up to $\sim$ 9.7 dB) from thermal noise-driven magnetization dynamics. This work provides a material-specific quantum framework for USC and a practical pathway to detect and exploit non-classical magnon states in low-damping two-dimensional magnets, opening a route toward quantum-enhanced spintronics and hybrid quantum information platforms.

cond-mat.mes-hall↗

arXiv2026

Nonparametric covariance estimation with bias correction for spatial lattice processes

Accurate covariance estimation is crucial for spatial data analysis. While parametric methods can suffer from model misspecification leading to wrong conclusions, nonparametric approaches are often neglected in practice as they rely on the estimation of a large number of covariance parameters and often face finite-sample bias issues. In this paper, we study the bias properties of sample covariance estimators for stationary lattice processes on $\mathbb{Z}^2$, when the true mean parameter is unknown and has to be estimated. We derive exact formulas for the finite-sample biases of sample covariance estimators and show that their expectations are linear combinations of population covariances determined by spatial lag and sample size. Based on this characterization, we propose jointly bias-corrected covariance estimators that are nearly unbiased. Additionally, we derive formulas for the mean-squared error and prove asymptotic normality results that show asymptotic equivalence for the estimators with and without bias correction. Simulations demonstrate substantial reductions of bias and often also in terms of MSE, particularly under strong spatial dependence. A kriging application to topography data further illustrates the practical benefits of the proposed approach.

stat.ME↗

arXiv2026

Electromagnetic isospin breaking in hadronic vacuum polarization within a VMD model

One of the challenging components of modern lattice-QCD computations of the leading hadronic vacuum polarization contribution to the muon $(g-2)_μ$ is the isospin-breaking correction due to electromagnetism. Dominated by long distances, this correction suffers from severe signal-to-noise issues and finite-volume effects. To provide infinite-volume benchmarks for various quark-level Wick contractions, we estimate their sizes phenomenologically at the physical point, using a previously developed vector-meson-dominance model. The pion contributions in this model sum to around $-7.1\times 10^{-10}$, dominated by the electromagnetic pion mass shift. The ultraviolet-finite (2+2)a ("dumbbell") contraction accounts for approximately two thirds of this model sum; for both, about 30% comes from Euclidean times beyond 2.8 fm.

hep-ph↗

arXiv2026

LEVER: Adaptive Cost-Aware Proof Search Over AND/OR Graphs

Mathematicians value proofs for more than correctness: among correct proofs, simplicity, purity and the computational cost of finding them vary widely. Yet LLM-powered theorem provers largely search for any correct proof, and improve its quality only after it is found. We propose LEVER, a proof search algorithm that makes the objective over correct proofs programmable and optimizes it during search. LEVER scores partial proofs over an AND/OR proof graph, combining realized objective values with predictions for open subgoals, so the objective guides search before a proof is complete. The same mechanism optimizes computational cost, proof length, topical impurity, and even their weighted combinations, while the Lean kernel enforces correctness. On PutnamBench in Lean 4, under matched budgets, LEVER costs 34% less than a strong single-conversation agent while raising the solve rate from 80% to 96%. On reducing topical impurity, i.e., how far a proof strays from its theorem's subject, it improves over post-hoc refactoring (42% reduction against 33%) at two-thirds of the cost and more reliably; on proof length, the metric refactoring is built for, it approaches refactoring. Varying the objective's weights traces a quality-cost trade-off curve, so the user can choose how much a better proof is worth. Overall, LEVER is a performant, cost-efficient and tunable proof search algorithm for navigating the space of correct proofs.

cs.AI↗

arXiv2026

Conditional Kernel Stein Discrepancy

Kernel Stein discrepancies (KSDs) provide a versatile tool for comparing distributions. One of their main applications is in quantifying the goodness-of-fit (GoF) between a data-generating distribution and a prescribed target distribution. In this work, we study the related problem of conditional GoF quantification: given only a (possibly non-normalized) conditional target model, without information on the distribution of its covariates, and samples from a joint distribution, the goal is to assess how well the conditional distribution of the samples matches the target. To tackle this setting, we present a framework that allows lifting unconditional KSDs to the conditional setting through an operator-valued kernel on the covariate space, going beyond the known Euclidean case. We establish that our suggested statistic vanishes if and only if the conditional model and the true conditional distribution agree for almost all covariates and deploy it to test conditional GoF on smooth manifolds and on discrete spaces. Our experiments on level, power, and runtime demonstrate the viability of testing on these domains using the proposed statistic.

stat.ML↗

arXiv2026

Largeness of the wild locus

We show that the wild locus of an étale morphism of smooth adic spaces over an affinoid field is either empty or contains a divisorial point. As a consequence, we establish the equivalence of curve tameness and valuation tameness without using resolution of singularities. Moreover, given a finite étale map of regular schemes $f \colon Y \to X$ that is curve tame over a base $S$, we construct a compactification $\bar{f} \colon \overline{Y} \to \overline{X}$ over $S$ that is numerically tame.

math.AG↗

arXiv2026

Extended Results on Absorbing Boundary Conditions as Limits of Complex Potentials

In quantum mechanics, among the proposals for how to compute the probability distribution of detection time and place along a given spatial surface or in a given volume, two leading candidates involve absorbing boundary conditions (ABCs) and complex absorbing potentials (CAPs) for the Schrödinger equation. Here, we extend earlier results on how the two are related. It was previously shown that ABCs arise as a limiting case of CAPs, but for that a (reflecting) Neumann boundary condition was assumed at the end of the region with the CAP. Here, we obtain ABCs in a different limit using a Dirichlet boundary condition at the end of the CAP region, which seems more practically relevant and realizable.

quant-ph↗

arXiv2026

Understanding Latent-Dimension Scaling in Dynamical-System Learning through Spectral Reliability

In deep learning, approximation theory motivates increasing representation size. We ask whether this benefit extends to dynamics learning through autoregressive prediction. We analyze the learned time evolution through the eigenstructure of Koopman operators, using relative residuals to detect spurious eigenpairs arising even as one-step error falls. For bounded Koopman operators, we show that minimal residuals over learned dictionary spaces converge pointwise to their full-space counterparts as these spaces approximate the observable space in $L^2$. Our hypothesis is that Koopman spectral reliability helps explain how consistently rollout error decreases with increasing dimension. We compare two models of a shared Koopman autoencoder trained alternately for reconstruction and latent evolution, using latent-prediction loss (one-step prediction errors in latent coordinates) or spectral-residual loss (relative residuals of candidate eigenpairs). Across six chaotic systems, both models reduced median windowed rollout error from smallest to largest dimension. The spectral-residual model achieved lower medians than the latent-prediction model for all systems and dimensions, and its median fell by a larger factor in every system. Its median decreased monotonically with dimension in four systems, against one for latent prediction. Against four baseline families, its mean valid prediction times were nearly always longer. At the largest dimension under two-stage training, we compared eigenvalue positions with each learned dictionary's residual contours. Spectral-residual eigenvalues concentrated in low-residual regions, whereas latent-prediction eigenvalues also appeared in high-residual regions, consistent with the hypothesis.

cs.LG↗

arXiv2026

Unique mild solution for the ES-BGK model with the correct Prandtl number

We prove the existence and uniqueness of mild solutions to the ellipsoidal BGK (ES-BGK) model with the correct Prandtl number, under suitable weighted bounds and a free-transport non-vacuum condition. At the correct Prandtl number, the temperature tensor is no longer uniformly comparable to the scalar temperature, so classical scalar moment estimates do not directly yield the required Gaussian bounds. We derive anisotropic velocity moment estimates by splitting velocity space along the longest principal direction of the stress tensor and using the geometry of transverse elliptical slices. These estimates yield a linear weighted $L^{\infty}$ bound for the ellipsoidal Gaussian. Together with uniform ellipticity and weighted $L^1$-Lipschitz continuity under the stated assumptions, this bound allows us to construct unique mild solutions.

math.AP↗

arXiv2026

From Majorana to Bloch: two ways to generalize the Bloch sphere representation

While the Bloch sphere provides a canonical geometric representation for qubits, its generalization to pure qudit states ($d>2$) is not unique. This representation can be extended following two different approaches: increasing the number of points, as in the Majorana representation, or using a single point but in a space of larger dimension, as in the generalized Bloch representation. In this work, we compare these representations of pure qudit states by finding explicit analytical relations between them. In particular, a general formula of the Bloch vector in terms of the Majorana points of a given state is provided. We also analyze some suitable extensions of these representations in the case of pure permutation-symmetric two- and three-qubit states, deriving the corresponding relation between them. These analytical results allow us to study, from a geometric point of view, quantum correlations of special classes of two-qubit states.

quant-ph↗

arXiv2026

Learning structured linear dynamical systems from missing observations

We consider the problem of learning structured linear dynamical systems over convex sets $\mathcal{K}$, where only a small subset of the observations are available at each time point. An estimator which minimizes a bias-corrected, potentially non-convex objective function is proposed. Non-asymptotic bounds are obtained for the statistical error, which depend on the local complexity of $\mathcal{K}$, the trajectory length $T$, and the sub-sampling probability $p$. Convergence of the projected gradient descent algorithm is also established. The general theory is applied to settings where (i) $\mathcal{K}$ is a subspace, (ii) $\mathcal{K}$ is the set of bi-isotonic matrices, and (iii) $\mathcal{K}$ is the set of matrices whose rows are formed by sampling Lipschitz functions. We show meaningful recovery of the transition matrix is possible for values of $T$ much smaller than what is required in the unconstrained case, and for $p = o(1)$.

stat.ML↗

arXiv2026

Local Sensitivity in Exponential Selection: Failure Modes and Valid Calibrations

Selection is a task that chooses one element from a finite public candidate range to maximize a data-dependent score. In differential privacy (DP), the exponential mechanism (EM) samples a candidate at a temperature calibrated to the global sensitivity. In this paper, we study when dataset-dependent sensitivity can safely replace global sensitivity in private selection. We propose three valid approaches. First, a private, high-probability upper bound on local sensitivity yields approximate DP, and the method extends to finite higher-order sensitivity hierarchies. Second, our Propose-Test-Release (PTR) variant privately searches a finite public grid for a temperature scale rather than fixing it in advance. Third, smooth sensitivity supports several designs. A candidate-independent smooth geometric construction produces a sensitivity envelope that is admissible under the local dampening framework, which privacy is guaranteed for any admissible envelope. Additionally, a separate logarithmic transformation utilizes smooth sensitivity to produce a smoothed candidate score function with advantages: having controlled global sensitivity, and preserving the maximizers of the original utility score, i.e., candidates maximizing the utility. Both of the designs yield range-independent pure DP. Besides that, we also give two approximate DP private selectors using smooth sensitivity: a direct EM with smooth sensitivity calibrated to the candidate range and privacy parameters that matches a theoretical lower bound up to some constant factor, and one using a privatized smooth upper scale by analyzing the logarithmic transform of the smoothness. For every proposed mechanism, we derive a high-probability regret bound under its stated conditions.

cs.DS↗

arXiv2026

WEST advanced wall protection achievements toward long pulse operation

Long pulse operation in magnetic fusion devices requires well controlled plasma power exhaust to the divertor \& wall, and avoidance of wall hot spots that could evolve in wall damage. At WEST, 10 major plasma facing components are monitored using 10 series of temperature/power indicators, based on multiple diagnostic systems, among which the infrared viewing system is especially relevant. These indicators span from the most basic ones (temperatures, power and energy from deterministic models) to advanced processes using artificial intelligence acquired through machine learning. Some advanced processes do operate in real time, and feedback on power actuators through the plasma control system, providing active control toward remaining within the safe operational domain. Other advanced processes intervene as forensic tools post discharge to identify possible dangerous situations regarding the power loading to the wall, so that the discharge run plan is adjusted to avoid running into aggravating wall events. No critical wall power event happened during the campaigns C9 to C11 (2024-2025), totalling about 13h of plasma, that would have affected the campaign plan. While it cannot be demonstrated that the active \& intelligent wall protection enabled the new plasma duration record of 1337 seconds, the wall protection system as a whole plausibly contributed to obtaining these record durations by preventing wall hot spots to become critical during the campaigns.

physics.plasm-ph↗

arXiv2026

Explicit upper bounds on the threshold of one-dimensional long-range percolation

We study bond percolation on the one-dimensional lattice in which two sites at distance $r$ are connected with probability $p_r=C/r^{1+σ}$, where $0 < σ< 1$. An infinite cluster exists if $C$ exceeds a critical value $C_c(σ)$, which is not known exactly: the available results are the lower bound of Schulman, $C_c\ge1/[2ζ(1+σ)]$, and numerical estimates. Here we prove explicit upper bounds. We apply a second-moment argument to a family of random monotone paths whose steps have a heavy-tailed (Sibuya) distribution. Two such paths meet only a finite number of times, and their overlap is computed exactly by renewal theory. The result is a closed-form bound, which gives $C_c\leσ+O(σ^2)$ as $σ\to0$ and is below $1$ for $σ< 0.667$. Since the paths are monotone, the bound holds also for oriented percolation, and it determines the oriented threshold asymptotically: $C_c^{\rightarrow}ζ(1+σ)\to1$ as $σ\to0$. A coarse-grained version of the argument, with blocks of sites in place of sites, gives an explicit bound $C_c < 1$ for every $σ< 1$. We compare the bounds with the known numerical values of $C_c$.

math.PR↗