arXiv subjects

Rui Zhou

Publications and source records attributed to Rui Zhou.

At least 73 records · Page 4Linked to original sources

arXiv2025

Gate-Based and Annealing-Based Quantum Algorithms for the Maximum K-Plex Problem

The $ k $-plex model, which allows each vertex to miss connections with up to $ k $ neighbors, serves as a relaxation of the clique. Its adaptability makes it more suitable for analyzing real-world graphs where noise and imperfect data are common and the ideal clique model is often impractical. The problem of identifying the maximum $ k $-plex (MKP, which is NP-hard) is gaining attention in fields such as social network analysis, community detection, terrorist network identification, and graph clustering. Recent works have focused on optimizing the time complexity of MKP algorithms. The state-of-the-art has reduced the complexity from a trivial $ O^*(2^n) $ to $ O^*(c_k^n) $, with $ c_k > 1.94 $ for $ k \geq 3 $, where $ n $ denotes the vertex number. This paper investigates the MKP using two quantum models: gate-based model and annealing-based model. Two gate-based algorithms, qTKP and qMKP, are proposed to achieve $ O^*(1.42^n) $ time complexity. qTKP integrates quantum search with graph encoding, degree counting, degree comparison, and size determination to find a $ k $-plex of a given size; qMKP uses binary search to progressively identify the maximum solution. Furthermore, by reformulating MKP as a quadratic unconstrained binary optimization problem, we propose qaMKP, the first annealing-based approximation algorithm, which utilizes qubit resources more efficiently than gate-based algorithms. To validate the practical performance, proof-of-principle experiments were conducted using the latest IBM gate-based quantum simulator and D-Wave adiabatic quantum computer. This work holds potential to be applied to a wide range of clique relaxations, e.g., $ n $-clan and $ n $-club.

cs.DB↗

arXiv2025

MotionTrans: Human VR Data Enable Motion-Level Learning for Robotic Manipulation Policies

Scaling real robot data is a key bottleneck in imitation learning, leading to the use of auxiliary data for policy training. While other aspects of robotic manipulation such as image or language understanding may be learned from internet-based datasets, acquiring motion knowledge remains challenging. Human data, with its rich diversity of manipulation behaviors, offers a valuable resource for this purpose. While previous works show that using human data can bring benefits, such as improving robustness and training efficiency, it remains unclear whether it can realize its greatest advantage: enabling robot policies to directly learn new motions for task completion. In this paper, we systematically explore this potential through multi-task human-robot cotraining. We introduce MotionTrans, a framework that includes a data collection system, a human data transformation pipeline, and a weighted cotraining strategy. By cotraining 30 human-robot tasks simultaneously, we direcly transfer motions of 13 tasks from human data to deployable end-to-end robot policies. Notably, 9 tasks achieve non-trivial success rates in zero-shot manner. MotionTrans also significantly enhances pretraining-finetuning performance (+40% success rate). Through ablation study, we also identify key factors for successful motion learning: cotraining with robot data and broad task-related motion coverage. These findings unlock the potential of motion-level learning from human data, offering insights into its effective use for training robotic manipulation policies. All data, code, and model weights are open-sourced https://motiontrans.github.io/.

cs.RO↗

arXiv2025

Safety-Critical Human-Machine Shared Driving for Vehicle Collision Avoidance based on Hamilton-Jacobi reachability

Road safety continues to be a pressing global issue, with vehicle collisions imposing significant human, societal, and economic burdens. Human-machine shared collision avoidance in critical collision scenarios aims to aid drivers' accident avoidance through intervening only when necessary. Existing methods count on replanning collision-free trajectories and imposing human-machine tracking, which usually interrupts the driver's intent and increases the risk of conflict. This paper introduces a Reachability-Aware Reinforcement Learning (RL) framework for shared control, guided by Hamilton-Jacobi (HJ) reachability analysis. Machine intervention is activated only when the vehicle approaches the Collision Avoidance Reachable Set (CARS), which represents states where collision is unavoidable. First, we precompute the reachability distributions and the CARS by solving the Bellman equation using offline data. To reduce human-machine conflicts, we develop a driver model for sudden obstacles and propose an authority allocation strategy considering key collision avoidance features. Finally, we train a RL agent to reduce human-machine conflicts while enforcing the hard constraint of avoiding entry into the CARS. The proposed method was tested on a real vehicle platform. Results show that the controller intervenes effectively near CARS to prevent collisions while maintaining improved original driving task performance. Robustness analysis further supports its flexibility across different driver attributes.

cs.RO↗

arXiv2025

Efficient Size Constraint Community Search over Heterogeneous Information Networks

The goal of community search in heterogeneous information networks (HINs) is to identify a set of closely related target nodes that includes a query target node. In practice, a size constraint is often imposed due to limited resources, which has been overlooked by most existing HIN community search works. In this paper, we introduce the size-bounded community search problem to HIN data. Specifically, we propose a refined (k, P)-truss model to measure community cohesiveness, aiming to identify the most cohesive community of size s that contains the query node. We prove that this problem is NP-hard. To solve this problem, we develop a novel B\&B framework that efficiently generates target node sets of size s. We then tailor novel bounding, branching, total ordering, and candidate reduction optimisations, which enable the framework to efficiently lead to an optimum result. We also design a heuristic algorithm leveraging structural properties of HINs to efficiently obtain a high-quality initial solution, which serves as a global lower bound to further enhance the above optimisations. Building upon these, we propose two exact algorithms that enumerate combinations of edges and nodes, respectively. Extensive experiments on real-world datasets demonstrate the effectiveness and efficiency of the proposed methods.

cs.DB↗

arXiv2025

Large Model Empowered Embodied AI: A Survey on Decision-Making and Embodied Learning

Embodied AI aims to develop intelligent systems with physical forms capable of perceiving, decision-making, acting, and learning in real-world environments, providing a promising way to Artificial General Intelligence (AGI). Despite decades of explorations, it remains challenging for embodied agents to achieve human-level intelligence for general-purpose tasks in open dynamic environments. Recent breakthroughs in large models have revolutionized embodied AI by enhancing perception, interaction, planning and learning. In this article, we provide a comprehensive survey on large model empowered embodied AI, focusing on autonomous decision-making and embodied learning. We investigate both hierarchical and end-to-end decision-making paradigms, detailing how large models enhance high-level planning, low-level execution, and feedback for hierarchical decision-making, and how large models enhance Vision-Language-Action (VLA) models for end-to-end decision making. For embodied learning, we introduce mainstream learning methodologies, elaborating on how large models enhance imitation learning and reinforcement learning in-depth. For the first time, we integrate world models into the survey of embodied AI, presenting their design methods and critical roles in enhancing decision-making and learning. Though solid advances have been achieved, challenges still exist, which are discussed at the end of this survey, potentially as the further research directions.

cs.RO↗

arXiv2025

Universal Magnetocaloric Effect near Quantum Critical Point of Magnon Bose-Einstein Condensation

Bose-Einstein condensation (BEC), a macroscopic quantum phenomenon arising from phase coherence and bosonic statistics, has been realized in quantum magnets. Here, we report the observation of a universal magnetocaloric effect (MCE) near a BEC quantum critical point (QCP) in copper sulfate crystal ($CuSO_4 \cdot 5H_2O$). By conducting magnetocaloric and nuclear magnetic resonance measurements, we uncover a field-driven BEC QCP, evidenced by the universal scaling law $T_c \propto (B_c - B)^{2/3}$ and the perfect data collapse of the magnetic Grüneisen ratio. Thermal excitation triggers a dimensional crossover to a 1D quantum-critical regime, where the MCE scaling strictly matches the universality class of 1D Fermi gases. Notably, the quantum-critical MCE enables cooling down to 12.8 mK without helium-3, with very fast thermal relaxation rate that is critical for high cooling power. This work demonstrates the universal MCE in magnon BEC systems, using a common copper sulfate compound as a paradigmatic example, and paves the way for next-generation sub-Kelvin cooling.

cond-mat.str-el↗

arXiv2025

Efficient Safety Testing of Autonomous Vehicles via Adaptive Search over Crash-Derived Scenarios

Ensuring the safety of autonomous vehicles (AVs) is paramount in their development and deployment. Safety-critical scenarios pose more severe challenges, necessitating efficient testing methods to validate AVs safety. This study focuses on designing an accelerated testing algorithm for AVs in safety-critical scenarios, enabling swift recognition of their driving capabilities. First, typical logical scenarios were extracted from real-world crashes in the China In-depth Mobility Safety Study-Traffic Accident (CIMSS-TA) database, obtaining pre-crash features through reconstruction. Second, Baidu Apollo, an advanced black-box automated driving system (ADS) is integrated to control the behavior of the ego vehicle. Third, we proposed an adaptive large-variable neighborhood-simulated annealing algorithm (ALVNS-SA) to expedite the testing process. Experimental results demonstrate a significant enhancement in testing efficiency when utilizing ALVNS-SA. It achieves an 84.00% coverage of safety-critical scenarios, with crash scenario coverage of 96.83% and near-crash scenario coverage of 92.07%. Compared to genetic algorithm (GA), adaptive large neighborhood-simulated annealing algorithm (ALNS-SA), and random testing, ALVNS-SA exhibits substantially higher coverage in safety-critical scenarios.

cs.RO↗

arXiv2025

Sliding two-dimensional superconductivity and charge-density-wave state in a bulk crystal

Superconductivity in the two-dimensional (2D) limit is a fertile ground for exotic quantum phenomena-many of which remain elusive in their 3D counterparts. While studies of 2D superconductivity have predominantly focused on mono- or few-layer systems, we demonstrate an alternative route-interlayer sliding in bulk crystals. Through a precisely controlled growth strategy, we engineer interlayer sliding in bulk 3R-NbSe2, deliberately disrupting [001] mirror symmetry and drastically suppressing interlayer coupling. Remarkably, this structural manipulation stabilizes Ising-type superconductivity coexisting with an unconventional charge-density-wave (CDW) state akin to that of monolayer 2H-NbSe2. The sliding phase exhibits a pronounced suppression of the upper critical field at low temperatures, revealing a delicate competition between Ising and Rashba spin-orbit coupling (SOC) in the globally noncentrosymmetric lattice. Intriguingly, the superconducting state displays two-fold symmetry, a signature that may arise from asymmetric SOC or a multi-component pairing order parameter. Our work establishes interlayer sliding as a symmetry-breaking tool to promote 2D superconductivity in bulk materials-without resorting to extrinsic intercalation or doping. More broadly, this approach sets a paradigm for unlocking hidden quantum states in layered materials, offering a new dimension in design of quantum matter.

cond-mat.supr-con↗

arXiv2025

CleanMel: Mel-Spectrogram Enhancement for Improving Both Speech Quality and ASR

In this work, we propose CleanMel, a single-channel Mel-spectrogram denoising and dereverberation network for improving both speech quality and automatic speech recognition (ASR) performance. The proposed network takes as input the noisy and reverberant microphone recording and predicts the corresponding clean Mel-spectrogram. The enhanced Mel-spectrogram can be either transformed to the speech waveform with a neural vocoder or directly used for ASR. The proposed network is composed of interleaved cross-band and narrow-band processing in the Mel-frequency domain, for learning the full-band spectral pattern and the narrow-band properties of signals, respectively. Compared to linear-frequency domain or time-domain speech enhancement, the key advantage of Mel-spectrogram enhancement is that Mel-frequency presents speech in a more compact way and thus is easier to learn, which will benefit both speech quality and ASR. Experimental results on five English and one Chinese datasets demonstrate a significant improvement in both speech quality and ASR performance achieved by the proposed model.Code and audio examples of our model are available online.

eess.AS↗

arXiv2025

zERExtractor:An Automated Platform for Enzyme-Catalyzed Reaction Data Extraction from Scientific Literature

The rapid expansion of enzyme kinetics literature has outpaced the curation capabilities of major biochemical databases, creating a substantial barrier to AI-driven modeling and knowledge discovery. We present zERExtractor, an automated and extensible platform for comprehensive extraction of enzyme-catalyzed reaction and activity data from scientific literature. zERExtractor features a unified, modular architecture that supports plug-and-play integration of state-of-the-art models, including large language models (LLMs), as interchangeable components, enabling continuous system evolution alongside advances in AI. Our pipeline combines domain-adapted deep learning, advanced OCR, semantic entity recognition, and prompt-driven LLM modules, together with human expert corrections, to extract kinetic parameters (e.g., kcat, Km), enzyme sequences, substrate SMILES, experimental conditions, and molecular diagrams from heterogeneous document formats. Through active learning strategies integrating AI-assisted annotation, expert validation, and iterative refinement, the system adapts rapidly to new data sources. We also release a large benchmark dataset comprising over 1,000 annotated tables and 5,000 biological fields from 270 P450-related enzymology publications. Benchmarking demonstrates that zERExtractor consistently outperforms existing baselines in table recognition (Acc 89.9%), molecular image interpretation (up to 99.1%), and relation extraction (accuracy 94.2%). zERExtractor bridges the longstanding data gap in enzyme kinetics with a flexible, plugin-ready framework and high-fidelity extraction, laying the groundwork for future AI-powered enzyme modeling and biochemical knowledge discovery.

q-bio.BM↗

arXiv2025

Multi-Task Multi-Agent Reinforcement Learning via Skill Graphs

Multi-task multi-agent reinforcement learning (MT-MARL) has recently gained attention for its potential to enhance MARL's adaptability across multiple tasks. However, it is challenging for existing multi-task learning methods to handle complex problems, as they are unable to handle unrelated tasks and possess limited knowledge transfer capabilities. In this paper, we propose a hierarchical approach that efficiently addresses these challenges. The high-level module utilizes a skill graph, while the low-level module employs a standard MARL algorithm. Our approach offers two contributions. First, we consider the MT-MARL problem in the context of unrelated tasks, expanding the scope of MTRL. Second, the skill graph is used as the upper layer of the standard hierarchical approach, with training independent of the lower layer, effectively handling unrelated tasks and enhancing knowledge transfer capabilities. Extensive experiments are conducted to validate these advantages and demonstrate that the proposed method outperforms the latest hierarchical MAPPO algorithms. Videos and code are available at https://github.com/WindyLab/MT-MARL-SG

cs.RO↗

arXiv2025

An Efficient and Globally Optimal Algorithm for Nonconvex QCQP with One Equality Constraint

In this paper, we concentrate on a particular category of quadratically constrained quadratic programming (QCQP): nonconvex QCQP with one equality constraint. This type of QCQP problem optimizes a quadratic objective under a fixed second-order cost and has various engineering applications. It often serves as a subproblem in an iterative algorithm framework. However, the development of a high-quality and efficient solution remains an open problem in the existing literature. Traditionally, the Semidefinite Relaxation (SDR) technique is applied for an optimal solution with a prohibitively high order of time complexity. To improve computational efficiency, we propose a fast and non-iterative algorithm to reach a globally optimal solution. This algorithm consists of two consecutive stages: Simultaneous Diagonalization (SD) and Bisection Search (BS). The SD stage decouples the original problem through an affine mapping and the BS stage finds the optimal Lagrange multiplier by solving an equation induced from first- and second-order Karush-Kuhn-Tucker (KKT) conditions. In addition, we enrich the proposed algorithm with further extensions on the problem structure, namely, rank-deficient parameter, indefiniteness, constraint augmentation, and matrix-format variable. Numerical simulations show that the proposed algorithm achieves good numerical performance in terms of constraint satisfaction, optimality gap, and computational time, and scales to problem sizes at least ten times those supported by the traditional benchmarks.

math.OC↗

arXiv2025

LAMARL: LLM-Aided Multi-Agent Reinforcement Learning for Cooperative Policy Generation

Although Multi-Agent Reinforcement Learning (MARL) is effective for complex multi-robot tasks, it suffers from low sample efficiency and requires iterative manual reward tuning. Large Language Models (LLMs) have shown promise in single-robot settings, but their application in multi-robot systems remains largely unexplored. This paper introduces a novel LLM-Aided MARL (LAMARL) approach, which integrates MARL with LLMs, significantly enhancing sample efficiency without requiring manual design. LAMARL consists of two modules: the first module leverages LLMs to fully automate the generation of prior policy and reward functions. The second module is MARL, which uses the generated functions to guide robot policy training effectively. On a shape assembly benchmark, both simulation and real-world experiments demonstrate the unique advantages of LAMARL. Ablation studies show that the prior policy improves sample efficiency by an average of 185.9% and enhances task completion, while structured prompts based on Chain-of-Thought (CoT) and basic APIs improve LLM output success rates by 28.5%-67.5%. Videos and code are available at https://windylab.github.io/LAMARL/

cs.RO↗

arXiv2025

Robust Charge-Density Wave Correlations in Optimally-Doped YBa2Cu3Oy

Charge-density wave (CDW) order is a key property of high-Tc cuprates, but its boundaries in the phase diagram and potential connections to other phases remain controversial. We report nuclear magnetic resonance (NMR) measurements in the prototypical cuprate YBa2Cu3Oy demonstrating that short-range static CDW order remains robust at optimal doping (p=0.165), exhibiting a strength and temperature dependence in the normal state similar to those observed at p=0.11 in the underdoped regime. For an overdoped sample with p=0.184, we detect no static CDW down to T=Tc, though weak CDW order plausibly emerges below Tc. More broadly, we argue that both quenched disorder and competition with superconductivity influence the apparent boundary of the CDW phase, likely causing an underestimation of its intrinsic extent in doping. These findings challenge the view that the CDW phase boundary lies below p*=0.19, widely regarded as the critical doping where the pseudogap phase ends in YBa2Cu3Oy.

cond-mat.supr-con↗

arXiv2025

OoDIS: Anomaly Instance Segmentation and Detection Benchmark

Safe navigation of self-driving cars and robots requires a precise understanding of their environment. Training data for perception systems cannot cover the wide variety of objects that may appear during deployment. Thus, reliable identification of unknown objects, such as wild animals and untypical obstacles, is critical due to their potential to cause serious accidents. Significant progress in semantic segmentation of anomalies has been facilitated by the availability of out-of-distribution (OOD) benchmarks. However, a comprehensive understanding of scene dynamics requires the segmentation of individual objects, and thus the segmentation of instances is essential. Development in this area has been lagging, largely due to the lack of dedicated benchmarks. The situation is similar in object detection. While there is interest in detecting and potentially tracking every anomalous object, the availability of dedicated benchmarks is clearly limited. To address this gap, this work extends some commonly used anomaly segmentation benchmarks to include the instance segmentation and object detection tasks. Our evaluation of anomaly instance segmentation and object detection methods shows that both of these challenges remain unsolved problems. We provide a competition and benchmark website under https://vision.rwth-aachen.de/oodis

cs.CV↗

arXiv2025

The Fermi surface of RuO2 measured by quantum oscillations

The metallic oxide RuO$_2$ has emerged as a promising altermagnet candidate, owing to reports of this material hosting antiferromagnetic ordering accompanied by a spin-split electronic band structure characteristic of time-reversal symmetry-breaking. However, recent studies have robustly questioned this scenario. Here we map the Fermi surface of pristine single-crystalline RuO$_2$. By measuring magnetic quantum oscillations of a bulk thermodynamic property, our study resolves the electronic structure present in the bulk of RuO$_2$. Several Fermi sheets are discerned, with a range of effective quasiparticle masses up to five times that of the bare electron mass. We compare our measurements with the predictions for altermagnetic and nonmagnetic Fermi surfaces deduced from density functional theory calculations. The quantum oscillatory frequency spectra correspond very poorly to the profile expected for the case of altermagnetism; by contrast, they correspond well to the nonmagnetic scenario. Our findings place significant constraints on the bulk magnetic properties of RuO$_2$, and strongly suggest that this material is a paramagnet.

cond-mat.mtrl-sci↗

arXiv2025

Supernova Siblings and Spectroscopic Host-Galaxy Properties

Over the past century, supernova (SN) searches have detected multiple supernovae (SNe) in hundreds of individual galaxies. So-called SN siblings discovered in the same galaxy present an opportunity to constrain the dependence of the properties of SNe on those of their host galaxies. To investigate whether there is a connection between sibling SNe in galaxies that have hosted multiple SNe and the properties of galaxies, we have acquired integrated optical spectroscopy of 59 galaxies with multiple core-collapse SNe. Perhaps surprisingly, a strong majority of host-galaxy spectra fall within the composite region of the Baldwin-Phillips-Terlevich (BPT) diagram. We find a statistically significant difference (KS test p-value = 0.044) between the distributions of the [NII] $λ$6583/H$α$ of galaxies that have hosted a majority SN Ibc and those that have hosted a majority SN II, where the majority SN Ibc galaxies have, on average, higher ratios. The difference between the distributions of [NII] $λ$6583/H$α$ may arise from either increased contribution from AGN or LINERs in SN Ibc host galaxies, greater metallicity for SN Ibc host galaxies, or both. When comparing the inferred oxygen abundance and the ionization parameter for the galaxies in the Star-Forming region on the BPT diagram, we find statistically significant differences between the distributions for SN Ibc hosts and SN II hosts (p=0.008 and p=0.001, respectively), as well as SN Ib hosts and SN II hosts (p=0.030 and p=0.006, respectively). We also compare the H$α$ equivalent width distributions, also integrated across the galaxies, and find no significant difference.

astro-ph.GA↗

arXiv2025

LiteChain: A Lightweight Blockchain for Verifiable and Scalable Federated Learning in Massive Edge Networks

Leveraging blockchain in Federated Learning (FL) emerges as a new paradigm for secure collaborative learning on Massive Edge Networks (MENs). As the scale of MENs increases, it becomes more difficult to implement and manage a blockchain among edge devices due to complex communication topologies, heterogeneous computation capabilities, and limited storage capacities. Moreover, the lack of a standard metric for blockchain security becomes a significant issue. To address these challenges, we propose a lightweight blockchain for verifiable and scalable FL, namely LiteChain, to provide efficient and secure services in MENs. Specifically, we develop a distributed clustering algorithm to reorganize MENs into a two-level structure to improve communication and computing efficiency under security requirements. Moreover, we introduce a Comprehensive Byzantine Fault Tolerance (CBFT) consensus mechanism and a secure update mechanism to ensure the security of model transactions through LiteChain. Our experiments based on Hyperledger Fabric demonstrate that LiteChain presents the lowest end-to-end latency and on-chain storage overheads across various network scales, outperforming the other two benchmarks. In addition, LiteChain exhibits a high level of robustness against replay and data poisoning attacks.

cs.CR↗