REVIEW 3 major objections 5 minor 36 references
Besicovitch covering numbers for $\mathcal B$-free and other shifts
T0 review · 3 major / 5 minor · reviewed 2026-08-15 · deepseek-v4-flash
Pith's one-line read Besicovitch covering numbers of individual orbits are a block-code invariant, and golden-rotation codings show this invariant separates systems with identical spectra.
desk verdict Genuinely new invariant and solid applications; two repairable gaps in the golden-rotation section, not fatal. 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 load-bearing object is the Besicovitch pseudo-metric $d_1(x,y)=\limsup_{n\to\infty}\frac{1}{2n+1}\#\{|i|\le n: x_i\neq y_i\}$ on $A^{\mathbb Z}$ and the orbit closure $O(\tilde x)$ inside the quotient Besicovitch space. For an ergodic discrete-spectrum measure $\mu$, all $\mu$-generic points lie in one $D_1$-equivalence class $X_\mu$, all are Besicovitch almost periodic, and $O(\tilde x)$ is a compact abelian group carrying the unique invariant measure. The quantitative link is Theorem 2.10c: $\mu(B_{d_1}(x,\epsilon))^{-1} \leq N_\epsilon(O(x)) \leq \mu(B_{d_1}(x,\epsilon/2))^{-1}$, which turns the scaling of covering numbers into the scaling of the $\mu$-measure of Besicovitch balls. The second main mechanism is the window construction $W_s$ for the golden rotation in Section 4.3, built from nested intervals $V_n^0$, $V_n^1$ along the return times $q_n$ with $q_{n+1}=q_n+q_{n-1}$, with the defining property that $\lambda\{h\in\mathbb T: \lambda(W_s\triangle(W_s+h))\le \epsilon\} \asymp \epsilon^{s/(s-1)}$; this tail scaling is exactly what feeds the ball-measure estimate and yields amorphic complexity $s/(s-1)$.
What would settle it
For a fixed $s>1$, approximate $W_s$ by the finite-stage sets $W_n$ and numerically estimate the tail $\lambda\{h\in\mathbb T: \lambda(W_s\triangle(W_s+h))\le \epsilon\}$ for shrinking $\epsilon$; property (P3) predicts a clean $\epsilon^{s/(s-1)}$ power law, so a systematic deviation would invalidate Proposition 4.1c. Alternatively, check the quantifier in Eq. (4.2): the coding property is proved on the half-interval $I_n^1$, while the text states it for all $x\in I_n$; if the full-interval statement is needed for property (P1), the proof must be corrected before the conclusion is fully established.
Extended reading notes
Core claim
The paper's central claim is that for an ergodic shift-invariant measure $\mu$ with discrete spectrum, the covering-number function $N_\epsilon(O(x))$ of any $\mu$-generic Besicovitch almost periodic point $x$ is finite for every $\epsilon>0$, is independent of the chosen generic point, and satisfies $\mu(B_{d_1}(x,\epsilon))^{-1} \leq N_\epsilon(O(x)) \leq \mu(B_{d_1}(x,\epsilon/2))^{-1}$. Because a sliding block code is Lipschitz with respect to $d_1$, the equivalence class of this covering-number function is preserved under block-code equivalence, so the amorphic complexity of an orbit—the polynomial growth rate of its covering numbers—is a block-code invariant. The paper then uses this invariant to separate systems that are spectrally identical: for the golden rotation and the window family $W_s$ satisfying property (P3), the measures $\mu_s$ all have spectrum $\{e^{2\pi i \ell \alpha}:\ell\in\mathbb Z\}$ and almost every orbit is dense in the full shift $\{0,1\}^{\mathbb Z}$, yet the amorphic complexity is $s/(s-1)$. Hence for $1<s<s'$ the typical orbits are not block-code equivalent. For $\mathcal B$-free shifts, the paper develops arithmetic identities expressing $d_1(\eta,\sigma^r\eta)$ as the density of a symmetric difference of multiples sets, and uses them to estimate covering numbers for structured and square-free cases.
Load-bearing premise
The load-bearing premise is that the nested-interval window $W_s$ built in Section 4.3 really has the advertised symmetric-difference tail: the measure of the set of shifts $h$ for which $W_s$ differs from $W_s+h$ by at most $\epsilon$ grows like $\epsilon^{s/(s-1)}$; if that estimate fails, the amorphic complexity $s/(s-1)$ and the non-block-code-equivalence conclusion collapse.
Editorial extensions
If this is right
- Amorphic complexity, and more generally the equivalence class of the covering-number function, is a genuine block-code invariant that can be computed orbit-wise for generic points, not only for entire mean-equicontinuous subshifts.
- The golden-rotation family yields a continuous family of measures $\mu_s$, all with the same pure point spectrum and with almost every orbit dense in $\{0,1\}^{\mathbb Z}$, whose typical points are pairwise non-block-code equivalent for different values of $s$.
- For $\mathcal B$-free shifts, the identity $d_1(\eta,\sigma^r\eta)=d(M_{\mathcal B}\triangle(r+M_{\mathcal B}))$ gives explicit upper and lower bounds on covering numbers in terms of least common multiples, enough to separate structured $\mathcal B$-free shifts by their amorphic complexity while their maximal equicontinuous factors are isomorphic.
- The square-free shift has infinite amorphic complexity, but its covering numbers still have a finite critical exponent on the power-exponential scale $\epsilon\mapsto \exp(-\epsilon^{-\alpha})$, namely $\alpha=1$, refining the picture for this classical system.
Reading between the lines
- Because the invariant survives factor maps whose code length has finite moments of all orders, the same golden-rotation family should separate orbits under a broader class of maps than finite block codes; this is a testable robustness property of the invariant.
- The window construction uses the golden rotation; a natural extension is to replace $\alpha$ by other badly approximable rotations, where the symmetric-difference tail would presumably scale with a different exponent, producing further continuous families of non-equivalent systems.
- The relation $N_\epsilon(O(x))\approx \mu(B_{d_1}(x,\epsilon))^{-1}$ suggests that the covering-number dimension of a weak model set could be read off from the scaling of its autocorrelation or window radial distribution, connecting this invariant to diffraction-style computations.
- Footnote 22 indicates that choices made inside each pair of half-intervals can move the coded point $\varphi_s(0)$ outside $X_\mu$; if so, the covering-number dimension may depend on the representative within a $D_1$-equivalence class, which would be worth checking explicitly.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies Besicovitch covering numbers N_epsilon(O(x)) of individual shift orbits and proposes them as invariants for block code equivalence. The main general result, Theorem 2.10c, gives two-sided bounds for these covering numbers in terms of the mu-measure of Besicovitch balls, under the assumption that the ambient measure is ergodic with discrete spectrum. The authors then specialize to B-free systems, deriving explicit arithmetic identities and estimates that yield amorphic complexities for several Toeplitz examples and for the square-free shift, where the critical exponent on the exponential scale is identified as 1. The final section constructs, for each s>1, a Borel window W_s for the golden rotation such that the corresponding Mirsky measures all have the same discrete spectrum generated by one eigenvalue, yet Lebesgue-a.e. point in the associated full shift has amorphic complexity s/(s-1). Consequently, for 1<s<s', a.e. pair of points is not block code equivalent, despite identical spectra and full orbit closures.
Significance. If the construction in Section 4.3 can be made fully rigorous, the paper is significant. It introduces a genuinely new invariant for block code equivalence that is finer than spectrum or topological orbit-closure isomorphism in the examples: two systems can have identical spectrum and identical full-shift orbit closure while their typical points have different amorphic complexity. The general bounds in Theorem 2.10c are clean and likely to be a useful tool beyond the examples treated. The arithmetic work on B-free systems is explicit and checkable, and the square-free example provides a concrete computation of covering-number scaling on a non-polynomial scale. The paper is clearly written in its general parts and the main ideas are well motivated.
major comments (3)
- [Section 4.3, Eq. (4.2)] The displayed equivalence (4.2), 'for all x in I_n and all k in [q_n, q_{n+1}): R_k x in W_n iff omega_{k-q_n}=1', is not correct for all x in I_n. For x in I^0_n = (0, delta_n] the correct equivalence is with omega_{k-q_n}=0 instead of 1. The subsequent proof of (P1) only uses the statement on the half-interval I^1_n, so the error is repairable, but the displayed equivalence and the text around it should be rewritten to state the correct half-interval version and to explain how the full-measure statement is derived from it.
- [Section 4.3, Eq. (4.6)] The right inclusion H_n subseteq I_{n-L} in (4.6) is the most delicate step in the proof of (P3). It relies on the unproved lower bound lambda(W_n triangle (W_n+h)) >= |h| q_{n-1} for h in I_n. This bound requires that the indicator 1_{W_n} has a jump at each c_k for q_n <= k < q_{n+1} and is constant on both sides on intervals of length at least delta_n, and that no contributions from earlier stages W_m with m<n interfere. A complete proof must use the disjointness provided by (O1) and control the interaction between the intervals of different stages. As written, the estimate is asserted rather than verified, and it is load-bearing for the epsilon^{s/(s-1)} scaling in (4.7), hence for Proposition 4.1c and the main non-equivalence conclusion.
- [Section 4.3, (O1)] The inclusion [-2 delta_n, 2 delta_n] subset J_[sn] is stated as immediate 'by definition of delta_n'. This inclusion is used to conclude |k-k'| >= q_[sn] in (O1) and in the bound on #T_{n,n'} in (O2), and it determines the constants in (4.4). It should be proved explicitly from the definitions of delta_n and J_m; the argument is short, but it cannot be omitted from a construction that carries the paper's main theorem.
minor comments (5)
- [Section 4.3] The half-open conventions for I^1_n, I^0_n and I_n should be stated once in a precise way; the current text and the footnote use different notations (e.g. I^+_n and I^-_n), which makes the quantifier in (4.2) harder to track.
- [Section 5.1] The sentence 'the Symbols like dN, dN etc. have analogous meaning' contains capitalization and notation inconsistencies; please harmonize the density notation throughout the paper.
- [Example 3.18] The assertion that epsilon_{ell_n}/epsilon_{ell_{n+1}} -> 1 is used without proof; it follows from the asymptotic formula for epsilon_{ell_n}, but the derivation should be shown.
- [Abstract and Section 1.4] The abstract states that the covering numbers are 'sufficiently different' for the two parameters, while the body gives the exact amorphic complexity; the abstract should be made consistent and quantitative.
- [Section 4.2, (GR6)] The geometric fact quoted from [4, p.28] is used in (O2); a precise lemma or theorem number from [4] would help the reader verify the claim.
Circularity Check
No circularity: the Besicovitch covering-number estimates are proved from ball-measure bounds and an explicit window construction, with only background self-citations.
full rationale
The paper's main claims do not reduce to their inputs. Theorem 2.10c (Eq. 2.5) is proved by a Frostman-type argument: the lower bound follows from an invariant measure on the isometric orbit closure and Lemma 2.5, and the upper bound from maximal separated sets, so covering numbers are bounded by ball measures, not defined to be them. The B-free estimates (Lemmas 3.13, 3.15 and Example 3.16) are derived from arithmetic identities proved in Sections 3.2 and 5.2 plus the general ball-measure bound. The pivotal golden-rotation example is constructed, not fitted: the recursive window definition (4.1) and the Fibonacci geometry are used to prove the two-sided inclusions (4.5)-(4.6), which yield the claimed epsilon^(s/(s-1)) scaling (P3); the exponent is the output of the construction, not an input. Proposition 4.1 then converts (P3) to amorphic complexity via Eq. 2.5, and non-block-code-equivalence follows from the elementary Lipschitz invariance (1.3). Citations to earlier work by the present authors ([10], [19], [22], [24]) supply background facts such as Mirsky measures, taut-window aperiodicity, and the discrete spectrum of weak model sets; these are external published results with stated assumptions, and they do not enter the derivation of the new covering-number scalings as fitted parameters or as assumed conclusions. The in-text issue at Eq. (4.2) (the coding equivalence holds on the appropriate half-interval I^1_n or I^0_n rather than all of I_n) and the unstated geometric constants in (O1) are correctness and verification risks, not circularity.
Assumptions & free parameters
assumptions (6)
- standard math Chinese Remainder Theorem and inclusion-exclusion for densities of arithmetic progressions, used in Lemmas 3.5-3.8.
- standard math Davenport-Erdos theorem on densities of sets of multiples, used in Section 5.1 and Theorem 5.2.
- domain assumption Halmos-von Neumann theorem: ergodic discrete-spectrum systems are isomorphic to rotations on compact abelian groups.
- domain assumption Wiener-Wintner theorem and Lenz-Spindeler-Strungaru results [27] on Besicovitch almost periodicity and pure point spectrum.
- domain assumption Keller-Richard [24, Thm B1']: coding of Haar aperiodic windows has pure point spectrum {e^{2πiℓα}}.
- domain assumption Regular Toeplitz B-free shifts are minimal, uniquely ergodic, isomorphic extensions of their MEF with trivial automorphism group, from [10,7,19,8].
Cite this review
Pith. "Pith review of Besicovitch covering numbers for $\mathcal B$-free and other shifts." pith.science (2026). https://pith.science/paper/NFQJJTZN
@misc{pith2026250509253,
author = {Pith},
title = {Pith review of: Besicovitch covering numbers for $\mathcal B$-free and other shifts},
year = {2026},
howpublished = {\url{https://pith.science/paper/NFQJJTZN}},
note = {Machine review of arXiv:2505.09253}
}
abstract
For a finite alphabet $A$ define by $d_1(x,y):=\limsup_{n\to\infty}\frac{1}{2n+1}\#\{|i|\le n: x_i\neq y_i\}$ the Besicovitch pseudo-metric on $A^{\mathbb Z}$. It is well known that a closed subshift of $A^{\mathbb Z}$ has finite covering numbers w.r.t. $d_1$ if and only if it is mean-equicontinuous. Here we study, more generally, the scaling behavior of these covering numbers for individual orbits which are generic for an ergodic measure $\mu$ on $A^{\mathbb Z}$ with discrete spectrum, and we explore their usefulness as invariants for block code equivalence. We illustrate this by developing tools to determine these covering numbers for various classes of $\mathcal B$-free numbers (in particular also for square-free numbers), and we provide a continuous family of measures $\mu_s$, all with the same discrete spectrum generated by a single number, but such that $\mu_s$- and $\mu_{s'}$-typical $x$ resp. $x'\in A^{\mathbb Z}$ have sufficiently different growth of covering numbers such that there are no finite block codes mapping $x\to x'$ and $x'\to x$. (Indeed, both orbits have different amorphic complexities.)
Reference graph
Works this paper leans on
-
[1]
M. Baake, F. Gähler, and P. Gohlke. Orbit separation dimension as complexity mea- sure for primitive inflation tilings. Ergodic Theory and Dynamical Systems (First View: https://doi.org/10.1017/etds.2025.18), page 1–29, 2025
-
[2]
V . Bergelson, J. Kułaga-Przymus, M. Lema ´nczyk, and F. K. Richter. Rationally almost peri- odic sequences, polynomial multiple recurrence and symbolic dynamics. Ergodic Theory and Dynamical Systems, 39(9):2332–2383, 2019
work page 2019
-
[3]
F. Blanchard, E. Formenti, and P. Kurka. Cellular Automata in the Cantor, Besicovitch, and Weyl Topological Spaces. Complex Systems, 11:107–123, 1997
work page 1997
-
[4]
W. de Melo and S. van Strien. One-Dimensional Dynamics. Springer Berlin, Heidelberg, 1993
work page 1993
-
[5]
T. Downarowicz. Survey of odometers and Toeplitz flows. In S. Kolyada, Y . Manin, and T. Ward, editors, Contemporary Mathematics: Algebraic and Topological Dynamics, volume 385, pages 7–38. 2005
work page 2005
-
[6]
T. Downarowicz and E. Glasner. Isomorphic extensions and applications. Topological Methods in Nonlinear Analysis, 48:321–338, 2016
work page 2016
-
[7]
A. Dymek. Automorphisms of Toeplitz B-free systems. Bull. Polish Acad. Sci. Math., 65:139– 152, 2017
work page 2017
- [8]
Show all 36 references
-
[9]
Dymek, S
A. Dymek, S. Kasjan, and J. Kułaga-Przymus. Minimality of B-free systems in number fields. Discrete and Cont. Dynamical Systems, 43:3512–3548, 2023
2023
-
[10]
Dymek, S
A. Dymek, S. Kasjan, J. Kułaga-Przymus, and M. Lema´nczyk.B-free sets and dynamics. Trans. Amer. Math. Soc., 370(8):5425–5489, 2018
2018
-
[11]
Fuhrmann, M
G. Fuhrmann, M. Gröger, and T. Jäger. Amorphic complexity. Nonlinearity, 29:528–565, 2016
2016
-
[12]
Fuhrmann, M
G. Fuhrmann, M. Gröger, T. Jäger, and D. Kwietniak. Amorphic complexity of group actions with applications to quasicrystals. Trans. Amer. Math. Soc., 376(4):2395–2418, 2023. 32
2023
-
[13]
García-Ramos
F. García-Ramos. Weak forms of topological and measure-theoretical equicontinuity: Relation- ships with discrete spectrum and sequence entropy. Ergodic Theory and Dynamical Systems , 37(4):1211–1237, 2017
2017
-
[14]
Garcia-Ramos, T
F. Garcia-Ramos, T. Jäger, and X. Ye. Mean equicontinuity, almost automorphy and regularity. Israel Journal of Mathematics, 243:155–183, 2021
2021
-
[15]
Halberstam and K
H. Halberstam and K. Roth. Sequences. Springer, 1983
1983
-
[16]
R. R. Hall. Sets of Multiples , volume 118 of Cambridge Tracts in Mathematics . Cambridge University Press, 1996
1996
-
[17]
G. A. Hedlund. Endomorphisms and automorphisms of the shift dynamical system. Math. Systems Theory, 3:320–375, 1969
1969
-
[18]
M. Helfter. Scales. arXiv 2206.05231, 2022
2022 arXiv
-
[19]
Kasjan, G
S. Kasjan, G. Keller, and M. Lema ´nczyk. Dynamics ofB-free sets: a view through the window. International Mathematics Research Notices, 2019(9):2690–2734, 2019
2019
-
[20]
G. Keller. Irregular B -free Toeplitz sequences via Besicovitch’s construction of sets of multiples without density. Monatshefte für Mathematik, 199:801—-816, 2022
2022
-
[21]
Keller, M
G. Keller, M. Lema ´nczyk, C. Richard, and D. Sell. On the Garden of Eden theorem for B-free subshifts. Israel J. Math., 251:567–594, 2022
2022
-
[22]
Keller and C
G. Keller and C. Richard. Dynamics on the graph of the torus parametrisation. Ergod. Th. & Dynam. Sys., 38(3):1048–1084, 2018
2018
-
[23]
Keller and C
G. Keller and C. Richard. Periods and factors of weak model sets.Israel Journal of Mathematics, 229:85–132, 2019
2019
-
[24]
Keller, C
G. Keller, C. Richard, and N. Strungaru. Spectrum of weak model sets with Borel windows. Canadian Mathematical Bulletin, (66):411–427, 2023
2023
-
[25]
Kloeckner
B. Kloeckner. A generalization of Hausdorff demension applied to Hilbert cubes and Wasserstein spaces. Journal of Topology and Analysis, 4(2):203–235, 2012
2012
-
[26]
D. Lenz, T. Spindeler, and N. Strungaru. Pure Point Diffraction and Mean, Besicovitch and Weyl Almost Periodicity. arXiv:2006.10821, 2020
2006 arXiv
-
[27]
D. Lenz, T. Spindeler, and N. Strungaru. Pure point spectrum for dynamical systems and mean, Besicovitch and Weyl almost periodicity. Ergodic Theory and Dynamical Systems, 262(2):524– 568, 2023
2023
-
[28]
J. Li, S. Tu, and X. Ye. Mean equicontinuity and mean sensitivity. Ergodic Theory and Dynam- ical Systems, 35(8):2587–2612, 2015
2015
-
[29]
M. K. Mentzen. Automorphisms of subshifts defined by B-free sets of integers. Colloquium Mathematicum, 147(1):87–94, 2017
2017
-
[30]
R. V . Moody and N. Strungaru. Point Sets and Dynamical Systems in the Autocorrelation Topol- ogy. Canadian Mathematical Bulletin, 47(1):82–99, 2004. 33
2004
-
[31]
J. Moreira. Ergodic theory – notes. Lecture Notes, University of Warwick, 2020
2020
-
[32]
V . Salo. A note on subgroups of automorphism groups of full shifts. Ergodic Theory and Dynamical Systems, 38(4):1588–1600, 2018
2018
-
[33]
A. M. Vershik. The Pascal automorphism has a continuous spectrum. Functional Analysis and its Applications, 45(3):173–186, 2011
2011
-
[34]
A. M. Vershik. Scaling entropy and automorphisms with pure point spectrum. St. Petersburg Mathematical Journal, 23(1):75–91, 2012
2012
-
[35]
P. Walters. An Introduction to Ergodic Theory , volume 79 of Graduate Texts in Mathematics. Springer, 1982
1982
-
[36]
Wiener and A
N. Wiener and A. Wintner. On the Ergodic Dynamics of Almost Periodic Systems. American Journal of Mathematics, 63(4):794–824, 1941. 34
1941
Reviewed August 15, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.