Searcharxiv⌕ Search

arXiv subjects

Ruoyu Zhang

Publications and source records attributed to Ruoyu Zhang.

At least 19 recordsLinked to original sources

Taylor-type joint spectrum and essential spectrum of row-bounded sequences of commuting operators

As the cornerstone of multivariable operator theory, (essential) Taylor's joint spectrum plays crucial roles in many areas. The present paper is devoted to developing the theory of (essential) Taylor-type joint spectrum of row-bounded sequences of commuting operators on Hilbert spaces and to establishing the associated Fredholm index theory. Furthermore, the holomorphic functional calculus for row-bounded sequences is established. At last, we obtain a Gleason-Richter-Sundberg type index theorem in the infinite-variable setting, which connects the Fredholm index, the asymptotic Arveson's curvature invariant and fibre dimensions.

math.FA↗

OptionWorld: A Benchmark for Diagnosing Failures of LLMs as Long-Term Personal Assistants

Long-term assistants must follow unfinished tasks across days as information and circumstances change. Finding information or starting an action, however, does not ensure that the task gets completed. We introduce OptionWorld, a benchmark that traces information acquisition, judgments, actions, and outcomes in simulated daily-life tasks to identify where current LLMs fall short as long-term personal assistants. In runs with archived decision inputs, the key facts remain in the model's last input before the deadline in 35.5% of failed instances. Failure analysis identifies the three most frequent problems: needed information is not obtained or combined, available opportunities to act go unused, and agents impose restrictions that the task does not require. Three follow-up experiments show that supplying missing facts restores task success in some cases; action reminders can restart work while subsequent steps still miss the deadline; and correcting a supplied note that wrongly forbids contact restores permitted inquiry. These findings locate shortcomings in maintaining task state: connecting facts to unfinished work, following through before deadlines, and separating actual restrictions from the agent's assumptions.

cs.CL↗

Target Sensing in Full-Dimensional MIMO-OFDM ISAC Systems Via Coupled Tensor Decomposition

Integrated sensing and communication (ISAC) has been recognized as a key enabler for future wireless communication systems. However, existing ISAC designs based on MIMO-OFDM generally fail to fully exploit the spatial degrees of freedom and the communication data payload, resulting in restricted target sensing performance. To cope with this issue, in this paper we propose a novel target sensing method for full-dimensional (FD) MIMO-OFDM ISAC systems based on coupled tensor decomposition. We first characterize the system model of FD MIMO-OFDM ISAC, where the base station employs a large number of antennas in two dimensions and facilitates both sensing and communication via the data payload of OFDM signals. Then, we formulate the problem of estimating target parameters as a coupled canonical polyadic decomposition (CPD) problem, which jointly leverages the echo signals of communication data payload over multiple subcarriers in the frequency domain. The theoretical analysis indicates that the formulated coupled CPD problem possesses a more relaxed uniqueness condition compared with the ordinary CPD problem, thereby enabling more stable target sensing performance through the pure communication data payload in FD MIMO-OFDM ISAC. In addition, we develop a coupled CPD-based target sensing algorithm, where the target parameters, including azimuth and elevation angles, ranges, and velocities, are extracted from the decomposed factor matrices. Numerical results show that the proposed target sensing method achieves a higher success rate and more accurate parameter estimation than existing tensor decomposition methods.

eess.SP↗

Self-Calibration DOA Estimation for Moving Dilated Arrays with Gain and Phase Errors

Moving dilated arrays (MDAs) can increase the uniform degrees of freedom (uDOFs) while alleviating mutual coupling, but their performance is susceptible to unknown gain and phase errors (GPEs). To deal with this problem, we investigate self-calibration direction-of-arrival (DOA) estimation for MDAs with unknown GPEs. First, multi-position observations are phase aligned to construct an equivalent virtual array with an enlarged aperture. Next, the motion-induced relationships among the GPEs are exploited to establish explicit calibration constraints. By leveraging the orthogonality between the steering vectors and the noise subspace, the joint estimation of the DOAs and GPEs is formulated as a constrained optimization problem. To solve this problem, a two-stage alternating optimization (AO) algorithm is developed. In the first stage, the GPEs are estimated in closed form with the DOAs fixed. In the second stage, the estimated GPEs are used to calibrate the covariance matrix, after which the DOAs are refined using the multiple signal classification (MUSIC) algorithm. To obtain reliable initial estimates, a rotational invariance-like (RIL) initialization method is further developed by exploiting two translated virtual subarrays with identical GPEs. Furthermore, the Cramer-Rao bound (CRB) is derived to characterize the theoretical performance limit of the considered system. Simulation results demonstrate that the proposed method converges reliably and achieves accurate DOA estimation under different array apertures, numbers of snapshots, GPE levels, and numbers of sources.

eess.SP↗

Movable Antenna-Enabled Multi-Target Sensing: Sidelobe Suppression via Position Optimization

Movable antenna (MA) has emerged as a promising technology to unlock spatial degrees of freedom for wireless sensing systems. However, optimizing MA positions for multi-target sensing remains challenging due to the complicated coupling between the array geometry and unknown target directions, as well as severe sidelobe interference. In this paper, we propose an MA-enabled multi-target wireless sensing scheme to achieve both high-precision and robust target parameter estimation. To characterize the sensing performance while maintaining tractability, we introduce two complementary metrics, namely a lower bound (LB) of the Cramér-Rao bound (CRB) and the steering vector correlation (SVC). Specifically, by investigating the partial order relationship of the Fisher information matrix, we derive a closed-form LB of the multi-target CRB, which decouples the unknown target directions. Meanwhile, the SVC is employed to characterize the spatial correlation and sidelobe-induced interference among sensing signals over different directions. Based on these two metrics, we formulate an MA position optimization problem that minimizes the SVC while constraining the LB below a predefined threshold. To render the resulting non-convex problem tractable, we exploit the spatial symmetry of the continuous SVC function and discretize the sidelobe region, thereby transforming the spatial minimax objective into a finite set of constraints. Meanwhile, the LB constraint is equivalently reformulated as a spatial variance constraint on the MA positions. Building on these transformations, we develop a successive convex approximation (SCA) algorithm within an alternating optimization (AO) framework to iteratively optimize the horizontal and vertical MA coordinates.

eess.SP↗

Tensor-Based Dynamic Channel Estimation for mmWave Movable Antenna MIMO Systems

This paper investigates the dynamic channel estimation algorithm in mmWave movable antenna (MA) multiple-input multiple-output (MIMO) systems. To achieve highly accurate channel estimation, we propose a tensor decomposition-based channel estimation algorithm. First, by leveraging the path response model and utilizing the intrinsic sparsity of mmWave channels, the channel corresponding to MA pairs at the base station and mobile station is transformed into a superposition of channels from sparse paths. Next, the received signal is constructed as a fourth-order tensor to fully capture the high-dimensional structural information of the MA MIMO channel. Then, two tensor decomposition schemes are adopted to extract the factor matrices, and our analysis reveals that the uniqueness of the decomposition can be guaranteed in our model. Subsequently, the propagation loss, frequency offset, angle of arrival/departure, and time delay are obtained based on these factor matrices and the channel matrix can be rebuilt. Additionally, Cramér-Rao bound (CRB) is also derived as a performance evaluation standard, proving that the proposed algorithm achieves a higher estimation accuracy and nearly approaches this minimum bound. Moreover, normalized mean square error (NMSE) is selected as the evaluation metrics for estimation accuracy. Finally, simulation results reveal a notable reduction in the estimation error of the proposed algorithm when compared to the baseline algorithms, confirming its estimation advantage.

eess.SP↗

DeepSeek Elastic Compute (DSec): A Sandbox Infrastructure for Effective Agentic Training at Scale

Large-scale agentic training and evaluation with large language models (LLMs) rely on isolated, stateful execution environments in which models inspect repositories, invoke tools, execute commands, and interact with task-specific services. These workloads create sandboxes in large bursts, span heterogeneous functionality and isolation requirements, retain state across long interactions, and draw from large image corpora with limited reuse. Supporting them therefore requires an elastic execution platform rather than a single sandbox runtime. This report presents DeepSeek Elastic Compute (DSec), a production sandbox platform that exposes FnCall, container, microVM, and full-VM sandbox backends through a unified SDK. DSec coordinates placement and lifecycle management across the cluster, composes environments from independently versioned layers, combines memory sharing, reclamation, and CPU scheduling for high-density execution, and loads image data on demand from Fire-Flyer File System (3FS), a cluster-wide distributed filesystem. DSec is co-designed with the reinforcement learning (RL) framework, decouples stateful rollout execution from preemptible GPU training, coordinates sandbox lifecycle with training to preserve rollout state while reclaiming idle resources, and mitigates agent misbehavior such as reward hacking. A single production-scale unit of DSec spans around 160 nodes, serving about 3 million sandboxes per day; in production, it supports over 380,000 concurrent sandboxes and sustains over 5,000 sandbox creations per second. Our evaluation and deployment experience show that these mechanisms reduce environment setup and image-distribution overhead, improve memory efficiency, and preserve latency-sensitive performance under high-density overcommit.

cs.DC↗

Channel Estimation for Movable Antenna Systems: Challenges, Solutions, and Opportunities

Movable antenna (MA) has emerged as a promising technology for future wireless networks by exploiting channel variation over local antenna movement regions. However, accurate and efficient channel acquisition in MA systems remains challenging due to the trade-off between estimation accuracy and computational complexity. In this article, the MA channel model and the associated estimation framework are first reviewed, where channel information over the movement region is reconstructed from finite measurements by exploiting shared path parameters. The structured dependence of MA observations across space, time, and frequency naturally motivates the adoption of tensor-based modeling for channel estimation. Subsequently, we discuss the tensor-based signal model and corresponding parameter estimation methods from multidimensional observations. These methods are further compared with conventional channel estimation methods in terms of estimation accuracy, computational complexity, and general applicability. Furthermore, a representative case study is provided to illustrate the performance and characteristics of different algorithms under MA channel estimation settings. Finally, some future research directions for tensor decomposition-based channel estimation in MA systems are outlined.

eess.SP↗

Self-Calibration DOA Estimation for Movable Antenna Systems with Antenna Position Errors

In this letter, we investigate the direction-of-arrival (DOA) estimation problem for wireless sensing with movable antenna (MA) systems in the presence of unknown antenna position errors (APE). To achieve robust wireless sensing, we transform the DOA estimation problem with APE into an optimization problem via the orthogonality between the steering vector and the noise subspace. Then we propose an alternating optimization (AO)-based self-calibration estimation, which consists of two stages and iteratively estimates the APE and DOA. Specifically, in the first stage, by fixing the APE, the problem reduces to the classical DOA estimation problem, which is solved using the multiple signal classification (MUSIC) algorithm. In the second stage, we fix the DOA to estimate the APE. By applying the Lagrange multiplier technique to the subproblem, we obtain a closed-form expression for the APE estimation. Simulation results demonstrate the superior DOA estimation performance of the proposed self-calibration algorithm for MA systems compared to the existing approaches.

eess.SP↗

Tensor Decomposition-Based Wireless Sensing for MIMO-OFDM ISAC via Flexible Spatial-Temporal-Spectral Optimization

Integrated sensing and communication (ISAC) is regarded as a key enabling technique in future 6th-generation (6G) mobile communication systems. However, existing multi-input multi-output (MIMO) orthogonal frequency division multiplexing (OFDM) ISAC designs generally rely on the fixed-position antennas and fixed allocation of time-frequency resources, thereby limiting the degrees of freedom of wireless sensing along the spatial-temporal-spectral dimensions. In this paper, we propose a novel wireless sensing framework for MIMO-OFDM ISAC systems with flexible spatial-temporal-spectral optimization and propose a tensor decomposition-based approach to estimate target parameters, including azimuth/elevation angles, ranges, and velocities. Specifically, we first establish a monostatic wireless sensing model for MIMO-OFDM ISAC systems, where the positions of antenna elements, the allocation of OFDM symbols and subcarriers can be flexibly configured. Then, we formulate the problem of estimating target parameters as a tensor decomposition problem admitting to the canonical polyadic format, which enables the parallel target parameters estimation process from corresponding factor matrices along the spatial, temporal, and spectral dimensions, respectively. Based on the decomposed factor matrices, we derive the Cramer-Rao Bound (CRB) for the unknown target parameters and reveal that the estimation accuracy of azimuth/elevation angles, velocities and ranges is fundamentally determined by the array geometry, the distribution of OFDM symbols and subcarriers. Building on this insight, we obtain an optimized solution for the positions of antenna elements, and optimal solutions for the subcarrier allocation and OFDM symbol allocation to minimize the CRB, as well as the mean square error of target parameters estimation.

eess.SP↗

Movable Antenna Enhanced Wireless Sensing via Steering Vector Correlation and CRB Optimization

In this paper, we investigate the angle-of-arrival (AoA) estimation problem for wireless sensing systems equipped with movable antennas (MA). To achieve high estimation performance and accuracy, we formulate a joint optimization problem integrating the sidelobes of steering vector correlation (SVC) and the Cramér-Rao bound (CRB). We first mathematically transform the SVC and the CRB into tractable objective functions. Specifically, we introduce a proxy variable and apply a discrete grid search strategy to overcome the intractability of optimizing the SVC with unknown target angles. Concurrently, we derive a generalized lower bound for the CRB, which yields a scalar function of the MA positions. Guided by the transformed objective, we propose a successive convex approximation-based position optimization algorithm. The proposed algorithm handles the non-convex terms by employing first order Taylor expansions within a defined trust region, which allows the MA positions to be updated incrementally in each iteration. Simulation results demonstrate that the proposed algorithm achieves superior AoA estimation performance.

eess.SP↗

Rotatable Antenna-Enhanced Wireless Sensing with Uniform Sparse Array via Tensor Decomposition

In this letter, we propose a new wireless sensing system equipped with a rotatable antenna (RA) array to enhance the sensing performance of a uniform sparse array (USA). To tackle the severe spatial undersampling issues, we propose a novel tensor decomposition-based direction-of-arrival (DOA) estimation algorithm. Specifically, we introduce a synchronous multiple rotation pattern for active target probing such that the received signals across multiple rotations to capture the diverse spatial degree of freedoms. Subsequently, we mathematically formulate the received signals across successive rotations as a third-order tensor, and leverage the canonical polyadic decomposition to obtain the factor matrices incorporating the DOA of targets. By analyzing the extrema distribution laws of array steering vector correlation (SVC) and gain SVC of RAs, we propose to combine the array and gain factor matrices via the Kronecker product, which theoretically guarantees the unambiguous DOA estimation. Simulation results demonstrate that the proposed RA-enhanced tensor decomposition-based algorithm achieves high-precision and unambiguous sensing performance compared to conventional uniform dense arrays and omnidirectional antenna systems.

eess.SP↗

Arveson's version of the Gauss-Bonnet-Chern formula for Hilbert modules over the polynomial rings

In this paper, we refine the framework of Arveson's version of the Gauss-Bonnet-Chern formula by proving that a submodule in the Drury-Arveson module being locally algebraic is equivalent to Arveson's version of the Gauss-Bonnet-Chern formula holding true for the associated quotient module. Moreover, we establish the asymptotic Arveson's curvature invariant and the asymptotic Euler characteristic for contractive Hilbert modules over polynomial rings in infinitely many variables, and obtain the infinitely-many-variables analogue of Arveson's version of Gauss-Bonnet-Chern formula. Finally, we solve the finite defect problem for submodules of the Drury-Arveson module $H^2$ in infinitely many variables by proving that $H^2$ has no nontrivial submodules of finite rank.

math.FA↗

Arveson's Gauss-Bonnet-Chern Formula for Hilbert Modules in the Multiplier-Algebra Framework

The present paper continues Arveson's program on curvature, Euler characteristic, and Gauss-Bonnet-Chern type formulae for Hilbert modules. For regular unitarily invariant complete Nevanlinna--Pick spaces on the unit ball in \(\mathbb{C}^d\), we prove that Arveson's Gauss-Bonnet-Chern formula holds unconditionally over the full multiplier algebra. Together with the polynomial-ring case, this shows that the validity of the formula depends essentially on the coefficient algebra. We then solve Arveson's finite defect problem in the same framework by giving a sharp classification of finite defect submodules. This problem is natural in curvature theory, since both curvature and Euler characteristic are governed by the defect structure. Finally, using commutative-algebra methods, we apply this classification to unitary-equivalence rigidity for finite-codimensional submodules of vector-valued reproducing kernel Hilbert modules.

math.FA↗

Joint Shape-Position Optimization Enhanced 2D DOA Estimation in Movable Antenna Systems

Movable Antenna (MA) technology is emerging as a promising advancement with the potential to significantly enhance the performance of future wireless communication and sensing systems. In this paper, we address two-dimensional (2D) direction of arrival (DOA) estimation via joint shape-position optimization. Specifically, we formulate an optimization problem aimed at minimizing the Cramér-Rao Bound (CRB) based on a 2D DOA estimation model for MA systems. To tackle the highly non-convex nature of this CRB minimization, we investigate the spatial utilization of the movable region (MR) under minimum antenna spacing constraints. By demonstrating that an equilateral triangle yields the minimum overlap area, we strategically design an equilateral triangular MR. This specific geometric configuration enables the exploitation of structural symmetry to simplify the geometric constraints, which effectively reduces the complexity of solving the optimization problem. Subsequently, we derive the optimal MA positions by selecting the candidate locations farthest from the centroid of MR. The results demonstrate that the proposed joint shape-position optimization substantially enhances 2D DOA estimation performance.

eess.SP↗

Search for Charmonium(-like) states decaying into the $Ω^-\barΩ^+$ final states

Recently, the BESIII experiment performed a measurement of the energy-dependent Born cross section and the effective form factor for the $e^+e^-\toΩ^-\barΩ^+$ reaction at center-of-mass energies ranging from 3.4 to 4.7 GeV. A fit to the energy dependence of the dressed cross section is performed. With the assumption of a charmonium (like) resonance [i.e., $ψ(3770)$, $ψ(4040)$, $ψ(4160)$, $Y(4230)$, $Y(4360)$, $ψ(4415)$, or $Y(4660)$] plus a power-law function, the fit is applied to the data from the recent BESIII measurement, which was additionally combined with previous CLEO-c measurement data. No significance is found. The products of the branching fraction and the two electronic partial widths for the assumed charmonium(-like) states decaying into the $Ω^-\barΩ^+$ final states are also provided. In addition, by taking the world average values of the electronic branching fraction, the branching fractions for $ψ(3770)$, $ψ(4040)$, $ψ(4160)$, $ψ(4415)$ decaying into $Ω^-\barΩ^+$ final states at the 90\% confidence level are determined for the first time. These are found to be at least an order of magnitude larger than expected from predictions using a scaling based on the observed electronic widths.

hep-ex↗

A Review of Hyperon Physics at BESIII Experiment

The BESIII Collaboration has collected large data samples from $e^+e^-$ collisions at center-of-mass energies ranging from 1.84 to 4.95 GeV, which include the world's largest charmonium sample, consisting of 10 billion $J/ψ$ and 3 billion $ψ(3686)$ events. These high-statistics datasets enable BESIII to carry out a wide range of studies in hyperon physics. In this article, we review the major achievements of the BESIII Collaboration in this field, which can be broadly categorized into four areas: hyperon polarization and $CP$ violation, rare hyperon decays, hyperon pair production, and hyperon-nucleon interactions.

hep-ex↗

DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning

General reasoning represents a long-standing and formidable challenge in artificial intelligence. Recent breakthroughs, exemplified by large language models (LLMs) and chain-of-thought prompting, have achieved considerable success on foundational reasoning tasks. However, this success is heavily contingent upon extensive human-annotated demonstrations, and models' capabilities are still insufficient for more complex problems. Here we show that the reasoning abilities of LLMs can be incentivized through pure reinforcement learning (RL), obviating the need for human-labeled reasoning trajectories. The proposed RL framework facilitates the emergent development of advanced reasoning patterns, such as self-reflection, verification, and dynamic strategy adaptation. Consequently, the trained model achieves superior performance on verifiable tasks such as mathematics, coding competitions, and STEM fields, surpassing its counterparts trained via conventional supervised learning on human demonstrations. Moreover, the emergent reasoning patterns exhibited by these large-scale models can be systematically harnessed to guide and enhance the reasoning capabilities of smaller models.

cs.CL↗