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 505 records · Page 28Linked to original sources

Two-row Schur times Schubert via parallel classes of positroid varieties

Schubert structure constants are intersection numbers of Schubert varieties. Finding positive combinatorial formulas for these constants remains a major open problem. We resolve this problem when one of the indexing permutations corresponds to a two-row partition. Our approach uses increasing chains, introduced by Sottile for the one-row case, and builds on the skew Schubert functions studied by Bergeron and Sottile. The key step is to connect increasing chains and these functions with the parallel classes of positroid varieties.

math.CO↗

Observable-Based Learning of Effective Entanglement Hamiltonians

Determining the entanglement Hamiltonian (EH) of an interacting quantum many-body system remains a fundamental challenge beyond special analytically tractable cases. Here we develop an observable-matching framework for learning effective EHs, which we demonstrate using response estimates from quantum Monte Carlo. As applications of this framework, we first calibrate the overall prefactor of the lattice Bisognano--Wichmann (LBW) construction using equal-time correlations and then learn spatially resolved couplings beyond its prescribed profile, without assuming a specific functional form for their spatial dependence. Trained solely on local correlations, the learned EHs reproduce benchmarked von Neumann and second Rényi entropies in $1$D and second Rényi entropies in $2$D. For a strong-bond cut associated with special surface criticality at the $(2+1)$D $O(3)$ Wilson--Fisher critical point, free-form learning outperforms the calibrated LBW ansatz in predicting the second Rényi entropy and reveals spatially nonuniform coupling renormalizations. Importantly, the learned EH also provides access to the von Neumann entropy in this setting, revealing a negative subleading correction and extending previous Rényi entropy findings to the von Neumann case. Directly evaluating the von Neumann entropy in such $(2+1)$D interacting quantum many-body systems remains challenging for conventional numerical methods. These results establish observable-based learning as a route to constructing effective entanglement Hamiltonians beyond prescribed spatial profiles in higher-dimensional interacting systems.

cond-mat.str-el↗

Constant-Factor Approximation Algorithms for Weighted Budgeted Multisensor Sweep Coverage

Sweep coverage requires each point of interest (PoI) to be revisited by some mobile sensor at least once during every sweep period, and it underlies persistent patrolling, environmental monitoring, and infrastructure inspection. Given a set of $N$ PoIs, each associated with a nonnegative weight representing its importance, the weighted budgeted sweep coverage problem (WB-SCP) seeks routing trajectories for a budget of $M\leq N$ identical mobile sensors with a common maximum speed to maximize the total weight of the sweep-covered PoIs. For the unweighted special case in which every PoI has unit weight, the first constant-factor approximation algorithm achieves a ratio of $0.0116-O(\varepsilon)$ for any constant $\varepsilon>0$, and whether the WB-SCP itself admits such an algorithm has remained open. In this paper, we resolve this open question by proposing two constant-factor approximation algorithms for the WB-SCP. The first converts any bifactor $(α,β)$-approximation algorithm into a $β/(2α)$-approximation algorithm, yielding a ratio of $1/16=0.0625$. The second builds on a greedy maximum-coverage framework and improves the ratio to $1-e^{-1/2}-\varepsilon$ for any fixed $\varepsilon>0$. Both algorithms also improve the best-known ratio for the unweighted case, and the second extends to heterogeneous sensors with different speeds while preserving the same guarantee.

cs.DS↗

Acoustic Anomaly Detection for Early Identification of Drill Jamming

In the context of Industry 4.0, predictive maintenance is essential to minimize unplanned downtime and ensure operational safety. In machining processes, drill jamming is a critical failure that compromises both workpiece quality and tool integrity. This work proposes an acoustic anomaly detection system using ultrasonic sensors to identify pre-failure patterns in Computer Numerical Control (CNC) machining. We release a public dataset of time- and frequency-domain acoustic features from 17 drills, and benchmark semi-supervised autoencoder-based normality modelling against supervised XGBoost classification using Leave-One-Drill-Out validation. The results demonstrate that the Autoencoder is highly effective for industrial safety, achieving a Recall of 1.00 and a consolidated F1-score of 0.81. Furthermore, the threshold-independent analysis shows that the Autoencoder better separates normal and pre-failure acoustic patterns, achieving a consolidated AUC of 0.8294, compared with 0.7559 for the supervised model under inter-tool covariate shift. In contrast, the supervised XGBoost achieved an average F1-score of 0.55 and failed to detect failures in some of the evaluated drills. The findings highlight that the ultrasonic spectrum provides a reliable window for identifying incipient mechanical instabilities, and the AE model offers a robust safety envelope by anticipating all jamming events across the tested drill bits.

cs.LG↗

Evaluation of Image Noise from Computed Tomography in an Organ-Specific Anthropomorphic Phantom

Computed tomography (CT) is used ubiquitously for diagnostic imaging, with novel iterative reconstructions such as hybrid iterative reconstruction with partial model-based component (ASiR-V) and deep learning image reconstruction (DLIR) increasingly utilized. In conjunction, CT vendors have developed a noise index (NI) to reduce radiation dose during protocol development. However, it is unclear how these reconstruction algorithms reduce noise as NI changes, particularly across multiple organs. The goal of this study was to utilize an anthropomorphic phantom to evaluate image noise against the prescribed NI across different organs, determine if DLIR reduces image noise compared to ASiR-V, and use this relationship to determine the maximum volume CT dose index (CTDIvol) reduction at equivalent noise levels. Repeat images were acquired on a GE HealthCare Revolution Apex CT scanner across NI values in an anthropomorphic adult-sized phantom from Kyoto Kagaku with ASiR-V and DLIR. Organs-of-interest were contoured using TotalSegmentator in 3D Slicer. The correlation between the CTDIvol and NI was determined. The standard deviation of the difference in the repeat images was used as a noise metric (NM), correlated with NI, used to determine the NI at equivalent NM between ASiR-V and DLIR, then applied to determine the dose reduction and difference in NM. The relationship between NI and the resulting CTDIvol was found to be proportional to a power law of exponent -2.23. The maximum potential absolute dose reduction from using DLIR was found in the liver at 1.3 mGy with an NI of 7.9. Across all organs, the relative dose reduction increased, the NM-to-NI ratio decreased, and the noise reduction increased across NI. The relationship between image noise and the prescribed NI differed between ASiR-V and DLIR and varied by organ, with model-based dose reductions of up to 1.3 mGy in the liver.

physics.med-ph↗

A Synchronized Tri-Modality Wireless System for Multi-Point Non-Contact Cardiac Monitoring

Cardiac physiological monitoring is fundamental to evaluating cardiovascular health and diagnosing related diseases. Non-contact radar sensing can capture chest-wall vibrations with spatial specificity, enabling localized physiological monitoring and cardiac assessment. Progress, however, has been limited by the absence of a reliable, research-grade hardware platform for rigorous validation of radar-based methods. Prior systems typically pair radar, namely Doppler cardiography (DCG), with only electrocardiography (ECG) or other coarse references, providing no direct mechanical ground truth and thus constraining fine-grained evaluation of radar outputs. We present a tri-modality wireless system that integrates ECG, seismocardiography (SCG), and DCG under a unified acquisition and control framework for time-aligned recording and analysis. The tri-modality system combines miniaturized wearable ECG/SCG modules with a high-resolution mmWave radar module, supporting spatially resolved sensing and subsequent feature extraction. To our knowledge, this is the first integrated ECG--SCG--DCG hardware system for comprehensive cardiac monitoring; it enables multi-point thoracic acquisition, achieves precise cross-modal synchronization, and maintains specifications suitable for wearable operation. Experiments on a linear-motion platform show close agreement between DCG- and SCG-derived displacements, confirming accurate displacement measurement. Human-subject studies further demonstrate cross-modal consistency and robust extraction of feature points, establishing ECG as the electrical anchor and SCG as the mechanical ground truth for DCG. Overall, the system provides a rigorous, spatially resolved validation platform that advances non-contact cardiac sensing and supports next-generation radar-based monitoring.

cs.AR↗

Infinitely many nonradial positive solutions for two-coupled nonlinear Schrödinger equations in $\bbr^N$ without symmetry

In this paper, we consider the following two-coupled nonlinear Schrödinger equations: \begin{equation*} \begin{cases} &-Δu+P(x)u=μu^3+βuv^2,\quad\text{in }\R^N,\\ &-Δv+Q(x)v=νv^3+βu^2v,\quad\text{in }\R^N,\\ &u,\,v\in H^1(\R^N) \end{cases} \end{equation*} where $N=2,3$, $P(x)$ and $Q(x)$ are potentials, $μ$ and $ν$ are positive coefficients and $β\in\R\setminus\{0\}$ is the coupling parameter. By developing the intermediate reduction arguments in [del Pino-Wei-Yao, Calc. Var., 2015], we prove the existence of infinitely many nonradial positive solutions to the above system under suitable regularity and decay conditions on $P(x)$ and $Q(x)$, {\bf but without any symmetry assumptions on them}. The scalar version of our result also gives {\bf a positive answer} to the first part of [Question~3, del Pino-Wei-Yao, Calc. Var., 2015] and our method might be helpful in studying other problems.

math.AP↗

Continuous-time q-Learning for Finite-Horizon Portfolio Choice with Optimal Stopping in Jump-Diffusion Markets

We develop a structured continuous-time q-learning framework for finite-horizon investment and optimal stopping under jump-diffusion dynamics with unknown parameters. A penalty approximation transforms the Hamilton-Jacobi-Bellman variational inequality into an HJB equation with a binary control for the stopping penalty. An auxiliary state incorporates the resulting control-dependent discount factor into a Markovian formulation. We randomize controls on the mixed action space and introduce Shannon entropy regularization, establishing policy improvement and martingale characterizations of the continuous-time q-function. These results motivate a structured q-learning algorithm that constructs the q-function from the penalty HJB equation and jointly learns the value function and unknown generator parameters from sample paths. We apply the method to portfolio choice with optimal stopping in a simulation study. We further conduct a two-asset empirical study, evaluating learned strategies on bootstrap paths from held-out test returns versus an MLE-finite difference benchmark.

math.OC↗

High precision timing of seven binary millisecond pulsars with the European Pulsar Timing Array

Binary millisecond pulsars (MSPs) serve as exceptional astrophysical laboratories for a wide range of astrophysical studies, all of which rely on precise property measurements allowed by pulsar timing. In this paper, we present high-precision timing solutions for seven binary MSPs monitored by the European Pulsar Timing Array. By combining data collected from the five largest radio telescopes in Europe, as well as their coherently combined form, the Large European Array for Pulsars, we achieve phase-coherent timing solutions for all seven pulsars. We conduct a Bayesian timing and noise analysis on the combined data, yielding measurements of astrometric and orbital parameters with broadly improved precision, some reported for the first time. For PSRs J0125-2327, J1741+1351 and J2043+1711, we determine their distances and transverse velocities from astrometric measurements, and infer their masses via Shapiro delay measurements. Additionally, we examine the various contributions to the secular orbital-period variations for PSRs J0125-2327, J1125+7819 and J1741+1351, and estimate their kinematic distances. For PSRs J0125-2327 and J1741+1351, we detect the signature of annual-orbital parallax in the timing data. This allows us to derive a strongly favored, unique solution for the orbital ascending node and inclination angle for PSR J0125-2327, and a tightly constrained ascending node for PSR J1741+1351. Moreover, we use the orbital periods and their derivatives for several binary MSPs to place upper limits on gravitational-wave strain in both the sub-nanohertz and microhertz frequency regimes. Our results show that the orbits of binary MSPs could provide stringent constraints in microhertz range, thereby possibly complementing standard pulsar-timing-array analyses in the future.

astro-ph.HE↗

Asymptotic-Preserving Tensor Neural Networks for 3D High-Field Kinetic Equations with Applications to Uncertainty Quantification

Kinetic equations in the high-field regime describe particle transport dominated by electric-field acceleration and collisional relaxation. These equations are widely used in simulations of plasmas and semiconductor devices. Typical models include the Vlasov--Poisson--Fokker--Planck (VPFP) and Boltzmann--Poisson systems. Their high dimensionality and multiscale nature pose two of the major challenges to accurate and efficient numerical solution. To address these challenges, we propose an asymptotic-preserving tensor neural network (APTNN) method. Specifically, to reduce high-dimensional computational costs and memory requirements, we adopt the canonical polyadic (CP) decomposition structure of TNNs to approximate their solutions. We show that the equation residuals retain this decomposition form, allowing high-dimensional loss integrals to be evaluated through combinations of one-dimensional integrals. The resulting computational and storage costs are reduced from exponential to polynomial growth with dimension. To improve the prediction accuracy in the high-field limit, we enhance the baseline AP loss by incorporating the first moment equation. The added loss term directly constrains the limiting flux closure to reduce its approximation error in the high-field regime. The enhanced AP loss can still be evaluated dimension-wise. Numerical results show that APTNN improves prediction accuracy in the high-field regime with significantly reduced computational costs and memory usage. For a 3D3V VPFP problem with multiple random inputs, training takes less than 30 minutes on a single GPU.

math.NA↗

The $q$-Poincaré sum and separability in a Coxeter group

Given a finite Coxeter group $W$ and an element $q$ of a commutative ring $\mathbf{k}$, we define the element $\mathbf{L}_{q} :=\sum_{w\in W}q^{\ell\left( w\right) }w$ of its group algebra $\mathbf{k}\left[ W\right] $. We say that an element $w\in W$ is $W$\emph{-length-symmetric} if its coefficient in the commutator $\left[ \mathbf{L}_{a},\mathbf{L}_{b}\right] $ is $0$ for all $\mathbf{k}$ and all $a,b\in\mathbf{k}$. We prove several sufficient criteria for elements to be $W$-length-symmetric. In particular, we show that any separable permutation (i.e., permutation avoiding the patterns $2413$ and $3142$) in the symmetric group $S_{n}$ is $S_{n}$-length-symmetric. More generally, we construct a notion of separable elements of a finite Coxeter group $W$ (which, for finite Weyl groups, agrees with the eponymous notion introduced by Gaetz and Gao), and show that all such elements are $W$-length-symmetric. This is only a sufficient condition; other $W$-length-symmetric elements include (twisted) involutions and elements of dihedral parabolic subgroups.

math.CO↗

A framework for matrix-element-corrected QED antenna showers in hadron decays

We present a general framework for the description of QED parton showers in hadron decays. The formalism is constructed in terms of coherent QED antennae with full dependence on particle masses and extends beyond the YFS approach by systematically incorporating spin-dependent (quasi)collinear single-unresolved limits to all orders. In addition, we incorporate corrections derived from tree-level matrix elements up to $\mathcal{O}(α^2)$ and describe a generic procedure to obtain such matrix elements using FeynRules and MadGraph. We provide an explicit implementation of the method for decays involving pseudoscalar mesons and for decays of vectors and pseudoscalars into fermion-antifermion pairs, within the combined Pythia+Vincia parton-shower Monte Carlo framework, and compare the resulting QED emission spectra to those generated with Photos and Sherpa+Photons++ through the EvtGen generator.

hep-ph↗

Test-Time Self-Play: Scaling without a Verifier

Test-time scaling methods spend additional compute at deployment to improve a large language model's performance on a hard target problem. Most methods rely on a verifier that scores candidate solutions for correctness, using it to select among or refine the model's outputs. In many deployment regimes, however, a strong verifier on the target problem is unavailable. We introduce Test-Time Self-Play (TTSP), an approach to test-time scaling using asymmetric self-play without reliance on a verifier. On a difficulty-calibrated subset of LiveCodeBench v6, TTSP is the best-performing method at every verifier strength we evaluate, and the gap to the strongest baseline widens as the verifier weakens; in the no-verifier limit, TTSP yields a 35\% absolute improvement in mean@8. The gains hold across a range of verifier strengths, except when the base policy has near-zero coverage of the correct answer.

cs.LG↗

A Partial-Matching Proof of the Neyman--Pearson Lemma

Testing seeks to distinguish distributions, whereas matching seeks to identify their common mass. I show that this apparent opposition provides a direct proof of the Neyman--Pearson lemma. Maximal partial matching between the alternative distribution and a scaled null distribution separates them into a common component and two mutually singular residuals. An elementary dual problem then turns this separation into a testing rule: complementary slackness forces rejection on the alternative residual and non-rejection on the scaled-null residual, leaving freedom to randomize at the likelihood-ratio threshold. Thus the optimal test emerges from maximal matching rather than being proposed in advance. The matching profile also determines the optimal power envelope.

math.ST↗

A Simple Discrete Newton Method for the Quickest Transshipment Problem

The quickest transshipment problem is a problem defined in a dynamic network with multiple sources and multiple sinks. The goal of this problem is to send all the supplies from sources to sinks as quickly as possible. It is known that this problem can be solved in polynomial time. In particular, Schlöter, Skutella, and Tran proposed a strongly polynomial-time discrete Newton method for this problem. In this paper, we propose a simple polynomial-time discrete Newton method for the quickest transshipment problem.

cs.DS↗

Breaking $\mathsf{TraintoDefend}$ via Adaptive Neuron Clustering in Cryptanalytic Model Extraction

Cryptanalytic model extraction poses a fundamental threat to deep learning model confidentiality by enabling precise parameter recovery with theoretical guarantees of functional equivalence. To counter this growing threat, $\mathsf{TraintoDefend}$ (NeurIPS 2025) was proposed as the first dedicated defense against cryptanalytic extraction and remains the only defense believed to be effective to date. It encourages neurons to learn similar weights so that they switch activation states together, making their individual contributions harder to distinguish. However, we notice that neurons with similar weights need not switch activation states together under small perturbations. Instead, weight similarity can cause the original clustering rule to merge signatures from distinct neurons when only a subset of their normalized weight coordinates agree. Motivated by this observation, we introduce $\mathsf{SimBreak}$, an adaptive clustering rule that breaks the weight-similarity defense of $\mathsf{TraintoDefend}$. $\mathsf{SimBreak}$ estimates a relative scale from all jointly observed weight coordinates and uses the same scale to test both weight direction and bias consistency. Across six protected fully connected networks trained on MNIST, $\mathsf{SimBreak}$ raises target layer signature recovery from $0\%$ to $100\%$, with a maximum relative recovery error of $2^{-22.27}$. Our work challenges the use of neuron weight similarity as a sufficient basis for protection and establishes adaptive evaluation as essential to assessing cryptanalytic extraction defenses.

cs.CR↗

Operational Characterizations and Resource Structure of the Interactive Weight of Quantum Instruments

Quantifying the interactivity of quantum instruments is fundamental to understanding their resource structure and operational capabilities. Here, we introduce the interactive weight of quantum instruments as a resource quantifier that measures the minimum fraction of an instrument that cannot be explained by non-interactive components. Through quantum-information tasks including quantum-state recovery, positive linear loss games, and environment-assisted input-blind extraction, we establish quantitative bounds on the interactive weight of quantum instruments and exact operational characterizations of its complementary quantity, the maximal non-interactive content. In particular, we extend environment-assisted input-blind extraction to the setting of restricted environmental access and develop a corresponding framework. Within the allowed-operations framework introduced by Hsieh et al., we establish fundamental resource-theoretic properties of the interactive weight of quantum instruments, including faithfulness, convexity, and monotonicity under deterministic allowed operations. Furthermore, we prove that the maximal non-interactive content satisfies exact multiplicativity under independent parallel composition, yielding necessary constraints on multicopy resource conversion and establishing the finite-copy maximal-weight distillation no-go result under deterministic allowed operations. These results establish a unified theoretical framework for the interactive weight of quantum instruments from the perspectives of resource quantification, operational interpretation, and resource conversion, providing systematic theoretical tools for the quantitative comparison and conversion of interactive quantum instruments.

quant-ph↗

EnvOpt: Automated Optimization for Agent Environments

An LLM agent's cost and success depend on its model, its harness, and its environment. In addition to the widely studied directions of parameter tuning and harness optimization, we propose the third direction: optimization over stationary environments. Agents are often deployed in rich environments shared by many tasks, such as a company's Slack workspace or a complex collection of data sources, documents or tickets. We call these environments stationary environments. We introduce EnvOpt, a method for automated end-to-end optimization of stationary environments for any given model and harness, using real or synthetic tasks without needing any graders or reference answers. On AutomationBench, EnvOpt reduces the cost of Claude Haiku 4.5 by 72.7% and raises its pass rate by 14.34%. The same environment transfers to Opus 5, cutting its cost by 68.1% with a 1.34% gain. Added on top of Meta-Harness's optimized harness for Haiku 4.5, it lowers cost by a further 83.4% and adds 11.17% accuracy over Meta-Harness alone. Across 5 benchmarks, EnvOpt significantly reduces the cost of agents while improving or maintaining pass rate, and is transferable to different models and different harnesses. We also discuss common successful and rejected environment optimization strategies during automated optimization. More broadly, our results show that how information is represented to an agent shapes both its cost and its success, making the environment worth optimizing in addition to the parameters and the harness.

cs.AI↗