Pith. sign in

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 →

arxiv 2507.23731 v2 pith:UETUP3Q4 submitted 2025-07-31 math.DS math-phmath.MPmath.SP

classification math.DSmath-phmath.MPmath.SP MSC 37D2037D3542B1037C4581Q10
keywords FourierdecayAxiomAdiffeomorphismEquilibriumstateFibonacciHamiltonianDensityofstatesAnosovcocycleSum-productphenomenonLowerdimension
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 tries to prove that genuine nonlinearity in surface dynamics forces Fourier transforms of equilibrium measures to decay at a power rate. The main theorem says that if $f$ is a $C^\infty$ area-preserving Axiom A diffeomorphism on a surface and, on a basic set $\Omega$, either the stable or unstable distribution is not $C^2$, then the measure of maximal entropy (more generally, every equilibrium state) has positive lower Fourier dimension. The proof converts Fourier decay into a non-concentration estimate for a temporal distance function of a suspension flow, and then shows that non-concentration follows from the failure of the foliations to be $C^2$. Via the Fibonacci trace map, this yields power Fourier decay for the density of states measure of the weakly coupled Fibonacci Hamiltonian, giving the first phase-averaged decay statement for a quasicrystal without an extra time average.

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.

Watch

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

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

  • 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.
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 / 4 minor

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. [§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.
  2. [§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. [§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. [§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)=μ.
  2. [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.
  3. [Abstract and §1.1] There are typos such as 'Fibonnaci' and 'density of sate'; these should be corrected.
  4. [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

0 steps flagged · score 0.0 of 10

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 0 free parameters · 7 assumptions · 0 invented entities

No free parameters are fitted; all constants in the proof are existential. The paper imports a body of standard thermodynamic formalism and several specialized results from prior work, including the author's own thesis. No new physical or ontological entities are introduced; the templates and the temporal distance function are mathematical tools, not new entities.

assumptions (7)
  • standard math Existence of Markov partitions with small diameter and thermodynamic formalism for equilibrium states
    Used throughout Section 2; standard for Axiom A diffeomorphisms, following Bowen and Ruelle.
  • standard math Livsic theorem for cohomology of Holder functions
    Used in Sections 2.1 and 2.5 to relate the geometric potential tau_f to the factor potential tau_F and to write ln(mu_x lambda_x) as a coboundary.
  • standard math Discretized sum-product theorem (Theorem 3.10)
    Imported from Sahlsten-Stevens [SS20] and used as the engine in Section 3 to reduce Fourier decay to a non-concentration estimate.
  • standard math Nonstationary normal coordinates and templates from Tsujii-Zhang
    Lemma 4.12 and the template constructions are adapted from [TZ20, Appendix B]; these tools are load-bearing for the analysis of the temporal distance function in Section 4.
  • 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
    Theorem 1.8 from Damanik-Gorodetski [DG09] is the bridge between the trace map dynamics and the Fibonacci Hamiltonian; it is essential for Theorem 1.9.
  • domain assumption Area-preserving condition |det df|=1 on the basic set
    Core hypothesis in Theorem 1.4, Corollary 3.2 and Section 4; it gives the cohomology relation ln(lambda_x mu_x) ~ 0 and the symmetry between stable and unstable directions.
  • domain assumption Non-C^2 stable or unstable distribution
    The nonlinearity assumption that is generic and checked via the Anosov cocycle; it drives the non-concentration of the temporal distance function and hence the Fourier decay.

how reviews work

0 comments
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.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

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

    math.DS 2026-07 conditional novelty 7.0 of 10

    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

19 extracted references · 13 canonical work pages · cited by 1 Pith paper

  1. [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...

  2. [7]

    Hurder, A

    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...

  3. [11]

    [Liv71] A.N

    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

  4. [14]

    Parry, M

    arXiv:2309.03068 71 [PP90] W. Parry, M. Pollicott, Zeta Functions and the Periodic Orbit Structure of Hyperbolic Dynamics, Asterisque; 187-188, soci´ et´ e math´ ematique de France,

  5. [17]

    Birkh ¨auser, Cham

    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....

  6. [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 (...

  7. [108]

    doi:10.1023/A:1019762724717

    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

  8. [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
  1. [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...

  2. [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...

  3. [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...

  4. [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...

  5. [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...

  6. [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] ...

  7. [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...

  8. [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...

  9. [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,

  10. [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

  11. [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...

Pith tools

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