Searcharxiv⌕ Search

arXiv subjects

Yong Wei

Publications and source records attributed to Yong Wei.

At least 19 recordsLinked to original sources

Entropy and round-point convergence for the $σ_k$-curvature flow

We prove that every smooth closed strictly convex hypersurface in $\mathbb R^{n+1}$ contracts to a round point under the $σ_k$-curvature flow for $2\leq k\leq n-1$, without additional pinching or symmetry assumptions. After rescaling about the extinction point to mean width two, the hypersurfaces converge smoothly and exponentially in normalized time to the unit sphere. The proof is based on an entropy which is invariant under translations and dilations and admits a representation by weighted boundary areas of orthogonal projections. A strengthened Codazzi inequality yields its monotonicity. An upper bound for the entropy controls the inradius relative to the mean width, while its dissipation controls the spatial variation of the normalized speed. We also obtain two-sided curvature bounds at the natural extinction scale.

math.DG↗

Curvature quotient flows and Alexandrov--Fenchel inequalities in hyperbolic space

We study quermassintegral-preserving curvature flows in $\mathbb H^{n+1}$, $n\geq3$, driven by the curvature quotient $(E_k/E_\ell)^{1/(k-\ell)}$. For $1\leq\ell<k$ with $k+\ell\leq n$, we prove that positive sectional curvature is preserved. Starting from a smooth closed strictly convex hypersurface with positive sectional curvature, the flow exists for all time and converges smoothly and exponentially to a geodesic sphere. As an application, we establish sharp Alexandrov--Fenchel inequalities between $W_k$ and $W_\ell$ for smooth bounded convex domains whose boundaries have nonnegative sectional curvature, whenever $0\leq\ell<k\leq n$ and $k+\ell\leq n$. Equality holds if and only if the domain is a geodesic ball. Together with previously known cases, these inequalities give the full family of Alexandrov--Fenchel inequalities for this class of domains in $\mathbb H^6$. We also construct counterexamples showing that $k+\ell\leq n$ is the optimal range for preservation of positive sectional curvature by these flows.

math.DG↗

Sheeting property and rigidity for stable solutions to the Allen--Cahn equation

We prove a sheeting theorem for stable solutions to the Allen--Cahn equation in ambient dimensions $2$ through $10$. We show that weak convergence of the measures $\varepsilon|Du_\varepsilon|^2\,dX$ to a hyperplane with integer multiplicity implies that the zero sets are disjoint smooth graphs. As a consequence, stable entire solutions in $\mathbb R^N$, $N\le7$, with $O(R^{N-1})$ energy growth are one-dimensional. When $W''(-1)=W''(1)$, every blowdown of an entire solution with finite Morse index and this energy growth has multiplicity one for $4\le N\le10$. For even potentials, we also obtain multiplicity one for limits with bounded energy and Morse index on closed manifolds of dimensions $3$ through $7$, under bumpiness or positive Ricci curvature.

math.AP↗

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↗

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↗

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↗

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↗

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↗

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↗

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↗

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↗

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↗

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↗

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↗

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↗

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↗

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↗

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↗