REVIEW 1 major objections 3 minor 16 references
Measures with specified support and arbitrary Assouad dimensions
T0 review · 1 major / 3 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read The paper proves that a compact set with positive upper Assouad dimension supports measures whose upper Assouad dimension can be any prescribed value larger than that of the set, and likewise for the lower Assouad dimension.
desk verdict Solid subfield result on prescribed Assouad dimensions of measures; main theorem holds up, but Theorem 4.1's last step is too compressed. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The carrying mechanism is the nested-cube construction (the KRS construction): a dyadic-like decomposition of E into nested intervals labelled by finite words, with lengths comparable to s^k and each interval splitting into at most N children. The measure is defined by assigning each child a weight, so that the masses of every sibling group sum to 1. The load-bearing object is the proportionality constant zeta of the construction, the limiting fraction of levels along arbitrarily long paths at which intervals split; for sets of positive upper Assouad dimension, zeta is positive. Setting the splitting weight to a = s^(D/zeta) makes the fastest mass decay along such paths equal s^(-D k), which translates to the desired exponent D in ball-mass ratios, while the boundedness of all other weights keeps every ratio at or below that exponent.
What would settle it
Test the boundary case by computing the upper Assouad dimension of E = {0} union {$\alpha$^(M^n)} from Proposition 3.8. That proposition shows every measure on E has upper Assouad dimension 0 or infinity, so a positive value of dim_A E would contradict Theorem 3.2; the expected value, dim_A E = 0, would confirm that the theorem's positive-dimension hypothesis is genuinely needed rather than merely technical.
Extended reading notes
Core claim
The central claim is Theorem 3.2: if E subset [0,1] is compact and its upper Assouad dimension is positive, then for every D larger than that dimension there is a probability measure mu with support E and upper Assouad dimension exactly D. Theorem 4.1 is the simultaneous version: for 0 < d < dim_L E and D > dim_A E, a single measure can have lower Assouad dimension d and upper Assouad dimension D. The proof builds the measure by assigning weights to the children of each interval in a nested-cube decomposition of E. Along selected paths the weights are chosen so that mass decays with the target exponent; everywhere else the weights are bounded between a minimum and maximum that keeps every ball-mass ratio below that exponent. Thus the Assouad dimensions of a measure are not intrinsic to its support but are parameters the construction can dial in, subject only to the inequalities d < dim_L E and D > dim_A E.
Load-bearing premise
The proof of the simultaneous upper-and-lower result assumes that the chosen weights keep the masses of neighbouring construction intervals comparable all the way down every path, and the paper states the resulting dimension equalities as following by standard arguments without deriving those bounds.
Editorial extensions
If this is right
- For any compact E subset [0,1] with positive upper Assouad dimension, the possible upper Assouad dimensions of probability measures supported on E include every real number above dim_A E and also infinity.
- If the lower Assouad dimension of E is positive, the two dimensions can be tuned independently: one measure can have any lower Assouad dimension d < dim_L E and any upper Assouad dimension D > dim_A E at the same time.
- Measures of lower Assouad dimension 0 are easy to produce on any infinite support: add a point mass to any measure supported on E; the lower dimension drops to 0, and if the added point is not isolated, the upper dimension becomes infinity.
- The positive-dimension hypothesis is essential: the paper constructs an infinite compact set E on which every measure has upper Assouad dimension either 0 or infinity, so no intermediate dimension is attainable.
Reading between the lines
- Implicit in the paper's closing remark is a broader conjecture: the same weighting scheme may prescribe Assouad dimensions on any compact doubling metric space admitting a nested-cube construction with positive proportionality constant, even when the set's upper Assouad dimension is zero.
- The proportionality constant zeta is introduced as a property of a particular construction; a natural question the paper leaves open is whether zeta is independent of the choice of nested-cube decomposition for a given set, and whether it connects to known homogeneity characteristics of E.
- A direct test of the omitted estimates in Theorem 4.1 would be to track the mass ratio of adjacent intervals along a path whose prescribed weights alternate between s^d and s^D; the simultaneous statement is fully justified only if this ratio remains bounded independently of the path length.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies the problem of prescribing Assouad dimensions of measures with prescribed compact support E ⊆ R. It first proves (Theorem 3.2) that if dim_A E > 0, then for every D > dim_A E, including D = ∞, there is a probability measure µ with support E and dim_A µ = D. The proof uses the generalized nested cubes construction of Käenmäki–Rajala–Suomala (KRS), assigning weights along specially chosen paths and using a proportionality constant ζ for the density of splitting levels. The paper then proves (Theorem 4.1) that for 0 < d < dim_L E ≤ dim_A E < D there is a single measure µ on E with dim_L µ = d and dim_A µ = D, by alternating weights s^d and s^D along an interior path. It also gives an example (Proposition 3.8) of an infinite compact set on which every measure has upper Assouad dimension either 0 or ∞, showing that the hypotheses cannot be dropped.
Significance. If the results are fully established, they provide a clean and essentially sharp answer to a natural question about the attainable Assouad dimensions of measures on compact subsets of the line. The KRS-cube framework is well chosen, and the paper contains several genuinely useful ingredients: Lemma 3.1 gives quantitative control of the number of children in a KRS construction, Lemma 3.5 proves positivity of the proportionality constant under dim_A E > 0, and the upper-dimension construction in Theorem 3.2 is carefully structured. Proposition 3.8 is a valuable counterexample showing that the main theorem is not vacuous and that the positivity assumption on dim_A E is needed. The main advertised simultaneous statement, however, is not fully proved as written, because Theorem 4.1 ends with an omitted 'standard arguments' step that carries the load of the conclusion.
major comments (1)
- [§4, Theorem 4.1] The proof of Theorem 4.1 ends with 'standard arguments now show that dim_L µ = d and dim_A µ = D', but the estimates needed for these equalities are not supplied. To establish dim_L µ = d one needs a uniform lower bound µ(B(x,R))/µ(B(x,r)) ≥ c (R/r)^d for every x ∈ E and all sufficiently small 0 < r < R, and to establish dim_A µ = D one needs the complementary uniform upper bound with exponent D. The written argument only asserts that adjacent intervals have comparable µ-measures and that there are arbitrarily long paths carrying weights s^d and s^D; it does not derive the corresponding bounds for balls that only partially intersect KRS intervals, does not control the number of level-k intervals intersecting a ball, and does not show how the alternating weights propagate to arbitrary x, r, R. Because the simultaneous prescription of both dimensions is the main advertised contribution of the theorem, this omission is load-bearing, and the proof is incomplete as written.
minor comments (3)
- [§3, proof of Theorem 3.2] In the case without arbitrarily long boundary paths, the displayed exponent ζ(1+2^{-J})(j-k) should be ζ(1+2^{-J})(k-j), since k > j and the path from Iv to Iw has length k-j; with the sign as written, the displayed lower bound for µ(Iw) is not meaningful.
- [§3, Lemma 3.3] The sentence 'A similar statement holds for the measure s of any two siblings' should refer to the measure µ (or to the measures of the two siblings), not to 's'.
- [§4, Theorem 4.1] The bounds s^D ≤ y_w,z_w ≤ s^d are asserted with the comment 'it is easy to see', but the verification is not shown; since these bounds are used for the comparability of adjacent interval masses, a short derivation would improve the readability and verifiability of the proof.
Circularity Check
No circularity: the target dimensions are prescribed in the hypotheses and realized by explicit weight choices, with the KRS construction cited from other authors and self-citations used only for background.
full rationale
The paper's target quantities (D, d) are hypotheses, not outputs of a fit. In Theorem 3.2 the constant a is chosen so that a^ζ = s^D, where ζ is the split-frequency of the KRS construction and is proved positive independently from dim_A E > 0; the later bounds then use this identity to obtain the required exponent, which is a straightforward construction of a measure with prescribed dimension, not a circular reduction. In Theorem 4.1 the weights s^d and s^D are assigned by construction along alternating blocks of an interior path, and the final 'standard arguments' sentence is an unfinished estimate, not an identity that assumes dim_L µ = d or dim_A µ = D. The central external input is the KRS construction of Käenmäki, Rajala and Suomala, not the present authors; the authors' own references [4] and [5] are used only for background on Assouad-type dimensions and are not load-bearing. No equation in the paper reduces to its own input: the comparability of adjacent interval measures is asserted from the weight structure, and ζ is not set equal to D. The omitted estimates in Theorem 4.1 are a rigor gap that would affect correctness if unfillable, but they do not make the derivation circular.
Assumptions & free parameters
assumptions (3)
- domain assumption The KRS construction theorem (Käenmäki, Rajala, Suomala [9]) guarantees, for any 0 < s < 1/3 and any doubling metric space E, a nested family of generalized dyadic intervals with the stated length, separation, and covering properties.
- standard math Standard characterizations of Assouad dimensions: dim_A E is finite iff E is doubling; dim_L E is positive iff E is uniformly perfect; and for any measure dim_L µ ≤ dim_H µ ≤ dim_A µ.
- standard math The Kolmogorov extension theorem for measures on compact metric spaces: a consistent assignment of weights to a nested family of intervals with total mass 1 defines a Borel probability measure.
Cite this review
Pith. "Pith review of Measures with specified support and arbitrary Assouad dimensions." pith.science (2026). https://pith.science/paper/OR5CRSG3
@misc{pith2026190804592,
author = {Pith},
title = {Pith review of: Measures with specified support and arbitrary Assouad dimensions},
year = {2026},
howpublished = {\url{https://pith.science/paper/OR5CRSG3}},
note = {Machine review of arXiv:1908.04592}
}
abstract
We show that if the upper Assouad dimension of the compact set $E\subseteq \mathbb{R}$ is positive, then given any $D>\dim_{A}E$ there is a measure with support $E$ and upper Assouad (or regularity) dimension $D$. Similarly, given any $0\leq d<\dim_{L}E,$ there is a measure on $E$ with lower Assouad dimension $d$.
Reference graph
Works this paper leans on
- [1]
-
[2]
P. Assouad. \' E tude d'une dimension m\' e trique li\' e e thebibliography 99
-
[3]
P. Bylund and J. Gudayol, On the existence of doubling measures with certain regularity properties, Proc. Amer. Math. Soc., 128(2000), 3317-3327
work page 2000
- [4]
-
[5]
Fraser, Assouad type dimensions and homogeneity of fractals, Trans
J.M. Fraser, Assouad type dimensions and homogeneity of fractals, Trans. Amer. Math. Soc., 366(2014), 6687--6733
work page 2014
-
[6]
On the upper regularity dimensions of measures
J.M. Fraser and D. Howroyd, On the upper regularity dimension of measures, Indiana Univ. Math. J., to appear.\ arXiv: 1706.09340
-
[7]
Quantum signature of exciton condensation
K.E. Hare, K.G. Hare and S. Troscheit, Quasi-doubling of self-similar measures with overlaps, J. Fractal Geometry, to appear.\ arXiv: 1807.09191
-
[8]
Lower Assouad Dimension of Measures and Regularity
K.E. Hare and S. Troscheit, Lower Assouad dimension of measures and regularity, \ arXiv: 1812.05573
Show all 16 references
-
[9]
Jonsson, Besov spaces on closed subsets of R ^ n , Trans
A. Jonsson, Besov spaces on closed subsets of R ^ n , Trans. Amer. Math. Soc., 41(1994), 355-370
1994
-
[10]
a enm\" a ki and J. Lehrb\
A. K\" a enm\" a ki and J. Lehrb\" a ck, Measures with predetermined regularity and inhomogeneous self-similar sets, Ark. Mat ., 55(2017), 165--184
2017
-
[11]
a enm \
A. K \" a enm \" a ki, J. Lehrb \" a ck and M. Vuorinen, Dimensions, Whitney covers, and tubular neighborhoods, \ Indiana Univ. Math. J., 62(2013), 1861--1889
2013
-
[12]
K\" a enm\" a ki, T
A. K\" a enm\" a ki, T. Rajala and V. Suomala, Existence of doubling measures via generalised nested cubes, Proc. Amer. Math. Soc. , 140(2012), 3275-3281
2012
-
[13]
K\" a enm\" a ki and E
A. K\" a enm\" a ki and E. Rossi, Weak separation condition,
-
[14]
Luukkainen
J. Luukkainen. Assouad dimension: antifractal metrization,
-
[15]
Luukkainen and E
J. Luukkainen and E. Saksman, Every complete doubling metric space carries a doubling measure, Proc. Amer. Math. Soc., 126 (1988), 531-534
1988
-
[16]
A. L. Volberg and S. V. Konyagin, On measures with the doubling condition, Math USSR\ Izv., 30(1988), 629-638
1988
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.