arXiv Science⌕ Search

arXiv subjects

Hui Zhang

Publications and source records attributed to Hui Zhang.

At least 19 recordsLinked to original sources
arXiv2026

Weighting Scheme and Construction in IPCW Survival Estimation

Inverse probability of censoring weighting (IPCW) is widely used to address dependent censoring in survival analysis. Beyond estimation of the censoring distribution, its implementation requires specifying how inverse probability weights are incorporated into survival estimators. IPCW does not uniquely determine this construction, and different choices can produce different finite-sample behavior even under the same censoring model. In this work, we examine a class of IPCW estimators for the survival function, distinguishing hazard-based from margin-based formulations and time-varying from fixed weighting schemes. We show how these choices affect structural validity, stability, and finite-sample performance. In particular, the weight-changing hazard (WCH) estimator applies time-varying censoring weights within a product-limit construction with risk-set normalization, ensuring monotonicity and boundedness when the weighted risk-set denominators are positive. Through simulation studies under varying levels of covariate-dependent and administrative censoring, we demonstrate that WCH achieves favorable bias--variance tradeoffs and improved finite-sample stability relative to the alternative IPCW constructions examined, particularly in settings with few observed events or heavy censoring. We further illustrate these differences using data from the Women's Interagency HIV Study (WIHS), in which alternative IPCW constructions produced meaningfully different survival curves. Overall, our findings emphasize that the effectiveness of IPCW depends on both the weighting scheme and the estimator formulation. Careful consideration of these choices is therefore important for reliable survival estimation under dependent censoring.

stat.ME↗
arXiv2026

Floor It, Then Fill It: Simulating Creator Ecosystems for Fair Video-Content Recommendation Systems at Billion User Scale

Engagement-optimized content recommendation systems exhibit a well-documented rich-get-richer dynamic that structurally disadvantages emerging creators on large-scale platforms. Evaluating debiasing interventions at scale demands faithful simulation of creator-viewer ecosystems, yet the fidelity, diversity, and validity of such simulators remain underexplored. We present a grounded user-simulation framework that models a heterogeneous population of ${\sim}42$K creators and their coupled viewer interactions over 12~weeks, and use it to evaluate equitable view-allocation policies formulated as a budgeted multi-armed bandit (MAB). The simulator captures three behavioral dimensions: (i)~\textbf{creator diversity}, modeled via a clustering approach grounded in real platform creator-level distributions; (ii)~\textbf{behavioral fidelity}, captured through coupled creator-content state machines that represent growth trajectories, engagement accumulation, and graduation dynamics; and (iii)~\textbf{population-level validity}, measured by calibration against observed platform metrics. We evaluate simulative-configurations that vary content-viewership target definitions, reward functions, and a small-creator reserve lever to maximize creator-content recommendation equity. A floor-protected per content-view-target with a view-parity-gap reward guarantees 90\% of view targets being met by creators every week, grows small-creator organic reach ${\sim}{+}33\%$ per week, and achieves high distribution stability (set of creators with funded-views Jaccard $= 0.819$). We analyze the Sim2Real gap and propose validation protocols, contributing evidence for when simulation-derived fairness conclusions can be trusted.

cs.LG↗
arXiv2026

FTP-1: A Generalist Foundation Tactile Policy Across Tactile Sensors for Contact-Rich Manipulation

Despite the success of vision-based generalist robotic policies, existing tactile-based policies remain tied to fixed embodiments and sensor setups. This is because tactile signals are highly heterogeneous across hardware, making cross-sensor generalization difficult. We present FTP-1,the first generalist foundation tactile policy pretrained to acquire transferable tactile manipulation abilities across diverse sensors and embodiments. FTP-1 supports varied tactile inputs, including image-, array-, and state-based signals, by using heterogeneous encoders to project them into unified morphology-aware latent tokens that are jointly modeled by a shared tactile Transformer expert. Pretrained on around 3,000 hours of tactile manipulation data aggregated from 26 data sources, spanning human and robot demonstrations across 21 sensors, FTP-1 learns tactile skills that transfer beyond the sensors seen during pretraining. Across downstream finetuning experiments spanning 5 hardware configurations, FTP-1 improves contact-rich manipulation on seen sensor setups by +17.2% and, surprisingly, transfers to two previously unseen tactile-sensor setups, achieving a +31% gain in success rate. FTP-1 establishes the first unified foundation baseline for tactile manipulation, providing future tactile policies with a shared model-level starting point. Pretrained models, datasets, training code and more visualization at https://ftp1-policy.github.io.

cs.RO↗
arXiv2026

Normative Deviation Modeling for EEG-based Depression Detection

Web-enabled digital health services are expanding access to physiological monitoring and mental health screening. However, electroencephalography (EEG)-based major depressive disorder (MDD) detection remains challenging across heterogeneous data sources, where individual variability and acquisition differences may affect disease-related representations. In this work, we investigate the use of healthy normative references for EEG-based MDD detection. Specifically, structural and distributional reference models are independently trained using healthy control (HC) recordings to characterize departures from healthy EEG patterns. We develop two diagnostic approaches that incorporate normative deviations at different representation levels. Scalar-level Normative Deviation-guided Diagnosis (S-NDD) summarizes structural and distributional deviations into scalar scores and integrates them with deep EEG representations. Feature-level Normative Deviation-guided Diagnosis (F-NDD) retains dimension-wise residuals and combines them with deep EEG representations through attention-based aggregation and auxiliary supervision. We also employ target HC-assisted score calibration for cross-source evaluation without updating the trained models. Experiments on two public EEG datasets examine both approaches under subject-independent within-source and bidirectional cross-source settings. The results demonstrate the effectiveness of normative deviation-guided diagnosis across different evaluation settings.

cs.LG↗
arXiv2026

SemaPLC: A Project-Grounded, Verification-Gated Agent Harness for PLC Code Generation

In industrial practice, AI-generated programmable logic controller (PLC) code must integrate with existing projects and implement the required behavior across scan cycles. Compilation alone does not establish runtime behavior, and subsequent edits can invalidate earlier verification results. We present SemaPLC, a project-grounded, verification-gated agent harness for PLC code generation. The harness combines project context and reusable PLC skills with specification review, compilation, and live-runtime validation. Its completion gate requires recorded checks to meet acceptance criteria for the current implementation. Edits invalidate previous verdicts, and failed checks guide bounded repair. We evaluate SemaPLC on 117 independent-POU tasks and 65 project-context tasks across seven language-model backbones. SemaPLC outperforms the evaluated baselines on both metrics for every backbone. Its mean verified-pass rate and dynamic score reach 72.6% and 52.2, exceeding the strongest baseline means by 8.7% points and 20.8 points, respectively. Verification-layer and failure analyses reveal how build recovery and output observability affect end-to-end results and identify behavioral errors that remain after compilation. We apply the harness in KUKA's iiQworks product environment for PLC development and discuss engineering lessons for its industrial integration and deployment. The industrial use indicates the agent assistance substantially improves PLC development efficiency by 45%.

cs.SE↗
arXiv2026

Positive sectional curvature on a family of exotic fifteen-sphere

We construct metrics of strictly positive sectional curvature on at least 508 pairwise nondiffeomorphic exotic fifteen-spheres, without prescribing orientations. The construction begins with quaternionic line bundles over $\mathbb{H}P^2\times S^4$. Surgery along a Hopf fiber gives homotopy spheres with specified equivariant two-disk presentations. A calculation on the surgery filling distinguishes 1015 nonstandard oriented smooth types. We construct positively curved quotient metrics on both disks, match their boundary data under the prescribed attaching map, and smooth the seam by averaging the inverse tangential metrics. The connection estimates and the smoothing argument are proved directly for every two-plane. Thus the curvature conclusion does not require a compatible-disk theorem from the eleven-dimensional construction or an external curvature-gluing theorem. We give quantitative parameter bounds and specify the auxiliary choices for the first nontrivial member after fixing its smooth gauge family.

math.DG↗
arXiv2026

On flat metric nilpotent Lie algebras

We study flat left-invariant pseudo-Riemannian metrics on nilpotent Lie groups. Associated with a flat metric Lie algebra $(\mathfrak{g},\langle\cdot,\cdot\rangle)$ there is a canonical affine action of the corresponding group on the vector space $\mathfrak{g}$, whose linear part is the Levi-Civita representation $L$. Combining this action with Scheuneman's theorem on pure translations in nilpotent affine groups, we prove that a flat metric nonabelian nilpotent Lie algebra has a nontrivial kernel of $L$, that is, $\ker L\neq 0$. As a consequence, every $n$-dimensional flat metric nonabelian nilpotent Lie algebra is a double extension of an $(n-2)$-dimensional flat metric nilpotent Lie algebra.

math.DG↗
arXiv2026

Brauer--Manin obstruction for Weil restrictions

For a quasi-projective variety $X$ defined over a number field $k$, let $X'$ be its Weil restriction with respect to a finite field extension $k/k'$. We prove that the Brauer--Manin set of $X$ agrees with the Brauer--Manin set of $X'$. We also prove the agreement for Brauer--Manin set of them given by $\mathrm{Br}_1$.

math.AG↗
arXiv2026

Eddeep: a deep-learning framework for fast eddy-current distortion correction in diffusion MRI

Diffusion MRI (dMRI) relies on diffusion-weighted echo-planar imaging, which is highly susceptible to eddy-current-induced geometric distortions. These distortions vary across diffusion volumes according to gradient strength and direction, causing between-volume misalignment that can bias downstream microstructural analyses. Current state-of-the-art correction methods, such as FSL Eddy, achieve high-quality correction through iterative prediction-correction schemes but are computationally expensive. We propose Eddeep, a deep-learning framework for fast eddy-current distortion correction in dMRI. Eddeep decomposes the problem into two stages. First, a supervised image translation network standardises the appearance of diffusion-weighted and b=0 images, removing contrast differences that hinder reliable registration. Second, an unsupervised registration network estimates both eddy-current distortion and between-volume head motion parameters under a physics-constrained quadratic distortion model, enabling correction in a single forward pass. The method was trained on UK Biobank data and evaluated on both in-domain (UK Biobank) and out-of-domain (Memodyn) datasets. Across a range of complementary metrics, including between-volume jitter, diffusion kurtosis imaging residuals, signal irregularity, and mutual information, Eddeep achieved correction quality comparable to that of FSL Eddy while substantially reducing inference time. These results demonstrate that deep learning can provide accurate and efficient eddy-current distortion correction without relying on iterative optimisation, supporting the development of faster diffusion MRI processing pipelines for large-scale studies and clinical deployment. The code is available at: https://github.com/CIG-UCL/eddeep.

cs.CV↗
arXiv2026

Fixed geodesics of involutions on $3$-spheres

Let an isometric involution act on a smooth Riemannian $3$-sphere with sectional curvature at least one. We prove that every one-dimensional connected component of its fixed-point set has length at most $2π$, and that the bound is sharp. The proof realizes the fixed circle as the link of a complete totally geodesic surface in a positively curved expanding Ricci soliton and applies Bishop--Gromov comparison to its area growth. The analytic input is an equivariant version of Deruelle's smoothing of positively curved cones. We use Gianniotis--Schulze's equivariant local deformation and explain a marked compactness argument for arbitrary finite isotropy. In particular, the end chart retains the specified group action, rather than only an unspecified conjugate.

math.DG↗
arXiv2026

PAKE: Learning Whole-Body Loco-Manipulation with Partial Kinematic Embeddings

Loco-manipulation has recently shown promising capabilities; however, achieving high-precision control, managing the high-dimensional action space induced by many degrees of freedom (DoFs), and fully exploiting the inherent redundancy of whole-body systems remain challenging. In this paper, we propose a novel whole-body control framework that effectively addresses these challenges by decomposing the complex loco-manipulation problem into partial reference motion generation and low-level imitation control. We introduce a new Kinematic Normalizing Flow (KNF) model, trained on a large-scale kinematic dataset, that generates diverse partial kinematic references. A high-level controller is then trained to navigate the KNF's latent space to exploit redundant solutions, while a low-level controller learns dynamically consistent motion execution. We validate our approach on the quadrupedal robot equipped with a six-DoF robotic arm. In simulation, PAKE outperforms the evaluated baselines in tracking accuracy and feasible workspace coverage on the 4,000-target benchmark. For hardware deployment, we evaluate the system over 24 episodes across 8 different mobile loco-manipulation tasks. The system achieves end-effector pose-tracking errors of 4.5 cm and 0.14 rad, while maintaining accurate locomotion tracking with linear and angular velocity errors of 0.1 m/s and 0.01 rad/s, respectively. Our method represents a practical and powerful solution for accurate and generalized whole-body loco-manipulation in high-DoF robotic systems, with promising potential for diverse downstream robotic tasks.

cs.RO↗
arXiv2026

ACE-Trader: Adversarial Co-Evolution for Generator-Critic Trading Systems

Generator--critic trading systems pair an LLM-based trader that makes trading decisions with a red team agent that evaluates these decisions and provides feedback for revision. However, improving individual trading decisions does not ensure that both agents learn from experience and improve together over time. This raises an important question: how can the trader and red-Team select useful experience and learn from each other's evolving behavior? On one hand, experience that benefits decisions under one market condition may become ineffective or harmful under another. On the other hand, trading outcomes reflect both agents' actions, making it difficult to derive appropriate experience for each role. In this work, we propose ACE-Trader, an adversarial co-evolution trading framework. Specifically, we first develop separate context-dependent memory selectors that learn to identify useful experience for the current trading decision. Both selectors receive shared feedback from net-return differences between complete memory-assisted and memory-free trading pipelines, with online updates emphasizing recent outcomes. We further design a co-evolution mechanism that links role-specific memories through shared trading records. We use these records to evaluate the Red-Team's risk assessments and the effects of the Trader's revisions against realized market outcomes, then derive experience for their respective memories. By linking this experience to the corresponding records, we enable the Trader to improve its proposals based on prior critiques and the Red-Team to adjust its review focus as the Trader's behavior changes. Experiments on U.S. stock trading show that ACE-Trader outperforms all 22 active baselines in cumulative return and achieves the highest Sharpe ratio and lowest maximum drawdown across both active methods and passive benchmarks.

cs.LG↗
arXiv2026

MedEvoEval: Evaluating Continual Evolution of Doctor Agents through Simulated Clinical Episodes

Doctor agents are moving beyond single-turn answer generation toward evolving clinical decision systems that acquire evidence within episodes and reuse experience across episodes. Fixed-input medical QA and many interactive benchmarks provide limited support for evaluating how episode-level decisions interact with cross-episode experience. We introduce MedEvoEval, an executable longitudinal evaluation framework based on action-gated simulated outpatient episodes. Each case is converted into role-specific patient, examination, and manager views; evidence is revealed through valid actions, and structured traces link observations, actions, final outputs, scores, and optional experience write-back. Experiments show that these traces expose process costs hidden by final-answer scoring, characterize how MDT-style consultation reallocates resources, and support analyses of memory maturation, held-out transfer, update-stage response, and backward retention. On 200 held-out cases, the mature-memory condition with sequential write-back reduces interaction turns by 0.915 and improves composite utility by 0.0483 after Holm correction. MedEvoEval provides a concrete basis for evaluating experience-driven improvement, transfer, and retention. The accompanying artifact provides 700 processed episode records with provenance, role-specific schemas, and execution, scoring, and analysis code.

cs.AI↗
arXiv2026

Linear Structure, Convergence and Resurgence of Hydrodynamic Transseries

We construct an exact formulation for the solution of Bjorken expanding relativistic viscous hydrodynamics with a constant relaxation time and derive its late time transseries structure. The two fundamental modes of the linear auxiliary equation separate the hydrodynamic contribution from the exponentially suppressed transient mode. We show that this single transient mode generates the entire hierarchy of nonperturbative sectors through nonlinear mode mixing, while its decay explains the loss of initial condition dependence and the emergence of late time hydrodynamic attractor behavior. The hydrodynamic gradient expansion is factorially divergent for generic values of the transport parameter but converges at the discrete values $a=N^2$, where the auxiliary asymptotic expansions terminate. We further determine the exact Stokes constant of the auxiliary linear equation and establish its relation to the logarithmic Borel singularity coefficient. The vanishing of the Stokes constant at these exceptional values establishes a direct connection between auxiliary series termination, hydrodynamic convergence, and Stokes decoupling between the hydrodynamic and the nonhydrodynamic transient sector.

nucl-th↗
arXiv2026

Detecting Heel Strike and toe off Events Using Kinematic Methods and LSTM Models

Accurate gait event detection is crucial for gait analysis, rehabilitation, and assistive technology, particularly in exoskeleton control, where precise identification of stance and swing phases is essential. This study evaluated the performance of seven kinematics-based methods and a Long Short-Term Memory (LSTM) model for detecting heel strike and toe-off events across 4363 gait cycles from 588 able-bodied subjects. The results indicated that while the Zeni et al. method achieved the highest accuracy among kinematics-based approaches, other methods exhibited systematic biases or required dataset-specific tuning. The LSTM model performed comparably to Zeni et al., providing a data-driven alternative without systematic bias. These findings highlight the potential of deep learning-based approaches for gait event detection while emphasizing the need for further validation in clinical populations and across diverse gait conditions. Future research will explore the generalizability of these methods in pathological populations, such as individuals with post-stroke conditions and knee osteoarthritis, as well as their robustness across varied gait conditions and data collection settings to enhance their applicability in rehabilitation and exoskeleton control.

cs.RO↗
arXiv2026

Positive sectional curvature and non-isometric circle actions on a family of eleven-spheres

We study the construction of positively curved Riemannian metrics by non-isometric circle actions. For a family of homotopy eleven-spheres whose Eells--Kuiper invariants form the even subgroup of $\mathbb{Z}/992$, we construct, on each member, a smooth background metric $q$ and three effective circle actions with generators $W_1,W_2,W_3$ such that the metric determined by $g^{-1}=q^{-1}+\sum_{a=1}^3W_a\otimes W_a$ has positive sectional curvature. Each action is non-isometric for every partial metric, including its incoming metric and the final metric. We first describe the sphere by gauge transformations of the quaternionic Hopf bundle. We then construct compatible metrics on two disks and smooth their inverse metrics while preserving the action formula. A local conjugation makes the circle actions non-isometric. For each fixed member, we obtain an explicit positive lower bound $2^{-54}(1+M_{0,k}+M_{1,k})^{-28}$, where $M_{0,k}$ and $M_{1,k}$ are norms of the curvature and its first covariant derivative for its fixed connection. The bound may depend on the member of the family.

math.DG↗
arXiv2026

LoongSage: A Production-Grade, High-Efficiency Agentic RL Framework for Frontier LLMs with Validated Recipes

Reinforcement learning (RL) has emerged as a critical phase in the post-training pipeline of large language models (LLMs). As the frontier of LLM capabilities shifts from static reasoning to agentic tasks--characterized by external tool invocation, multi-turn interactions, and long-horizon decision-making--existing mainstream RL frameworks have grown increasingly unwieldy, raising the overhead of adoption, usage, and debugging. To address these challenges, we present LoongSage, an agent-native, fully asynchronous RL framework with a lightweight core of roughly 14K lines of code. Built upon Megatron for distributed training and SGLang for high-throughput inference, LoongSage centralizes orchestration within a single controller process and encapsulates all GPU-resident components as Ray actors. It introduces AgentFlow, a unified execution paradigm that orchestrates both white-box and black-box agents. For asynchronous execution, it integrates sliding-window strategies that bound trajectory staleness, and employs TransferMesh, a topology-aware synchronization mechanism that routes weights after each step over the fastest transport available to each receiver. Beyond agentic RL, LoongSage incorporates a memory-efficient Teacher Manager that decouples the scaling of teacher models from GPU memory constraints, natively supporting Multi-Teacher On-Policy Distillation. Extensive evaluations across four complete training runs, spanning complex reinforcement learning and multi-teacher distillation, demonstrate that task rewards improve steadily while the train-inference gap is kept under continuous control, and the fully asynchronous pipeline removes synchronous idle bubbles, sustaining hardware utilization.

cs.LG↗
arXiv2026

Infinitely many closed geodesic images on simply connected compact rank-one symmetric spaces

We prove that every smooth Riemannian metric on the underlying smooth manifold of a simply connected compact rank-one symmetric space, namely $S^n$ $(n\ge2)$, $\CP^m$ $(m\ge1)$, $\HP^m$ $(m\ge1)$, or $\OP^2$ admits infinitely many geometrically distinct prime closed geodesics. Here a prime closed geodesic is a nonconstant closed geodesic which is not an iterate of a shorter one, and geometric distinctness means that the images in the manifold are pairwise different. Thus iterating a geodesic, changing its starting point, or reversing its orientation does not count as a new geodesic. No nondegeneracy assumption on the metric is imposed. These manifolds have bounded loop-space Betti numbers, so the usual homological growth criterion does not yield this conclusion. We use the length filtration together with rotation and reversal of loops. A controlled cut construction gives a uniform filling estimate in the based loop space, with a fixed increase in length independent of degree, which we transfer to free loops. We then calculate global equivariant classes associated with odd and even iterates. Assuming finitely many prime geodesic images forces incompatible requirements at a class's first critical level. The proof treats spheres and projective spaces within a common framework and does not assume a sphere infinitude theorem.

math.DG↗