Pith. sign in

REVIEW 3 major objections 3 minor 42 references

Quantitative Fourier decay for Patterson-Sullivan measures of dimension larger than $1/2$

T0 review · 3 major / 3 minor · reviewed 2026-08-01 · deepseek-v4-flash

Pith's one-line read For every convex co-compact Schottky group with limit-set dimension δ>1/2, the Patterson–Sullivan measure decays in Fourier space at the explicit polynomial rate |ξ|^{-δ(2δ−1)/((2δ+1)(3−δ))}, and the proof needs no additive-combinatorial ma

desk verdict Genuinely new explicit Fourier decay exponent for Patterson-Sullivan measures, but the central L2 lemma has an algebra error in the dyadic summation that needs fixing before the proof is complete. read the letter →

arxiv 2607.18010 v1 pith:IQZ3K4WD submitted 2026-07-20 math.DS math.CAmath.MG

classification math.DSmath.CAmath.MG MSC 37C4528A80
keywords FourierdecayPatterson–SullivanmeasureSchottkygroupconvexco-compactoscillatoryintegralstransposenon-concentrationAhlforsregularity
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

This paper establishes an explicit polynomial decay rate for the Fourier transform of Patterson–Sullivan measures attached to convex co-compact Schottky groups, whenever the Hausdorff dimension of the limit set exceeds $\frac{1}{2}$. Previous proofs of Fourier decay in this setting relied on heavy tools such as additive combinatorics, renewal theory, transfer-operator techniques, or $L^2$-flattening; this paper replaces them with oscillatory integral estimates, hyperbolic geometry, and a duality argument based on the transpose Schottky group. If correct, the result gives a concrete, computable exponent and clarifies why the half-dimension threshold appears. The proof's key non-concentration estimate is a counting bound for how often ratios of matrix coefficients cluster, obtained from Ahlfors regularity of the Patterson–Sullivan measure of the transpose group.

What carries the argument

The transpose Schottky group $\Gamma^T$ and its Ahlfors $\delta$-regular Patterson–Sullivan measure $\nu$. The central object is the non-concentration estimate (Lemma 2.9): for any set of words with cylinder lengths comparable to $\tau$, the number of words whose ratio $c_a/d_a$ lies within $\sigma$ of a fixed point is at most $C \tau^{-\delta} \sigma^\delta$ for $\sigma \ge \tau$. This estimate controls near-degenerate pairs of cylinders in the $L^2$ norm of the oscillatory sum. The other main ingredients are the stopping-time partition $W_\tau$, bounded distortion (derivatives comparable to cylinder sizes), a Frostman approximation lemma for measures, and oscillatory integral estimates for phases with controlled second derivative and at most one critical point.

What would settle it

Two concrete tests: (1) For a non-symmetric word such as $a=12$ in a two-generator Schottky group, check the printed identity $\gamma^T_{a_n} \cdots \gamma^T_{a_1}(0) = J \gamma_{a_n \cdots a_1}(\infty)$ in Lemma 2.8 without the inverse overlines; it will fail, so one must verify numerically that the intended reversed-word cylinder comparison $|I_{\bar{a}}| \asymp |I_a|$ holds for all words—if the ratio is unbounded, the non-concentration estimate collapses. (2) For a Schottky group with $\delta \approx 0.6$, numerically estimate $|\hat{\mu}(\xi)|$ at large $\xi$; if it decays slower than $|\xi|^{-\frac{\delta(2\delta-1)}{(2\delta+1)(3-\delta)}} \approx |\xi|^{-0.023}$, Theorem 1 fails, while much faste

Watch

Extended reading notes

Core claim

The paper proves that for any convex co-compact Schottky group $\Gamma \subset \mathrm{PSL}_2(\mathbb{R})$ with critical exponent $\delta > \frac{1}{2}$, the Fourier transform of its Patterson–Sullivan measure satisfies $|\hat{\mu}(\xi)| \leq C |\xi|^{-\frac{\delta(2\delta-1)}{(2\delta+1)(3-\delta)}}$ for all $|\xi| \ge 1$, with $C$ depending only on the group. The argument uses a stopping-time partition of the limit set, bounds the $L^2(\text{Lebesgue})$ norm of the resulting oscillatory sum in terms of the frequency $|\xi|$ and the scale $\tau$, and then optimizes $\tau = |\xi|^{-\frac{1}{2\delta+1}}$. The non-degeneracy of the phases is controlled by a counting estimate for the transpose group $\Gamma^T$, whose Patterson–Sullivan measure is Ahlfors $\delta$-regular. The exponent is slightly better than the earlier explicit exponent obtained

Load-bearing premise

The proof hinges on a counting estimate (Lemma 2.9) that assumes, for every reversed word, the cylinder size of the reversed word is comparable to the cylinder size of the original word; as printed, the derivation of this comparison in Lemma 2.8 omits the inverse letters and is false as written, so the whole argument leans on the intended corrected statement rather than on the printed identity.

Editorial extensions

If this is right

  • If Theorem 1 is correct, every convex co-compact Schottky group of dimension δ>1/2 has a Patterson–Sullivan measure with explicit polynomial Fourier decay, with the exponent determined solely by δ.
  • Via the fractal uncertainty principle, this yields an explicit improvement of the essential spectral gap of the Laplacian on the associated hyperbolic surface, though the paper notes the improvement is weak near δ=1/2.
  • The proof shows that additive-combinatorial, renewal, transfer-operator, and L2-flattening techniques are not needed for δ>1/2, opening a simpler route to quantitative Fourier decay in other conformal settings.
  • The method is stated to extend to Ahlfors-regular self-conformal measures satisfying a non-linearity condition on the dual IFS, and to geometrically finite groups with parabolic elements when δ≥1/2.
  • The obtained exponent improves slightly on the earlier explicit Gauss-map exponent because of a sharper approximation lemma.

Reading between the lines

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

  • If the corrected reversed-word comparison in Lemma 2.8 holds, the same non-concentration counting argument should transfer to any conformal IFS whose dual IFS is Ahlfors δ-regular with δ>1/2, yielding explicit Fourier decay for a much larger class of self-conformal measures.
  • The threshold δ=1/2 appears exactly where the optimized scale τ = |ξ|^{-1/(2δ+1)} balances the L² term |ξ|^{-1/2}τ^{-1/2} with the τ^δ term; the proven exponent tends to 0 as δ→1/2+, so the theorem degrades continuously and a different mechanism would be needed at or below δ=1/2.
  • The dual-IFS interpretation (the dual action sends a family of functions to the transpose group) suggests that the non-concentration condition is equivalent to the non-linearity of the dual action; this may connect the result to existing separation-of-cylinders bounds for self-conformal sets.
  • A numerical check of the Fourier dimension of the Patterson–Sullivan measure for a simple two-generator Schottky group with δ near 0.6 could indicate whether the proven exponent is close to sharp or whether the approximation steps leave room for improvement.
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

3 major / 3 minor

Summary. The paper claims an elementary proof that Patterson–Sullivan measures of convex co-compact Schottky groups of dimension δ > 1/2 have polynomial Fourier decay with the explicit exponent δ(2δ−1)/((2δ+1)(3−δ)). The proof approximates the measure by sums over stopping-time cylinders, establishes an L^2(Lebesgue) estimate for the approximating function f_ξ using oscillatory integral bounds and a non-concentration lemma for the transpose Schottky group, and then returns to the measure via a Frostman-type averaging argument. The argument is intended to avoid sum–product estimates, renewal theory, Dolgopyat methods, and L^2 flattening used in earlier work.

Significance. If correct, this is a valuable contribution: it would give the first explicit polynomial Fourier decay exponent for Patterson–Sullivan measures of convex co-compact Schottky groups in the δ > 1/2 regime, using relatively elementary tools. The overall strategy—oscillatory integrals, hyperbolic geometry, and the transpose/dual-IFS viewpoint—is attractive and likely to be extendable. The manuscript is largely self-contained and the main structure is clear. However, the central L^2 estimate contains an algebraic error that invalidates Lemma 3.4 as stated; the final theorem may be salvageable, but the proof in its present form does not establish the claimed bound.

major comments (3)
  1. [§3.2, Lemma 3.4, dyadic summation for B_j(a)] The displayed estimate for the non-stationary blocks is algebraically wrong. In the line for B_j(a) the manuscript writes τ^{-3/2}(τ^{-1/2}2^{-j})^{-1} = τ^{-1/2}2^j, but the correct value is τ^{-1}2^j. Consequently the correct aggregate contribution before summing over a is |ξ|^{-1}τ^{2δ−2}, and after summing over a is |ξ|^{-1}τ^{δ−2}. For δ > 1/2 and τ small this term is not controlled by the |ξ|^{-1}τ^{-1} term stated in Lemma 3.4; for instance, taking τ ≍ |ξ|^{-1} gives a contribution ≍ |ξ|^{1−δ}, which exceeds the trivial bound O(1). Thus Lemma 3.4 is false as stated. The theorem may still survive because at τ = |ξ|^{-1/(2δ+1)} the corrected term is dominated by the leading |ξ|^{-1/2}τ^{-1/2}, but the present proof must be repaired by either including the extra term in Lemma 3.4 and redoing the optimization, or by adding a further split using the trivial bound for very small |d_{a'}
  2. [§2.8, Lemmas 2.8 and 2.9] The notation for the reversed word is not typeset correctly: the text writes a := a_n ... a_1, but the intended word must contain inverse letters, and the chain-rule equality γ^T_a(0) = J γ_{a_n ... a_1}(∞) is false without those overlines. The transpose of γ_a is conjugate to γ_a^{-1}, so the correct expression involves γ_{\bar a_n ... \bar a_1}. The estimate |I_{\bar a}| ≍ |I_a| in Lemma 2.8 and the non-concentration counting in Lemma 2.9 both rely on this equality. The intended statement is standard and likely correct, but as printed the proof of Lemma 2.9 is not valid. This is a load-bearing point and must be corrected carefully.
  3. [§3.2, J^+ construction and Claim 1] Several estimates essential to the proof of Lemma 3.4 are asserted without proof: the bound |(φ^-_{a,b})'| ≲ τ^{3/2}, the explicit construction of J^+ and the corresponding φ^+, and the assertions in Claim 1 that |ψ'_{a,b}| ≍ τ and |ψ''_{a,b}| ≲ τ on J^0(a,b). These are used to obtain the |ξ|^{-1}τ^{-1} contribution in Lemma 3.4. In particular, the lower bound |ψ'| ≍ τ in Claim 1 excludes a stationary phase on J^0 and is load-bearing. Please provide the missing computations or a precise derivation for these 'one can check' statements.
minor comments (3)
  1. [§3.1, Lemma 3.1 and its application] Lemma 3.1 assumes a Frostman condition with constant 1, but the Patterson–Sullivan measure only satisfies μ(J) ≤ C r^δ with C = C(Γ). The application should either normalize the measure by C or explicitly track the constant; this is harmless but should be stated.
  2. [§2.8, Lemma 2.8 statement] The definition of \bar a is missing overlines on the letters; it should read \bar a = \bar a_n ... \bar a_1 (or equivalent). This is tied to the major comment above.
  3. [References] Reference [37] lists both an arXiv preprint and an 'Adv. Math. 403 (2022)' citation in the same entry without clear indication of which is final; please clean up.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the Fourier-decay theorem is derived from external Ahlfors-regularity/non-concentration inputs and oscillatory estimates, with no fitted parameter or load-bearing self-citation.

full rationale

Theorem 1 is obtained by controlling |μ̂(ξ)| via Lemma 3.1 (a Frostman/L2 approximation lemma), Lemma 3.2 (a derivative bound), and the main L2 estimate Lemma 3.4. These lemmas are proved in the paper from bounded distortion, the quasi-Bernoulli property, Ahlfors regularity of the Patterson–Sullivan measure, and the non-concentration Lemma 2.9. The latter is explicitly adapted from Bourgain–Dyatlov [13] by replacing the inverse-image point γ_a^{-1}(∞) with the transpose action γ_a^T(0); the paper does not claim this as a new prediction, and the transpose measure ν is Ahlfors regular by standard PS theory, not by the theorem being proved. Lemma 3.5, the oscillatory integral bound, is attributed to Jordan–Sahlsten [17] and Kaufman [18], with the proof indicated by integration by parts; even though [17] is a self-citation, it is a published, parameter-free external lemma and not an unverified assertion equivalent to the target Fourier decay. No constant is fitted to data, no quantity called a prediction is defined in terms of the Fourier transform, and no uniqueness theorem from the authors is invoked to force the argument. The algebraic issue noted in the proof of Lemma 3.4 is a potential correctness gap, not circularity. Therefore no circular step can be exhibited.

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

No free parameters: τ and η are chosen to balance bounds, not fitted to data. The proof relies on established Ahlfors regularity and bounded distortion of PS measures and on standard oscillatory integral estimates.

assumptions (5)
  • domain assumption Schottky disks can be conjugated to avoid 0 (and ∞) in their interiors.
    Section 2.2 'Assumption'; ensures J(x)=-1/x is bilipschitz on all cylinders, used in Lemmas 2.8 and 2.9.
  • domain assumption Bounded distortion and Ahlfors regularity of Patterson-Sullivan measures (cited from [13])
    Lemmas 2.1, 2.2, 2.4, and equation (2); controls cylinder lengths, weights w_{a'}, Frostman exponent, and multiplicity bounds.
  • domain assumption Uniform contraction with exponential factor κ (equation (2), from [13])
    Used in Lemma 2.10 to bound the multiplicity of cylinder covers, which is needed for the non-concentration counting.
  • standard math Oscillatory integral estimate (Lemma 3.5, from [17, Lemma 6.4])
    Van der Corput-type integration-by-parts bound; underpins the I± estimates in the L2 argument.
  • domain assumption The transpose group Γ^T is a Schottky group and its Patterson-Sullivan measure ν=J_*μ is Ahlfors δ-regular
    Section 2.8 and Lemma 2.9; the counting estimate for non-concentration of c/d ratios is the key external input to Lemma 3.8.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Quantitative Fourier decay for Patterson-Sullivan measures of dimension larger than $1/2$." pith.science (2026). https://pith.science/paper/IQZ3K4WD

@misc{pith2026260718010,
  author       = {Pith},
  title        = {Pith review of: Quantitative Fourier decay for Patterson-Sullivan measures of dimension larger than $1/2$},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/IQZ3K4WD}},
  note         = {Machine review of arXiv:2607.18010}
}
abstract

We give an elementary proof of power Fourier decay for Patterson-Sullivan measures associated to convex co-compact Schottky groups of dimension $\delta>\frac12$, obtaining the explicit decay exponent $\frac{\delta(2\delta - 1)}{(2\delta + 1)(3 - \delta)}$. The proof replaces the technical machinery used in previous works, such as sum-product estimates, renewal theory, Dolgopyat methods, and $L^2$ flattening, by elementary oscillatory integral estimates, hyperbolic geometry, and a duality argument based on the transpose Schottky group.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

42 extracted references · 23 linked inside Pith

  1. [1]

    Algom, Y

    A. Algom, Y. Chang, M. Wu, Y.-L. Wu. Van der Corput and metric theorems for geometric progressions for self-similar measures. Math. Ann. 393, 183-214 (2025).https://arxiv.org/abs/2401.01120

  2. [2]

    Algom, F

    A. Algom, F. Rodriguez Hertz, Z. Wang. Logarithmic Fourier decay for self-conformal measures.J. Lond. Math. Soc.(2) 106 (2022), no. 2, 1628–1661

  3. [3]

    Algom, F

    A. Algom, F. Rodriguez Hertz, Z. Wang. Polynomial Fourier decay and a cocycle version of Dol- gopyat’s method for self-conformal measures. Preprint, arXiv:2306.01275.https://arxiv.org/abs/ 2306.01275

  4. [4]

    Algom, F

    A. Algom, F. Rodriguez Hertz, Z. Wang. Pointwise normality and Fourier decay for self-conformal measures.Adv. Math.393 (2021), Paper No. 108096, 72 pp

  5. [5]

    Algom, F

    A. Algom, F. Rodriguez Hertz, Z. Wang. Spectral gaps and Fourier decay for self-conformal measures on the plane. Trans. Amer. Math. Soc., to appear, arXiv:2407.11688.https://arxiv.org/abs/2407. 11688. 17

  6. [6]

    Baker, A

    S. Baker, A. Banaji. Polynomial Fourier decay for fractal measures and their pushforwards.Math. Ann. 392 (2025), 209–261.https://arxiv.org/abs/2401.01241

  7. [7]

    Baker, A

    S. Baker, A. Banaji. Self-similar and self-conformal measures with slow Fourier decay. Preprint, arXiv:2602.05593, 2026.https://arxiv.org/abs/2602.05593

  8. [8]

    Baker, T

    S. Baker, T. Sahlsten. Spectral gaps and Fourier dimension for self-conformal sets with overlaps. Preprint, arXiv:2306.01389.https://arxiv.org/abs/2306.01389

Show all 42 references
  1. [9]

    Baker, O

    S. Baker, O. Khalil, T. Sahlsten. Fourier decay fromL 2-flattening. Preprint, arXiv:2407.16699.https: //arxiv.org/abs/2407.16699

  2. [10]

    Banaji and H

    A. Banaji and H. Yu. Fourier transform of nonlinear images of self-similar measures: quantitative aspects. Preprint, arXiv:2503.07508.https://arxiv.org/abs/2503.07508

  3. [11]

    B´ ar´ any, I

    B. B´ ar´ any, I. Kolossv´ ary, S. Troscheit. On exponential separation of analytic self-conformal sets on the real line. Preprint, arXiv:2509.07888.https://arxiv.org/abs/2509.07888

  4. [12]

    Bourgain The discretized sum-product and projection theorems.J

    J. Bourgain The discretized sum-product and projection theorems.J. Anal. Math., 112 (2010), 193–236

  5. [13]

    Bourgain, S

    J. Bourgain, S. Dyatlov. Fourier dimension and spectral gaps for hyperbolic surfaces.Geom. Funct. Anal.27 (2017), 744–771.https://arxiv.org/abs/1704.02909

  6. [14]

    Dyatlov, J

    S. Dyatlov, J. Zahl. Spectral gaps, additive energy, and a fractal uncertainty principle.Geom. Funct. Anal.26 (2016), 1011–1094.https://arxiv.org/abs/1504.06589

  7. [15]

    J. M. Fraser. Quantitative flatness and obstructions in Fourier analysis. Preprint, arXiv:2606.13170. https://arxiv.org/abs/2606.13170

  8. [16]

    Jakobson, F

    D. Jakobson, F. Naud. On the critical line of convex co-compact hyperbolic surfaces.Geom. Funct. Anal.22 (2012), no. 2, 352–368

  9. [17]

    Jordan, T

    T. Jordan, T. Sahlsten. Fourier transforms of Gibbs measures for the Gauss map.Math. Ann.364 (2016), 983–1023.https://arxiv.org/abs/1312.3619

  10. [18]

    R. Kaufman. Continued fractions and Fourier transforms.Mathematika27 (1980), 262–267

  11. [19]

    O. Khalil. Exponential mixing via additive combinatorics. To appear inJ. Amer. Math. Soc., arXiv:2305.00527

  12. [20]

    G. Leclerc. On oscillatory integrals with H¨ older phases.Discrete Contin. Dyn. Syst.to appear,https: //arxiv.org/abs/2211.08088

  13. [21]

    G. Leclerc. Fourier decay of equilibrium states for bunched attractors. Preprint, arXiv:2301.10623. https://arxiv.org/abs/2301.10623

  14. [22]

    G. Leclerc. Fourier decay of equilibrium states on hyperbolic surfaces. Preprint, arXiv:2307.10755. https://arxiv.org/abs/2307.10755

  15. [23]

    G. Leclerc. Julia sets of hyperbolic rational maps have positive Fourier dimension.Comm. Math. Phys. 397 (2023), no. 2, 503–546

  16. [24]

    G. Leclerc. Fourier decay of equilibrium states and the Fibonacci Hamiltonian. Preprint, arXiv:2507.23731.https://arxiv.org/abs/2507.23731

  17. [25]

    Leclerc, S

    G. Leclerc, S. Paukkonen, T. Sahlsten. Fourier dimension inC 1+α parabolic dynamics. Preprint, arXiv:2505.15468.https://arxiv.org/abs/2505.15468

  18. [26]

    Y. W. Lee. Explicit upper bounds on decay rates of Fourier transforms of self-similar measures on self-similar sets. Preprint, arXiv:2412.16621.https://arxiv.org/abs/2412.16621

  19. [27]

    J. Li. Decrease of Fourier coefficients of stationary measures.Math. Ann.372 (2018), no. 3–4, 1189–1238

  20. [28]

    J. Li. Fourier decay, renewal theorem and spectral gaps for random walks on split semisimple Lie groups. Preprint, arXiv:1811.06484.https://arxiv.org/abs/1811.06484

  21. [29]

    J. Li, F. Naud, W. Pan. Kleinian Schottky groups, Patterson–Sullivan measures, and Fourier decay. Duke Math. J.170 (2021), no. 4, 775–825.https://arxiv.org/abs/1902.01103

  22. [30]

    J. Li, W. Pan. Exponential mixing of geodesic flows for geometrically finite hyperbolic manifolds with cusps.Invent. Math.231 (2023), no. 3, 931–1021. 18

  23. [31]

    J. Li, T. Sahlsten. Fourier transform of self-affine measures.Adv. Math.374 (2020), Paper No. 107349, 35 pp

  24. [32]

    J. Li, T. Sahlsten. Trigonometric series and self-similar sets.J. Eur. Math. Soc.24 (2022), no. 1, 341–368. https://arxiv.org/abs/1902.00426

  25. [33]

    Lindenstrauss, P

    E. Lindenstrauss, P. P. Varj´ u. Random walks in the group of Euclidean isometries and self-similar measures.Duke Math. J.165 (2016), no. 6, 1061–1127.https://arxiv.org/abs/1405.4426

  26. [34]

    F. Naud. Selberg’s zeta function and Dolgopyat’s estimates for the modular surface. Lecture notes. https://fnaudmath.fr/wp-content/uploads/2021/10/ihp2005.pdf

  27. [35]

    Pollington, S

    A. Pollington, S. Velani, A. Zafeiropoulos, E. Zorin. Inhomogeneous Diophantine approximation on m0-sets with restricted denominators.Int. Math. Res. Not. IMRN2022 (2022)

  28. [36]

    Queff´ elec, O

    M. Queff´ elec, O. Ramar´ e. Analyse de Fourier des fractions continues ` a quotients restreints.Enseign. Math.(2) 49 (2003), no. 3–4, 335–356

  29. [37]

    Rapaport

    A. Rapaport. On the Rajchman property for self-similar measures onR d. Preprint, arXiv:2412.16753. Adv. Math.403 (2022)

  30. [38]

    Sahlsten

    T. Sahlsten. Fourier transforms and iterated function systems. Recent Developments in Fractals and Related Fields, Conference on Fractals and Related Fields IV, Ile de Porquerolles, France, 2025https: //arxiv.org/abs/2311.00585

  31. [39]

    Sahlsten, C

    T. Sahlsten, C. Stevens. Fourier transform and expanding maps on Cantor sets.Amer. J. Math.145 (2023), no. 6, 1681–1712

  32. [40]

    E. M. Stein.Harmonic Analysis: Real-Variable Methods, Orthogonality, and Oscillatory Integrals. Princeton University Press, 1993

  33. [41]

    M. Tsujii. On the Fourier transforms of self-similar measures.Dyn. Syst.30 (2015), no. 4, 468–484

  34. [42]

    P. P. Varj´ u, H. Yu. Fourier decay of self-similar measures and self-similar sets of uniqueness.Anal. PDE 15 (2022), no. 3, 843–858. Universit´e Sorbonne Paris Nord, Villetaneuse, France E-mail address:lequen@math.univ-paris13.fr University of Helsinki, Helsinki, Finland E-ma...

Pith tools

Reviewed August 1, 2026 · model on record in the stance chip above.