arXiv subjects

Yong Wei

Publications and source records attributed to Yong Wei.

At least 19 recordsLinked to original sources

arXiv2026

Stable De Giorgi conjecture of the Allen--Cahn equation in $\mathbb{R}^3$

We prove that every bounded stable entire solution $v$ of the Allen--Cahn equation in $\R^3$ is one-dimensional. As a consequence, the full De Giorgi conjecture in $\mathbb{R}^4$ is true. We also obtain local curvature estimates for stable solutions. The proof strategy is inspired by the recent breakthrough work of Chan, Fernández-Real, Figalli and Serra [J. Amer. Math. Soc. 2026], by reducing the stabilty condition for the Allen-Cahn equation to a weak stability condition on a surface (the zero set) and then utilizing Gauss-Bonnet formula. For this purpose, we first use the stability condition to get a sublinear bound for a weighted integral that controls the zeros where the solution is far from planar. If such zeros exist, we isolate a bounded set of them and join $1-v^2$ near this set to derivatives of one-dimensional transitions farther away. By controlling the interaction between these transitions, we derive the weak stability condition on the zero set, which is then used to bound a weighted integral of the squared curvature on the regular part of the zero set by a cutoff gradient integral and a controlled error. We use this inequality to bound the intrinsic area and construct logarithmic cutoffs. The resulting compactly supported test function has a negative contribution near this set that exceeds all joining and cutoff errors, contradicting stability.

math.AP↗

arXiv2026

Alexandrov--Fenchel inequalities for convex domains in the sphere

We prove the Alexandrov--Fenchel inequalities between any two spherical quermassintegrals for smooth weakly convex domains contained in an open hemisphere, with equality if and only if the domain is a geodesic ball. For strictly convex hypersurfaces, we introduce a globally constrained curvature flow which preserves one quermassintegral and decreases the next one. We establish uniform curvature estimates by combining a pinching estimate, a support function argument, and spherical polarity. As a consequence, the flow exists for all time and converges smoothly and exponentially to a geodesic sphere. The monotonicity of the quermassintegrals gives the full family of Alexandrov--Fenchel inequalities. A short-time mean curvature flow approximation and a localized rigidity argument extend the result, including the equality characterization, to weakly convex domains.

math.DG↗

arXiv2026

cuSOAP: a GPU-accelerated Generator of Smooth Overlap of Atomic Positions Descriptor

The Smooth Overlap of Atomic Positions (SOAP) descriptor is one of the most widely adopted representations of atomic environments in molecular machine learning, but the cost of evaluating it and its derivatives remains a principal bottleneck of SOAP-based interatomic potentials, particularly at the large radial and angular basis sizes demanded by complex, multi-species condensed-phase environments. We present cuSOAP, a GPU-accelerated generator of atom-wise SOAP vectors and their analytic derivatives. Built on PyTorch, cuSOAP evaluates closed-form expressions or quadratures for the projection coefficients and their Cartesian gradients for Gaussian-type-orbital and polynomial radial bases, through fused CUDA and Triton kernels that eliminate the multi-gigabyte intermediates of a naive tensor formulation. The package is a drop-in replacement for the CPU-based reference DScribe, reproducing its constructor signature, feature ordering, and output to within ${\sim}10^{-6}$, and accepts structures directly as Atomistic Simulation Environment (ASE) Atoms objects. On an NVIDIA Grace--Blackwell (GB200) node, a single Blackwell GPU generates the full descriptor-plus-Jacobian workload for a 1000-molecule water cluster up to two orders of magnitude faster than DScribe, i.e., from $13\times$ to $227\times$ across the entire $(n_{\max}, l_{\max})$ hyperparameter map, with the speedup growing with the angular band limit $l_{\max}$. Descriptor-only generation scales as $t \propto n^{1.34}$, close to linear, up to a million-atom water cluster, which is processed in 19.5s on one GPU and, through a shared-memory multiprocessing driver, in 5.7s on the four GPUs of the node, demonstrating $\sim$90% parallel efficiency with no sign of saturation as devices are added. These results bring on-the-fly SOAP evaluation for large-scale condensed-phase simulation within reach.

physics.chem-ph↗

arXiv2026

Positive $τ$-bi-Ricci curvature and Mean curvature flow with surgery in hyperbolic space

Let $n\geq3$ and $0\leqτ\leq2$. We prove that every smooth closed connected immersed hypersurface in hyperbolic space whose induced metric has positive $τ$-bi-Ricci curvature admits a mean curvature flow with surgery which has only finitely many surgery times and terminates. In the range compatible with cylindrical necks, the key ingredients are a preserved quantitative spectral pinching condition, which converts the intrinsic hypothesis into uniform two-convexity, and cylindrical and derivative estimates that remain valid across the hyperbolic standard neck replacement. At the endpoint $n=3$, $τ=2$, positive $τ$-bi-Ricci curvature is positive Ricci curvature and forces strict convexity, so the ordinary mean curvature flow converges to a round point. Consequently, the underlying manifold is diffeomorphic to a sphere or to a finite connected sum of copies of $\mathbb{S}^{n-1}\times\mathbb{S}^1$. If the initial hypersurface is embedded and bounds a compact domain, that domain is a one-handlebody, namely a ball with finitely many one-handles attached.

math.DG↗

arXiv2026

Weinstock inequalities for outward-minimizing domains

We prove sharp Weinstock inequalities for the first nonzero Steklov eigenvalue of smooth outward-minimizing domains in Euclidean space and hyperbolic space. The method is based on the weak inverse mean curvature flow of Huisken--Ilmanen. The main new ingredient is an endpoint distributional monotonicity argument obtained from the calibrated weak formulation and the Gauss--Green formula for divergence-measure fields.

math.DG↗

arXiv2026

Free boundary flows by powers of the Gauss curvature in the unit ball

We study smooth compact strictly convex hypersurfaces in the unit ball that meet the support sphere orthogonally and evolve by the $α$-Gauss curvature flow $\partial_tX=-K^αν$, $α>0$. We prove that the solution remains strictly convex, becomes extinct in finite time and contracts to a single point on the support sphere. If $α>\frac{1}{n+2}$, we apply a Cayley-type conformal map that sends the extinction point to the origin of a Euclidean half-space and then normalize the enclosed half-space volume. The resulting normalized hypersurfaces converge smoothly to the unit hemisphere. The proof combines boundary identities for the spherical free boundary, a boundary-adapted Tso estimate, an almost-monotonicity formula for a half-space entropy, and uniform curvature estimates for the normalized flow.

math.DG↗

arXiv2026

Linear-Scaling Potential-Free Data-Driven Molecular Dynamics for Arbitrary-Sized Water Clusters $(\text{H}_2\text{O})_n$

Conventional molecular dynamics (MD) simulation approaches, such as $\textit{ab initio}$ MD (AIMD) and empirical force field MD (EFFMD), face significant trade-offs between physical accuracy and computational efficiency. This work presents a linear-scaling potential-free data-driven molecular dynamics (PDMD) framework for predicting system energy and atomic forces of arbitrary-sized water clusters $(\text{H}_2\text{O})_n$. Specifically, PDMD employs a Gaussian-based atomic geometry descriptor to generate high-dimensional, atomistic footprints, then leverages ChemGNN, a graph neural network model that adaptively learns the atomic chemical environments without requiring $\textit{a priori}$ knowledge. Through an iterative self-consistent training approach, the converged PDMD achieves a mean absolute error of 1.39 meV/atom for energy, outperforming other state-of-the-art models such as DeepMD, MACE, NequIP, and SevenNet by at least 2.6x in accuracy with the same dataset. As a result, the linear-scaling PDMD can reproduce the AIMD properties of water clusters at orders-of-magnitude lower computational cost, as illustrated by simulations of systems consisting of thousands or more molecules. These results demonstrate that the proposed PDMD offers multiphase predictive power and enables ultra-fast, general-purpose MD simulations while retaining AIMD-level accuracy. This accuracy is achieved by efficiently capturing many-body potentials that are critical in numerous polyatomic systems but are often missing in EFFMD. Moreover, we have constructed an $\textit{ab initio}$ dataset with over 300,000 $(\text{H}_2\text{O})_n$ structures, standardized in a unified PyTorch Geometric framework, to support scalable evaluation of artificial intelligence methods for molecular dynamics.

cond-mat.dis-nn↗

arXiv2026

Higher regularity of the inverse anisotropic mean curvature flow

We prove an anisotropic analogue of the higher regularity theorem of Huisken and Ilmanen for inverse mean curvature flow. For an arbitrary smooth Minkowski norm, we first prove a Huisken--Ilmanen type Harnack estimate for smooth closed strictly star-shaped solutions. We then construct global smooth solutions starting from $C^1$ strictly star-shaped hypersurfaces with bounded nonnegative weak anisotropic mean curvature. Combining this construction with the asymptotic theory for weak inverse anisotropic mean curvature flow, we show that weak solutions starting from bounded smooth initial sets become smooth outside a compact set.

math.DG↗

arXiv2026

Contraction of hypersurfaces with positive sectional curvature in hyperbolic space

We study contracting curvature flows of compact hypersurfaces with positive sectional curvature in hyperbolic space $\mathbb{H}^{n+1}$. The speed is assumed to be homogeneous of degree one in the principal curvatures and to satisfy certain conditions. This class of flows includes the $k$th mean curvature flow as a special case. We show that if the initial hypersurface has positive sectional curvature, then this property is preserved along the flow, and the evolving hypersurface contracts to a round point in finite time.

math.DG↗

arXiv2025

Asymptotic behaviour of the weak inverse anisotropic mean curvature flow

We first establish a local gradient estimate for anisotropic $p$-harmonic functions. A key feature of our estimate is that the constant remains bounded as $p\to 1$; consequently, in the limit $p\to 1$, this estimate yields the local gradient estimate for weak solutions of the inverse anisotropic mean curvature flow (IAMCF). As an application, we show that the weak IAMCF is asymptotic to the expanding Wulff shape solution at the infinity, thereby extending the result of Huisken and Ilmanen in [8] to the anisotropic case.

math.DG↗

arXiv2025

New Heintze-Karcher type inequalities in sub-static warped product manifolds

In this paper, we prove Heintze-Karcher type inequalities involving the shifted mean curvature for smooth bounded domains in certain sub-static warped product manifolds. In particular, we prove a Heintze-Karcher-type inequality for non mean-convex domains in the hyperbolic space. As applications, we obtain uniqueness results for hypersurfaces satisfying a class of curvature equations.

math.DG↗

arXiv2025

Volume preserving nonhomogeneous Gauss curvature flow in hyperbolic space

We consider the volume preserving flow of smooth, closed and convex hypersurfaces in the hyperbolic space $\mathbb{H}^{n+1}$ with speed given by a general nonhomogeneous function of the Gauss curvature. For a large class of speed functions, we prove that the solution of the flow remains convex, exists for all positive time $t\in [0,\infty)$ and converges to a geodesic sphere exponentially as $t\to\infty$ in the smooth topology. A key step is to show the $L^1$ oscillation decay of the Gauss curvature to its average along a subsequence of times going to the infinity, which combined with an argument using the hyperbolic curvature measure theory implies the Hausdorff convergence.

math.DG↗

arXiv2025

Upper bounds for the Alexandrov-Fenchel deficit via integral formulas

We derive a number of sharp upper bounds for the deficit in the Alexandrov-Fenchel inequality using a weighted Minkowski integral formula and an integral formula for the deficit in Jensen's inequality. Our estimates yield results under weaker convexity assumptions compared to approaches based on inverse curvature flows. The use of weighted formulas provides flexibility in deriving inequalities with different weight functions. Furthermore, our estimates are more quantitative as they include a distance term measuring the domain's deviation from a reference ball. We also analyze the stability of a weighted geometric inequality from a recent paper \cite{kwong2023geometric} via analysis of the support function on the sphere and show that, with an optimal choice of the origin, this inequality is stronger than the classical isoperimetric inequality.

math.DG↗

arXiv2024

Alexandrov-Fenchel type inequalities with convex weight in space forms

In this paper, we derive new sharp weighted Alexandrov-Fenchel and Minkowski inequalities for smooth, closed hypersurfaces under various convexity assumptions in Euclidean, spherical, and hyperbolic spaces. These inequalities extend classical results by incorporating weights given by convex, non-decreasing positive functions, which are otherwise arbitrary. Our approach gives rise to a broad family of geometric inequalities, as each convex, non-decreasing function yields a corresponding inequality, providing considerable flexibility.

math.DG↗

arXiv2024

The horospherical $p$-Christoffel-Minkowski problem in hyperbolic space

The horospherical $p$-Christoffel-Minkowski problem was posed by Li and Xu (2022) as a problem prescribing the $k$-th horospherical $p$-surface area measure of $h$-convex domains in hyperbolic space $\mathbb{H}^{n+1}$. It is a natural generalization of the classical $L^p$ Christoffel-Minkowski problem in the Euclidean space $\mathbb{R}^{n+1}$. In this paper, we consider a fully nonlinear equation associated with the horospherical $p$-Christoffel-Minkowski problem. We establish the existence of a uniformly $h$-convex solution under appropriate assumptions on the prescribed function. The key to the proof is the full rank theorem, which we will demonstrate using a viscosity approach based on the idea of Bryan-Ivaki-Scheuer (2023). When $p=0$, the horospherical $p$-Christoffel-Minkowski problem in $\mathbb{H}^{n+1}$ is equivalent to a Nirenberg-type problem on $\mathbb{S}^n$ in conformal geometry. Therefore, our result implies the existence of solutions to the Nirenberg-type problem.

math.AP↗

arXiv2024

Characterizing the current systems in the Martian ionosphere

When the solar wind interacts with the ionosphere of an unmagnetized planet, it induces currents that form an induced magnetosphere. These currents and their associated magnetic fields play a pivotal role in controlling the movement of charged particles, which is essential for understanding the escape of planetary ions. Unlike the well-documented magnetospheric current systems, the ionospheric current systems on unmagnetized planets remain less understood, which constrains the quantification of electrodynamic energy transfer from stars to these planets. Here, utilizing eight years of data from the Mars Atmosphere and Volatile EvolutioN (MAVEN) mission, we investigate the global distribution of ionospheric currents on Mars. We have identified two distinct current systems in the ionosphere: one aligns with the solar wind electric field yet exhibits hemispheric asymmetry perpendicular to the electric field direction; the other corresponds to the flow pattern of annually-averaged neutral winds. We propose that these two current systems are driven by the solar wind and atmospheric neutral winds, respectively. Our findings reveal that Martian ionospheric dynamics are influenced by the neutral winds from below and the solar wind from above, highlighting the complex and intriguing nature of current systems on unmagnetized planets.

astro-ph.EP↗

arXiv2024

Anisotropic Gauss curvature flow of complete non-compact graphs

In this paper, we consider the anisotropic $α$-Gauss curvature flow for complete noncompact convex hypersurfaces in the Euclidean space with the anisotropy determined by a smooth closed uniformly convex Wulff shape. We show that for all positive power $α>0$, if the initial hypersurface is complete noncompact and locally uniformly convex, then the solution of the flow exists for all positive time.

math.DG↗

arXiv2023

A complete family of Alexandrov-Fenchel inequalities for convex capillary hypersurfaces in the half-space

In this paper, we study the locally constrained inverse curvature flow for hypersurfaces in the half-space with $θ$-capillary boundary, which was recently introduced by Wang-Weng-Xia. Assume that the initial hypersurface is strictly convex with the contact angle $θ\in (0,π/2]$. We prove that the solution of the flow remains to be strictly convex for $t>0$, exists for all positive time and converges smoothly to a spherical cap. As an application, we prove a complete family of Alexandrov-Fenchel inequalities for convex capillary hypersurfaces in the half-space with the contact angle $θ\in(0,π/2]$. Along the proof, we develop a new tensor maximum principle for parabolic equations on compact manifold with proper Neumann boundary condition.

math.DG↗