REVIEW 2 major objections 5 minor
Properties of resonant states for generic smooth expanding maps
T0 review · 2 major / 5 minor · reviewed 2026-08-15 · deepseek-v4-flash
Pith's one-line read This paper proves that generic smooth expanding maps have simple Ruelle resonances, regular (and Morse for real states) resonant states, and, for large degree, resonant states that are generic smooth functions.
desk verdict New generic simplicity and Morse-regularity results for Ruelle resonances; the proofs are solid, and the stress-test objection to the tame estimate does not land. 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 central object is the transfer operator L_T f(x) = Σ_{y: Ty=x} f(y)/|det DT(y)| and its resolvent R_T(z), whose poles are the Ruelle resonances. The argument hinges on two mechanisms: (1) smooth/tame dependence of L_T, R_T(z), and the spectral projectors Π_{T,λ} on the map T in the C∞ topology, giving explicit derivative formulas (Lemma 4.1) for how a resonance and its resonant state move under a perturbation; and (2) a family of deformations (Lemma 4.3) that produces essentially arbitrary first-order changes of finitely many resonant states near prescribed points while leaving the map fixed elsewhere. The density of simple resonances rests on the full support of coresonant states (Proposition 3.1), and the large-degree genericity rests on a Nash-Moser inverse function theorem applied to the map Φ: T ↦ (E_{T,λ(T)}, λ(T)).
What would settle it
Construct an open set of smooth expanding maps on the circle for which every map has a resonance of modulus at least δ with multiplicity at least two; the density part of Theorem 1 says such an open set cannot exist. More directly, compute the first-order variation predicted in Lemma 4.1 for a concrete two-parameter perturbation and compare with the actual spectra: a mismatch would disprove the smooth perturbation formulas on which Theorems 2–6 rest.
Extended reading notes
Core claim
On its own terms, the paper establishes that in the space Exp(M) of C-infinity expanding self-maps of a compact manifold M, the property "all resonances of modulus at least δ are simple, and all resonant states are regular at zero, with real ones Morse" is open and dense (Theorems 1 and 2). It further shows that when the degree of the map is at least dim M+1 for real resonances or dim M+2 for complex resonances, the association T ↦ (E_{T,λ(T)}, λ(T)) is locally surjective onto the space of line-and-eigenvalue pairs, so the resonant states of a generic map of large degree are themselves generic smooth functions (Theorems 3–6). The invariant density of the absolutely continuous invariant measure is likewise generically a prescribed smooth positive density of integral one. The proofs derive explicit first-order variation formulas for resonances and resonant states, use full support of coresonant states to build perturbations that split resonances, and use a Nash-Moser argument to convert a linearized surjectivity into local right inverses.
Load-bearing premise
The argument assumes that, as the expanding map is varied in the C∞ topology, its resonances and spectral projectors move smoothly and tamely; the derivative formulas, transversality arguments, and Nash-Moser step all stand on that premise.
Editorial extensions
If this is right
- For any δ>0, the smooth expanding maps whose resonances of modulus at least δ are all simple form an open dense set; hence the set of maps with all resonances simple is a dense Gδ set.
- For a generic map, every real resonant state associated to a real resonance is a Morse function with 0 as a regular value, meaning its critical points are non-degenerate and its zero level set is a smooth hypersurface.
- The invariant density of the absolutely continuous invariant probability measure for a generic expanding map can be prescribed up to small error: the density map is locally surjective onto positive smooth densities of integral one.
- For maps of degree at least dim M+1 (real case) or dim M+2 (complex case), the lines spanned by resonant states, together with their resonance values, can be deformed to any prescribed nearby line/value data, so generic resonant-state lines have the generic properties of zero-mean smooth functions.
- The paper notes that Theorems 1 and 2 can likely be adapted to finitely differentiable expanding maps with extra technicalities, while Theorems 3–5 rely on Nash-Moser theory and are probably much harder to adapt.
Reading between the lines
- If the local-surjectivity mechanism is as strong as proved, then for generic expanding maps of large degree the entire finite resonance spectrum should be simultaneously movable: one could prescribe small independent changes to several resonances and their state lines, extending the simultaneous treatment in Theorem 6.
- The same transversality-plus-Nash-Moser recipe could apply to weighted transfer operators for Gibbs measures; the paper's appendix sketches this direction, identifying where the zero-average condition and the real/complex resonance distinction would need to change.
- In dimension 1, the large-degree condition in Theorem 4 disappears, so the generic Morse property of resonant states should hold for all expanding circle maps; this could be checked numerically for families with explicit resonance spectra.
- The Morse property depends on the choice of reference density, whereas regular value at zero is intrinsic for densities; this suggests the regular-value statement is the more robust generic property to carry to other settings.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. This paper studies generic properties of Ruelle resonances and resonant states of C^∞ expanding maps of a compact manifold. Theorem 1 states that, for every δ>0, the set of maps whose resonances of modulus at least δ are simple is open and dense in Exp(M); Theorem 2 adds that, generically, real-valued resonant states are Morse functions and that zero is a regular value for them, and that the same regular-value property holds for resonant states attached to non-real resonances. Theorems 3–6 use Nash–Moser theory to show that, for maps of sufficiently large degree, the invariant density and the resonance lines can be made to satisfy arbitrary open dense target conditions. The proofs combine Gouëzel–Keller–Liverani perturbation theory, a full-support result for coresonant states, and a deformation lemma (Lemma 4.3) that produces local perturbations of resonant states.
Significance. If the proofs are completed, Theorems 1 and 2 are substantial genericity results for the non-self-adjoint spectral data of a smooth dynamical system, and Theorems 3–6 form an interesting application of Nash–Moser surjectivity to transfer operators, going beyond the finite-dimensional transversality arguments used by Uhlenbeck. The paper is careful to separate the finite-dimensional perturbation arguments from the infinite-dimensional Nash–Moser part, and Proposition 3.1 on the full support of coresonant states is a nice result in its own right. The appendix showing that the setting of Theorem 4 is nonempty is also a useful addition. The main weakness is that the tame resolvent estimates underpinning the Nash–Moser theorems are not proved with enough detail, so the central claims of Theorems 3–6 are not yet fully established as written.
major comments (2)
- [§6.2, Lemma 6.4, Eqs. (26)–(29)] The derivation of the tame Doeblin–Fortet–Lasota–Yorke estimate (26) from the chain-rule expansion (27)–(29) is not fully justified. The passage from the product term (29) to the displayed linear form involving ||h||_{C^1}||f||_{C^{r-1}} and ||h||_{C^r}||f||_{C^0} is asserted only as 'by interpolation inequalities'; the constants are claimed to be independent of X and n, but no interpolation argument is given. Moreover, the absorption of the resulting ||f||_{C^{r-1}} term into the first and second terms of (26) requires a careful choice of the interpolation parameter and a trace of how the constants C_r and C_{r,n} depend on n. This step is load-bearing because Lemma 6.3 uses (26) to prove that the resolvent (T,z,f)↦R_T(z)f is a smooth tame map, and Lemma 6.1 applies Hamilton's surjective Nash–Moser theorem on the basis of those tame estimates. The proof must be written out completely before Theorems 3–6 can be considered established.
- [§6.2, Lemma 6.6] The proof that the map Φ defined in (25) is smooth tame is incomplete. The text says that the smoothness of λ_j(T) is given by Remark 2.9 and that since λ_j(T) is valued in a Banach space it is smooth tame; however, Remark 2.9 only establishes smoothness along finite-dimensional curves into C^k, not the tame estimates on the Fréchet manifold Exp(M). Similarly, the smooth tame property of the maps T↦E_{T,λ_j(T)} into the projective spaces is asserted by invoking Lemma 6.3, but the required estimates are not shown. Since the application of [Ham82, Theorem III.1.1.3] in Lemma 6.1 requires Φ to be a smooth tame map, this missing verification is part of the load-bearing chain for Theorems 3–6.
minor comments (5)
- [Throughout] There are numerous typographical errors that should be corrected, including 'textboof' (p. 4), 'expaniding' (p. 12), 'beacuse' (p. 15), and 'wtart' (p. 19).
- [Lemma 6.7] In the statement of Lemma 6.7, the right-hand side 'g_{T,k}' should be 'g_k'.
- [Equation (14)] In equation (14), the factor d/dt(λ_t)|_{t=0} is written inside the summation; moving it outside the sum would make the displayed formula much easier to read.
- [Proof of Lemma 6.4] The sentence 'Since U is C^2 bounded, this quantity is less than ...' should justify why ||(DT^n_X)^{-1}||_{C^1} is bounded uniformly in n and X; if this is intended as a consequence of the uniform expansion and C^2 bounds, the author should state the estimate explicitly.
- [Appendix A, Step 1] The sentence 'otherwise, we can just modify T_0 near a fixed point to achieve it' needs a few words explaining why the modification can be made while preserving the expanding property and the real-analyticity of the map.
Circularity Check
No significant circularity: the genericity theorems are derived from external spectral-stability and Nash–Moser results, with no fitted input renamed as prediction.
full rationale
The paper's derivation chain is self-contained against external benchmarks. The perturbation formulas for resonances and resonant states are imported from Baladi's textbook presentation of Gouëzel–Keller–Liverani theory ([Bal18, Theorems 2.35, 2.36, A.4]) and from Hamilton's Nash–Moser inverse function theorem ([Ham82, Theorem III.1.1.3]); these are external results that do not depend on the present paper's conclusions. Theorems 1 and 2 follow from those perturbation formulas, Proposition 3.1, Lemma 4.3, and standard Sard-type transversality arguments; no parameter is fitted to a subset of the resonance data and then renamed a prediction. Theorems 3–6 are obtained by applying the surjective Nash–Moser theorem after checking surjectivity of the linearized map through Lemmas 6.7, 6.10, and 6.11; the surjectivity condition is an open, dense property proved by explicit deformations, not an assumption equivalent to the desired genericity statement. The author's self-citations ([Jéz20], [Jéz21]) appear only as background for trace formulas and intermediate regularity classes, and they are not load-bearing for the main theorems. The interpolation step in Lemma 6.4 is a technical estimate whose correctness could be questioned, but that is a correctness risk, not circularity: the estimate is not the same object as the theorem it supports, and no equation in the paper reduces a claimed prediction to an input by construction.
Assumptions & free parameters
assumptions (6)
- standard math Ruelle resonance theory for expanding maps: the transfer operator L_T acts boundedly on C^k(M) with essential spectral radius less than C e^{-k theta} (Proposition 2.1, from Ruelle 1989 and Baladi 2018).
- standard math Spectral stability and perturbation theory for transfer operators: the resolvent and spectral projectors depend continuously and smoothly tamely on the map (Propositions 2.5 and 2.8, Lemmas 2.7 and 6.3, from Baladi 2018 and Hamilton 1982).
- standard math Nash-Moser inverse function theorem for tame Frechet manifolds (Hamilton 1982, Theorem III.1.1.3).
- standard math Infinite-dimensional Sard theorem and transversality results (Smale 1965, Abraham 1963, Quinn 1970, Hirsch 1976).
- standard math Trace formula for real-analytic expanding maps relating the sum of resonances to fixed-point data (Ruelle 1989, Jezequel 2020).
- standard math Hodge theory and elliptic regularity for the divergence equation on compact manifolds (Lemma 6.9).
Cite this review
Pith. "Pith review of Properties of resonant states for generic smooth expanding maps." pith.science (2026). https://pith.science/paper/OBR6UC7D
@misc{pith2026260725686,
author = {Pith},
title = {Pith review of: Properties of resonant states for generic smooth expanding maps},
year = {2026},
howpublished = {\url{https://pith.science/paper/OBR6UC7D}},
note = {Machine review of arXiv:2607.25686}
}
read the original abstract
We prove that the resonances for a generic smooth expanding map are simple and that zero is a regular value for the associated resonant states. Moreover, the real-valued resonant states are Morse functions. Using Nash-Moser theory, we also prove that the resonant states for a generic smooth expanding map of large enough degree (depending on the dimension of the manifold the map is acting on) have the same properties as generic smooth functions.
Reviewed August 15, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.