arXiv Science⌕ 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,729 records · Page 96Linked to original sources

A Unified Approach to Sharp Subordination Radii

Let $φ$ and $ψ$ be univalent functions in the unit disk $\mathbb D$ satisfying $φ(0)=ψ(0)=1$ and $φ\not\precψ$, and let $\mathcal P_φ$ denote the class of analytic functions $p$ in $\mathbb D$ such that $p\precφ$. Under suitable analytic continuation, univalence, and boundary-behavior hypotheses on the branch of $φ^{-1}$ satisfying $φ^{-1}(1)=0$, we determine the sharp $\mathcal P_ψ$-radius of $\mathcal P_φ$ as \[ \mathcal R(φ,ψ) = \min_{|ζ|=1} \left| φ^{-1}\bigl(ψ(ζ)\bigr) \right|. \] For Ma--Minda functions satisfying these hypotheses, the same radius is sharp for the associated classes $\mathcal{ST}(φ)$ and $\mathcal{CV}(φ)$ with respect to $\mathcal{ST}(ψ)$ and $\mathcal{CV}(ψ)$, respectively. We apply the general result to $ φ_{\mathrm L}(z)=\sqrt{1+z}, φ_{\mathrm{Lune}}(z)=z+\sqrt{1+z^2}, φ_{\mathrm{Lim}}(z)=\left(1+{z}/{\sqrt2}\right)^2, $ for several choices of the Ma--Minda function $ψ$, and obtain parameter-dependent extensions for the corresponding generalized families. The resulting boundary minima are evaluated analytically.

math.CV↗

REACT: Rolling Denoising and Dual Decoupling for Reactive Robot Control with VLA Models

Flow-based vision-language-action (VLA) models generate action chunks for temporally coherent robot motion, but chunked control creates a fundamental closed-loop trade-off: long chunks provide smooth execution, whereas frequent replanning improves reactivity at the cost of action discontinuities. We introduce REACT, a rolling-denoising framework that makes flow-based VLAs more reactive while preserving long-horizon context. Instead of regenerating entire action chunks from scratch, REACT maintains a persistent action buffer with staggered flow timesteps. At each control step, the full horizon is denoised using the latest observation, the cleanest action block is executed, partially refined future blocks are shifted forward, and fresh noise is appended to the tail. As a result, each executed action block is refined across multiple recent observations before deployment. To support real-time control, we further introduce dual decoupling, which separates sensing, VLM encoding, DiT denoising, and action execution, enabling high-frequency observation updates and action streaming under practical compute constraints. Across the RoboTwin 2.0 simulation benchmark and real-world tasks spanning bimanual manipulation and dynamic control on multiple robot platforms, REACT improves task success and reduces reaction latency while producing smoother trajectories than frequent-replanning and asynchronous baselines.

cs.RO↗

Complexity of Grounded Semantics and Preferred Semantics in Finitary Argumentation Frameworks

Abstract argumentation frameworks (AFs) introduced by Dung provide a formal foundation for non-monotonic reasoning in artificial intelligence. While decision problems for general infinite AFs typically reside at high levels of the analytical hierarchy ($Σ_1^1$ or $Π_1^1$), restricting the framework to be computably finitary reduces some of the complexity to the arithmetical hierarchy. In this paper, we present a complexity mapping of grounded and preferred semantics in computably finitary AFs across standard decision problems: credulous acceptance ($\Cred$), skeptical acceptance ($\Skep$), extension existence ($\Ex$), uniqueness ($\Uni$), and non-empty existence ($\NE$). For grounded semantics, credulous and skeptical acceptance are already known to be $Σ_1^0$-complete. We show that non-empty existence is also $Σ_1^0$-complete, whereas existence and uniqueness are trivial. These classifications are understood within the domain of valid computably finitary representations. For preferred semantics, using a computably finitely branching computation tree, $\Cred_{\pref}$ is shown to be in $Π_1^0$-c and $\NE_{\pref}$ is $Σ_2^0$-c. However, it is insufficient to reduce universal quantification and global uniqueness, leaving $\Skep_{\pref}$ in $Π_1^1$ and $\UniPref$ in $Σ_2^1$-c. Our results show the precise boundary where finitarity succeeds to bring reasoning down to the arithmetical hierarchy and where second-order quantification forces problems back into the analytical hierarchy.

cs.AI↗

Ghost tasking for parametrized Gaussian Processes solving linear differential equations

Physics-informed machine learning has gained significant attention in recent years. In regimes of limited data, parametrized Gaussian processes have become popular. Existing approaches, however, often face limitations, such as requiring parametrizable (also called controllable) systems or a large number of output tasks. In this work, we introduce a systematic procedure we call "ghost tasking", using auxiliary tasks to circumvent these limitations. We prove that such ghost tasks can render any non-parametrizable system effectively parametrizable, enabling algorithmic construction of parametrized Gaussian Processes while keeping the number of required tasks (i.e. output dimensions) and latent functions low. We find that ghost tasking performs especially well in an inverse problem setting, even with very few available data. We show the usage and power of ghost tasking in three experiments, providing systematic comparisons to the only other currently available method applicable to all experiments. We provide necessary syntax and explications for two computer algebra programs that compute parametrizations for systems with polynomial or rational coefficients. Our theoretical results extend to systems with meromorphic functions.

physics.comp-ph↗

PulseBound: Future-Beat State Forecasting Under an Explicit Information Boundary

Predictive representation learning from photoplethysmography (PPG) can violate causal information access even with causal attention, as normalization, nonlocal transforms, or companion views may depend on withheld samples. We introduce PulseBound, a PPG representation learner combining physiologically structured future-beat prediction with an explicit stored-window information boundary. A content-independent cutoff separates the visible prefix from the prediction target. Prefix-only normalization, suffix replacement before derived-view construction, and aligned masking ensure that encoder inputs depend only on the visible prefix and cutoff. This yields stored-suffix invariance: with fixed model state, randomness, prefix, and cutoff, changing the stored suffix cannot change the forecast context. A shared horizon-conditioned head predicts nine rhythm and morphology descriptors for up to four extractor-valid future beats, using elementwise validity masks; optional ECG-derived pulse-arrival-time supervision is restricted to training. On MIMIC and VitalDB groups held out from PulseBound backbone pretraining, PulseBound reduces nine-state transformed-space MAE relative to last-visible-beat persistence by 28.06% and 22.22%, respectively, with gains in MAE, MAE-Skill, and Spearman correlation across all 40 source-cutoff-horizon cells. In a separate comparison of seven models on 13 downstream tasks, PulseBound achieves the best mean on nine frozen linear-probe and seven full-fine-tuning tasks. Stored-suffix interventions cause zero recorded changes in forecast contexts or predictions, with zero suffix-input gradients at audited precision under the stored-window interface. These findings separate three testable aspects of predictive physiological representation learning: information access, supervised future structure, and transfer.

cs.AI↗

Instantaneous gap loss of Sobolev regularity for the surface quasi-geostrophic equation

We prove instantaneous loss of Sobolev regularity across a fixed gap for the inviscid surface quasi-geostrophic equation on $\mathbb R^2$. More precisely, for every $1 0$ and $\varepsilon>0$, we construct initial data $θ_0\in H^s(\mathbb R^2)$ with $\|θ_0\|_{H^s}\leq\varepsilon$ that generate a solution $θ$ on $[0,T]$ such that \[ θ\in L^\infty([0,T];H^{1+γ}(\mathbb R^2)), \quad θ(t)\notin H^σ(\mathbb R^2) \quad\text{for every }t\in(0,T],\ σ>σ_*(s), \] where $γ>0$ and $σ_*(s)$ satisfy \[ 1+γ<σ_*(s):= \frac{s(3-s)}{1+2s-s^2}<s. \] The solution is unique in a determined family of classical solutions with initial datum $θ_0$.

math.AP↗

Unipotent Selmer dimensions for CM curves via Iwasawa loci

Let $X/\mathbb{Q}$ be a smooth, projective, geometrically integral curve of genus $g \geq 2$ with a point $ b \in X(\mathbb{Q})$ and geometrically CM Jacobian. Fix an odd prime $p$ of good reduction, and let $U$ be the étale pro-unipotent $\mathbb{Q}_p$-fundamental group of $X$. We prove, for all $n \gg 0,$ the inequality $\dim_{\mathbb{Q}_p} H^1_f(G_T, U_n) < \dim_{\mathbb{Q}_p}H^1_f(G_p, U_n)$ of Bloch--Kato Selmer schemes, with their ratio having limit superior at most $1/2$. Here $U_n$ is the lower central series quotient, and $T$ a finite set containing $p$ and the primes of bad reduction. This answers a particular case of a conjecture by Kim. Following the Iwasawa-theoretic method of Coates--Kim, we reduce the problem to bounding certain character multiplicities at degree $n$. We then define a twisted character lattice $B$ and its $p$-adic completion $B_p.$ Our main idea is to regard normalized multiplicities as $μ_n(\lbrace x \in B_p: f(x,n)=0\rbrace)$ for a $p$-adic analytic function $f$ coming from Iwasawa theory and a sequence of measures $(μ_n)_n$ weakly converging to the Haar probability measure $μ$ on $B_p,$ which is the $p$-adic analogue of the uniform measure. We prove convergence by considering characters $η$ of $B_p$ and comparing $\int_{B_p} η\ dμ_n$ to traces of operators induced by symplectic operators $h_η$, followed by a character formula. A compactness argument for sequences of $p$-adic loci gives our main Iwasawa estimate. Poitou-Tate duality, the global Euler characteristic formula, and Hodge filtration estimates then give the dimension inequality.

math.NT↗

Finite bases for Brandt semirings and naturally semilattice-ordered inverse semigroups

We prove that Brandt semirings over nontrivial groups with at least two indices admit no identity basis with a bounded number of variables. A uniform family of finite witnesses has size linear in the variable bound and applies to groups of arbitrary cardinality. A commutative construction yields the corresponding result for flat extensions of groups of unbounded exponent and gives an exact finite basis criterion for arbitrary flat group extensions. Structural representations lead to a classification of finite natural inverse semirings and a single identity characterizing locally Clifford natural inverse structure among regular semirings. We also describe products, orthogonal sums, minimum generators, colored graph identities and linear variable complexity. Further results concern infinite generating algebras and inherent nonfinite basability.

math.GR↗

Who can sample forever? Shot noise effects in quantum linear regression

Quantum fidelity kernels and quantum extreme learning machines share the same basic architecture: a fixed quantum device generates features that are combined through a classically trained linear model. We refer to this broad non-variational setting as quantum linear regression. A defining aspect of these models is that the quantum features are not directly available, but must be estimated from a finite number of shots. We show that finite statistics makes quantum linear regression unavoidably ill-conditioned. Ideal feature vectors are confined to a subspace determined by the dimension of the Hilbert space, whereas finite-shot estimates generically acquire components outside this subspace. Training then attempts to fit directions that disappear in the infinite-statistics limit, making the learned model increasingly sensitive to sampling noise. We analyze this mechanism for quantum extreme learning machines trained on $n_{\rm tr}$ states with $N$ shots per state. Despite the ill-conditioning, predictions remain controlled when the training targets are exact. Finite sampling produces a systematic prediction error that decreases quadratically with $N$, while fluctuations induced by the random training measurements decrease inversely with the total training budget. Thus, unlike in standard linear regression with exactly known features, increasing the dataset size alone cannot remove the error caused by sampling noise. If the training targets are also noisy, due for instance to state-preparation errors, the otherwise hidden directions become active. The test error can then increase with $N$, a behavior that we ascribe to a form of quantum overfitting. Our results expose a fundamental tradeoff between dataset size and per-state statistics in non-variational quantum learning and provide a baseline for resource-aware training and regularization strategies.

quant-ph↗

CausalDreamer: Learning Predictive World Models with Latent Disentanglement

World models for control must capture which aspects of the environment respond to the agent's actions and which are relevant to reward. Generative world models such as Dreamer 4 consist of a video tokenizer, which encodes each frame into a latent, and a dynamics model, which is pretrained to predict future latents from past latents and actions. Yet the tokenizer is trained with a reconstruction objective, without action or reward supervision, so its latent provides no explicit mechanism to separate controllable, uncontrollable, reward-relevant, and reward-irrelevant information. We propose \textit{CausalDreamer}, which keeps the tokenizer frozen and re-encodes its latent into a factored representation of four groups along two axes: controllability, where only the two controllable groups receive the action, and reward relevance, learned by predicting the reward from the two reward-relevant groups. The pretrained dynamics model is then fine-tuned to predict the factored representation. We evaluate \textit{CausalDreamer} and the pretrained world model it starts from with model-predictive planning on 20 MMBench2 tasks: 10 clean tasks seen during training and 10 unseen tasks, of which 6 are manipulated variants of clean tasks with a changed background, object, or maze layout, and 4 are new environments. We normalize returns so that a policy taking uniformly random actions scores 0 and an expert scores 1. \textit{CausalDreamer} achieves a 14\% higher normalized score than the pretrained world model on the clean tasks (0.199 vs.\ 0.175) and a 25\% higher score on the manipulated variants (0.307 vs.\ 0.246), while neither model scores meaningfully above the random policy in the new environments. Additionally, our analysis shows that the factored representation separates reward-irrelevant changes, such as a changed background, from its reward-relevant groups.

cs.LG↗

Model Order Reduction for Parametric Dissipative Quantum Systems

We consider reduced basis approximations of non-equilibrium steady states of parameter-dependent Lindbladians, whose ambient matrix space grows exponentially with system size. We give a unified structural view of the problem through its characterizations as an eigenvalue problem or as a trace-constrained source problem. Building on these characterizations, we propose a residual-driven reduced basis framework for both formulations. Under the assumption of a unique steady state, we derive residual-based state-error estimates, and establish (sub-)exponential convergence of the greedy algorithms under real-analytic parameter dependence of the problem data. Numerical experiments on boundary-driven Fermi--Hubbard and dissipative XYZ chains support the analysis and suggest that the trace-constrained greedy method offers the best overall balance of accuracy and computational cost.

math.NA↗

Field-Free Reconfigurable Spin Logic in Compositionally Graded MnxCoAl Layer

Spintronic logic-in-memory provides a route to reducing data-transfer energy consumption and accelerating computation by integrating nonvolatile storage and logic functions within a single physical unit. Here, we investigate field-free spin-orbit-torque (SOT) switching and reconfigurable spin logic in a vertically composition-graded MnxCoAl/Pt heterostructure. In contrast to the uniform-composition Mn1.8CoAl/Pt and Mn2.5CoAl/Pt control devices, the Mn1.8-2.5CoAl gradient device exhibits deterministic SOT switching under zero external magnetic field. Dzyaloshinskii-Moriya interaction (DMI)-related measurements reveal a finite characteristic effective-field scale, indicating the involvement of chiral magnetization-reversal processes. Meanwhile, the vertical composition gradient introduces magnetic inhomogeneity that can modify domain nucleation and propagation, and the combined effects are consistent with the observed field-free switching behavior. The composition-gradient device further exhibits accumulative multistate switching with stable intermediate Hall-resistance states under zero magnetic field, whereas the uniform-composition controls do not show comparable stable multistate behavior. By tailoring the amplitude, polarity, and sequence of current pulses, the device can be tuned between binary and multilevel switching modes, enabling the experimental realization of AND, OR, NAND, and NOR Boolean operations within the same Hall-bar device without any external magnetic field. These results extend Mn-Co-Al Heusler heterostructures from field-assisted SOT switching toward field-free magnetization control, multistate operation, and reconfigurable spin logic through vertical composition engineering.

cond-mat.mes-hall↗

Thresholds for Local Coordinate-Wise Linear Properties of Random One-Point AG Codes

Local coordinate-wise linear (LCL) properties provide a unified framework for studying list decoding, list recovery and other local properties of linear codes. We prove that random one-point algebraic geometry (AG) codes have the same LCL threshold rates as random linear codes under explicit alphabet and sampling conditions. More precisely, for a family of local profiles with random linear code threshold $R_{\mathcal P}$, a random one-point AG code avoids all such profiles below $R_{\mathcal P}-\varepsilon$ and contains one above $R_{\mathcal P}+\varepsilon$, with explicit failure bounds on both sides. Our proof also removes an auxiliary lower bound on the number of available rational places that arises in a direct adaptation of the Reed--Solomon argument and requires no additional genus-dependent rate gap. We also observe that the previously claimed above threshold proof for random Reed--Solomon codes does not establish the required probability lower bound. The containment relation used in that argument gives the probability comparison in the opposite direction from what is needed. We give a different above threshold argument, which in particular also yields an alternative proof in the genus zero case. Combining our threshold theorem with recent results for random linear codes gives a collection of new list decoding, average weight list decoding and list recovery guarantees for random one-point AG codes. We further obtain new correlated agreement and proximity gap results for polynomial curves. These results extend the LCL threshold framework from random linear and Reed--Solomon codes to random one-point AG codes.

cs.IT↗

FHiVI$^{2}$: A Fast High-Voltage approach for Ionisation Improvement in the context of plasma-assisted magnetron sputtering

Ionisation control remains a key challenge in plasma-assisted processes and more particularly in magnetron sputtering. In this context, the former directly governs species transport and thin-film properties. Although HiPIMS substantially enhances the ionisation rate of sputtered species, its performance remains constrained by the coupling between sputtering and ionisation, which limits discharge tunability. Here, we introduce Fast High Voltage for Ionisation Improvement (FHiVI$^{2}$), a new transient electrical regime designed to improve the ionisation rate without requiring additional elements. By applying an ad hoc very short, high-voltage pulse during plasma sputtering processes, FHiVI$^{2}$ regime is expected to induce a strongly anisotropic electric-field burst intended to enhance sputtered metallic species ionisation while limiting back-attraction losses and sputtering. To assess the ionising potential of this regime, optical emission spectroscopy together with mass spectrometry were carried out. More particularly, mass spectrometry measurements show an improvement of the ionisation rate by a factor of 2.7 compared with the HiPIMS regime, for an applied voltage of 2 kV which correspond to an additional mean power of only 1.2 W, using a 2-inch tungsten target. These findings suggest that FHiVI$^{2}$ provides a flexible route towards improved ionisation control in magnetron sputtering and opens new perspectives for plasma-assisted processes.

physics.plasm-ph↗

Quasiconformal deformations of chordal Loewner chains

We establish first-order variational formulas for the driving function and the half-plane capacity of a chordal Loewner chain under quasiconformal deformations. Under the standard normalization fixing $0,1$ and $\infty$, the formulas hold for every bounded Beltrami differential. If the curve has positive area, the formulas contain additional integrals over the curve; these terms vanish when the curve has zero area or when the differential is extended by zero on the curve. The proof uses the normalized Ahlfors--Bers variation together with a Stoilow factorization adapted to the slit domain. We then consider the asymptotic normalization for differentials whose symmetric extensions to $\mathbb{C}$ have the form $ν(z)=a(\bar z/z)^{n-1}+ν_0(z)$, where $a\in(-1,1)$, $n\ge1$ is an integer, and $ν_0\in L^r(\mathbb{C})$ for $0<r<2$. The asymptotically normalized map differs from the standardly normalized map by a positive dilation. Using this relation, the variational formulas in the second normalization follow directly from the standardly normalized case.

math.CV↗

Examining Social Attribution in LLM Reasoning: A Theory-Guided Probing Methodology

Large language models (LLMs) are increasingly deployed in sociotechnical systems where social attribution, the reasoning process attributing external events to the causes and reasons of agents' social behaviors, plays a critical role. These processes involve judgments of social cause, responsibility, and blame/credit to agents. Although attributional models are well-studied in social psychology and cognition through Attribution Theory, social attribution remains underexplored in AI, particularly LLM social reasoning. This paper provides the first systematic exploration of LLM social attribution. Our work focuses on responsibility and blame attributions, examining current LLMs' judgments and their underlying internal mechanisms. Guided by attribution theory, we construct a social attribution benchmark consisting of a Vignette subset based on classic scenarios from attribution theory research and a Reality subset based on real-world social narratives, yielding 7,639 responsibility/blame judgment questions. On this basis, we evaluate 32 representative LLMs and 5 basic non-LLM baselines. To further explore the internal mechanisms underlying the LLM judgment process, we develop a probing-based methodology to investigate the latent-space representations of 5 key attribution dimensions and the consistency of their influences on LLM judgments compared to those in human social attribution. Our research findings reveal that current LLMs exhibit measurable but incomplete agreement with human responsibility and blame judgments, and meanwhile, this agreement is positively correlated with model size. Some attribution dimensions are systematically decodable from specific positions in LLM hidden states, and their influences on the final judgment are consistent with those indicated by human Attribution Theory. The dataset and associated code are available at https://github.com/Yuzhaoxin946/SAB-Bench.

cs.CL↗

InterviewPlayground: A Simulation Environment for Evaluating AI Interviewers

Increasingly, AI interviewers are being developed to elicit open-ended responses in applications like market research, public polling, preference elicitation, and social science research. However, evaluating AI interviewers is challenging because they function in extended, multi-turn interactions where they must adapt to participant behaviors. To address this need, we develop InterviewPlayground, a simulation environment for evaluating AI interviewers using simulated study participants whose behaviors are grounded in social theory. Simulated studies in InterviewPlayground produce an InterviewReportCard, which assesses the performance of AI interviewers using a suite of validated measures. To test whether our simulation-based evaluations predict performance with human participants, we conduct 15 real qualitative studies with five AI interviewers, three interview topics, and 450 human participants and compare them to simulated studies in InterviewPlayground. We find that AI interviewer performance in InterviewPlayground predicts performance in human studies with an average Pearson correlation of 0.86 across 12 measures, and the simulated interactions from InterviewPlayground reproduce key findings from behavioral analysis of AI interviewers in the human studies. Together, these findings support the validity of InterviewPlayground in assessing AI interviewer performance and examining potential failure modes. Our work contributes a simulation environment for AI interviewers supported with empirical validation, and more broadly, a roadmap for future work to develop validated, simulation-based evaluations of conversational AI systems.

cs.AI↗