Pith. sign in

REVIEW 2 major objections 3 minor 35 references

Convexity of mean convex asymptotically conical self-expanders to the mean curvature flow

T0 review · 2 major / 3 minor · reviewed 2026-08-05 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read This paper proves that a complete mean convex self-expander asymptotic to a mean convex weakly convex cone is strictly convex.

desk verdict Xie removes the 2-convex hypothesis from the convexity theorem for self-expanders; the proof is sound, with one imported decay estimate that deserves referee scrutiny. read the letter →

arxiv 2509.01023 v1 pith:52PTLPVN submitted 2025-08-31 math.DG

Junming Xie This is my paper · ORCID
classification math.DG MSC 53C4453C42
keywords self-expandersmeancurvatureflowconvexityprincipalcurvaturesasymptoticallyconicalmaximumprincipleCodazzitensorsstrict
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper proves that, in dimensions n≥3, any complete mean convex self-expander of the mean curvature flow that is asymptotic to a mean convex and weakly convex cone must be strictly convex: every principal curvature is positive everywhere. This upgrades an earlier weak-convexity theorem that required 2-convexity, and extends the known two-dimensional convexity statement to all higher dimensions. The argument rules out a negative infimum of the ratio of the smallest principal curvature to the mean curvature, both at interior points and at infinity. Interior minima are excluded by a maximum-principle argument applied to a smooth partial sum of the smallest principal curvatures; the infinity case is excluded by the convexity of the asymptotic cone, which forces the ratio to tend to zero at infinity.

What carries the argument

The central object is the partial sum λ_k = κ1 + ... + κ_k of the ordered principal curvatures. Because the ratio κ1/H can fail to be smooth where multiplicities of principal curvatures vary, the proof shifts to λ_k/H, which is smooth on the open set {κ_k < κ_{k+1}} via a spectral-projection argument. A key algebraic identity for Codazzi tensors shows that a curvature-gradient term in the drift Laplacian of the cutoff function φ(λ_k/H) is nonpositive, yielding an elliptic differential inequality. Combined with the strong maximum principle, this rules out negative interior infima. At infinity, the imported decay estimate—principal curvatures in the cone's flat directions decay like r^{-3} whi

What would settle it

The direct falsifier is an example: an n≥3 complete two-sided mean convex self-expander asymptotic to a mean convex weakly convex cone whose smallest principal curvature is negative somewhere. A concrete route is to compute κ1 along a rotationally symmetric self-expander asymptotic to a strictly convex double cone; finding a negative value at any interior radius would contradict Theorem 1.1.

Watch

Extended reading notes

Core claim

The paper's central result is Theorem 1.1: for n≥3, every complete immersed two-sided mean convex self-expander Σ^n in R^{n+1} that is asymptotic to a cone which is mean convex and weakly convex is strictly convex, meaning all principal curvatures are positive at every point. The proof first establishes weak convexity by contradiction, ruling out a negative infimum of the ratio κ1/H. Ruling out an interior infimum uses a maximum-principle argument for the smooth partial-sum ratio λ_k/H on the region where the k-th and (k+1)-th principal curvatures are separated. Ruling out an infimum at infinity uses the convexity of the asymptotic cone together with the decay rates of the principal curvatur

Load-bearing premise

The proof imports a decay estimate from an earlier paper: along an asymptotically conical self-expander, the principal curvatures in the cone's flat directions decay like r^{-3} while the mean curvature decays like r^{-1}; if this failed, the ratio κ1/H could remain negative at infinity and the argument would not close.

Editorial extensions

If this is right

  • Under the theorem, every such self-expander is a strictly convex hypersurface, so all n principal curvatures are positive at every point.
  • Because the expander is self-similar, the entire mean curvature flow {√tΣ} starting from it consists of strictly convex hypersurfaces, so positive curvature persists from the cone through the whole flow.
  • The ratio κ1/H can never have a negative infimum, neither at an interior point nor at infinity; the convexity of the asymptotic cone forces the ratio to zero at infinity.
  • The theorem extends the known two-dimensional convexity statement to all dimensions n≥3 and removes the stronger 2-convexity assumption used in the earlier weak-convexity proof.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The paper's elliptic inequality and algebraic identity are remarked to hold for self-shrinkers and translators as well; if the analogous asymptotics at infinity are available, similar strict-convexity statements should follow for those solitons.
  • The proof's dependence on the O(r^{-3}) decay suggests that dropping weak convexity of the cone should allow genuinely mean convex but non-convex self-expanders; the paper itself anticipates such examples but does not construct one.
  • The spectral-projection smoothing of partial sums of ordered principal curvatures is likely a standalone tool: in any setting with a Codazzi tensor whose ordered eigenvalues have gaps, partial sums are smooth across those gaps, which may help in other maximum-principle rigidity proofs.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 3 minor

Summary. The paper proves Theorem 1.1: for n ≥ 3, any complete immersed two-sided mean convex self-expander in R^{n+1} that is asymptotic to a regular, mean convex, weakly convex cone must be strictly convex. The proof first establishes weak convexity by contradiction, assuming a negative infimum of κ1/H. Case 1 (interior infimum) is ruled out via a new elliptic differential inequality for λk/H = (κ1+···+κk)/H, derived from a purely algebraic identity (Lemma 3.2) and a strong maximum principle argument (Lemma 3.4). Case 2 (infimum at infinity) is ruled out using a decay estimate (Lemma 2.6) imported from the author's prior work [35]. Strict convexity is then obtained from weak convexity by Hamilton's strong maximum principle and a splitting argument.

Significance. If the proof is correct, the result is a notable advance: it extends Smoczyk's two-dimensional convexity theorem to all dimensions and removes the 2-convexity assumption used in prior work [35], replacing it with mean convexity plus convexity of the asymptotic cone. The paper brings a genuinely new tool to the problem: Lemma 3.2, an algebraic identity for sums of the smallest principal curvatures that yields an elliptic inequality even when principal curvatures have multiplicities. The use of Derdziński/Singley and Kato's spectral projection to handle multiplicities is elegant and likely useful beyond this paper. The main theorem is falsifiable and would, if established, provide a clear picture of how curvature at infinity controls interior curvature for self-expanders.

major comments (2)
  1. [Section 4, Case 2 (Infinity Infimum), eqs. (4.1)–(4.2)] The entire Case 2 relies on Lemma 2.6, imported from [35, Lemma 4.2], which asserts that principal curvatures of the expander decay as O(r^{-3}) when the corresponding cone curvature is zero, and ≈ r^{-1} otherwise. This lemma is not re-derived here, and its statement as given does not specify (i) the exact hypotheses needed (in particular, whether it holds for all mean convex expanders or only under the 2-convexity assumption of [35]) or (ii) how the 'corresponding' principal curvatures are ordered along the graph parametrization of Lemma 2.5. Since this is the only step that rules out a negative infimum at infinity, a failure of either point would invalidate Theorem 1.1. Please provide a proof or a precise statement of Lemma 2.6 in the context of this paper, including a verification that the correspondence between ordered principal curvatures is maintained. The alternative argument via
  2. [Section 4, strict-convexity step] After showing rank(A) is locally constant and ker(A) is parallel, the paper asserts that 'by completeness, the local splitting extends globally.' Completeness alone does not imply a global product splitting unless the universal cover is trivial or the parallel distribution is globally integrable with a simply connected leaf. The argument should be expanded: for example, pass to the universal cover, obtain a global Euclidean factor, and then argue that the asymptotic cone would split off a line, contradicting the isolated singularity, as the author sketches. Without this justification, the conclusion that the self-expander splits off a line is not fully established.
minor comments (3)
  1. [Lemma 3.4, final lines] The text says 'LH + H(|A|^2 + 1) = 0, hence H ≡ 0.' More precisely, once H is constant, LH=0, so the equation gives H(|A|^2+1)=0, and since H>0 this forces H≡0. Please rephrase for clarity.
  2. [Section 4, eq. (4.2)] The alternative argument using the cone's ratio lacks a proof of the claimed limit (4.2). If the main argument via Lemma 2.6 is retained, this alternative can be removed or expanded into a self-contained argument.
  3. [Theorem 1.1 and Remark 1.1] The condition 'mean convex and weakly convex cones' is defined only in a remark. Since it is a central hypothesis, consider defining it directly in the theorem statement or immediately before it, so that the reader does not have to wait for the remark.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the derivation is self-contained apart from an imported, independent decay estimate from the author's prior work.

full rationale

The paper's central claim is that a complete two-sided mean convex self-expander asymptotic to a mean convex, weakly convex cone is strictly convex. The proof proceeds in two stages. First, weak convexity is established by contradiction. The interior infimum case (Case 1) is ruled out by Lemmas 4.1 and 3.4; Lemma 3.4 is proved inside the paper from the smoothness of λk on Σk (Lemma 2.3), the algebraic identity Lemma 3.2, and the elliptic inequality Lemma 3.3. Lemma 3.2 is derived purely from the Codazzi symmetry of the second fundamental form and does not assume the target theorem. Second, the infinity infimum case (Case 2) is ruled out using Lemma 2.6, imported from the author's earlier paper [35], which asserts that principal curvatures of an asymptotically conical self-expander decay as O(r^{-3}) when the corresponding cone curvature vanishes and as ≈ r^{-1} otherwise. This forces κ1/H → 0 at infinity. Although this is a load-bearing self-citation, it is not circular: Lemma 2.6 is a published, parameter-free statement whose stated assumptions (asymptotically conical self-expander with a regular cone) do not include the conclusion of weak convexity or strict convexity of Σ. The alternative argument in Case 2 uses only the assumed weak convexity of the asymptotic cone, which is an input hypothesis rather than the conclusion. The final strict-convexity step invokes Hamilton's strong maximum principle and a standard splitting argument, following [8]; again, this is an application of an external principle, not a restatement of the theorem. No fitted parameter is relabeled as a prediction, and no new coordinate system merely renames a known result. The only identifiable verification concern is whether Lemma 2.6's hypotheses in [35] match the present setting, but that is a correctness/assumption-checking question, not a circularity of the present derivation.

Assumptions & free parameters 0 free parameters · 7 assumptions · 0 invented entities

The paper introduces no new free parameters or invented entities. The proof rests on standard geometric analysis tools (Codazzi tensor theory, Kato spectral theory, Hamilton's maximum principle) plus two structural assumptions: the decay estimate from the author's prior paper [35] and real analyticity of complete self-expanders. These are reasonable but some are asserted rather than proved in the text.

assumptions (7)
  • standard math The principal curvatures of a Codazzi tensor are continuous on Σ and smooth on an open dense subset ΣA; eigendistributions are integrable and differentiable (Derdziński and Singley).
    Used in Section 2.1 to justify local computations with multiplicities.
  • standard math Kato's spectral projection theorem: the trace of the compressed operator P A P is smooth when the curve γ separates exactly k eigenvalues.
    Proves Lemma 2.3 that λk is smooth on Σk.
  • domain assumption The self-expander identities LH + H(|A|^2+1)=0 and LA + A(|A|^2+1)=0 (Lemma 2.4).
    Derived from the self-expander equation H = <x,ν>; used throughout Section 3.
  • domain assumption Hamilton's strong maximum principle for nonnegative tensors evolving by the MCF, and its consequence that the kernel of A(t) is parallel where the rank is constant.
    Used in Section 4 to go from weak to strict convexity; standard but not re-proved.
  • domain assumption Complete immersed self-expanders are real analytic.
    Essential for extending the local product splitting to a global Euclidean factor in the strict-convexity step; asserted without proof or citation.
  • domain assumption Curvature decay Lemma 2.6 from Xie-Yu [35]: κ_i = O(r^{-3}) if the cone's i-th principal curvature is zero, and κ_i ≈ r^{-1} otherwise.
    Load-bearing for ruling out the infimum-at-infinity case in the proof of Theorem 1.1; imported from the author's prior published work.
  • domain assumption Asymptotically conical self-expanders are graphs over their asymptotic cone outside a compact set, with decay |∇^i u| = O(r^{-i-1}) (Lemma 2.5).
    Used to transfer the principal curvature asymptotics from the cone to the expander and to justify equation (4.2).

how reviews work

0 comments
Cite this review

Pith. "Pith review of Convexity of mean convex asymptotically conical self-expanders to the mean curvature flow." pith.science (2026). https://pith.science/paper/52PTLPVN

@misc{pith2026250901023,
  author       = {Pith},
  title        = {Pith review of: Convexity of mean convex asymptotically conical self-expanders to the mean curvature flow},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/52PTLPVN}},
  note         = {Machine review of arXiv:2509.01023}
}
abstract

In this paper, we investigate the convexity of mean convex asymptotically conical self-expanders to the mean curvature flow in $\mathbb{R}^{n+1}$. Specifically, for $n\geq 3$, we show that any $n$-dimensional complete mean convex self-expander asymptotic to mean convex and weakly convex cones must be strictly convex.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

35 extracted references · 34 canonical work pages

  1. [35]

    Xie, J.; Yu, J., Convexity of 2-convex translating and expanding solitons to the mean curva- ture flow in Rn+1, J. Geom. Anal. 33 (2023), no. 8, Paper No. 252, 19 pp. Department of Mathematics, Rutgers University, Piscataway, NJ 08854 Email address : junming.xie@rutgers.edu

    work page 2023

  2. [1]

    B.; Chopp, D

    Angenent, S. B.; Chopp, D. L.; Ilmanen, T., A computed example of non-uniqueness of mean curvature flow in R3, Comm. Partial Differential Equations 20 (1995), no. 11-12, 1937–1958

    work page 1995

  3. [2]

    Bernstein, J.; Chen, L.; Wang, L., Existence of monotone Morse flow lines of the expander functional, preprint (2024), arXiv:2404.08541

    work page Pith review arXiv 2024

  4. [3]

    Bernstein, J.; Wang, L., The space of asymptotically conical self-expanders of mean curvature flow, Math. Ann. 380 (2021), no. 1-2, 175–230

    work page 2021

  5. [4]

    Bernstein, J.; Wang, L., Smooth compactness for spaces of asymptotically conical self- expanders of mean curvature flow , Int. Math. Res. Not. IMRN 2021, no. 12, 9016–9044

    work page 2021

  6. [5]

    Bernstein, J.; Wang, L., A mountain-pass theorem for asymptotically conical self-expanders , Peking Math. J. 5 (2022), no. 2, 213–278

    work page 2022

  7. [6]

    Bernstein, J.; Wang, L., Topological uniqueness for self-expanders of small entropy , Camb. J. Math. 10 (2022), no. 4, 785–833

    work page 2022

  8. [7]

    Bernstein, J.; Wang, L., An integer degree for asymptotically conical self-expanders , Calc. Var. Partial Differential Equations 62 (2023), no. 7, Paper No. 200, 46 pp

    work page 2023

Show all 35 references
  1. [8]

    Cao, H.-D.; Xie, J., Four-dimensional gradient Ricci solitons with (half ) nonnegative isotropic curvature, J. Math. Pures Appl. (9) 197 (2025), Paper No. 103686, 21 pp

    2025

  2. [9]

    Cao, H.-D.; Xie, J., On the geometry and classification of complete gradient expanding Ricci solitons, in preparation

  3. [10]

    Cao, H.-D.; Zhu, X.-P., A complete proof of the Poincar´ e and geometrization conjectures –application of the Hamilton-Perelman theory of the Ricci flow , Asian J. Math. 10 (2006), no. 2, 165–492

    2006

  4. [11]

    Cheng, X.; Zhou, D., Spectral properties and rigidity for self-expanding solutions of the mean curvature flows, Math. Ann. 371 (2018), no. 1-2, 371–389

    2018

  5. [12]

    C.,Stability of mean convex cones under mean curvature flow , Math

    Clutterbuck, J.; Schn¨ urer, O. C.,Stability of mean convex cones under mean curvature flow , Math. Z. 267 (2011), no. 3-4, 535–547

    2011

  6. [13]

    Derdzi´ nski, A.,Classification of certain compact Riemannian manifolds with harmonic cur- vature and non-parallel Ricci tensor , Math. Z. 172 (1980), no. 3, 273–280

    1980

  7. [14]

    Deruelle, A.; Schulze, F., Generic uniqueness of expanders with vanishing relative entropy , Math. Ann. 377 (2020), no. 3-4, 1095–1127

    2020

  8. [15]

    Ding, Q., Minimal cones and self-expanding solutions for mean curvature flows , Math. Ann. 376 (2020), no. 1-2, 359–450

    2020

  9. [16]

    Ecker, K.; Huisken, G., Mean curvature evolution of entire graphs , Ann. Math. (2) 130 (1989), no. 3, 453–471

    1989

  10. [17]

    T.-H.; McGrath, P., Rotational symmetry of asymptotically conical mean curvature flow self-expanders, Commun

    Fong, F. T.-H.; McGrath, P., Rotational symmetry of asymptotically conical mean curvature flow self-expanders, Commun. Anal. Geom. 27 (2019), no. 3, 599–618

    2019

  11. [18]

    Differential Geom

    Hamilton, R., Four-manifolds with positive curvature operator , J. Differential Geom. 24 (1986), no. 2, 153–179

    1986

  12. [19]

    Differential Geom

    Hamilton, R., Harnack estimate for the mean curvature flow, J. Differential Geom. 41 (1995), 215–226

    1995

  13. [20]

    thesis, University of Warwick (2012)

    Helmensdorfer, S., Solitons of geometric flows and their applications, Ph.D. thesis, University of Warwick (2012)

    2012

  14. [21]

    Hoffman, D.; Ilmanen, T.; Mart ´ ın, F.; White, B., Graphical translators for mean curvature flow, Calc. Var. Partial Differential Equations 58 (2019), no. 4, Paper No. 117, 29 pp

    2019

  15. [22]

    Ilmanen, T., Lectures on mean curvature flow and related equations , unpublished notes (1995)

    1995

  16. [23]

    Kato, T., Perturbation theory for linear operators , Die Grundlehren der mathematischen Wissenschaften, Band 132, Springer-Verlag New York, Inc., New York, 1980

    1980

  17. [24]

    Reine Angew

    Khan, I., Uniqueness of asymptotically conical higher codimension self-shrinkers and self- expanders, J. Reine Angew. Math. 805 (2023), 55–99

    2023

  18. [25]

    D.; Neves, A., Uniqueness of Lagrangian self-expanders , Geom

    Lotay, J. D.; Neves, A., Uniqueness of Lagrangian self-expanders , Geom. Topol. 17 (2013), no. 5, 2689–2729

    2013

  19. [26]

    Rasul, K., Slow convergence of graphs under mean curvature flow , Commun. Anal. Geom. 18 (2010), no. 5, 987–1008

    2010

  20. [27]

    Shao, G.; Zou, J., Self-expanders of positive genus , preprint (2025), arXiv:2507.19428

    2025 arXiv

  21. [28]

    1, 135–144

    Singley, D., Smoothness theorems for the principal curvatures and principal vectors of a hypersurface, Rocky Mountain Journal of Mathematics 5 (1975), no. 1, 135–144. CONVEXITY OF MEAN CONVEX SELF-EXPANDERS 19

    1975

  22. [29]

    Smoczyk, K., Self-expanders of the mean curvature flow , Vietnam J. Math. 49 (2021), no. 2, 433–445

    2021

  23. [30]

    Spruck, J.; Sun, L., Convexity of 2-convex translating solitons to the mean curvature flow in Rn+1, J. Geom. Anal. 31 (2021), no. 4, 4074–4091

    2021

  24. [31]

    Spruck, J.; Xiao, L., Complete translating solitons to the mean curvature flow in R3 with nonnegative mean curvature, Amer. J. Math. 142 (2020), no. 3, 993–1015

    2020

  25. [32]

    Reine Angew

    Stavrou, N., Self-similar solutions to the mean curvature flow , J. Reine Angew. Math. 499 (1998), 189–198

    1998

  26. [33]

    Wang, Z., Mean convex smoothing of mean convex cones , Geom. Funct. Anal. 34 (2024), 263–301

    2024

  27. [34]

    thesis, Lehigh University (2023)

    Xie, J., Shrinking and expanding self-similar solutions to the Ricci flow and the mean cur- vature flow, Ph.D. thesis, Lehigh University (2023)

    2023

Pith tools

Reviewed August 5, 2026 · model on record in the stance chip above.