Pith. sign in

REVIEW 5 minor 10 references

Averaged Fourier Estimates and Dyadic Approximation on the Cantor set

T0 review · 0 major / 5 minor · reviewed 2026-07-12 · grok-4.5

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

Pith's one-line read Averaged Fourier bounds on the Cantor measure push dyadic approximation thresholds closer to the conjectured zero-one law.

desk verdict Clean elementary improvement of the known zero-one ranges for dyadic approximation on the middle-third Cantor set; the averaged Fourier bounds are the real content. read the letter →

arxiv 2606.27034 v2 pith:Q5CEO3ZM submitted 2026-06-25 math.NT math.DS

Prasuna Bandi This is my paper · ORCID
classification math.NTmath.DS MSC 11J8328A8011K6037A45
keywords middle-thirdCantorsetdyadicapproximationmeasureFouriertransformmetricDiophantinezero-onelawVelaniconjecture
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper studies how well points of the middle-third Cantor set can be approximated by dyadic rationals, measured with respect to the natural Cantor probability measure. Velani's conjecture predicts a sharp zero-one law: almost every Cantor point is approximable to order n^{-τ} infinitely often precisely when τ ≤ 1. Previous work only controlled the extremes τ ≳ 1.55 (convergence) and τ ≲ 0.01 (divergence). By establishing new averaged estimates for the Fourier transform of the Cantor measure along the orbit q·2^n, the paper improves both sides: the measure of the limsup set is zero for every τ > 2 − γ ≈ 1.369 and is full for every τ < (1 − γ)/2 ≈ 0.185. The same estimates also yield the corresponding statements for the power functions ψ(2^n) = n^{-τ}. A sympathetic reader cares because the dyadic and triadic bases are multiplicatively independent, so the problem is genuinely arithmetic rather than geometric; each improvement of the exponents narrows the gap between what the Fourier method can prove and the conjectured threshold.

What carries the argument

Averaged Fourier estimates (Lemma 6 and the bilinear form Lemma 7): for H ≍ 3^K the sum of |µ̂(q 2^n)| over any interval of length H is ≪ H^γ 3^{(1−γ) min(ν_3(q),K)}. The bound is obtained by combining the exact multiplicative order of 2 modulo powers of 3 with a finite averaging argument over residue classes; both the first-moment convergence proof and the second-moment divergence proof reduce to these estimates.

What would settle it

Compute or rigorously bound the sum of |µ̂(q 2^n)| over intervals of length H = 3^K for a sequence of q with fixed 3-adic valuation; if the sum is asymptotically larger than H^γ 3^{(1−γ) min(ν_3(q),K)}, the main theorems fail.

Watch

Extended reading notes

Core claim

For the middle-third Cantor measure µ and γ = log 2 / log 3, the set of points x in C that satisfy ||2^n x|| < n^{-τ} for infinitely many n has µ-measure zero whenever τ > 2 − γ, and has full µ-measure whenever τ < (1 − γ)/2. These are the first quantitative improvements of the known ranges on both the convergence and divergence sides of Velani's zero-one conjecture for dyadic approximation on C.

Load-bearing premise

The absolute-constant averaged Fourier bound must hold uniformly for every nonzero integer q; if the power of 3 that multiplies the valuation of q cannot be controlled that sharply, both the zero and full-measure statements collapse.

Editorial extensions

If this is right

  • The zero-measure threshold for power-law dyadic approximation on C drops from roughly 1.55 to 2 − γ ≈ 1.369.
  • The full-measure threshold rises from 0.01 to (1 − γ)/2 ≈ 0.185.
  • The same averaged estimates adapt immediately to inhomogeneous approximation and to asymptotic counting statements of Baker type.
  • Any further improvement of the averaged Fourier exponent would automatically tighten both sides of the zero-one law.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The remaining gap between 0.185 and 1.369 still leaves room for a method that exploits more of the multiplicative independence of 2 and 3 than pure Fourier averaging.
  • The same order-of-2-modulo-3^r technique should transfer to other self-similar measures whose contraction ratios are powers of an odd integer.
  • If the bilinear estimate can be sharpened by a logarithmic factor, the divergence side would reach τ < 1 − γ, closing half the remaining gap.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

0 major / 5 minor

Summary. The paper studies dyadic Diophantine approximation on the middle-third Cantor set C with its natural measure μ (Hausdorff dimension γ = log 2 / log 3). For the sets of points x ∈ C with ||2^n x|| < n^{-τ} for infinitely many n, it proves a zero law when τ > 2 − γ ≈ 1.369 and a full law when τ < (1 − γ)/2 ≈ 0.185. These improve the previously known ranges (roughly τ ≳ 1.55 for zero and τ ≲ 0.01 for full) and give partial progress toward Velani’s conjectured zero–one law with threshold τ = 1. The proofs rest on new averaged and bilinear bounds for the Fourier transform of μ along dyadic orbits, obtained from the product formula for μ̂, the multiplicative order of 2 modulo powers of 3, and an inductive cosine-averaging lemma; these are combined with smooth majorants/minorants, coefficient sums weighted by 3-adic valuations, Ahlfors regularity (coarse-to-fine transfer), and Borel–Cantelli / L^2 Markov arguments.

Significance. The work makes concrete, quantitative progress on both sides of a well-known conjecture in metric Diophantine approximation on fractals. The averaged Fourier estimates (Lemmas 6–7) are elementary, self-contained, and of independent interest; they exploit the special pair of bases (2, 3) more sharply than the classical Schmidt-type arguments they draw on. The concurrent independent preprint of Dai–Li–Wang–Wu is properly flagged. There are no free parameters, no numerical fitting, and the arguments reduce cleanly to absolute-constant bounds and standard measure-theoretic tools. The results are therefore a solid, citable advance even though the conjectural threshold τ = 1 remains open.

minor comments (5)
  1. The exponent β := 1 − γ is used in Lemma 6 (and thereafter) before it is defined. Introduce β = 1 − γ explicitly at the first appearance (or in the introduction) so that the statements of Lemmas 6–7 and the coefficient-sum lemmas are self-contained.
  2. Several OCR/typesetting artefacts remain in the front matter and early sections (e.g., “A VERAGED”, “DY ADIC”, “for sq∈Z”, occasional subscript glitches such as a±_ℓ,R,y). A careful proofreading pass is needed.
  3. In the statement of Lemma 10 the sum is bounded by ≪ N^γ, while the displayed calculation ends with “= 2 N^γ”; the absolute constant is harmless but the wording “= 2 N^γ” should be replaced by “≪ N^γ” for consistency with the rest of the paper.
  4. The paper notes that the methods adapt to inhomogeneous and asymptotic-counting statements but does not pursue them. A brief remark on the precise range that would follow for the inhomogeneous problem (or a pointer to where the extra terms appear) would help the reader assess the scope of the technique.
  5. References [BHZ26] and [DLWW26] are listed with 2026 dates; if these are still preprints, the arXiv identifiers (already given for some) should be made uniform for all unpublished items.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: Theorems 1–2 follow by direct Borel–Cantelli from self-contained averaged Fourier bounds derived from the product formula and the order of 2 mod 3^r.

full rationale

The load-bearing inputs are the classical product formula for |µ̂(q)| (stated and used from the outset), the elementary inductive cosine average of Lemma 4, and the standard fact ord_{3^r}(2)=2·3^{r-1} (Lemma 5). Lemma 6 (and its bilinear counterpart Lemma 7) are proved from these by grouping residues in the unit group (Z/3^{K-a}Z)^ imes and applying the multiplicity bound ≪3^a; no free parameters or external uniqueness claims enter. The first-moment sum (Lemma 10), coarse-to-fine transfer via Ahlfors regularity (Lemma 11), L^{2} second-moment estimate (Lemma 13), and the subsequent Borel–Cantelli arguments for Theorems 1 and 2 are then pure measure-theoretic consequences of those absolute-constant bounds. There are no fitted quantities renamed as predictions, no self-citations of prior work by the author, and no ansatz imported via citation. The concurrent preprint of Dai–Li–Wang–Wu is explicitly noted as independent. The derivation is therefore self-contained against external benchmarks.

Assumptions & free parameters 0 free parameters · 4 assumptions · 0 invented entities

The paper is pure mathematics. It rests on standard facts about the Cantor measure (product formula for its Fourier transform, Ahlfors regularity of dimension γ) and elementary number theory (multiplicative order of 2 modulo powers of 3). No free parameters are fitted and no new physical or geometric entities are postulated.

assumptions (4)
  • standard math Fourier transform of the natural Cantor measure admits the infinite product |µ̂(q)| = ∏ |cos(2π q / 3^r)|
    Classical formula used from the first page onward; proved by iterating the self-similarity of µ.
  • standard math ord_{3^r}(2) = 2 · 3^{r-1} for every r ≥ 1
    Standard fact about the multiplicative group of units modulo 3^r; invoked in Lemmas 6 and 7 to count residue classes.
  • domain assumption µ is γ-Ahlfors regular: c r^γ ≤ µ(B(x,r)) ≤ C r^γ for x ∈ C and r ≤ 1
    Used in the coarse-to-fine transfer (Lemma 11) that converts the averaged first-moment bound into the fine-scale measure estimate needed for Borel–Cantelli.
  • standard math Borel–Cantelli lemmas (independent and dependent forms)
    Applied at the end of both the convergence and divergence arguments to pass from summable/non-summable measures to almost-everywhere statements.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Averaged Fourier Estimates and Dyadic Approximation on the Cantor set." pith.science (2026). https://pith.science/paper/Q5CEO3ZM

@misc{pith2026260627034,
  author       = {Pith},
  title        = {Pith review of: Averaged Fourier Estimates and Dyadic Approximation on the Cantor set},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/Q5CEO3ZM}},
  note         = {Machine review of arXiv:2606.27034}
}
abstract

Let $C$ be the middle-third Cantor set and let $\mu$ be the natural Cantor probability measure. Let \[ \gamma=\frac{\log2}{\log3}. \] The two main results of this paper are \[ \mu\{x\in C:\|2^n x\|<n^{-\tau}\text{ for infinitely many }n\}=0 \qquad \text{ for } \tau>2-\gamma. \] and \[ \mu\{x\in C:\|2^n x\|<n^{-\tau}\text{ for infinitely many }n\}=1 \qquad \text{ for } \tau<\frac{1-\gamma}{2}. \] These results give new progress toward Velani's conjecture on zero-one law for dyadic approximation in the middle-third Cantor set.

Review history (2 revisions) →

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

10 extracted references · 1 linked inside Pith

  1. [1]

    A note on dyadic approximation in Cantor 's set

    Demi Allen, Simon Baker, Sam Chow, and Han Yu. A note on dyadic approximation in Cantor 's set. Indag. Math., New Ser. , 34(1):190--197, 2023

    2023

  2. [2]

    Dyadic approximation in the middle-third Cantor set

    Demi Allen, Sam Chow, and Han Yu. Dyadic approximation in the middle-third Cantor set. Sel. Math., New Ser. , 29(1):49, 2023. Id/No 11

    2023

  3. [3]

    Approximating elements of the middle third cantor set with dyadic rationals

    Simon Baker. Approximating elements of the middle third cantor set with dyadic rationals. Israel Journal of Mathematics , 266:285--305, 2025

    2025

  4. [4]

    Khintchine dichotomy for self-similar measures

    Timoth \'e e B \'e nard, Weikun He, and Han Zhang. Khintchine dichotomy for self-similar measures. J. Am. Math. Soc. , 39(3):587--623, 2026

    2026

  5. [5]

    On Fourier asymptotics and effective equidistribution

    Shreyasi Datta and Subhajit Jana. On Fourier asymptotics and effective equidistribution. Preprint, arXiv :2407.11961 [math. DS ] (2024), 2024

    arXiv 2024

  6. [6]

    Metric results for dyadic approximation on the middle-third cantor set, 2026

    Xin-Rong Dai, Bing Li, Bo Wang, and Yu-Feng Wu. Metric results for dyadic approximation on the middle-third cantor set, 2026

    2026

  7. [7]

    Jason Levesley, Cem Salp, and Sanju L. Velani. On a problem of K . Mahler : Diophantine approximation and Cantor sets. Math. Ann. , 338(1):97--118, 2007

    2007

  8. [8]

    Some suggestions for further research

    Kurt Mahler. Some suggestions for further research. Bull. Aust. Math. Soc. , 29:101--108, 1984

    1984

Show all 10 references
  1. [9]

    Wolfgang M. Schmidt. On normal numbers. Pac. J. Math. , 10:661--672, 1960

    1960

  2. [10]

    Mahler's question for intrinsic Diophantine approximation on triadic Cantor set: the divergence theory

    Bo Tan, Baowei Wang, and Jun Wu. Mahler's question for intrinsic Diophantine approximation on triadic Cantor set: the divergence theory. Math. Z. , 306(1):24, 2024. Id/No 2

    2024

Pith tools

Reviewed July 12, 2026 · model on record in the stance chip above.