Artificial Intelligence
Papers
Fresh from arXiv, typeset properly. Highlighted words trade on the market.
All of arXiv
Friday 18 September
Multimodal large language models, or MLLMs, perform well at visual understanding and structured generation, yet these capabilities do not establish whether an engineering design will work when executed. Existing benchmarks assess spatial reasoning, structural validity, or physics-grounded construction, but they do not determine whether MLLMs can synthesize complete load-bearing structures and repair them after simulator execution exposes a failure. We introduce PolyBridgeBench, an executable benchmark for multimodal bridge design. A model receives a visual scene and structured engineering constraints and generates a complete node–member–material topology. Deterministic legality checks gate execution in a native dynamic physics simulation. Following an execution failure, the benchmark returns temporal visual evidence from the failed rollout and evaluates repair under a fixed interaction budget. Separate measurements of deterministic validity, dynamic functional success, and post-failure recovery identify the stage at which design fails. Experiments with six representative MLLMs across 189 levels expose a substantial gap between deterministic validity and dynamic success, pronounced sensitivity to material budgets, and limited post-failure recovery under the primary strict-budget setting.
Artificial Intelligence
LogicTrack: Auditing Reasoning Trajectories of Large Language Models with Formal Logic Solvers
Chain-of-Thought (CoT) reasoning has been shown to improve the performance of large language models (LLMs), yet existing optimization methods largely rely on outcome-based feedback, leaving the logical validity of intermediate reasoning steps largely unverified. To address the gap whereby LLMs arrive at correct final answers through logically flawed intermediate reasoning chains, we propose LogicTrack, a neuro-symbolic framework that audits reasoning trajectories by auto-formalizing each reasoning step into symbolic representations and verifying it with automated theorem provers. LogicTrack introduces Solver-Based Backtracking Reward (SBR), a step-wise scoring mechanism that quantifies logical soundness and guides backtracking tree search at inference time. We further extend LogicTrack to construct supervised fine-tuning (SFT) data with backtracking traces from its trajectories, enabling fine-tuned models to internalize step-wise auditing as an intrinsic capability. Extensive experiments across 8 reasoning benchmarks and 7 LLMs demonstrate that LogicTrack effectively improves both the verifiability of reasoning chains and final answer pass rate, thereby enhancing overall CoT quality and trustworthiness in high-stakes domains.
Read the full abstract
Differential Geometry
The harmonic curvature of 3-link snake robots
The $3$-link snake robot is an example of a non-holonomic mechanical system with rank $2$ distribution in a $5$-dimensional configuration space. It is one of $(2,3,5)$-geometries, and as such, it admits a description by a parabolic geometry of type $(G_2,P)$. Another example of $(2,3,5)$-geometry was well-studied years ago, and it is known that for balls rolling one over the other without slipping or twisting, if the ratio of ball radii is $1:3$, then it is locally isomorphic to the flat model in sense of $(G_2,P)$ parabolic geometries. Answering a question by P. Nurowski, we are looking for parameters of the $3$-link snake robots yielding a locally flat $(2,3,5)$-geometry. We extend the observation of a previous paper that the distributions of the snake robots contain bases generating finite dimensional Lie algebras. We exploit this observation to simplify the exterior calculus of the robots' geometry. This allows us to implement an effective normalization procedure and we obtain an explicit binary quartic invariant of the robot. Finally, we show that it does not vanish for any of the parameters. Therefore, the locally flat model cannot be achieved for these types of snake robots.
Read the full abstract
Computation and Language
Benchmarking Gender Bias in Machine Translation Evaluation Metrics across Occupations
Gender bias remains a persistent concern in machine translation (MT), affecting both generated translations and their automatic evaluation. When a source text leaves a person's gender unspecified, translations may realize that person using masculine or feminine forms, and both MT systems and evaluation metrics may exhibit systematic preferences between these alternatives despite the source providing no basis for such a distinction. We study this behavior in the WMT 2026 Automated Translation Quality Evaluation Systems Shared Task using an occupation-balanced subset of GAMBIT+. We consider seven English-source language pairs, six from the original dataset, targeting Arabic, Czech, Greek, Icelandic, Russian, and Ukrainian, and extend the original resource with German. The subset contains 1,308 masculine/feminine translation pairs per target language, with three examples for each of the 436 ISCO-08 occupational groups. We evaluate shared-task submissions and baselines for score prediction and error annotation, examining the direction, magnitude, and frequency of gender-related differences. We find an overall tendency for masculine translations to receive higher scores, as well as differences per occupation following stereotypical gender representations, although the strength and consistency of this preference vary considerably across evaluators and languages. Our results show that gender bias remains present in MT evaluation, but that capturing its extent requires looking beyond a single aggregate measure to complementary dimensions of evaluator behavior.
Read the full abstract
Nuclear Theory
Microscopic analysis of M1 scissors mode in $^{254}$No
The low-energy $M1$ orbital scissors mode (SM) was recently observed by Oslo group in deformed nucleus $^{254}$No. This is the heaviest nucleus where SM was ever experimentally found. We propose the analysis of SM, together with the spin-flip $M1$ resonance, within fully self-consistent Quasiparticle Random-Phase Approximation (QRPA) with Skyrme forces SG2, SLy4 and SLy5. The impact of "tensor" $J^2$-term, introduced by perturbative (on the base of SG2) and consistent (SLy5) ways, is analyzed and shown to be noticeable but not decisive. The deformation-induced coupling of $M1$ and $E2$ states is inspected. The calculations reasonably describe Oslo's experimental data. The best agreement is obtained for SLy5. A fine structure of SM in $^{254}$No is predicted. A significant constructive interference of the dominant orbital and minor spin-flip contributions to $M1$ strength at SM energy region is found. What is remarkable, our analysis of distributions of the convective nuclear currents challenges the scissors-like flow usually assumed for SM.
Read the full abstract
Mesoscale and Nanoscale Physics
Rydberg excitons in core-shell nanostructures I. Optical properties
Optical properties of Cu$_2$O-metal core-shell nanostructures containing Rydberg excitons are examined. Calculations of electron and hole eigenfunctions and eigenenergies are used to calculate exciton energy and its dependence on system geometry and dimensionality. The limits of very small and very large structures are discussed, making the results applicable to low principal quantum number excitons as well as to Rydberg states. The Real Density Matrix Approach method is used to calculate the optical properties of the studied systems.
Read the full abstract
Astrophysics of Galaxies
An Orbital Interpretation of Decreasing Galaxy Velocity Distance Relations in Systems Dominated by Giant Elliptical Galaxies
The persistence of approximately flat rotation curves observed in many galaxies, is commonly interpreted as evidence for extended dark matter halos or as an indication of modified gravitational laws at low accelerations. In this work, we investigate an alternative orbital framework for the large scale kinematics of galaxy systems dominated by giant elliptical galaxies. We propose that selected non active companion galaxies form gravitationally bound orbital systems around a dominant central elliptical galaxy, conceptually analogous to the Solar System Using galaxy group catalogs together with data from the NASA IPAC Extragalactic Database, we analyze three independent systems centered on M87, M60, and NGC 1399. Candidate companions are selected according to common observational and dynamical criteria, including their location within the adopted search volume, approximate spatial coplanarity, and consistency of the effective gravitational parameter (Geff). For the three systems, the resulting velocity distance relations exhibit clear decreasing trends with increasing distance from the central elliptical galaxy, qualitatively consistent with Keplerian like orbital dynamics.
Read the full abstract
Artificial Intelligence
Driving on Registers, Reasoning on Risk: Risk-Aware Occupancy for Register-Based End-to-End Autonomous Driving
Multimodal trajectory prediction improves behavioral coverage in end-to-end autonomous driving, but existing methods remain limited by sparse scene representations. Incomplete evidence leads to low-quality candidate generation and unreliable ranking among geometrically similar trajectories. On a register-based baseline, bad and poor candidates constitute 19.74% of the candidate set, while the oracle-best candidate ranks only 33.9th on average. We propose RRDrive, which introduces risk-aware occupancy as a dense, temporally aligned, and trajectory-queryable representation. Its global structure guides high-quality multimodal generation, while candidate-conditioned risk queries support fine-grained selection. We further construct RiskOcc4D-NAVSIM with automatic risk annotations. RRDrive achieves a selected-trajectory PDMS of 0.951, representing a 1.5% relative improvement over the baseline (0.937), and improves the average candidate PDMS by 7.7%. In challenging scenes, it improves candidate PDMS by 30.2% and increases the Spearman correlation among good candidates by 0.41, from 0.26 to 0.67. To move beyond this oracle setting, we further develop an external RiskOcc predictor, a perception module that estimates risk-aware occupancy directly from sensor inputs. The competitive performance validates the representation's feasibility.
Read the full abstract
Algebraic Geometry
Bound of automorphisms of fibred surfaces in positive characteristic
Let $f \colon S \rightarrow B$ be a fibred surface over an algebraically closed field $k$ of characteristic $p \geq 5$, where $S$ is a minimal smooth projective surface of general type and $B$ is a smooth projective curve of genus $b\geq 2$. We prove that the group of fibration-preserving automorphisms of $f$ has order at most $15658(K_S^2)^{4}$. Furthermore, we provide an example to show that the exponent $4$ of the polynomial bound is sharp.
Read the full abstract
Cryptography and Security
HE-Guardrail: A Homomorphic Guardrail Against Jailbreak Attacks for Encrypted Large Language Model Inference
Homomorphic encryption (HE) has emerged as a promising approach to privacy-preserving machine learning (PPML), enabling computation directly over encrypted data. In HE-based PPML, a client submits an encrypted input to the server, which evaluates models such as large language models (LLMs) without access to the underlying plaintext. However, we identify a critical security vulnerability in this setting: HE-LLM inference is vulnerable to malicious clients that submit adversarial prompts, such as jailbreak attacks. The same confidentiality that protects benign clients also prevents the server from inspecting incoming prompts or generated responses, making adversarial attempts difficult to detect or block and potentially allowing successful attacks to remain entirely invisible to the server. To address this vulnerability, we propose HE-Guardrail, a framework that evaluates guardrail mechanisms entirely over encrypted data and homomorphically controls whether the target-model response is returned to the client. We instantiate HE-Guardrail with three representative guardrails - Llama Guard, JBShield, and GradSafe. Our results show that HE-Guardrail closely reproduces the decisions of the corresponding plaintext guardrails in the encrypted domain, with distinct security-efficiency-utility trade-offs.
Read the full abstract
Distributed Computing
Weave: Fine-Grained Dynamic SM Scheduling in an MoE Megakernel for Compute-Communication Overlap
Mixture-of-Experts (MoE) inference under expert parallelism (EP) turns each MoE layer into a distributed computation with costly dispatch and combine communication. State-of-the-art systems reduce this cost through communication-computation overlap, splitting the GPU's SMs for communication and computation respectively. However, this approach still leaves GPU resources wasted along two dimensions. Spatially, the best SM split is determined by each layer's routing result and varies across layers and GPUs, so fixed policies mismatch the workload and waste either NVLink bandwidth or compute throughput. Temporally, complex MoE data dependencies introduce bubbles that leave SMs idle. We present Weave, to our knowledge the first MoE overlap system that performs fine-grained dynamic SM scheduling - deciding per layer and per GPU by routing results at runtime. Once routing completes, each layer's communication and computation volumes become known; Weave exploits this predictability through a lightweight cost model running inside the persistent megakernel: a spatial scheduler partitions SMs into communication workers and computation workers to match the communication/computation throughput ratio, and a temporal scheduler coordinates the two worker groups to minimize SM idleness. On 4x H100 SXM GPUs across six mainstream MoE models, Weave achieves a 2.89x geometric-mean MoE-layer speedup and a 1.33x geometric-mean end-to-end speedup over five state-of-the-art baselines.
Read the full abstract
Robotics
Adaptive Rollout Truncation Based on Epistemic Uncertainty for Efficient Offline World Model Training
Accurate neural world models are central to model-based robotics, where they enable robots to predict future states from previously observed trajectories. Multi-step autoregressive training improves long-horizon prediction, but fixed rollout horizons also increase computational cost and can amplify early training errors when the model is still inaccurate. Existing training schemes typically use the same rollout length throughout optimization, independent of the model's current predictive reliability. We propose an epistemic uncertainty-driven adaptive rollout strategy for offline world model training following an auto-curriculum training scheme. Instead of always unrolling to a fixed horizon, the model terminates autoregressive rollouts once epistemic uncertainty exceeds a threshold calibrated from a warm-up phase. We study two uncertainty estimators: a five-head ensemble with a shared recurrent backbone and Monte Carlo Dropout. A two-stage warm-up procedure stabilizes uncertainty estimates before we enable adaptive truncation. Experiments on ANYmal-D and ANT show that ensemble-based adaptive truncation matches or improves the prediction accuracy of fixed-horizon training and the RWM-U baseline while requiring substantially fewer cumulative rollout steps. Training a world model on ANYmal-D following the presented approach reaches comparable final performance with the baselines with roughly 72% less rollout computation. These results indicate that epistemic uncertainty is useful not only for downstream policy regularization, but also for making world model training itself more compute-efficient.
Read the full abstract
Dynamical Systems
Dense times-b orbits from times-a invariant sets and measures, in zero entropy
Let $a,b$ be multiplicatively independent integers. We prove that if $\mu$ is a zero-entropy non-atomic $\times a$-invariant measure on $[0,1]$, then $\mu$-a.e.~$x$ has dense $\times b$-orbit. Related statements follow for many closed $\times a$-invariant sets, and in particular we conclude the existence of irrational numbers with minimal complexity in base $a$ and maximal complexity in base $b$. We extend~these results to commuting endomorphisms of the torus under an irreducibility and hyperbolicity condition.
Read the full abstract
Computer Vision
OpenSAL360: Open-Source Crowdsourcing Platform for Omnidirectional Video Saliency Collection
Omnidirectional video saliency prediction plays an important role in many immersive multimedia applications, including viewport-adaptive streaming and compression, foveated rendering, mesh simplification, perceptual quality assessment. Yet progress in this area remains constrained by the cost and complexity of collecting eye-tracking data with VR headsets, which makes large-scale dataset creation difficult to extend. We present OpenSAL360, the first open-source platform for scalable, low-cost 360{\deg} video saliency collection. Unlike conventional VR-based protocols, it requires only a standard screen, mouse, and internet connection, enabling parallel saliency data collection from common crowdsourcing assessors without specialized hardware. We validate our collection protocol against seven well-established VR eye-tracking datasets and conduct ablation studies on key interface, pre-, and post-processing parameters. To demonstrate the effectiveness and scalability of the proposed methodology, we collect and publicly release a saliency dataset covering 500 omnidirectional videos annotated by 2,000+ crowdsourcing assessors, making it, to the best of our knowledge, the largest dataset in this field. We make OpenSAL360 publicly available at https://github.com/msu-video-group/OpenSAL360.
Read the full abstract
Cosmology and Nongalactic Astrophysics
21-cm Constraints on S-wave Dark Matter Annihilation with Subhalo-enhanced Effects
Observations of the 21-cm signal can probe energy injection into the intergalactic medium arising from dark matter annihilation during cosmic dawn and reionization. For s-wave annihilation, the annihilation rate depends on the squared dark matter density, making the 21-cm signal sensitive to dark matter halo substructure. In this work, we extend the numerical method of DM21cm to address spatially inhomogeneous s-wave annihilation including subhalo effects, using semi-analytical treatment of SASHIMI-C. Our numerical results show that the projected HERA limit for the $\gamma\gamma$ annihilation channel is stronger than the Leo~T bound within the dark matter mass range of $m_{\chi}\leq 3\,{\rm keV}$, whereas the projected HERA limit for the $e^+e^-$ annihilation channel is the strongest among the existing bounds for $m_\chi\sim 0.1$–$1\,{\rm GeV}$.
Read the full abstract
General Economics
Bricks or Cash? Externalities of Housing Upgrading in High-density Cities
We estimate housing externalities in a high-density city, exploiting the staggered rollout of Singapore's nationwide Main Upgrading Programme for public housing. Controlling for nonrandom neighborhood exposure, we find that upgrading raises treated buildings' prices by 11.5% upon completion and neighboring buildings' resale prices by about 2% within 500 meters, decaying to zero beyond. A model with distance-decaying externalities shows that in dense settings spillovers justify the distortions of in-kind provision; this advantage diminishes and reverses at lower densities. Administrative data on over 2 million residents show that upgrading disproportionately retains older incumbents, suggesting age-specific amenities as an underexplored externality channel.
Read the full abstract
Combinatorics
Integrality-Gap Bounds for Weighted Matchoids and Matroid Intersection
The weighted $k$-matroid intersection problem asks for a maximum-weight set that is independent in each of $k$ matroids on a common ground set. The natural LP relaxation optimizes over the intersection of the $k$ matroid independent set polytopes. It is conjectured that this LP has integrality gap at most $k-1$. The conjecture is known for $k\le3$, but for $k\ge4$ the best general upper bound was $k$. We improve this bound to $k-1+1/k$. More generally, we prove that the natural LP of a $p$-matchoid has integrality gap at most $p-1+1/p$, with a deterministic LP-relative algorithm attaining the same factor. The matchoid extension resolves the $p$-matchoid part of a conjecture of Lee, Sviridenko, and Vondrák; projective planes give explicit tight instances whenever one of order $p-1$ exists.
Read the full abstract
Combinatorics
A short proof of the Bernoulli decomposition theorem
We give a construction of admissible partitions that yields the Bernoulli decomposition theorem
Information Retrieval
Adaptive Preference Modeling via Explicit Indirect Relational Learning for Personalized Fashion Matching
Personalized fashion complementary recommendation requires jointly modeling user preferences and item compatibility under sparse and multimodal data conditions. Existing approaches often capture higher-order relational signals implicitly through graph propagation or rely on direct interaction data, limiting their ability to explicitly model indirect preference and compatibility relationships. To address this limitation, we propose an Adaptive Preference with Contrastive Learning framework (APCL) that explicitly models both direct and indirect relational signals within a unified recommendation architecture. Specifically, APCL constructs indirect user-item and item-item relationships through a correlation-guided adaptive aggregation mechanism and represents them as dedicated personalization and compatibility views. To improve representation learning, we further introduce a functional view contrastive learning strategy that aligns direct and indirect preference representations and direct and indirect compatibility representations, encouraging consistency across relational contexts. By integrating multimodal visual and textual information with explicit indirect relational modeling, APCL captures richer semantic characteristics while improving robustness in sparse-interaction settings. Experiments on two benchmark fashion recommendation datasets demonstrate that APCL consistently outperforms representative baseline methods.
Read the full abstract
Computer Vision
MT-WAM: Reorienting the One-Pass Predictive Representation Toward Action Generation
Fast-WAM shows that video-action co-training improves control without generating future video at inference, making the representation from a single video diffusion Transformer forward central to action generation. However, future-observation prediction does not explicitly prioritize the future dynamics and visual structure needed for control. We present MT-WAM, which retains the original training objectives and adds complementary supervision for future two-dimensional point trajectories and visual features. A lightweight dual-stream branch copied from the video backbone's final blocks provides target-specific processing, while a structured attention mask prevents cross-stream attention. Motion-stream tokens supply additional dynamics conditions to the action expert. Future visual-feature prediction provides supervision in a feature space that captures object and spatial structure. This supervision trains the video backbone to provide more informative visual context for action generation under changing visual conditions, without adding visual-feature-stream tokens to action conditioning. At inference, MT-WAM uses video and motion caches computed once per replan and skips future-video prediction. Without additional embodied policy pretraining, MT-WAM achieves 98.2% success on LIBERO and 73.7% on LIBERO-Plus, exceeding Fast-WAM by 23.8 percentage points on the latter. On RoboTwin 2.0 Clean2Rand, Random success increases from 6.30% to 19.40%; across four real-world tasks, average success increases from 67.0% to 77.8%.
Read the full abstract
Instrumentation and Methods for Astrophysics
Development of a Temperature-Variable Cold Blackbody Calibrator for Millimeter and Submillimeter Wave Detectors
We report the design, fabrication, and characterization of a cryogenic blackbody calibrator intended for laboratory-based detector characterization, providing multi-temperature calibration of millimeter- and submillimeter-wave detectors over a temperature range of 4 K to ~10 K. The device employs a Stycast/SiC absorber shaped for uniform array illumination and mounted on a phosphor-bronze substrate with optimized thermal links. Measured thermal conductance and heat capacity show the expected temperature dependence, although the conductance was lower than estimated, yielding a thermal time constant of 8.5 s at 10 K versus the 3.7 s design estimate. The response remains practical, demonstrating the calibrator's effectiveness as a stable reference source for precise calibration of detector arrays.
Read the full abstract
Differential Geometry
Linear Stability of Steady and Expanding Kähler-Ricci Solitons
We prove linear stability of all steady and expanding gradient Kähler-Ricci solitons. In the expanding case, we prove strict linear stability under very general assumptions. In particular, every asymptotically conical expanding gradient Kähler-Ricci soliton is strictly linearly stable.
Read the full abstract
High Energy Physics (Theory)
A Geodesic Route toward Holography beyond AdS: Tessellating the Schwarzschild Black Hole
In vacuum anti-de Sitter (AdS) space, the geometry admits a perfect tessellation by a geodesic network. This tessellation characterizes the background exactly, and a partial entanglement entropy (PEE) tensor-network toy model of AdS/CFT can be defined on it. It has so far been unclear whether this construction can be extended beyond vacuum AdS. In this paper we take the first step in this direction. We show that the exterior region of the Schwarzschild black hole and its Einstein–Rosen bridge are perfectly tessellated by a specific geodesic gas emitted from the boundary, so that Crofton reconstruction holds in these regions. We then prove that such a geodesic tessellation and the Crofton reconstruction it defines extend to more generic Riemannian manifolds. This allows us to construct a PEE tensor-network model of holographic duality on more generic geometric backgrounds. In the case of the PEE tensor-network model for the Schwarzschild background, we can concretely realize the Bekenstein–Hawking entropy, the Ryu–Takayanagi formula and the ER=EPR proposal. Our approach opens a new route towards holographic toy models beyond AdS/CFT.
Read the full abstract
Artificial Intelligence
Risk-Aware Occupancy for Safety-Oriented End-to-End Autonomous Driving
Conventional end-to-end driving systems model the environment with sparse objects and lane elements. While efficient, this paradigm discards planning-critical information in crowded and occluded scenarios, particularly for unstructured obstacles, ambiguous free space, and complex interactions. We propose risk-aware occupancy, a dense BEV representation that explicitly fuses geometric occupancy, map-derived traffic constraints, and future dynamic-agent occupancy as complementary risk signals. Built upon this representation, we develop ROIDrive, an instance-centric end-to-end framework with a dedicated risk-aware occupancy branch. The predicted occupancy is tokenized via sliding-window sampling and injected into planning queries via cross-attention, while temporal query consistency mitigates unreliable flickering queries. We also contribute RiskOcc4D-nuScenes, a benchmark derived from nuScenes and Occ3D-nuScenes with four automated annotation pipelines for multi-dimensional risk supervision. Experiments on representative occupancy architectures verify the learnability and transferability of our representation. Integrated with GenAD, it reduces collision rates by 35.0% (UniAD metric) and 52.9% (ST-P3 metric), confirming the efficacy of the proposed representation modality.
Read the full abstract
Metric Geometry
Every Compact Metric Space Is Isometrically Embeddable into the Gromov-Hausdorff Space
Let $(\mathcal{M},d_{\mathrm{GH}})$ denote the Gromov-Hausdorff space. We prove that every nonempty compact metric space is isometrically embeddable into $(\mathcal{M},d_{\mathrm{GH}})$, answering a question of Iliadis. The corresponding result was previously known for finite metric spaces and several larger classes. However, the general compact case remained open. More precisely, let $D>0$ and let $K$ be a nonempty compact metric space with diameter at most $D$. On a fixed Cantor space, we associate a metric to each $1$-Lipschitz function from $K$ to $[0,D]$ so that the Gromov-Hausdorff distance between any two resulting spaces is exactly the uniform distance between the corresponding functions. The resulting spaces have diameter at most $76D$. As a consequence, the subspace of $\mathcal{M}$ represented by Cantor spaces is itself isometrically universal for compact metric spaces. We also construct finite approximations of these spaces, obtain an exact formula for the Gromov-Hausdorff distance between the finite models, and derive uniform approximation and covering estimates.
Read the full abstract
Computer Vision
SkillIR: Evolving Scene-Aware Skills for Agentic Image Restoration
This paper studies agentic image restoration, in which multimodal agents coordinate specialized restoration tools to recover images affected by complex degradations. Existing restoration agents often derive complete tool-use plans from the original degraded image or retrieve previously successful trajectories, providing limited support for adapting individual actions to evolving intermediate restoration states. We find that accepted tool executions can change the residual degradation state and, consequently, the applicability of subsequent tools. To address this issue, we propose SkillIR, a skill-guided framework that represents restoration experience as degradation-centered action evidence rather than complete tool-use trajectories. SkillIR consolidates context-dependent action outcomes into scene-aware restoration skills that characterize applicable conditions, expected effects, and attributable failure cases. Instead of prescribing a complete restoration plan, the retrieved skills guide one bounded action at a time within a verified residual-state loop: each tool output is treated as a candidate, committed only after transition verification, and followed by reassessment of the active residual degradations. After each rollout, the resulting evidence is used to create, refine, or patch dynamic skills, enabling accumulated restoration experience to improve decision-making for subsequent inputs. Experiments on synthetic and real-world multi-degradation datasets demonstrate that SkillIR improves restoration quality and enables more reliable and effective tool use.
Read the full abstract
Robotics
Learning Distance-Conditioned Object Transport for Humanoid Loco-Manipulation from a Single Motion Clip
Motion tracking can reproduce humanoid loco-manipulation from a single retargeted motion clip, but a policy trained on a fixed reference primarily reproduces its demonstrated transport outcome. Although the source trajectory visits intermediate object displacements, transport termination is demonstrated only at its endpoint. We identify this mismatch as the termination-versus-passage gap: intermediate displacements are observed as passage states rather than termination-complete outcomes. We introduce Distance-Conditioned Reference Recomposition (DCRR), which relocates the demonstrated termination segment to intermediate transport states. A frozen tracking teacher replays the recomposed references under closed-loop dynamics, and the retained trajectories are relabeled by their achieved object placements and distilled into a reference-free policy. This procedure constructs distance-conditioned supervision from the interaction behavior encoded in the source motion. Across Carry, Kick-Push, Crouch-Push, and Drag, DCRR-BC produces command-dependent transport with an overall normalized distance mean absolute error (MAE) of 0.15, compared with 0.28 for source-only behavior cloning. RL fine-tuning further improves the command response and execution robustness in the training simulator and under sim-to-sim transfer. Finally, hardware experiments demonstrate transport-distance modulation across all four interaction modes.
Read the full abstract
Information Theory
Orbital Detection: On Maximum-Entropy Priors
Soft-input detection over a discrete constellation \(\mathcal{M}\) of cardinality \(M\) requires computing a posterior whose mean and mode are respectively given by the minimum mean square error (MMSE) and maximum a posteriori (MAP) estimates, both of which incur a computational cost of order \(\mathcal{O}(M)\) per symbol. We show that this cost is reduced to \(\mathcal{O}(L)\), where \(L \le M\) is the number of distinct amplitudes (rings), once the discrete prior is replaced by its maximum-entropy counterpart subject to the same radial marginal. This orbital prior, which is a mixture of uniform circular shells, is obtained by maximizing a mixed discrete-continuous entropy. We prove in this paper that such a distribution is the only distribution on \(\mathbb{C}\) that preserves the amplitude statistics of \(\mathcal{M}\) exactly while remaining maximally noncommittal in phase. Under the additive white Gaussian noise (AWGN) channel, the orbital prior induces a closed-form posterior that factors into a softmax over the \(L\) rings and a von Mises phase distribution whose concentration is supplied entirely by the observation, yielding closed-form orbital MMSE and MAP detectors of the discrete symbol at \(\mathcal{O}(L)\) cost. The resulting hierarchical rule selects the ring by posterior mass and the phase by conditional mode. We compare the pairwise ring boundary with that of the joint posterior-density and quantify the leading-order outward shift at high signal-to-noise ratio (SNR). Numerical results using standard constellations confirm that the orbital detectors maintain similar symbol error rate (SER) performance to optimal detectors, at a fraction of the complexity.
Read the full abstract
Audio and Speech Processing
OmniVChat: Synthesizing, Benchmarking, and Training for Native Audio-Visual Dialogue
We define OmniVChat (Omni Video Chat) as the task of native audio-visual dialogue between a user and an omni model. In OmniVChat, omni models directly and simultaneously receive audio and video from a user and return text. The user's query is embedded in the audio and video, without a separate text question, external captioning, or speech recognition. Direct audio-visual input reduces external latency and computation while preserving perceptual cues. However, research on OmniVChat faces two constraints: data availability and evaluation. Recordings of people using their own devices are scarce. Furthermore, good replies often depend on multimodal context and can be phrased in many ways, making keyword matching unreliable for evaluation. Recent progress in agent systems and video generation makes generation for comprehension viable, which means using synthesized dialogues for training and evaluation. Therefore, we present OmniVChat-Studio, a multi-agent data engine for synthesizing single- and multi-turn audio-visual dialogues. We use synthesized dialogues to build OmniVChat-Bench, an evaluation benchmark that evaluates omni models' basic dialogue abilities across five ability categories. Replies are judged by a large language model based on explicit scoring criteria. We also present OmniVChat-RL, a reinforcement learning reward design that jointly targets reply correctness, efficiency, and style in OmniVChat. Training Qwen3-Omni-Instruct with OmniVChat-RL on synthesized dialogues improves its performance on both OmniVChat-Bench and the human-recorded OmniVChat-Bench-Human. These gains validate the reward design and show transfer to real-world dialogues in training and evaluation.
Read the full abstract
High Energy Physics (Phenomenology)
Localized CP violation driven by cross-channel interference between $\overline{K}_0^*(1430)^0$ and $\rho(770)^0$ in $B^{\pm}\rightarrow K^{\pm}\pi^{+}\pi^{-}$ decays
For the charmless three-body decay $B^{\pm} \rightarrow K^{\pm} \pi^{+} \pi^{-}$, a CP asymmetry sign reversal typically occurs in the low-$m_{\pi\pi}$ region. However, experimental data reveals a localized anomaly in the specific phase space region $0.4 \text{ GeV}^2 < m_{\pi\pi}^2 < 0.8 \text{ GeV}^2$ and $1.5 \text{ GeV}^2 < m_{K\pi}^2 < 2.5 \text{ GeV}^2$, where the regular pattern is broken by a rightward tilt. In this work, we investigate the dynamical origin of this phenomenon by employing a quasi-two-body factorization scheme that integrates short-distance perturbative QCD (PQCD) hard kernels with long-distance $S$-wave LASS and $P$-wave relativistic Breit–Wigner(RBW) line shapes. Our results demonstrate that the localized anomaly is driven by cross-channel interference between the scalar $\overline{K}_0^*(1430)^0$ and vector $\rho(770)^0$ resonances, which exhibit an orthogonal geometric topology on the Dalitz plot. Crucially, we show that the rapid variation of the relative strong phase within the intersection region induces coherent interference effects alternating between the charge-conjugated channels, significantly reshaping the local CP asymmetry profile. This cross-channel dynamics framework provides a self-consistent theoretical benchmark for overlapping resonance regions, offering valuable insights for upcoming high-luminosity experiments at Belle II and the HL-LHC.