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 1,729 records · Page 96Linked to original sources

Wavelet compression for sampling deep Gaussian processes

Deep Gaussian processes (DGPs) use iterative sampling to create non-stationary random fields. This is notoriously expensive because the covariance at each non-initial layer depends on the realised field from the layer below, so it changes with every sample. Moreover, standard fast sampling techniques like circulant embedding or matrix compression fail since the underlying kernel usually lacks the necessary regularity and structure. We develop and analyse a wavelet compression method for convolution Matérn DGPs. At each layer the covariance matrix is compressed using wavelets and a Lanczos algorithm computes the random sample. For specific parameter ranges involving the smoothness of the Matérn kernel as well as the smoothness of the wavelets, we show that the accumulative compression and sampling errors through all layers decay exponentially with increasing truncation parameter. We obtain a practical DGP sampling algorithm by choosing a truncation that gives log-linear covariance storage and matrix-vector costs, enabling DGP sampling at nearly linear computational cost.

math.NA↗

A new generalization of parking functions: $ρ$-Naples parking functions

We introduce a new model of parking functions, called $ρ$-Naples parking functions, in which each car has a certain number of spots to check preceding its preferred one before looking for available spots by moving forward. This notion, where each car has its own number of previous spots to check, generalizes that of Naples parking function, where this number is the same for all cars. We start by showing that, for a given sequence of preferences for each car, a successful parking strategy (that is, an assignment of how many backward spots each car is allowed to check) remains successful if we increase the number of backwards spots to check for some of the cars. This means that the set of successful strategies for a given parking preference is an up-set in the lattice of parking strategies, which raises the intriguing question of characterizing such up-sets. Though we are not able to completely solve this problem, we provide a characterization of those successful strategies which minimize the total number of allowed backward steps for a given parking preference, and we determine a lower bound for the number of cars which are allowed to move backwards (also showing that it can be attained). To conclude, we analyze the specific situation in which each car can take at most one backward step, and we completely characterize the set of successful parking preferences in this case.

math.CO↗

Transport regimes in tunnel ferromagnetic Josephson junctions

We present a systematic study of the temperature-dependent transport properties of Nb- and Al-based superconductor--insulator--thin superconductor--ferromagnet--superconductor (SIsFS) Josephson junctions. By varying the superconducting material and the thickness of the intermediate superconducting layer, we identify three distinct transport regimes: a tunnel-dominated SIS-like regime, a temperature-driven crossover, and a complex weak-link regime. A unified Usadel-based description connects these regimes through the self-consistent pair potential of the intermediate s-layer. While for Al-based devices an SIS-like transport regime is observed, a self-consistent calculation of the s/F/S proximity electrode, combined with perturbative tunnel coupling to the outer electrode, accounts for Nb devices with different thickness of the superconducting interlayer. The calculation places the 10-nm-interlayer sample in a proximity-supported, strongly suppressed s state, close to the SInFS limit in which the interlayer is effectively driven normal (\textit{n}). A reduced nonlinear long-junction description captures the same limiting physics. The evolution of I_cR_N(T) thereby provides a direct experimental signature of the three transport regimes. Beyond the fundamental interest, the results establish practical design guidelines: Nb junctions with sufficiently thick s interlayers are well suited for high-speed cryogenic memory elements and tunable superconducting parametric amplifiers, while Al junctions are natural candidates for coherent superconducting quantum circuits

cond-mat.supr-con↗

FlowSep-RF: Rectified Flow Matching for Single-Channel Radio-Frequency Signal Separation

Single-channel radio-frequency (RF) signal separation is important for interference mitigation when a signal of interest overlaps with a co-channel interferer in time and frequency. Classical matched filtering and LMMSE receivers are limited under structured non-Gaussian interference, while diffusion and score-based methods often require iterative sampling or optimization. We propose FlowSep-RF, a rectified flow matching framework that learns a clean-endpoint transport from the received mixture to the signal of interest. The model combines time-domain IQ samples with frequency-domain features and recovers the separated waveform using one endpoint velocity evaluation. We evaluate FlowSep-RF on QPSK mixtures with OFDM-BPSK, OFDM-QPSK, and RFChallenge CommSignal2 interference against classical, discriminative, and generative baselines. FlowSep-RF achieves the lowest average BER and MSE among evaluated baselines across all three settings with one-step inference.

eess.SP↗

Benign Degeneracy for First-Order Methods in Exact Boolean Moment-SOS Relaxations

Pseudo-Boolean optimization -- minimizing a polynomial over $\{\pm 1\}^n$ -- includes MAX-CUT, binary quadratic optimization, and Ising models. The moment-sum-of-squares (Moment-SOS) hierarchy provides certified semidefinite relaxations that are often empirically exact at low order. We ask: once a relaxation is exact, how difficult is the resulting semidefinite program (SDP) to solve with first-order methods? Exactness does not imply regularity. At every order $d \ge 2$, a unique rank-one moment optimum is primal degenerate; moreover, if one optimal SOS certificate is strictly complementary, then the certificate set is positive-dimensional and contains singular boundary points. Thus first-order methods may converge to singular endpoints, around which pointwise analyses that assume regularity at the limit cannot establish a local linear convergence rate. We show that, for exact Boolean Moment-SOS relaxations in their canonical quotient form, this degeneracy is nevertheless benign. We develop an abstract mechanism, which we call residual-field rigidity, that propagates regularity from the relative interior of the optimal set to its singular boundary. For Boolean Moment-SOS, unique rank-one exactness and the existence of one strictly complementary certificate suffice to trigger this mechanism, yielding a uniform error bound around the entire optimal set. Consequently, exact ADMM, exact sGS-ADMM, and fixed-step PDHG converge eventually linearly from every initialization, even when their limiting certificate is singular. Finally, outside a lower-dimensional semialgebraic exceptional set of Boolean objectives, these hypotheses hold simultaneously at every uniquely rank-one exact order.

math.OC↗

Memory-resolved prediction of ligand residence times on the minutes timescale

AI-enabled computational drug discovery is advancing rapidly in predicting molecular structures, binding poses and affinities, but ligand dissociation kinetics remain harder to access. Bound-state residence time, important for biological response and kinetic selectivity, is not fixed by equilibrium affinity but depends on the dissociation free-energy landscape and dissipative friction effects. Here, we show that restrained umbrella-sampling trajectories can be used to calculate residence times on the minutes timescale. Time-resolved coordinate fluctuations yield friction profiles that incorporate non-Markovian effects on dissociation kinetics. Combining them with the free-energy profile, we predict a residence time of $τ_{\rm res}$ = 275 s for the adenosine A$_{2A}$ receptor with ZM241385 (comparable to the experimental value of 125 s) and reproduce the experimental ranking of wild type and two receptor mutants. For HSP90 with compound 18 and RNase S with the S15 peptide, we predict $τ_{\rm res}$ = 2,169 s and 2,259 s (experimental values are 833 s and 2,439 s). Neglecting memory effects on residence kinetics overestimates $τ_{\rm res}$ by factors of 2.6 to 29.

physics.bio-ph↗

CSWBench: Evaluating Context-Sensitive Code-Switching in Creative Writing

Large language models (LLMs) have demonstrated multilingual capabilities across diverse language generation and understanding tasks. Yet effective code-switching requires more than multilingual proficiency: models must decide when, where, and why to switch languages in ways that fit the surrounding context. This context-sensitive ability remains insufficiently evaluated. We introduce CSWBench, a benchmark for evaluating context-sensitive code-switching in creative writing through two complementary settings: Focused Narrative and Extended Narrative. We further propose CSWEval, a theory-informed framework with two complementary levels: event-level evaluation of Licensing, Contextual Appropriateness, and Functional Gain, and whole-text evaluation of task-specific quality---overall literary and narrative quality in Focused Narrative and quality emphasizing multilingual organization in Extended Narrative. Evaluating twelve LLMs, we find that models exhibit meaningful but uneven code-switching competence across narrative contexts. Model differences are particularly pronounced in multilingual literary integration, while multilingual-focused dimensions show stronger difficulty effects overall than the general narrative dimensions; narratively salient switches are associated with stronger contextual and functional realization; and event-level CS quality is moderately associated with whole-text performance.

cs.CL↗

An upper bound for valuations of elliptic nets at primes of bad reduction

Let $E/K$ be an elliptic curve over a field defined by the short Weierstrass equation and let $\mathbf{P}=(P_1, P_2) \in E(K)^2\setminus \{(O, O), (\pm P, \pm P)\}$ be a pair of non-torsion points, where $O$ denotes the point at infinity. We give a uniform upper bound for the quantity $\min(ν(Φ_{(v_1, v_2)}(\mathbf{P})), 2ν(Ψ_{(v_1, v_2)}(\mathbf{P})))$, where $ν$ is a normalised discrete valuation associated to primes where $E$ has bad reduction and $Ψ^2_{(v_1, v_2)}(\mathbf{P})$, $Φ_{(v_1, v_2)}(\mathbf{P})$ are rational functions for describing $\mathbb{Z}$--linear combination of points $[v_1]P_1+[v_2]P_2$ on $E$, higher--dimensional analogues of division polynomials $ψ^2_n, ϕ_n$ known as net polynomials. They are also elliptic nets, which are $n$--dimensional arrays with values in $K$ satisfying the same nonlinear recurrence relation that division polynomials do as well. Hence, they are useful in studying counting problems on elliptic curves.

math.NT↗

Resolution Allocation with Learnable Resizing and Spectral Filter Parameterization

Learnable downsampling and spectral-domain filter parameterizations have each made convolutional networks more flexible, but their interaction has not been systematically examined. We bridge this gap by examining convolutional kernels learned in the spatial and spectral domains, together with learned downsampling ratios under a cropped resizing implementation. We find that spectral and spatial kernels respond differently to learned resolution allocation, with larger gains for the spectral kernel. We observe this consistently on three datasets (EuroSAT, CIFAR-10 and STL-10) and at two model sizes (differences in accuracy gain of +0.013 to +0.028 on held-out test sets). Part of this difference reflects the greater gain of the spectral kernel from retaining more spatial area, but the difference remains positive when total retained area is matched. This pattern is observed across datasets and model sizes, although its magnitude and dependence on the complexity budget vary with model size and the resizing implementation.

cs.LG↗

A Sideways Crack-Path Instability Amplified by Slow Loading

Crack-path instabilities in solids are typically associated with high propagation velocities. In contrast, we show that nanoparticle-filled elastomers exhibit a sideways crack-path instability that is amplified as the pulling velocity decreases and nearly vanishes at high pulling velocities. The sideways deviation amplitude decreases logarithmically with increasing pulling velocity and scales as the square root of the filler fraction. Large deviations develop at low mean crack velocities and are associated with effective fracture energies up to two orders of magnitude lower. These findings are consistent with subcritical rupture kinetics and suggest that the deviation amplitude is limited by the elasto-adhesive length.

cond-mat.soft↗

Search for Compact Binary Coalescences with Sub-solar Mass Components in Data from the Second Part of LIGO-Virgo-KAGRA's Fourth Observing Run

We report on a gravitational wave search for compact binary coalescences with secondary mass between 0.2 M and 1 M and primary mass between 0.2 M and 10 M, restricting the component mass ratio to lie between 0.1 and 1. The analysis uses data collected by the LIGO and Virgo detectors between 2024 April 10 15:00:00 and 2025 January 28 17:00:00, the second part of the fourth observing run of the LIGO-Virgo-KAGRA Collaboration. Results from two out of three search pipelines show outlier candidates, but not at a sufficient level of significance to provide evidence for detection. We report the combined sensitivity of the current searches over the first and second parts of the observing run to the target sub-solar mass (SSM) black hole (BH) population, as well as to neutron star (NS) binaries with one or more sub-solar component. We place upper limits on the merger rate of SSM BHs, ranging from $50 {\rm Gpc}^{-3} {\rm yr}^{-1}$ to~$5000 {\rm Gpc}^{-3} {\rm yr}^{-1}$ (90% confidence) for different component mass combinations. We use the merger rate limits to constrain two illustrative dark matter (DM) scenarios that can form SSM compact objects: primordial BHs, and dark BHs forming in a dissipative DM model. Our search limits the fraction of DM in primordial BHs, assuming a monochromatic mass distribution, to be $\leq$ (0.018-0.032) at 1 M, and $\leq$ (0.10-0.18) at 0.35 M for early-forming binaries; or to be less than 1 at masses above (0.62-0.74) M for late-forming binaries. For the dissipative model, we constrain the fraction of DM for a range of minimum dark black hole masses below $1\,M$ to be as low as (1.0-1.1) x $10^{-5}$; we also exclude minimum masses above (0.62-0.74) M, if dark BHs constitute all of the DM. For binary NSs that include sub-solar mass components, assuming a simple, fixed population model we find a merger rate upper limit of $249 {\rm Gpc}^{-3} {\rm yr}^{-1}$.

gr-qc↗

TANGO: RNA Topology and Geometry Co-Design

Designing RNA sequences that satisfy target tertiary-structure objectives is an important problem in RNA engineering, with broad applications in synthetic biology and therapeutics. Existing 3D RNA design methods have made substantial progress, but they largely treat the target fold as a geometry-only objective. This is incomplete for RNA, whose functional folds are specified not only by tertiary geometry but also by secondary base-pairing topology. We therefore formulate RNA inverse design as a topology-and-geometry co-design problem and propose TANGO, a multi-objective multi-agent reinforcement learning framework for this task. TANGO adopts a staged curriculum: it first learns a topology-aware policy from secondary-structure targets, then transfers this policy to tertiary-structure targets to train a general co-design model, and finally applies frontier-guided fine-tuning to refine target-specific trade-offs among secondary-structure fidelity, tertiary-structure fidelity, and sequence diversity. Experiments show that TANGO generates diverse and novel designs, improving tertiary- and secondary-structure performance by 18.3% and 52.7%, respectively, over the strongest baseline.

cs.LG↗

A Valid Watermark Is Not a Valid Identity: Spatial-Spectral Adversarial Face Evasion with Watermark Preservation

Facial image watermarking can support traceability and certification in biometric pipelines, but provenance or manipulation detection alone does not guarantee reliable biometric identity. We introduce a watermark-preserving face evasion attack that targets this gap under a black-box watermarking setting, without access to the watermarking components. The proposed PGD-L_2 attack guides adversarial perturbations with spatial and spectral preservation terms to reduce face-recognition similarity while limiting pixel-level distortion and high-frequency changes that may interfere with hidden watermark cues. Evaluated on controlled facial images with two watermarking schemes, two face-recognition models, and two datasets, the attack achieves evasion rates above 92% at operational thresholds while preserving watermark recovery above 93% for StegaFormer and above 99.7% for FaceSigns, with visual quality above 47dB PSNR at epsilon_2=2.0. These results expose a structural gap in watermark-based facial certification: a face image can remain watermark-valid and visually faithful while becoming biometrically unreliable.

cs.CV↗

Neural POS Tagging for the Low-Resource Saraiki

Part-of-speech tagging is a fundamental sequence labeling task and an important component for many downstream natural language processing applications. However, Saraiki, written from right to left in a Perso-Arabic script, remains an under-resourced Indo-Aryan language, despite being spoken as a mother tongue by 28,849,579 people (approximately 28.9 million) according to Pakistan 7th Population and Housing Census 2023. This paper presents a manually annotated Saraiki Universal POS tagging dataset developed from plain-text. We annotated the text with 17 POS categories. We evaluate three pretrained transformer encoders under the same fine-tuning setup: XLM-RoBERTa base, Urdu RoBERTa small, and multilingual DistilBERT. Experimental results over five random seeds show that XLM-RoBERTa base achieves the best performance, with 87.29% +/- 0.21% development accuracy and 88.60% +/- 0.21% test accuracy. Urdu RoBERTa small and multilingual DistilBERT also provide competitive results, suggesting that multilingual and related-script pretrained encoders are effective for Saraiki UPOS tagging. The dataset, evaluation setup, and baseline results introduced in this work provide a benchmark for future research on Saraiki NLP and low-resource sequence labeling.

cs.CL↗

Learning-Based Adaptive MPC for Magnetorquer-Only Satellite Attitude Control

Nanosatellites (e.g., CubeSats) have the potential to carry out useful science and exploration activities for outer solar system exploration, but their small size leads to tradeoffs between attitude control and science capabilities. Magnetorquers offer a unique compromise as compact actuators that enable three-axis attitude control, but suffer from a loss of control authority and require full knowledge of the planetary magnetic field. In this work, we present a learning-based adaptive model predictive control (MPC) algorithm that plans rotational trajectories for the satellite while accounting for this loss of control authority. Key to our approach is the inclusion of a learned magnetic field model that is trained in simulation using low-fidelity magnetic field data. Using measurements collected online, our proposed algorithm adapts this learned magnetic field model using a simple last-layer update scheme, allowing the MPC controller to quickly adapt to the true planetary magnetic field model and more effectively plan attitude trajectories. We demonstrate the results of our proposed approach for two use cases, (1) Earth-orbit and (2) Uranus-orbit, and show that our learning-based adaptive MPC algorithm improves controller success for these system simulations by 5% and 61%, respectively.

cs.RO↗

Topological degree for singular $N$-mean field equations

We determine the Leray--Schauder degree of the singular Dirichlet $N$-mean field equation on a smooth bounded domain in $\mathbb{R}^N$, $N\geq2$, for every positive nonresonant parameter and singular exponents $-1<α_i\leq0$. The formula depends only on the Euler characteristic of the domain and the weights $(1+α_i)^{N-1}$. We also identify the homotopy type of every sufficiently negative variational sublevel with the corresponding weighted barycenter space. We prove quantization of interior concentration masses and exclude boundary concentration and residual diffuse mass. The degree computation uses common descent fields for nearby parameters, bounds for their trajectories, and a finite-dimensional comparison with the Euler characteristic of negative sublevels. Annular averaging and dilation provide local contractions, which are extended to establish the sublevel homotopy equivalence. The arguments apply to the nonlinear, possibly degenerate $N$-Laplacian with singular weights, without requiring a global Palais--Smale condition or isolation and nondegeneracy of solutions.

math.AP↗

Beam-STeP: Generative Site-Specific Beam Prediction with Spatio-Temporal Priors

A generative site-specific beam prediction (Beam-STeP) method is proposed. Spatial priors from site-specific propagation and mobility information are jointly exploited with temporal priors from historical beam observations for beam prediction. To address the beam prediction ambiguity from multimodal spatio-temporal priors, the generative model is adopted, where a history-conditioned diffusion model is proposed to learn the multimodal conditional distribution of future beamforming vectors. Multiple beam candidates are sampled from the distribution using a denoising diffusion implicit model (DDIM). The candidate with the highest received power is then selected for transmission. Simulation results across three urban scenarios demonstrate that: i) Beam-STeP generally achieves higher normalized beamforming gains than the baselines under the same probing budget, particularly as beam prediction progresses; ii) site-specific propagation and mobility priors improve recursive beam prediction performance; and iii) DDIM sampling enables a flexible gain-latency trade-off.

eess.SP↗

From Semantic Editing Intentions to Persistent Parametric Controls for AI-Assisted Image Editing

AI-powered image editing increasingly allows users to express high-level editing intentions, yet how these intentions are translated into concrete editing actions often remains difficult to understand. We present Atelier, a semantic image editing tool that uses image semantics and user intent to determine which editing controls to surface and how to initialize them. Guided by a formative study with eight image-editing practitioners, Atelier composes context-specific, directly manipulable controls that users can refine rather than committing AI interpretations directly to finished edits. In a within-subjects study with 12 practitioners, participants preferred AI-composed controls, described them as supporting creative exploration, and actively refined AI proposals. However, experiences of control were mixed, and interviews highlighted limited insight into why particular controls and values were proposed. Our findings suggest that making AI interpretations actionable through manipulable controls can support exploration and refinement, but actionability alone does not make those interpretations transparent to all users.

cs.HC↗