REVIEW 3 major objections 4 minor 1 cited by
Fourier decay of equilibrium states and the Fibonacci Hamiltonian
T0 review · 3 major / 4 minor · reviewed 2026-08-06 · deepseek-v4-flash
Pith's one-line read Nonlinear surface hyperbolicity forces power Fourier decay of equilibrium states, and the weakly coupled Fibonacci Hamiltonian inherits it.
desk verdict Strong paper with a genuinely new main theorem; the Fibonacci corollary depends on an unchecked §1.4 cocycle computation that has a concrete sign inconsistency. 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 temporal distance function $\Delta(p,q)=\sum_{n\in\mathbb{Z}} \tau_f(f^n p)-\tau_f(f^n[p,q])-\tau_f(f^n[q,p])+\tau_f(f^n q)$ for the suspension flow over $\Omega$ with roof function $\tau_f=\ln\|df|_{E^u}\|$. It measures the joint non-integrability of the stable and unstable foliations, and its failure to concentrate near $0$ is the quantitative nonlinearity condition (QNL). The proof has two halves: via the sum-product phenomenon, QNL implies power Fourier decay of equilibrium states; via nonstationary normal coordinates and template vector fields adapted from three-dimensional Anosov flows, the assumption that $E^s$ or $E^u$ is not $C^2$ produces a Weierstrass-type autosimilarity that oscillates at every scale modulo polynomials, hence QNL holds. The Anosov cocycle at a fixed point provides a checkable criterion for this non-$C^2$ nonlinearity.
What would settle it
Compute, at a sequence of small couplings $V\to 0$, the trace map $T^2|_{S_V}$ in adapted coordinates at the fixed point $p_V$ and evaluate the Anosov cocycle $\partial^3_{xyy}G/\mu - \partial^2_{xy}F\partial^2_{xy}G/(\lambda-1) - \partial^2_{xx}G\partial^2_{yy}F/(1-\mu^3) - \partial^2_{xy}G\partial^2_{yy}G/\mu^2$; matching the leading term $-(140+76\sqrt{5})V^{-2}/3$ within controlled error supports the paper's conclusion, while a zero or sign change at some $V\in(0,V_0)$ would refute it.
Extended reading notes
Core claim
The central discovery is that the condition $E^s \notin C^2$ or $E^u \notin C^2$ for a basic set of an area-preserving Axiom A surface diffeomorphism implies $\dim_{F,C^{1+\alpha}}(\mu)>0$ for every $\alpha>0$, where $\mu$ is the measure of maximal entropy and also for equilibrium states of H\"older potentials. In the trace-map setting, this becomes a statement about the Fibonacci Hamiltonian: for all sufficiently small coupling $V>0$, the density of states measure $N_V$ has positive lower Fourier dimension, and the phase-averaged correlation $\int_\omega \langle\delta_0,e^{-itH_{V,\omega}}\delta_0\rangle d\omega$ decays like a power of $t$. The nonlinearity of the hyperbolic dynamics, rather than merely the fractal dimension of the spectrum, is what creates the oscillatory randomness behind the Fourier decay.
Load-bearing premise
The Fibonacci application rests on the explicit asymptotic computation that the Anosov cocycle of $T^2|_{S_V}$ equals $-(140+76\sqrt{5})V^{-2}/3+O(V^{-1})$, nonvanishing for all sufficiently small $V>0$; if that computation is wrong, or if the identification of the density of states with the pushforward of the maximal entropy measure fails, Theorem 1.9 would not follow.
Editorial extensions
If this is right
- Power Fourier decay holds for every equilibrium state of a nonlinear area-preserving Axiom A surface diffeomorphism whose basic set has a non-$C^2$ stable or unstable distribution, not only for the measure of maximal entropy.
- The density of states measure of the weakly coupled Fibonacci Hamiltonian has positive lower Fourier dimension, so any $C^{1+}$ image of the spectrum has positive Fourier dimension.
- Phase-averaged quantum correlations for the Fibonacci Hamiltonian decay as a power of time, without the additional time average used in earlier results.
- Circle extensions over hyperbolic surface maps satisfying the same nonlinearity condition obtain a spectral gap and exponential mixing.
- Self-conformal measures generated by $C^{1+}$ iterated function systems that are factors of hyperbolic diffeomorphisms have positive lower Fourier dimension, a first result in this low-regularity setting.
Reading between the lines
- The template argument is phrased for a suspension flow, so a natural extension is to prove exponential mixing for genuine three-dimensional Axiom A flows whose strong distributions are not $C^2$; the paper only hints at this possibility.
- The Fourier decay of the density of states does not immediately give the pointwise dispersive bound $\|\int_\omega e^{-itH_{V,\omega}}\delta_0\,d\omega\|_{\ell^\infty}\le C|t|^{-\rho}$; promoting the phase-averaged statement to this pointwise form would settle an open problem mentioned in the paper.
- The Anosov-cocycle computation is a leading-order asymptotic in $V$, so for intermediate couplings the same criterion could be checked numerically, potentially extending positive Fourier dimension beyond the weakly coupled regime.
- The rigidity result suggests a testable dichotomy: if a surface Axiom A map has $C^2$ stable and unstable distributions and is area preserving, its equilibrium states may lack power Fourier decay, so measuring Fourier dimension could serve as a numerical indicator of foliation regularity.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper claims power Fourier decay for equilibrium states of smooth, area-preserving, Axiom A diffeomorphisms on surfaces, provided the stable or unstable distribution is not C^2. This is encoded as positivity of the lower Fourier dimension in all C^{1+α} charts and is applied to the density of states measure of the weakly coupled Fibonacci Hamiltonian via the trace map. The proof strategy is to reduce Fourier decay to a quantitative non-concentration estimate for a temporal distance function Δ, using the sum-product phenomenon, and then to prove that estimate by adapting the template and nonstationary normal coordinate machinery of Tsujii–Zhang to this Axiom A setting. The Fibonacci application rests on an explicit computation of the Anosov cocycle for T^2 restricted to the invariant surface S_V.
Significance. If the result is correct, it is a significant advance: it would give the first positive Fourier dimension results for equilibrium states of low-regularity, nonlinear hyperbolic surface diffeomorphisms, and the first power Fourier decay for the density of states measure of the Fibonacci Hamiltonian, with implications for phase-averaged dispersive estimates in quasicrystals. The paper contains a substantial amount of original technical work: the sum-product reduction, the template construction, the local asymptotic analysis of Δ, and the appendices on regularity. However, the confidence in the advertised applications is conditional: one load-bearing displayed computation in §1.4 is arithmetically inconsistent as printed, and several central reductions are quoted from the author's own thesis and earlier papers rather than proved here. These issues are fixable but must be addressed before the claims can be accepted.
major comments (3)
- [§1.4, Anosov cocycle computation] The displayed chain evaluating the Anosov cocycle is arithmetically inconsistent. The two leading terms shown are A = (160/9)(5−3√5)/(7−3√5) V^{-2} and B = −(40/9)(2/(5+3√5)) V^{-2}. Their sum is −(380+252√5)/9 V^{-2}, not the displayed −(140+76√5)/3 V^{-2}; reversing the sign of B gives exactly the displayed value. Since the only verification of the hypothesis E^s or E^u not C^2 for the Fibonacci application is the nonvanishing of this cocycle, the computation must be corrected and, ideally, independently checked by symbolic computation. The conclusion may survive the correction, but as printed the proof of Theorem 1.9 does not follow from the displayed estimates.
- [§4 and Appendix C, Proposition 4.1] Proposition 4.1 is the bridge from the hypothesis E^s ∉ C^2 to the existence of p with r ↦ ∂_s Δ^+_p(r) not C^1; Theorem 4.3 then converts this into (QNL). The proof in Appendix C contains several steps that are only sketched: Lemma C.3 identifies ∂_sΔ^+ with ∂_uE^s using coordinates whose regularity is stated but not fully proved; §C.3 invokes a Cesàro averaging construction and says 'one can adapt the argument to show C^{2−} convergence' without writing the details; §C.4 concludes via Journé's lemma without checking its hypotheses in the Cantor-set setting. Because Theorem 1.4 inherits this step, the manuscript should provide complete arguments or precise references for those claims.
- [§3.1, §3.3, §4.1, and Lemma 4.8] Several load-bearing reductions are imported from the author's earlier work rather than proved. For example, Lemma 2.3, Lemma 2.4, and Lemma 2.6 are quoted from [Le24]/[Le23a]; the reduction of Proposition 3.11 is said to follow the arguments of [Le24]; Lemma 4.8's proof refers to '[Le24], section 5.9' for the key doubling estimate; and Corollary 3.2 says 'see [Le24] for details'. Since these sources are the author's own thesis and papers, the manuscript should either include the needed statements with proofs or clearly delimit the dependency. As written, a referee cannot verify the claimed generality for Axiom A surface diffeomorphisms without consulting those works.
minor comments (4)
- [§1.3, Proposition 1.6] There is a typo: after stating ∂_yF(0,0)=∂_xG(0,0)=0, the text writes ∂_xF(0,0)=μ; this should be ∂_yG(0,0)=μ.
- [Theorem 1.4 and Definition 1.2] The statement says the conclusion holds for any α>0, while the proof fixes a small α and then works with C^{1+α} regularity. The inclusion C^{1+β}⊂C^{1+α} for β≥α makes the passage harmless, but it would be helpful to state this explicitly.
- [Abstract and §1.1] There are typos such as 'Fibonnaci' and 'density of sate'; these should be corrected.
- [References] The reference [Mc34] appears in the bibliography but does not seem to be cited in the text; please check whether it is needed.
Circularity Check
No circular derivation: the proof chain is self-contained, and the Fibonacci corollary rests on an independent (though numerically unchecked) cocycle computation.
full rationale
The main theorem (Theorem 1.4) is proved by a chain of implications that are not circular: (QNL) is defined via the temporal distance function Delta, and Section 3 proves that (QNL) implies Fourier decay by the sum-product phenomenon; Section 4 and Lemma 4.22 prove that a non-C1 stable derivative of Delta implies (QNL); Appendix C establishes the needed contrapositive, that if Delta were C1 along unstable curves then Es would be C2, and hence (by Journe's lemma) C-infinity. None of these steps assumes the target Fourier-decay conclusion. The Fibonacci application is gated by the cocycle computation in Section 1.4, which is an explicit symbolic verification of the nonlinearity hypothesis (Es or Eu not C2), not a fitted or renamed version of the conclusion. The identification of the density of states with a pushforward of the maximal entropy measure is imported from Damanik-Gorodetski [DG09], an external result, not from the present authors. There are self-citations to the author's thesis and earlier papers for technical lemmas and the exact form of the reduction, but these are background tools with stated assumptions and are not the target theorem, so they do not make the argument circular. An apparent arithmetic inconsistency in the displayed V^-2 coefficient in Section 1.4 is a correctness risk and would need independent verification, but it is not a circularity: even if the computation were wrong, the structure of the argument would still be a legitimate derivation from stated hypotheses.
Assumptions & free parameters
assumptions (7)
- standard math Existence of Markov partitions with small diameter and thermodynamic formalism for equilibrium states
- standard math Livsic theorem for cohomology of Holder functions
- standard math Discretized sum-product theorem (Theorem 3.10)
- standard math Nonstationary normal coordinates and templates from Tsujii-Zhang
- domain assumption Hyperbolicity of the Fibonacci trace map on S_V and identification of the DOS measure with the pushforward of the maximal entropy measure
- domain assumption Area-preserving condition |det df|=1 on the basic set
- domain assumption Non-C^2 stable or unstable distribution
Cite this review
Pith. "Pith review of Fourier decay of equilibrium states and the Fibonacci Hamiltonian." pith.science (2026). https://pith.science/paper/UETUP3Q4
@misc{pith2026250723731,
author = {Pith},
title = {Pith review of: Fourier decay of equilibrium states and the Fibonacci Hamiltonian},
year = {2026},
howpublished = {\url{https://pith.science/paper/UETUP3Q4}},
note = {Machine review of arXiv:2507.23731}
}
abstract
We show power Fourier decay for equilibrium states of nonlinear, area preserving, smooth Axiom-A diffeomorphisms on surfaces. This implies positivity of the lower Fourier dimension for self-conformal measures under $C^{1+}$ iterated function systems that are factors of hyperbolic diffeomorphisms, which is the first result of this kind in this low-regularity setting. To do so, we use the sum-product phenomenon to reduce Fourier decay to the study of a temporal distance function for a well chosen suspension flow, behaving like a 3-dimensional Axiom A flow, whose mixing properties reflects the nonlinearity of our base dynamics. We then generalize in an Axiom A setting the methods of Tsujii-Zhang, dealing with exponential mixing of three-dimensional Anosov flows arXiv:2006.04293. The nonlinearity condition is generic and can be checked in concrete contexts. To illustrate the applications, we prove two corollaries. We first establish a spectral gap, proving exponential mixing for generic circle extensions over hyperbolic maps on surfaces. As a second application, we prove power Fourier decay for the density of states measure of the Fibonacci Hamiltonian. This implies phase-averaged escape-of-mass estimates, which is the first result of this type in a quasicrystal.
Forward citations
Cited by 1 Pith paper
-
Quantitative Fourier decay for Patterson-Sullivan measures of dimension larger than $1/2$
Patterson-Sullivan measures of convex co-compact Schottky groups of dimension δ>1/2 satisfy |μ̂(ξ)| ≲ |ξ|^{-δ(2δ-1)/((2δ+1)(3-δ))}.
Reference graph
Works this paper leans on
-
[1]
[An67] D. V. Anosov Geodesic flows on closed Riemann manifolds with negative curvature. Pro- ceedings of the Steklov Institute of Mathematics, No. 90 (1967). Translated from the Russian by S. Feder American Mathematical Society, Providence, R.I. 1969 iv+235 pp. ISBN: 978- 0821818909 [BD17] J. Bourgain, S. Dyatlov, Fourier dimension and spectral gaps for h...
work page Pith review arXiv 1967
-
[7]
doi:10.1215/00127094-2021-0045 [HK90] S. Hurder, A. Katok, Differentiability, rigidity and Godbillon-Vey classes for Anosov flows Publications Math´ ematiques de l’Institut des Hautes Scientifiques 72, 5–61 (1990). doi: 10.1007/BF02699130 [Jo88] J-L. Journ´ e,A Regularity Lemma for Functions of Several Variables Rev. Mat. Iberoam. 4 (1988), no. 2, pp. 187...
-
[11]
arXiv:1811.06484. [Liv71] A.N. Livshits, Homology properties of Y-systems. Mathematical Notes of the Academy of Sciences of the USSR 10, 758–763 (1971). doi:10.1007/BF01109040 [LNP19] J. Li, F. Naud, W. Pan, Kleinian Schottky groups, Patterson-Sullivan measures and Fourier decay Duke Math. J. 170 (4) 775 - 825, 15 March
arXiv 1971
- [14]
-
[17]
Trends in Mathematics. Birkh ¨auser, Cham. doi:10.1007/978-3-031-80453-3 12 arXiv:2311.00585 [SS20] T. Sahlsten, C. Stevens, Fourier transform and expanding maps on Cantor sets To be published in Amer. J. Math. (2022) arXiv:2009.01703 [Su87] A. S ¨ut˝ o,The spectrum of a quasiperiodic Schr¨odinger operator. Commun. Math. Phys. 111, 409–415 (1987). doi:10....
arXiv 2022
-
[49]
doi:10.5169/seals-66692 [RS78] M. Reed, B. Simon, Methods of Modern Mathematical Physics. IV. Analysis of Operators. Academic Press, New York 1978 [Ru78] D. Ruelle, Thermodynamic Formalism, Second edition, Cambridge University Press 2004 [Sa43] R. Salem, Sets of uniqueness and sets of multiplicity , Transactions of the American Math- ematical Society 54 (...
-
[108]
733-754. doi:10.1023/A:1019762724717. [Si82] Barry Simon, Almost periodic Schr¨odinger operators: A Review Advances in Applied Mathematics, Volume 3, Issue 4, 1982, Pages 463-490, ISSN 0196-8858, doi:10.1016/S0196-8858(82)80018-3 72
-
[1966]
Kahane, Some Random series of functions , 2nd edition (Cambridge University Press,1985)
[Ka85] J.-P. Kahane, Some Random series of functions , 2nd edition (Cambridge University Press,1985). [KPST25] J. Kerner, O. Post, M. Sabri, M. T ¨aufer The Curious Spectra and Dynamics of Non- locally Finite Crystals. Commun. Math. Phys. 406, 169 (2025). doi:10.1007/s00220-025-05346-x [KH95] A. Katok, B. Hasselblatt, Introduction to the Modern Theory of ...
Show all 19 references
-
[1975]
Bowen, Hausdorff dimension of quasi-circles
ISBN : 978-3-540-77605-5 [Bo79] R. Bowen, Hausdorff dimension of quasi-circles. Publications Math´ ematiques de L’Institut des Hautes Scientifiques 50, 11–25 (1979). doi:10.1007/BF02684767 [Bo10] J. Bourgain, The discretized sum-product and projection theorems JAMA 112, 193-23...
1979 doi
-
[1990]
Pinto, D
[PR02] A. Pinto, D. Rand, Smoothness of Holonomies for codimension 1 hyperbolic dynamics , Bulletin of the London Mathematical Society , Volume 34 , Issue 3 , May 2002 , pp. 341 - 352 doi:10.1112/S0024609301008670 [PR05] A. Pinto, D. Rand. Rigidity of hyperbolic sets on surfac...
2003 doi
-
[1995]
doi:10.1017/CBO9780511809187 [Kh23] O
Cambridge: Cambridge University Press. doi:10.1017/CBO9780511809187 [Kh23] O. Khalil, Exponential Mixing Via Additive Combinatorics Preprint, arXiv:2305.00527 [Ki90] Y. Kiffer, Large deviations in dynamical systems and stochastic processes , Transactions of the American Mathem...
1990 arXiv
-
[2002]
doi:10.1017/CBO9780511755316
Cambridge: Cambridge Uni- versity Press. doi:10.1017/CBO9780511755316. [BS23] S. Baker, T. Sahlsten, Spectral gaps and Fourier dimension for self-conformal sets with overlaps arXiv:2306.01389 [Ch98] N. I. Chernov Markov Approximations and Decay of Correlations for Anosov Flows...
2023 arXiv
-
[2009]
Hasselblatt, Regularity of the Anosov splitting and a new description of the Margulis measure, PhD thesis
arXiv:0904.2075 [Ha89] B. Hasselblatt, Regularity of the Anosov splitting and a new description of the Margulis measure, PhD thesis. [Ha17] K. Hambrook, Explicit Salem sets in R2 (2017) Advances in Mathematics 311(3):634-648 doi:10.1016/j.aim.2017.03.009 [HdS22] W. He, N. de S...
2017 arXiv
-
[2015]
McShane, Extension of range of functions , Bull
ISBN:9781316227619 [Mc34] J. McShane, Extension of range of functions , Bull. Amer. Math. Soc. 40 (1934), 837–842. [McM83] McCluskey H, Manning A. Hausdorff dimension for horseshoes. Ergodic Theory and Dynamical Systems. 1983;3(2):251-260. doi:10.1017/S0143385700001966 [NT07] ...
1934 doi
-
[2016]
Kaufman, Continued fractions and Fourier transforms
arXiv:1312.3619 [Ka80] R. Kaufman, Continued fractions and Fourier transforms. (1980). Mathematika, 27(2), 262-267. doi:10.1112/S0025579300010147 [Ka81] R. Kaufman, On the theorem of Jarn ´ ık and Besicovitch. Acta Arithmetica 39.3 (1981): 265-267. eudml.org/doc/205767. [Ka66a...
1980 arXiv
-
[2021]
[ LP09] I
doi:10.1215/00127094-2020-0058, arXiv:1902.01103. [ LP09] I. Laba, M. Pramanik, Arithmetic progressions in sets of fractional dimension. Geom. Funct. Anal. 19, 429–456 (2009). doi:10.1007/s00039-009-0003-9 [LPS25] G. Leclerc, S. Paukkonen, T. Sahlsten, Fourier Dimension in C 1...
2009 arXiv
-
[2022]
Damanik, J
ISBN: 978-1-4704-5606-1 doi:10.1090/gsm/221 [DF24] D. Damanik, J. Fillman. One-Dimensional Ergodic Schr ¨odinger Operators: II. Specific Classes Graduate Studies in Mathematics. vol. 249,
-
[2023]
doi.org/10.4007/annals.2023.197.1.2 arXiv:2006.04293 [Yo90] L.-S. Young. Large deviations in dynamical systems. Trans. Amer. Math. Soc., 318(2):525–543, 1990 [Yo02] L-S. Young, What Are SRB Measures, and Which Dynamical Systems Have Them ? Jour- nal of Statistical Physics
2023 arXiv
-
[2024]
Damanik, J
ISBN: 978-1-4704-6503-2 [DFY25] D. Damanik, J. Fillman, G. Young Optimal dispersion for discrete periodic Schr ¨odinger operators arXiv:2505.14475 [DG09] D. Damanik, A. Gorodetski Hyperbolicity of the trace map for the weakly coupled Fibonacci Hamiltonian, 2009 Nonlinearity 22...
2012 arXiv
Reviewed August 6, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.