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

Structured Quantum Hardness from Unstructured Assumptions

Whether useful structured hardness can arise from unstructured assumptions is a fundamental question in complexity and cryptography. The longstanding Bennett-Gill question asks whether $\mathsf{NP}\cap\mathsf{coNP}$ remains hard relative to a random oracle; [GIKKLS, STOC 2023] recently gave a conditional affirmative answer in the classical setting. We establish the quantum analogue: if $\mathsf{UP}\not\subseteq\mathsf{BQP}$, then $\mathsf{NP}^{O}\cap\mathsf{coNP}^{O}\not\subseteq\mathsf{BQP}^{O}$ with probability $1$ over a random oracle $O$. Beyond extending the classical result, this separation has a distinctly quantum significance: Shor's algorithms defeat canonical number-theoretic hardness candidates, while lattice assumptions and other leading post-quantum cryptographic assumptions do not directly supply hard languages with two-sided classical certification on every input. Our conditional oracle separation provides evidence that such structured quantum hardness can nevertheless arise from unstructured sources. Complementing this result, we rule out fully black-box quantum reductions of worst-case quantum hardness in $\mathsf{NP}\cap\mathsf{coNP}$ to post-quantum injective one-way functions and indistinguishability obfuscation. This barrier excludes a broad class of black-box approaches to deriving structured quantum hardness from generic cryptographic primitives, providing partial evidence that the non-black-box techniques in our first result are essential.

quant-ph↗
arXiv2026

Finiteness of singularities for higher-weight axially symmetric minimizers of the relaxed Dirichlet energy

Let $k\ge2$ be an integer. We prove that every minimizer of the Bethuel--Brezis--Coron relaxed Dirichlet energy in the signed meridional $k$-axial class, with continuous $H^1$ degree-zero data on the boundary of a ball, is smooth outside a finite subset of the symmetry axis. This extends the weight-one finiteness theorem of Hardt--Lin--Poon and resolves the finite-singularity question posed by Martinazzi--Rivière as Open Problem~A, in the fixed-boundary Bethuel--Brezis--Coron setting with continuous degree-zero data. The interior argument uses a distributional graph-boundary identity, height-preserving half-turn replacements, and exact square completions retaining the current cost. Cap-valued crosscuts and a finite incidence count exclude singular accumulation at the boundary poles.

math.AP↗
arXiv2026

Truncated backpropagation through time induces a two-sided gradient turnpike property

Truncated backpropagation through time reduces the computational burden of training recurrent models by restricting gradient computations to shorter temporal contexts. This induces two distinct boundary effects: missing past information perturbs the forward state evolution, while truncating the backward recursion omits future information. This motivates decoupling the interval over which gradient contributions are averaged for the parameter update from the surrounding temporal context over which they are computed. Under exponential decay of the state-transition Jacobians and mild regularity conditions, this leads to a two-sided gradient turnpike property: the error between truncated- and full-context gradient contributions decays exponentially with the distance from both context boundaries. We derive bounds for the averaged update gradient, yielding guarantees on gradient alignment and approximate full-context stationarity; under unbiased interval sampling and a Polyak-Lojasiewicz condition, these further imply a bound on the resulting optimality gap. Numerical experiments on the Wiener-Hammerstein benchmark illustrate the role of past and future context and the trade-off between predictive performance and computational cost.

eess.SY↗
arXiv2026

Enhancing Gravitational Waves from Global Strings via a First-Order Phase Transition

We perform the first (3+1)-dimensional lattice simulations of a cosmological first-order phase transition (PT) in which true-vacuum bubbles with random phases nucleate, expand, and collide, producing a network of global strings. We find that the string network enters the scaling regime, and the coefficient of the logarithmic growth is smaller than the value obtained for a second-order PT. From the axion spectrum, we derive the dark-matter relic abundance and the dark-radiation bound from big bang nucleosynthesis on the axion decay constant $f_a$ and mass $m_a$. The ratio of the gravitational wave emission rate to the axion emission rate is found to be about two orders of magnitude larger than in the second-order case, and the resulting gravitational wave spectrum can be probed by pulsar timing arrays as well as by space- and ground-based interferometers.

hep-ph↗
arXiv2026

MessyNav: Zero-Shot Navigation via Manipulation in Messy Environments

Real-world environments are messy, with paths often blocked by everyday objects like chairs and toys, requiring robots to perform interactive navigation by manipulating obstacles to clear a path. Existing methods rely on extensive simulation-based learning or per-scene instructions specifying which objects to avoid or manipulate. They struggle to generalize across novel objects, diverse environments, and varied contexts such as a cart of fragile glassware that should be avoided while an empty one can be pushed. We formalize this problem as open-world interactive navigation and present MessyNav, a zero-shot framework based on vision-language models (VLMs). At its core, MessyNav performs explicit VLM-based affordance reasoning before task planning to decide whether to swipe, pick up, or avoid an object and produce a high-level plan. Evaluated on a mobile manipulator across real-world indoor and outdoor environments, MessyNav improves success rate by 27 percentage points (pp) over the strongest baseline in real-robot trials and achieves statistically significant gains in a larger-scale offline evaluation, without task-specific training.

cs.RO↗
arXiv2026

Dynamical and Cosmological Perspectives on Symmetric Teleparallel Gravity and its Extensions

This thesis investigates the late-time accelerated expansion of the Universe within modified gravity theories, with particular emphasis on symmetric teleparallel gravity and its extensions, including $f(Q)$, $f(Q, B)$, and $f(Q, ϕ)$ gravity. It explores the cosmological dynamics of these theories using dynamical systems analysis, stability techniques, and the Noether symmetry approach. The study examines the existence and stability of cosmological critical points, background evolution, and linear cosmological perturbations to understand the different phases of cosmic evolution. It also investigates the role of observational constraints and Big Bang nucleosynthesis in assessing the viability of modified gravity models. Furthermore, the application of Noether symmetries provides a systematic approach to identifying viable functional forms and deriving exact cosmological solutions. Overall, this thesis examines the theoretical and cosmological viability of modified teleparallel gravity as an alternative framework for describing the observed accelerated expansion of the Universe.

gr-qc↗
arXiv2026

Robust prizes in all-pay contests with loss aversion

We study robust prize design in all-pay contests with loss-averse agents when the principal does not know the agents' convex cost of effort, subject to an aggregate productivity constraint. The robustly optimal prize structure awards equal prizes to all contestants except the one ranked last. The optimal bottom prize is zero under moderate loss aversion, but becomes positive and increases with loss aversion when loss aversion is sufficiently strong. Under strong loss aversion, the robust solution involves partial participation in the contest.

econ.TH↗
arXiv2026

Adaptive and High-Fidelity Matching Algorithm for Retrieval-Based Accent Conversion

Accent conversion (AC) aims to transform accent-related acoustic characteristics of the source speech to a target accent while preserving linguistic content and speaker identity. Unlike conventional generative AC models, the retrieval-based ones, which employ k-nearest neighbors (kNN) to directly retrieve acoustic features from target-accent speech and so do not need source-accent speech during training, are more effective. However, existing retrieval-based AC frameworks face three issues: limited intelligibility due to incomplete phoneme coverage from sequential matching pool construction, limited adaptability to source speech variations, and low spectral continuity from coarse-grained style modulation. To address these limitations, we propose Anisotropy-Aware Adaptive k-Nearest Neighbor Accent Conversion (AA-kNN-AC), an enhanced retrieval-based AC model. First, we design a phoneme coverage-based matching pool construction strategy, employing greedy selection with diversity-aware scoring to achieve balanced and near-complete phonetic representation under limited target accent data. Second, we propose an anisotropy-aware adaptive kNN retrieval mechanism that dynamically determines the neighborhood size according to the singular value decomposition (SVD)-based anisotropy analysis, enhancing adaptability to source speech variations. Third, we present a progressive Adaptive Instance Normalization (AdaIN)-based fine-grained decoder by integrating temporal up-sampling within AdaIN blocks, enhancing spectral continuity of the converted speech. Experimental results on the L2-ARCTIC and VCTK datasets demonstrate that the proposed method outperforms existing retrieval-based and generative baselines in both objective and subjective evaluations, achieving high intelligibility, speaker similarity, and naturalness. Demo page is available at https://aa-knn-ac.github.io/demo/.

cs.SD↗
arXiv2026

Prescribed Color Patterns in Tight Hamilton Cycles and Spanning Trees

We compare transversal and pattern thresholds for two spanning structures. For every fixed $k\ge 3$ and $α>0$, we prove that every sufficiently large $n$-vertex $k$-graph collection with minimum codegree at least $(1/2+α)n$ contains a tight Hamilton cycle with any prescribed color pattern. Hence the transversal and pattern thresholds for tight Hamilton cycles coincide asymptotically. For spanning trees, we show that for every $α>0$ there exists $c=c(α)>0$ such that every $n$-vertex graph collection with minimum degree at least $(1/2+α)n$ contains every $n$-vertex tree with maximum degree at most $n^c$ and any prescribed color pattern. On the other hand, we construct spanning trees of maximum degree $\sqrt n+1$ whose pattern threshold exceeds their transversal threshold by a positive linear term.

math.CO↗
arXiv2026

Cross-Family Mode Coupling and Localization Reversal in Phononic Crystal Defect Dimers

Defects in phononic crystals confine elastic vibrations within bandgaps, enabling waveguiding, sensing, and energy harvesting. Coupling defects offers control over the spatial distribution of vibration, but how interactions between nearby modal families determine defect preference remains unclear. We examine localization reversal in dimers whose single defect supports a nearby $B_1$ singlet and $E$ doublet: softening one defect shifts a continued modal branch toward its unchanged partner. In off-axis and diagonal layouts, this reversal accompanies family exchange, with opposing $B_1$ and $E$ contributions to the defect-mass difference nearly cancelling at the threshold. Deleting cross-family stiffness and mass blocks removes reversal, while omitting cross-family observable terms at fixed states preserves it, identifying modal redistribution as the dominant mechanism. At the off-axis softening endpoint, independent channels predict the opposite preferred defect despite a $0.16\%$ frequency difference from the full-order solution. Nominal operators retaining the complete singlet-doublet space predict selected softening-branch thresholds with errors below $1.1\%$ against independent full-order sign brackets, without fitting detuned trajectories. These results link localization reversal to modal-family exchange and physical defect-mass balance, and show that frequency agreement alone does not guarantee localization accuracy.

cond-mat.mtrl-sci↗
arXiv2026

ProCraft: Instruction-Driven Music Production from Free-Form Text

Music production typically involves multiple editing operations that each require specialized tools and expertise. Existing text-guided music editing systems support few operations or instruments, operate on short clips, or handle only one operation per instruction, unlike real workflows where several changes are requested at once. Here, we present ProCraft, a lightweight 0.5B-parameter autoregressive codec language model that edits 30s music excerpts end-to-end from free-form instructions, including compound requests. ProCraft supports seven operations across eight instruments, from tasks with a unique target (e.g., track removal) to creative ones (e.g., accompaniment generation). We align intermediate representations with pretrained music embeddings and pitch and instrument targets to preserve content outside the edit, and gated cross-attention in every decoder layer to keep generation tied to the instruction. To train on compound requests, we introduce On-the-fly Editing-pair Synthesis, which generates paired instructions and audio combining track-level operations with effect changes. ProCraft performs competitively against task-specific systems on single-task editing, and outperforms four free-text editors on compound instructions for track removal, extraction and denoising on real (MoisesDB) and synthetic (Slakh) recordings. In a user study (16 listeners), ProCraft was rated highest on removal and denoising and on-par with a 16-times larger model on extraction and instrument transfer. Ablations further show that representation alignment and cross-attention reduce leakage from unwanted tracks and raise editing success rates, especially on out-of-domain data.

cs.SD↗
arXiv2026

Randomly shifted lattice rules for SDEs with constant diffusion: error bounds uniform in time discretization and dimension

We study randomly shifted rank-1 lattice rules for computing $\mathbb{E}[g(\mathbf{X}_T)]$, where $\mathbf{X}_T$ is the terminal state of a stochastic differential equation (SDE) with constant diffusion matrix. Discretizing the SDE by the Euler--Maruyama scheme with $m$ uniform time steps turns the expectation into an integral whose dimension grows with $m$ and whose integrand has a nested composition structure; both complicate the lattice rule error analysis. We generate the Brownian path by the Brownian bridge construction and handle the nested structure using the multivariate Faà di Bruno formula and a rooted-tree expansion. Under suitable regularity and growth conditions, we prove that an $N$-point randomly shifted lattice rule with a uniformly random generating vector achieves a mean absolute sampling error of $O(N^{-1+\varepsilon})$ for every $\varepsilon\in(0,1/2)$ and every prime $N$, with the implied constant independent of $m$. To improve stability and control higher error moments, the median lattice estimator is used. The estimator takes the median of $R=2k-1$ independent lattice estimates and achieves an $L^q$ error of $O(N^{-1+\varepsilon})$ for every $1\le q<k/(1-\varepsilon)$. We further establish error bounds independent of both the state dimension and the Brownian path dimension under an additional summability condition on the columns of the diffusion matrix. Numerical experiments show that median lattice estimators converge faster than Monte Carlo estimators and remain stable as the number of time steps $m$ grows. For models satisfying the additional summability condition, stability is also observed as the state and Brownian path dimensions increase.

math.NA↗
arXiv2026

First broadband search for fixed-polarization dark photon dark matter with GigaBREAD

We present the first search for fixed-polarization dark photon (DP) dark matter in the 44-52$μ\mathrm{eV}$ mass range, corresponding to 10.7-12.5GHz. GigaBREAD is a room-temperature broadband dish antenna experiment in which DP convert to ordinary photons on a cylindrical metallic emission surface and are focused onto a radio-frequency receiver. Previous searches, including GigaBREAD and several other dish antenna searches, have assumed randomly polarized DP dark matter. However, vector dark matter produced by a misalignment-like mechanism may retain an approximately fixed polarization, leading to sidereal modulation of the detector response as the Earth rotates. We reanalyze the GigaBREAD data using a polarization-matched likelihood that accounts for the time-dependent projection of a fixed DP polarization onto the detector axis. We find no evidence for a fixed-polarization DP signal and set upper limits on the kinetic mixing parameter at the level of $χ\sim10^{-12}$. These limits are about $20\%$ better than a naive limit obtained by rescaling the previous GigaBREAD limit under the fixed-polarization assumption.

hep-ex↗
arXiv2026

Prospects for detecting hot-Jupiter tidal decay through transit timing with the mission Earth 2.0

Orbital decay of hot Jupiters provides a unique opportunity to probe tidal dissipation in star-planet systems. However, despite extensive observational efforts, only one hot Jupiter, namely WASP-12b, currently exhibits conclusive observational evidence for orbital decay. Expanding this sample is therefore crucial for establishing a statistical understanding of tidal interactions in planetary systems. Long-term transit timing variations (TTVs) provide a direct observational probe of orbital decay induced by tidal dissipation between a hot Jupiter and its host star. The Earth 2.0 (ET) mission will revisit the original Kepler field, delivering high-precision transit timing measurements and extending the observational baseline to approximately 24 years (2009--2033). In this work, we aim to assess the capability of ET to detect orbital decay in hot Jupiters previously observed by Kepler. We generate four years of simulated ET light curves based on the expected photometric precision and observing cadence of the mission and analyze them jointly with archival Kepler and TESS observations. Using these combined datasets, we perform long-term TTV analyses and predict the achievable precision for measuring orbital period variations. We find that ET can substantially improve the precision of orbital decay measurements in hot Jupiter systems by a factor of 7.2. Assuming the stellar tidal quality factor inferred from previous observations, ET is expected to detect orbital decay in three additional hot Jupiter systems. The expanded sample of hot Jupiters with measured orbital decay will establish ET as a powerful probe of tidal dissipation in star-planet systems, providing tighter constraints on stellar tidal quality factors and new insights into the tidal evolution of hot Jupiters.

astro-ph.EP↗
arXiv2026

Preliminary Goniopolarimetric Simulations for Space Weather Radio (SWARA) Polarimeter

Goniopolarimetry is a technique that measures the direction-of-arrival (DoA) using the polarization properties of the incident electromagnetic (EM) waves. This study aims to incorporate the technique of Goniopolarimetry for our proposed polarimeter, Space Weather Radio (SWARA) Polarimeter, to provide early warnings for space weather or solar events. We have performed preliminary simulations for a tri-monopole antenna configuration. The behaviour of the tri-monopole antenna with varying signal-to-noise (SNR) ratios along the field-of-view (FOV) was investigated using simulations. The angular localization error (ALE) variations, along with SNRs, were simulated to quantify the sensitivity of the Goniopolarimetric algorithm to galactic background noise. Future work will focus on determining the optimum effective length of the individual monopoles to maximize sensitivity and localization accuracy while ensuring efficient impedance matching with the receiver. The optimized antenna will be evaluated under realistic plasma environments through electromagnetic and plasma simulations to investigate the influence of plasma parameters.

astro-ph.IM↗
arXiv2026

Connected graphs having maximum signless Laplacian spectral radius

Let $ρ(G)$ denote the signless Laplacian spectral radius of a graph $G$, and let $\mathcal C_{n,m}$ be the family of connected graphs of order $n$ and size $m$. A graph is $Q$-maximal if it maximizes $ρ(G)$ over this family. Motivated by a question of Chang and Tam (2011), we study this extremal problem using scalar identities and coronal methods for threshold graphs. From the Perron equations, we derive the identity $S_G(λ)=T_{a,b}(λ)$ at $λ=ρ(G)$, where $a$ and $b$ are the total numbers of zero-vertices and one-vertices. This yields a one-point comparison principle: for a connected threshold graph $H$ with the same block totals, $S_H(z)>T_{a,b}(z)$ at some $z\ge n$ implies $ρ(H)>z$, allowing spectral comparison without estimating individual Perron coordinates. We prove that every $Q$-maximal threshold graph has character at most three, so its vertex-sequence contains at most three zero--one block pairs. We also show that the quasi-star graph is $Q$-maximal whenever $n\ge5$ and $n-1\le m<(n^2+10n-8)/8$. For certain dense parameter pairs, we construct connected threshold graphs with signless Laplacian spectral radii strictly larger than those of both the quasi-star and the connected quasi-complete graph. Thus the corresponding two-candidate assertion for connected graphs fails in general.

math.CO↗
arXiv2026

TRiST: Topology-Reinforced Swin Transformer for Medical Image Analysis

Medical images contain topological patterns, such as connected components and loops, at scales ranging from small lesions to organ boundaries. Although hierarchical Vision Transformers have advanced medical image analysis, they do not explicitly incorporate topology throughout their multiscale representations. We propose Topology-Reinforced Swin Transformer (TRiST), a framework that integrates topological information into feature construction, refinement, and attention. First, a Hierarchical Multi-Scale Topology Representation algorithm computes 2D persistent homology (H0 and H1) independently at four native Swin stages, producing descriptors aligned with each stage's token grid rather than downsampling fine-scale topology. Second, a Band-Aware H0/H1 Residual Refinement module uses gated residual networks to process short-, medium-, and long-persistence information separately. Third, a Persistence-Band Progressive Attention Bias converts stage-specific descriptors into learned key-saliency scores that directly modify shifted-window attention logits. We instantiate TRiST as Topo-SwinV2-B for classification and Topo-Swin-UNet for segmentation, preserving the underlying Swin-based backbones. Experiments on five medical image datasets show consistent improvements over Swin-based baselines and competitive performance relative to existing topology-augmented methods.

cs.CV↗
arXiv2026

MP-DualNet: A Dual-Branch Deep Learning Approach for Magnetopause Boundary Detection Using Simulated SXI Images

The Earth's magnetopause is a key boundary governing solar wind-magnetosphere coupling. The Solar wind Magnetosphere Ionosphere Link Explorer (SMILE) mission will provide global soft X-ray imaging of the magnetosphere through solar wind charge exchange (SWCX) emission, offering a new opportunity for remote sensing of magnetopause dynamics. However, the limited field of view (FOV) and variable observation geometry of the Soft X-ray Imager (SXI) pose challenges for reliable magnetopause detection. In this study, we develop MP-DualNet, an end-to-end dual-branch deep learning framework for automated magnetopause detection from simulated SXI observations. The framework jointly performs coarse localization to determine magnetopause visibility and relative position within the FOV, and fine-scale boundary localization through pixel-level segmentation. The model is trained and evaluated using line-of-sight magnetopause envelope maps derived from global hybrid simulations under different solar wind and interplanetary magnetic field conditions. The results demonstrate stable and consistent performance, with a classification accuracy exceeding 0.94 and a segmentation IoU above 0.97. For the test set, the mean absolute angular displacement from the reference boundary was 0.488 degrees. The model maintains robust performance across a wide range of noise levels and generalizes well, as demonstrated by its application to an independent storm event. These results indicate that MP-DualNet provides a reliable and generalizable approach for magnetopause detection in SXI observations, supporting future 3D reconstruction and space weather studies in the context of the SMILE mission.

astro-ph.SR↗