Stratification of the single blow-up set for Radon measures

Luigi De Masi

arxiv: 2512.20498 · v2 · submitted 2025-12-23 · 🧮 math.FA

Stratification of the single blow-up set for Radon measures

Luigi De Masi This is my paper

Pith reviewed 2026-05-16 20:06 UTC · model grok-4.3

classification 🧮 math.FA

keywords rectifiabilityPreiss blow-uptangent measuressigned Radon measuresstratificationgeometric measure theoryinvariant subspace

0 comments

The pith

The set of points where a signed Radon measure on R^n has a unique Preiss blow-up with k-dimensional invariant subspace is k-rectifiable.

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

The paper proves that for any signed Radon measure in Euclidean space, the collection of points at which the Preiss blow-up exists and is unique, with the blow-up's invariant subspace of exact dimension k, itself forms a k-rectifiable set. This stratification uses only the standard weak convergence definition of tangent measures and the invariance properties of the limit. A reader would care because the result supplies a geometric criterion that detects rectifiability directly from the existence and uniqueness of these rescaled limits, without requiring absolute continuity or extra density assumptions. As direct consequences the paper derives a general rectifiability test for signed Radon measures and extends an earlier theorem of Mattila on measures that possess unique blow-ups almost everywhere.

Core claim

We show that the set of points where the blow-up, in the sense of Preiss, of a signed Radon measure on R^n is unique and its invariant subspace has dimension k is k-rectifiable.

What carries the argument

The Preiss blow-up at a point, defined as the weak limit of rescaled copies of the measure, together with the linear subspace that remains invariant under all such limits.

If this is right

The result yields a rectifiability criterion for signed Radon measures based solely on the uniqueness of their Preiss blow-ups.
It extends Mattila's theorem to the statement that measures possessing unique blow-ups almost everywhere are rectifiable.
The single-blow-up set can be partitioned into countably many rectifiable pieces according to the dimension of the invariant subspace.
No additional regularity on the measure beyond being signed and Radon is required for the stratification to hold.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The stratification may allow one to locate the support of the singular part of a measure by examining only the dimensions of its tangent subspaces.
One could check the result numerically by constructing discrete approximations to a measure and verifying rectifiability of the computed unique-blow-up loci.
The same technique might apply to measures on manifolds or in metric spaces once an analogue of Preiss blow-ups is available.

Load-bearing premise

The blow-up is taken in the Preiss sense for an arbitrary signed Radon measure and the proof uses only standard properties of tangent measures and rectifiability.

What would settle it

An explicit signed Radon measure on R^n together with a positive-measure set of points whose unique Preiss blow-ups have invariant subspace of dimension k, yet that set fails to be k-rectifiable.

read the original abstract

We show that the set of points where the blow-up, in the sense of Preiss, of a signed Radon measure on $\mathbb{R}^n$ is unique and its invariant subspace has dimension $k$ is $k$-rectifiable. As simple applications, we obtain a rectifiability criterion for signed Radon measures and the extension of a result, due to Mattila, on measures having unique blow-up almost everywhere.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper shows that for signed Radon measures the locus of unique Preiss blow-ups with k-dimensional invariant subspace is k-rectifiable, yielding a criterion and an extension of Mattila.

read the letter

The main thing to know is that this paper shows the set of points where a signed Radon measure has a unique Preiss blow-up with k-dimensional invariant subspace is k-rectifiable. It uses this to get a rectifiability criterion and to extend Mattila's result on unique blow-ups almost everywhere. The argument stays within the usual tangent measure framework without adding new regularity assumptions beyond the Radon property itself. The paper does well by isolating the geometric consequence of uniqueness and presenting the applications as direct corollaries. This keeps the note short and focused on turning a tangent condition into a rectifiability statement via standard differentiation and covering arguments. The result feels like a clean organizational step rather than a heavy technical advance, but it is still useful for anyone who works with blow-ups of measures. The soft spot is that the abstract gives no proof details, so it is hard to see exactly how the invariant subspace condition is fed into the rectifiability machinery. If the argument is mostly the standard one with uniqueness inserted, then the novelty sits mainly in the clear statement of the stratification. The stress-test note indicates it follows directly from existing theory, which seems plausible and suggests no major gaps. This work is aimed at researchers in geometric measure theory who already know Preiss tangent measures and are looking for criteria to decompose measures by their tangent behavior. A reader in that subfield will see the value quickly and might apply the criterion in their own arguments. I would send it to peer review. It is a focused, self-contained note that fits a specialized journal and is worth having referees check the details of the argument.

Referee Report

0 major / 3 minor

Summary. The manuscript proves that for a signed Radon measure on R^n, the set of points at which the Preiss blow-up is unique and the invariant subspace of the tangent measure has dimension k is k-rectifiable. Applications include a general rectifiability criterion for signed Radon measures and an extension of Mattila's theorem on measures possessing unique blow-ups almost everywhere.

Significance. If the result holds, it stratifies the single-blow-up locus in a manner that directly yields rectifiability from uniqueness and dimension data alone, extending the classical Preiss-Mattila framework to signed measures without extra regularity hypotheses. The applications supply concrete, checkable criteria that can be used in differentiation theory and geometric measure theory.

minor comments (3)

§2.2: the notation for the invariant subspace V(μ,x) is introduced without an explicit reference to the precise definition in Preiss' original work; adding the citation would improve readability for readers outside the immediate subfield.
Theorem 1.3 (application to Mattila's result): the statement that uniqueness a.e. implies rectifiability is correct but the proof sketch in §4.1 omits the covering argument that converts the k-dimensional subspace condition into the rectifiable measure property; a one-sentence reminder of the standard differentiation theorem would clarify the step.
Figure 1: the caption does not indicate the dimension n or the value of k used in the example; this makes the illustration harder to connect to the general statement.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment and recommendation to accept the manuscript.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper establishes that the set of points with unique Preiss blow-up and k-dimensional invariant subspace for a signed Radon measure is k-rectifiable. This follows from standard tangent measure differentiation and rectifiability covering arguments in geometric measure theory, without any self-definitional reductions, fitted inputs renamed as predictions, or load-bearing self-citations. The abstract and skeptic analysis confirm reliance on Preiss and Mattila results as external inputs, with no equations or ansatzes that reduce the claim to its own assumptions by construction. The derivation is self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Relies on standard definitions of Radon measures, Preiss blow-ups, invariant subspaces, and rectifiable sets from geometric measure theory; no free parameters or invented entities appear in the abstract.

axioms (2)

standard math Standard properties of signed Radon measures and Preiss tangent measures on R^n
Invoked implicitly by the statement of the main theorem.
standard math Definition of k-rectifiability via Lipschitz graphs or approximate tangent planes
Used as the conclusion of the theorem.

pith-pipeline@v0.9.0 · 5352 in / 1223 out tokens · 26352 ms · 2026-05-16T20:06:31.951351+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Theorem 1. Let μ be a signed Radon measure on R^n and k ∈ {0,1,...,n}. Then S^k_μ is contained in a countable union of k-dimensional Lipschitz graphs. Moreover, the approximate tangent plane to S^k_μ at x coincides with D_x for H^k-a.e. x ∈ S^k_μ.
IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

the blow-up of μ at x is a multiple of the k-dimensional Hausdorff measure H^k on a k-plane

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

3 extracted references · 3 canonical work pages

[1]

Rectifiability of the jump set of locally integrable functions

[Del21] G.Del Nin. “Rectifiability of the jump set of locally integrable functions”. In:Ann. Sc. Norm. Super. Pisa Cl. Sci. (5)22.3 (2021), pp. 1233–1240.issn: 0391-173X,2036-2145. [Mat05] P.Mattila. “Measures with unique tangent measures in metric groups”. In:Math. Scand.97.2 (2005), pp. 298–308.issn: 0025-5521,1903-1807. [Mat95] P.Mattila.Geometry of se...

work page 2021
[2]

Geometry of measures inR n: distribution, rectifiability, and densities

Cambridge Studies in Advanced Mathematics. Fractals and rectifiability. Cambridge University Press, Cambridge, 1995, pp. xii+343.isbn: 0-521-46576-1; 0-521-65595-1. [Pre87] D.Preiss. “Geometry of measures inR n: distribution, rectifiability, and densities”. In:Ann. of Math. (2)125.3 (1987), pp. 537–643.issn: 0003-486X,1939-8980. [Sim83] L.Simon.Lectures o...

work page 1995
[3]

Australian National University, Centre for Mathematical Analysis, Canberra, 1983, pp

Proceedings of the Centre for Math- ematical Analysis, Australian National University. Australian National University, Centre for Mathematical Analysis, Canberra, 1983, pp. vii+272.isbn: 0-86784-429-9. L. De Masi:Dipartimento di Matematica, Universit `a di Trento, Via Sommarive 14, 38123 Povo, Trento, Italy Email address:luigi.demasi@unitn.it

work page 1983

[1] [1]

Rectifiability of the jump set of locally integrable functions

[Del21] G.Del Nin. “Rectifiability of the jump set of locally integrable functions”. In:Ann. Sc. Norm. Super. Pisa Cl. Sci. (5)22.3 (2021), pp. 1233–1240.issn: 0391-173X,2036-2145. [Mat05] P.Mattila. “Measures with unique tangent measures in metric groups”. In:Math. Scand.97.2 (2005), pp. 298–308.issn: 0025-5521,1903-1807. [Mat95] P.Mattila.Geometry of se...

work page 2021

[2] [2]

Geometry of measures inR n: distribution, rectifiability, and densities

Cambridge Studies in Advanced Mathematics. Fractals and rectifiability. Cambridge University Press, Cambridge, 1995, pp. xii+343.isbn: 0-521-46576-1; 0-521-65595-1. [Pre87] D.Preiss. “Geometry of measures inR n: distribution, rectifiability, and densities”. In:Ann. of Math. (2)125.3 (1987), pp. 537–643.issn: 0003-486X,1939-8980. [Sim83] L.Simon.Lectures o...

work page 1995

[3] [3]

Australian National University, Centre for Mathematical Analysis, Canberra, 1983, pp

Proceedings of the Centre for Math- ematical Analysis, Australian National University. Australian National University, Centre for Mathematical Analysis, Canberra, 1983, pp. vii+272.isbn: 0-86784-429-9. L. De Masi:Dipartimento di Matematica, Universit `a di Trento, Via Sommarive 14, 38123 Povo, Trento, Italy Email address:luigi.demasi@unitn.it

work page 1983