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 919 records · Page 51Linked to original sources

Decodability Is Not Validity: Evaluating Nuisance Sensitivity in Language Model Concept Probes

Two concept probes can be equally accurate at predicting a concept from a language model's hidden states while their scores contain different mixtures of the target concept and a correlated nuisance attribute. In four target--nuisance settings (two aspect sentiments in CEBaB; occupation and gender in BiasBios; Amazon review sentiment with negation, and with first-person framing), two LLMs, and a population of concept extractors, we compare decodability with discriminant evidence: the score's dependence on the nuisance at fixed target, and its response to input edits intended to change only the nuisance, filtered by two LLM judges and compared against placebo edits. Under correlated training data, extractors that are statistically equivalent in held-out AUROC differ up to several-fold in nuisance sensitivity in three of the four settings, and decodability is not a reliable proxy for it: their rank correlation changes sign across settings. The effect follows the probe's training data, not the nuisance's natural association with the target: first-person framing, unrelated to sentiment in natural reviews, is absorbed at least as much as negation, which co-occurs with negative sentiment, and decorrelated training removes the systematic effect. Selecting extractors with nuisance-aware development diagnostics, which need nuisance labels but no counterfactuals, lowers counterfactual nuisance sensitivity wherever the default choice is sensitive, at a small accuracy cost. Concept measurements should be validated, not just decoded.

cs.CL↗

Search for dark matter axions at 1-2 micro-eV with a RADES-DarkQuantum haloscope at CERN

The QCD axion remains one of the most compelling candidates for the dark matter of the Universe, yet the mass range around $1$\text{--}\SI{2}{\micro\electronvolt} remains essentially unexplored. In this paper, we describe a proposal to employ CERN's M1 superconducting magnet to deploy a haloscope to perform a search for galactic axion and axion-like particle dark matter providing continuous coverage from approximately 1.2 to 1.8 \SI{}{\micro\electronvolt}. Under conservative assumptions, the experiment can reach the QCD axion band over a significant fraction of the scanned range, while optimistic detector performance would allow sensitivity to benchmark models such as KSVZ and DFSZ over a large part of the explored mass interval. With the current long shut-down of CERN's accelerators providing a unique and timely window, such an experiment will deliver high-impact results even in conservative scenarios and potentially delivering a definitive test of the axion dark matter paradigm in the unexplored $1$\text{--}\SI{2}{\micro\electronvolt} mass range.

hep-ex↗

Nonlinear Interaction and Topological Selection Rules in two Skyrmion Merging: Emergence of Skyrmionium Textures

The nonlinear interaction of closely spaced magnetic skyrmions remains poorly understood, particularly the conditions governing their merger into a single skyrmion or a stable skyrmionium. Here, we investigate the merging dynamics of two Néel skyrmions using analytical modelling and micromagnetic simulations based on Landau-Lifshitz-Gilbert dynamics. We examine the effects of exchange, Dzyaloshinskii-Moriya interaction, anisotropy, and magnetostatic energies by varying the initial separation, polarity, winding number, and skyrmion size. Our results reveal a topological selection rule: skyrmions with identical polarity and opposite winding numbers form a stable skyrmionium at intermediate overlap, while all other configurations relax into a single skyrmion. We also identify a critical radius below which the skyrmionium collapses, showing that its formation requires both the appropriate topology and a minimum size. Energy analysis reveals that the transition involves cooperative relaxation of exchange frustration and redistribution of Dzyaloshinskii-Moriya and magnetostatic energies, leading to a double-domain-wall structure. The resulting skyrmionium exhibits persistent breathing oscillations around an equilibrium radius, confirming its dynamical stability as a metastable state. These findings establish a predictive framework for controlling skyrmion merging and provide design guidelines for engineering skyrmionium textures in chiral magnetic nanostructures.

cond-mat.mes-hall↗

A Sequential Framework for Urban Drone Delivery: Network Design, Vehicle Sizing, and Energy and Cost Assessment

A sequential engineering framework is presented for urban drone delivery, linking hub location, route planning, mission-specific vehicle sizing, and energy and operating cost assessment. Aggregate origin-destination demand is assumed known a priori. For each hub configuration, the maximum required link distance is minimized, and feasible routes that return to their departure hubs are generated. Route frequencies are determined using mixed-integer linear programming to satisfy delivery demand. The resulting range requirement guides motor-propeller selection and battery sizing to minimize vehicle takeoff mass. Flight distances and frequencies, cruise performance, and vehicle dimensions are combined to estimate monthly energy consumption, fleet size, hub area, staffing, and operating cost. The framework is applied to district-level Seoul delivery data. Increasing the number of hubs from one to four reduces the required range from 30.6 to 21.9 km and vehicle takeoff mass from 8.12 to 6.12 kg. Despite a 21.5% increase in total flight distance, monthly flight energy consumption decreases by 13.1%, from 15.2 to 13.2 MWh. Battery replacement is the largest vehicle-related operating expense, while operating cost per delivery increases from USD 1.18 to USD 2.20 because of higher rent and labor costs at the hubs. Among the designs evaluated, range-matched vehicles achieve the lowest operating cost in the two- and four-hub networks; a longer-range vehicle is least costly in the three-hub network. Sensitivity analyses further examine the effects of delivery demand and operating assumptions. The results demonstrate that reductions in vehicle mass and energy consumption do not necessarily lead to lower system operating cost.

cs.RO↗

Self-Supervised Learning of Local Predictive Directions as a Neural Computation

Natural sensory dynamics are globally nonlinear but often exhibit simple local geometry, with nearby trajectories evolving preferentially along a small number of predictive directions. We ask how neural circuits could discover this geometry directly from temporal experience. We introduce Local Predictive Directions (LPD), a self-supervised framework that learns local directions whose projections maximally predict near-future trajectory evolution. LPD applies past-future canonical correlation analysis to temporal differences, making the learned representation invariant to translations of the underlying state while avoiding estimation of equilibria or a global dynamical model. To represent systems with multiple predictive regimes, we introduce a non-negative similarity-matching objective, with offline and online algorithms, that partitions trajectory segments into predictive domains, each associated with a distinct local predictive direction. The online algorithm admits a natural neural-network interpretation: the resulting activities provide soft domain assignments, while synaptic weights encode the corresponding local predictive filters. On stochastic nonlinear dynamical systems, LPD recovers the local predictive geometry and partitions trajectories into distinct dynamical regimes. On naturalistic sensory streams, the online algorithm produces center-surround spatial receptive fields and ON/OFF sustained and transient temporal filters resembling those of early visual neurons. Our results suggest that predictive learning can provide a self-supervised mechanism by which neural circuits discover the local geometry of environmental dynamics and represent it in receptive fields.

q-bio.NC↗

Self-Supervised Diffusion Models for Handwritten Signature Verification via Ruin Reconstruction

Handwritten signature verification (HSV) is a critical biometric technique in legal and forensic authentication, whose efficacy hinges on the discriminability of signature representations. Current HSV methods predominantly adopt supervised learning to enhance representation quality, leaving self-supervised learning largely unexplored. We propose \emph{SigDiffuser}, a diffusion-based self-supervised framework for signature representation and verification. At its core, \emph{SigDiffuser} introduces a novel pretext task termed \emph{Reconstruction from Ruins (RFR)}, which deliberately ``ruins'' signatures through severe crumpling, obliterating their structural integrity and writing styles. A visual encoder is employed to capture crucial handwriting patterns from intact signature regions, guiding the denoiser to reconstruct the ``ruined'' portions and learning meaningful representations. Additionally, we introduce a \emph{pyramidal feature aggregation module (PFAM)} to bridge the visual encoder and denoiser, enhancing representation quality via hierarchical aggregation and modulation. Extensive experiments on multilingual signature datasets demonstrate that \emph{SigDiffuser} significantly outperforms both state-of-the-art SSL methods and HSV models. We further show that increasing the crumpling severity on signatures effectively improves representation quality. Notably, our work demonstrates that extreme destruction, coupled with self-supervised diffusion models, can yield superior signature representation compared to traditional mild deformations, paving new avenues for HSV and other biometric domains. Code will be publicly available.

cs.CV↗

MV-Sign: Multi-View 3D Motion Integration and Enhanced Text-to-Motion Conditioning for Sign Language Production

Sign language production (SLP) aims to generate appropriate sign language motion from spoken language text. However, current 3D SLP methods suffer from noisy supervision and weak text conditioning. Specifically, these methods typically rely on pseudo-3D motion data fitted from single-view frontal videos, which introduces severe self-occlusion and loses fine-grained hand details, ultimately degrading downstream production. To overcome these limitations, we propose a comprehensive framework that jointly integrates multi-view 3D motion data and optimizes the text-conditioning pathway. First, we introduce How2Sign-MV3D, a high-fidelity dataset constructed via a novel cross-view curation pipeline that fuses multi-view estimates to resolve occlusions and filter non-signing segments. Second, we design a robust SLP model incorporating a sign-aware spatio-temporal VQ-VAE (ST-VQVAE) for joint body-hand tokenization, a pseudo-gloss adapter, and keyframe-aware retrieval to enhance text-to-motion alignment. Evaluated on the How2Sign benchmark, our framework reduces body and hand DTW-PA-JPE by 32.8% and 20.9% respectively compared to the state-of-the-art. Finally, we release two new high-quality 3D datasets, ASLCitizen-3D and MM-WAuslan-MV3D, alongside SGNify-MV as a multi-view video benchmark to support broader community research.

cs.CV↗

On bordism classes of symmetric products of surfaces

We explicitly determine the complex bordism class of the $n$-th symmetric product of a complex curve of genus $g$. In particular, we provide an explicit formula expressing this class as an integral linear combination of bordism classes of products of complex projective spaces. Similarly, we determine the unoriented bordism class of the $n$-th symmetric product of a non-orientable surface of genus $g$ (i.e., $\#_{i=1}^{g+1}\mathbb R P^2$). It turns out that these classes are also expressed as a $\mathbb Z_2$-linear combination of bordism classes of products of even-dimensional real projective spaces. We also give an affirmative answer to a non-orientable version of the Blagojević--Grujić--Živaljević conjecture stating that the topological type of any symmetric product of a noncompact surface of finite type determines the topological type of the surface itself.

math.AT↗

CMDiff: Left Atrial Scar Segmentation from 3D LGE MRI Using Conditional Mask Diffusion Model: A Feasibility Study

Late gadolinium enhancement (LGE) cardiac MRI enables non-invasive assessment of left atrial (LA) scar, an imaging marker associated with atrial fibrillation ablation outcome. However, automatic scar segmentation is hindered by low contrast, the thin atrial wall, scarce labels, and extreme class imbalance. Conditional diffusion offers iterative mask generation, but its suitability for sparse 3D LA scar segmentation remains unclear. To address this gap, we propose Conditional Mask Diffusion (CMDiff), which predicts clean masks using a dynamic-encoder-conditioned 3D sinusoidal UNet. We compared CMDiff with a deterministic baseline on identical cases in five-fold cross-validation of 60 scar-labelled public LASCARQS subjects, with 48 training and 12 held-out cases per fold. CMDiff achieved a scar DSC of 0.47 $\pm$ 0.08, HD95 of 12.89 $\pm$ 6.39 mm, and ASD of 1.91 $\pm$ 0.96 mm, compared with deterministic baseline values of 0.51 $\pm$ 0.08, 10.86 $\pm$ 5.39 mm, and 1.58 $\pm$ 1.03 mm, respectively. Under the same implementation, clean-mask prediction performed substantially better than the noise-prediction configuration evaluated in this study. Thus, CMDiff was technically feasible but did not improve segmentation performance: DSC was lower, and both HD95 and ASD were higher. Direct mask diffusion therefore provides an analytical alternative, but not a competitive performance advance for this task. The source code is publicly available at https://github.com/jizhang02/CMDiff.

cs.CV↗

Newton Steps are Faster for Linear Complementarity Problems

Linear Complementarity Problems (LCPs) with sufficient matrices form a well-studied class of problems, dating back from the foundational works of Cottle and Dantzig (1968). LCPs capture convex quadratic programs, and admit reductions from problems such as discounted stochastic games or mean-payoff games. While the original approach for solving these problems was based on pivoting methods, in their 1991 book, Kojima, Megiddo, Noma, and Yoshise introduced an interior point method (IPM) with running time that is polynomial in the input size, but which depends linearly on a certain parameter called the handicap number of the matrix. Despite the ensuing rich literature on sufficient LCP IPMs, the linear dependence on the handicap number has not been improved since then. We present an IPM whose running time depends on the square root of the handicap number. The algorithm can decrease the duality gap by a constant factor in $O\left(\min\left\{\sqrt{n} (1+κ),n^{9/8}\sqrt{1+κ}\right\}\right)$ iterations. Curiously, this can already be achieved using standard Newton updates. We analyze the IPM in a norm defined by a local weighting, where centralizing Newton steps quadratically converge to the central path, without any dependence on the handicap number. The weights arise from a characterization by Rump (Linear Algebra and Its Applications, 1997, 1998, 2003) of the sign-real spectral radius and its relation to sufficiency; another ingredient of our proof is a new operator norm characterization of the handicap number. Moreover, the connection to Rump's work also enables us to show coNP-completeness of testing sufficiency, and approximation hardness of the handicap number.

math.OC↗

Wigner distribution modeling of nuclear state in NuWro Monte Carlo event generator

We develop a method to use the Wigner distribution (WD) description of the nuclear initial state of $^{12}$C, $^{16}$O, $^{40}$Ar, and $^{56}$Fe for quasielastic scattering in the NuWro Monte Carlo event generator. We propose two different algorithms to deal with the problem of negative values of the WDs. In our treatment, finite-nucleus WDs provide a correlation between the position and the momentum of bound nucleons that is very different from what is assumed in the standard approaches based on the Fermi gas model and spectral functions. We show that the use of WDs leads to effects that can be measured experimentally and may be relevant for future neutrino oscillation experiments.

nucl-th↗

Thurston algorithm for real entire maps: existence and uniqueness

This paper deals with the real Thurston pullback algorithm for entire maps with finitely many finite singular values, all real. Given a finite forward-invariant marking containing the singular values and satisfying an interval no-Levy-cycle condition, the pullback is shown to have a unique fixed point and it is shown that every orbit converges to it. The resulting entire map uniquely realises the marked dynamics up to positive affine conjugacy. Thus this paper established Thurston realisation and uniqueness in the setting of real entire maps with a finite postsingular set. As usual, the realisation problem reduces to the existence of a fixed point of the Thurston map $T$ which in the real setting acts on a simplex $W$ of dimension $s-2$ if the required postsingular set consists of $s$ points. The key estimate concerns a finite real preimage interval: when its critical multiplicity is bounded and its endpoint values stay separated from the singular values unless they equal to one, its hyperbolic diameter grows at most double-logarithmically as the separation tends to zero. An expansive marking (absence of Levy cycles) then rules out configurations near the boundary of the simplex whose displacement under the Thurston map is at most a fixed multiple of their distance to the boundary. Using a version of the Brouwer fixed point theorem, this immediately implies that the Thurston map $T$ has a fixed point. The argument permits infinitely many real and non-real critical points and different behaviours as the real variable tends to $+\infty$ and $-\infty$. Additional estimates for fixed labelled inverse branches, which are not strictly necessary for the proof of the Main Theorem, are given in the appendices.

math.DS↗

Data-quality monitoring of luminosity blocks with ATLAS Open Data: an open benchmark and a learned within-run detector

Data-quality monitoring at the LHC decides, luminosity block by luminosity block, which collision data enter physics analyses, yet its methods cannot be compared openly because the experiments' monitoring data are not public. We construct a public benchmark from the ATLAS Open Data release of the 2015--2016 proton--proton collisions at $\sqrt{s}=13$~TeV: 1289-bin histograms of reconstructed jets, electrons, photons, muons and the missing transverse momentum computed from them, for 39\,828 luminosity blocks of all 217 runs in the Good Run Lists; eight types of detector defects injected at event level at three strengths; real-data labels from the Good Run Lists and the liquid-argon calorimeter error flag; and a time-ordered protocol in which every detector is trained and calibrated on earlier runs only. Histogram shapes differ far more between runs than within a run (median $χ^2/n_\mathrm{dof}$ of 5.9 against 1.1), so references and autoencoders built across runs fail, and all competitive detectors use residuals with respect to a robust reference of each run. A gradient-boosted classifier on position-invariant features of these residuals, trained on synthetic defects and calibrated by split-conformal prediction, detects 43\% of the luminosity blocks with injected defects at a false-positive rate of 1.0\%, against 25\% for a matched-filter scan and 63\% for a single-histogram test that knows the defect pattern. For defect types excluded from its training, its efficiency falls to 18\%; adding pattern-agnostic synthetic detector failures to the training raises it to 34\%, above the scan, at a cost of three percentage points on the known types.

hep-ex↗

Axis-LoRA: Probing and Adapting Embedding Models for Personal-Memory Retrieval

As LLMs are increasingly asked questions about a user's personal experiences, retrieval must distinguish memories by time, place, person, and event. Current personal-memory pipelines rely on frozen dense embedding models to embed memories for retrieval, but we find that these models do not capture the four axes well. Swapping a memory's date or place barely shifts its embedding, and a trained projection on top of the frozen embedding does not recover the missing signal. The problem lives inside the model, where each axis is encoded by a distinct attention-head pattern. Guided by these findings, we propose Axis-LoRA, a per-axis adapter that places four LoRA branches inside the embedding model and combines them via a per-query gate. Across three standard embedding models evaluated on LongMemEval, ATM-Bench, and LoCoMo, Axis-LoRA improves 4-benchmark mean R@10 by $+1.28$ to $+1.56$~pp while training only a small fraction of the base parameters on a small axis-counterfactual training set. Code is available at https://github.com/dohoonkim-ai/axis-lora.

cs.CL↗

Recurrence and Uniqueness Criteria for Markov Processes from Moments of Integral-Type Functionals

We investigate recurrence and uniqueness of continuous-time Markov chains using moments of integral-type functionals. Unlike the classical criteria from Chen (2004) and the Feller-Reuter criterion, we develop general unified conditions for recurrence and uniqueness of Markov processes based on moments of integral-type functionals. The associated criteria follow directly from these conditions whenever the mean functionals can be expressed explicitly. As applications, explicit recurrence and uniqueness criteria are derived for single-birth, single-death, and birth-death processes on trees.

math.PR↗

Continuous Space-Time Finite Element Simulations for Biomedical Flows with Large Boundary Motion and Time-Periodicity

We present an axisymmetric continuous simplex space-time finite element method for incompressible fluid flow. Compared to conventional time-stepping methods, the space-time approach has several advantages. First, the motion of the domain is incorporated into the space-time geometry, allowing for large boundary motion without remeshing or projection of the solution. Second, the method allows for time-periodic solutions to be computed directly, without the need to simulate multiple cycles. Third, the space-time mesh can be partitioned in time as well as in space, which enables parallelism in time. The method is demonstrated on an intra-aortic balloon pump (IABP) in a rigid tube. The balloon inflation is modelled based on measured data, and includes a travelling wave along the balloon. The method is able to resolve complex flow features such as jets and recirculation zones. A refinement study shows convergence under temporal, spatial and combined space-time refinement. In weak scaling tests up to 960 ranks, the cost per solver iteration remains approximately constant, and partitioning the mesh into time slabs improves the convergence of the linear solver compared to partitions that cut through both space and time.

physics.flu-dyn↗

Sparse Bayesian Sensing for Antenna Arrays with Per-Element Gain, Phase, and Position Errors

The sensing capabilities of 6G wireless communication systems rely on accurate models of phased-array antennas. However, hardware imperfections can introduce a mismatch between the assumed and the actual array response, leading to performance degradations. To prevent these, we propose a parametric, model-based sparse Bayesian learning (SBL) channel estimation algorithm with integrated self-calibration, which accounts for antenna-position deviations as well as gain and phase offsets. The algorithm learns channel parameters such as delay and direction-of-arrival (DoA), together with per-antenna complex weights and position deviations based on fast variational SBL with dictionary refinement. We derive a marginal-likelihood-based cost function for the antenna position update. The sensing performance is evaluated in terms of the optimal subpattern-assignment (OSPA) metric of the delay and DoA. The proposed method approaches a benchmark based on the derived hybrid Cramér--Rao lower bound (HCRLB) in the considered single-snapshot sensing scenarios. Finally, we investigate the influence of the detection threshold using synthetic and measurement data. On single-snapshot measurements, our algorithm reduces the position OSPA from about 6 m to 0.2 m for an appropriately chosen threshold.

eess.SP↗

GradFlex: a Gradient-Based Method for Weak Lensing Flexion Measurement

Flexion, the second-order gravitational lensing distortion, probes small-scale mass distribution and complement the cosmic shear measurement. However, its detection is highly challenging due to the faint signal and the contamination arising from the intrinsic galaxy morphology. In this Letter, we present GradFlex, a new method that extracts flexion from the gradient field of galaxy surface brightness distributions without assuming a specific point-spread function model or galaxy morphology. Using surface-brightness conservation, we relate the pre- and post-lensing gradient fields and derive flexion estimators from ensemble-averaged statistics of the corresponding spins. Tests on numerical simulations across diverse galaxy morphologies and multiple noise realizations demonstrate its reliability under realistic observing conditions. Combined with shear measurements, it could tighten constraints on cluster density profiles and enable more detailed studies of substructure than shear alone.

astro-ph.CO↗