Showing 1–25 of 25 results for author: Zhu, J J

Half-space intersection properties for minimal hypersurfaces

Authors: Keaton Naff, Jonathan J. Zhu

Abstract: We prove ``half-space" intersection properties in three settings: the hemisphere, half-geodesic balls in space forms, and certain subsets of Gaussian space. For instance, any two embedded minimal hypersurfaces in the sphere must intersect in every closed hemisphere. Two approaches are developed: one using classifications of stable minimal hypersurfaces, and the second using conformal change and co… ▽ More We prove ``half-space" intersection properties in three settings: the hemisphere, half-geodesic balls in space forms, and certain subsets of Gaussian space. For instance, any two embedded minimal hypersurfaces in the sphere must intersect in every closed hemisphere. Two approaches are developed: one using classifications of stable minimal hypersurfaces, and the second using conformal change and comparison geometry for $α$-Bakry-Émery-Ricci curvature. Our methods yield the analogous intersection properties for free boundary minimal hypersurfaces in space form balls, even when the interior or boundary curvature may be negative. Finally, Colding and Minicozzi recently showed that any two embedded shrinkers of dimension $n$ must intersect in a large enough Euclidean ball of radius $R(n)$. We show that $R(n) \leq 2 \sqrt{n}$. △ Less

Submitted 19 July, 2024; v1 submitted 17 January, 2024; originally announced January 2024.

Comments: 28 pages, 2 figures; comments welcome! (Added an appendix, minor corrections)

Uniqueness of blowups for forced mean curvature flow

Authors: Sven Hirsch, Jonathan J. Zhu

Abstract: We prove uniqueness of tangent cones for forced mean curvature flow, at both closed self-shrinkers and round cylindrical self-shrinkers, in any codimension. The corresponding results for mean curvature flow in Euclidean space were proven by Schulze and Colding-Minicozzi respectively. We adapt their methods to handle the presence of the forcing term, which vanishes in the blow-up limit but complica… ▽ More We prove uniqueness of tangent cones for forced mean curvature flow, at both closed self-shrinkers and round cylindrical self-shrinkers, in any codimension. The corresponding results for mean curvature flow in Euclidean space were proven by Schulze and Colding-Minicozzi respectively. We adapt their methods to handle the presence of the forcing term, which vanishes in the blow-up limit but complicates the analysis along the rescaled flow. Our results naturally include the case of mean curvature flows in Riemannian manifolds. △ Less

Submitted 11 October, 2023; originally announced October 2023.

Comments: 27 pages, comments welcome

Sharp distance comparison for curve shortening flow on the round sphere

Authors: Paul Bryan, Mat Langford, Jonathan J. Zhu

Abstract: We prove that curve shortening flow on the round sphere displays sharp chord-arc improvement, precisely as in the planar setting (Andrews and Bryan, Comm. Anal. Geom., 2011). As in the planar case, the sharp estimate implies control on the curvature, resulting in a direct and efficient proof that simple spherical curves either contract to round points (in finite time) or converge to great circles… ▽ More We prove that curve shortening flow on the round sphere displays sharp chord-arc improvement, precisely as in the planar setting (Andrews and Bryan, Comm. Anal. Geom., 2011). As in the planar case, the sharp estimate implies control on the curvature, resulting in a direct and efficient proof that simple spherical curves either contract to round points (in finite time) or converge to great circles (in infinite time). △ Less

Submitted 4 October, 2023; originally announced October 2023.

MSC Class: 53E10

A distance comparison principle for curve shortening flow with free boundary

Authors: Mat Langford, Jonathan J. Zhu

Abstract: We introduce a reflected chord-arc profile for curves with orthogonal boundary condition and obtain a chord-arc estimate for embedded free boundary curve shortening flows in a convex planar domain. As a consequence, we are able to prove that any such flow either converges in infinite time to a (unique) ``critical chord'', or contracts in finite time to a ``round half-point'' on the boundary. We introduce a reflected chord-arc profile for curves with orthogonal boundary condition and obtain a chord-arc estimate for embedded free boundary curve shortening flows in a convex planar domain. As a consequence, we are able to prove that any such flow either converges in infinite time to a (unique) ``critical chord'', or contracts in finite time to a ``round half-point'' on the boundary. △ Less

Submitted 20 September, 2023; v1 submitted 27 February, 2023; originally announced February 2023.

Comments: 32 pages, 2 figures; adjusted to a more precise barrier function in Theorem 5.3

MSC Class: 53E10

Moving monotonicity formulae for minimal submanifolds in constant curvature

Authors: Keaton Naff, Jonathan J. Zhu

Abstract: We discover new monotonicity formulae for minimal submanifolds in space forms, which imply the sharp area bound for minimal submanifolds through a prescribed point in a geodesic ball. These monotonicity formulae involve an energy-like integral over sets which are, in general, not geodesic balls. In the Euclidean case, these sets reduce to the moving-centre balls introduced by the second author in… ▽ More We discover new monotonicity formulae for minimal submanifolds in space forms, which imply the sharp area bound for minimal submanifolds through a prescribed point in a geodesic ball. These monotonicity formulae involve an energy-like integral over sets which are, in general, not geodesic balls. In the Euclidean case, these sets reduce to the moving-centre balls introduced by the second author in [Zhu18]. △ Less

Submitted 6 October, 2022; originally announced October 2022.

Comments: 11 pages, 1 figure; comments welcome!

The prescribed point area estimate for minimal submanifolds in constant curvature

Authors: Keaton Naff, Jonathan J. Zhu

Abstract: We prove a sharp area estimate for minimal submanifolds that pass through a prescribed point in a geodesic ball in hyperbolic space, in any dimension and codimension. In certain cases, we also prove the corresponding estimate in the sphere. Our estimates are analogous to those of Brendle and Hung in the Euclidean setting. We prove a sharp area estimate for minimal submanifolds that pass through a prescribed point in a geodesic ball in hyperbolic space, in any dimension and codimension. In certain cases, we also prove the corresponding estimate in the sphere. Our estimates are analogous to those of Brendle and Hung in the Euclidean setting. △ Less

Submitted 6 October, 2022; v1 submitted 16 June, 2022; originally announced June 2022.

Comments: 21 pages, 2 figures; v2: moved some discussion on monotonicity to new preprint, other minor changes; comments welcome!

MSC Class: 53A10

Widths of balls and free boundary minimal submanifolds

Authors: Jonathan J. Zhu

Abstract: We observe that the $k$-dimensional width of an $n$-ball in a space form is given by the area of an equatorial $k$-ball. We also investigate related lower bounds for the area of a free boundary minimal submanifold in a space form ball. We observe that the $k$-dimensional width of an $n$-ball in a space form is given by the area of an equatorial $k$-ball. We also investigate related lower bounds for the area of a free boundary minimal submanifold in a space form ball. △ Less

Submitted 28 July, 2022; v1 submitted 18 March, 2022; originally announced March 2022.

Comments: 15 pages; corrected a gap in Section 3.3

MSC Class: 53C23; 53A10

Min-max theory for capillary surfaces

Authors: Chao Li, Xin Zhou, Jonathan J. Zhu

Abstract: We develop a min-max theory for the construction of capillary surfaces in 3-manifolds with smooth boundary. In particular, for a generic set of ambient metrics, we prove the existence of nontrivial, smooth, almost properly embedded surfaces with any given constant mean curvature $c$, and with smooth boundary contacting at any given constant angle $θ$. Moreover, if $c$ is nonzero and $θ$ is not… ▽ More We develop a min-max theory for the construction of capillary surfaces in 3-manifolds with smooth boundary. In particular, for a generic set of ambient metrics, we prove the existence of nontrivial, smooth, almost properly embedded surfaces with any given constant mean curvature $c$, and with smooth boundary contacting at any given constant angle $θ$. Moreover, if $c$ is nonzero and $θ$ is not $\fracπ{2}$, then our min-max solution always has multiplicity one. We also establish a stable Bernstein theorem for minimal hypersurfaces with certain contact angles in higher dimensions. △ Less

Submitted 5 September, 2022; v1 submitted 18 November, 2021; originally announced November 2021.

Comments: 43 pages, 4 figures; corrected typoes and clarified some arguments

MSC Class: 53A10; 49J35; 53C42

Rigidity of spherical product Ricci solitons

Authors: Ao Sun, Jonathan J. Zhu

Abstract: We show that $S^2\times S^2$ is isolated as a shrinking Ricci soliton in the space of metrics, up to scaling and diffeomorphism. We also prove the same rigidity for $S^2\times N$, where $N$ belongs to a certain class of closed Einstein manifolds. These results are the Ricci flow analogues of our results for Clifford-type shrinking solitons for the mean curvature flow. We show that $S^2\times S^2$ is isolated as a shrinking Ricci soliton in the space of metrics, up to scaling and diffeomorphism. We also prove the same rigidity for $S^2\times N$, where $N$ belongs to a certain class of closed Einstein manifolds. These results are the Ricci flow analogues of our results for Clifford-type shrinking solitons for the mean curvature flow. △ Less

Submitted 27 March, 2023; v1 submitted 4 August, 2021; originally announced August 2021.

Comments: 34 pages; corrected a missing term before (4.5) which does not significantly affect the proof strategy

MSC Class: 53C25; 53E20

On certain quantifications of Gromov's non-squeezing theorem

Authors: Kevin Sackel, Antoine Song, Umut Varolgunes, Jonathan J. Zhu

Abstract: Let $R>1$ and let $B$ be the Euclidean $4$-ball of radius $R$ with a closed subset ${E}$ removed. Suppose that $B$ embeds symplectically into the unit cylinder $\mathbb{D}^2 \times \mathbb{R}^2$. By Gromov's non-squeezing theorem, ${E}$ must be non-empty. We prove that the Minkowski dimension of ${E}$ is at least $2$, and we exhibit an explicit example showing that this result is optimal at least… ▽ More Let $R>1$ and let $B$ be the Euclidean $4$-ball of radius $R$ with a closed subset ${E}$ removed. Suppose that $B$ embeds symplectically into the unit cylinder $\mathbb{D}^2 \times \mathbb{R}^2$. By Gromov's non-squeezing theorem, ${E}$ must be non-empty. We prove that the Minkowski dimension of ${E}$ is at least $2$, and we exhibit an explicit example showing that this result is optimal at least for $R \leq \sqrt{2}$. In an appendix by Joé Brendel, it is shown that the lower bound is optimal for $R < \sqrt{3}$. We also discuss the minimum volume of ${E}$ in the case that the symplectic embedding extends, with bounded Lipschitz constant, to the entire ball. △ Less

Submitted 22 September, 2022; v1 submitted 2 May, 2021; originally announced May 2021.

Comments: Revision includes an appendix by J. Brendel. Version accepted in Geometry & Topology

MSC Class: 53D05; 53D35

Journal ref: Geom. Topol. 28 (2024) 1113-1152

Łojasiewicz inequalities for mean convex self-shrinkers

Authors: Jonathan J. Zhu

Abstract: We prove Łojasiewicz inequalities for round cylinders and cylinders over Abresch-Langer curves, using perturbative analysis of a quantity introduced by Colding-Minicozzi. A feature is that this auxiliary quantity allows us to work essentially at first order. This new method interpolates between the higher order perturbative analysis used by the author for certain shrinking cylinders, and the diffe… ▽ More We prove Łojasiewicz inequalities for round cylinders and cylinders over Abresch-Langer curves, using perturbative analysis of a quantity introduced by Colding-Minicozzi. A feature is that this auxiliary quantity allows us to work essentially at first order. This new method interpolates between the higher order perturbative analysis used by the author for certain shrinking cylinders, and the differential geometric method used by Colding-Minicozzi for the round case. △ Less

Submitted 22 January, 2021; originally announced January 2021.

Comments: 13 pages; comments welcome! arXiv admin note: text overlap with arXiv:2011.01633

MSC Class: 53E10; 53C42

Rigidity and Łojasiewicz inequalities for Clifford self-shrinkers

Authors: Ao Sun, Jonathan J. Zhu

Abstract: We show that the product of two round shrinking spheres is an isolated self-shrinker in any codimension, modulo rotations. Moreover we prove explicit Łojasiewicz inequalities near such products. Łojasiewicz inequalities were previously used by Schulze to prove uniqueness of tangent mean curvature flows at compact shrinkers; our results provide an explicit rate of convergence to products of two sph… ▽ More We show that the product of two round shrinking spheres is an isolated self-shrinker in any codimension, modulo rotations. Moreover we prove explicit Łojasiewicz inequalities near such products. Łojasiewicz inequalities were previously used by Schulze to prove uniqueness of tangent mean curvature flows at compact shrinkers; our results provide an explicit rate of convergence to products of two spheres. △ Less

Submitted 3 November, 2020; originally announced November 2020.

Comments: 31 pages, comments welcome!

MSC Class: 53E10; 53C42

Łojasiewicz inequalities, uniqueness and rigidity for cylindrical self-shrinkers

Authors: Jonathan J. Zhu

Abstract: We establish Łojasiewicz inequalities for a class of cylindrical self-shrinkers for the mean curvature flow, which includes round cylinders and cylinders over Abresch-Langer curves, in any codimension. We deduce the uniqueness of blowups at singularities modelled on this class of cylinders, and that any such cylinder is isolated in the space of self-shrinkers. The Abresch-Langer case answers a con… ▽ More We establish Łojasiewicz inequalities for a class of cylindrical self-shrinkers for the mean curvature flow, which includes round cylinders and cylinders over Abresch-Langer curves, in any codimension. We deduce the uniqueness of blowups at singularities modelled on this class of cylinders, and that any such cylinder is isolated in the space of self-shrinkers. The Abresch-Langer case answers a conjecture of Colding-Minicozzi. Our proof uses direct perturbative analysis of the shrinker mean curvature, so it is new even for round cylinders. △ Less

Submitted 16 September, 2024; v1 submitted 3 November, 2020; originally announced November 2020.

Comments: 39 pages; simplified some proofs, added details of iteration scheme

MSC Class: 53E10; 53C42

Mean convex mean curvature flow with free boundary

Authors: Nick Edelen, Robert Haslhofer, Mohammad N. Ivaki, Jonathan J. Zhu

Abstract: In this paper, we generalize White's regularity and structure theory for mean-convex mean curvature flow to the setting with free boundary. A major new challenge in the free boundary setting is to derive an a priori bound for the ratio between the norm of the second fundamental form and the mean curvature. We establish such a bound via the maximum principle for a triple-approximation scheme, which… ▽ More In this paper, we generalize White's regularity and structure theory for mean-convex mean curvature flow to the setting with free boundary. A major new challenge in the free boundary setting is to derive an a priori bound for the ratio between the norm of the second fundamental form and the mean curvature. We establish such a bound via the maximum principle for a triple-approximation scheme, which combines ideas from Edelen, Haslhofer-Hershkovits, and Volkmann. Other important new ingredients are a Bernstein-type theorem and a sheeting theorem for low entropy free boundary flows in a halfslab, which allow us to rule out multiplicity 2 (half-)planes as possible tangent flows and, for mean convex domains, as possible limit flows. △ Less

Submitted 4 November, 2019; originally announced November 2019.

Comments: 52 pages

Min-max theory for networks of constant geodesic curvature

Authors: Xin Zhou, Jonathan J. Zhu

Abstract: We prove that on a closed surface, for any $c>0$, our min-max theory for prescribing mean curvature produces a solution given by a curve of constant geodesic curvature $c$ which is almost embedded, except for finitely many points, at which the solution is a stationary junction with integer density. Moreover, each smooth segment has multiplicity one. The key is a classification of blowups which is… ▽ More We prove that on a closed surface, for any $c>0$, our min-max theory for prescribing mean curvature produces a solution given by a curve of constant geodesic curvature $c$ which is almost embedded, except for finitely many points, at which the solution is a stationary junction with integer density. Moreover, each smooth segment has multiplicity one. The key is a classification of blowups which is new even for $c=0$. △ Less

Submitted 27 January, 2019; v1 submitted 9 November, 2018; originally announced November 2018.

Comments: 11 pages, minor revision

MSC Class: 53A10; 49J35; 53C42

Existence of hypersurfaces with prescribed mean curvature I - Generic min-max

Authors: Xin Zhou, Jonathan J. Zhu

Abstract: We prove that, for a generic set of smooth prescription functions $h$ on a closed ambient manifold, there always exists a nontrivial, smooth, closed hypersurface of prescribed mean curvature $h$. The solution is either an embedded minimal hypersurface with integer multiplicity, or a non-minimal almost embedded hypersurface of multiplicity one. More precisely, we show that our previous min-max th… ▽ More We prove that, for a generic set of smooth prescription functions $h$ on a closed ambient manifold, there always exists a nontrivial, smooth, closed hypersurface of prescribed mean curvature $h$. The solution is either an embedded minimal hypersurface with integer multiplicity, or a non-minimal almost embedded hypersurface of multiplicity one. More precisely, we show that our previous min-max theory, developed for constant mean curvature hypersurfaces, can be extended to construct min-max prescribed mean curvature hypersurfaces for certain classes of prescription function, including smooth Morse functions and nonzero analytic functions. In particular we do not need to assume that $h$ has a sign. △ Less

Submitted 8 August, 2018; originally announced August 2018.

Comments: 32 pages; comments welcome. arXiv admin note: substantial text overlap with arXiv:1707.08012

MSC Class: 53A10; 49J35; 53C42

Min-max theory for constant mean curvature hypersurfaces

Authors: Xin Zhou, Jonathan J. Zhu

Abstract: In this paper, we develop a min-max theory for the construction of constant mean curvature (CMC) hypersurfaces of prescribed mean curvature in an arbitrary closed manifold. As a corollary, we prove the existence of a nontrivial, smooth, closed, almost embedded, CMC hypersurface of any given mean curvature $c$. Moreover, if $c$ is nonzero then our min-max solution always has multiplicity one. In this paper, we develop a min-max theory for the construction of constant mean curvature (CMC) hypersurfaces of prescribed mean curvature in an arbitrary closed manifold. As a corollary, we prove the existence of a nontrivial, smooth, closed, almost embedded, CMC hypersurface of any given mean curvature $c$. Moreover, if $c$ is nonzero then our min-max solution always has multiplicity one. △ Less

Submitted 11 August, 2017; v1 submitted 25 July, 2017; originally announced July 2017.

Comments: 32 pages. More backgrounds and references added. Comments welcome!

MSC Class: 53A10; 49J35; 53C42

Moving-centre monotonicity formulae for minimal submanifolds and related equations

Authors: Jonathan J. Zhu

Abstract: Monotonicity formulae play a crucial role for many geometric PDEs, especially for their regularity theories. For minimal submanifolds in a Euclidean ball, the classical monotonicity formula implies that if such a submanifold passes through the centre of the ball, then its area is at least that of the equatorial disk. Recently Brendle and Hung proved a sharp area bound for minimal submanifolds when… ▽ More Monotonicity formulae play a crucial role for many geometric PDEs, especially for their regularity theories. For minimal submanifolds in a Euclidean ball, the classical monotonicity formula implies that if such a submanifold passes through the centre of the ball, then its area is at least that of the equatorial disk. Recently Brendle and Hung proved a sharp area bound for minimal submanifolds when the prescribed point is not the centre of the ball, which resolved a conjecture of Alexander, Hoffman and Osserman. Their proof involves asymptotic analysis of an ingeniously chosen vector field, and the divergence theorem. In this article we prove a sharp `moving-centre' monotonicity formula for minimal submanifolds, which implies the aforementioned area bound. We also describe similar moving-centre monotonicity formulae for stationary $p$-harmonic maps, mean curvature flow and the harmonic map heat flow. △ Less

Submitted 1 May, 2017; v1 submitted 26 April, 2017; originally announced April 2017.

Comments: 20 pages; added references

MSC Class: 35A16; 49Q05; 53C44

First stability eigenvalue of singular minimal hypersurfaces in spheres

Authors: Jonathan J. Zhu

Abstract: In this short note we extend an estimate due to J. Simons on the first stability eigenvalue of minimal hypersurfaces in spheres to the singular setting. Specifically, we show that any singular minimal hypersurface in $S^{n+1}$, which is not totally geodesic and satisfies the α-structural hypothesis, has first stability eigenvalue at most -2n, with equality if and only if it is a product of two rou… ▽ More In this short note we extend an estimate due to J. Simons on the first stability eigenvalue of minimal hypersurfaces in spheres to the singular setting. Specifically, we show that any singular minimal hypersurface in $S^{n+1}$, which is not totally geodesic and satisfies the α-structural hypothesis, has first stability eigenvalue at most -2n, with equality if and only if it is a product of two round spheres. The equality case was settled independently in the classical setting by Wu and Perdomo. △ Less

Submitted 4 December, 2016; v1 submitted 15 October, 2016; originally announced October 2016.

Comments: 13 pages; added references and a construction of Morgan-Ritore. arXiv admin note: text overlap with arXiv:1607.07760

MSC Class: 53A10; 53C42

On the entropy of closed hypersurfaces and singular self-shrinkers

Authors: Jonathan J. Zhu

Abstract: Self-shrinkers are the special solutions of mean curvature flow in $\mathbf{R}^{n+1}$ that evolve by shrinking homothetically; they serve as singularity models for the flow. The entropy of a hypersurface introduced by Colding-Minicozzi is a Lyapunov functional for the mean curvature flow, and is fundamental to their theory of generic mean curvature flow. In this paper we prove that a conjecture… ▽ More Self-shrinkers are the special solutions of mean curvature flow in $\mathbf{R}^{n+1}$ that evolve by shrinking homothetically; they serve as singularity models for the flow. The entropy of a hypersurface introduced by Colding-Minicozzi is a Lyapunov functional for the mean curvature flow, and is fundamental to their theory of generic mean curvature flow. In this paper we prove that a conjecture of Colding-Ilmanen-Minicozzi-White, namely that any closed hypersurface in $\mathbf{R}^{n+1}$ has entropy at least that of the round sphere, holds in any dimension $n$. This result had previously been established for the cases $n\leq 6$ by Bernstein-Wang using a carefully constructed weak flow. The main technical result of this paper is an extension of Colding-Minicozzi's classification of entropy-stable self-shrinkers to the singular setting. In particular, we show that any entropy-stable self-shrinker whose singular set satisfies Wickramasekera's $α$-structural hypothesis must be a round cylinder $\mathbf{S}^k(\sqrt{2k})\times \mathbf{R}^{n-k}$. △ Less

Submitted 26 July, 2016; originally announced July 2016.

Comments: 35 pages, comments welcome!

MSC Class: 53C44

On the rigidity of mean convex self-shrinkers

Authors: Qiang Guang, Jonathan J. Zhu

Abstract: Self-shrinkers model singularities of the mean curvature flow; they are defined as the special solutions that contract homothetically under the flow. Colding-Ilmanen-Minicozzi showed that cylindrical self-shrinkers are rigid in a strong sense - that is, any self-shrinker that is mean convex with uniformly bounded curvature on a large, but compact, set must be a round cylinder. Using this result, C… ▽ More Self-shrinkers model singularities of the mean curvature flow; they are defined as the special solutions that contract homothetically under the flow. Colding-Ilmanen-Minicozzi showed that cylindrical self-shrinkers are rigid in a strong sense - that is, any self-shrinker that is mean convex with uniformly bounded curvature on a large, but compact, set must be a round cylinder. Using this result, Colding and Minicozzi were able to establish uniqueness of blowups at cylindrical singularities, and provide a detailed description of the singular set of generic mean curvature flows. In this paper, we show that the bounded curvature assumption is unnecessary for the rigidity of the cylinder if either n is at most 6, or if the mean curvature is bounded below by a positive constant. These results follow from curvature estimates that we prove for strictly mean convex self-shrinkers. We also obtain a rigidity theorem in all dimensions for graphical self-shrinkers, and curvature estimates for translators of the mean curvature flow. △ Less

Submitted 30 March, 2016; originally announced March 2016.

Comments: 15 pages, comments welcome!

MSC Class: 53C44; 53C24

Journal ref: Int. Math. Res. Not. IMRN 2018, no. 20, 6406-6425

A metric for sets of trajectories that is practical and mathematically consistent

Authors: José Bento, Jia Jie Zhu

Abstract: Metrics on the space of sets of trajectories are important for scientists in the field of computer vision, machine learning, robotics, and general artificial intelligence. However, existing notions of closeness between sets of trajectories are either mathematically inconsistent or of limited practical use. In this paper, we outline the limitations in the current mathematically-consistent metrics,… ▽ More Metrics on the space of sets of trajectories are important for scientists in the field of computer vision, machine learning, robotics, and general artificial intelligence. However, existing notions of closeness between sets of trajectories are either mathematically inconsistent or of limited practical use. In this paper, we outline the limitations in the current mathematically-consistent metrics, which are based on OSPA (Schuhmacher et al. 2008); and the inconsistencies in the heuristic notions of closeness used in practice, whose main ideas are common to the CLEAR MOT measures (Keni and Rainer 2008) widely used in computer vision. In two steps, we then propose a new intuitive metric between sets of trajectories and address these limitations. First, we explain a solution that leads to a metric that is hard to compute. Then we modify this formulation to obtain a metric that is easy to compute while keeping the useful properties of the previous metric. Our notion of closeness is the first demonstrating the following three features: the metric 1) can be quickly computed, 2) incorporates confusion of trajectories' identity in an optimal way, and 3) is a metric in the mathematical sense. △ Less

Submitted 14 November, 2020; v1 submitted 12 January, 2016; originally announced January 2016.

Comments: Submitted to IEEE Transactions on Signal Processing

Minimal hypersurfaces with small first eigenvalue in manifolds of positive Ricci curvature

Authors: Jonathan J. Zhu

Abstract: In this paper we exhibit deformations of the hemisphere $S^{n+1}_+$, $n\geq 2$, for which the ambient Ricci curvature lower bound $\text{Ric}\geq n $ and the minimality of the boundary are preserved, but the first Laplace eigenvalue of the boundary decreases. The existence of these metrics suggests that any resolution of Yau's conjecture on the first eigenvalue of minimal hypersurfaces in spheres… ▽ More In this paper we exhibit deformations of the hemisphere $S^{n+1}_+$, $n\geq 2$, for which the ambient Ricci curvature lower bound $\text{Ric}\geq n $ and the minimality of the boundary are preserved, but the first Laplace eigenvalue of the boundary decreases. The existence of these metrics suggests that any resolution of Yau's conjecture on the first eigenvalue of minimal hypersurfaces in spheres would likely need to consider more geometric data than a Ricci curvature lower bound. △ Less

Submitted 15 October, 2016; v1 submitted 30 November, 2015; originally announced December 2015.

Comments: 30 pages; changes to sections 3.2, 3.3, typos fixed; to appear in J. Topol. Anal

MSC Class: 53C42; 58J50

Rigidity and Curvature Estimates for Graphical Self-shrinkers

Authors: Qiang Guang, Jonathan J. Zhu

Abstract: Self-shrinkers are hypersurfaces that shrink homothetically under mean curvature flow; these solitons model the singularities of the flow. It it presently known that an entire self-shrinking graph must be a hyperplane. In this paper we show that the hyperplane is rigid in an even stronger sense, namely: For $2 \leq n \leq 6$, any smooth, complete self-shrinker $Σ^n\subset\mathbf{R}^{n+1}$ that is… ▽ More Self-shrinkers are hypersurfaces that shrink homothetically under mean curvature flow; these solitons model the singularities of the flow. It it presently known that an entire self-shrinking graph must be a hyperplane. In this paper we show that the hyperplane is rigid in an even stronger sense, namely: For $2 \leq n \leq 6$, any smooth, complete self-shrinker $Σ^n\subset\mathbf{R}^{n+1}$ that is graphical inside a large, but compact, set must be a hyperplane. In fact, this rigidity holds within a larger class of almost stable self-shrinkers. A key component of this paper is the procurement of linear curvature estimates for almost stable shrinkers, and it is this step that is responsible for the restriction on $n$. Our methods also yield uniform curvature bounds for translating solitons of the mean curvature flow. △ Less

Submitted 20 October, 2015; originally announced October 2015.

Comments: 20 pages

MSC Class: 53C44; 53C24

Journal ref: Calc. Var. Partial Differential Equations 56 (2017), no. 6, 56:176

Reilly's type inequality for the Laplacian associated to a density related with shrinkers for MCF

Authors: M. Carmen Domingo-Juan, Vicente Miquel, Jonathan J. Zhu

Abstract: Let $(\bar{M},<,>,e^ψ)$ be a Riemannian manifold with a density, and let $M$ be a closed $n$-dimensional submanifold of $\bar{M}$ with the induced metric and density. We give an upper bound on the first eigenvalue $λ_1$ of the closed eigenvalue problem for $Δ_ψ$ (the Laplacian on $M$ associated to the density) in terms of the average of the norm of the vector ${\vec{H}}_{ψ} + {\bar \nabla}$ with r… ▽ More Let $(\bar{M},<,>,e^ψ)$ be a Riemannian manifold with a density, and let $M$ be a closed $n$-dimensional submanifold of $\bar{M}$ with the induced metric and density. We give an upper bound on the first eigenvalue $λ_1$ of the closed eigenvalue problem for $Δ_ψ$ (the Laplacian on $M$ associated to the density) in terms of the average of the norm of the vector ${\vec{H}}_{ψ} + {\bar \nabla}$ with respect to the volume form induced by the density, where ${\vec{H}}_{ψ}$ is the mean curvature of $M$ associated to the density $e^ψ$. When $\bar{M}=\Bbb R^{n+k}$ or $\bar{M}=S^{n+k-1}$, the equality between $λ_1$ and its bound implies that $e^ψ$ is a Gaussian density ($ψ(x) = \frac{C}{2} |x|^2$, $C<0$), and $M$ is a shrinker for the mean curvature flow (MCF) on $\Bbb R^{n+k}$. We prove also that $λ_1 =-C$ on the standard shrinker torus of revolution. Based on this and on the Yau's conjecture on the first eigenvalue of minimal submanifolds of $S^n$, we conjecture that the equality $λ_1=-C$ is true for all the shrinkers of MCF in $\mathbb{R}^{n+k}$. △ Less

Submitted 5 May, 2020; v1 submitted 4 March, 2015; originally announced March 2015.

Comments: 19 pages, 8 figures. This new version corrects the statement of Theorem 3 and fills a gap in the proof of Lemma 8, that now has changed completely. We have also added Theorem 9 which states that the approach to a shrinker torus by Angenent satisfies the hypotheses of Theorem 3. Moreover we have added an appendix with 8 new figures. There are also other minor corrections

MSC Class: 53C42; 52C21