Pith. sign in

REVIEW 1 major objections 6 minor 26 references

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

T0 review · 1 major / 6 minor · reviewed 2026-07-30 · grok-4.5

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

Pith's one-line read Strictly convex free-boundary hypersurfaces in the unit ball under α-Gauss curvature flow extinct at a boundary point, and for α>1/(n+2) the volume-normalized flow converges smoothly to the unit hemisphere.

desk verdict Solid free-boundary extension of the superaffine Gauss-curvature program; the Cayley perturbation is controlled by almost-monotone entropy without circular C^{2} bounds, and the only slip found strengthens the claim. read the letter →

arxiv 2607.26923 v1 pith:NFAEQ2RZ submitted 2026-07-29 math.DG

Tianci Luo , Yong Wei , Rong Zhou This is my paper · ORCID
classification math.DG MSC 53E1053C4235K55
keywords Gausscurvatureflowfreeboundaryconvexhypersurfacesentropyalmost-monotonicityunitballCayleymaphemisphere
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

This paper studies strictly convex hypersurfaces inside the unit ball that meet the sphere at a right angle and shrink by a power of Gauss curvature. For every positive power the surface stays strictly convex, dies in finite time, and collapses to a single point on the sphere. When the power is larger than the affine threshold 1/(n+2), the authors flatten the sphere by a Cayley conformal map, normalize the enclosed half-space volume, and prove that the rescaled surfaces converge smoothly to the unit hemisphere. The result extends the classical closed Euclidean picture to a curved free-boundary setting, where the conformal change of the speed must be controlled without assuming curvature bounds in advance.

What carries the argument

An almost-monotonicity formula for a half-space entropy after the Cayley map: the conformal factor Θ in the normalized speed is controlled only after integration by parts, with error bounded by the integrable unnormalized diameter, so entropy converges and yields C^0–C^1 bounds without prior pointwise curvature estimates.

What would settle it

Exhibit a smooth strictly convex free-boundary initial surface in the ball for some α>1/(n+2) whose volume-normalized half-space flow either fails to stay uniformly convex, fails to have converging entropy, or converges to a non-hemispherical soliton.

Watch

Extended reading notes

Core claim

For every α>0 a smooth strictly convex free-boundary hypersurface in the unit ball evolving by ∂tX=−K^α ν remains strictly convex, extincts in finite time, and contracts in Hausdorff distance to one point on the support sphere. If α>1/(n+2), after sending that point to the origin of a half-space by a Cayley map and normalizing half-space volume, the normalized hypersurfaces converge smoothly to the unit hemisphere (equivalently, normalized support functions converge to the constant 1 on the hemisphere).

Load-bearing premise

The conformal factor in the normalized speed can be controlled by integrable diameter decay after integration by parts, without needing curvature bounds beforehand; if that integral error estimate fails, the entropy limit and the later curvature theory collapse.

Editorial extensions

If this is right

  • Finite-time extinction to a single boundary point holds for every power α>0, not only the superaffine range.
  • In the same superaffine range as the closed Euclidean theory, free-boundary Gauss-curvature flow in the ball has hemispherical asymptotics after normalization.
  • Boundary identities for orthogonal spherical free boundaries, together with a boundary-adapted Tso quotient, give two-sided curvature control once the inradius is positive.
  • Even reflection across the flat wall converts the half-space soliton into a closed shrinker classifiable by the known sphere theorem.

Reading between the lines

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

  • The same Cayley-plus-entropy strategy may apply to other fully nonlinear free-boundary flows in the ball whose speeds transform with a controllable conformal factor.
  • The critical power α=1/(n+2) is left open here, as in much of the closed theory; affine-normal free-boundary asymptotics would be the natural next threshold.
  • Capillary (non-orthogonal) contact angles would break the exact Neumann condition after the Cayley map and likely need a different entropy or barrier argument.
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

1 major / 6 minor

Summary. The paper studies the α-Gauss curvature flow ∂_t X = −K^α ν for smooth, compact, strictly convex hypersurfaces in the unit ball meeting the support sphere orthogonally. For every α > 0 it proves that the flow remains strictly convex, extincts in finite time, and contracts in Hausdorff distance to a single point p ∈ S^n. For α > 1/(n+2), after rotating p to −e_{n+1}, applying a Cayley-type conformal map to the Euclidean half-space, and normalizing enclosed half-space volume, the normalized hypersurfaces converge smoothly to the unit hemisphere (equivalently, normalized support functions converge to the constant 1 on S^n_+). The argument proceeds via boundary identities, a boundary-adapted Tso estimate, finite-time contraction by radius comparison, an almost-monotonicity formula for a half-space entropy that absorbs the conformal perturbation, and uniform curvature estimates leading to classification of the reflected limit by Brendle–Choi–Daskalopoulos.

Significance. Fully nonlinear free-boundary Gauss curvature flows with curved support are substantially less developed than the closed Euclidean theory or free-boundary mean curvature flows. The paper establishes the natural free-boundary analogue of the closed superaffine theory (α > 1/(n+2)) in the unit ball, including finite-time extinction for all α > 0 and smooth hemispherical asymptotics in the superaffine range. The main technical contribution is control of the conformal factor Θ = Λ^{nα+1} det(Id + ρqB)^α after the Cayley reduction without a priori C² bounds, via an almost-monotonicity formula whose error is integrable in the unnormalized diameter, together with a free-boundary Minkowski–Reilly inequality and Andrews-type monotonicity for 1/(n+2) < α < 1. The result sits cleanly in the line of Andrews–Guan–Ni, Brendle–Choi–Daskalopoulos, Chen–Huang, and the recent capillary work of Mei–Wang–Weng, and is a solid contribution to geometric flows.

major comments (1)
  1. [§6.2, Lemma 6.4, Eq. (6.25)] Lemma 6.4, Step 1, Eq. (6.25): from W = Λ^{nα+1} bK^α and ω_η = −μ_η (log Λ)_η one obtains p_η B_ηη,η = (log Λ)_η (n + 1/α − μ_η tr bB), whereas the manuscript writes (n+1)/α. With the corrected coefficient, μ_η tr bB ≤ n < n + 1/α for every α > 0, so the boundary contradiction B_ηη,η < 0 is stricter than stated and imposes no extra restriction on α. The central C² claim is unaffected, but the displayed identity should be corrected before publication.
minor comments (6)
  1. [Abstract / §1] In the introduction and abstract the range is written α > 1/(n+2); ensure consistent typesetting of the fraction throughout (sometimes 1/n+2 appears without parentheses in intermediate text).
  2. [§1.2 / Figure 1] Figure 1 is referenced as illustrating the Cayley-type conformal map but is not described in the text beyond the caption placeholder; a brief sentence explaining the image of the free boundary and extinction point would help readers.
  3. [§5.3, Lemma 5.4] Lemma 5.4 cites Dauge [17] for H² regularity of the Neumann problem on a right dihedral domain; a one-line pointer to the precise statement used (edge angle π/2, smooth Neumann data) would make the appeal easier to check.
  4. [§4.2] In §4.2 the factor 2^{-(nα+1)} appears in the speed transformation and then drops out of the normalized support-function equation after absorption into ζ; a short remark that the constant is absorbed into the normalizing integral would avoid momentary confusion.
  5. [§5.4, Lemma 5.9] Several consecutive displays in §5.4 (e.g. around (5.35)–(5.37)) are dense; splitting the Hölder comparison from the (1−J) estimate into two short lemmas would improve readability without changing the argument.
  6. [Front matter] Typographical: “FULL MANUSCRIPT” header artifacts and occasional missing spaces in titles (e.g. “FREE BOUNDAR Y”, “CUR V A TURE”) should be cleaned in the production version.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: pure geometric-flow existence/convergence theorem with external classification black box

full rationale

The paper proves finite-time extinction for every α>0 and smooth hemispherical asymptotics for α>1/(n+2) by a self-contained analytic chain: boundary identities and a boundary-adapted Tso estimate give contraction to a point; a Cayley map plus half-space volume normalization produces a support-function flow; almost-monotonicity of a half-space entropy (with integrable diameter error controlling the conformal factor Θ without a priori C² bounds) yields C⁰/C¹ bounds; shifted Tso and spectral estimates give uniform curvature; parabolic regularity and subsequential limits satisfy the half-space soliton equation. The only external load-bearing input is the Brendle–Choi–Daskalopoulos classification of closed shrinkers after even reflection across the flat wall—an independent theorem by other authors, not a self-citation or a quantity fitted to force the hemisphere. No parameter is tuned to data, no prediction is definitionally forced by its inputs, and the entropy/volume normalizations are derived rather than assumed. Score 0 is appropriate.

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

The paper is a theorem in smooth differential geometry. It rests on standard parabolic maximum principles, convex hypersurface theory, conformal transformation laws, entropy geometry of Andrews–Guan–Ni, the Brendle–Choi–Daskalopoulos shrinker classification, Stahl’s free-boundary short-time existence framework, Chou–Wang radius comparison, and elliptic regularity for Neumann problems on domains with right-angle edges. No free parameters are fitted. No new physical entities are postulated.

assumptions (7)
  • domain assumption Short-time existence and uniqueness for the free-boundary α-Gauss curvature flow follow from Stahl’s generalized Gaussian coordinates plus uniform parabolicity under strict convexity (linearization Ġ^{ij}=αK^α b^{ij}).
    Invoked in §1.1; the paper sketches the reduction but does not reprove Stahl’s implicit-function argument in full.
  • domain assumption Brendle–Choi–Daskalopoulos classification: smooth closed uniformly convex shrinkers for α-Gauss curvature flow with α>1/(n+2) are round spheres.
    Used in §7 after even reflection of the half-space soliton to conclude the limit is the unit hemisphere.
  • domain assumption Andrews–Guan–Ni entropy geometry for closed convex bodies of fixed volume (unique entropy point, radius/width bounds, stability of entropy point).
    Applied to the doubled half-body in Proposition 5.1 to get half-space entropy properties.
  • domain assumption Chou–Wang lemma: for closed convex bodies with principal curvatures bounded below, r_+² ≤ C r_−.
    Used after edge-rounding in Lemma 3.6 and again for unnormalized diameter decay in Lemma 5.2.
  • standard math H² regularity for the Neumann problem on a domain with a codimension-two right-angle edge (Dauge).
    Cited in the proof of the free-boundary Minkowski–Reilly inequality (Lemma 5.4) to justify integration by parts.
  • domain assumption Initial hypersurface is smooth, compact, strictly convex, and meets S^n orthogonally; n≥2; α>0 (and α>1/(n+2) for asymptotics).
    Standing hypotheses of Theorem 1.1 and the evolution (1.2).
  • standard math Standard evolution equations for curvature flows (speed, Weingarten map, support function, area element) and Codazzi–Gauss identities.
    Collected in §2 and used throughout.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Free boundary flows by powers of the Gauss curvature in the unit ball." pith.science (2026). https://pith.science/paper/NFAEQ2RZ

@misc{pith2026260726923,
  author       = {Pith},
  title        = {Pith review of: Free boundary flows by powers of the Gauss curvature in the unit ball},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/NFAEQ2RZ}},
  note         = {Machine review of arXiv:2607.26923}
}
abstract

We study smooth compact strictly convex hypersurfaces in the unit ball that meet the support sphere orthogonally and evolve by the $\alpha$-Gauss curvature flow $\partial_tX=-K^\alpha\nu$, $\alpha>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 $\alpha >\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.

Figures

Figures reproduced from arXiv: 2607.26923 by the authors.

Figure 1
Figure 1. The Cayley-type conformal map We overcome it by proving an almost-monotonicity formula for a half-space entropy. Instead of estimating det(Id +ρqB) pointwise, we control its contribution after integration by parts. The resulting error is bounded by the unnormalized diameter, which decays integrably in the normalized time. The argument takes different forms in the two ranges of α. If α ≥ 1, the gradient term produced… view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

26 extracted references · 2 linked inside Pith

  1. [1]

    Ben Andrews,Contraction of convex hypersurfaces in Euclidean space, Calc. Var. Partial Differential Equations2(1994), 151–171

    1994

  2. [2]

    Differential Geom.43(1996), no

    ,Contraction of convex hypersurfaces by their affine normal, J. Differential Geom.43(1996), no. 2, 207–230

    1996

  3. [3]

    Math.138(1999), no

    ,Gauss curvature flow: the fate of the rolling stones, Invent. Math.138(1999), no. 1, 151–161

    1999

  4. [4]

    Math.195(2000), no

    ,Motion of hypersurfaces by Gauss curvature, Pacific J. Math.195(2000), no. 1, 1–34

    2000

  5. [5]

    Ben Andrews and Xuzhong Chen,Surfaces moving by powers of Gauss curvature, Pure Appl. Math. Q.8(2012), no. 4, 825–834

    2012

  6. [6]

    206, American Mathematical Society, Providence, RI, [2020] ©2020

    Ben Andrews, Bennett Chow, Christine Guenther, and Mat Langford,Extrinsic geometric flows, Graduate Studies in Mathematics, vol. 206, American Mathematical Society, Providence, RI, [2020] ©2020

    2020

  7. [7]

    Math.299 (2016), 174–201

    Ben Andrews, Pengfei Guan, and Lei Ni,Flow by powers of the Gauss curvature, Adv. Math.299 (2016), 174–201

    2016

  8. [8]

    Simon Brendle, Kyeongsu Choi, and Panagiota Daskalopoulos,Asymptotic behavior of flows by powers of the Gaussian curvature, Acta Math.219(2017), 1–16

    2017

Show all 26 references
  1. [9]

    Georgiana Chatzigeorgiou and Emmanouil Milakis,Regularity for fully nonlinear parabolic equations with oblique boundary data, Rev. Mat. Iberoam.37(2021), no. 2, 775–820

    2021

  2. [10]

    Min Chen and Jiuzhou Huang,Flow by powers of the Gauss curvature in space forms, Adv. Math. 442(2024), 109579

    2024

  3. [11]

    Math.397(2022), Paper No

    Beomjun Choi, Kyeongsu Choi, and Panagiota Daskalopoulos,Convergence of Gauss curvature flows to translating solitons, Adv. Math.397(2022), Paper No. 108207, 30

    2022

  4. [12]

    Differ- ential Geom.127(2024), no

    ,Uniqueness of ancient solutions to Gauss curvature flow asymptotic to a cylinder, J. Differ- ential Geom.127(2024), no. 1, 77–104

    2024

  5. [13]

    Kyeongsu Choi and Panagiota Daskalopoulos,Uniqueness of closed self-similar solutions to the Gauss curvature flow, arXiv:1609.05487 (2016)

    2016 arXiv

  6. [14]

    Reine Angew

    Kyeongsu Choi, Panagiota Daskalopoulos, Lami Kim, and Ki-Ahm Lee,The evolution of complete non-compact graphs by powers of Gauss curvature, J. Reine Angew. Math.757(2019), 131–158

    2019

  7. [15]

    Differ- ential Geom.22(1985), no

    Bennett Chow,Deforming convex hypersurfaces by thenth root of the Gaussian curvature, J. Differ- ential Geom.22(1985), no. 1, 117–138

    1985

  8. [16]

    Kai-Seng Chou and Xu-Jia Wang,A logarithmic Gauss curvature flow and the Minkowski problem, Ann. Inst. H. Poincar´ e C Anal. Non Lin´ eaire17(2000), no. 6, 733–751. 52 T. LUO, Y. WEI, AND R. ZHOU

    2000

  9. [17]

    1341, Springer-Verlag, Berlin, 1988

    Monique Dauge,Elliptic boundary value problems on corner domains: smoothness and asymptotics of solutions, Lecture Notes in Mathematics, vol. 1341, Springer-Verlag, Berlin, 1988

    1988

  10. [18]

    Firey,Shapes of worn stones, Mathematika21(1974), 1–11

    William J. Firey,Shapes of worn stones, Mathematika21(1974), 1–11

    1974

  11. [19]

    Pengfei Guan and Lei Ni,Entropy and a convergence theorem for Gauss curvature flow in high di- mension, J. Eur. Math. Soc. (JEMS)19(2017), no. 12, 3735–3761

    2017

  12. [20]

    Yingxiang Hu, Haizhong Li, Yong Wei, and Tailong Zhou,Contraction of surfaces in hyperbolic space and in sphere, Calc. Var. Partial Differential Equations59(2020), no. 5, Paper No. 172, 32

    2020

  13. [21]

    McCoy,Curvature contraction flows in the sphere, Proc

    James A. McCoy,Curvature contraction flows in the sphere, Proc. Amer. Math. Soc.146(2018), no. 3, 1243–1256

    2018

  14. [22]

    arXiv:2506.09840

    Xinqun Mei, Guofang Wang, and Liangjun Weng,The capillary Gauss curvature flow, 2025. arXiv:2506.09840

    2025 arXiv

  15. [23]

    Axel Stahl,Regularity estimates for solutions to the mean curvature flow with a Neumann boundary condition, Calc. Var. Partial Differential Equations4(1996), 385–407

    1996

  16. [24]

    ,Convergence of solutions to the mean curvature flow with a Neumann boundary condition, Calc. Var. Partial Differential Equations4(1996), no. 5, 421–441

    1996

  17. [25]

    Pure Appl

    Kaising Tso,Deforming a hypersurface by its Gauss–Kronecker curvature, Comm. Pure Appl. Math. 38(1985), 867–882

    1985

  18. [26]

    Guofang Wang and Chao Xia,Guan–Li type mean curvature flow for free boundary hypersurfaces in a ball, Comm. Anal. Geom.30(2022), 2157–2174. School of Mathematical Sciences, University of Science and Technology of China, Hefei 230026, P.R. China Email address:Luo tianci@mail.us...

    2022

Pith tools

Reviewed July 30, 2026 · model on record in the stance chip above.