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 253 records · Page 14Linked to original sources

Controlling Quantum discord and steering in Electron-Positron Annihilation Using Polarized Beams

Quantum discord and steering offer crucial insights into the non-classical nature of hyperon-antihyperon pairs, a massive two-qubit system produced in high energy electron-positron annihilation. This work theoretically investigates the generation and control of these quantum correlations by leveraging longitudinal and transverse polarization of lepton beams. By exploiting the joint spin density matrix of hyperon pairs, the sensitivity of quantum discord and steering to the beam polarization degree are numerically quantified. Our analysis reveals distinct angular regimes where beam polarization can enhance steering and discord. Hierarchy of different quantum correlations are examined under the case of polarized lepton beams by constructing a measure in the spirit of entanglement of formation. It is confirmed that quantum discord remain non-zero even in regions with vanishing entanglement corresponding to separable states, controlled via transversely polarized beams. As an experimentally tunable parameter, beam polarization offers an effective means to manipulate the quantum correlation of hyperon-antihyperon systems, thereby providing a practical route for preparing and probing quantum states in high-energy particle physics.

hep-ph↗

Kinetic closure of turbulence: collision-side modeling beyond the filtered Boltzmann equation

This article extends a recently introduced kinetic closure of turbulence by developing its theoretical framework, operational realizations, and validation. In contrast with filtered Navier--Stokes formulations, filtering the Boltzmann equation retains subgrid transport under the linear streaming operator, so that unresolved physics is concentrated on the collision side. We show that in dilute-gas large-eddy simulation, the main limitation of Bhatnagar--Gross--Krook (BGK)-type collision models is not the breakdown of molecular chaos, but the retention of a Markovian collision at a scale where filtering can induce finite temporal correlations in the collision product. In a BGK-type framework, the closure problem is dual: one must infer the filtered fine-grained equilibrium, not computable from filtered moments alone, and model the non-Markovian collision dynamics generated by the collision-product covariance. The present framework makes this dual structure explicit and represents the resulting collision-covariance source term through a BGK-like closure built from the equilibrium commutation residual, with the turbulent relaxation frequency given by a first phenomenological realization. The framework relies on a Chapman--Enskog analysis organized by the reference timescale ratio emerging from the nondimensionalization of the kinetic equation, performed in the classical sense, thereby avoiding artificial turbulent scale separations. We show that the Chapman--Enskog structure is not a pure one-parameter Knudsen scaling: the primary ordering is set by the kinetic-to-macroscopic timescale ratio, while higher moments retain an additional Mach dependence through the mixed scaling of particle velocity. The resulting kinetic closures are validated through lattice Boltzmann simulations and compared with the Smagorinsky model and regularization-based collision models.

physics.flu-dyn↗

Large-space and Large-time Asymptotics for the Focusing Nonlinear Schrödinger Soliton Gas

We investigate the large-space and large-time asymptotic behavior of a soliton gas for the focusing nonlinear Schrödinger equation. The soliton gas is constructed as the continuum limit of pure $N$-soliton solutions as $N\to\infty$, with the discrete spectrum confined to two segments $Σ_1$ and $Σ_2$. In particular, our framework does not require the discrete spectrum to be confined to the imaginary axis. By combining the nonlinear steepest descent method with an appropriate $g$-function mechanism, we show that, as $x\to-\infty$, the soliton gas is asymptotically described by a finite-gap elliptic solution with constant coefficients. In the large-time regime $t\to+\infty$, we assume that the endpoint $F$ lies on the trajectory of $H(ξ)$ with $ξ=\frac{x}{2t}\in(-E_1-\sqrt{2}E_2,-E_1)$, namely, $F=H(\hatξ)$, $\hatξ\in (-E_1-\sqrt{2}E_2,-E_1)$. Under this assumption, we prove that the solution exhibits distinct asymptotic behaviors in different regions of the variable $ξ=\frac{x}{2t}$. More precisely, there exist an exponentially decaying region $ξ\in(-E_1,+\infty)$, a modulated elliptic-wave region $ξ\in(\hatξ,-E_1)$, and an unmodulated elliptic-wave region $ξ\in(-\infty,\hatξ)$.

nlin.SI↗

Asymptotic Rank Speedup Theorems, Revisited

Motivated by fast matrix multiplication and recent connections between asymptotic tensor rank and fine-grained complexity, we revisit classical tools from the matrix multiplication literature and develop a framework for obtaining improved asymptotic rank upper bounds for tensors beyond matrix multiplication. In the 1980s, Coppersmith-Winograd and Strassen discovered a series of speedup theorems for asymptotic rank: in certain regimes, one can extract additional terms from a border rank upper bound on a tensor $T$, and then use these terms to obtain an improved asymptotic rank of $T$. We establish general speedup theorems that subsume these results and enable quantitative improvements. Two representative applications are: (1) The asymptotic rank of the small Coppersmith-Winograd tensor $\mathrm{cw}_q$ is less than its border rank. For instance, we prove the asymptotic rank of $\mathrm{cw}_2$ is smaller than $3.931$, improving on $\underline{\mathrm{R}}(\mathrm{cw}_2)=4$. It is known that if the asymptotic rank of $\mathrm{cw}_2$ equals $3$, this would imply $ω=2$. (2) A general improvement over Strassen's bound: we obtain an upper bound below $d^{2ω/3}$ on the asymptotic rank of any $d\times d\times d$ tensor. To make full use of speedups, we analyze degenerations in which both sides are nontrivial direct sums, a setting where the optimal quantitative bound one can achieve was previously unclear. We do so via an approach we call Strassen calculus: a systematic method for converting such degeneration data into explicit asymptotic rank bounds using Strassen's theory of the asymptotic spectrum.

cs.CC↗

Ratchet Universality and optimal suppression of shot noise in biharmonically-driven tunnel junctions

This work discusses two retrodictions of the ratchet universality (RU) law which explain previous numerical and experimental findings concerning the diode effect in conventional superconducting tunnel-junctions (TJ) and the controlled suppression of electron-hole pair generation in a TJ, both under biharmonic driving fields. We demonstrate that the interplay between the RU law and the Heisenberg's uncertainty principle leads to a universal scenario of optimal quantum transport. Specifically, we demonstrate that the RU driving field maximizes the diode's efficiency while yielding a maximal rectification range for the supercurrent, on the one hand, and optimally reduces the excess quantum noise with respect to the dc noise level, thus allowing for the efficient production of nonclassical photonic states. These results suggest that the RU law seems essential for any \textit{optimal} application of the ratchet effect, particularly in the contexts of superconducting integrated power electronics, electron quantum optics, and quantum computing.

quant-ph↗

Local projective reconstruction of driven bosonic Hamiltonians

Inferring a Hamiltonian from a single quantum trajectory is generally non-unique. This ambiguity limits inverse use of projective quantum geometry. Here we show that a nearest-neighbour structural prior makes the problem locally identifiable. For a smooth real time-dependent Jacobi Hamiltonian initialized at a ladder endpoint, the physical-time projective jet through order M+1 reconstructs the first M couplings, their logarithmic rates, and diagonal energy differences, up to an overall scalar-energy gauge. A canonical osculating-frame representation encodes the same data in a gauge-fixed connection. Pair-driven bosonic dynamics provides a direct realization because the vacuum evolves on the even-Fock Jacobi chain. In a nonstationary test, shallow reconstructions fit early projective data yet strongly overpredict later occupation growth; adding the projective order that resolves each hidden nonlinear layer restores the self-limited dynamics. The result supplies an inverse local counterpart to forward Krylov/Lanczos constructions and specifies when phase-resolved short-time state information identifies a sparse driven Hamiltonian.

quant-ph↗

Brane-probes response to poly-vector deformations

We probe poly-vector deformations of Type II backgrounds using the fundamental string, D0-brane and D3-brane, and of the 11D membrane background by the fundamental M2-brane. We show that the corresponding deformations of the world-volume theories can be written in terms of flows similar to the $\mathrm{T}\bar{\mathrm{T}}$ flow (for the D3-brane flow --- with a square-root term). This interpretation works equally well for abelian (TsT) and non-abelian deformations.

hep-th↗

TactileReflex: Noise-Statistics-Driven Vision-Tactile Reflex Control for Force-Sensitive Manipulation

Manipulating fragile deformable containers, such as disposable plastic cups filled with liquid, demands real-time grip-force adaptation within an extremely narrow force margin: insufficient force causes slip, while excessive force irreversibly deforms the thin wall. Existing approaches struggle to achieve such force-sensitive manipulation tasks. We propose a noise-statistics-based calibration-driven reflex control paradigm with vision-based tactile sensing: by analyzing the sensor's intrinsic noise characteristics (via a brief static-hold-and-unload protocol), we directly derive all controller thresholds, eliminating external force calibration, trial-and-error manual tuning, or material-specific physical models. Instantiating this paradigm, we present TactileReflex, a three-channel closed-loop controller that extracts three image-level proxies, shear intensity ($S_y$), contact intensity ($F_n$), and center of pressure ($C$), from dual visuo-tactile sensors and drives prioritized reflex channels at ~12 Hz for slip suppression, weight-adaptive release, and force protection. Each channel closes the loop directly on its proxy via noise-derived thresholds. Ablation demonstrates that only the full three-channel system is able to prevent irreversible container deformation (5/5 success vs. at most 1/5 for partial configurations). In a dynamic pouring task, fixed-effort baselines fail in all 10 attempts due to pose drift, while TactileReflex achieves 9/10 success across two water volumes. As a self-contained and interpretable controller, TactileReflex can serve as a plug-and-play safety layer beneath high-level manipulation pipelines, including haptic-free VR teleoperation and vision-language-action (VLA) policies.

cs.RO↗

Optical properties of hydrogenated graphene superlattices

We investigate with first principles theoretical methods optical response accounting for excitonic effects of quasi-one dimensional monolithic arrays of graphene nanostripes -- two-dimensional graphene superlattices, where quasi-metallic and dielectric regions alternate by selective hydrogenation of graphene. It is shown that chemical engineering of the graphene surface can lead to strong and well-isolated absorption peaks in the far-infrared and possibly even terahertz frequencies. The band gap scaling suggests no excitonic insulators.

cond-mat.mes-hall↗

A lift for input-convex neural net training

Input-convex neural nets parametrize the convex potentials of density models and transport maps, and their convexity requires the inter-layer weights to be non-negative. Projected gradient descent enforces this by projecting after each step, and due to mini-batch noise the boundary is re-crossed indefinitely, which leads to an active set the projection never identifies. The differentiable alternative, direct softplus, optimizes a free latent weight through a softplus positivity map whose derivative attenuates the gradient exponentially where the weight is negative---the shoulder---so a coordinate that reaches it stays for an exponentially long time. To keep this unconstrained parametrization without its slow escape, we propose the lift, which replaces the free latent weight by a learnable slack plus an unconstrained network---the body---that takes a permutation-invariant summary of the training batch as input. The latent weight thus varies with the batch before the positivity map, and couples to the gradient formed on it. We show that this coupling enters the variance of the update to the latent weight at first order in the fluctuation, and that the slack, the batch dependence and the shared batch are each needed for it to act. Where the coupling aligns positively with the loss curvature, that variance is larger under the lift than under direct softplus, and a coordinate leaves the shoulder sooner. We compare the lift with the two existing methods on several applications. Where a constrained weight of direct softplus reaches the shoulder and does not leave, the lift fits the target more closely and reaches the same reconstruction about three times sooner. Where almost none reaches it, the methods agree.

cs.LG↗

MobileGym: A Verifiable and Highly Parallel Simulation Platform for Mobile GUI Agent Research

We present MobileGym, a browser-hosted, lightweight, fully controllable environment for everyday mobile use, targeting interaction fidelity without replicating proprietary backends. It enables two capabilities previously out of reach for everyday apps: verifiable outcome signals through deterministic state-based judging over structured JSON state, and scalable online RL through low-cost parallel rollouts. The full environment state is captured, configured, forked, and compared as structured JSON, and a single server can host hundreds of parallel instances, with about 400 MB memory per instance and about 3 s cold start. A layered state model and a declarative task-definition framework keep state programmability and task creation practical at scale, and a single programmatic judging mechanism delivers both deterministic evaluation verdicts and dense RL rewards. The accompanying MobileGym-Bench provides 416 parameterized task templates, including 256 test and 160 train templates, over 28 apps, with deterministic judges and a structured AnswerSheet protocol that avoids free-text matching failures. In a Sim-to-Real case study, GRPO on Qwen3-VL-4B-Instruct gains +12.8 percentage points on the 256-task test set, and on a 59-task real-device signal subset, real-device execution retains 95.1% of the simulation-side training gain. Project page: https://mobilegym.github.io.

cs.AI↗

Thermal Casimir Effect in A Schwarzschild-like Wormhole Spacetime

We study the finite-temperature Casimir effect for a massless scalar field confined between two parallel plates in a Schwarzschild-like wormhole spacetime. Imposing Dirichlet boundary conditions, we compute the renormalized Casimir free energy in the comoving frame. We find that the thermal correction to the renormalized Casimir free energy decreases gradually with the temperature and becomes independent of the background geometry in this frame. Thermodynamic quantities derived from the Casimir free energy, namely, the renormalized Casimir entropy, internal energy, and heat capacity at constant volume, exhibit distinct temperature dependence. At low temperatures, all thermodynamic quantities recover the expected behavior, consistent with the fundamental laws of thermodynamics. These results provide a compact framework for analyzing quantum vacuum forces in gravitational backgrounds.

hep-th↗

PatchBoard: Schema-Grounded State Mutation for Reliable and Auditable LLM Multi-Agent Collaboration

LLM multi-agent systems often coordinate through natural-language dialogue or loosely structured shared memory, making intermediate state difficult to validate, attribute, and audit. We introduce PatchBoard, a schema-grounded collaboration architecture that replaces inter-agent dialogue with validated JSON Patch mutations over a shared structured state. An Architect agent constructs a task-specific schema and workflow rules, while a deterministic kernel validates each proposed state mutation against schema constraints, role-specific write contracts, and runtime invariants before committing it transactionally. On 630 matched ALFWorld episodes, PatchBoard achieves an 84.6% success rate, compared with 30.8% for LangGraph and 61.6% for Flock, while reducing tokens per successful task to 45.5k, compared with 368.3k and 64.2k, respectively.

cs.CL↗

Empirical Trajectory Sparsity Biases Mobility-Informed Epidemic Modeling

GPS mobility data are increasingly used in epidemic modeling, allowing the construction of co-location networks or population flows. These trajectories typically exhibit high temporal sparsity because data collection is opportunistic and tied to phone use. Despite growing awareness of this limitation, the analysis and treatment of biases derived from it have been largely overlooked in existing epidemic modeling studies, raising concerns about the robustness of downstream inferences. We introduce a principled framework to quantify the impact of trajectory sparsity on key epidemic modeling outcomes across different levels of data missingness. Our approach leverages a highly complete dataset that exhibits both near-complete and sparse GPS trajectories. Near-complete trajectories provide baseline epidemic outcomes, while sparse trajectories provide realistic missingness patterns that we impose on the baseline to measure bias. In this way, we show how missing records can result in substantial underestimation of key measures of epidemic intensity, explained not only by the amount of missing data, but by more complex features of data missingness that should be taken into account when designing correction methods. Finally, we propose and evaluate a correction based on inverse probability weighting of the contact network before epidemic model calibration, which is shown to reduce bias and parameter misspecification. We also demonstrate this correction on a separate anonymized sample from a commercial GPS mobility dataset and report on its effect. Together, our findings provide a first rigorous quantification of trajectory-sparsity bias in epidemic modeling, offering initial guidance on the treatment of this issue.

cs.SI↗

Ambiguity Analysis and Design of Sparse Arrays via Generalized Vandermonde Rank Conditions

Sparse linear arrays obtained by thinning a uniform linear array (ULA) achieve large effective apertures with a reduced number of physical sensors and have become a key enabling technology across radar, sonar, communications, and integrated sensing and communications. The price of thinning, however, is the emergence of ambiguities in the array manifold: distinct sets of directions of arrival that produce identical sensor measurements, precluding unique identification of multiple sources. Conventional sparse-array design criteria, based on beampattern shaping or estimation-performance optimization, do not fully capture how multiple steering vectors interact jointly to produce such ambiguities. This paper develops an algebraic framework for the complete multi-source identifiability analysis of thinned ULAs, characterizing all ambiguity sets for arbitrary source number rather than only at the maximum identifiable number. By relating the rank deficiency of the generalized Vandermonde matrix associated with the sparse steering matrix to that of a thinned Toeplitz matrix, and further to a rank condition on an augmented full-ULA steering matrix with prescribed generators, we obtain a systematic characterization of the ambiguity sets in large sparse arrays together with constructive design guidelines for ambiguity-free geometries. Algebraic and numerical examples demonstrate that the proposed framework resolves the ambiguity structure of thinned arrays of a few dozen grid positions, for which previous methods yield only individual ambiguity sets.

eess.SP↗

Decomposition of the axial-vector current in a finite box

We consider the matrix element of the axial-vector current between two nucleon states in a finite box. Starting from the chiral Lagrangian density with nucleon and Delta-isobar degrees of freedom, we study the finite-volume effects at the one-loop level. We show that the standard decomposition into the axial-vector and pseudoscalar form factor is incomplete in a finite box. We derive expressions for the complete set of in-box form factors at one loop, and demonstrate how to extract the full set from lattice correlation functions. We verify that the axial Ward identity holds in the chiral limit. We derive the one-loop expressions for the pseudoscalar form factor and verify that the in-box axial Ward identity away from the chiral limit is fulfilled also. Selected numerical results are shown for two flavor-SU(2) lattice ensembles. Sizable finite-volume effects are observed, with an important role for the Delta-isobar. We discuss the implications of our results for lattice studies of the axial-vector current. We conclude that full finite-box results are crucial for a precise determination of the form factors.

hep-lat↗

MLSkip: Data Skipping for ML Filters via Lightweight Metadata

Database vendors recently released AI functions that can be used in filter predicates. As such functions often rely on costly, black-box ML models, they unveil new data management challenges. Concretely, traditional data skipping techniques for integer and string data fail to be applicable to the new filter type. Indeed, there is no known mechanism for pruning non-qualifying row groups, e.g., when reading files from blob storage. In this work, we initiate the study of data skipping techniques for ML filters. We make the case that Parquet's default min-max metadata is enough to enable pruning. To this end, we draw connections to two lines of research: (i) the recently proposed query language for ML models and (ii) neural network verification. Our preliminary results on ReLU architectures show that on tables from TPC-H and TPC-DS, the average pruning effectiveness for filters of selectivity below 0.1% amounts to 27.4%. Finally, inspired by research on spatial joins, we propose an enhanced metadata structure: a size-bounded 2D convex hull that verification tools can make better use of, increasing the pruning effectiveness to 38.31%, while occupying at most 45 bytes per row group and column pair. We observe an end-to-end speedup of 1.07$\times$ over PyTorch in DuckDB.

cs.DB↗

First-principles calculations of electronic structure

The emergence of high-mobility at provides a fertile platform for exploring emergent quantum phenomena and next-generation oxide electronics. Here, using first-principles density functional theory (DFT) calculations, we uncover the microscopic origin of the formed at the interface between insulators. Despite both constituents being insulating in bulk, the heterostructure develops robust metallicity at the interface, in agreement with experimental observations. This charge redistribution stabilizes at the interface. The electronic states forming enforcing carrier motion strictly within the interfacial plane. Remarkably, the spin-up parabolic band hosting the 2DEG exhibits an exceptionally small effective mass -- indicating the potential for significantly enhanced carrier mobility. Furthermore, the calculated interfacial electron density exceeds that of by nearly an order of magnitude, consistent with experimental measurement. These findings identify the heterostructure as a compelling platform for realizing and open new avenues for engineering correlated oxide interfaces for quantum electronic applications.

cond-mat.mtrl-sci↗