BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Rui Han

Rui Han contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math-phmath.MPmath.SPquant-phmath.CAMachine Learningmath.DSphysics.flu-dynArtificial Intelligencecond-mat.stat-mecheess.SPmath.APmath.NTmath.PRnucl-exnucl-thphysics.plasm-ph

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
21works
0followers
17topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

21 published item(s)

preprint2026arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2026arXiv

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

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

0 citations0 reviewsNo code linkedOpen access
preprint2025arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2024arXiv

Cavitation bubble dynamics inside a droplet suspended in a different host fluid

In this paper, we present a theoretical, experimental, and numerical study of the dynamics of cavitation bubbles inside a droplet suspended in another host fluid. On the theoretical side, we provided a modified Rayleigh collapse time and natural frequency for spherical bubbles in our particular context, characterized by the density ratio between the two liquids and the bubble-to-droplet size ratio. Regarding the experimental aspect, experiments were carried out for laser-induced cavitation bubbles inside oil-in-water (O/W) or water-in-oil (W/O) droplets. Two distinct fluid-mixing mechanisms were unveiled in the two systems, respectively. In the case of O/W droplets, a liquid jet emerges around the end of the bubble collapse phase, effectively penetrating the droplet interface. We offer a detailed analysis of the criteria governing jet penetration, involving the standoff parameter and impact velocity of the bubble jet on the droplet surface. Conversely, in the scenario involving W/O droplets, the bubble traverses the droplet interior, inducing global motion and eventually leading to droplet pinch-off when the local Weber number exceeds a critical value. This phenomenon is elucidated through the equilibrium between interfacial and kinetic energies. Lastly, our boundary integral model faithfully reproduces the essential physics of nonspherical bubble dynamics observed in the experiments. We conduct a parametric study spanning a wide parameter space to investigate bubble-droplet interactions. The insights from this study could serve as a valuable reference for practical applications in the field of ultrasonic emulsification, pharmacy, etc.

0 citations0 reviewsNo code linkedOpen access
preprint2023arXiv

Avila's acceleration via zeros of determinants, and applications to Schrödinger cocycles

In this paper we give a characterization of Avila&#39;s quantized acceleration of the Lyapunov exponent via the number of zeros of the Dirichlet determinants in finite volume. As applications, we prove $β$-Hölder continuity of the integrated density of states for supercritical quasi-periodic Schrödinger operators restricted to the $\ell$-th stratum, for any $β<(2(\ell-1))^{-1}$ and $\ell\ge2$. We establish Anderson localization for all Diophantine frequencies for the operator with even analytic potential function on the first supercritical stratum, which has positive measure if it is nonempty.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Atrial Fibrillation Detection Using Weight-Pruned, Log-Quantised Convolutional Neural Networks

Deep neural networks (DNN) are a promising tool in medical applications. However, the implementation of complex DNNs on battery-powered devices is challenging due to high energy costs for communication. In this work, a convolutional neural network model is developed for detecting atrial fibrillation from electrocardiogram (ECG) signals. The model demonstrates high performance despite being trained on limited, variable-length input data. Weight pruning and logarithmic quantisation are combined to introduce sparsity and reduce model size, which can be exploited for reduced data movement and lower computational complexity. The final model achieved a 91.1% model compression ratio while maintaining high model accuracy of 91.7% and less than 1% loss.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Decay of multi-point correlation functions in $\mathbb{Z}^d$

We prove multi-point correlation bounds in $\mathbb{Z}^d$ for arbitrary $d\geq 1$ with symmetrized distances, answering open questions proposed by Sims-Warzel \cite{SW} and Aza-Bru-Siqueira Pedra \cite{ABP}. As applications, we prove multi-point correlation bounds for the Ising model on $\mathbb{Z}^d$, and multi-point dynamical localization in expectation for uniformly localized disordered systems, which provides the first examples of this conjectured phenomenon by Bravyi-König \cite{BK}.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Density of states and Delocalization for discrete magnetic random Schrödinger operators

We study discrete magnetic random Schrödinger operators on the square and honeycomb lattice. For the non-random magnetic operator on the hexagonal lattice with any rational magnetic flux, we show that the middle two dispersion surfaces exhibit Dirac cones. We then derive an asymptotic expansion for the density of states on the honeycomb lattice for oscillations of arbitrary rational magnetic flux. This allows us, as a corollary, to rigorously study the quantum Hall effect and conclude dynamical delocalization close to the conical point under disorder. We obtain similar results for the discrete random Schrödinger operator on the $\mathbb Z^2$-lattice with weak magnetic fields, close to the bottom and top of its spectrum.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Universally Optimal Verification of Entangled States with Nondemolition Measurements

The efficient and reliable characterization of quantum states plays a vital role in most, if not all, quantum information processing tasks. In this work, we present a universally optimal protocol for verifying entangled states by employing the so-called quantum nondemolition measurements, such that the verification efficiency is equivalent to that of the optimal global strategy. Instead of being probabilistic as the standard verification strategies, our protocol is constructed sequentially, which is thus more favorable for experimental realizations. In addition, the target states are preserved in the protocol after each measurement, so can be reused in any subsequent tasks. We demonstrate the power of our protocol for the optimal verification of Bell states, arbitrary two-qubit pure states, and stabilizer states. We also prove that our protocol is able to perform tasks including fidelity estimation and state preparation.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Averages Along the Primes: Improving and Sparse Bounds

Consider averages along the prime integers $ \mathbb P $ given by \begin{equation*} \mathcal{A}_N f (x) = N ^{-1} \sum_{ p \in \mathbb P \;:\; p\leq N} (\log p) f (x-p). \end{equation*} These averages satisfy a uniform scale-free $ \ell ^{p}$-improving estimate. For all $ 1< p < 2$, there is a constant $ C_p$ so that for all integer $ N$ and functions $ f$ supported on $ [0,N]$, there holds \begin{equation*} N ^{-1/p&#39; }\lVert \mathcal{A}_N f\rVert_{\ell^{p&#39;}} \leq C_p N ^{- 1/p} \lVert f\rVert_{\ell^p}. \end{equation*} The maximal function $ \mathcal{A}^{\ast} f =\sup_{N} \lvert \mathcal{A}_N f \rvert$ satisfies $ (p,p)$ sparse bounds for all $ 1< p < 2$. The latter are the natural variants of the scale-free bounds. As a corollary, $ \mathcal{A}^{\ast} $ is bounded on $ \ell ^{p} (w)$, for all weights $ w$ in the Muckenhoupt $A_p$ class. No prior weighted inequalities for $ \mathcal{A}^{\ast} $ were known.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

ExpertNet: Adversarial Learning and Recovery Against Noisy Labels

Today&#39;s available datasets in the wild, e.g., from social media and open platforms, present tremendous opportunities and challenges for deep learning, as there is a significant portion of tagged images, but often with noisy, i.e. erroneous, labels. Recent studies improve the robustness of deep models against noisy labels without the knowledge of true labels. In this paper, we advocate to derive a stronger classifier which proactively makes use of the noisy labels in addition to the original images - turning noisy labels into learning features. To such an end, we propose a novel framework, ExpertNet, composed of Amateur and Expert, which iteratively learn from each other. Amateur is a regular image classifier trained by the feedback of Expert, which imitates how human experts would correct the predicted labels from Amateur using the noise pattern learnt from the knowledge of both the noisy and ground truth labels. The trained Amateur and Expert proactively leverage the images and their noisy labels to infer image classes. Our empirical evaluations on noisy versions of CIFAR-10, CIFAR-100 and real-world data of Clothing1M show that the proposed model can achieve robust classification against a wide range of noise ratios and with as little as 20-50% training data, compared to state-of-the-art deep models that solely focus on distilling the impact of noisy labels.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Honeycomb structures in magnetic fields

We consider reduced-dimensionality models of honeycomb lattices in magnetic fields and report results about the spectrum, the density of states, self-similarity, and metal/insulator transitions under disorder. We perform a spectral analysis by which we discover a fractal Cantor spectrum for irrational magnetic flux through a honeycomb, prove the existence of zero energy Dirac cones for each rational flux, obtain an explicit expansion of the density of states near the conical points, and show the existence of mobility edges under Anderson-type disorder. Our results give a precise description of de Haas-van Alphen and Quantum Hall effects, and provide quantitative estimates on transport properties. In particular, our findings explain experimentally observed asymmetry phenomena by going beyond the perfect cone approximation.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Improving estimates for discrete polynomial averages

For a polynomial $P$ mapping the integers into the integers, define an averaging operator $A_{N} f(x):=\frac{1}{N}\sum_{k=1}^N f(x+P(k))$ acting on functions on the integers. We prove sufficient conditions for the $\ell^{p}$-improving inequality \begin{equation*} \|A_N f\|_{\ell^q(\mathbb{Z})} \lesssim_{P,p,q} N^{-d(\frac{1}{p}-\frac{1}{q})} \|f\|_{\ell^p(\mathbb{Z})}, \qquad N \in\mathbb{N}, \end{equation*} where $1\leq p \leq q \leq \infty$. For a range of quadratic polynomials, the inequalities established are sharp, up to the boundary of the allowed pairs of $(p,q)$. For degree three and higher, the inequalities are close to being sharp. In the quadratic case, we appeal to discrete fractional integrals as studied by Stein and Wainger. In the higher degree case, we appeal to the Vinogradov Mean Value Theorem, recently established by Bourgain, Demeter, and Guth.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Large deviation estimates and Hölder regularity of the Lyapunov exponents for quasi-periodic Schrödinger cocycles

We consider one-dimensional quasi-periodic Schrödinger operators with analytic potentials. In the positive Lyapunov exponent regime, we prove large deviation estimates which lead to optimal Hölder continuity of the Lyapunov exponents and the integrated density of states, in both small Lyapunov exponent and large coupling regimes. Our results cover all the Diophantine frequencies and some Liouville frequencies.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Mass Yields of Fission Fragment of Pt to Ra Isotopes

An effective Fourier nuclear shape parametrization which describes well the most relevant degrees of freedom on the way to fission is used to construct a 3D collective model. The potential energy surface is evaluated within the macroscopic-microscopic approach based on the Lublin-Strasbourg Drop (LSD) macroscopic energy and Yukawa-folded single particle potential. A phenomenological inertia parameter is used to describe the kinetic properties of the fissioning system. The fission fragment mass yields are obtained by using an approximate solution of the underlying Hamiltonian. The predicted mass fragmentations for even-even Pt to Ra isotopes are compared with available experimental data. Their main characteristics are well reproduced when the neck rupture probability dependent on the neck radius is introduced.

0 citations0 reviewsNo code linkedOpen access
preprint2019arXiv

Extracting unambiguous information from a single qubit by sequential observers

In a recent paper [Phys. Rev. Lett. 111, 100501 (2013)], a scheme was proposed where subsequent observers can extract unambiguous information about the initial state of a qubit, with finite joint probability of success. Here, we generalize the problem for arbitrary preparation probabilities (arbitrary priors). We discuss two different schemes: one where only the joint probability of success is maximized and another where, in addition, the joint probability of failure is also minimized. We also derive the mutual information for these schemes and show that there are some parameter regions for the scheme without minimizing the joint failure probability where, even though the joint success probability is maximum, no information is actually transmitted by Alice.

0 citations0 reviewsNo code linkedOpen access
preprint2019arXiv

Low-$n$ global ideal MHD instabilities in CFETR baseline scenario

This article reports an evaluation on the linear ideal magnetohydrodynamic (MHD) stability of the China Fusion Engineering Test Reactor (CFETR) baseline scenario for various first-wall locations. The initial-value code NIMROD and eigen-value code AEGIS are employed in this analysis. A good agreement is achieved between two codes in the growth rates of $n=1-10$ ideal MHD modes for various locations of the perfect conducting first-wall. The higher-$n$ modes are dominated by ballooning modes and localized in the pedestal region, while the lower-$n$ modes have more prominent external kink components and broader mode profiles. The influences of plasma-vacuum profile and wall shape are also examined using NIMROD. In presence of resistive wall, the low-$n$ ideal MHD instabilities are further studied using AEGIS. For the designed first-wall location, the $n = 1$ resistive wall mode (RWM) is found unstable, which could be fully stabilized by uniform toroidal rotation above 2.9\% core Alfvén speed.

0 citations0 reviewsNo code linkedOpen access
preprint2018arXiv

A higher dimensional Bourgain-Dyatlov fractal uncertainty principle

We establish a version of the fractal uncertainty principle, obtained by Bourgain and Dyatlov in 2016, in higher dimensions. The Fourier support is limited to sets $Y\subset \mathbb{R}^d$ which can be covered by finitely many products of $δ$-regular sets in one dimension, but relative to arbitrary axes. Our results remain true if $Y$ is distorted by diffeomorphisms. Our method combines the original approach by Bourgain and Dyatlov, in the more quantitative 2017 rendition by Jin and Zhang, with Cartan set techniques.

0 citations0 reviewsNo code linkedOpen access
preprint2017arXiv

The Helstrom measurement: A nondestructive implementation

We discuss a novel implementation of the minimum error state discrimination measurement, originally introduced by Helstrom. In this implementation, instead of performing the optimal projective measurement directly on the system, it is first entangled to an ancillary system and the measurement is performed on the ancilla. We show that, by an appropriate choice of the entanglement transformation, the Helstrom bound can be attained. The advantage of this approach is twofold. First, it provides a novel implementation when the optimal projective measurement cannot be directly performed. For example, in the case of continuous variable states (binary and N phase-shifted coherent signals), the available detection methods, photon counting and homodyning, are insufficient to perform the required cat-state projection. In the case of symmetric states, the square-root measurement is optimal, but it is not easy to perform directly for more than two states. Our approach provides a feasible alternative in both cases. Second, the measurement is non-destructive from the point of view of the original system and one has a certain amount of freedom in designing the post-measurement state, which can then be processed further.

0 citations0 reviewsNo code linkedOpen access