Pith. sign in

REVIEW 2 minor 20 references

Reviewed by Pith at T0; open to challenge.

T0 means a machine referee read the full paper against a public rubric. The mark states how deep the mechanical check went, never who wrote it. the ladder, T0–T4 →

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

T0 review · grok-4.3

Regular n-flake dusts in the plane are not Minkowski measurable.

2026-07-02 02:07 UTC pith:NSELNAZJ

load-bearing objection This paper supplies the first explicit families of lattice-type self-similar sets in R^2 shown to lack Minkowski measurability.

arxiv 2607.00690 v1 pith:NSELNAZJ submitted 2026-07-01 math.MG

The regular n-flake dust in mathbb{R}² is not Minkowski measurable

Uta Freiberg , Jonas Lippold This is my paper
classification math.MG MSC 28A80
keywords Minkowski measurabilityself-similar setsfractal geometryLapidus conjecturelattice-typen-flake dustR^2
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

The paper studies families of regular n-flake dusts, lattice-type self-similar sets built iteratively in R^2. It establishes that these sets lack Minkowski measurability because the volume of their tubular neighborhoods oscillates and prevents a limit from existing. This supplies concrete examples in dimension two where lattice structure produces non-measurability. The result aligns with the Lapidus conjecture, already settled in one dimension, that a self-similar set fails to be Minkowski measurable precisely when it is lattice-type. The work therefore extends the known cases supporting the conjecture to the plane.

Core claim

The regular n-flake dust in R^2 is not Minkowski measurable. Under the precise lattice-type self-similarity conditions that the Lapidus conjecture associates with non-measurability, the authors prove that the Minkowski content does not exist for these plane sets by showing that the rescaled volume of epsilon-neighborhoods fails to converge.

What carries the argument

The regular n-flake dust, an iteratively constructed lattice-type self-similar set in the plane whose tubular neighborhoods exhibit periodic oscillations in logarithmic scale that block existence of the Minkowski content.

Load-bearing premise

The regular n-flake dusts satisfy the exact lattice-type self-similarity conditions under which non-Minkowski measurability is expected.

What would settle it

An explicit computation showing that the limit of the rescaled volume of the epsilon-neighborhood of a regular n-flake dust exists and is finite and positive would falsify the claim.

Watch this falsifier — get emailed when new claim-graph text bears on it.

If this is right

  • Lattice-type self-similar sets in R^2 need not be Minkowski measurable.
  • The Lapidus conjecture holds for the family of regular n-flake dusts.
  • Oscillatory behavior of tubular volumes is the mechanism preventing measurability.
  • The same lattice-type construction yields non-measurable sets for every n greater than or equal to 3.

Where Pith is reading between the lines

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

  • The result suggests that checking lattice-type conditions may suffice to decide measurability for many other self-similar sets in the plane.
  • Analogous constructions could be tested in higher dimensions to probe the conjecture further.
  • The oscillatory mechanism identified here may appear in other fractal sets whose scaling ratios generate a lattice.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

0 major / 2 minor

Summary. The paper claims that regular n-flake dusts in R^2, constructed as attractors of iterated function systems, are lattice-type self-similar sets whose tube-volume functions exhibit persistent logarithmic oscillations (due to non-real complex dimensions on the critical line), and therefore fail to be Minkowski measurable; this supplies explicit examples supporting the Lapidus conjecture in dimension two.

Significance. If the constructions and calculations hold, the work supplies concrete lattice-type examples in R^2 that are not Minkowski measurable, extending the settled one-dimensional case and furnishing direct evidence for the conjecture in higher dimensions. The explicit verification of the lattice condition on the scaling ratios and the identification of the non-real pole constitute a clear strength.

minor comments (2)
  1. [Introduction] The definition of the regular n-flake dust and the precise IFS maps should be stated explicitly at the outset so that the lattice-type verification can be followed without external references.
  2. A brief numerical check or plot of the oscillatory term in the tube volume for one or two concrete values of n would help the reader confirm the claimed non-existence of the limit.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of our work and the recommendation of minor revision. The report provides no specific major comments to address point by point.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The derivation constructs explicit regular n-flake dusts as lattice-type IFS attractors in R^2, verifies the lattice condition on the scaling ratios directly from the IFS, computes the associated complex dimensions, and exhibits a non-real pole on the critical line to show that lim ε→0 V(ε)ε^{D-2} fails to exist. All steps rest on standard external definitions of self-similar sets, lattice-type structure, and complex dimensions; no parameter is fitted and then renamed as a prediction, no load-bearing uniqueness theorem is imported from the authors' prior work, and the central non-measurability claim is obtained by explicit verification rather than by construction or self-citation chain. The Lapidus conjecture is cited only as motivation, not as an unverified premise that the proof reduces to.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review supplies no explicit free parameters, axioms, or invented entities.

pith-pipeline@v0.9.1-grok · 5606 in / 940 out tokens · 25841 ms · 2026-07-02T02:07:36.796917+00:00 · methodology

0 comments
read the original abstract

A long-standing conjecture of Lapidus asserts that under certain conditions a self-similar fractal set is not Minkowski measurable if and only if it is of lattice-type. For self-similar sets in $\mathbb{R}$, the Lapidus conjecture has been confirmed. However, in higher dimensions, it remains unclear whether all lattice-type self-similar sets are not Minkowski measurable. This work presents families of lattice-type subsets in $\mathbb{R}^2$ that are not Minkowski measurable, hence providing further support for the conjecture.

Figures

Figures reproduced from arXiv: 2607.00690 by Jonas Lippold, Uta Freiberg.

Figure 2.1
Figure 2.1. Figure 2.1: Overview of the relationships between non-lattice and Minkowski measurability of self [PITH_FULL_IMAGE:figures/full_fig_p005_2_1.png] view at source ↗
Figure 3.1
Figure 3.1. Figure 3.1: Visualization of the families F n,r for various values of n and r. Remark 3.1 For n = 4 and r < R4 = 1/2 we have F n,r = C 1/r the Cantor dust set discussed in [5]. Therein, it is shown that F 4,r is not Minkowski measurable for r < 1/30. For 1/2 > r > 1/30 it is only conjectured that C 1/r is not Minkowski measurable. In [5] it is further shown that, for all r ∈ (0, 1/2) F 4,r is not pluriphase with res… view at source ↗
Figure 4.1
Figure 4.1. Figure 4.1: Illustration of the set Bn,g,θ(ε) (marked in blue) for n = 5 and θ = π/12. H(ε) := λ 2 (B(ε)) =  2n[AT (ε) − AS(ε)], 1 2 |Q1Pn| < ε < g 0 ε ≥ g. Note that, in the proof of Theorem 4.6, Steps 2–4 establish that the "first hole" of Fε corresponds to Bn,g,θ for a specific range of ε and fixed parameters n, g and θ. Lemma 4.3 The second left derivative of H(ε) at ε = g is non-zero. Proof. Let n ∈ N, n ≥ 3, … view at source ↗
Figure 4.2
Figure 4.2. Figure 4.2: Schematic setup for the calculation of AT (ε). Where the angle γ(ε) is determined by γ(ε) = ˜γ − ϕ˜(ε) + ϕ(ε), with γ˜ = π 2 − α = π 2 − π n + θ 2 and ϕ˜(ε) = arccos  l2 ε  . By the law of sines it is ε sin(θ/2) = b(ε) sin(ϕ(ε)) and therefore ϕ(ε) = arcsin  b(ε) ε sin  θ 2  . Calculate the second left derivative of AT (ε) = 1 2 · a(ε) · b(ε) · sin( π n ) in g: On (l2,∞) it is: A ′′ T = 1 2 sin  π … view at source ↗
Figure 4.3
Figure 4.3. Figure 4.3: Schematic setup for the calculation of AS(ε). Calculate the second left derivative of AS(ε) = ε 2 2 · [γ(ε) − sin(γ(ε))] in g: With Γ(ε) := γ(ε) − sin(γ(ε)) we have AS(ε) = ε 2 2 Γ(ε) and therefore on (l2, g) it is: A ′′ S(ε) = Γ(ε) + 2εΓ ′ (ε) + ε 2 2 Γ ′′(ε). (7) With Γ ′ (ε) = γ ′ (ε) [PITH_FULL_IMAGE:figures/full_fig_p010_4_3.png] view at source ↗
Figure 4.4
Figure 4.4. Figure 4.4: Elements of ΠO (red) for n = 5 (left, 10 elements) and n = 6 (right, 6 elements). O [PITH_FULL_IMAGE:figures/full_fig_p012_4_4.png] view at source ↗
Figure 4.5
Figure 4.5. Figure 4.5: The set Unp( Sn i=1 SiK) c ∩ K (red) for n = 3. 12 [PITH_FULL_IMAGE:figures/full_fig_p012_4_5.png] view at source ↗
Figure 4.6
Figure 4.6. Figure 4.6: Schematic setup for the calculation of R(ε). Let F ∗ := F ∪ B(O, g). By Step 3, for ε > g − δ we have λ 2 (Fε) = λ 2 (F ∗ ε ) − H(ε). (9) Therefore, we assume that λ 2 (F ∗ ε ) ∈ C 2 ((g − δ, l) \ {g}). We will show that λ 2 (F ∗ ε ) ∈ C 2 ((g − δ, l)) holds: By Theorem 4.2, we have λ 2 (F ∗ ε ) ∈ C 2 ((g − δ, l) \ {g}) ⇔ H1 (∂F ∗ ε ) ∈ C 1 ((g − δ, l) \ {g}) and thus it is enough to show that H1 (∂F ∗ ε… view at source ↗

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

20 extracted references

  1. [1]

    Frank H. Clarke. Generalized gradients and applications.Trans. Amer. Math. Soc., 205:247–262, 1975

    1975

  2. [2]

    Clarke.Optimization and nonsmooth analysis

    Frank H. Clarke.Optimization and nonsmooth analysis. Canadian Mathematical Society Series of Monographs and Advanced Texts. John Wiley & Sons, Inc., New York, 1983. A Wiley-Interscience Publication

    1983

  3. [3]

    Falconer.Fractal geometry

    K. Falconer.Fractal geometry. John Wiley & Sons, Inc., Hoboken, NJ, second edition,

  4. [4]

    Mathematical foundations and applications

  5. [5]

    K. J. Falconer. On the Minkowski measurability of fractals.Proc. Amer. Math. Soc., 123(4):1115–1124, 1995

    1995

  6. [6]

    Family of non-Minkowski measurable fractals inR 2

    Uta Freiberg and Jonas Lippold. Family of non-Minkowski measurable fractals inR 2. Geometry, 3(1):1–13, 2026

    2026

  7. [7]

    Tubular neighborhoods in Euclidean spaces.Duke Math

    Joseph Howland Guthrie Fu. Tubular neighborhoods in Euclidean spaces.Duke Math. J., 52(4):1025–1046, 1985

    1985

  8. [8]

    Lacunarity of self-similar and stochastically self-similar sets.Trans

    Dimitris Gatzouras. Lacunarity of self-similar and stochastically self-similar sets.Trans. Amer. Math. Soc., 352(5):1953–1983, 2000

    1953

  9. [9]

    A local Steiner-type formula for general closed sets and applications.Math

    Daniel Hug, Günter Last, and Wolfgang Weil. A local Steiner-type formula for general closed sets and applications.Math. Z., 246(1-2):237–272, 2004

    2004

  10. [10]

    Fractals and self-similarity.Indiana Univ

    John Hutchinson. Fractals and self-similarity.Indiana Univ. Math. J., 30:713–747, 1981

    1981

  11. [11]

    A survey on Minkowski measurability of self-similar and self-conformal fractalsinR d

    Sabrina Kombrink. A survey on Minkowski measurability of self-similar and self-conformal fractalsinR d. InFractal geometry and dynamical systems in pure and applied mathematics. I. Fractals in pure mathematics, volume 600 ofContemp. Math., pages 135–159. Amer. Math. Soc., Providence, RI, 2013

    2013

  12. [12]

    Sabrina Kombrink, Erin P. J. Pearse, and Steffen Winter. Lattice-type self-similar sets with pluriphase generators fail to be Minkowski measurable.Math. Z., 283(3-4):1049–1070, 2016

    2016

  13. [13]

    Lattice self-similar sets on the real line are not Minkowski measurable.Ergodic Theory Dynam

    Sabrina Kombrink and Steffen Winter. Lattice self-similar sets on the real line are not Minkowski measurable.Ergodic Theory Dynam. Systems, 40(1):221–232, 2020

    2020

  14. [14]

    M. L. Lapidus. Vibrations of fractal drums, the Riemann hypothesis, waves in fractal media and the Weyl-Berry conjecture. InOrdinary and partial differential equations, Vol. IV (Dundee, 1992), volume 289 ofPitman Res. Notes Math. Ser., pages 126–209. Longman Sci. Tech., Harlow, 1993

    1992

  15. [15]

    Erin P. J. Pearse and Steffen Winter. Geometry of canonical self-similar tilings.Rocky Mountain J. Math., 42(4):1327–1357, 2012

    2012

  16. [16]

    On volume and surface area of parallel sets.Indiana Univ

    Jan Rataj and Steffen Winter. On volume and surface area of parallel sets.Indiana Univ. Math. J., 59(5):1661–1685, 2010

    2010

  17. [17]

    Separation properties for self-similar sets.Proc

    Andreas Schief. Separation properties for self-similar sets.Proc. Amer. Math. Soc., 122(1):111–115, 1994. 14

    1994

  18. [18]

    Sierpinski n-gons.Pi Mu Epsilon Journal, 10(2):81–89, 1995

    Steven Schlicker and Kevin Dennis. Sierpinski n-gons.Pi Mu Epsilon Journal, 10(2):81–89, 1995

    1995

  19. [19]

    L. L. Stachó. On the volume function of parallel sets.Acta Sci. Math. (Szeged), 38(3- 4):365–374, 1976

    1976

  20. [20]

    Minkowski content and fractal curvatures of self-similar tilings and gen- erator formulas for self-similar sets.Adv

    Steffen Winter. Minkowski content and fractal curvatures of self-similar tilings and gen- erator formulas for self-similar sets.Adv. Math., 274:285–322, 2015. 15

    2015