Parabolic rectifiability of the Brakke flow

Myles Workman; Yu Tong Liu

Parabolic rectifiability of the Brakke flow

T0 review · 0 major / 3 minor · reviewed 2026-06-26 · grok-4.3

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

Pith's one-line read The support of the canonical space-time measure for a Brakke flow is a parabolic (k+2)-rectifiable set.

desk verdict The paper proves parabolic rectifiability of the space-time measure support for Brakke flows and shows equivalence between Ilmanen convergence and space-time-Grassmann measure convergence. read the letter →

arxiv 2606.22441 v1 pith:ARXXRKMR submitted 2026-06-21 math.DG math.AP

Yu Tong Liu , Myles Workman This is my paper · ORCID

classification math.DGmath.AP

keywords Brakkeflowparabolicrectifiabilitymeancurvaturespace-timemeasureGrassmannvarifoldconvergencetangentflows

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 shows that the support of the canonical space-time measure tied to a Brakke flow is parabolic (k+2)-rectifiable. A reader would care because this structure pins down how the flow occupies space-time in a measurable way. The rectifiability immediately yields that almost every point admits a unique static planar tangent flow and that several density notions coincide there. The work further equates the usual compactness convergence of Brakke flows with convergence of the associated space-time-Grassmann Radon measures.

What carries the argument

The canonical space-time measure built from the space-time-Grassmann measure of the Brakke flow.

What would settle it

A concrete Brakke flow whose canonical space-time measure has support that fails to be parabolic (k+2)-rectifiable on a positive-measure subset of points would disprove the main claim.

Watch

Extended reading notes

Core claim

The support of the canonical space-time measure for a Brakke flow is a parabolic (k+2)-rectifiable set. As a direct consequence, at almost all points with respect to this measure there exists a unique static planar tangent flow, and multiple density notions agree. The standard convergence of Brakke flows is equivalent to convergence of the corresponding space-time-Grassmann Radon measures, supplying an alternate notion of varifold convergence.

Load-bearing premise

The Brakke flow admits a well-defined canonical space-time measure whose properties follow from Ilmanen's compactness theorem and the prior space-time-Grassmann construction.

Editorial extensions

If this is right

At almost every point in the support there is a unique static planar tangent flow.
Various density notions for the flow coincide at those points.
Standard Brakke-flow convergence is equivalent to convergence of the space-time-Grassmann Radon measures.

Reading between the lines

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

The result supplies a measurable space-time structure that may be used to track how singularities develop along the flow.
The equivalence of convergence notions offers a different route to compactness arguments for geometric flows.

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, simulated authors' rebuttal, and a circularity audit.

Desk Editor's Note

read the letter

The two main things here are the parabolic (k+2)-rectifiability of the support of the canonical space-time measure, and the equivalence between the usual Brakke flow convergence from Ilmanen's compactness theorem and convergence of the authors' space-time-Grassmann Radon measures.

The rectifiability statement is new and immediately gives unique static planar tangent flows at almost every point with respect to that measure, plus agreement of various density notions. The convergence equivalence is also new and supplies an alternate varifold-type notion to the one in Ilmanen 7.1(ii). Both results sit inside the authors' ongoing development of the space-time-Grassmann measure framework from their prior paper.

The work is a direct continuation that extracts clean consequences from the measure construction. It handles the parabolic scaling correctly and stays within the established Brakke flow program without overclaiming. The dependence on Ilmanen's theorem and the authors' own earlier measure is stated plainly, so the circularity burden stays moderate rather than hidden.

The soft spot is that everything rests on the prior space-time-Grassmann construction being solid; any gap there would propagate. The abstract gives no proof steps or error estimates, so the actual argument needs checking for how it manages the parabolic Hausdorff measure and the Grassmannian-valued part at singular times. No load-bearing contradiction or unverified assumption jumps out from the stated claims.

This is for specialists in mean curvature flow regularity and geometric measure theory who already work with Brakke flows or varifold convergence. Readers focused on tangent flows or density questions will find the rectifiability and equivalence useful. It is a focused, technically grounded increment that deserves a serious referee to verify the details of the rectifiability proof and the convergence equivalence.

Referee Report

0 major / 3 minor

Summary. The manuscript proves that the support of the canonical space-time measure for a Brakke flow is a parabolic (k+2)-rectifiable set. As a consequence, at almost every point with respect to this measure there exists a unique static planar tangent flow and various density notions agree. It further establishes the equivalence between the standard convergence of Brakke flows (from Ilmanen's compactness theorem) and convergence of the associated space-time-Grassmann Radon measures, providing an alternate notion of varifold convergence.

Significance. If the central rectifiability result holds, the work advances the regularity theory of Brakke flows by furnishing a space-time rectifiability statement that yields control on tangent flows and densities. The equivalence of convergence notions supplies a technically useful alternative to the varifold convergence in Ilmanen (1994, Thm. 7.1), extending the authors' prior construction of the space-time-Grassmann measure. The paper appropriately builds on established compactness results rather than introducing new ad-hoc assumptions.

minor comments (3)

[Abstract] The abstract refers to 'our previous work' on the space-time-Grassmann measure without a full bibliographic citation; adding the precise reference in the abstract would improve immediate readability.
Notation for the canonical space-time measure and the space-time-Grassmann measure is introduced gradually; a short preliminary section or table collecting the main objects and their relations would aid readers transitioning from Ilmanen's framework.
In the statement of the equivalence of convergence notions, the precise topology on the space of Radon measures is not restated; a one-sentence reminder of the weak-* topology used would clarify the comparison with Ilmanen 7.1(ii).

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary, significance assessment, and recommendation of minor revision. No specific major comments were provided in the report.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity; derivation self-contained

full rationale

The paper's central claim—that the support of the canonical space-time measure is parabolic (k+2)-rectifiable—is presented as a new result building on Ilmanen's compactness theorem and the authors' prior space-time-Grassmann measure paper. No equation, definition, or load-bearing step in the abstract reduces the rectifiability conclusion to a self-definition, a fitted parameter renamed as prediction, or an unverified self-citation chain. The equivalence of convergence notions is stated as a derived consequence rather than an input assumption. The framework is externally anchored by Ilmanen's theorem, making the derivation self-contained.

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

The result rests on the standard definition of Brakke flows, the existence of the canonical space-time measure from prior work, and classical rectifiability tools in geometric measure theory; no free parameters or invented entities are introduced.

assumptions (2)

domain assumption Brakke flow satisfies the integral inequality and mass bounds from Ilmanen's compactness theorem
Invoked to guarantee the canonical space-time measure exists and has the required properties.
domain assumption Space-time-Grassmann measure construction from authors' previous paper
Used to define the measure whose support is shown to be rectifiable.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Parabolic rectifiability of the Brakke flow." pith.science (2026). https://pith.science/paper/ARXXRKMR

@misc{pith2026260622441,
  author       = {Pith},
  title        = {Pith review of: Parabolic rectifiability of the Brakke flow},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/ARXXRKMR}},
  note         = {Machine review of arXiv:2606.22441}
}

abstract

We prove that the support of the canonical space-time measure for a Brakke flow is a parabolic $(k+2)$-rectifiable set. As a consequence, we obtain that at almost all points along the flow, with respect to this canonical space-time measure, there exists a unique, static, planar tangent flow, and that various notions of density for the flow agree at these points. Moreover, following on from our previous work `The space-time-Grassmann measure of the Brakke flow', we continue to develop the approach to the Brakke flow as a space-time-Grassmann measure. We prove that the standard notion of convergence for Brakke flows, coming from the compactness theorem of Ilmanen (7.1 of `Elliptic regularization and partial regularity for motion by mean curvature'), is equivalent to the convergence of these space-time-Grassmann Radon measures. This gives an alternate notion of varifold convergence to the one exhibited in 7.1(ii) of `Elliptic regularization and partial regularity for motion by mean curvature'.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

18 extracted references · 2 canonical work pages

[1]

William K. Allard. On the first variation of a varifold.Annals of Mathe- matics, 95:417–491, 1972

1972
[2]

Ambrosio, N

L. Ambrosio, N. Fusco, and D. Pallara.Functions of Bounded Variation and Free Discontinuity Problems. Oxford Science Publications. Clarendon Press, 2000

2000
[3]

Springer Science, Birkh¨ auser Boston, 2004

Klaus Ecker.Regularity Theory for Mean Curvature Flow, volume 57 ofProgress in Nonlinear Differential Equations and Their Applications. Springer Science, Birkh¨ auser Boston, 2004

2004
[4]

Springer, Berlin, 1969, Band

Herbert Federer.Geometric measure theory. Springer, Berlin, 1969, Band

1969
[5]

Springer-Verlag New York Inc., New York, 1969

1969
[6]

Elliptic regularization and partial regularity for motion by mean curvature.Memoirs of the American Mathematical Society, 108(250), 1994

Tom Ilmanen. Elliptic regularization and partial regularity for motion by mean curvature.Memoirs of the American Mathematical Society, 108(250), 1994

1994
[7]

The Besicovitch covering theorem for parabolic balls in Euclidean space.Hiroshima Mathematics Journal, 48:279–289, 2018

Tsubasa Itoh. The Besicovitch covering theorem for parabolic balls in Euclidean space.Hiroshima Mathematics Journal, 48:279–289, 2018. 21

2018
[8]

PhD Dissertation, 2014

Ananda Lahiri.Regularity of the Brakke Flow. PhD Dissertation, 2014

2014

Show all 18 references

[9]

Equality of the usual definitions of Brakke flow.arXiv: 1705.08789, 2017

Ananda Lahiri. Equality of the usual definitions of Brakke flow.arXiv: 1705.08789, 2017

2017 arXiv
[10]

The space-time-Grassmann measure of the Brakke flow.arXiv: 2512.19227, 2025

Yu Tong Liu and Myles Workman. The space-time-Grassmann measure of the Brakke flow.arXiv: 2512.19227, 2025

2025 arXiv
[11]

Cambridge University Press, 1995

Pertti Mattila.Geometry of Sets and Measures in Euclidean Spaces: Frac- tals and Rectifiability, volume 44 ofCambridge studies in advanced mathe- matics. Cambridge University Press, 1995

1995
[12]

Parabolic rectifiability, tangent planes and tangent mea- sures.Annales Fennici Mathematici, 47:855–884, 2022

Pertti Mattila. Parabolic rectifiability, tangent planes and tangent mea- sures.Annales Fennici Mathematici, 47:855–884, 2022

2022
[13]

A Sobolev Poincar´ e type inequality for integral varifolds

Ulrich Menne. A Sobolev Poincar´ e type inequality for integral varifolds. Calculus of Variations and Partial Differential Equations, 38(3):369–408, 2010

2010
[14]

Second order rectifiability of integral varifolds of locally bounded first variation.J

Ulrich Menne. Second order rectifiability of integral varifolds of locally bounded first variation.J. Geom. Anal, 23(2):709–763, 2013

2013
[15]

Weakly differentiable functions on varifolds.Indiana Uni- versity Mathematics Journal, 65(3):977 – 1088, 2016

Ulrich Menne. Weakly differentiable functions on varifolds.Indiana Uni- versity Mathematics Journal, 65(3):977 – 1088, 2016

2016
[16]

Australina National Univer- sity, 1983

Leon Simon.Lectures on Geometric Measure Theory, volume 3 ofProceed- ings of the Centre of Mathematical Analysis. Australina National Univer- sity, 1983

1983
[17]

Tonegawa.Brakke’s Mean Curvature Flow: An Introduction

Y. Tonegawa.Brakke’s Mean Curvature Flow: An Introduction. Springer- Briefs in Mathematics. Springer Nature Singapore, 2019

2019
[18]

Stratification of minimal surfaces, mean curvature flows, and harmonic maps.Journal f¨ ur die reine und angewandte Mathematik, 488:1– 36, 1997

Brian White. Stratification of minimal surfaces, mean curvature flows, and harmonic maps.Journal f¨ ur die reine und angewandte Mathematik, 488:1– 36, 1997. 22

1997

Pith tools

Reviewed June 26, 2026 · model on record in the stance chip above.

[1] [1]

William K. Allard. On the first variation of a varifold.Annals of Mathe- matics, 95:417–491, 1972

1972

[2] [2]

Ambrosio, N

L. Ambrosio, N. Fusco, and D. Pallara.Functions of Bounded Variation and Free Discontinuity Problems. Oxford Science Publications. Clarendon Press, 2000

2000

[3] [3]

Springer Science, Birkh¨ auser Boston, 2004

Klaus Ecker.Regularity Theory for Mean Curvature Flow, volume 57 ofProgress in Nonlinear Differential Equations and Their Applications. Springer Science, Birkh¨ auser Boston, 2004

2004

[4] [4]

Springer, Berlin, 1969, Band

Herbert Federer.Geometric measure theory. Springer, Berlin, 1969, Band

1969

[5] [5]

Springer-Verlag New York Inc., New York, 1969

1969

[6] [6]

Elliptic regularization and partial regularity for motion by mean curvature.Memoirs of the American Mathematical Society, 108(250), 1994

Tom Ilmanen. Elliptic regularization and partial regularity for motion by mean curvature.Memoirs of the American Mathematical Society, 108(250), 1994

1994

[7] [7]

The Besicovitch covering theorem for parabolic balls in Euclidean space.Hiroshima Mathematics Journal, 48:279–289, 2018

Tsubasa Itoh. The Besicovitch covering theorem for parabolic balls in Euclidean space.Hiroshima Mathematics Journal, 48:279–289, 2018. 21

2018

[8] [8]

PhD Dissertation, 2014

Ananda Lahiri.Regularity of the Brakke Flow. PhD Dissertation, 2014

2014