SearcharxivSearch

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 235 records · Page 13Linked to original sources

RepUCB: Representation Learning-Based UCB for Heterogeneous Multi-Task Linear Bandits

Multi-task representation learning exploits the shared structure among related tasks by learning a common latent representation, thereby improving sample efficiency. This paper introduces a novel approach to multi-task representation learning in heterogeneous linear bandits. We consider $T$ concurrent heterogeneous linear bandit tasks, each with feature dimension $d$, whose reward parameters share a common latent representation of dimension $r \ll \min\{d, T\}$, capturing the underlying task relatedness. We propose RepUCB, a novel Upper Confidence Bound (UCB) algorithm that leverages shared low-rank representations to enhance learning in a sample-efficient manner. Our algorithm first collects data through an exploration phase, estimates the shared representation, and then performs UCB-based learning on our proposed confidence set. We provide theoretical guarantees for the confidence set and prove that the unknown reward parameters lie within the confidence set with high probability. We derive cumulative regret bound and show that the proposed approach achieves $\widetilde{O}(\sqrt{drNT})$, a significant improvement over solving the $T$ tasks independently, resulting in a regret of $\widetilde{O}(dT\sqrt{N})$. We performed numerical simulations to validate the performance of our algorithm for different problem sizes and compared with baseline algorithms.

cs.LG

Quantum polymorphism characterisation of commutativity gadgets in all quantum models

Commutativity gadgets provide a technique for lifting classical reductions between constraint satisfaction problems to quantum-sound reductions between the corresponding nonlocal games. We develop a general framework for commutativity gadgets in the setting of quantum homomorphisms between finite relational structures. Building on the notion of quantum homomorphism spaces, we introduce a uniform notion of commutativity gadget capturing the finite-dimensional quantum, quantum approximate, and commuting-operator models. In the robust setting, we use the weighted-algebra formalism for approximate quantum homomorphisms to capture corresponding notions of robust commutativity gadgets. Our main results characterize both non-robust and robust commutativity gadgets purely in terms of quantum polymorphism spaces: in any model, existence of a commutativity gadget is equivalent to the collapse of the corresponding quantum polymorphisms to classical ones at arity $|A|^2$, and robust gadgets are characterized by stable commutativity of the appropriate weighted polymorphism algebra. We use this characterisation to show relations between the classes of commutativity gadget, notably that existence of a robust commutativity gadget is equivalent to the existence of a corresponding non-robust one. Finally, we prove that quantum polymorphisms of complete graphs $K_n$ have a very special structure, wherein the noncommutative behaviour only comes from the quantum permutation group $S_n^+$. Combining this with techniques from combinatorial group theory, we construct separations between commutativity-gadget classes: we exhibit a relational structure admitting a finite-dimensional commutativity gadget but no quantum approximate gadget, and, conditional on the existence of a non-hyperlinear group, a structure admitting a quantum approximate commutativity gadget but no commuting-operator gadget.

quant-ph

AgentHazard: A Benchmark for Evaluating Harmful Behavior in Computer-Use Agents

Computer-use agents extend language models from text generation to persistent action over tools, files, and execution environments. Unlike chat systems, they maintain state across interactions and translate intermediate outputs into concrete actions. This creates a distinct safety challenge in that harmful behavior may emerge through sequences of individually plausible steps, including intermediate actions that appear locally acceptable but collectively lead to unauthorized actions. We present \textbf{AgentHazard}, a benchmark for evaluating harmful behavior in computer-use agents. AgentHazard contains \textbf{2,653} instances spanning diverse risk categories and attack strategies. Each instance pairs a harmful objective with a sequence of operational steps that are locally legitimate but jointly induce unsafe behavior. The benchmark evaluates whether agents can recognize and interrupt harm arising from accumulated context, repeated tool use, intermediate actions, and dependencies across steps. We evaluate AgentHazard on Claude Code, OpenClaw, and IFlow using mostly open or openly deployable models from the Qwen3, Kimi, GLM, and DeepSeek families. Our experimental results indicate that current systems remain highly vulnerable. In particular, when powered by Qwen3-Coder, Claude Code exhibits an attack success rate of \textbf{73.63\%}, suggesting that model alignment alone does not reliably guarantee the safety of autonomous agents.

cs.AI

The final version of a recent approach towards quantum foundation

In several articles, this author has advocated an alternative approach towards quantum foundation based upon a set of postulates, and based upon the notions of theoretical variables and of accessible theoretical variables. It is shown in this article that this basis can be considerably simplified. In particular, the assumption that there exists an inaccessible variable $ϕ$ such that all the accessible ones can be seen as functions of $ϕ$, can be dropped. This assumption has been difficult to motivate in the previous articles. From this, I get a simple basis for the main Theorems.The essential assumption is that there in the given context exist two different maximal accessible variables, what Niels Bohr would have called two complementary variables. From this, the whole Hilbert space formalism may be derived. It is also discussed in some detail how this Hilbert space can be chosen. The resulting theory is a purely mathematical theory, but it leads to quantum mechanics by letting the variables be physical variables. Other applications of the main theory are also considered. The mathematical proofs are mostly deferred to the Appendix.

quant-ph

Adaptive Control with Sparse Identification of Nonlinear Dynamics

This paper develops a sparsity-promoting integral concurrent learning (SP-ICL) adaptation law for a linearly parametrized uncertain nonlinear control-affine systems. The unknown parameters are learned using ICL with sparsity-promoting $\ell_1$ regularization. The use of $\ell_1$ regularization for sparsity promotion is common in system identification and machine learning; however, unlike existing approaches, this paper develops an online parameter update law that integrates the regularization penalty with ICL via sliding modes. We show via non-smooth Lyapunov analysis that the trajectories of the closed-loop system are ultimately bounded under the SP-ICL update law. Simulations verify the effectiveness of the sparsity penalty in the SP-ICL update law on recovering sparse dynamics during trajectory tracking.

math.OC

True Alternating Current Scanning Tunneling Microscope (ACSTM): tunneling on insulators

Scanning Tunneling Microscopy (STM) has revolutionized our atomic scale understanding of surfaces and accelerated progress in nanotechnology. This technique, however, is restricted to metal or semiconducting samples, as it requires a tiny current to stabilize the tip-sample distance with atomic scale precision. We developed a new imaging and feedback method that relies on true alternating current (AC) without any direct current (DC) component. This technique does not only enable the imaging on non-conducting surfaces with atomic step resolution, like (thin) glass and oxides, it provides also access to high-frequency electronic signal coming from the sample. We demonstrate that it is possible to measure on 25nm thick silicon oxide with 10 MHz tunneling current.

physics.ins-det

Failure-Aware Iterative Learning of State-Control Invariant Sets

In this paper, we address the problem of computing maximal state-control invariant sets for deterministic linear systems using failing trajectories. We introduce the concept of state-control invariance, which extends control invariance from the state space to the joint state-control space. The maximal state-control invariant (MSCI) set simultaneously encodes the maximal control invariant set (MCI) and, for each state in the MCI, the set of control inputs that preserve invariance. We prove that the state projection of the MSCI is the MCI and the state-dependent sections of the MSCI are the admissible invariance-preserving inputs. Building on this framework, we develop a Failure-Aware Iterative Learning (FAIL) algorithm for deterministic linear time-invariant systems with polytopic constraints. The algorithm iteratively updates a constraint set in the state-control space by learning predecessor halfspaces from one-step failing state-input pairs, without knowing the dynamics. For each failure, FAIL learns the violated halfspaces of the predecessor of the constraint set by a regression on failing trajectories. We prove that the learned constraint set converges monotonically to the MSCI. Numerical experiments on a double integrator system validate the proposed approach.

eess.SY

Global well-posedness and flat-hump-shaped stationary solutions for degenerate chemotaxis systems with threshold density

In a smoothly bounded domain $Ω\subset \mathbb{R}^N$ $(N\in \mathbb{N})$, a no-flux initial-boundary value problem for the degenerate chemotaxis system with volume-filling effects, \begin{align*} u_t = \nabla \cdot (D(u,v) \nabla u - h(u,v) \nabla v), \quad v_t = Δv + g(u,v), \quad x\in Ω, \ t>0, \end{align*} is considered under the assumptions that $D(1,s)=0$ and that $h(0,s)=h(1,s)=0$. Here, initial data $u_0$ and $v_0$ have suitable regularity and satisfy $0\le u_0\le 1$ and $v_0\ge 0$ with $\nabla v_0 \cdot ν|_{\partial Ω} = 0$. It is proved that there exists a global weak solution such that $0\le u\le 1$ and $v\ge 0$. Moreover, when $D(r,s) = D(r)$ for all $r\in[0,1]$ and $s\in[0,\infty)$ and additional conditions on $D$, $h$ and $g$ are assumed, uniqueness of global weak solutions with the mass conservation law $\int_Ωu(x,t) \, dx = \int_Ωu_0(x) \, dx$ is shown. Also, a flat-hump-shaped stationary solution is constructed in the one-dimensional setting

math.AP

A generalized time-fractional Kuramoto-Sivashinsky equation in the Schwartz space: global solvability and stability

We study the Cauchy problem for a generalized time-fractional Kuramoto--Sivashinsky equation on \(\mathbb R\) with the regularized Caputo derivative in the Schwartz space. The linear problem is solved by the Fourier transform and a Mittag--Leffler representation, with preservation of the Schwartz class. For the nonlinear problem, local solvability is established by successive approximations with convergence in the full Schwartz topology. A continuation principle accounting for the complete fractional memory is developed: the history term is estimated uniformly with respect to the continuation point, which yields global solvability on every finite time interval. An \(L^2(\mathbb R)\) stability estimate is also obtained, implying uniqueness.

math.AP

Stability for the stochastic heat equation with multiplicative noise via finite-dimensional feedback

In this paper, we study the long-time behavior of a stochastic heat equation with a class of infinite-dimensional multiplicative noises and localized control. We first illustrate through simple examples of the uncontrolled dynamics that mean-square and almost sure exponential stability may hold under different conditions on the parameters, reflecting the interplay between the drift and the multiplicative noise. We then construct a finite-dimensional feedback control acting on a measurable subset of positive measure, built from finitely many Fourier modes of the solution. In particular, we show that the number of controlled modes determines the decay rate and allows for arbitrarily fast stabilization in the mean-square sense. As a consequence, almost sure exponential stability is recovered via a probabilistic argument, so that both notions of stability are achieved within the same framework and with the same guaranteed decay rate. We also establish null-controllability at any positive time through an iterative construction of adapted controls from finite-dimensional feedback laws. The construction relies on the quantitative stabilization estimates and requires no observability inequality for the adjoint equation.

math.OC

Unified Multimodal Uncertain Inference

We introduce Unified Multimodal Uncertain Inference (UMUI), a multimodal inference task spanning text, audio, and video, where models must produce calibrated probability estimates of hypotheses conditioned on a premise in any modality or combination. While uncertain inference has been explored in text, extension to other modalities has been limited to single-modality binary entailment judgments, leaving no framework for fine-grained probabilistic reasoning in or across other modalities. To address this, we curate a human-annotated evaluation set with scalar probability judgments across audio, visual, and audiovisual settings, and additionally evaluate on existing text and audio benchmarks. We introduce CLUE (Calibrated Latent Uncertainty Estimation), which combines self-consistent teacher calibration and distribution-based confidence probing to produce calibrated predictions. We demonstrate that our 3B-parameter model achieves equivalent or stronger performance than zero-shot baselines up to 32B parameters across all modalities.

cs.CV

Persistent Simple-homotopy invariants via discrete Morse theory

Persistent homology records the evolution of homological features along a filtration, but does not retain finer information related to simple-homotopy theory. In this paper, we develop two approaches to capturing such information for filtered simplicial complexes. We first introduce the Morse complexity profile, which records the minimal number of critical simplices at each filtration level. We study its invariance and stability properties and develop computable approximations using several discrete Morse matchings. We then introduce a persistent version of Whitehead torsion and show that it is invariant under both levelwise homotopy equivalence and interleaving equivalence of filtrations.

math.AT

Ascending Auctions for Combinatorial Markets with Frictions: A Unified Framework via Discrete Convex Analysis

We develop a unified ascending-auction framework for computing Walrasian equilibria in combinatorial markets with strong substitutes valuations and piecewise-linear payment functions. Our auction extends the celebrated ascending auctions of Gul and Stacchetti (2000) and Ausubel (2006) to accommodate payment frictions (e.g., transaction taxes or commission fees). This is achieved by incorporating directional price updates that reflect heterogeneous payment structures. Our framework also generalizes the unit-demand imperfectly transferable utility models of Alkan (1989, 1992) to a fully combinatorial setting, thereby unifying these paradigms. Furthermore, this is the first study to compute the minimum -- also known as the buyer-optimal -- equilibrium in combinatorial markets with such frictions. Our analysis builds upon discrete convex analysis. Our main technical contribution is a characterization of valid price-update directions, together with a strongly polynomial-time algorithm for computing them. Notably, the algorithm uses only demand- and exchange-oracle queries and never requires handling information of exponential size. To compute such a direction, we formulate a lexicographic extension of the polymatroid sum problem and characterize its dual solution via a reduction to a convex flow problem. Exploiting the $\text{L}^\natural$-convexity of the dual objective, we show that the desired direction can be constructed from the minimal dual solution. This convexity also yields transparent economic and potential-based interpretations of the auction dynamics, strengthening the connection between ascending auctions and discrete optimization.

cs.GT

HazardArena: Evaluating Semantic Safety in Vision-Language-Action Models

Vision-Language-Action (VLA) models inherit rich world knowledge from vision-language backbones and acquire executable skills via action demonstrations. However, existing evaluations largely focus on action execution success, leaving action policies loosely coupled with visual-linguistic semantics. This decoupling exposes a systematic vulnerability whereby correct action execution may induce unsafe outcomes under semantic risk. To expose this vulnerability, we introduce HazardArena, a benchmark designed to evaluate semantic safety in VLAs under controlled yet risk-bearing contexts. HazardArena is constructed from safe/unsafe twin scenarios that share matched objects, layouts, and action requirements, differing only in the semantic context that determines whether an action is unsafe. We find that VLA models trained exclusively on safe scenarios often fail to behave safely when evaluated in their corresponding unsafe counterparts. HazardArena includes over 2,000 assets and 40 risk-sensitive tasks spanning 7 real-world risk categories grounded in established robotic safety standards. To mitigate this vulnerability, we propose a training-free Safety Option Layer that constrains action execution using semantic attributes or a vision-language judge, substantially reducing unsafe behaviors with minimal impact on task performance. We hope that HazardArena highlights the need to rethink how semantic safety is evaluated and enforced in VLAs as they scale toward real-world deployment. Code released at https://github.com/HazardArena-Team/HazardArena ; updated code availability information.

cs.RO

Entangling a quantum system to disentangle its parts

In quantum systems, correlations are subject to monogamy relations between the whole and its parts. In particular, entanglement between two sets of particles constrains the entanglement within each set and viceversa. This raises the following question: In a multipartite quantum system, can global correlations disentangle all subsystems of certain size? By exploiting unitary symmetries, we formulate this question as a spectral marginal problem, namely the existence of $n$-qubit pure states whose marginals below a threshold cannot be entangled by any unitary evolution. We call such states threshold entanglement sharing (TES) states. We provide constructive existence proofs and bound the marginal sizes for up to 200 qubits. Further, we show that TES states contain both entanglement and magic, the main resources for quantum computing. Our proof strategy bridges techniques that were treated separately up to date, and independently resolves two open problems in quantum information theory: maximal multipartite entanglement and maximum purity of absolutely separable states.

quant-ph

Co-FactChecker: A Framework for Human-AI Collaborative Claim Verification Using Large Reasoning Models

Professional fact-checkers rely on domain knowledge and deep contextual understanding to verify claims. Large language models (LLMs) and large reasoning models (LRMs) lack such grounding and primarily reason from available evidence alone, creating a mismatch between expert-led and fully automated claim verification. To mitigate this gap, we posit human-AI collaboration as a more promising path forward, where expert feedback, grounded in real-world knowledge and domain expertise, guides the model's reasoning. However, existing LRMs are hard to calibrate to natural language feedback, particularly in a multi-turn interaction setup. We propose Co-FactChecker, a framework for human-AI collaborative claim verification. We introduce a new interaction paradigm that treats the model's thinking trace as a shared scratchpad. Co-FactChecker translates expert feedback into trace-edits that introduce targeted modifications to the trace, sidestepping the shortcomings of dialogue-based interaction. We provide theoretical results showing that trace-editing offers advantages over multi-turn dialogue, and our automatic evaluations demonstrate that Co-FactChecker outperforms existing autonomous and human-AI collaboration approaches. Human evaluations further show that Co-FactChecker is preferred over multi-turn dialogue, producing higher quality reasoning and verdicts along with relatively easier to interpret and more useful thinking traces.

cs.CL

Two-Indexed Schatten Quasi-Norms with Applications to Quantum Information Theory

We define 2-indexed $(q,p)$-Schatten quasi-norms for any $q,p > 0$ on operators on a tensor product of Hilbert spaces, naturally extending the norms defined by Pisier's theory of operator-valued Schatten spaces. We establish several desirable properties of these quasi-norms, such as relational consistency and the behavior on block diagonal operators, assuming that $|\frac{1}{q} - \frac{1}{p}| \leq 1$. In fact, we show that this condition is essentially necessary for natural properties to hold. Furthermore, for linear maps between spaces of such quasi-norms, we introduce completely bounded quasi-norms and co-quasi-norms. We prove that the $q \to p$ completely bounded co-quasi-norm is super-multiplicative for tensor products of quantum channels for $q \geq p>0$, extending an influential result of [Devetak, Junge, King, Ruskai, 2006]. Our proofs rely on elementary matrix analysis and operator convexity tools and do not require operator space theory. On the applications side, we demonstrate that these quasi-norms can be used to express relevant quantum information measures such as Rényi conditional entropies for $α\geq \frac{1}{2}$ or the Sandwiched Rényi Umlaut information for $α< 1$. Our multiplicativity results imply a tensorizing notion of reverse hypercontractivity, additivity of the completely bounded minimum output Rényi-$α$-entropy for $α\geq\frac{1}{2}$ extending another important result of [Devetak, Junge, King, Ruskai, 2006], and additivity of the maximum output Rényi-$α$ entropy for $α\geq \frac{1}{2}$.

quant-ph

Consensus and Synchronization of Multi-agent Systems over Finite Fields - Graph Topologies

This paper presents cooperative protocols for multi-agent systems with agents having a finite state-space. Both scalar single-integrator consensus and general LTI system synchronization are considered. Systems having a finite state-space describe agents with minimal memory capacity processing only a finite alphabet. Such systems are remarkably resilient to communication noise. The crucial problem, however, is to construct the admissible communication topology, which is NP-hard. We address this by efficiently exploring the subsets of admissible graph matrices and propose two new algorithms to generate them. Simulations validate the proposed approach.

eess.SY