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 847 records · Page 47Linked to original sources

Singular values of iterated Aluthge transforms of compact operators

Yamazaki proved that the norms of the iterated Aluthge transforms of an operator converge to its spectral radius, and Ando showed that for matrices the singular values of the iterates converge to the moduli of the eigenvalues. We prove that the latter holds for every compact operator on a Hilbert space and every generalized Aluthge transform $Δ_t$ with $0<t<1$: for every $j$, the $j$-th singular value of the $n$-th iterate converges to $|λ_j(T)|$, and the products of the $k$ largest singular values, as well as the Ky Fan norms, decrease monotonically to their limits. This is the Aluthge counterpart of the Yamamoto--Davis theorem. We also determine the limit in the Schatten $p$-norm whenever $T$ belongs to a strictly smaller Schatten class.

math.FA↗

Unified design of short mode-evolution couplers

Short mode-evolution couplers have been designed with several seemingly different approaches, including fast quasi-adiabatic dynamics (FAQUAD), counter-diabatic (CD) driving realized by tailoring waveguide widths and spacing, CD driving realized by axis bending, and numerical optimization of the coupler geometry. Using exact two-mode coupled-mode theory in the Kramers--Henneberger frame of the bent coupler, we show that these approaches belong to the same design space. The three geometric parameters, width difference, spacing, and axis tilt, act on the light through two functions only: the coupling strength, set by the spacing, and an effective detuning, set by the width difference and the axis curvature. The gauge, bent, and mixed realizations of a CD coupler are therefore the same device and have the same bandwidth. The bandwidth is set by the angle $χ$ between the light and the field that steers it on the Bloch sphere, integrated along the device as $\int\sin^2χdz$, and for a CD coupler this integral is set by the reference alone. This leads to a lithography-aware design rule: make the reference as adiabatic as the minimum gap allows, by narrowing its spacing at the anticrossing, and let exact CD suppress the remaining nonadiabatic coupling. In beam propagation method (BPM) simulations on a polymer platform, a 500\um{} coupler designed this way, without numerical optimization, maintains ${>}99\%$ transfer over 274~nm at a minimum edge gap of 1.05\um, compared with 150~nm for the CD coupler of a fixed-spacing reference at nearly the same gap. Particle swarm optimization of the geometry with BPM in the loop does not exceed the design rule. Three-dimensional BPM of the BCB channel waveguides also confirms these conclusions.

physics.optics↗

Seeing Beyond the Next Step: World-Model-Guided Human-Like Navigation in Multi-Agent Scenes

Selecting a next motion in a populated scene is not just a matter of avoiding what is currently in the way: an action can be locally feasible yet drift onto the road instead of the crosswalk, cut into a stream of crossing pedestrians, or bottleneck a narrow passage. These failure modes are invisible from the current state alone, and acting on them requires reasoning about what each candidate action will cause. World models offer exactly this, namely action-conditioned predictions of the future, but rolling them out at every decision step is a cost deployable navigation systems cannot pay, and the field has largely traded foresight for speed. We argue this is a false dichotomy. The natural place for a world model in human-aware navigation is at training time, as a preference oracle that distills foresight into a fast policy, rather than at inference time, as an online planner. We pair a discrete visual action prior with two task-aligned world models, one for nearby social dynamics and one for future scene semantics, that score candidate actions by their predicted consequences and refine the policy through group-relative preference distillation. At deployment, both world models are removed and the policy acts in a single forward pass. Across five held-out evaluation scenarios, this yields navigation that is simultaneously safer, more socially and group-coherent, and more goal-directed than strong reactive and learned baselines, with naive observers rating the resulting motion as more human-like. Taken together, our findings point to a different approach for bringing world-model foresight into deployable agents: not accelerating rollouts, but amortizing them into the policy so that the cost of looking ahead is confined to training. Project page: https://seoneun.github.io/-NeurIPS-2026-Seeing-Beyond-the-Next-Step/

cs.GR↗

O$^2$PD: Overlap-Gated On-Policy Distillation on Reliable Prefix

On-policy distillation (OPD) supplies dense token-level supervision by aligning a student to the teacher's next-token distribution on its own generated rollouts. Existing works mostly implement top-$k$ OPD, applying reverse Kullback-Leibler ($\RKL$) divergence between the teacher's and the student's renormalized distributions over teacher top-$k$ support. However, the teacher scores student-generated rollouts that are inherently off-policy for itself, leaving the reliability of its next-token guidance unclear. Restricting the divergence to the teacher top-$k$ support also discards the remaining mass outside that support. These gaps leave two questions implicit: 1) which tokens to align, and 2) how to align those tokens. To answer these questions, we propose Overlap-gated On-Policy Distillation (O$^{2}$PD). As for 1), we quantitatively analyze the reliability of teacher supervision and find that alignment on the student's trajectory prefix is more reliable than alignment on the full context. Therefore, our O$^{2}$PD is applied only to the 20\% prefix tokens of each student rollout. As for 2), we theoretically characterize two problems of top-$k$ OPD: the \emph{Teacher-support Uncovering} and the \emph{Dominant-Mode Mismatch}. Based on these analyses, we propose two support strategies: the \emph{Reset Support} strategy attaches a reset atom to every token, pooling mass outside the teacher top-$k$, and the \emph{Support Convergence} strategy converges the support to the already aligned intersection. Our O$^{2}$PD employs the designed overlap-gated $α$-divergence to interpolate between mode-covering and mode-seeking for per-token alignment, where the overlap is used as a gate to switch the support and adaptively modulate $α$.

cs.CL↗

Over-the-Scene Computation: Illumination-Programmed Functional Sensing of Unresolvable Populations

Decisions about dense populations depend on how much will cross a boundary by a deadline and when the first member arrives. Conventional radar forms a range-Doppler map, whose cells add noise and whose detections merge unresolved members. We introduce over-the-scene computation, where illumination makes the scene compute such functionals without resolving members. With random echo phases, a correlator's mean output energy sums member reflectivities weighted by a kernel set by the waveform and template. The waveform's ambiguity function is this computation's transfer function, determining computable functionals and their noise cost. One readout aggregates members over a small delay-Doppler area but along a line segment growing with duration, longest for the chirp of matching slope among constant-envelope waveforms. Members predicted to share a range lie on such a line, so a chirp's mean beat spectrum is the predicted range profile at a look-ahead horizon set by its rate. For unbiased estimation, a Cramer-Rao bound over all equal-energy waveforms favors resolving members above unit signal-to-noise ratio (SNR) and grouping weaker ones into unit-SNR sets. At 0.65 members per cell, -10 dB member SNR, and one sweep, the chirp's bin sum inside the boundary comes within 16% of this bound in root-mean-square error and, with 77 times fewer samples per horizon, outperforms every unbiased estimator from a coherent processing interval of equal dwell, bandwidth, and energy. No finite set of waveform-template probes determines an unconstrained Rayleigh-fluctuating population's first arrival, but bisection localizes it if first arrivals outweigh later arrivals' sidelobes.

cs.IT↗

On the classification of $2$-distance-primitive graphs of small valency

A non-complete vertex-transitive graph is called 2-distance-primitive if a vertex stabilizer acts primitively on both the first and second distance neighborhoods of the vertex. Recently, Ruan, Liu and Jin [Discrete Math. 347 (2024), 113978] showed that every connected 2-distance-primitive graph of valency at most 9 either belongs to certain known families or satisfies a collection of further restrictions, with the socle of a vertex stabilizer isomorphic to $\mathrm{PSL}(2,7)$ or $\mathrm{PSL}(2,8)$. In this paper, we resolve these remaining cases and thereby obtain a complete classification of connected 2-distance-primitive graphs of valency at most 9. We also give a short proof of the main result of Ruan, Liu and Jin and identify additional graphs omitted from their list.

math.CO↗

Data-driven current control of modular multilevel converter-based HVDC transmission system

Model-based design (MBD) is a mature framework for designing the current controllers of modular multilevel converters (MMCs) in high-voltage direct current (HVDC) transmission systems. In MBD, linear state-space models are preferred for their good trade-off between accurate dynamics prediction and simplicity. However, first-principle derivations often neglect relevant MMC dynamics, which can hinder controller performance. Data-driven (DD) methods can deliver less biased models that capture parameter uncertainties, control-loop interactions, and grid dynamics, yet they remain under-exploited for controlling MMC currents. This paper studies DD current control method based on integral Subspace Predictive Control (iSPC), synthesized directly from input--output data measured in a high fidelity real-time digital simulator (RTDS), and proposes an initial guideline outlining the main steps for its systematic application to MMC current control. The proposed iSPC is compared against state-of-the-art DD solution, and the findings are validated through simulation studies in MATLAB/Simulink.

eess.SY↗

Extending Reasoning in Typed Decision Models via Looping

Typed decision models choose among a fixed set of answer options in a single forward pass, so unlike generative language models they cannot spend more test-time compute on hard inputs by generating more tokens. Looping a block of layers offers this compute in latent space without adding parameters, but prior work found no gain from loops retrofitted into conventionally pretrained models. We show that such loops help when trained together with the decision model. Our method, RELOAD (retrofitted loops for adaptive decisions), fine-tunes a pretrained encoder or decoder with a damped loop over its middle block and a lightweight controller picks the number of passes adaptively for each input. Across six models from 0.4B to 4B parameters, looping improves both accuracy and calibration, mostly on problems that need longer chains of reasoning than any seen in training, where encoders gain up to 23 points. Neither matched training compute nor more data closes this gap, and separate layers for each pass come close only with nearly twice the parameters. The controller keeps most of the gain at about three quarters of the compute.

cs.CL↗

FALCON (FERMI-ALMA Calibrator ObservatioN): Cross-matching ALMA Calibrators with Fermi-LAT Blazars

Blazars are active galactic nuclei with relativistic jets closely aligned with our line of sight, producing Doppler-boosted emission from radio to gamma rays. Millimeter emission near the synchrotron self-absorption turnover probes compact regions at the jet base, yet large statistical studies in this regime remain limited. We construct the FALCON (FERMI--ALMA Calibrator ObservatioN) catalogue, a millimeter-selected blazar sample by cross-matching the ALMA Calibrator Source Catalogue with the Third Data Release of the Fourth LAT AGN Catalog (4LAC-DR3). After removing duplicates, we obtain 949 unique gamma-ray-associated sources, corresponding to approximately 25 % of the 4LAC-DR3 blazar population. For the subset with available redshift measurements, we compute millimeter and gamma-ray luminosities and find a strong, statistically significant correlation that remains robust after accounting for redshift effects. Fermi-detected blazars exhibit systematically flatter millimeter spectral indices than gamma-ray non-detected ALMA calibrators, while the redshift-controlled luminosity correlation becomes progressively weaker from high-synchrotron-peaked BL Lacs toward flat-spectrum radio quasars. These results indicate an intrinsic connection between millimeter and gamma-ray emission, consistent with a common origin in relativistic jets governed by Doppler boosting and time-averaged jet power.

astro-ph.HE↗

A continuum model of a diffusive compressible gas - Kinetic theory and real gases

Using kinetic theory of gases, we derive the diffusive compressible Euler (dcE) model for ideal gases. The derivation covers all steps from the particle description of a gas, to macroscopic averages, to a discrete system of conservative balance equations in finite volumes, to the system of partial dif- ferential equations. Along the way, we discuss the modelling assumptions, and derive approximations of the diffusion coefficient. In the next part, we discuss the modifications needed to model real gases. In particular, we propose a tentative model for intermolecular friction forces.

physics.flu-dyn↗

Fix One, Miss Another: Leveraging Historical Bug Fixes to Uncover Residual Bugs in Database Systems

Database management systems (DBMSs) implement SQL constructs through grammar-driven dispatch handlers. Although handlers for syntactic siblings implement different SQL constructs, they often share a common implementation pattern, including argument extraction, type checking, and permission validation. Consequently, a bug fix that hardens the handler exercised by a historical bug may leave the corresponding logic in sibling handlers vulnerable to the same semantic flaw. We refer to such defects as sibling bugs. Despite the structural similarity among sibling handlers, existing bug-finding techniques rarely exploit historical fixes to systematically uncover these related defects. We present Reaper, a novel approach for detecting sibling bugs guided by historical bug fixes. Reaper first analyzes a bug fix to infer a trigger profile, which characterizes the conditions under which the defect is exposed, and a validation profile, which captures the semantic evidence needed to distinguish buggy behavior from correct behavior. It then projects the trigger profile onto syntactic siblings through grammar-guided test mutation, generating tests that exercise corresponding semantic paths in sibling handlers. Finally, Reaper validates suspicious behaviors using the inferred validation profile through a staged validation process, reducing false positives caused by complex DBMS behavior. We evaluate Reaper on four widely used DBMSs, including MariaDB, MySQL, OceanBase, and CockroachDB. Reaper uncovers 61 previously unknown bugs, of which 57 have been confirmed by developers and 13 have been fixed at the time of writing. These results demonstrate that historical bug fixes contain actionable semantic knowledge that can be systematically transferred across syntactic siblings to uncover otherwise overlooked defects.

cs.SE↗

Global well-posedness for the energy-critical focusing NLS on $\mathbb T^3$

We prove global well-posedness for the focusing quintic nonlinear Schrödinger equation on the standard three-dimensional torus for initial data below the mass-corrected energy and Sobolev-norm thresholds determined by the Euclidean ground state. This gives a subthreshold focusing counterpart to the defocusing theorem of Ionescu and Pausader. The proof combines the periodic profile analysis with the recent nonradial Euclidean scattering theorem of Su and Zhao. The mass correction yields an invariant region and a nonnegative energy decomposition, placing every Euclidean profile below both ground-state thresholds. Uniform bounds on finite intervals follow from a contradiction argument on shrinking time intervals.

math.AP↗

Comparing Classification and Feature Learning by Analyzing Their Loss Functions in Normalized Spaces with Different Scale Factors

Classification and feature learning are two closely interrelated fundamental tasks. Feature learning in supervised settings is typically achieved by training classification models, under the common assumption that higher classification accuracy implies better feature quality. In this paper, we first point out that classification accuracy reflects the sample-wise local properties of a model on a dataset, whereas feature learning aims to learn features with good dataset-level global properties, such as intra-class compactness and inter-class separability. From the first principle of feature learning, we redesign the binary cross-entropy (BCE) loss, a counterpart of the cross-entropy (CE) loss used in classification. Then, in normalized feature space, we analyze the minima of the BCE and CE losses and show that both can lead to neural collapse, where sample features from different classes become maximally compact and maximally separated. More importantly, by investigating the convergence behaviors of the two losses as the scale factor $γ$ varies in the normalized space, we reveal how classification accuracy and feature quality change differently across spaces of different sizes. Under a fixed training strategy, a very large $γ$ achieves perfect classification accuracy but slows convergence toward the ideal feature geometry, whereas a very small $γ$ makes classification highly sensitive to small perturbations. A moderate $γ$ is therefore necessary for simultaneously achieving reliable classification and well-structured features. Extensive experiments validate these findings and demonstrate that BCE loss exhibits advantages in long-tail and open-set recognitions, as it better aligns with the global requirements of feature learning.

cs.LG↗

Laser fabrication of vibrating microcavities on silicon: Formation dynamics and frequency tunability

Laser processing of silicon has long since become a standard method for wafer dicing, surface texturing, re-crystallization after ion implantation, as well as surface amorphization, to name a few examples. Here, we introduce a novel concept, the fabrication of vibrating microcavities in a commercial platform, Si wafers covered by a thick SiO2 layer, acting as a membrane. We demonstrate that by exposing our material system to single ultrashort laser pulses above the evaporation threshold of Si, a controlled delamination of the cover layer without fracture can be achieved, leading to the formation of a microcavity accompanied by a surface bulging up to 1.5 micrometer. The formation dynamics of the microcavities has been investigated by time-resolved optical probe techniques. Ultrafast pump-probe microscopy resolves the initial stages of substrate melting, the onset of layer expansion followed by relaxation. Real-time reflectivity measurements with nanosecond resolution resolve the long lived, highly complex oscillation process of the membrane, extending over tens of microseconds. The formed cavities can be re-excited at low fluence without damage or degradation, featuring vibrations at single frequencies with high Q factors. The frequencies can be tuned continuously from 8 MHz up to 19 MHz by adjusting the fabrication fluence. A simple classical model is found to well describe the behavior of the membranes. Our results pave the way for applications in micro- and nanooptics and acoustics, in great part due to the commercial availability of the Si-SiO2 platform and the simplicity of the fabrication method. An extension to the field of microelectromechanical system (MEMS) of this technology is proposed.

physics.optics↗

Nonlinear optimal stopping and domineering claims

We study nonlinear optimal stopping and domineering claims in a Brownian--Poisson filtration, under a nonlinear evaluation induced by a Lipschitz BSDE driver satisfying a comparison condition. A nonlinear domineering claim is a strong $\mathcal{E}^f$-martingale dominating the reward process at every stopping time. We first establish the existence of such claims for every optional reward in $\mathcal{S}^2$. For left-limited, right-upper semicontinuous rewards, we prove a local dual representation at every stopping time: the nonlinear optimal stopping value equals the essential infimum of the values of all domineering claims defined on the remaining stochastic interval. This infimum is attained by a claim constructed from the associated reflected BSDE. We further show that a global domineering claim attains the value at a prescribed stopping time if and only if the reflection processes have accumulated no increase up to that time, with the appropriate endpoint convention. When the reward is right-upper semicontinuous in $\mathcal{E}^f$-expectation and the family of contact times is nonempty, its essential infimum is optimal. Under strict comparison, we also establish a necessary contact condition for optimality. No convexity assumption on the driver is required.

math.PR↗

Designing Public Information for Strategic Advice

A principal chooses an action using advice from an expert who privately knows local conditions. Before receiving advice, she can commission a public study of an independent state, such as future demand, that changes the expected conflict between their preferred actions. We show that the communication protocol determines the optimal study. Under optimal mediation, the value of advice is convex in conflict, making full revelation optimal. Under commitment to an action rule, the principal may prefer no information, while informative optimal studies include a report certifying high conflict. Under unmediated cheap talk, changes in the number of equilibrium messages create upward kinks in the value of advice. Optimal studies avoid interior communication thresholds and can induce two distant communication regimes while skipping every regime in between, strictly outperforming both full revelation and no information. When the principal retains the raw data, selective public disclosure can improve advice without sacrificing forecasting precision. We discuss implications for fiscal forecasts and spending agencies.

econ.TH↗

First Overlap Formulation and Perturbative Results for Supersymmetric QCD

We present a lattice formulation of N=1 supersymmetric QCD (SQCD) based on overlap fermions, providing a discretization consistent with the Ginsparg-Wilson relation. Particular emphasis is placed on the construction of Yukawa terms that preserve a lattice-modified chiral symmetry involving overlap quarks and gluinos. To realize this modified chiral symmetry in the Yukawa sector, we follow Lüscher's strategy and introduce auxiliary Dirac and Majorana fermionic fields for the quark and gluino fields, respectively. After functional integration over these auxiliary fields, ultralocal interaction terms arise as additional contributions to the lattice action. Within this framework, and using the Wilson gauge action for gluons, we also carry out one-loop perturbative calculations. In particular, we compute the self-energies of the quark, gluon, gluino, and squark fields in the presence of quark and squark masses, enabling an unambiguous determination of the corresponding field and mass counterterms on the lattice. This work provides a robust foundation for future perturbative determinations of the fine-tunings of the gauge, Yukawa, and quartic couplings, and already shows, as expected, a reduction in the number of required counterterms relative to Wilson-type fermions.

hep-lat↗

Ordering Multivariate Time Series by Volatility Memory: A Temporal Convolutional Approach to Volatility Heredity

Volatility dynamics can carry information about temporal relationships that is not apparent in the conditional mean. Extracting this information is difficult because the persistence of each variable can obscure its dependence on other variables. This paper presents QS-TCN, a method for ordering multivariate time series that combines statistical estimates of volatility memory with temporal convolutional learning. Persistence estimates obtained by quasi-maximum likelihood and temporal modes extracted by the Matrix Pencil method define structured filters within the network. Together with learned filters, they represent the history of the target and support comparisons of directional evidence between variables. These comparisons are combined into a global order of precedence, which does not identify a causal graph. The method is evaluated on synthetic systems with linear and nonlinear volatility interactions and on the Finance and fMRI benchmarks, whose reference relations are known. Across the four synthetic volatility regimes studied, QS-TCN reaches a higher mean ordering quality than an external lead--lag ordering and its squared-input adaptation, although the gain over the adaptation is uncertain in two regimes. Applications to currency, gold and cryptocurrency markets are reported descriptively.

cs.LG↗