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 →
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 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
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
- 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.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
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)
- [§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.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.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)
- [§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.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.
- [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
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
assumptions (5)
- domain assumption Schottky disks can be conjugated to avoid 0 (and ∞) in their interiors.
- domain assumption Bounded distortion and Ahlfors regularity of Patterson-Sullivan measures (cited from [13])
- domain assumption Uniform contraction with exponential factor κ (equation (2), from [13])
- standard math Oscillatory integral estimate (Lemma 3.5, from [17, Lemma 6.4])
- domain assumption The transpose group Γ^T is a Schottky group and its Patterson-Sullivan measure ν=J_*μ is Ahlfors δ-regular
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.
Reference graph
Works this paper leans on
- [1]
-
[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
2022
- [3]
-
[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
2021
- [5]
- [6]
- [7]
- [8]
Show all 42 references
-
[9]
Baker, O
S. Baker, O. Khalil, T. Sahlsten. Fourier decay fromL 2-flattening. Preprint, arXiv:2407.16699.https: //arxiv.org/abs/2407.16699
-
[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
-
[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
-
[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
2010
-
[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
2017 arXiv
-
[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
2016 arXiv
-
[15]
J. M. Fraser. Quantitative flatness and obstructions in Fourier analysis. Preprint, arXiv:2606.13170. https://arxiv.org/abs/2606.13170
-
[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
2012
-
[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
2016 arXiv
-
[18]
R. Kaufman. Continued fractions and Fourier transforms.Mathematika27 (1980), 262–267
1980
-
[19]
O. Khalil. Exponential mixing via additive combinatorics. To appear inJ. Amer. Math. Soc., arXiv:2305.00527
-
[20]
G. Leclerc. On oscillatory integrals with H¨ older phases.Discrete Contin. Dyn. Syst.to appear,https: //arxiv.org/abs/2211.08088
-
[21]
G. Leclerc. Fourier decay of equilibrium states for bunched attractors. Preprint, arXiv:2301.10623. https://arxiv.org/abs/2301.10623
-
[22]
G. Leclerc. Fourier decay of equilibrium states on hyperbolic surfaces. Preprint, arXiv:2307.10755. https://arxiv.org/abs/2307.10755
-
[23]
G. Leclerc. Julia sets of hyperbolic rational maps have positive Fourier dimension.Comm. Math. Phys. 397 (2023), no. 2, 503–546
2023
-
[24]
G. Leclerc. Fourier decay of equilibrium states and the Fibonacci Hamiltonian. Preprint, arXiv:2507.23731.https://arxiv.org/abs/2507.23731
-
[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
-
[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
-
[27]
J. Li. Decrease of Fourier coefficients of stationary measures.Math. Ann.372 (2018), no. 3–4, 1189–1238
2018
-
[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
-
[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
2021 arXiv
-
[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
2023
-
[31]
J. Li, T. Sahlsten. Fourier transform of self-affine measures.Adv. Math.374 (2020), Paper No. 107349, 35 pp
2020
-
[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
2022 arXiv
-
[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
2016 arXiv
-
[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
2021
-
[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)
2022
-
[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
2003
-
[37]
Rapaport
A. Rapaport. On the Rajchman property for self-similar measures onR d. Preprint, arXiv:2412.16753. Adv. Math.403 (2022)
2022 arXiv
-
[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
-
[39]
Sahlsten, C
T. Sahlsten, C. Stevens. Fourier transform and expanding maps on Cantor sets.Amer. J. Math.145 (2023), no. 6, 1681–1712
2023
-
[40]
E. M. Stein.Harmonic Analysis: Real-Variable Methods, Orthogonality, and Oscillatory Integrals. Princeton University Press, 1993
1993
-
[41]
M. Tsujii. On the Fourier transforms of self-similar measures.Dyn. Syst.30 (2015), no. 4, 468–484
2015
-
[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...
2022
Reviewed August 1, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.