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 577 records · Page 32Linked to original sources

arXiv2026

Prediction of antimagnon-polarons with intrinsic momentum-space level attraction

Propagating hybrid quasiparticles formed by magnons and phonons (magnon-polarons) or photons (magnon-polaritons) typically exhibit level repulsion in momentum space. Level attraction, by contrast, requires an anti-phase channel and has so far been restricted to zero-dimensional systems mediated by dissipative baths. Here we predict the antimagnon-polaron in a continuous magnetoelastic medium, which inherently exhibits momentum-space level attraction. The spin-orbit-torque (SOT)-stabilized antimagnon precesses with opposite handedness, directly reversing the magnetoelastic coupling without requiring an external environment. This intrinsic attraction yields a distinctive 0/π phase-locked simultaneous growth. Micromagnetic simulations confirm this picture, revealing that the SOT-controlled balance between gain and damping drives a collective instability. This ultimately enables a continuously tunable, dc-pumped, single-frequency phonon laser, establishing a novel route for coherent acoustic emission.

cond-mat.mes-hall↗

arXiv2026

Supermoiré Formation and Robust Topological Edge State in Helical Trilayer Graphene

When two materials with nearly matched lattice constants meet, they form commensurate domains separated by incommensurate domain walls that absorb the mismatch. Recently, this picture has been extended to moiré lattices: when two moiré superlattices have nearly equal periodicities, they can form a "supermoiré" consisting of commensurate moiré domains separated by domain walls. Helical trilayer graphene (HTG) is a particularly interesting example: theory predicts that its commensurate domains are distinct topological insulators, separated by a network of conducting domain walls. Here, we use scanning tunneling microscopy and spectroscopy to visualize supermoiré domains and their electronic properties in HTG at a twist angle of $\sim1.7^\circ$. We find atomic-scale evidence of relaxation into supermoiré domains, each hosting flat bands separated from remote bands by large gaps of $\sim40$ meV. Domain walls exhibit spectrally uniform edge states along their length, in excellent agreement with calculations for valley-protected topological edge modes. The topological character of the flat bands is intimately tied to wavefunction localization on a graphene sublattice, and we reveal the topological change across a domain boundary by imaging the reversal of sublattice polarization.

cond-mat.mes-hall↗

arXiv2026

Safe Output-Regulation Flows for Constrained Optimization via Control Barrier Functions

Control-theoretic approaches to constrained optimization have been widely studied by interpreting optimization algorithms as dynamical systems. This paper formulates constrained optimization as an output-regulation problem with state constraints, where equality-constraint residuals are treated as regulated outputs and inequality constraints as state constraints. Proportional--integral feedback is employed to drive the equality-constraint residuals asymptotically to zero, while a control barrier function (CBF) safety filter is used to ensure inequality safety throughout the optimization process. We establish feasibility of the CBF filtering program throughout the inequality-feasible set and local exponential convergence of the resulting flow. Under stronger global conditions, we further prove convergence from an entire connected component of the inequality-feasible set. Since exact implementation of the flow requires solving a CBF quadratic program at each state, we further develop a flow that approximates the CBF solution through multiplier updates. Moreover, we provide a unified formulation encompassing the two proposed flows and projected primal--dual dynamics. Numerical examples demonstrate convergence, safety, and computational tradeoffs of the proposed flows.

eess.SY↗

arXiv2026

IMUDINO: Self-distilled Foundation Model for Inertial Sensing

We present IMUDINO, the first foundation model (FM) for inertial sensing to achieve competitive performance across diverse sensing tasks including human activity recognition (HAR), health, motion capture, and odometry. Prior inertial FMs often focus on one subfield of inertial sensing and sometimes underperform state-of-the-art supervised methods (e.g., in HAR), making their scope considerably narrower than FMs for vision and natural language. Moreover, they often require fixed input length and sampling rate, and generalize poorly to unseen sensor locations. To build a general-purpose foundation model for inertial sensing, we adapt the DINO self-supervised learning (SSL) paradigm to inertial data through a set of semantics-preserving motion transformations that simulate variations in motion pattern and sensor setup. For model architecture, we use a plain transformer encoder with frequency-aware positional encoding that natively supports varying input length and sampling rate. This simple setup proved remarkably effective for learning global and dense features generalizable across users, sensor setups, tasks, and, in the case of robot odometry, embodiments. We hope IMUDINO can serve as a backbone for inertial sensing and kickstart the development of general-purpose inertial FMs.

cs.LG↗

arXiv2026

PolyGPT: A Decoder-Only Transformer for Polymer Electrolyte Design

Designing polymer electrolytes requires control over both material properties and chemical structure. Here, we present PolyGPT, a Transformer with 38.3 million parameters that generates polymer repeat units from optional property targets, requests to include or exclude a specified chemical feature, and an electrolyte-domain condition. Using the model selected by validation loss, we compared unconditional generation with requests for electrolyte-associated structures, a low glass-transition temperature (Tg), or both. Unconditional and electrolyte-only generation achieved structural validity of 99.46% and 99.59%, respectively. However, electrolyte conditioning increased repetition: uniqueness among valid outputs fell from 99.99% to 51.74%. At a Tg target of 246.11 K, we compared generation with and without electrolyte conditioning, and adding the electrolyte condition slightly reduced the predictor-estimated mean absolute error from 26.97 to 26.07 K, but the fraction of all attempts yielding distinct valid polymers within 50 K of the target fell from 82.35% to 32.31%. When we also required absence from the training catalog, these yields were 59.90% and 19.71%, respectively. The lower yield persisted with a tighter 25 K tolerance. Domain conditioning also weakened control of inclusion requests: the mean fraction of attempts producing valid polymers containing the requested chemical feature fell from 94.27% to 31.27%. Across nine checkpoints, earlier models sometimes produced more distinct, catalog-unseen polymers meeting the Tg target: 10,000 checkpoint model with electrolyte conditioning and 30,000 checkpoint model without it. Together, these results show why property error alone is insufficient for evaluating conditional polymer generation. It must be considered alongside repetition, training-catalog novelty, and whether combined design requests are satisfied.

cond-mat.mtrl-sci↗

arXiv2026

Cells, cacti, and the asymptotic algebra

We prove that the action of the cactus group on a Coxeter group defined by Losev and Bonnafé can be realised as an action on the asymptotic algebra of the Hecke algebra, thus resolving a conjecture of Rouquier and White. We prove this in the setting of general (potentially unequal) parameters, conditional on Lusztig's conjectures P1-P15, which are known to hold in the equal parameter case.

math.RT↗

arXiv2026

Information flow control in hybrid quantum networks

Quantum resources can change the dynamical features and operational behaviors of conventional networks. Long-distance entanglement supports information transfer between nodes lacking a direct connection. This entanglement link not only modifies the stationary effective connectivity of the network but can also be used to suppress undesirable classical dynamics. By examining information flow control mechanism, we demonstrate that classical collective behavior can be well-balanced by altering the initially distributed entanglement. We show the entanglement thresholds for two distinct control approaches: linear response control and Lyapunov functional controllability.

quant-ph↗

arXiv2026

Closed-Loop Physics-Based Manipulation Evaluation at a Commodity Price: What 4.4 L4 GPU hours at $3.50 Buys You

Running evaluations of contact-rich robotic manipulation at statistical scale has largely been possible only at well-resourced labs, highlighting the need for affordable and efficient options for broader audiences. We present a reproducible evaluation harness wrapper based on a previous study at 200-rollout scale on serverless commodity GPUs, at a cost of approximately $3.50 USD and 38 minutes of wall-clock per replication (4.4 L4-GPU-hours across eight parallel shards). Using the harness, we report a partially controlled negative result on action chunking with sparse data: three independently trained chunked checkpoints produce zero genuine successes across 780 rollouts, while three single-step checkpoints range from 2.6% to 11.8% success rate. A per-step-replanning control partially isolates chunk prediction, rather than open-loop chunk execution as the mechanism, with the failure localized to the training formulation and multi-step prediction. This work further democratizes physics-based policy development and evaluation through our reusable harness.

cs.RO↗

arXiv2026

Req2Rust: A Requirements-Guided Agent Harness for Project-Level C++-to-Rust Migration

Memory-safety concerns make Rust an attractive target for modernizing legacy C/C++ systems, yet project-level C++ migration must balance semantic fidelity with Rust-oriented reconstruction. Source-structure-preserving migration can track low-level behavior, but it can also carry source-language organization, unsafe idioms, and project assumptions into Rust. Direct agent-based translation gives the model more freedom to construct a Rust project, but semantic coverage depends on the model identifying the source behaviors that must be preserved. This problem is especially acute for C++, where source behaviors are often hidden in object models, destructor-driven lifetime protocols, and other hard-to-localize C++ semantics. This paper presents Req2Rust, the first project-level LLM-based C++-to-Rust migration harness. Req2Rust first derives an evidence-grounded Migration Requirements Specification (MRS) that records the behaviors and constraints that must be preserved. It then synthesizes a Rust Design Specification (RDS) and realizes it as an initial Rust project. Because real projects contain implementation details and idioms that only become visible during build and validation, Req2Rust treats the initial Rust project as an executable refinement state. Compiler, semantic, and unsafe-reduction validators produce validation reports for improving buildability, behavioral alignment, and unsafe usage. We evaluate Req2Rust on general C++ projects and modules from the large-scale Openharmony codebase against a ClaudeCode baseline. Req2Rust produces buildable Rust crates in both settings and improves test pass rate from 69.5% to 91.9% on general projects and from 45.4% to 87.9% on Openharmony modules.

cs.SE↗

arXiv2026

Two-stage residual learning for calibrated uncertainty in solar irradiance forecasts

Accurate forecasting of renewable generation requires not only point predictions but also reliable estimates of the uncertainty attached to them, particularly at extended horizons. Machine learning models are increasingly used to predict solar output, but they typically report a single value and capture the associated uncertainty poorly. The standard remedy is to train a model to predict the parameters of an assumed probability distribution directly. Here we develop an alternative two-stage method, motivated by synthetic solar signal generation, in which the forecast error is modeled separately from the expected irradiance. A first long short-term memory (LSTM) network predicts the expected global horizontal irradiance, and a second network models the distribution of the forecast error, which is added back to the mean to give both the forecast and its uncertainty. Using historical weather data from the National Solar Radiation Database and a probability integral transform evaluation, we show that explicitly modeling the error brings the predicted standard deviation markedly closer to the historical value, reducing the deviation between the two by 34.6 percent for a standalone LSTM and by 56.5 percent when the LSTM is coupled to Gaussian process regression, the most reliable of the configurations tested. Because the method models the total forecast error directly, it captures the full predictive uncertainty that matters for decisions, rather than only the model contribution that dropout-based approaches estimate.

cs.LG↗

arXiv2026

Dispersive estimates for Dirac equations in Aharonov-Bohm magnetic fields: massive case

We study the dispersive properties of the massive Dirac equation perturbed by an Aharonov-Bohm magnetic field, proving in particular dispersive and Strichartz estimates for the associated flow. This paper is the natural continuation of our previous work in the massless case [3], and the overall structure of the analysis remains similar. The presence of a nonzero mass term, however, breaks the scaling invariance of the equation and introduces new difficulties at several stages of the argument. In particular, the appearance of the spectral thresholds +m and -m leads to a genuinely different low energy regime, which requires a separate analysis of the singular angular component.

math.AP↗

arXiv2026

Periodic counting, carry synchronization, and primes in nonstandard numeration systems

Let $b\ge2$ be an integer and let $D\subset\mathbb{N}_0$ be a finite digit set containing zero, with maximum residue multiplicity $μ=\max_{0\le r<b}\#\{d\in D:d\equiv r\pmod b\}$ and cardinality $q=\#D\ge2$. Under the condition $μ<q$, we prove that the summatory representation function satisfies an asymptotic formula with a strictly positive, Hölder continuous, $1$-periodic fluctuating profile and an error of $O_D(x^{\log_bμ})$. An exact periodic factorization of the Laplace generating function furnishes an explicit, computable Fourier expansion for the periodic profile via Gamma factors, and yields the meromorphic continuation of the associated Dirichlet series to the entire complex plane. When $D$ is a complete residue system modulo $b$, we establish an arithmetic synchronization criterion showing that the associated finite carry system admits a zero-synchronizing word if and only if $\gcd(D)=1$. This synchronization yields an exponentially accurate interval approximation and a general transfer principle for arithmetic weights. Consequently, we derive a prime number theorem for representable primes governed by the same periodic profile, alongside an exponentially convergent measurable scaling limit of the representable sets.

math.NT↗

arXiv2026

Systematic Search for Cataclysmic Variables in Radio Surveys: First Radio Detection of IX Velorum

We present a systematic search for radio emission from cataclysmic variables (CVs) across four wide-field radio surveys in the 0.7-4 GHz frequency range: VLASS; RACS; VAST; and EMU. We generated a reliable catalog of 2225 optically-identified CV candidates using a multi-stage cross-match, combined with systematic and manual verification; 1374 are matched to Gaia sources within the radio surveys' footprints. Among these, we detected six CVs in at least one epoch (at 1e16.5-1e17.5 erg/s/Hz, consistent with the typical population of radio-detected CVs); five had been detected in radio before. IX Vel, the closest nova-like CV, is detected in radio for the first time and shows quasi-persistent low-level emission across a 10 hr EMU (943.5 MHz) observation. Given most epochs detected no CV, we stacked images without radio detections to better constrain time-averaged brightnesses. We created co-added images and placed upper limits on low-level radio emission from each of the 423 individual CVs within the VAST footprint. To constrain the median brightness for the entire CV population, we combined all Gaia-matched CVs in each survey into single population-wide stacked images, detecting no statistically significant emission. Finally, we created population-wide image stacks of the CVs within 100 pc, using 14 epochs from 5 CVs in EMU to constrain their median persistent specific luminosity to <3e14 erg/s/Hz.

astro-ph.SR↗

arXiv2026

Elimination of quantum causal confusion in the presence of dual states

There is a rich class of bipartite quantum correlations between qubits which are consistent both with measurements performed in parallel and measurements performed in sequence. This phenomenon has recently been termed \emph{quantum causal confusion}, which is made mathematically precise by the notion of a dual state---a bipartite density operator whose associated correlations are causally ambiguous. A natural question is then whether or not the spatial and temporal scenarios associated with a dual state are fundamentally indistinguishable from a causal perspective. Here we show that as long as the reduced density operator of a dual state is oblique---meaning that all coefficients in its Pauli expansion are non-zero---then the underlying joint probabilities giving rise to such causally ambiguous correlations will differ in the spatial and temporal scenarios. Specifically, the temporal joint probabilities will inherently violate the no-signalling condition, thus eliminating quantum causal confusion. Moreover, as oblique states form an open dense subset of the Bloch ball, the elimination of quantum causal confusion is the norm rather than an exception.

quant-ph↗

arXiv2026

Bell Test and Quantum State-Space Geometry

We explore a minimal phenomenological model of coupling between the geometry of the classical spacetime and the quantum state space. Assuming a simple structure of the combined manifold, bilinear interaction between the corresponding geometric scalars and the simplest case of the two-qubit entanglement dynamics, we derive an illustrative upper bound on the geometric coupling constant from the requirement of the Clauser-Horne-Shimony-Holt (CHSH) inequality violation over a finite time interval.

quant-ph↗

arXiv2026

Branched Covers and Fiberwise Degeneration along Weak Kähler Geodesics

On the projective line, we construct a pair of smooth Kähler potentials whose weak geodesic has isolated quadratic zeros of the fiber form at two fixed points throughout an interior time interval. The geodesic is smooth near these zeros, and its space-time form has constant rank one there. For the same fixed endpoints, the minimum fiber eigenvalue of the nondegenerate Monge-Ampère approximations tends to zero, answering AIMPL Problem 2.5 in the negative. The construction works on every compact connected Riemann surface with a prescribed Kähler form and realizes any positive even order of vanishing. Taking products yields higher-dimensional examples in which the fiber rank drops by one along a smooth hypersurface while the space-time form retains maximal rank nearby. The proof starts from a semipositive model built from a branched cover. We make its endpoints strictly positive by local corrections and use comparison along holomorphic curves to prove that the weak geodesic still agrees with the model on an explicit interior region. There a ramification point of local degree $m$ gives a fiber zero of order exactly $2m-2$.

math.DG↗

arXiv2026

Understanding Self-Supervised Representation Learning for Encrypted Traffic

SSL has been adopted for encrypted traffic classification to learn representations from unlabeled traces and reduce reliance on manual feature engineering. However, recent studies show that data leakage can inflate reported performance and that pretrained models can underperform shallow classifiers once leakage is controlled. These findings raise questions about what information SSL can learn from encrypted traffic and how different pretraining mechanisms exploit this information. In this paper, we systematically investigate these questions by examining the sources of learnable information, the effectiveness of contextual pretraining, alternative self-supervision mechanisms, and the limits of representation learning. We first find that visible protocol fields retain contextual dependencies that are strongest between adjacent bytes, while payload interventions establish the classification value of retained plaintext structure. Guided by these insights, we investigate byte-level contextual learning through ByteBERT and TrafficDCNet, showing that aligning prediction granularity with local dependencies produces more discriminative representations. We further examine cross-view contrastive learning through AlignTraffic and find that complementary supervision improves representation quality beyond contextual prediction alone. Across four public classification tasks, AlignTraffic outperforms shallow learning by 5.97% to 30.70%, with additional evaluations on industrial traffic demonstrating its effectiveness in broader settings. Finally, evaluations on Tor traffic and individual packets reveal limitations when application information is concealed or unevenly distributed. These findings provide a systematic understanding of how observable information and self-supervision mechanisms shape the effectiveness and scope of representation learning for encrypted traffic.

cs.NI↗

arXiv2026

Latency-Aware Adaptive Best-of-$N$

Test-time compute (TTC) improves language model responses by spending additional computation at inference time, and the right amount of compute depends on the prompt. Adaptive TTC methods allocate compute based on signals of response quality such as observed rewards, often by stopping once the signal exceeds a fixed threshold, and generally measure cost by the number of generations or tokens. But in online serving, latency is also a cost: it grows with server load, so a method using a fixed threshold spends too little compute when generation is fast and too much when it is slow. For Best-of-$N$ sampling, a widely used TTC method, we propose a two-stage adaptive algorithm that draws an initial batch, then uses the observed rewards and the batch's latency to decide whether to draw a second batch and at what size by comparing expected improvement against predicted cost: it draws one when the first batch's best reward is below a threshold that decreases with the first batch's latency, without explicitly measuring server load. We map each reward to its value under the cumulative distribution function (CDF) of the prompt's reward distribution, so the same tradeoff parameters can be reused across tasks; a regression fitted offline on other prompts predicts a distribution for the CDF value of the first batch's best reward, giving the expected improvement in closed form. We evaluate the method by simulation on a preference-based alignment benchmark, measuring generations-equivalent cost: generations plus latency, converted to generations. The method reaches Best-of-$N$'s reward at lower generations-equivalent cost, and conditioning on the measured first-batch latency saves at least as much of that cost as fixed-threshold (latency-unaware) baselines, and more when latency is highly variable, when it grows with batch size, and when the second batch's latency is highly predictable from the first's.

cs.CL↗