SearcharxivSearch

arXiv subjects

Han Hong

Publications and source records attributed to Han Hong.

At least 19 recordsLinked to original sources

Mixed Radial Volume Comparison under Spectral Ricci Bounds

Let $(M^n,g)$ be complete, let $u>0$, and assume $\operatorname{Ric}_g-\alpha\frac{\Delta_g u}{u}g\ge (n-1)\kappa g$. We introduce mixed radial balls associated with the conformal metric $u^{2\alpha}g$. For these mixed radial balls, we obtain a space-form-sharp model comparison and polynomial weighted volume growth without pointwise bounds on $u$. As applications, we give a radial derivation of the spectral Bonnet--Myers and sharp volume theorem of Antonelli--Xu, and a short volume growth derivation of the stable Bernstein theorem in $\mathbb{R}^4$.

math.DG

Stable Minimal Hypersurfaces in Positively Curved $4$-Manifolds

Let $M^3\to X^4$ be a complete, connected, two-sided stable minimal immersion. We prove that if the ambient sectional curvature is nonnegative and the ambient scalar curvature has a positive uniform lower bound, then $M$ is totally geodesic and its normal Ricci curvature vanishes. No weak bounded geometry assumption and no upper curvature bound are imposed. We also construct a complete metric of strictly positive sectional curvature on $\mathbb{R}^4$ admitting a complete, embedded, one-ended, nonparabolic, two-sided stable minimal hypersurface diffeomorphic to $\mathbb{R}^3$ which is not totally geodesic. The rigidity proof combines spectral splitting theory, a warped $\mu$-bubble construction, and a harmonic function level set argument. The example is obtained by a compactly supported deformation of an example in \cite{CLS}.

math.DG

FoMoVLA: Bridging Visual Foresight and Motion Guidance for Vision-Language-Action Models

Vision-Language-Action (VLA) models have achieved impressive results in visuomotor policy learning, yet remain fundamentally reactive, mapping current observations and language to actions without explicit forward prediction of world dynamics. Existing visual foresight methods predict future visual states but lack explicit motion guidance: they show where to go but not how to get there. We argue that future feature prediction and sparse point tracking are naturally complementary: the former provides the goal state, while the latter captures the continuous motion path toward it. We propose FoMoVLA, a framework that augments VLA representations with explicit spatio-temporal supervision by jointly learning future feature foresight and sparse 2D point tracking, enhancing the continuous action policy. FoMoVLA introduces compact foresight tokens to decode future feature states, decodes sparse temporal 2D point trajectories to model compact geometric motion, and couples both through a lightweight future-conditioned cross-attention module that enables consistent reasoning between anticipated states and point dynamics. Extensive experiments on LIBERO, RoboCasa GR-1 Tabletop, and LIBERO-Plus demonstrate state-of-the-art performance and strong zero-shot generalization. Project page is available at https://liauto-research.github.io/FoMoVLA.

cs.CV

Spectral splitting theorem and ends of minimal hypersurfaces

In this paper, we give a new proof of the splitting theorem on manifolds with nonnegative spectral Ricci curvature proved in [APX24, CMMR24, HW26]. Furthermore, by constructing weighted minimizing geodesics at infinity, we show that minimal hypersurfaces with finite index in manifolds with nonnegative biRic curvature must have finite ends, generalizing the result of Li-Wang [LW04] on manifolds with nonnegative sectional curvature.

math.DG

Intermediate curvature and splitting theorem

In this paper, we prove several rigidity results for complete noncompact manifolds with nonnegative intermediate curvatures. We show that when either $3\leq n\leq 5$, $1\leq m\leq n-1$, or $6\leq n\leq 7$, $m\in \{1,n-1,n-2\}$, any manifold of the topological type $M^{n-m}\times \mathbb{T}^{m-1}\times \mathbb{R}$ with nonnegative $m$-intermediate curvature is isometrically covered by the canonical product $M\times \mathbb{R}^m$. We also construct smooth metrics on $M^{n-m}\times \mathbb{T}^{m-1}\times \mathbb{R}$ with uniformly positive $m$-intermediate curvature for $6\leq n\leq 7$, $2\leq m\leq n-3$. This proves that the algebraic condition $m^2-mn+m+n>0$ from \cite{chenshuli_end} is sharp. The proof is based on a new recursion theorem for spectral intermediate curvatures and cylindrical splitting theorems. In particular, when $m=n-1$, this provides a new proof of some results by Chodosh--Li \cite{chodoshlisoapbubble} and Zhu \cite{zhu-splitting}. Moreover, the recursion theorem can be used to reprove the result of Brendle--Hirsch--Johne \cite{brendlegeroch'sconjecture}.

math.DG

Integrating Unstructured Text into Causal Inference: Empirical Evidence from Real Data

Causal inference, a critical tool for informing business decisions, traditionally relies heavily on structured data. However, in many real-world scenarios, such data can be incomplete or unavailable. This paper presents a framework that leverages transformer-based language models to perform causal inference using unstructured text. We demonstrate the effectiveness of our framework by comparing causal estimates derived from unstructured text against those obtained from structured data across population, group, and individual levels. Our findings show consistent results between the two approaches, validating the potential of unstructured text in causal inference tasks. Our approach extends the applicability of causal inference methods to scenarios where only textual data is available, enabling data-driven business decision-making when structured tabular data is scarce.

cs.LG

Homological $k$-systole in $n$-manifolds with positive intermediate curvature

In this paper, we prove optimal $k$-systolic inequalities and characterize the case of equality on closed $n$-dimensional Riemannian manifolds with positive intermediate curvature for $3\leq n\leq 7$. This unifies prior works of Bray-Brendle-Neves \cite{BrayBrenleNevesrigidity} and Chu-Lee-Zhu \cite{chuleezhu_n_systole}, and extends them to higher codimensions. The proof is inspired by our recent work on splitting theorems under intermediate curvature \cite{chenhong2026}.

math.DG

Nonexistence of the metric with positive intermediate curvatures on manifolds with boundary

We establish curvature obstruction theorems for manifolds with boundary. Our main theorems show that, for dimensions up to 7, a topologically nontrivial compact manifold with boundary cannot have a metric of positive $m$-intermediate curvature if the boundary is $m$-convex, and some rigidity result holds if $m$-intermediate curvature is nonnegative. This non-existence persists after performing a connected sum with an arbitrary manifold. These results generalize results of \cite{brendle,chenshuli,ChuKwongLee,Xu} to manifold with boundary.

math.DG

Do Carmo's problem for CMC hypersurfaces in $\mathbb{R}^6$

In this paper, we prove that complete noncompact constant mean curvature hypersurfaces in $\mathbb{R}^6$ with finite index must be minimal. This provides a positive answer to do Carmo's question in dimension $6$. The proof strategy is also applicable to $\mathbb{R}^4$ and $\mathbb{R}^5$, thereby providing alternative proofs for those previously resolved cases.

math.DG

A splitting theorem for manifolds with spectral nonnegative Ricci curvature and mean-convex boundary

We prove a splitting theorem for a smooth noncompact manifold with (possibly noncompact) boundary. We show that if a noncompact manifold of dimension $n\geq 2$ has $\lambda_1(-\alpha\Delta+\operatorname{Ric})\geq 0$ for some $\alpha<\frac{4}{n-1}$ and mean-convex boundary, then it is either isometric to $\Sigma\times \mathbb{R}_{\geq 0}$ for a closed manifold $\Sigma$ with nonnegative Ricci curvature or it has no interior ends.

math.DG

A splitting theorem for 3-manifold with nonnegative scalar curvature and mean-convex boundary

We show that a Riemannian 3-manifold with nonnegative scalar curvature and mean-convex boundary is flat if it contains an absolutely area-minimizing (in the free boundary sense) half-cylinder or strip. Analogous results also hold for a $\theta$-energy-minimizing half-cylinder, or, under certain topological assumptions, a $\theta$-energy-minimizing strip for $\theta\in (0,\pi)$.

math.DG

On $\delta$-Stable Minimal Hypersurfaces in $\mathbb{R}^{n+1}$

In this paper, we extend several results established for stable minimal hypersurfaces to $\delta$-stable minimal hypersurfaces. These include the regularity and compactness theorems for immersed $\delta$-stable minimal hypersurfaces in $\mathbb{R}^{n+1}$ when $n \geq 3$ and $\delta > \frac{n-2}{n}$, as well as the $\delta$-stable Bernstein theorem for $n=3$ and $n=4$ for properly immersion. The range of $\delta$ is optimal, as the $n$-dimensional catenoid in $\mathbb{R}^{n+1}$ is $\frac{n-2}{n}$-stable.

math.DG

Rigidity of CMC hypersurfaces in 5-and 6-manifolds

We prove that nonnegative $3$-intermediate Ricci curvature combined with uniformly positive $k$-triRic curvature implies rigidity of complete noncompact two-sided stable minimal hypersurfaces in a Riemannian manifold $(X^5,g)$ with bounded geometry. The stonger assumption of nonnegative $3$-intermediate Ricci curvature can be replaced by the nonnegativity of Ricci and biRic curvature. In particular, there is no complete noncompact stable minimal hypersurface in a closed $5$-dimensional manifold with positive sectional curvature. This extends result of Chodosh-Li-Stryker [J. Eur. Math. Soc (2025)] to $5$-dimension. We also establish rigidity results on CMC hypersurfaces with nonzero mean curvature in $5$- and $6$-manifolds.

math.DG

CMC hypersurface with finite index in hyperbolic space $\mathbb{H}^4$

In this paper, we prove that there are no complete noncompact constant mean curvature hypersurfaces with the mean curvature $H > 1$, finite index and finite topology in hyperbolic space $\mathbb{H}^4$. A more general nonexistence result can be proved in a $4$-dimensional Riemannian manifold with certain curvature conditions. We also show that $4$-manifold with $\operatorname{Ric} > 1$ does not contain any complete noncompact minimal stable hypersurface with finite topology. The proof relies on the $\mu$-bubble initially introduced by Gromov and further developed by Chodosh-Li-Stryker in the context of stable minimal hypersurfaces.

math.DG

Statistical Inference of Optimal Allocations I: Regularities and their Implications

In this paper, we develop a functional differentiability approach for solving statistical optimal allocation problems. We derive Hadamard differentiability of the value functions through analyzing the properties of the sorting operator using tools from geometric measure theory. Building on our Hadamard differentiability results, we apply the functional delta method to obtain the asymptotic properties of the value function process for the binary constrained optimal allocation problem and the plug-in ROC curve estimator. Moreover, the convexity of the optimal allocation value functions facilitates demonstrating the degeneracy of first order derivatives with respect to the policy. We then present a double / debiased estimator for the value functions. Importantly, the conditions that validate Hadamard differentiability justify the margin assumption from the statistical classification literature for the fast convergence rate of plug-in methods.

econ.EM

Asymptotic Plateau problem via equidistant hyperplanes

We show the existence of a complete, strictly locally convex hypersurface within $\mathbb{H}^{n+1}$ that adheres to a curvature equation applicable to a broad range of curvature functions. This hypersurface possesses a prescribed asymptotic boundary at infinity and takes the form of a geodesic graph over a smooth bounded domain $\Omega$ at infinity. It is approximated by the shape of geodesic graphs whose boundaries rest upon equidistant hyperplanes. Through this procedure, we establish an alternative method for constructing solutions to the asymptotic Plateau problem. The resulting solutions may differ from the classical ones, particularly in cases where uniqueness cannot be assured.

math.DG