Spacetime Brakke Flow: Geometric Measure View

• Spacetime Brakke Flow is a formulation that extends weak mean curvature flow by incorporating time-dependent test functions and spacetime measures for evolving varifolds.
• It leverages canonical spacetime measures and Grassmann formulations to rigorously capture geometric properties such as parabolic rectifiability and density consistency.
• In multi-phase settings, the approach couples BV partitions with explicit transport identities to control volume change and address non-uniqueness.

Searching arXiv for the cited paper and closely related work on spacetime Brakke flow, parabolic rectifiability, and canonical space-time measures. Spacetime Brakke flow is a space–time formulation of weak mean curvature flow in the varifold setting. In its most basic form, it is a Brakke flow tested against time-dependent weights $\phi(x,t)$, so that the evolution inequality acquires the term $\partial_t\phi$. In a stronger geometric-measure-theoretic form, the flow is encoded by a canonical measure on spacetime, either the “space-time track” $d\|V_t\|\,dt$ or a Radon measure on $J\times \mathbf G_k(U)$, whose pushforward to $J\times U$ records the evolving mass distribution. In the multi-phase setting, this spacetime viewpoint can be coupled to a $BV$ partition $\{E_i(t)\}$, producing a canonical $BV$–Brakke flow in which the phase boundaries move with normal velocity $h\cdot \nu_i$ and satisfy explicit transport identities (Stuvard et al., 2021, Liu et al., 22 Dec 2025, Liu et al., 21 Jun 2026).

1. Classical Brakke flow in spacetime form

For a $k$-dimensional Brakke flow $\partial_t\phi$0 in an open set $\partial_t\phi$1, Brakke’s inequality with a spacetime test function $\partial_t\phi$2 takes the form

$\partial_t\phi$3

If $\partial_t\phi$4 is a smooth mean curvature flow with $\partial_t\phi$5 and $\partial_t\phi$6, equality holds, recovering the classical transport identity (Stuvard et al., 2021).

The time-dependent-test-function formulation is not merely notational. It is one of the “usual” definitions of Brakke flow, and the pointwise, integrated, time-independent, and time-dependent formulations are equivalent under mild assumptions. A central point is the correction of Brakke’s $\partial_t\phi$7 argument for time-dependent test functions, which justifies the spacetime inequality and the passage between these formulations. In particular, the corrected pointwise spacetime inequality is

$\partial_t\phi$8

and the integrated form with time-dependent $\partial_t\phi$9 is equivalent to the classical differential inequality (Lahiri, 2017).

From the spacetime perspective, the canonical track of a classical Brakke flow is the measure

$d\|V_t\|\,dt$0

on $d\|V_t\|\,dt$1. Brakke’s inequality is then a spacetime distributional inequality: the term $d\|V_t\|\,dt$2 is the time derivative of a spacetime test function, and the support of $d\|V_t\|\,dt$3 encodes the space-time track of the moving varifold. This viewpoint is central in Ilmanen-type clearing-out and monotonicity arguments, and it is the starting point for later space-time-Grassmann formulations (Stuvard et al., 2021).

2. Canonical spacetime measures and space-time-Grassmann formulations

A precise measure-theoretic realization of spacetime Brakke flow packages the evolving varifolds into a Radon measure on spacetime and the Grassmann bundle. For a $d\|V_t\|\,dt$4-dimensional Brakke flow over $d\|V_t\|\,dt$5, one defines

$d\|V_t\|\,dt$6

a Radon measure on $d\|V_t\|\,dt$7, and its canonical spacetime weight

$d\|V_t\|\,dt$8

This gives a canonical space-time-Grassmann measure whose pushforward to $d\|V_t\|\,dt$9 is the space-time track (Liu et al., 21 Jun 2026, Liu et al., 22 Dec 2025).

In the codimension $J\times \mathbf G_k(U)$0 formulation of Buet–Leonardi–Masnou–Sagueni, a spacetime Brakke flow is a finite Radon measure $J\times \mathbf G_k(U)$1 on $J\times \mathbf G_k(U)$2 with disintegration

$J\times \mathbf G_k(U)$3

where $J\times \mathbf G_k(U)$4 is the mass measure at time $J\times \mathbf G_k(U)$5 and $J\times \mathbf G_k(U)$6 is the tangent-plane distribution. The spacetime first variation is

$J\times \mathbf G_k(U)$7

and if $J\times \mathbf G_k(U)$8 has no singular part with respect to $J\times \mathbf G_k(U)$9, then there exists a spacetime mean curvature $J\times U$0 satisfying

$J\times U$1

The corresponding spacetime Brakke inequality is

$J\times U$2

Immediate consequences are mass decay and the $J\times U$3-bound $J\times U$4 (Sagueni, 8 Sep 2025).

This measure-theoretic packaging is not merely formal. It yields a new definition of Brakke flow as a spacetime measure satisfying a distributional Brakke inequality, and this definition is equivalent to the classical ones. Moreover, left and right time-slice representatives extracted from the spacetime measure are classical Brakke flows, and the mean curvature vector, density, and tangent map along the flow are measurable with respect to the spacetime weight measure (Liu et al., 22 Dec 2025). A further consequence is that standard Ilmanen convergence of Brakke flows is equivalent to weak convergence of the corresponding space-time-Grassmann measures (Liu et al., 21 Jun 2026).

3. Multi-phase $J\times U$5–Brakke flow and canonical selection

In the multi-phase setting of Stuvard–Tonegawa, one considers $J\times U$6 grains with an $J\times U$7-partition $J\times U$8 of $J\times U$9: pairwise disjoint open sets whose union fills space up to null sets, each $BV$0 having locally finite perimeter. Interfaces are the reduced-boundary intersections

$BV$1

and the surface energy is the total variation or perimeter. The construction is isotropic and equal-tension; anisotropy is not addressed in that framework (Stuvard et al., 2021).

The main existence theorem states that if $BV$2 is a closed countably $BV$3-rectifiable set with finite weighted area $BV$4, where $BV$5, $BV$6, $BV$7, and $BV$8, and if $BV$9 form an $\{E_i(t)\}$0-partition with

$\{E_i(t)\}$1

then there exist a Brakke flow $\{E_i(t)\}$2 and open sets $\{E_i(t)\}$3 such that $\{E_i(t)\}$4, $\{E_i(t)\}$5, and with $\{E_i(t)\}$6,

$\{E_i(t)\}$7

together with the distributional identity

$\{E_i(t)\}$8

If $\{E_i(t)\}$9 is locally unit density, then locally

$BV$0

for a.e. $BV$1 (Stuvard et al., 2021).

A key feature is the explicit volume-change identity. For any bounded open $BV$2 and $BV$3,

$BV$4

The identity remains valid even if $BV$5 carries portions where $BV$6 has higher multiplicity or if $BV$7 contains interior boundary. In $BV$8 spacetime form, with $BV$9,

$h\cdot \nu_i$0

and

$h\cdot \nu_i$1

This upgrades Brakke’s inequality to a transport equality for the phases (Stuvard et al., 2021).

The same theorem provides global energy estimates. In the weighted case,

$h\cdot \nu_i$2

and if $h\cdot \nu_i$3, then

$h\cdot \nu_i$4

This suggests a canonical selection principle: Brakke’s inequality alone allows non-unique behaviors such as mass drop, whereas the coupled $h\cdot \nu_i$5 partition and the explicit transport identity constrain the motion by tying it to $h\cdot \nu_i$6 (Stuvard et al., 2021).

4. Geometry of the spacetime track: tangents, rectifiability, and densities

Recent work sharpens the geometric structure of the canonical spacetime measure. For a $h\cdot \nu_i$7-dimensional Brakke flow, the support of the canonical space-time measure $h\cdot \nu_i$8 is a vertical parabolic $h\cdot \nu_i$9-rectifiable set. The scaling is exactly the parabolic one: a $k$0-dimensional spatial measure scales like $k$1, while $k$2 scales like $k$3, so $k$4 scales like $k$5 (Liu et al., 21 Jun 2026).

Parabolic blow-up is defined by

$k$6

with weight

$k$7

At $k$8-almost every $k$9, there exists a unique static planar tangent flow,

$\partial_t\phi$00

and the standard densities agree: $\partial_t\phi$01 Equivalently, $\partial_t\phi$02 is represented by parabolic Hausdorff measure with density weight (Liu et al., 21 Jun 2026).

The parabolic-rectifiability result complements older spacetime track arguments. In the multi-phase setting, Ilmanen’s clearing-out lemma yields

$\partial_t\phi$03

and $\partial_t\phi$04 is $\partial_t\phi$05-equivalent to $\partial_t\phi$06. At $\partial_t\phi$07-almost every $\partial_t\phi$08, the spacetime track has a distinguished tangent direction,

$\partial_t\phi$09

and on the spacetime reduced boundary of phase $\partial_t\phi$10,

$\partial_t\phi$11

These formulas express the geometric fact that the spacetime tangent contains both the spatial tangent plane and the velocity direction (Stuvard et al., 2021).

A plausible implication is that the spacetime track is not only an auxiliary bookkeeping device but a genuine rectifiable object with tangent geometry, density theory, and convergence notions of its own. That interpretation is explicit in the space-time-Grassmann approach, where convergence of Brakke flows is equivalent to weak convergence of the associated spacetime measures (Liu et al., 21 Jun 2026, Liu et al., 22 Dec 2025).

5. Regularity, avoidance, and agreement with smooth flow

In codimension $\partial_t\phi$12, spacetime Brakke flows satisfy an avoidance principle analogous to the smooth one. If $\partial_t\phi$13, $\partial_t\phi$14 is the mass measure of a spacetime Brakke flow starting from $\partial_t\phi$15, and $\partial_t\phi$16 is the smooth mean curvature flow of a compact $\partial_t\phi$17 hypersurface $\partial_t\phi$18, then

$\partial_t\phi$19

If the initial hypersurface is a smooth closed $\partial_t\phi$20 manifold and the classical mean curvature flow exists smoothly on $\partial_t\phi$21, then provided the spacetime flow is nontrivial on $\partial_t\phi$22,

$\partial_t\phi$23

The argument uses a spacetime test function supported in a tubular neighborhood of the smooth flow and the signed-distance identity $\partial_t\phi$24 (Sagueni, 8 Sep 2025).

Local regularity results also have a genuinely spacetime formulation. For general $\partial_t\phi$25-dimensional Brakke flows in $\partial_t\phi$26, if the flow is locally close to a $\partial_t\phi$27-plane in the sense of measure, then it is locally represented as a smooth graph over that plane with estimates on all derivatives up to the end-time. Moreover, if the Gaussian density at $\partial_t\phi$28 lies in $\partial_t\phi$29, then in a neighborhood of $\partial_t\phi$30 the flow is a smooth mean curvature flow and extends smoothly up to time $\partial_t\phi$31. This extends White’s local regularity theorem to general Brakke flows, including forced ones (Stuvard et al., 2022).

Near triple junctions, spacetime regularity becomes more delicate. For planar network flows weakly close in a spacetime region to a static multiplicity-$\partial_t\phi$32 triple junction $\partial_t\phi$33, Tonegawa–Wickramasekera proved that in a smaller region the flow is classical: three curves come smoothly together at a single point at $\partial_t\phi$34, remain smoothly close to $\partial_t\phi$35, and move smoothly. Combined with White’s stratification theorem, this yields a closed singular set $\partial_t\phi$36 of parabolic Hausdorff dimension at most $\partial_t\phi$37, such that outside $\partial_t\phi$38 the network flow is classical (Tonegawa et al., 2015).

A higher-dimensional analogue is now available. For $\partial_t\phi$39-dimensional possibly forced Brakke flows near a static multiplicity-one triple junction cone $\partial_t\phi$40, an $\partial_t\phi$41-regularity theorem gives a $\partial_t\phi$42 spine $\partial_t\phi$43 and three $\partial_t\phi$44 sheets $\partial_t\phi$45 meeting along that spine, provided the flow lies in a small parabolic $\partial_t\phi$46-neighborhood of $\partial_t\phi$47 and satisfies a structural slice assumption. The assumption is automatic for two classes singled out in the literature: codimension-one multi-phase $\partial_t\phi$48-Brakke flows and mod $\partial_t\phi$49 current flows arising from Ilmanen’s elliptic regularization (Stuvard et al., 3 Oct 2025). In dimension $\partial_t\phi$50, this is consistent with the canonical multi-phase scheme, where for a.e. $\partial_t\phi$51 the support is locally a finite union of $\partial_t\phi$52 curves meeting at angles $\partial_t\phi$53 for $\partial_t\phi$54 and only $\partial_t\phi$55 for $\partial_t\phi$56 (Stuvard et al., 2021).

6. Constructions, approximation schemes, and variants

Several constructions realize spacetime Brakke flow as a limit of approximations. In the canonical multi-phase theory, the flow is built by a time-discrete algorithm with two steps in each epoch: a Lipschitz regularization $\partial_t\phi$57, which strictly decreases weighted perimeter while controlling volume change, and a mean-curvature step

$\partial_t\phi$58

where $\partial_t\phi$59 is defined by convolution with a localized heat kernel $\partial_t\phi$60. Compactness of varifolds and $\partial_t\phi$61 partitions, together with uniform energy bounds and Ilmanen’s monotonicity and clearing-out arguments, produces a Brakke flow with associated $\partial_t\phi$62 partition (Stuvard et al., 2021).

A more general construction begins from an arbitrary compactly supported varifold of finite mass, even a point cloud varifold. For fixed $\partial_t\phi$63, one defines an approximate mean curvature $\partial_t\phi$64 by convolution and then a time-discrete flow by pushforwards

$\partial_t\phi$65

As the time step tends to $\partial_t\phi$66, this yields a unique time-continuous $\partial_t\phi$67-approximate flow $\partial_t\phi$68, and for time-dependent test functions $\partial_t\phi$69 it satisfies the exact equality

$\partial_t\phi$70

Coupling with $\partial_t\phi$71 gives a spacetime measure $\partial_t\phi$72; along $\partial_t\phi$73, a subsequence converges to a spacetime Radon measure with $\partial_t\phi$74-bounded spacetime mean curvature, and under rectifiability of the time slices the limit is a spacetime Brakke flow (Buet et al., 1 Oct 2025).

Allen–Cahn approximations provide another route. On Riemannian manifolds, the energy density measures of the parabolic Allen–Cahn equation converge to rectifiable Radon measures that evolve by Brakke flow in the sense of mean curvature. The spacetime track is the measure $\partial_t\phi$75, and a local almost monotonicity formula, together with clearing-out and vanishing discrepancy, is used to obtain density bounds and the Brakke inequality in the limit (Pisante et al., 2013). This route is particularly relevant to elliptic-regularization and diffuse-interface constructions.

There are also constrained variants. For volume-preserving mean curvature flow, a Brakke-type inequality is obtained in which the velocity law is

$\partial_t\phi$76

in the smooth case, and in the weak $\partial_t\phi$77-varifold formulation becomes

$\partial_t\phi$78

The resulting flow fits the spacetime Brakke framework with time-dependent test functions, but the $\partial_t\phi$79-term is replaced by a local scale-dependent error controlled through the phase-field approximation (Chiesa et al., 29 May 2025).

These constructions support different geometric regimes. The canonical $\partial_t\phi$80–Brakke flow is tailored to multi-phase partitions and grain growth; the approximate-mean-curvature scheme applies to very general varifolds and discrete data; Allen–Cahn connects spacetime Brakke flow to phase-field limits; and the volume-preserving variant shows that the spacetime inequality can be adapted to nonlocal constraints (Stuvard et al., 2021, Buet et al., 1 Oct 2025, Pisante et al., 2013, Chiesa et al., 29 May 2025).

7. Uniqueness, non-uniqueness, and current scope

Non-uniqueness is intrinsic to Brakke flow: mass drop and sudden vanishing are compatible with Brakke’s inequality alone. The multi-phase canonical construction removes part of this redundancy by coupling the varifold flow to $\partial_t\phi$81 grains whose boundaries move with normal velocity $\partial_t\phi$82. In dimension $\partial_t\phi$83, if a strong network flow exists initially as in Fischer–Laux–Simon–et al., then the canonical $\partial_t\phi$84–Brakke flow agrees with it until the first topology change, resolving non-uniqueness in that regime (Stuvard et al., 2021, Fischer et al., 2020).

At the support level, codimension $\partial_t\phi$85 spacetime Brakke flow satisfies strong comparison with smooth mean curvature flow through the avoidance principle, but uniqueness of the varifold-valued flow is not asserted, and limit spacetime measures may depend on subsequences in approximation procedures (Sagueni, 8 Sep 2025, Buet et al., 1 Oct 2025). More generally, the space-time-Grassmann theory identifies a canonical equivalence class of classical Brakke flows rather than a single representative: left and right time-slice representatives encode jump discontinuities, and any time-slice choice lying between them yields the same spacetime measure (Liu et al., 22 Dec 2025).

Several limitations remain explicit. In the canonical multi-phase construction, anisotropic surface tensions are not addressed, general uniqueness beyond the network case remains open, and fine regularity at higher-codimension junctions is unresolved (Stuvard et al., 2021). In avoidance theory, codimension $\partial_t\phi$86 is essential; higher-codimension avoidance can fail (Sagueni, 8 Sep 2025). In the approximate-mean-curvature construction, uniqueness in the $\partial_t\phi$87 limit is not guaranteed, stationary varifolds remain stationary at fixed $\partial_t\phi$88, and identification as a spacetime Brakke flow requires rectifiability of the limit slices (Buet et al., 1 Oct 2025).

At the same time, the spacetime viewpoint has clarified the generic geometry of the flow. The support of the canonical spacetime measure is parabolic $\partial_t\phi$89-rectifiable, tangent flows are uniquely static and planar at $\partial_t\phi$90-almost every point, and Gaussian, spatial, and parabolic densities agree there (Liu et al., 21 Jun 2026). This suggests that the most robust current interpretation of spacetime Brakke flow is not simply “Brakke flow with a $\partial_t\phi$91 term,” but a parabolic geometric-measure object whose time slices, spacetime support, tangent structure, and transport identities can all be studied within a single framework.