arXiv Science⌕ Search

arXiv subjects

Rui Han

Publications and source records attributed to Rui Han.

At least 19 recordsLinked to original sources
arXiv2026

Primes with Restricted-Digit Differences

Fix a base $b\ge2$ and a digit set $\mathcal{D}\subset\{0,1,\dots,b-1\}$, and let $\mathcal C_k$ be the set of integers in $[0,b^k)$ whose $k$ base-$b$ digits all lie in $\mathcal D$. We study prime pairs and three-term arithmetic progressions in primes whose difference, or common difference, belongs to $\mathcal C_k$. Under a natural digit non-resonance condition, we establish a localized Fourier criterion guaranteeing asymptotic formulae with explicit leading constants for both problems. Using a transfer-operator argument, we verify this criterion in explicit parameter ranges for several natural families of digit sets.

math.NT↗
arXiv2026

FairGlucose: A CGM Fairness Benchmark Reveals Subgroup Disparities Hidden in Population-Level Validation

As CGM-based AI tools approach clinical deployment, whether their accuracy is equitable across patient demographics remains insufficiently tested. To enable this evaluation, we constructed FairGlucose, a 300-patient CGM cohort balanced across 12 demographic strata (age x gender x type 1/type 2 diabetes), with 132,480 forecasting samples and 3,945 unique behavioral events (meals, exercise, medication) logged by 81 patients. Benchmarking 33 models across four families on 2-hour glucose forecasting, we find that population-level external validation can conceal substantial subgroup disparities. Aggregate out-of-distribution metrics appear stable (approximately 1.0), yet subgroup-level ratios range from 0.8 to 1.4, with T1D patients showing 6 mg/dL higher prediction error than T2D (p < 0.001). This disparity persists across all 33 models, suggesting a property of the prediction task rather than any single architecture. Further analysis shows that subgroup performance gaps align with the proportion of clinically hard cases, and that input-length sensitivity varies across demographics, motivating personalized configurations. Frontier LLMs underperform specialized neural models by 1-6 mg/dL; behavioral events contribute negligibly (approximately 0.1 mg/dL) even under oracle event access. These findings establish that population-level validation alone is insufficient for equity assessment of digital health AI, motivating subgroup-disaggregated reporting as a default standard.

cs.CY↗
arXiv2026

Sharp $\ell^p$-Improving Estimates for Fixed-Radius Discrete Spherical Averages

Let $d\geq 4$ and let $R>0$. When $d=4$, assume that $R^2\in\mathbb{N}\setminus 4\mathbb{N}$; when $d\geq 5$, let $R^2\in\mathbb{N}$ be arbitrary. We prove the fixed-radius estimate $$\|A_R f\|_{\ell^{p'}(\mathbb{Z}^d)}\leq C_{d,p,\varepsilon}R^{-d(2/p-1)+\varepsilon}\|f\|_{\ell^p(\mathbb{Z}^d)}$$ for $(d+2)/d\leq p\leq 2$, where $p'$ is the H\"older conjugate exponent of $p$ and $A_R$ is the probability average over the lattice sphere of radius $R$. This extends the fixed-radius estimates of Kesler--Lacey and Hughes to the sharp lower endpoint $p=(d+2)/d$.

math.CA↗
arXiv2026

SynLeaF: A Dual-Stage Multimodal Fusion Framework for Synthetic Lethality Prediction Across Pan- and Single-Cancer Contexts

Accurate prediction of synthetic lethality (SL) is important for guiding the development of cancer drugs and therapies. SL prediction faces significant challenges in the effective fusion of heterogeneous multi-source data. Existing multimodal methods often suffer from "modality laziness" due to disparate convergence speeds, which hinders the exploitation of complementary information. This is also one reason why most existing SL prediction models cannot perform well on both pan-cancer and single-cancer SL pair prediction. In this study, we propose SynLeaF, a dual-stage multimodal fusion framework for SL prediction across pan- and single-cancer contexts. The framework employs a VAE-based cross-encoder with a product of experts mechanism to fuse four omics data types (gene expression, mutation, methylation, and CNV), while simultaneously utilizing a relational graph convolutional network to capture structured gene representations from biomedical knowledge graphs. To mitigate modality laziness, SynLeaF introduces a dual-stage training mechanism employing featurelevel knowledge distillation with adaptive uni-modal teacher and ensemble strategies. In extensive experiments across eight specific cancer types and a pancancer dataset, SynLeaF achieves superior performance in 17 out of 19 scenarios. Ablation studies and gradient analyses further validate the critical contributions of the proposed fusion and distillation mechanisms to model robustness and generalization. To facilitate community use, a web server is available at https://synleaf.bioinformatics-lilab.cn.

q-bio.GN↗
arXiv2026

On the small denominator problem for generalized Minkowski--Funk transforms

Rubin's generalized Minkowski--Funk transforms $M_t^\alpha$ on the sphere $\mathbb{S}^n$ give rise, for irrational radii $t=\cos(\beta\pi)$, to a small denominator problem governed by the asymptotic behavior of their spectral multipliers. We show that for Lebesgue-almost every $\beta$ the corresponding two-sine small divisor inequality has infinitely many solutions, and deduce that $(M_t^\alpha)^{-1}$ is not bounded from $\tilde{H}^{s+\rho+1}(\mathbb{S}^n)$ to $H^s(\mathbb{S}^n)$ in the non-critical case $\rho\neq 0,1$. In the critical cases $\rho\in\{0,1\}$ we prove Rubin's Conjectures 4.4 and 4.7 on the failure of endpoint Sobolev regularity for the inverse transforms.

math.CA↗
arXiv2026

LLM-Guided Quantified SMT Solving over Uninterpreted Functions

Quantified formulas with Uninterpreted Functions (UFs) over non-linear real arithmetic pose fundamental challenges for Satisfiability Modulo Theories (SMT) solving. Traditional quantifier instantiation methods struggle because they lack semantic understanding of UF constraints, forcing them to search through unbounded solution spaces with limited guidance. We present AquaForte, a framework that leverages Large Language Models to provide semantic guidance for UF instantiation by generating instantiated candidates for function definitions that satisfy the constraints, thereby significantly reducing the search space and complexity for solvers. Our approach preprocesses formulas through constraint separation, uses structured prompts to extract mathematical reasoning from LLMs, and integrates the results with traditional SMT algorithms through adaptive instantiation. AquaForte maintains soundness through systematic validation: LLM-guided instantiations yielding SAT solve the original problem, while UNSAT results generate exclusion clauses for iterative refinement. Completeness is preserved by fallback to traditional solvers augmented with learned constraints. Experimental evaluation on SMT-COMP benchmarks demonstrates that AquaForte solves numerous instances where state-of-the-art solvers like Z3 and CVC5 timeout, with particular effectiveness on satisfiable formulas. Our work shows that LLMs can provide valuable mathematical intuition for symbolic reasoning, establishing a new paradigm for SMT constraint solving.

cs.AI↗
arXiv2026

Supersonic jet dynamics from two-cavitation-bubble interactions: acceleration, tip fragmentation and penetration

This study experimentally and numerically investigates the dynamics of a high-speed liquid jet generated from the interaction of two tandem cavitation bubbles, termed bubble 1 and bubble 2, depending on their generation sequence. In our experiments, two near-identical, highly-energized cavitation bubbles were generated using an underwater electric discharge method, and their transient interactions were captured using a high-speed camera. We identify three distinct jet regimes that emerge from the tip of bubble 2: conical, umbrella-shaped, and spraying jets, characterized by variations in the initial bubble-bubble distance and the initiation time difference. Our numerical simulations using both Volume of Fluid and Boundary Integral methods reproduce the experimental observations quite well and explain the mechanism of jet acceleration. We show that the transition between the regimes is governed by the spatiotemporal characteristics of the pressure wave induced by the collapse of bubble 1, which impacts the high-curvature tip of bubble 2. Specifically, a conical jet forms when the pressure wave impacts the bubble tip prior to its contraction, while an umbrella-shaped jet develops when this impact occurs after the contraction. The spraying jets result from the breakup of the bubble tip, exhibiting mist-like and needle-like morphologies with velocities ranging from 10 to over 1200 m/s. Remarkably, we observe that the penetration distance of spraying jets exceeds ten times the maximum bubble radius, making them ideal for long-range, controlled fluid delivery. Finally, phase diagrams for jet velocity and penetration distance in the $\gamma-\theta$ parameter space are established to provide a practical reference for biomedical applications, such as needle-free injection and micro-pumping.

physics.flu-dyn↗
arXiv2025

H\"older continuity of the integrated density of states for quasi-periodic Jacobi block matrices

In this paper, we prove H\"older continuity of the integrated density of states for discrete quasiperiodic Jacobi $d\times d$ block matrices with Diophantine frequencies. The H\"older exponent is shown to be any $\beta$ such that $0<\beta<1/(2\kappa^d)$, where $\kappa^d$ is the acceleration, i.e., the slope of the sum of the top $d$ Lyapunov exponents in the imaginary direction of the phase. This generalizes the H\"older continuity results in the Schr\"odinger operator setting in \cites{GS2,HS1}, and also strengthens them in that setting by covering more Diophantine frequencies. The proof is built on a new scheme for obtaining a local zero count for finite-volume characteristic polynomials from a global one.

math.SP↗
arXiv2025

FullPart: Generating each 3D Part at Full Resolution

Part-based 3D generation holds great potential for various applications. Previous part generators that represent parts using implicit vector-set tokens often suffer from insufficient geometric details. Another line of work adopts an explicit voxel representation but shares a global voxel grid among all parts; this often causes small parts to occupy too few voxels, leading to degraded quality. In this paper, we propose FullPart, a novel framework that combines both implicit and explicit paradigms. It first derives the bounding box layout through an implicit box vector-set diffusion process, a task that implicit diffusion handles effectively since box tokens contain little geometric detail. Then, it generates detailed parts, each within its own fixed full-resolution voxel grid. Instead of sharing a global low-resolution space, each part in our method - even small ones - is generated at full resolution, enabling the synthesis of intricate details. We further introduce a center-point encoding strategy to address the misalignment issue when exchanging information between parts of different actual sizes, thereby maintaining global coherence. Moreover, to tackle the scarcity of reliable part data, we present PartVerse-XL, the largest human-annotated 3D part dataset to date with 40K objects and 320K parts. Extensive experiments demonstrate that FullPart achieves state-of-the-art results in 3D part generation. We will release all code, data, and model to benefit future research in 3D part generation.

cs.CV↗
arXiv2025

Mapping Patient-Perceived Physician Traits from Nationwide Online Reviews with LLMs

Understanding how patients perceive their physicians is essential to improving trust, communication, and satisfaction. Patients increasingly consult large language models (LLMs) to summarize physician reviews and shape provider choices, yet the national landscape of patient-perceived physician traits remains poorly characterized. We present an LLM-based pipeline that extracts ten patient-perceived physician trait scores from review text: five Big-Five-style and five patient-oriented dimensions. From one million U.S. physicians, we analyze 4.1 million reviews of 226,999 physicians. We validate the pipeline through multi-model comparison and human expert benchmarking. LLM and human-rater trait scores from reviews are consistent. Trait scores correlate strongly with review rating scores yet retain substantial independent variance. Two national-scale patterns emerge: male physicians receive higher trait scores across all traits, with the largest gap in clinical competence; specialty differences are driven by encounter context, with surgical specialties leading interpersonal qualities and psychiatry lowest. Cluster analysis identifies four physician archetypes, from "Uniform High" (33.8%, high across traits) to "Uniform Low" (22.6%, low across traits). This map of LLM-derived physician traits exposes how LLMs read the U.S. clinical workforce. Pending clinical validation, it opens future research on fairness, bias, and how LLM-mediated provider search shapes patient choice.

cs.CL↗
arXiv2025

On the Ballistic Transport for limit-periodic Jacobi Matrices

Motivated by Open Problem 17 in Damanik-Fillman's manuscript , we study the decay rate of limit-periodic approximation such that ballistic transport persists in the limit-periodic setting. We show an exponential decay rate, roughly $\|\mathscr{J}-\mathscr{J}_{q_n}\|\sim e^{-\eta q_n}$, is sufficient. This improves on earlier results of Fillman arXiv:1603.01173

math-ph↗
arXiv2025

From Gallery to Wrist: Realistic 3D Bracelet Insertion in Videos

Inserting 3D objects into videos is a longstanding challenge in computer graphics with applications in augmented reality, virtual try-on, and video composition. Achieving both temporal consistency, or realistic lighting remains difficult, particularly in dynamic scenarios with complex object motion, perspective changes, and varying illumination. While 2D diffusion models have shown promise for producing photorealistic edits, they often struggle with maintaining temporal coherence across frames. Conversely, traditional 3D rendering methods excel in spatial and temporal consistency but fall short in achieving photorealistic lighting. In this work, we propose a hybrid object insertion pipeline that combines the strengths of both paradigms. Specifically, we focus on inserting bracelets into dynamic wrist scenes, leveraging the high temporal consistency of 3D Gaussian Splatting (3DGS) for initial rendering and refining the results using a 2D diffusion-based enhancement model to ensure realistic lighting interactions. Our method introduces a shading-driven pipeline that separates intrinsic object properties (albedo, shading, reflectance) and refines both shading and sRGB images for photorealism. To maintain temporal coherence, we optimize the 3DGS model with multi-frame weighted adjustments. This is the first approach to synergize 3D rendering and 2D diffusion for video object insertion, offering a robust solution for realistic and consistent video editing. Project Page: https://cjeen.github.io/BraceletPaper/

cs.CV↗
arXiv2025

Influence of ambient temperature on cavitation bubble dynamics

We investigate the influence of ambient temperature on the dynamics of spark-generated cavitation bubbles over a broad temperature range of 23 to 90$^\circ \text{C}$. Increasing temperature, the attenuation of collapse intensity of a bubble in a free field is quantitatively characterised through the Rayleigh factor, minimum bubble volume, and maximum collapse velocity. In scenarios where the bubble is initiated near a rigid boundary, this temperature-dependent weakening effect manifests further as a reduction in jet velocity and bubble migration. Additionally, our findings demonstrate that when ambient temperature exceeds 70$^\circ \text{C}$, secondary cavitation forms near the bubble surface around the moment of maximum bubble expansion, followed by coalescence-induced surface wrinkles. These perturbations trigger Rayleigh-Taylor instability and enhance bubble fission. We determine the internal gas pressure of the bubble at its maximum expansion via the Rayleigh-Plesset equation with the input of bubble radius from experimental measurements. It reveals that the secondary cavitation is derived from the gas pressure descending below the saturated vapor pressure, which provides nucleation-favorable conditions. This study sheds light on the physics behind erosion mitigation in high-temperature fluids from the perspective of cavitation bubble dynamics.

physics.flu-dyn↗
arXiv2025

Transforming Siliconization into Slippery Liquid-like Coatings

Siliconization is widely used as a coating technique to engineer surface properties, such as in the pharmaceutical and medical device industries to lubricate motion, ensure complete dispensation of product, and to inhibit protein adsorption and biofilm growth. In the hitherto unconnected literature, there has recently been significant progress in understanding the concept of surfaces slippery to liquids. Whereas in the siliconization industry the wettability of surfaces focuses on the hydrophobicity, as measured by contact angle and surface energy, for surfaces slippery to liquids the focus is on the contact angle hysteresis (droplet-on-solid static friction). Moreover, it has been discovered that surfaces with similar static wetting properties can have dramatically different droplet kinetic friction. Here, we report a simple-to-apply coating method to create ultra-low contact angle hysteresis liquid-like coatings for glass (G), polydimethylsiloxane (PDMS), polyurethane (PU), and stainless steel (SS); materials that are used for pharmaceutical/parenteral packaging and medical equipment. Moreover, we demonstrate that the coating's slow sliding dynamics surface properties for water droplets, which indicate high droplet kinetic friction, can be converted into fast sliding dynamics, which indicate low droplet kinetic friction, by a simple molecular capping (methylation) process. Our results provide new insight into key aspects of siliconization coatings in the context of industrial/commercial processes.

cond-mat.soft↗
arXiv2025

Shining Yourself: High-Fidelity Ornaments Virtual Try-on with Diffusion Model

While virtual try-on for clothes and shoes with diffusion models has gained attraction, virtual try-on for ornaments, such as bracelets, rings, earrings, and necklaces, remains largely unexplored. Due to the intricate tiny patterns and repeated geometric sub-structures in most ornaments, it is much more difficult to guarantee identity and appearance consistency under large pose and scale variances between ornaments and models. This paper proposes the task of virtual try-on for ornaments and presents a method to improve the geometric and appearance preservation of ornament virtual try-ons. Specifically, we estimate an accurate wearing mask to improve the alignments between ornaments and models in an iterative scheme alongside the denoising process. To preserve structure details, we further regularize attention layers to map the reference ornament mask to the wearing mask in an implicit way. Experimental results demonstrate that our method successfully wears ornaments from reference images onto target models, handling substantial differences in scale and pose while preserving identity and achieving realistic visual effects.

cs.CV↗
arXiv2024

A Large Sensor Foundation Model Pretrained on Continuous Glucose Monitor Data for Diabetes Management

Continuous glucose monitoring (CGM) combined with AI offers new opportunities for proactive diabetes management through real-time glucose forecasting. However, most existing models are task-specific and lack generalization across patient populations. Inspired by the autoregressive paradigm of large language models, we introduce CGM-LSM, a Transformer decoder-based Large Sensor Model (LSM) pretrained on 1.6 million CGM records from patients with different diabetes types, ages, and genders. We model patients as sequences of glucose time steps to learn latent knowledge embedded in CGM data and apply it to the prediction of glucose readings for a 2-hour horizon. Compared with prior methods, CGM-LSM significantly improves prediction accuracy and robustness: a 48.51% reduction in root mean square error in one-hour horizon forecasting and consistent zero-shot prediction performance across held-out patient groups. We analyze model performance variations across patient subgroups and prediction scenarios and outline key opportunities and challenges for advancing CGM foundation models.

q-bio.QM↗
arXiv2024

Sharp localization on the first supercritical stratum for Liouville frequencies

We establish Anderson localization for Schr\"odinger operators with even analytic potentials on the first supercritical stratum for Liouville frequencies in the sharp regime $\{E: L(\omega,E)>\beta(\omega)>0, \kappa(\omega,E)=1\}$, with $\kappa(\omega,E)$ being Avila's acceleration. This paper builds on the large deviation measure estimate and complexity bound scheme, originally developed for Diophantine frequencies by Bourgain, Goldstein and Schlag \cites{BG,BGS1,BGS2}, and the improved complexity bounds in \cite{HS1}. Additionally, it strengthens the large deviation estimates for weak Liouville frequencies in \cite{HZ}. We also introduce new ideas to handle Liouville frequencies in a sharp way.

math.SP↗