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 631 records · Page 35Linked to original sources

Moiré droplet of ultracold Bose gases in a twisted-bilayer optical lattice

We report the emergence of Moiré droplet in two-dimensional ultracold bosons subjected to a spin-dependent optical lattice, effctively realizing a twisted-bilayer configuration. We show that the droplet formation dramatically enhances the visibility of Moiré pattern in the density profile, even for exceptionally weak lattice potentials. The Moiré pattern can be enhanced similarly by increasing the lattice depth, which, however, also induces droplet diffusion characterized by a spreading density profile. Furthermore, we demonstrate a dynamical generation of Moiré pattern by dragging a small droplet through a moving lattice. At appropriate velocities, the droplet undergoes bifurcation and exhibits pronounced Moiré pattern within periodic time intervals. Our results establish the ultracold droplet as a compelling platform for simulating interacting Moiré physics, particularly the interplay between Moiré lattice and bound-state formation.

cond-mat.quant-gas↗

Turning-Point Count Discrepancy as a Diagnostic of Relativistic Orbital Chaos

We propose the turning-point count-discrepancy indicator (TPCD) for diagnosing orbital chaos from a single trajectory in relativistic Hamiltonian systems with two oscillatory degrees of freedom. TPCD measures the largest cumulative departure of one turning-event count from its mean rate per reference cycle, requiring neither a neighboring orbit nor a phase-space partition and applying to both massive particles and photons. We establish its long-time behavior under explicit event--phase assumptions. Rigid phases with an exact event--phase correspondence obey a strict discrepancy bound of unity, and linearizable regular tori with bounded degree-one phase deformations obey a finite, orbit-dependent bound; both imply that the normalized indicator decays to zero as the record grows. A diffusive fluctuation mechanism instead yields a Brownian-bridge scaling and a finite statistical scale. Integrable Kerr motion validates the construction, recovering prescribed frequency ratios from event counts to within $2.6\times10^{-5}$ for six targets, including an irrational ratio. In charged-particle scans around a Kerr black hole in an external test magnetic field, TPCD and the fast Lyapunov indicator agree for all 80 sampled trajectories. In the Schwarzschild--Melvin photon model, a trajectory with elevated finite-time TPCD but low fast-Lyapunov values is identified as regular once its indicator trends downward over an extended integration, showing that finite-time values must be read together with their long-time trend.

gr-qc↗

On the Effectiveness of Kernel-Level Evidence for Agent Security

LLM agents are deployed into infrastructure that grants them broad host authority, yet existing agent-security benchmarks and defenses operate almost exclusively at the application telemetry layer: the served tool manifest, the user prompt, and the model's messages. Some threats, however, smuggle malicious instructions and actions past the application boundary, leaving them invisible to that layer. In this work, we bridge that gap by pairing application-level agent telemetry with kernel-level syscall traces to present the first paired-evidence characterization of kernel-level versus application-layer signal for agent security. To quantify the value of the enhanced telemetry, we introduce Agent Cross-Layer Evidence (ACE), a paired-session corpus of 4,047 sessions and 17 threat models spanning six delivery-vector families and 14 of the 25 OWASP LLM and agentic threat categories, organized into 12 attack mechanics with per-mechanic characterization of where the most discriminative evidence lies. Across four distinct detector families, we find that kernel evidence is discriminative on its own and that composing it with application-layer evidence generally outperforms either single-layer view, revealing complementary signals that single-layer analyses can miss. We further demonstrate generalization to unseen attack families and transfer to an alternate agent runtime. Together, these findings establish the value of cross-layer evidence for agent security.

cs.CR↗

Asymmetric L-space knots with arbitrary braid index

The first examples of asymmetric L-space knots were found by Baker and Luecke. Among Baker-Luecke knots, the simplest one has braid index 12. Later, it turned out that there are just 9 asymmetric hyperbolic L-space knots in the SnapPy census, and their braid indices take the values 4, 5, 6 and 7. It is known that asymmetric L-space knots have braid index at least 4. Recently, Baker and the second author give infinitely many asymmetric hyperbolic L-space knots with braid index 4. In this paper, we construct an asymmetric hyperbolic L-space knot with arbitrary braid index bigger than 4. In fact, there exist infinitely many such knots for each braid index.

math.GT↗

HelpCoach: Scaffolding Targeted AI Help-Seeking During Problem-Solving

Students increasingly turn to AI for help with problem-solving, yet too much AI support can undermine learning itself. To benefit from AI, students need to specify the necessary knowledge and scaffold type in their questions. However, they struggle to formulate such targeted questions because they lack metacognitive skills to recognize and select effective help options. We developed HelpCoach, an add-on for chat interfaces that helps students formulate knowledge- and scaffold-specific questions and receive targeted help during problem solving. HelpCoach continuously assesses students' help-seeking performance and prompts students to improve through an adaptive revision template. Whereas prior work has largely taught help-seeking skills apart from learning tasks, HelpCoach's in situ scaffold enables concrete practice on metacognitive skills and immediate revisions to help-seeking behavior. In a study with 40 college students learning web programming, HelpCoach led to more specific questions during chatbot interactions and greater knowledge retention than pre-task help-seeking training alone.

cs.HC↗

Control the Harness, Control the Cost: Routing and Governing AI Coding Agents in the Enterprise

Harnesses, the products that run AI coding agents, are multiplying, and enterprises are rolling them out to their employees: what started as pilots with a few hundred seats is scaling to tens of thousands. Most enterprises do not build these harnesses but buy them from large vendors, such as Anthropic's Claude Code or OpenAI's Codex. A harness decides which model answers, what the model reads, how the prompt cache is used and which subagents run, so it picks the rate on the price sheet and sets the volume bought at it. Enterprises that keep a proprietary or untuned harness at its defaults inherit these choices and their bill. We build a fast, customisable router in which Jev, a classifier with calibrated probabilities, labels every prompt against a bring-your-own taxonomy of agentic requests. Because one user turn is many requests over a prompt cache that belongs to one model, the router moves work only where no running conversation has to rebuild its cache: at session start, in side lanes and at subagent launch. From the price sheet we derive when a mid-task switch pays back, and a crossover: on long tool-heavy sessions the highest-priced model costs less than the next tier, as repricing about 10,000 real sessions from public datasets confirms. In an emulated enterprise of 10,000 seats with user behaviour taken from these datasets, the router recovers 14 to 21% of model spend at Anthropic's list prices of 21 September 2026, \$3.3M to \$5.0M a year. The paper also maps the risks across twenty harnesses, prices the dependence on one vendor's models, and proposes a control plane that enterprises can run from within, starting now, with a ladder for deciding later whether to own the harness.

cs.AI↗

Koopman-Accelerated Model-Based Diffusion for Real-Time Robot Control

Conventional model-based diffusion (MBD) achieves effective trajectory optimization by leveraging noise annealing. However, its high computational cost, primarily arising from repeated rollouts of the plant dynamics, has largely confined its use to offline settings. To address this limitation, this paper proposes bilinear Koopman model-based diffusion (BK-MBD). The proposed method lifts the robot's state into a high-dimensional space only once per control step and propagates all candidates in the lifted space thereafter, so each rollout reduces to a fixed number of matrix-vector multiplications. The lifted dynamics are bilinear, allowing the predicted input gain to vary with the robot's configuration, which a linear lifted model cannot represent. In simulation, BK-MBD completed each planning update in at most 14.7 ms within a 50 ms control period and reached the goal on every trial, whereas a linear lift almost never did. The annealed schedule improves closed-loop accuracy over fixed-noise schedules under the learned rollout. Under the exact rollout, both the annealed and fixed-narrow schedules reach every goal, indicating that annealing reduces sensitivity to surrogate-model error. BK-MBD also threaded a passage that no single convex region covers, whereas a convexified bilinear controller rarely succeeded. On a physical manipulator, BK-MBD tracked an initially unknown moving target within the control period and was the only method that met both the tracking task and the deadline. The project page is available at https://rcilab.khu.ac.kr/bkmbd/.

cs.RO↗

PFArena: Benchmarking Language Models for Protein Modification

Protein modification requires navigating an immense sequence space, yet wet-lab validation remains low-throughput and costly. Although computational paradigms including protein language models (PLMs), large language models (LLMs), and LLM-based agents have shown promise in protein modification, their relative efficacy across realistic experimental decision-making settings remains unclear. To bridge this gap, we introduce PFArena, a benchmark comprising four controlled task interfaces that cover single-mutant generation and multi-mutant ranking. By providing varying levels of mutation fitness data, PFArena reflects four representative research scenarios characterized by differing degrees of prior experimental context. We assess six PLMs, six LLMs, and five LLM-based agents using complementary metrics to measure both peak and overall protein modification performance. Our evaluation reveals that model performance shifts systematically with the availability of target-specific experimental evidence: PLMs demonstrate proficiency in open-ended single-mutant generation by leveraging protein-specific priors, whereas LLMs and agents perform strongly in multi-mutant ranking, particularly when target-specific fitness data are available. Nevertheless, all model families face fundamental challenges with increasing search-space size and mutation depth. We release our code and benchmark suite to facilitate reproducible research in model-assisted protein modification.

cs.AI↗

Intrinsic Hilbert metrics on cones of equivalent norms

Let $X$ be a Banach space and let $\mathcal{N}(X)$ denote the family of equivalent norms on $X$. We study Hilbert projective metrics on its projectivization $\mathcal{N}'(X)$ induced by ambient cones of nonnegative functions, with particular attention to the intrinsic Hilbert metric induced by the cone $\mathcal{N}(X)\cup\{0\}$. First, we show that the symmetric logarithmic metric on $\mathcal{N}'(X)$ is the Hilbert projective metric induced by the cone of nonnegative real-valued functions, and we characterize the ambient cones that induce the same metric. We then study the intrinsic order on $\mathcal{N}(X)$. For this purpose, we introduce the triangular defect $Δ_p(x,y)=p(x)+p(y)-p(x+y)$ and prove that two norms $p,q\in\mathcal{N}(X)$ belong to the same intrinsic part if and only if their triangular defects are uniformly comparable, that is, $aΔ_p\leqΔ_q\leq bΔ_p$ for some $a,b>0$. This yields an explicit formula for the intrinsic Hilbert metric in terms of the pointwise comparison of the norms and of their triangular defects. Finally, the map $Φ(p)=(p,Δ_p)$ realizes the intrinsic cone order of $\mathcal{N}(X)$ inside a canonical product cone of nonnegative functions and preserves the Hilbert metric on each intrinsic part.

math.FA↗

ViRDM: Taming Representation Distribution Matching for Few-Step Causal Video Generation

Few-step autoregressive (AR) video diffusion enables low-latency streaming generation, but existing post-training methods predominantly rely on Distribution Matching Distillation (DMD), requiring both a large pretrained teacher and an online critic to estimate distributional discrepancies through diffusion scores. In this work, we ask whether this resource-intensive teacher--critic stack can be eliminated by post-training only the generator against a precomputed target distribution. Drawing inspiration from representation distribution matching (RDM) for one-step image generation, we systematically study its transfer to few-step causal video generation and identify three key barriers: a memory-intractable gradient path, a distinct video optimization regime, and representation distributions that underconstrain temporal dynamics. We introduce ViRDM, a teacher- and critic-free video post-training recipe that addresses these barriers sequentially. By coupling RDM with stochastically truncated clean-exit supervision, a lightweight VAE decoder, and staged vector--Jacobian products, ViRDM makes representation distribution matching memory-feasible for multi-step causal video rollouts. We further establish effective generated-population and initialization regimes for video RDM, and introduce lightweight dynamics regularization to compensate for the underconstrained temporal dynamics. ViRDM turns three-network distillation into generator-only post-training, reducing GPU memory use and training time while improving video quality. With only 20 generator updates, the recipe reaches 84.87 on the official VBench evaluation, outperforming the previous best few-step causal baseline by 0.36, while requiring 16 A100 GPU-hours. We additionally report exploratory results demonstrating the potential of the same recipe for lower causal sampling budget and for one-, two-, and four-step bidirectional generation.

cs.CV↗

Quantum Gates Built on a Spin Qubit and a Kitaev Parity Qubit

Spin is typically traced out in the description of quantum-dot-based Kitaev chains to simplify the construction of Majorana fermions. Yet the intrinsic spin structure of poor-man's Majorana modes in minimal Kitaev chains under finite Zeeman fields offers a natural interface for the Kitaev parity qubit to interact with other spinful systems. Here, we establish such a platform to bridge the parity qubit and a quantum-dot spin qubit, with the effective coupling governed by the spin-dependent delocalization of the Majorana modes. Depending on whether the spin qubit is coupled to one or two chains constituting the parity qubit, the parity-spin coupling exhibits distinct forms: an anisotropic parity-conserving exchange interaction or a nontrivial exchange tensor tunable via the interchain superconducting-phase bias. Leveraging fast spin-qubit manipulation, we further demonstrate universal parity-qubit control, high-fidelity qubit-state readout, and entangling operations between the parity and spin qubits. These results turn the spinful structure of poor-man's Majoranas from a finite-field imperfection into a resource for hybrid quantum control.

cond-mat.mes-hall↗

SPBench: A Multi-Task Evaluation Benchmark for Exploration Seismic Processing

Exploration seismic processing underpins subsurface imaging and resource exploration, but learning-based methods remain difficult to compare across studies. Our survey of 368 papers finds widespread reliance on private or difficult-to-reproduce datasets, with only 25 providing public code. This obscures whether reported gains arise from model design or experimental settings. We introduce the Seismic Processing Benchmark (SPBench), covering six tasks: random noise attenuation, trace interpolation, ground-roll suppression, multiple suppression, deblending, and first-arrival picking. We reproduce 24 supervised methods on 10 datasets under 43 standardized settings and release datasets, implementations, configurations, evaluation scripts, and results. To complement global scores and per-trace pick errors, we introduce signal-component-resolved evaluation (SCoRE) for reconstruction and a reference-free ridge-curvature score (RC_norm) for first-arrival picking. Our analyses show that synthetic rankings do not reliably predict field rankings, with task-dependent agreement when models train within each setting. As degradation strengthens, rankings reorder more under coherent ground roll than under random-like interference. The ridge score agrees with MAE-based model rankings in the evaluated settings, with a mean Kendall correlation of 0.881 across three field surveys, while SCoRE reveals frequency- and energy-dependent differences hidden by global scores. SPBench provides a reproducible basis for comparing learning-based seismic processing methods and characterizes how their relative advantages vary across data settings, degradation strengths, and evaluation criteria.

physics.geo-ph↗

Teaching an LLM agent to fit XRR curves with X-Ray Calc 3

The structure of a periodic multilayer X-ray mirror is obtained by fitting its X-ray reflectivity (XRR) curve, and the result depends on how the operator normalizes and trims the curve, frees parameters, and accepts a fit. The manual of the fitting program and the papers describing its engine leave these decisions to the operator, whose practice is tacit, so the fitting stays with the expert. To solve this problem, we proposed to develop a skill for a large language model (LLM) agent via elicitation: the expert's decisions were recorded during fitting and written as thirteen steps and a 22-item report template. The agent runs X-Ray Calc 3 through a Model Context Protocol (MCP) tool server. Fresh sessions, each given the skill, one curve, and a nominal design, were scored against fits the expert had withheld, under six tolerances fixed beforehand. The skill was developed on XRR curves of Co/C mirrors and of Ru/C mirrors from a public data deposit. The final version of the skill was tested on W/B4C multilayers. It was demonstrated that the skill recovered the mean period within 0.3 Å of the expert's fits and the period drift through the stack on both W/B4C specimens, and the W and B4C thicknesses within 1 Å on one of them.

physics.app-ph↗

Streaming-WAM: Action-Conditioned World-Action Model for Asynchronous Robot Manipulation

World action models (WAMs) that use future visual prediction at inference time incur substantial generation costs. Asynchronous execution reduces waiting by overlapping inference with robot motion, but visual predictions used for subsequent action generation must anticipate the effects of actions already scheduled for execution during inference. We introduce Streaming-WAM, which couples action-conditioned world modeling with asynchronous robot control to account for committed actions in future visual prediction. At each streaming update, the model conditions future visual prediction on the latest observation and the committed actions, which form the fixed prefix of the next action chunk. The resulting action-conditioned visual features guide generation of the remaining actions within the same joint update, so the continuation is informed by the scene changes expected during execution of the fixed prefix. On LIBERO, Streaming-WAM achieves an average success rate of 98.35\% and reduces mean episode time by a factor of 2.93 relative to Fast-WAM. On the real-world Stamp Paper task, mean episode time falls from 90 s with synchronous Joint-WAM to 38 s with Streaming-WAM. These results show that Streaming-WAM supports efficient asynchronous control while maintaining high task success rates.

cs.RO↗

Quasinormal modes of type II-perturbation for dilaton-Euler-Heisenberg black holes

We study the quasinormal modes (QNMs) of Type II perturbations for dilaton-Euler-Heisenberg (dEH) black holes. These perturbations consist of coupled even-parity gravitational and dilaton perturbations together with odd-parity electromagnetic perturbations. The background is described by mass $M$, magnetic charge $Q_m$, and dilaton coupling difference $ζ=α-β$ to the Euler-Heisenberg term. To find the QNM frequencies, we need to find the parameter space of $(ζ, Q_m/M)$ that is free from vector ghosts. For the $\ell=1$ mode, the radiative block couples the dilaton and axial electromagnetic amplitudes, whereas the $\ell=2$ mode also contains metric amplitudes, so the frequencies are obtained from matrix-valued boundary-value problems. We calculate QNM frequencies for the fundamental ($n=0$) branch with direct integration and the Chebyshev pseudospectral method, and compare the two computations wherever their charge intervals overlap. We find that the $\ell=1,2$ modes in the $n=0$ branch remain damped over the ghost-free parameter domain, supporting the stability of dEH black holes against Type II perturbations. The Type I sector will be presented elsewhere; no claim is made here about that sector, higher multipoles, or overtones.

gr-qc↗

PlenoCI: Plenoptic CharacterIstics for View Dependence Aware Change Classification

Radiance field representations such as 3D Gaussian Splatting (3DGS) natively encode complex visual phenomena such as occlusions and view dependence, but they are inherently underconstrained. Independently optimized reconstructions converge to different primitive configurations, even in unchanged regions. We introduce Plenoptic CharacterIstics (PlenoCI), a novel feature built from the plenoptic field these representations approximate. PlenoCI directly captures rich visual behaviors while ignoring Lambertian textures. By deriving closed-form analytic plenoptic derivatives from a 3DGS representation, we efficiently detect these 5D structures. Our approach is robust to underconstrained representations by construction, reporting two orders of magnitude fewer false positives between independent reconstructions of unchanged scenes than concurrent work. We demonstrate PlenoCI's utility on change classification. First, we detect changes with an instance-aware 3DGS pipeline, achieving state-of-the-art results on CL-Splats with a 25.7% mIoU gain over the strongest competitor, while remaining competitive on the more challenging PASLCD benchmark. Leveraging PlenoCI, we classify changes as geometric or appearance-based with a balanced accuracy of 0.735, comparable to the best performing baseline. We believe plenoptic derivatives and PlenoCI open new directions for view dependence aware understanding in visually complex environments. Code and data are available at https://js0n-lai.github.io/plenoci.

cs.CV↗

HelloWorld: Towards Practical Applications of Generative Driving World Models

Driving world models provide a promising route toward scalable counterfactual data generation and interactive simulation beyond recorded driving logs. Realizing this potential requires a system that can generalize across diverse scenes, respond faithfully to prescribed controls, generate coherent multi-sensor observations, and operate efficiently under repeated inference. We present \textbf{HelloWorld}, a 2B driving world model system designed around these requirements. HelloWorld progressively specializes broad visual and motion priors from heterogeneous video data into controllable driving generation using ego pose, HD maps, and 3D boxes. A block-causal generation interface, together with adaptation to self-generated context, aligns the model with sequential simulation. The system further supports synchronized seven-camera RGB generation and conditional LiDAR synthesis, and is distilled toward few-step inference for efficient deployment. Experiments evaluate visual quality, control fidelity, cross-view consistency, robustness under repeated generation, inference efficiency, and LiDAR synthesis. Together, HelloWorld provides a unified framework for scalable driving data generation and interactive simulation.

cs.CV↗