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

Multicomplexes in Action: Strong Formality of Compact Hyperkähler Manifolds

We show that all compact hyperkähler manifolds are bigraded strongly formal in the sense of Milivojević and Stelzig, proving that in the context of pluripotential homotopy theory they play the same role as compact Kähler manifolds in rational homotopy theory. Indeed, the main result arises from general algebraic considerations on categories of objects with more differentials, that of $n$-complexes and commutative $n$-differential graded algebras. For them we discuss a standard model category structure, introduce a generalization of the $\partial\bar{\partial}$-Lemma and establish an algebraic formality theorem.

math.AT↗
arXiv2026

Stellar Bars Reshape the Spatial Distribution of UV-bright Clumps in Nearby Galaxies

Stellar bars redistribute gas and angular momentum in disk galaxies, but whether they mainly change the amount or the spatial organization of recent star formation remains uncertain. We use archival HST/WFC3 F275W imaging to study 70 barred galaxies and 95 unbarred control galaxies matched in stellar mass, optical color, redshift, and F275W background noise. A uniform dendrogram-based procedure identifies 95,486 UV-bright star-forming clumps. We compare their radial and azimuthal distributions, central F275W emission, and luminosity and size distribution functions. Relative to their controls, barred galaxies show a deficit of clumps at intermediate radii broadly corresponding to the bar region, followed by a local recovery near the bar ends. Their clumps are also preferentially concentrated along the bar major axis. These spatial differences are stronger in high-mass galaxies. Normalized bar length is more closely associated with the radial redistribution and central F275W concentration than bar ellipticity, although its relation to the azimuthal distribution is less uniform. When galactocentric radius is normalized by bar length, the recovery occurs near $R/R_{\rm bar}\sim1$, indicating that the bar sets a characteristic scale for the redistribution. Despite these spatial differences, barred and control galaxies have broadly similar clump luminosity and size distribution functions. Our results suggest that stellar bars mainly reorganize where recent star formation occurs, rather than substantially altering the observed luminosities and sizes of individual UV clumps, and that this effect depends on galaxy mass and bar extent.

astro-ph.GA↗
arXiv2026

Spin-conserving and spin-flip magnetic scattering in the altermagnetic spin-splitter effect

Critical magnetic fluctuations scatter electrons strongly near an ordering transition, but they barely degrade the charge current, because they scatter mostly through small angles. In an altermagnet the electric field also drives a spin current, and a nearly forward spin flip moves an electron to the other spin band at almost unchanged velocity. We develop a Boltzmann theory of the spin splitter ratio that keeps the full collision operator of quasistatic magnetic fluctuations and its change with the magnetic order. Fluctuations of equal total strength give the same resistivity for every fraction of spin flips, yet they can move the spin splitter ratio in opposite directions. Spin conserving fluctuations relax the spin current at about the charge relaxation rate, whereas forward flips equalize the two spin populations at equal energy at the quasiparticle rate, which in two dimensions grows linearly with the correlation length. Energy conservation on the split bands protects the part of the spin current carried by the band shift of the occupied states at every scattering strength, and the splitting blocks forward flips once the spin Fermi lines lie farther apart than the inverse correlation length. When flips dominate, a quarter to a half of the lattice band ratio survives. The transport time approximation reproduces the initial growth of the resistivity but recovers only a quarter to a half of the initial fall of the ratio, and a disorder series at fixed reduced temperature measures this fall independent of the order amplitude.

cond-mat.mes-hall↗
arXiv2026

Spin conservation protects the altermagnetic spin-splitter current from critical scattering

Near a magnetic transition, critical fluctuations scatter electrons strongly, but the charge current survives, because long wavelength fluctuations barely turn the electron velocity. In an altermagnet the electric field also drives a spin current, the spin splitter effect, and a nearly forward scattering event that flips spin moves an electron to the other spin band at almost unchanged velocity. We show that the spin current shares the protection of the charge current only when the fluctuations conserve spin. Solving the Boltzmann equation with the full collision operator, including its change with the magnetic order, we find that forward flips equalize the two spin populations at equal energy at the quasiparticle rate, which in two dimensions grows linearly with the correlation length, whereas spin conserving fluctuations relax the spin current at a rate comparable to the charge relaxation rate. Fluctuations with the same resistivity can thus move the spin splitter ratio in opposite directions. Energy conservation protects the part of the spin current that follows the band shift of the occupied states, and the splitting blocks forward flips once the spin Fermi lines lie farther apart than the inverse correlation length. A disorder series at fixed reduced temperature measures the initial fall of the ratio with the magnetic resistivity independent of the order amplitude, and the growth of this slope toward the transition identifies spin flip critical fluctuations.

cond-mat.mes-hall↗
arXiv2026

Composing Double Categories

Many kinds of generalised syntax, including internal categories, T-categories or polynomial monads, arise as monads in bicategories of a certain flavour: maps are some kind of span, and composition is some kind of pullback. We explain the pattern behind these similarities: each bicategory is stitched together from two simpler pieces by a distributive law, where the distributivity is governed by pullback. A key novelty is in the kind of distributive law we consider; where Rosebrugh and Wood considered distributive laws between categories, we instead consider pseudo-distributive laws between double categories. A key construction, drawing on work of Weber, obtains such a distributive law from a so-called co-crossed double category: one whose codomain functor is a fibration, and whose cartesian cells are stable under horizontal composition. We show the horizontal Kleisli double category of a monad T is co-crossed just when T is cartesian, and that the composite double category recovers T-spans; that the double category associated to an identity-on-objects functor is co-crossed just when that functor is a calibration in the sense of Bénabou; and that Street's calibrated bicategories yield co-crossed double categories in a similar manner, recovering the double category of polynomials of Gambino--Kock.

math.CT↗
arXiv2026

Switching off a high-harmonic polarization channel by anti-unitary symmetry

We study polarization-resolved high-harmonic generation in a laser-driven two-leg Su--Schrieffer--Heeger ladder with asymmetric dimerization under periodic boundary conditions. A field linearly polarized along the ladder can generate both longitudinal and transverse radiation, whose harmonic content is controlled by lattice symmetry and electronic filling. Using symmetry analysis of the time-dependent density matrix, we show that reflection symmetry enforces odd-order harmonics in the longitudinal response and, when the transverse response is nonzero, even-order harmonics in the transverse direction. At half filling, an additional anti-unitary symmetry relating the occupied and empty bands suppresses the transverse current completely. A unitary chiral symmetry in the clean ladder relates the same bands but fails to enforce this cancellation, showing that band swapping alone is insufficient: the suppression requires both a density-matrix constraint that persists during the driven evolution and the appropriate transformation of the transverse-current operator. Moving away from half filling lifts this cancellation and allows transverse emission, while the reflection selection rule remains whenever reflection symmetry is preserved. Numerical calculations at quarter and half filling, combined with onsite potentials that selectively break the relevant symmetries, confirm these two distinct mechanisms. Thus, reflection symmetry determines which harmonic orders occur, whereas the interplay of anti-unitary symmetry and filling controls whether the transverse HHG channel is present at all.

physics.atom-ph↗
arXiv2026

Estimating Irving-Kirkwood pressure profiles from per-atom virial and density profiles: a closure for the contour-dependent term in planar liquid films

The local pressure tensor of an inhomogeneous fluid is not unique. Two tangential profiles are in common use in planar simulations: the Irving-Kirkwood (IK) profile, which requires a dedicated pass over every pair of atoms for every slab, and the per-atom virial (PAV) profile, which molecular-dynamics codes produce at negligible cost and coincides with the Harasima contour. The two differ by the derivative of a pair quantity, P_T^IK - P_T^PAV = dQ/dz. We show that, for Lennard-Jones free-standing films, Q(z) can be predicted from the density profile and the bulk radial distribution function of the coexisting liquid: under the closure rho2(r1,r2) ~ rho(z1) rho(z2) g(r12), with a pair-local interpolation of g between its liquid and dilute limits, Q is a double integral of rho(z) against a kernel built from u'(r) g(r). The estimator P_T^IK,est = P_T^PAV + dQ/dz is tested against IK profiles measured on the same trajectories for 20 films (thicknesses 7-25 sigma, three cutoff radii, two temperatures): the root-mean-square residual is 0.001-0.002 epsilon/sigma^3, against 0.010-0.021 for the uncorrected profile, and Q, the amount that the contour choice transfers between the two interfaces of a film with non-equivalent surfaces, is recovered to within 0.6% of the surface tension. Applied to the normal component, the same closure removes 83-92% of the spurious structure of the per-atom zz profile, a test that needs no IK run. Its mixture form is validated on three two-component films with an adsorbate unequally distributed between their faces, where it resolves the tension of each face; a clean face recovers the tension of the pure film.

physics.chem-ph↗
arXiv2026

Scattering of massless scalar waves by higher-dimensional regular black holes in general relativity coupled to nonlinear electrodynamics

We study the scattering of planar massless scalar waves by the family of higher-dimensional regular black holes in general relativity coupled to nonlinear electrodynamics, which unifies the Bardeen and Hayward models in any dimension. The scalar field is a neutral test field that propagates in the bulk, and in the geometric-optics limit, its rays are the null geodesics of the spacetime, so that the unstable circular null geodesics of the background geometry control the scattering. We combine the classical scattering of null geodesics, the glory approximation, which we generalize to $D$ dimensions, and the partial-wave analysis in $D=5,6,7$. We show that at a fixed frequency, the wave cross section diverges in the forward direction as $θ^{-4}$ in any dimension, with a coefficient fixed by the mass, while the steeper classical law $θ^{-(D-2)^{2}/(D-3)}$ appears only at larger angles and higher frequencies. The charge parameter decreases the critical and the glory impact parameters and widens the glory fringes, and in higher dimensions, the glory pattern has fewer and wider fringes and a weaker backward intensity. For the matched configurations studied here, backward intensity and low-frequency absorption provide the clearest differences, while the intermediate-to-high-frequency spectra are close.

gr-qc↗
arXiv2026

AuroraWorld: Structured 4D World Modeling for Exo-to-Ego Video Generation in Robot Manipulation

Egocentric observations provide a robot-centric view of manipulation processes, capturing contact interactions and object-state changes that are important for visuomotor policy learning but difficult to observe from external cameras. However, collecting such data at scale remains expensive due to additional hardware requirements and platform-specific deployment costs. Synthesizing egocentric observations from large-scale exocentric manipulation videos provides a scalable alternative. However, existing methods struggle to synthesize physically consistent and policy-relevant egocentric videos under substantial viewpoint transformations, severe occlusions, complex object interactions, and inherently sparse observations from available exocentric viewpoints. Code will be made publicly available at https://github.com/xueha0/AuroraWorld

cs.AI↗
arXiv2026

Taurus: LLM-in-the-Loop CT Annotation Matches Coding Agents at Half the Cost

Dense labels of the aorta in CT are slow to draw, and the public aortic CT datasets that could stand in for them each label different structures under their own conventions. Large language model (LLM) agents can now write code and read images. We asked whether such a model labels these scans better as a free-form agent that writes its own segmentation code, or inside a harness, where an automated pass labels the scan and the model reviews the result. We built a harness, Taurus, and compared it with free-form agents by blind label recovery: we withheld the human labels of six public datasets (939 volumes) and scored every approach against each dataset's own classes. In the first version of Taurus, the model's review raised the primary metric on only two of six datasets, by less than the noise between two reviews of the same case. A free-form agent running Claude Opus 5.5 scored higher on most datasets. Moving what the free-form agents did well into the automated pass then carried most of the gain on 38 held-out cases. The final version smooths the label surfaces with a fixed rule and checks for the large errors the automated pass tends to make, such as an aneurysm drawn to half its size. Each check that fires puts a multiple-choice question to the model, with candidate corrections drawn on the scan. It matched the surface smoothness of the human references, and in the primary metric we found no difference from the free-form Opus agent, at under half its cost, $1.22 against $2.71 per case. Most of what made Taurus competitive came from the harness and its automation rather than from the language model itself. Taurus shows that this kind of annotation can be automated, so that expert time can move from drawing labels to checking them.

cs.AI↗
arXiv2026

When appearance and motion disagree: evaluating class-motion consistency against disguised uncrewed surface vessels

Defense systems for maritime assets must distinguish approaching benign craft from uncrewed surface vessels (USVs) with sufficient warning to act. Shore cameras using computer vision can separate hostile vessels from benign traffic, but these systems may be attacked using an adversarial hull patch or physical disguise. We evaluate adversarial hull patches and find they suppress detection in up to 29% of attempts but never cause misclassification as benign. Physical disguise, however, can bypass both a camera check and a radar presence check. To evaluate defenses, we develop a hybrid replay protocol from automatic identification system (AIS) tracks that combines recorded benign motion with direct or off-axis attack run-ins. We find that for recreational-labeled vessels attacking via direct run-in within 4 nautical miles, an asset-relative closing-rate check flags 94-95% at 15-20 knots, compared with 12% for a track-only speed check. The checks are complementary on off-axis approaches, constraining the attacker to remain below both thresholds and extending the time required to reach the asset. Flagging on either check has a 4.9% held-out false-alarm rate overall and 12.3% on recreational traffic. The replay-based evaluation protocol supports comparative test and evaluation of defense methods.

cs.CR↗
arXiv2026

Multi-Estimate Elicitation Does Not Uniformly Debias Language Model Judgments

Does eliciting five weighted estimates within a single response consistently improve numerical judgments? We compare direct and multi-estimate elicitation across anchoring, hindsight, base-rate, conjunction, and status-quo/default tasks in six frozen configurations. Each configuration contributes 618 admitted development units and 3,702 admitted formal units; the six-configuration formal cohort contains 22,212 units, including 21 missing outcomes. Of 45 preregistered confirmatory tests across five configurations, 12 reject on complete cases and 11 retain directional confirmation after the prespecified missingness-protection rule. Only one adjusted bound exceeds its smallest effect size of interest: gpt-oss-120b shows a 10.68-percentage-point increase in post-outcome confirmation error under multi-estimate elicitation (worst-case estimate 10.04 points). The remaining ten retained effects have sub-threshold point estimates; non-rejection does not establish equivalence. Joint presentation lowers signed conjunction excess in four confirmatory configurations, but this comparison changes both constraint visibility and call structure. Flash-high combines two disjoint execution-window batches under an approved continuation protocol, preserving their identities and non-causal interpretation. Post-hoc candidate-spread associations across all six configurations remain in-sample and require independent predictive validation. The completed cohort provides no evidence for uniform debiasing by multi-estimate elicitation. Materials: https://github.com/asj252/llm-judgment-studies

cs.CL↗
arXiv2026

Sampling Design and Confidence Tubes for Integral Curves on Riemannian Manifolds

We estimate the integral curve of an unknown vector field from noisy tangent vector field on a known compact Riemannian manifold. We consider two sampling settings: independent observations at random locations that have already been collected, and a fixed response budget that allows subsequent locations to be chosen using pilot information. Under suitable regularity assumptions, the passive kernel estimator has curve error of order $n^{-2/(d+3)}$ in probability, with sample size $n$ and manifold dimension $d$. Its functional central limit theorem has a limit characterized by a linear stochastic differential equation. For active sampling, an independent pilot directs one new batch of measurements to neighborhoods of the target curve. Under localization, smoothness and design conditions, this concentration yields expected maximum curve error of order $N^{-1/2}$, including the pilot in the total response budget $N$. Both methods provide simultaneous geodesic confidence tubes with asymptotically exact coverage under mild conditions. Simulations show narrower active tubes in most reported settings, with improved small-sample coverage in some three-dimensional examples. Ocean-drifter observations illustrate mean-flow reconstruction on the sphere, and a canopy-flow LDA application uses retrospective active sampling to quantify lateral and vertical departures of local mean streamlines.

stat.ML↗
arXiv2026

Radial conditions for global compact finite propagation for divergence-form elliptic operators

We study global compact finite propagation (GCFP) for the wave equation $u_{tt}=\operatorname{div}(A(x)\nabla u)$ on $\mathbb{R}^d$, that is, the property that a disturbance starting in a compact set cannot reach spatial infinity in finite time. For smooth strictly positive matrices $A$ we show that GCFP implies $\int_1^\infty a_*(r)^{-1/2}\,dr=\infty$, where $a_*(r)$ is the minimum over the sphere of radius $r$ of $\langle Aω,ω\rangle$; the proof uses the equivalence of GCFP with completeness of the Riemannian metric $A^{-1}$, of which we prove the necessary direction for the cosine family of the Friedrichs extension. We also prove that the analogous divergence condition with $a^*(r)$, the maximum over the sphere, is sufficient, and that this holds for measurable coefficients $A\in L^1_{\mathrm{loc}}$ with $A\ge I$. Finally, we construct a locally bounded measurable matrix with $a_*=a^*$ for which GCFP holds although the integral converges, so the necessary condition is not stable under the loss of continuity.

math.AP↗
arXiv2026

Why Koopman Structure Does Not Help Differentiable World Models for Humanoid Whole-Body Tracking

We test whether Koopman structure helps a differentiable world model used to train a simulated Unitree G1 whole-body tracking policy by backpropagation through imagined rollouts, replacing the MLP world model of an otherwise unchanged pipeline. It does not: return is at best equal (0.823 versus 0.830), one-step error on identical data is 1.3 to 1.6 times the MLP's, and training is about 15% slower. Lifted rollouts diverge or fail to train policies; of the schemes tested, re-lifting at every imagined step trains best. Re-lifting never uses the lifted linear dynamics and leaves a model affine in the action, with state-dependent offset and slope; an action-affine MLP also predicts worse, so the accuracy cost belongs to this class. At a fixed state, the dynamics' curvature in the action explains only part of it. Across states, the policy's actions span a curved region, so an affine model fits policy data only as the tangent at the policy's action, the operating point: on G1, the MLP's tangent there is as accurate as the MLP; at the mean action, 31 times worse. The offset must encode, from the state alone, where the policy acts, whereas an MLP reads the action. Supplying the policy's action removes most of the remaining gap on G1, Ant and Humanoid. The only tested online repair approaching the MLP feeds the action into the nonlinear lift, abandoning the structure. For this use, the MLP world model remains the better choice.

cs.RO↗
arXiv2026

Vision-Language Models Are Joint Denoisers in Robotic Action Generation

Diffusion-based vision-language-action (VLA) models cascade pretrained vision-language models (VLMs) with diffusion action experts, but typically restrict the VLM to providing static conditioning. This separation limits how much pretrained perception and reasoning can guide action generation, especially in out-of-distribution settings. We introduce JADE, a Joint Action DEnoiser that enables the VLM and action expert to jointly refine actions. Our key insight is that structured action latents allow the VLM to read the current noisy action together with visual observations and language instructions. At every denoising step, the VLM contextualizes the noisy action and guides the action expert through gated cross-attention, so that its guidance evolves with the action being generated. We further supervise the VLM to recover clean action latents from noisy ones, which gives it a direct action-learning signal and couples perception with control. Additionally, joint denoising enables JADE to generate actions with fewer sampling steps, helping offset the additional cost of VLM participation. An adaptive step-size schedule further balances task performance and inference latency. On RoboDojo, JADE achieves an average success rate of 12.67%, the highest among the evaluated $π_{0.5}$-based methods, and is competitive with recent VLA and WAM foundation models pretrained at scale. It also improves performance on RoboTwin 2.0 and raises the average success rate across four real-world bimanual tasks by 20.8 percentage points compared with $π_{0.5}$.

cs.RO↗
arXiv2026

Unified dynamics of training, learning, inference, and reinforcement in neural networks

Through nine nanoGPT experiments, we established training-learning-inference relations: realized updates elicit state-dependent finite-amplitude responses; learning persistently reorganizes distributed functional support, with target-specific readout-boundary crossings determining capability transitions; inference recruits learned support without changing the learned state. Factors identified in the fifth experiment yielded a direct predictor of post-update capability transitions, achieving 91.43% accuracy and 91.49% four-way macro recall across 5,088 targets. We tested these relations and prediction across five additional neural architectures. In a seventh system, concentrated correct feedback eroded previously mastered skills; rebalanced feedback restored their accuracy from 70.31% to 99.48%. Linking inference consequences to subsequent training closes these relations into unified training-learning-inference-reinforcement dynamics. We subsequently established a unified system of dynamical equations, used it to reconcile positive and negative findings across existing research, and derived mathematical relationships in other neural-network theories using only the assumptions of the original studies.

cs.LG↗
arXiv2026

Write Facts the Way Models Read Them: Lifting the Two-Hop Curse

A language model that learns a new fact by fine-tuning can repeat it but cannot reason with it: taught that a person is a citizen of a new country, it still cannot say, without chain-of-thought, who the head of state of that person's country is. This two-hop curse is widely treated as a reasoning deficit, and the strongest knowledge editors answer it with synthesized reasoning data. We show that the reasoning is intact and the writing is wrong. Fine-tuning writes a new fact as an answer to be said, whereas the second hop reads the bridge ("that person's country") as an entity, from the middle layers on: patching the model's own representation of the entity into the bridge at those layers largely restores the second hop, yet after fine-tuning the bridge there is no closer to the new entity than before the edit. We therefore propose read-equivalent writing (Legible): one loss term makes the bridge phrase, at the layer where the second hop finishes reading it, match the model's own reading of the new entity, and keeps the same relation's other subjects unchanged. Phrases and targets come from the edited model itself, and no multi-hop training data is used. Across Qwen2.5, Llama-3 and Qwen3, Legible (I) composes learned facts more often than the model composes its own knowledge, on MQuAKE's two-hop-curse questions; (II) reaches 1.8-2.6x the bridge accuracy of CaKE, whose reasoning data composes no better than plain fine-tuning, and has the best average over composition, accuracy and locality against four families of writers; and (III) lifts the curse on RippleEdits, on the benchmark of Balesni et al., who named the curse, and at 14B.

cs.CL↗