Pith. sign in

REVIEW 3 major objections 5 minor 1 cited by

The space-time-Grassmann measure of the Brakke flow

T0 review · 3 major / 5 minor · reviewed 2026-08-03 · deepseek-v4-flash

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

Pith's one-line read Every Brakke flow determines a canonical space-time-Grassmann measure λ, and this measure alone yields a new, equivalent definition of the flow.

desk verdict Genuinely new canonical space-time-Grassmann measure for Brakke flow, but Theorem B has a load-bearing gap in the proof of B.4 that is likely fixable. read the letter →

arxiv 2512.19227 v2 pith:6YN4CZTF submitted 2025-12-22 math.DG math.AP

Yu Tong Liu , Myles Workman This is my paper · ORCID
classification math.DGmath.AP MSC 53E1028A75
keywords Brakkeflowmeancurvaturespace-time-GrassmannmeasurevarifoldsintegraluppersemicontinuityL1measurabilityBVfunctions
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

Brakke flows are families of measures moving by mean curvature, traditionally tracked as a time-parametrized collection of varifolds. This paper proves that any such flow can be repackaged without loss into a single Radon measure λ on the space-time-Grassmannian, built by integrating the flow's varifolds against one-dimensional Lebesgue measure in time. It then shows that a measure satisfying a simple distributional inequality is exactly the same object as a classical Brakke flow, with left- and right-continuous representatives that pin down the flow's jump discontinuities. Finally, it proves that the tangent plane, mean curvature vector, and density are all measurable with respect to λ's weight measure, so geometric data can be integrated directly over space-time. If sound, this gives Brakke-flow theory a canonical measure-theoretic foundation paralleling the one varifolds give to stationary surfaces.

What carries the argument

The central object is the space-time-Grassmann measure λ, defined by integrating the flow's integral varifolds V(t) against time-Lebesgue measure. Its construction hinges on a new proof (3.6) of the upper semicontinuity of the Brakke variation B(∥V∥, φ) under varifold convergence, which avoids an interior approximation shown to fail in general (3.8) and instead uses the divergence theorem and second-order rectifiability. Theorem B then uses BV-function theory to extract left/right representatives from the space-time measure.

What would settle it

Exhibit a sequence of integral varifolds V_i with uniformly bounded mass on a set {φ>0}, converging to V, for which limsup_i B(∥V_i∥,φ) > B(∥V∥,φ); such an example would disprove Lemma 3.6 and with it the measurability of t↦V(t) and the existence of λ.

Watch

Extended reading notes

Core claim

We show that for any k-dimensional Brakke flow {μ(t)} on U over J, the map t↦V(t) sending each time to the unique integral varifold with weight μ(t) is L^1-measurable, so we can define a Radon measure λ on J×G_k(U) by λ(f)=∫∫ f(t,x,S) dV(t)(x,S) dL^1_t. We then prove that a Radon measure V over J×G_k(U) satisfying the distributional inequality (1) is equivalent to a classical Brakke flow: the left and right derivatives of its disintegrations define left- and right-continuous Brakke flows that sandwich every equivalent disintegration, and these representatives are themselves Brakke flows. Consequently the space-time measure formulation can serve as a new definition of Brakke flow, equivalent

Load-bearing premise

The existence of λ depends on the L^1 measurability of t↦V(t), which rests on the new upper-semicontinuity lemma (3.6); if that lemma fails, the whole construction collapses.

Editorial extensions

If this is right

  • Every Brakke flow now has a canonical space-time-Grassmann measure, allowing the flow to be treated as a single measure rather than a time-parametrized family.
  • The distributional inequality (1) gives a new definition of Brakke flow that is provably equivalent to the classical ones, so any theorem about classical Brakke flows transfers to this formulation.
  • The left- and right-continuous representatives isolate and describe jump discontinuities of the flow, which occur exactly where the representatives disagree.
  • The measurability of tangent map, mean curvature, and density with respect to ∥λ∥ permits integrals of these geometric quantities over space-time, not just slice by slice.

Reading between the lines

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

  • This suggests a parabolic counterpart to the varifold compactness theorem: a sequence of space-time measures satisfying (1) may converge to a measure of the same type, giving a compactness framework for Brakke flows directly in space-time.
  • The left/right representative construction may yield a canonical way to continue a Brakke flow through a jump, choosing the right-continuous representative as the physically forward evolution.
  • One could test the framework on explicit solutions, such as a shrinking sphere, to compute λ explicitly and verify the measurability and inequality directly.
  • The Borel measurability of the tangent map on varifold space suggests that the space-time measure λ could support a tangent-measure decomposition at (t,x) analogous to Allard's tangent varifolds, perhaps yielding partial regularity.
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

3 major / 5 minor

Summary. The paper defines, for a k-dimensional Brakke flow on an open set U over an open time interval J, a canonical Radon measure λ on J × G_k(U) by integrating the associated integral varifolds V(t) in time (Theorem A). It then studies arbitrary Radon measures V on J × G_k(U) satisfying a distributional Brakke inequality (1). Theorem B asserts that such measures correspond to equivalence classes of classical Brakke flows, with canonical left- and right-continuous representatives ⟨V−,t⟩ and ⟨V+,t⟩, and that any disintegration between these representatives is itself a Brakke flow. Theorem C asserts ∥λ∥-measurability of the tangent map, mean curvature vector, and density along the flow. The technical core includes a new proof of upper semicontinuity of the Brakke variation (3.6), avoiding an approximation step from Ilmanen that the paper shows can fail (3.8), and an L^1 measurability result for t ↦ V(t) (3.10.8).

Significance. If the main theorems are correct, this is a substantial contribution. The space-time-Grassmann measure gives a canonical, coordinate-free object attached to a Brakke flow, and Theorem B offers a genuinely new spacetime definition of Brakke flow that packages the known BV-type behavior of Brakke flows into left/right representatives. The measurability results in Theorem C are useful for further analytic and geometric arguments. The proof of 3.6 is itself a valuable technical improvement, as it identifies and repairs a gap in a standard approximation argument. The paper is generally careful, uses appropriate modern geometric measure theory tools, and avoids fitted parameters or circular reasoning. However, the proof of Theorem B contains a specific omitted argument in the passage from inequality (29) to B.4, and the statement of the main distributional inequality (1) needs a precise interpretation outside a null set. The central equivalence is therefore conditionally supported rather than fully established.

major comments (3)
  1. [§4, proof of Theorem B (Proof of B.4)] Inequality (29) is proved only for a,b ∈ J \ N, where N is the null set on which the slice limits defining ⟨V,t⟩, ⟨V−,t⟩, and ⟨V+,t⟩ fail to exist or disagree. The sentence 'Note that the inequality (29) can be extended for every a,b∈J' is asserted without proof. Moreover, for t∈N the expression ∥⟨V,t⟩∥(φ) is not defined, so the literal inequality cannot hold for every a,b. This is load-bearing: B.4 and B.5 require an integrated Brakke inequality for the left and right representatives. To fill the gap one must pass through the left/right continuous representatives from B.2/B.3, proving for example ∥⟨V−,b⟩∥(φ)−∥⟨V+,a⟩∥(φ) ≤ ∫_a^b B(∥⟨V,t⟩∥,φ) dt for a<b, then deriving the corresponding inequalities for ∥⟨V−,·⟩∥ and ∥⟨V+,·⟩∥ separately using the ordering ∥⟨V−,t⟩∥ ≥ ∥⟨V+,t⟩∥. This argument is absent and is needed for the claimed equivalence between the new spacetime definition and classical
  2. [Theorem B, Eq. (1)] The distributional inequality (1) contains B(∥⟨V,t⟩∥, φ), but ⟨V,t⟩ and hence ∥⟨V,t⟩∥ are defined only when the symmetric limit exists, which may fail on a null set N. As stated, (1) is not well-defined for an arbitrary Radon measure V. The intended meaning is presumably that the integrand is defined for L^1-a.e. t, with B allowed to be −∞ only on a null set, or that one should work with the left/right representatives. This precision is necessary because the proof of B.1 uses (1) to identify the distributional derivative of R with a Radon measure.
  3. [§3, proof of 3.10.8] The step 'By 3.6, {t:V(t)(α)≥r} ∩ A(i) is relatively closed in A' is very terse. It requires using uniqueness of the integral varifold with a given weight to identify the limit varifold obtained from 3.6 with V(t) at continuity points of μ. A short explanation would substantially improve readability and make the L^1 measurability of V(t) — on which Theorem A depends — easier to verify. I do not see a fatal gap, but the argument should be spelled out.
minor comments (5)
  1. [§3, 3.10.5] The statement appears garbled: 'μ(t) = lim_{s↑t} μ(s)(ψ)' should presumably read 'μ(t)(ψ) = lim_{s↑t} μ(s)(ψ)'.
  2. [§4, proof of B.1-B.3] There is a duplicated heading 'Proof of B.1' immediately before 'Proof of B.1, B.2 and B.3'; the second heading should be 'Proof of B.2 and B.3'.
  3. [Throughout] Minor typos: 'uniuq' in the abstract, 'characrterized' in Definition 2.4, 'Brakkfe' in Remark 3.12. The notation 'dmnV' is used without definition; it should be introduced.
  4. [Theorem B, B.2/B.3] The one-sided limit statements involve the same letter t as the evaluation point, e.g. 'lim_{t↓a} ∥⟨V−,t⟩∥'. This is confusing; using a different dummy variable (e.g. s↓a) would clarify.
  5. [§4, proof of 4.1.4] The final sentence 'the conclusion then follows by approximating I by its compact subsets and 4.1.4' likely should refer to 4.1.2 or 4.1.3; the reference is unclear.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the space-time-Grassmann measure is constructed directly from the Brakke flow, and the characterization theorems are proved rather than assumed.

full rationale

The paper's central construction, Theorem A, is a direct product/slicing construction: λ is defined by λ(f)=∫∫ f(t,x,S) dV(t)(x,S) dL^1_t, and the proof supplies the required L^1 measurability of t↦V(t) (3.10.8). This is not a fitted input renamed as a prediction, and no target quantity is used in the definition of λ. Theorem B is an equivalence theorem: the distributional inequality (1) is not a restatement of the classical Brakke definition (3.4), and the proof derives B.1–B.5 from (1) via slicing theory, BV theory, and the left/right continuous representatives. Theorem C's measurability conclusion is obtained by proving Borel measurability of the tangent map, mean curvature, and density on the space of varifolds, then composing with the measurable map (t,x)↦(V(t),x); this is independent content, not a consequence built into the definition of λ. There are no load-bearing self-citations: the acknowledgments credit Menne for ideas toward Lemma 3.6, but Menne is not an author, and the cited results are external mathematical facts. The only notable concern is a proof-completeness issue in B.4, where inequality (29) is asserted to extend from J\N to all of J without demonstration; this is a correctness risk, not a circularity, since the extension is not equivalent to the inputs. Overall the derivation chain is self-contained against external benchmarks, so the circularity score is 0.

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

No free parameters appear; the paper's contribution is a construction and equivalence theorem, not a fit. It relies heavily on prior geometric measure theory: integral varifold representatives, first variation, compactness, divergence theorem, BV theory, and Borel regularity. These are standard or established results rather than ad hoc inventions. The only newly introduced object is the measure λ, which is constructed, not assumed.

assumptions (7)
  • domain assumption For L^1-a.e. t a Brakke flow admits a unique integral varifold V(t) with ∥V(t)∥=µ(t).
    Used at the start of Theorem A and in 3.10.6; imported from Brakke/Ilmanen/Lahiri theory rather than proved from scratch.
  • standard math The first variation δV is representable by integration and the mean curvature h(V,x) lies in S^⊥ for V-a.e. (x,S).
    Used in 3.3 and in the proof of 3.6; cited to [10, Theorem 1] and [6, 2.5.12, 2.9.5].
  • standard math Allard's compactness theorem for integral varifolds: bounded mass and first variation imply subsequential convergence to an integral varifold.
    Used in the proof of 3.6 with citation [1, 6.4].
  • standard math Divergence theorem for varifolds of locally bounded first variation: ∫ Dη•S dV = −∫ h•η d∥V∥.
    Used in Lemma 3.5(2) and in 3.6; cited to [13, 9.3] and [12, 4.5].
  • standard math BV theory for distributions on intervals: if u' is a Radon measure on an interval, u has unique left- and right-continuous representatives.
    Used in Lemma 4.8 and the proof of Theorem B; cited to [2, Theorem 3.28].
  • standard math Borel measurability and regularity toolkit: sections of Borel sets are measurable, graphs of Borel functions are Borel, etc.
    Used throughout Theorem 4.5 to prove that tangents, mean curvature, and density are Borel functions; cited to [6, 2.2.10, 2.2.13].
  • domain assumption Equivalence of the two classical definitions of Brakke flow (pointwise upper-derivative inequality vs integrated inequality).
    The paper proves 4.6 but leans on Lahiri [9] and Ilmanen [8,7.3] for the upper semicontinuity framework; this equivalence is used to connect the new Definition 4.11 with Definition 3.4.
invented entities (1)
  • space-time-Grassmann measure λ independent evidence
    purpose: Bookkeeping of the flow: records (t,x,S) with weight ∥V(t)∥, enabling a distributional formulation of the Brakke inequality and measurability of geometric quantities.
    λ is not postulated: Theorem A constructs it canonically from the varifold representatives V(t); its defining property and existence are the paper's main theorem, with the Borel measurability of t↦V(t) as needed input.

how reviews work

0 comments
Cite this review

Pith. "Pith review of The space-time-Grassmann measure of the Brakke flow." pith.science (2026). https://pith.science/paper/6YN4CZTF

@misc{pith2026251219227,
  author       = {Pith},
  title        = {Pith review of: The space-time-Grassmann measure of the Brakke flow},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/6YN4CZTF}},
  note         = {Machine review of arXiv:2512.19227}
}
abstract

For a $k$-dimensional Brakke flow on an open subset $U \subset \mathbf{R}^{n}$, over an open time interval $J$, we prove the existence of a canonical space-time-Grassmann measure $\lambda$, over $J \times \mathbf{G}_{k} (U)$, and give a characterisation of the flow with respect to the space-time weight of this measure. This results in a new definition of the Brakke flow, as that of a space-time measure which satisfies the Brakke inequality in a distributional sense. Each such space-time measure corresponds to a class of equivalent (classical) Brakke flows, thus yielding an equivalence between the classical definitions of the Brakke flow, and this new definition. Moreover, we prove that the mean curvature vector, density, and tangent map along the flow, are all measurable with respect to this space-time weight measure.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Parabolic rectifiability of the Brakke flow

    math.DG 2026-06 unverdicted novelty 7.0 of 10

    Support of canonical space-time measure for Brakke flows is parabolic (k+2)-rectifiable, implying unique tangent flows and density agreement a.e., with equivalence of standard and space-time-Grassmann convergence.

Reference graph

Works this paper leans on

15 extracted references · 1 linked inside Pith · cited by 1 Pith paper

  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]

    Ambrosio and H

    L. Ambrosio and H. M. Soner. A measure theoretic approach to higher codimension mean curvature flows.Annali della Scuola Normale Superiore di Pisa, Classe di Scienze, 25:27 – 49, 1997

    1997

  4. [4]

    Brakke.The Motion of a Surface by Its Mean Curvature

    K.A. Brakke.The Motion of a Surface by Its Mean Curvature. Mathemat- ical Notes. Princeton University Press, 2015. 19

    2015

  5. [5]

    Approximate mean curvature flows of a general varifold, and their limit spacetime brakke flow.arXiv: 2510.00746, 2025

    Blanche Buet, Gian Paolo Leonardi, Simon Masnou, and Abdelmouksit Sagueni. Approximate mean curvature flows of a general varifold, and their limit spacetime brakke flow.arXiv: 2510.00746, 2025

    arXiv 2025

  6. [6]

    Springer, Berlin, 1969, Band

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

    1969

  7. [7]

    A new varifold solution concept for mean curvature flow: Convergence of the Allen–Cahn equation and weak-strong uniqueness.Journal of Differential Geometry, 130(1):209 – 268, 2025

    Sebastian Hensel and Tim Laux. A new varifold solution concept for mean curvature flow: Convergence of the Allen–Cahn equation and weak-strong uniqueness.Journal of Differential Geometry, 130(1):209 – 268, 2025

    2025

  8. [8]

    Elliptic regularizationand partial regularityfor motion by mean curvature.Memoirs of the American Mathematical Society, 108(250), 1994

    Tom Ilmanen. Elliptic regularizationand partial regularityfor motion by mean curvature.Memoirs of the American Mathematical Society, 108(250), 1994

    1994

Show all 15 references
  1. [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

  2. [10]

    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

  3. [11]

    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

  4. [12]

    An isoperimetric inequality for dif- fused surfaces.Kodai Mathematical Journal, 41(1):70 – 85, 2018

    Ulrich Menne and Christian Scharrer. An isoperimetric inequality for dif- fused surfaces.Kodai Mathematical Journal, 41(1):70 – 85, 2018

    2018

  5. [13]

    A priori bounds for geodesic diam- eter

    Ulrich Menne and Christian Scharrer. A priori bounds for geodesic diam- eter. part ii. fine connectedness properties of varifolds.arXiv: 2209.05955, 2025

    2025

  6. [14]

    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. YTL:Department of Mathematics, National Taiwan Normal University, No. 88, Sec.4, Ting-Chou Road, Taipei, 116059, Taiwan (R.O.C.) Email address:80940004S...

    2019

  7. [153]

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

    1969

Pith tools

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