arXiv Science⌕ Search

arXiv subjects

Bo Zhou

Publications and source records attributed to Bo Zhou.

At least 19 recordsLinked to original sources
arXiv2026

Safety-Critical LiDAR-Inertial Odometry with On-Manifold Deterministic Protection Level

In safety-critical scenarios, the protection level of the autonomous navigation system is crucial for enabling mobile robots to perform safe tasks. However, existing studies on probabilistic navigation systems for robots usually perform offline accuracy evaluations using limited datasets and assume that the results can be applied to unknown real-world environments. As a result, current autonomous mobile robots often lack protection levels for online safety assessment. To fill this gap, we propose a safety-critical LiDAR-inertial odometry (LIO) that provides deterministic protection levels based on a novel on-manifold set-membership filter. By adopting the unknown but bounded assumption, we derive a neat closed-form relationship between point cloud noise and the uncertainty of the estimation from the iterative closest point algorithm. Using this relationship, we design an on-manifold ellipsoidal set-membership filter (OM-ESMF) and implement it within the LIO system. Leveraging the properties of the set-membership filter, our system offers the feasible sets of the estimated locations as the deterministic protection levels, serving as safety references for the robots' downstream autonomous operations. The experimental results show that our system can provide effective deterministic online safety references for diverse robots in various environments.

cs.RO↗
arXiv2026

Valid Post-Contextual Bandit Inference

Contextual multi-armed bandits (CMAB) are increasingly used as adaptively sampled experiments, after which researchers test hypotheses about treatment effects. We derive the Hájek-Le Cam limit experiment for multi-armed contextual bandits under equal-arms (weak-signal) asymptotics. It is Locally Asymptotically Quadratic, but not a (mixed) Gaussian shift experiment. Girsanov's theorem gives it a structural representation in stochastic differential equations. Together with a general weak convergence result, this yields the asymptotic null distribution and local asymptotic power of often-used test statistics. Two kinds of nuisance parameters threaten size control: the common reward level of the arms of interest and the rewards of the arms not of interest. The first threat is removed by translation-invariant sampling. We propose Regularized Translation-Invariant (RTI) versions of Thompson, tempered-greedy, tempered-(Lin)UCB, and exploration sampling. The second threat calls for appropriate pivots. The structural representation of the limit experiment is key to overcome the inferential challenges arising from adaptive sampling. Simulations corroborate the theory.

econ.EM↗
arXiv2026

AnyCXR: Human Anatomy Segmentation of Chest X-ray at Any Acquisition Position using Multi-stage Domain Randomized Synthetic Data with Imperfect Annotations and Conditional Joint Annotation Regularization Learning

Robust anatomical segmentation of chest X-rays (CXRs) remains challenging due to the scarcity of comprehensive annotations and the substantial variability of real-world acquisition conditions. We propose AnyCXR, a unified framework that enables generalizable multi-organ segmentation across arbitrary CXR projection angles using only synthetic supervision. The method combines a Multi-stage Domain Randomization (MSDR) engine, which generates over 100,000 anatomically faithful and highly diverse synthetic radiographs from 3D CT volumes, with a Conditional Joint Annotation Regularization (CAR) learning strategy that leverages partial and imperfect labels by enforcing anatomical consistency in a latent space. Trained entirely on synthetic data, AnyCXR achieves strong zero-shot generalization on multiple real-world datasets, providing accurate delineation of 54 anatomical structures in PA, lateral, and oblique views. The resulting segmentation maps support downstream clinical tasks, including automated cardiothoracic ratio estimation, spine curvature assessment, and disease classification, where the incorporation of anatomical priors improves diagnostic performance. These results demonstrate that AnyCXR establishes a scalable and reliable foundation for anatomy-aware CXR analysis and offers a practical pathway toward reducing annotation burdens while improving robustness across diverse imaging conditions.

cs.CV↗
arXiv2026

Some Results on the Weight Spectrum of Binary Reed-Muller Codes $RM(m-7,m)$

We study the set of weights occurring in the high-order binary Reed-Muller codes $RM(m-7,m)$. For every $m\geq 14$, we prove that the weight spectrum contains all even weights in $[336,2^m-336]$, together with an explicit finite set of low weights and their complements. The proof first establishes the corresponding base-code inclusion in $RM(7,14)$. This base step uses four-block concatenation, explicit degree-six monomial witnesses, and known spectrum inputs for $RM(5,10)$ and $RM(6,12)$. The base inclusion is then lifted to all $m\geq 14$ by a concatenation-based induction. We also analyze the remaining base-code target weights $322,326,330,334$ in several restricted families, including four-block branches, affine-flat and structured inner corrections in a fixed Carlet-type Maiorana-McFarland outer shell, and sparse sums of degree-7 coordinate monomials. The residual analysis delineates several construction routes that cannot yield the four unresolved base-code weights, thereby sharpening the remaining $c=7$ spectrum problem.

cs.IT↗
arXiv2026

Temporal Diffusion Bridge Model for Vessel Extraction Using Physics-informed Synthetic Data

Accurate artery extraction from X-ray coronary angiography (XCA) is essential for coronary artery disease diagnosis and intervention. However, low vessel visibility, respiratory and cardiac motion, and limited annotations challenge existing methods. Moreover, most deep learning approaches produce binary vessel masks without preserving clinically relevant intra-arterial contrast information. We propose a Temporal Diffusion Bridge Model (TDBM) that formulates vessel extraction as image translation and learns from physics-informed synthetic data without manual vessel annotations. A physics-based XCA synthesis engine generates diverse, perfectly aligned pairs of contrast-enhanced and contrast-free images. Using these pairs, TDBM learns cross-domain mappings to recover high-fidelity vessel information. Temporal conditioning incorporates adjacent frames to improve consistency, while a vessel-aware contrastive loss exploits background-invariant synthetic pairs to enhance vascular discrimination. We evaluate TDBM on two XCA vessel segmentation datasets and conduct a reader study using two real-patient XCA sequence datasets. Zero-shot segmentation is further assessed on retinal imaging and fluorescence microscopy datasets. Results demonstrate that TDBM consistently outperforms existing methods and generalizes effectively across imaging modalities. Code and trained weights will be available at: https://github.com/Advanced-AI-in-Medicine-and-Physics-Lab/TDBM

eess.IV↗
arXiv2026

FREA: A Multi-Source Expert Benchmark for Reaction Feasibility Verification

As generative models and AI agents propose chemical reactions at a scale beyond expert review, feasibility verifiers decide which proposals enter synthesis planning. But do their decisions agree with chemists across different kinds of candidates? We introduce FREA, a benchmark of 751 reactions labeled by expert chemists under an explicit feasibility criterion, drawn from retrosynthesis model proposals, zero-yield experimental records, edits by large language models (LLMs), and five negative candidate generation methods. Our evaluation finds that no verifier leads across all sources: LLMs given only the criterion are competitive with dedicated verifiers, while forward models perform best on retrosynthesis proposals but reject most feasible edits of recorded reactions at the evaluated operating points. Looking beyond aggregate scores, both forward models perform below chance when separating infeasible alternative disconnections from feasible generated candidates. To study whether negative supervision addresses these weaknesses, we also release a corpus of over 14 million recorded reactions and generated negative candidates. In matched training comparisons, adding a mixture of generated negatives to forward training raises mean AUROC across sources, but these gains do not extend to retrosynthesis proposals. Varying the generation method further shows that the largest gain on generated candidates coincides with worse proposal screening. These findings motivate evaluating verifiers against experts across sources and designing negatives for transfer to model proposals.

cs.AI↗
arXiv2026

Positive discrepancy of graphs far from Turán graphs

We prove that, for every $\eps>0$, any $n$-vertex graph that needs at least $\eps n^2$ edge changes to become a Turán graph has positive discrepancy at least $c_\eps n^{5/4}$. Consequently, every such regular graph has second eigenvalue at least $c'_\eps n^{1/4}$. These results prove two conjectures of Räty, Sudakov and Tomon.

math.CO↗
arXiv2026

OSWorld-Science: A Benchmark of Computer Use Agents for Learning and Using Scientific Software

Scientific software presents a demanding test for computer-using agents based on visual language models (VLMs): completing a research workflow requires interpreting specialized interfaces, manipulating scientific objects, and producing verifiable results. We thus introduce OSWorld-Science, a benchmark and evaluation environment that combines scientifically meaningful tasks, artifact-based evaluation, and an efficient agent harness for studying computer use in the scientific domain. The benchmark contains 12 VLMs and 146 high-quality tasks across several scientific domains and software configurations, covering workflows such as molecular drawing and retrosynthesis, pathology image analysis, statistical computing, and physical simulation. Tasks are developed through expert proposals and iterative human--AI co-design, with selection guided by scientific value and difficulty. Task-specific execution-based evaluators inspect application states and generated artifacts, including molecular structures, segmentation masks, plots, and numerical results, and award partial credit for incomplete outcomes. Our special harness integrates model adapters, interaction-loop control, and trajectory logging to support comparisons of models and interaction strategies. Our results show that current state-of-the-art VLMs with a strong harness still face challenges in addressing key questions in the scientific domains. We also analyze the benchmarking results across multi-linguistics, reasoning efforts, context length and other factors and derive several important conclusions and directions to assist future development. Overall, we provide an integrated framework connecting expert-defined scientific goals to verifiable software outcomes, enabling systematic evaluation of both agent capabilities and harness design in scientific workflows.

cs.AI↗
arXiv2026

CoRe-VLA: Preserving Cross-View Coordination in VLAs under Camera Shifts

VLAs combine pretrained vision-language representations with action generation to enable language-guided control across diverse tasks, becoming a mainstream paradigm in embodied intelligence. However, multiple studies have reported VLA's substantial declines in task success under camera shifts, revealing a key vulnerability that limits reliable deployment. To address this vulnerability, existing methods collect paired observations of the same scene from different viewpoints to fine-tune the VLA or train visual adaptation modules. Unfortunately, they require additional data collection and VLA training costs. In this paper, we first identify \emph{cross-view coordination breakdown} under external camera shifts: the robot may rely too heavily on wrist-view cues and consequently execute subtasks in the wrong order when losing global view. Motivated by this, we propose CoRe-VLA, a plug-and-play framework requiring neither additional multi-view data collection nor VLA fine-tuning, which can incorporate with exsiting VLAs. It reconstructs a scene point cloud and renders the observation from the VLA's training viewpoint to restore cross-view coordination. In CoRe-VLA, Render-to-Camera (R2C) Restoration reduces rendering-induced visual degradation, while Execution-Trajectory-Conditioned Alignment (ETCA) reduces robot idle time and mitigates motion conflicts during asynchronous execution. Experiments on 5 real-robot tasks, LIBERO-100 and LIBERO-Plus demonstrate CoRe-VLA substantially improves task success across mainstream VLAs under camera shifts. For example, CoRe-VLA raises PI0.5's success rate from 13.3% to 83.3% at a 1.6m camera shift in real-robot environment.

cs.RO↗
arXiv2026

Large Complete Minors from a Cheeger Condition

Let $G$ be a graph on $n$ vertices, and let $e_G(S,V(G)\setminus S)$ be the number of edges with exactly one endpoint in $S$. The Cheeger constant and the restricted Cheeger constant of $G$, where $k\ge1$ is real, are, respectively, \[ h(G)=\min_{\substack{\emptyset\ne S\subseteq V(G)\\|S|\le \frac{n}{2}}} \frac{e_G(S,V(G)\setminus S)}{|S|} \text{ and } h_k(G)=\min_{\substack{\emptyset\ne S\subseteq V(G) |S|\le\min\{k,\frac{n}{2}\}}} \frac{e_G(S,V(G)\setminus S)}{|S|}. \] The contraction clique number $\ccl(G)$ is the largest integer $r$ such that $G$ contains the complete graph $K_r$ as a minor. Krivelevich and Nenadov [Complete minors in graphs without sparse cuts, Int. Math. Res. Not. IMRN 12 (2021) 8996--9015] proved that, for every fixed $\eps>0$ and all sufficiently large $n$ and $d$, if $G$ is a graph on $n$ vertices with maximum degree at most $d$, then $h(G)\ge\eps d$ and $h_{\eps n}(G)\ge(\frac{1}{2}+\eps)d$ imply $\ccl(G)=Ω_\eps(\sqrt{\frac{nd}{\log d}})$. They asked to determine if one can guarantee the same lower bound on $\ccl(G)$ without the additional condition on $h_{\eps n}(G)$. They showed that this is the case when $d$ is a constant. We answer this question affirmatively. For every $\eps>0$, there are constants $β=β(\eps)>0$ and $n_0=n_0(\eps)$ such that, whenever $d\ge 3$ is an integer, for every graph $G$ with $n\ge n_0$ vertices and maximum degree at most $d$, if $h(G)\ge\eps d$, then $\ccl(G)\geβ\sqrt{\frac{nd}{\log d}}$. The dependence of this lower bound on $n$ and $d$ is best possible up to a constant factor. As a corollary, a lower bound is derived for the contraction clique number of $d$-regular graphs for which the second largest eigenvalue is bounded away from $d$, compared to earlier $\frac{d}{2}$. The proof combines spectral properties of graphs with an analysis of lazy random walks.

math.CO↗
arXiv2026

On Alon's problem concerning the difference between connected domination number and domination number

For a connected graph $G$, let $γ(G)$ and $γ_c(G)$ denote its domination number and connected domination number, respectively. Let $M(n,k)$ be the maximum of $γ_c(G)-γ(G)$ over all connected $n$-vertex graphs of minimum degree at least $k$. Alon proved that \[ 2\left\lfloor\frac{n}{k+1}\right\rfloor-O(1)\le M(n,k)<\frac{n}{k+1} \bigl(\log\lceil\log(k+1)\rceil+3\bigr). \] He proposed a problem to determine or estimate $M(n,k)$ for $n-1\ge k\ge 3$, and particularly remarked that it would be interesting to close the $\log\log(k+1)$ gap between the upper and lower bounds and decide whether or not $M(n,k)=Θ\bigl(\frac{n}{k+1}\bigr)$. We give an asymptotic answer to Alon's problem for sufficiently large $k$. More precisely, $M(k+1,k)=0$. For $n>k+1$, let \[ ν=\frac{n}{k+1} \text{ and } Φ(x)= \frac{1}{x\log\!\frac{x}{x-1}} \ (\text{for }x>1). \] As $k\to\infty$, uniformly over all integers $n>k+1$, \[ M(n,k)= \big(Φ(ν)+o(1)\big) ν\log\log(k+1). \]

math.CO↗
arXiv2026

AtomBridge: Agentic VLA Inference Plugin for Long-Horizon Tasks in Scientific Experiments

Robotic laboratories play a critical role in autonomous scientific discovery by enabling scalable, continuous experimental execution. Recent vision-language-action (VLA) models offer a promising foundation for robotic laboratories. However, scientific experiments typically involve long-horizon tasks composed of multiple atomic tasks. Existing VLA models may fail to perform composed tasks formed by reordering and composing these known atomic actions. This limitation can arise from a skill-chaining gap caused by robot-state mismatch: the terminal robot state of one skill can fall outside the valid initial-state distribution of the next. To address this challenge, we propose AtomBridge, an Agentic VLA Inference Plugin for Long-Horizon Tasks in Scientific Experiments. AtomBridge attaches at inference time to a VLA policy already fine-tuned on atomic tasks, while keeping its weights fixed. At each task boundary, it uses LLM-based transition reasoning and robotic-action code generation to insert transitional actions between consecutive tasks. This plug-and-play design mitigates the skill-chaining gap caused by robot-state mismatch without additional VLA fine-tuning or demonstrations of composed long-horizon sequences. Across scientific manipulation sequences in simulation and a real-world experimental environment, AtomBridge improves execution continuity and per-step atomic-task success. On 8-step composed tasks, AtomBridge improves full-sequence success by 10%~25%.

cs.RO↗
arXiv2026

LITEWAY: LIghtweight HAR via Temporal Efficient highWAY

Wearable human activity recognition (HAR) remains challenging due to the computational and energy constraints of deep learning models on resource-limited devices. Existing lightweight approaches often rely on recurrent architectures (e.g., GRU and LSTM), limiting parallelism and increasing inference latency. We propose LITEWAY, a modality-agnostic, fully convolutional framework for multichannel sensor time series that replaces recurrent temporal modeling with structured convolutional decomposition. LITEWAY combines lightweight convolutional blocks, strided temporal processing, and convolution-attention pooling to efficiently capture temporal dependencies while reducing computational complexity. We evaluate LITEWAY on 16 HAR datasets against TinyHAR, TinierHAR, and MLP-HAR. LITEWAY achieves competitive macro F1 while reducing model size by 4.06x-9.52x (Light) and 3.87x-9.07x (Full) compared with TinyHAR and TinierHAR. Deployment experiments further show energy reductions of 2.29x-3.14x (Light) and 1.46x-2.01x (Full) compared with TinierHAR and MLP-HAR, highlighting efficient fully convolutional temporal modeling for wearable HAR. The source code is publicly available at https://github.com/dominique-nshimyimana/liteway.

cs.LG↗
arXiv2026

Universal imprinting of short-range correlations in relativistic heavy-ion collisions

Protons and neutrons within atomic nuclei undergo intense and fleeting encounters driven by the strong force at short distances. These interactions generate close-proximity pairs, a phenomenon known as short-range correlations (SRCs). While the properties of SRCs have been extensively studied in cold nuclear matter, their behavior under extremely hot and dense conditions remains largely unexplored. Here, we incorporate correlated nucleon configurations into relativistic heavy-ion collisions, using the quark-gluon plasma (QGP), a state of matter present microseconds after the Big Bang, as a sensitive diagnostic tool. We find that these correlations induce substantial modifications to event-by-event geometry, which are quantitatively identified through higher-order moments of the transverse profile. Most importantly, we find a surprising linear relation between QGP geometry fluctuations and the SRC scale factor spanning systems from deuteron to lead, which reflects the universal imprinting of SRCs in relativistic heavy-ion collisions. Our findings reveal the emergence of short-range structural effects across vastly different energy scales from low-energy electron scattering to high-energy nuclear collisions.

nucl-th↗
arXiv2026

VSMP-IMU: Video-Grounded Semantic Motion Programs for Sensor-Aware Synthetic IMU Generation

Wearable human activity recognition (HAR) is often limited by the scarcity of labeled sensor data, especially in low-resource, class-imbalanced, and subject-generalization settings. Synthetic IMU generation can reduce this dependency and enhance HAR machine learning model's performance, but existing approaches face a trade-off without addressing all factors: video-driven methods are visually grounded but sensitive to pose-estimation errors, while text-driven methods are controllable but often weakly grounded in how activities are actually performed. We present VSMP-IMU, a video-grounded framework for controllable synthetic IMU generation based on a structured Semantic Motion Program (SMP), which separates activity-defining semantics from label-preserving variation. Given an input video, VSMP-IMU extracts and augments an SMP, uses it to synthesize motion, converts the motion into virtual IMU signals, and grounds the resulting signals to the target wearable domain. We evaluate VSMP-IMU against state-of-the-art synthetic data generation methods on five public IMU-HAR datasets under leave-one-person-out evaluation. VSMP-IMU achieves an average Macro-F1 of 78.33%, improving over real-only training by 9.77% and over the strongest prior synthetic baseline by 4.04%. In low-resource settings with reduced training data-samples, it improves over real-only training by 18.54% and over the strongest prior synthetic baselines by more than 6% on average. Under long-tail evaluation in imbalanced datasets, it improves tail-class Macro-F1 by 19.86% over Real-only training and by 4.76% over SOTA. These results show that structured video-grounded semantics provide a practical foundation for controllable, wearable-relevant synthetic sensor data generation.

cs.CV↗
arXiv2026

Proving a conjecture concerning chromatic number, size and least eigenvalue

Let $G$ be a simple nonempty graph with size $m$, chromatic number $χ$, and least eigenvalue $λ$. We prove that \[ χ(χ-1) \le (m+1-λ^2)+\sqrt{(m+1-λ^2)^2-4(λ^2-1)(λ^2-m)} \] with equality if and only if $G$ is either a complete graph or a complete bipartite graph, with possibly isolated vertices. The inequality was conjectured recently by Tang and Elphick in [Electron. J. Combin. 33 (2026), \#P2.65].

math.CO↗
arXiv2026

The maximum index and spectral radius of unbalanced signed multipartite graphs

Let $Γ=(G,σ)$ be a signed graph, where $G$ is the underlying graph with vertex set $V(G)$ and edge set $E(G)$ such that $σ: E(G)\to \{-1,1\}$ is the sign function. For $U\subset V(G)$, the operation that changes the sign of all edges between $U$ and $V(G)\setminus U$ is called switching. Two signed graphs with the same underlying graph are switching equivalent if one is obtainable from the other one by switching a subset. Two signed graphs are switching isomorphic if one is isomorphic to a switching equivalent signed graph of the other one. A signed cycle is called negative if it contains an odd number of negative edges. A signed graph is balanced if none of its cycles is negative; otherwise it is unbalanced. The adjacency matrix $A(Γ)$ of $Γ$ is obtained from the standard $(0,1)$-adjacency matrix of $G$ by reversing the sign of all $1$s which correspond to negative edges. The index of $Γ$ is the largest eigenvalue of $A(Γ)$ and the spectral radius of $Γ$ is the largest absolute value of the eigenvalue of $A(Γ)$. The least eigenvalue of $Γ$ is the least eigenvalue of $A(Γ)$. We study the extremal problems of the index and the spectral radius among unbalanced signed multipartite graphs. More precisely, we determine the unbalanced signed $t$-partite graphs with fixed $t\ge 2$ and partite sizes (order, respectively) that maximizes the index and the spectral radius respectively, up to switching isomorphism. To determine the unbalanced signed multipartite graphs with fixed partite sizes (order, respectively) with maximum spectral radius, we also determine those with minimum least eigenvalue.

math.CO↗
arXiv2026

Radio Map Updating from Streaming Spectrum Measurements via Memory-Based Online Gaussian Processes

Radio maps, which estimate spatial radio-frequency characteristics from spectrum measurements, are essential for applications such as spectrum management and network planning. With the continuous arrival of spectrum measurements, conventional batch processing methods for radio map reconstruction become computationally prohibitive, as they require reprocessing all accumulated measurements for each radio map update. To address this, we propose a memory-based online sparse variational Gaussian process (M-OSVGP) method that efficiently updates radio maps from streaming spectrum measurements. Our method employs sparse variational inference and updates the posterior online by minimizing a hybrid objective that integrates newly received measurements and a memory subset of previous ones to mitigate catastrophic forgetting. To further improve posterior approximation as measurements accumulate over spatially diverse regions, we extend M-OSVGP with a grid-assisted online inducing point selection (GOIPS) algorithm. GOIPS dynamically adapts the number and locations of inducing points based on measurement density and spatial correlation, providing a more informative inducing set while maintaining computational efficiency. Extensive simulations demonstrate the effectiveness of our proposed methods in reconstruction accuracy, computational efficiency, and uncertainty quantification, compared to existing batch and online baselines across various scenarios.

eess.SP↗