Search arXiv⌕ Search

arXiv subjects

Search papers

Search indexed arXiv papers on artificial intelligence, large language models, computer vision and robotics. Read source abstracts and follow links to arXiv.

At least 1,711 records · Page 95Linked to original sources

Provably Efficient Q-learning for Robust Reinforcement Learning

Standard reinforcement learning (RL) algorithms based on Markov Decision Processes (MDPs) are vulnerable to sim-to-real gaps. To address this issue, distributionally robust RL algorithms based on robust MDPs (RMDPs) have been proposed, for ensuring that agents can perform reliably to unpredictable conditions in real-world environments. Despite of the rich literature, \revision{an efficient model-free method is still lacking} for robust RL, particularly for Markovian data, which is more relevant in practical applications. In this work, we take a step towards settling this problem by proposing a sample efficient (asynchronous Q-learning) algorithm for robust RL. In particular, consider a $γ$-discounted infinite-horizon RMDP with state space $\mathcal{S}$ and action space $\mathcal{A}$, where the uncertainty set is specified by the total variation (TV) distance with uncertainty level $σ$. Assuming access to a single trajectory of Markovian samples induced by a behavior policy and the nominal transition kernel, the sample complexity of the proposed Q-learning algorithm --- to achieve an entrywise $\varepsilon$-approximation of the optimal Q-function --- is bounded by $$ \frac{1}{μ_{\mathsf{min}}\varepsilon^2(1-γ)^3\max\{1-γ,σ\}} + \frac{t_{\mathsf{mix}}}{μ_{\mathsf{min}}(1-γ)} $$ up to logarithmic factors. Here, $t_{\mathsf{mix}}$ and $μ_{\mathsf{min}}$ denote the mixing time and the minimum state-action occupancy probability of the sample trajectory, respectively. This result is nearly minimax optimal, with an additional factor of $\frac{1}{1-γ}$. Moreover, it achieves a significant improvement over existing bounds.

stat.ML↗

Quantum-Inspired and Optimization-Based CT Reconstruction Through Spin-Error

Quantum-optimization-based computed tomography (CT) reconstruction has demonstrated quantum supremacy in reconstruction accuracy over conventional classical methods under sparse-view and corrupted-sinogram conditions. However, scaling this approach remains challenging because larger images require increasingly many binary variables and interactions in the underlying quadratic unconstrained binary optimization (QUBO) model. Even with iterative region-of-interest (ROI) refinement, a 60 by 60 ROI with three X-ray mass attenuation coefficients requires 10,800 binary variables under our encoding. As an initial step toward larger quantum CT images, we investigate simulated annealing (SA) followed by spin-error mitigation for optimisation (SEMO), without altering the CT-QUBO objective. We evaluate three 54-view ROI reconstruction instances and nine-view reconstruction with detector-row corruption, comparing SA and SEMO with selected hybrid quantum-classical solver results. For the ROI cases, SEMO reduced the numbers of incorrectly reconstructed pixels in low-budget SA outputs from 13 to 1, 38 to 0, and 54 to 15. With 20 percent detector-row corruption, three of four selected SA and SEMO pairs achieved exact reconstruction. Applying SEMO to one hybrid-solver output reduced its ROI error from 78 to 1 pixel. Improvements were instance-dependent: in one corrupted-sinogram case, QUBO energy decreased while image-domain error increased slightly; in one ROI case, the refined image retained 15 incorrect pixels despite having lower QUBO energy than ground truth. At the evaluated problem sizes, SA and SEMO attained reconstruction accuracy comparable to or better than selected unmitigated hybrid-solver results, providing an initial solution-quality benchmark for future larger-scale, parallelized quantum CT image reconstruction.

quant-ph↗

A Hybrid Framework for Explainable Aviation Risk: Causal Chain Extraction from Safety Reports with Physics-Based Failure Quantification and Interventional Analysis

Aviation authorities hold decades of accident reports whose narratives record how investigators reconstructed each accident. Computational work on these archives has mostly sorted reports into fixed taxonomies. In this work, we propose a hybrid framework in which a text-based corpus identifies the leading factors of a failure mode. Physics-based models then quantify how likely that failure is at a stated operating point. Ordered causal chains extracted from 56,202 American accident reports with a local large language model aggregate into a causation knowledge graph. On an evaluation sample of 2,000 reports, the chains recover 90.8% of investigator-flagged causes. Each physical factor whose drivers the record carries receives an occurrence model calibrated to the accident population. A leaky noisy-OR fitted to the corpus combines the factors into a failure mode probability that supports intervention. For engine power loss, the carburetor icing model separates 1,205 icing accidents from other accidents using temperature and dewpoint alone, reaching 0.61 in area under the receiver operating characteristic curve against a density ratio ceiling of 0.64. Routine weather hours give no valid control, because flying concentrates in fair weather. On later years the physics adds 0.03 to that area for occurrence and nothing for severity, so its value lies in interpretability. On four named accidents, abduction gives a probability of necessity of 0.29 to 0.50 for the heat omission, under monotonicity. The Fast Causal Inference algorithm does not license the largest backdoor adjustment on the learned networks.

cs.LG↗

Environment Edits as a Corrective Signal for Reward Learning

Robot corrections allow people to adjust a robot's behavior, but a single correction changes many features. Also, preferences about object attributes and relationships between objects cannot be expressed by moving the robot. We propose environment edits as a complementary form of feedback. The robot's motion is held constant as the human edits the scene, so the only explanation for the edit is the moved object. We introduce Feature Learning from Environmental and Robot-Relational Edit Traces (FERRET), which learns preferences from both robot and environment corrections. We show that environment edits are able to disambiguate features and learn preferences that robot corrections alone cannot.

cs.RO↗

Quantum computation of energy level degeneracy and thermodynamical properties of spin systems

We propose a hybrid quantum-classical method for reconstructing energy-level degeneracies and thermodynamic properties of spin systems. A single ancilla qubit is used to measure the partition function at imaginary inverse temperatures. For spectra lying on a known equally spaced energy grid, the inverse discrete Fourier transform allows exact reconstruction of degeneracies in the absence of noise, without spectral leakage. The quantum circuits are optimized using commuting interactions and Eulerian ordering. We demonstrate the method for frustrated Ising antiferromagnets on periodic Kagome graphs with up to 36 spins, using the ibm_kingston quantum processor. Despite substantial circuit depth and hardware noise, the reconstructed spectra retain their dominant features, and the calculated heat capacities reproduce the main temperature dependence of the exact results. Keywords: partition function, imaginary temperature, Ising model, heat capacity, ancilla qubit, quantum computing.

quant-ph↗

The Riesz representation in submetric spaces and its probabilistic aspects

A submetric space is a topological space equipped with a continuous metric that generates a metric topology (usually) weaker than the original one (e.g., a~separable Hilbert space with the weak topology). We show that a positive linear functional on the space of bounded continuous functions on a submetric space is given as an integral with respect to a tight measure if, and only if, it is continuous in the strict topology. Neither local compactness nor complete regularity is required. We link the equicontinuity of a family of functionals in the strict topology to the uniform tightness of the underlying measures, and we provide a probabilistic representation (Skorokhod's parametrization) for such families. Finally, we identify the finest topology on the space of probability measures on a submetric space in which uniform tightness implies relative compactness. In non-metric spaces this topology is strictly stronger than the topology of weak convergence of probability measures.

math.PR↗

Phonon-assisted shift-current from first-principles: application to AlN monolayer

In this work, we present a first-principles approach to investigate phonon-assisted shift current in extended systems. Our method combines the special displacement technique with real-time simulations based on the dynamical Berry phase. Merging these two frameworks enables direct access to non-linear optical responses at finite temperatures, while naturally incorporating phonon scattering and phonon-assisted electronic transitions into the time-dependent dynamics. This allows us to capture temperature-dependent features and lattice fluctuations that are essential for a realistic description of non-linear photocurrent generation. As a representative example, we apply our approach to the shift-current response of a monolayer of hexagonal AlN (h-AlN). This system provides an ideal testing ground because it features an indirect band gap and lacks inversion symmetry. Moreover, h-AlN layers of different thicknesses have been fabricated and characterized in a variety of experimental settings, opening the concrete possibility of testing our predictions. Our results demonstrate the relevance of phonon-mediated processes and the importance of temperature in determining the magnitude and spectral features of the shift current in layered materials.

cond-mat.mtrl-sci↗

SCAFFOLD under Hessian Similarity: Sharp Convergence Rates

One of the main challenges of federated learning is heterogeneous data split among the clients, leading to biased local updates called client drift. The SCAFFOLD algorithm (Karimireddy et al., 2020) corrects client drift with control variates, but its relation to the similarity of client data is not yet fully understood: the original similarity-based guarantees cover only quadratics with a stronger second-order similarity assumption, and a follow-up weakly convex analysis (Luo et al., 2025) obtains a $\sqrt{Lδ}$ dependence for $L$-smooth losses with averaged Hessian similarity $δ$. We analyze SCAFFOLD with minibatch-based control variates and establish linear dependence on Hessian similarity beyond quadratics, for both convex and nonconvex objectives. In particular, for convex objectives with exact gradients, $R$ SCAFFOLD rounds with $K$ local steps lead to an objective gap of order $(L/K+δ)D_0^2/R$, where $D_0$ is the initial distance to a minimizer. When $K=Θ(L/δ)$, it improves the minibatch SGD rate by a factor $Θ(L/δ)$. For nonconvex objectives, we prove an analogous stationarity guarantee under uniform Hessian similarity for a client-selection variant. In both settings, we extend these guarantees to stochastic gradients and prove matching lower bounds for the analyzed methods with constant local stepsizes. We also show that, under partial participation, even identical clients need not obtain the full communication benefit of additional local steps.

cs.LG↗

Singularity Analysis of Laplace Boundary Integral Equations on Three-Dimensional Domains with Corners

Solutions to elliptic boundary value problems on three-dimensional nonsmooth domains exhibit singular behavior near edges and vertices. Using layer potential theory, we investigate boundary integral equations for the Laplace equation and characterize the leading singular exponents of the surface density on conical domains. For two canonical geometries, we derive explicit formulas for the two families of edge singular exponents on a dihedral wedge, and characterize the modewise vertex singular exponents on an axisymmetric circular cone through the zeros of associated Legendre functions and their derivatives. Building on these two prototypes and the dilation-invariance property, we formulate the associated operator pencil for general conical domains and develop a nonlinear eigenvalue solver. This solver employs the Nyström method with graded meshes, logarithmically corrected trapezoidal rules, and Brent's method to compute these singular exponents accurately and efficiently. Numerical examples for trihedral cones, regular m-hedral cones, and droplet-type cones verify the effectiveness of our approach and illustrate the interactions between edge and vertex singularities.

math.NA↗

$κ$-Parametrized Boltzmann Distribution Sampling on Quantum Approximate Optimization Algorithm

Generative models use training data to produce new samples that resemble the original, with applications in classification and recommendation systems. Restricted Boltzmann Machines (RBMs) are at the core of generative models but suffer from the computational intractability of training, which relies on sampling an unknown Boltzmann Distribution (BD). The Quantum Approximate Optimization Algorithm (QAOA) can assist RBM training, potentially providing benefits over strictly classical strategies. One particular problem is determining the quantum circuit depth for an arbitrary problem size that yields the expected sampling results. In this study, we evaluate QAOA-assisted sampling of BDs using Qiskit's Aer Simulator by analysing the inverse effective temperature of the distribution, $κ$, for tractable problem sizes. The results provide numerical evidence, based on Qiskit Aer simulations, that parameterized annealing-scheduled QAOA (PAQ-QAOA) can approximate RBM Boltzmann sampling for the tractable instances considered, while hardware performance and scaling remain open questions.

quant-ph↗

Regression Adjustment for Ratios of Treatment Effects in Randomized Experiments

We study regression adjustment for ratios of treatment effects in completely randomized experiments. The existing literature adjusts the numerator and denominator separately, but this approach misses the efficiency target, loss of which matters more when richer or high-dimensional covariate information and flexible or regularized prediction methods are used to pursue further efficiency gains. We propose a two-step estimator that directly predicts the relevant transformed outcome. Using cross-fitting, our method accommodates high-dimensional first-stage prediction while keeping the final adjustment fixed-dimensional, thereby avoiding instability from a growing number of adjustment covariates. We further develop persistence-based LASSO theory that does not require sparsity, permits more covariates than observations, and allows cross-validated penalty selection under prediction-level conditions. For additional efficiency gains, our augmented two-step estimator nests the benchmark adjustment spaces and is therefore asymptotically no less efficient than the benchmark estimators, while its feasible conservative variance estimator satisfies the same efficiency ordering. Simulation studies and a real-data analysis demonstrate that our proposed estimator performs better than existing methods.

econ.EM↗

Information-thermodynamic principles unveil the response of complex networks to perturbations

Understanding how complex networks respond to perturbations is key to uncovering their functional organization. We show that, for a maximum-entropy perturbation prior, standard diffusion cannot increase response entropy, a measure of the diversity of the system's response. To overcome this limitation, we develop a density-matrix-based information thermodynamics of perturbation responses along arbitrary dynamical trajectories. We show that this framework is grounded in an information-theoretic principle of least dissipation and introduces a generalized free energy that quantifies deviations from an instantaneous diffusive reference. We then illustrate the formalism using nonlinear complex networks, revealing regimes of enhanced response diversity that cannot be captured by standard diffusive descriptions.

cond-mat.stat-mech↗

On the facets of the Cayley polytope of Stanley's triangulation

Disjunctions over the cells of a triangulation arise in formulations of piecewise-linear functions. For a poset $P$ on $[d]$, we study the convex hull $D$ of the simplices of Stanley's triangulation of the order polytope of $P$, each lifted by its own indicator vector. Via the Cayley trick, for any disjunction of full-dimensional polytopes, the facets of the convex hull other than those described by the bounds on the indicator variables correspond to the facet normals of the Minkowski sum of the polytopes, and each is described by the full optimal big-M lifting of the supporting inequality with that normal of any one polytope. For Stanley's triangulation, with $M(P)$ the Minkowski sum of its simplices, lifting only the facet-describing inequalities of the simplices need not suffice, unlike some other cases; we show that it suffices if and only if $M(P)$ is alcoved, if and only if deleting one element of $P$ leaves a chain. Otherwise, the coefficients of the additional facet-describing inequalities are governed by the least number $\ell(P)$ of elements whose deletion leaves a chain: for fixed $\ell(P)$, the largest entry of a primitive facet normal grows like $d^{\ell(P)-1}$, and it can be exponential in $d$ if $\ell(P)$ grows with $d$. For $d \geq 3$ and $\ell(P)\leq2$ the sharp bound is $d-2$.

math.CO↗

Simplifying 2-Bundle Descriptions of Invariants and Local Dynamics

A string couples to a two-form gauge potential whose local descriptions need not fit together as a single global form. Principal 2-bundles provide a geometric description of this gluing. However, we recover surface amplitudes and quantum partition functions, as well as local classical field dynamics, without the 2-bundle formalism. For global phases, topological and index invariants, and twisted-sheaf moduli, established equivalences give alternative descriptions through cocycles, bundles, operators, or modules, with the required global compatibility data. For three-dimensional finite gauge theories with cohomological actions, Fourier transformation expresses the partition function as a sum of partition functions of ordinary finite-group gauge theories. An invertible local substitution reduces invariant classical actions for a class of 2-bundle connections represented by finite-dimensional crossed modules to ordinary gauge and tensor dynamics. These finite and local reductions explicitly eliminate field variables. A four-dimensional quadratic example instead admits a direct cochain evaluation even when an ordinary gauge-theory reduction fails. These results therefore do not require the additional 2-bundle presentation.

math-ph↗

Continuous-Time Safe Planning and Control for Agile Quadrupeds

Agile quadruped navigation in dynamic environments demands trajectories that are both dynamically feasible and provably collision-free. Most real-time planners achieve tractability through a convex reduction that requires simplified kinematic models, discarding motion that the robot can readily execute, and certify safety only at discretization points, leaving open possible inter-sample collisions with moving obstacles. We present a real-time motion planning framework that retains the fully-actuated $SE(2)$ model of a quadruped, with its anisotropic, heading-coupled velocity bounds, and accepts the resulting nonconvexity. By parameterizing trajectories as composite Bernstein polynomials, we exploit the convex hull property to certify collision avoidance and the input bounds over the entirety of each planning horizon. Solved at online replanning rates, the optimization runs in closed loop, commanding body velocities to the locomotion controller. We validate the approach in simulation against ablations and external baselines, and in hardware experiments on a quadruped navigating among unknown moving obstacles, recovering both lateral and heading-coupled motion that simplified models exclude.

cs.RO↗

Evaluating DeepSeek V4.1 Flash-1017 for loss of control and harmful manipulation risks

As frontier language models grow increasingly capable and autonomous, independent third-party evaluations are critical for characterizing their systemic safety risks. While closed-source releases are routinely accompanied by comprehensive system cards, open-weight models receive less scrutiny regarding frontier risks. To address this gap, we present an independent safety evaluation of DeepSeek V4.1 Flash-1017, the latest version of V4.1 Flash that departs from V4 with a new architecture, scaled-up training, and strong agentic capabilities. Drawing on the EU General-Purpose AI Code of Practice, we evaluate the model across 34 benchmarks, including 5 in-house suites, spanning evaluation integrity, loss of control, and harmful manipulation. Conforming to the AEF-1 standard, we compare V4.1 Flash-1017 against V4.1 Flash, earlier DeepSeek V4 models, and leading closed-source systems (GPT-6 Astra, GPT-5.6 Sol, and Gemini 3.8 Flash). Overall, V4.1 Flash-1017 shows substantial safety improvements over the V4 generation and approaches or matches leading closed-source baselines on several dimensions, while still exhibiting notable behaviors that warrant continued attention. Building on our findings, we highlight three key observations and recommendations. First, because safety can shift and even regress across minor updates, developers should integrate safety evaluation into incremental releases. Second, as final-turn outputs and end-state checks alone cannot reliably detect loss-of-control behaviors, deployments require process-level observability across both reasoning traces and action logs. Third, because public benchmarks elicit strong evaluation awareness and face data contamination risks, developing private benchmarks is essential for trustworthy frontier evaluation.

cs.CL↗

Theoretical description of high-harmonic spectroscopy for uniaxial nematic and isotropic liquid crystals

Enabled by their controllable optical anisotropy, liquid crystals form a cornerstone of linear optical and display technologies. Bringing the versatile platform into the nonlinear regime, we explore its nonlinear optical anisotropy by high-order harmonic generation spectroscopy. Through a comprehensive study targeting gas, liquid, nematic, and crystalline phases, we present a semi-empirical tight-binding approach that provides insight into the intermolecular character of ultrafast light-driven electron dynamics across soft-matter mesophases. We demonstrate how intermolecular electron hybridization enables spectroscopic access to structural properties, such as the nematic director and order parameter. Outlining such foundational mechanisms opens avenues towards nonlinear liquid crystal devices and ultrafast soft-matter spectroscopies.

physics.optics↗

Constraining Supermassive Black Hole Seeding and Accretion via Occupation Fractions and Mass-Weighted Distributions

The formation of supermassive black holes (SMBHs) is a key open problem in galaxy evolution, with light- and heavy-seeding models predicting distinct black hole occupation fractions (BHOFs). Using multiwavelength observations from the LSST Deep Drilling Fields, we measure the AGN fraction and estimate the BHOF across $0<z<1$. Applying a hierarchical Bayesian model, we find that the inferred BHOF remains $100\%$ for host galaxy masses below $10^9 M_\odot$ at lower redshifts. These findings are consistent with light-seed scenarios. Additionally, we computed the black hole masses for several galaxies in the W-CDF-S to test the mass-weighted black hole occupation distributions from semi-analytic models (SAM). Using a reduced-$χ^2$ analysis, we find that the data are consistent with the main-sequence accretion model regardless of the assumed seeding mechanism. These results provide new observational constraints on SMBH seeding and highlight the value of combining deep extragalactic surveys with probabilistic modeling.

astro-ph.GA↗