REVIEW 3 major objections 5 minor 37 references
Density of spectral gap property for positively expansive dynamics and smooth potentials, with applications to the phase transition problem
T0 review · 3 major / 5 minor · reviewed 2026-08-07 · deepseek-v4-flash
Pith's one-line read For a broad class of positively expansive maps, a dense set of smooth potentials has no phase transition at any inverse temperature.
desk verdict Theorems A and B are a genuine higher-dimensional extension and look plausible, but Theorem C's proof relies on a weak-contracting hypothesis that fails for indifferent breakpoints, so the headline application is unsupported. 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 engine is the transfer operator $\mathcal{L}_{f,\varphi}(g)(x)=\sum_{f(y)=x}e^{\varphi(y)}g(y)$: when it has a spectral gap on a Banach space, the topological pressure equals the logarithm of the leading eigenvalue and the pressure function is analytic in $t$. To find potentials with a spectral gap, the paper introduces expanding-on-average potentials, those whose pressure strictly exceeds the supremum over invariant measures that are not expanding on average; a sharp essential-spectral-radius estimate turns this property into quasi-compactness and then a spectral gap. Density of such potentials comes from an ergodic-optimization theorem for invariant measures with entropy above a fixed threshold. For Theorem C, the extra mechanism is a flat-potential criterion for weakly contracting uniform backward random walks: if the walk contracts distances and the potential's orbit sums are controlled along the natural coupling of preimage branches, then the potential is flat and the transfer operator is spectrally gapped. The proof constructs a dense class of flat potentials that are constant in the circle direction near each indifferent fiber breakpoint and in the torus direction near each base breakpoint, so the slow contraction near indifferent points is neutralized.
What would settle it
Take an intermittent circle fiber map with derivative exactly 1 at a fixed point and constant breakpoints, let $F(x,y)=(g(x),f(y))$ with $g$ expanding, and feed the natural coupling of $F^{-m}$ two points approaching that fixed point in the fiber; the preimage branch through the fixed point keeps their distance essentially unchanged, contradicting the uniform-contraction premise behind Theorem C. A direct numerical computation of the spectral radius of $\mathcal{L}_{F,t\varphi}$ on $C^\alpha$ for a smooth flat potential would then show whether the conclusion survives.
Extended reading notes
Core claim
The paper's central claim is that typical smooth potentials produce the strongest form of thermodynamic regularity in a setting that includes non-uniformly hyperbolic dynamics. Theorem A says that for every positively expansive $C^r$ local diffeomorphism of a compact connected manifold with at least one repeller periodic point, an open dense set of continuous potentials has the spectral gap property for the transfer operator on $C^r$, and also for all sufficiently large and all sufficiently small $|t|$; the complement is nowhere dense. Theorem B says that for skew-products $F(x,y)=(g(x),f_x(y))$ with expanding or intermittent torus base and constant fiber breakpoints (classes $TM_2$ and $TM_3$), every smooth potential has analytic pressure on an open dense set of parameters $t$. Theorem C, the strongest statement, says that in the broader class $TM_1$ (base $g$ expanding or intermittent, with fiber breakpoints allowed to depend on $x$) there is a dense set $\widetilde{H}$ of smooth potentials for which $\mathcal{L}_{F,t\varphi}$ has the spectral gap on every Hölder space $C^\alpha$ for every real $t$, and consequently $F$ has no phase transition with respect to $\varphi$.
Load-bearing premise
The load-bearing premise is that, for a high iterate of the skew-product, any two nearby points have preimage sets that can be paired so that every pair of preimages is closer than the original points and at least one pair is closer by a fixed percentage; near fixed points where the derivative is exactly 1 this can fail, since the relevant preimages are only infinitesimally closer.
Editorial extensions
If this is right
- For any positively expansive $C^r$ local diffeomorphism with a repeller periodic point, a dense, open set of smooth potentials has no low-temperature or high-temperature phase transition.
- For intermittent skew-products in $TM_2$ or $TM_3$, every smooth potential has analytic pressure on an open dense parameter set, so any phase transition is confined to a small exceptional set of inverse temperatures.
- In the $TM_1$ class, a dense family of flat smooth potentials makes $\mathcal{L}_{F,t\varphi}$ spectrally gapped on every Hölder space for every real $t$; those potentials have no phase transition at all.
- The set of smooth potentials for which the spectral gap fails is nowhere dense in the uniform topology, so failure is topologically rare.
- Whenever the spectral gap holds, the corresponding equilibrium state is unique and the pressure is strictly convex when the potential is not cohomologous to a constant.
Reading between the lines
- If Theorem C is right, all standard consequences of a spectral gap—exponential decay of correlations, large-deviation principles, and analyticity of thermodynamic quantities—hold for the dense flat potentials at every real $t$; the paper does not spell these out, but they follow from the operator-theoretic setup.
- The proof's uniform-contraction premise suggests a testable sharpening: replacing uniform contraction by a controlled slow-contraction bound along the indifferent set might extend the all-$t$ conclusion to a wider class of positively expansive maps with indifferent periodic points.
- The known phase transitions for geometric potentials such as $-\log|f'|$ in intermittent maps involve potentials that are not flat in the paper's sense, so the density result and the known counterexamples can coexist; a natural next question is whether every smooth potential is a limit of potentials with no phase transition.
- Theorem B's open-dense parameter set leaves open whether the exceptional parameters can be removed; answering that would settle the paper's Question C about density of potentials with spectral gap for all real $t$.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies positively expansive C^r local diffeomorphisms on compact manifolds, aiming to extend one-dimensional results on the density of potentials for which the transfer operator has the spectral gap property and for which phase transitions are absent. Theorem A establishes, for any such map with a repeller periodic point, an open and dense set of continuous potentials such that all sufficiently large and sufficiently small multiples of the potential yield a transfer operator with the spectral gap property on C^r. Theorem B claims that for intermittent skew-products of types TM2 and TM3, every smooth potential has an open dense set of parameters t for which the pressure function t ↦ P_top(F,tφ) is analytic. Theorem C claims that for the broader class TM1, there is a dense set of smooth potentials for which F has no phase transition and the transfer operator L_{F,tφ} has the spectral gap property on C^α for all t ∈ R and all 0 < α < 1. The proofs combine ergodic optimization, expanding-on-average potentials, and Kloeckner's optimal-transport criterion for spectral gap.
Significance. If the results were correct, they would constitute a meaningful higher-dimensional extension of the circle-map theory of Bomfim–Carneiro and Bomfim–Fernandes, and would provide the first generic absence-of-phase-transition statement for a class of intermittent skew-products. The paper has clear strengths: it identifies a natural class of positively expansive local diffeomorphisms, exploits the conjugacy to expanding maps, and uses the modern machinery of ergodic optimization and flatness of potentials. Theorems A and B appear plausible and, modulo the unproved transfer of lemmas from [BC23], may be correct. However, the central new result, Theorem C, rests on an assertion about uniform contraction of inverse branches that fails for maps with indifferent breakpoints. Since the paper's main advertised application is precisely to intermittent skew-products, this gap undermines the principal contribution.
major comments (3)
- [Section 4.6, Proof of Theorem C] The proof begins with the assertion that for F̃ = F^m there exists 0 < σ < 1 such that the preimages of any two points z1,z2 can be ordered to satisfy d(w_{1,1},w_{2,1}) ≤ σ d(z1,z2) and d(w_{1,j},w_{2,j}) < d(z1,z2) for all j ≥ 2. For an intermittent factor with an indifferent breakpoint α (|f'_x(α)| = 1), the inverse branch through α has derivative arbitrarily close to 1 as the point approaches α, so the contraction ratio tends to 1. Hence no uniform σ < 1 can exist, and the uniform backward random walk of F^m is not weakly contracting in the sense of Definition 4.11: there is no contraction function c(r) < r and no λ > 1 satisfying item (ii) of that definition. Consequently Lemma 4.14 and Theorem 4.15 from [KL20] cannot be applied, and the spectral gap conclusion for L_{F,tφ} on C^α does not follow. This is a load-bearing error for Theorem C.
- [Section 4.6, Proof of Theorem B] The proof that the set A is dense is incomplete. The text asserts: 'let t̃ ∉ A and ε>0. Then there exists |t̃̃−t̃|<ε and j such that P_top(g,t̃̃φ(·,α_j)) > max{...} or P_top(f_{x_j},t̃̃φ(x_j,·)) > max{...}.' No justification is given for the existence of such a nearby parameter with strict dominance. Without this, the density of A is not established. Moreover, the definition A = A1 ∪ ∪_j int(A2,j) ∪ ∪_j int(A3,j) does not exclude the at-most-two exceptional parameters in each int(A2,j) or int(A3,j) where, according to [BF23], the corresponding circle pressure may fail to be analytic; therefore the claimed analyticity of t ↦ P_top(F,tφ) on all of A is not justified as written.
- [Section 3.3] Lemma 3.1, Corollary 3.2, Lemma 3.4, and Proposition 3.5 are imported from [BC23] with the statement that 'the same proofs as in [BC23]' work in the higher-dimensional setting. These results are load-bearing for Theorems A and B, and it is not self-evident that the one-dimensional arguments carry over unchanged; for example, the proof of Lemma 3.1 may rely on circle-specific properties such as the structure of inverse branches or one-dimensional coboundary equations. The authors should either provide the proofs adapted to the present setting or explain in detail why the dimension is irrelevant.
minor comments (5)
- [Section 2.1, Example 2.5] The class TM1 includes the case 'g is intermittent', but intermittent maps are defined only on S^1 (Definition 2.3), while g is a map on T^d. The paper later (Section 4.6) implicitly assumes d=1 when g is intermittent. The statement of Theorem C should clarify the domain of g or restrict to d=1 in that case.
- [Theorem C statement] Items (i) and (ii) use the lowercase letter f ('f has no phase transition', 'L_{f,tφ}') although the dynamics under consideration is F. This is a typo that should be corrected.
- [Theorem A statement] The phrase 'for all |t| ≥ t0 or |t| ≤ t1' is ambiguous and should read 'for all |t| ≥ t0 and for all |t| ≤ t1', as is proved in Propositions 4.8 and 4.10.
- [Definition 4.12] There is a duplicated phrase in the definition of the natural coupling: 'x1 = x_{η(j1)} ∈ T^{-1}(x) and x1 = x_{η(j1)} ∈ T^{-1}(x)' should be 'x1 = x_{η(j1)} ∈ T^{-1}(x) and y1 = y_{σ(j1)} ∈ T^{-1}(y)'.
- [Proof of Theorem C, last paragraph] The sentence 'Since L_{F,φ} is a positive operator then there exists a probability ν such that L*_{F,φ}ν = ρ(L_{F,φ}|C0)ν' is stated without proof; while this is a standard consequence of the Schauder–Tychonoff theorem for positive operators on C(M), the justification should be given or referenced.
Circularity Check
No significant circularity: the spectral-gap claims are derived from external operator criteria and new density arguments, not from definitionally loaded inputs or fitted parameters.
full rationale
The derivation chain is not circular. Theorem A is obtained by defining expanding/expanding-on-average potentials through pressure and Lyapunov data, then invoking the essential spectral radius estimates of [CL97] and the ergodic-optimization genericity result [LT24]; the spectral gap, analyticity, and strict convexity conclusions are outputs, not inputs, of these definitions. Theorem B reduces any non-spectral equilibrium of the skew-product to a product measure concentrated on a breakpoint, yielding P(F,tφ) = P(g,tφ(·,α_j)) or P(f_{x_j},tφ(x_j,·)); the subsequent use of [BF23] for the one-dimensional fiber is a normal invocation of a prior theorem, while the genuinely new step is the skew-product reduction itself. Theorem C applies the externally stated weak-contraction and flatness criteria of [KL20] (Lemma 4.14 and Theorem 4.15) to conclude the spectral gap property for L_{F,tφ}; no parameter is fitted to a quantity later announced as a prediction, and no equation is defined in terms of the conclusion it is meant to establish. The self-citations to [BC23] and [BF23] supply background lemmas and motivational one-dimensional results whose assumptions do not include the present claims. The reviewer-level objection that the weak-contraction hypothesis in Definition 4.11 may fail at indifferent breakpoints of F^m is a mathematical correctness risk in applying [KL20, Theorem 5.8], not a circularity: it concerns whether an external theorem's hypotheses are satisfied, not whether the paper's conclusion is equivalent to its input by construction.
Assumptions & free parameters
assumptions (5)
- domain assumption Every positively expansive C^r local diffeomorphism on a compact connected manifold is topologically conjugate to a uniformly expanding map.
- domain assumption f admits at least one repeller periodic point.
- standard math The Campbell-Latushkin essential spectral radius estimates (Theorem 3.8) apply to C^r potentials and the transfer operator on C^r.
- ad hoc to paper The lemmas from [BC23] (Lemma 3.1, Corollary 3.2, Lemma 3.4, Proposition 3.5) extend to higher-dimensional positively expansive maps with the same proofs.
- ad hoc to paper The uniform backward random walk of F^m is weakly contracting (there exists σ < 1 and a contraction function c(r) < r).
Cite this review
Pith. "Pith review of Density of spectral gap property for positively expansive dynamics and smooth potentials, with applications to the phase transition problem." pith.science (2026). https://pith.science/paper/KNJ74MAB
@misc{pith2026250523934,
author = {Pith},
title = {Pith review of: Density of spectral gap property for positively expansive dynamics and smooth potentials, with applications to the phase transition problem},
year = {2026},
howpublished = {\url{https://pith.science/paper/KNJ74MAB}},
note = {Machine review of arXiv:2505.23934}
}
abstract
It is known that all uniformly expanding dynamics $f: M \rightarrow M$ have no phase transition with respect to a H\"older continuous potential $\phi : M \rightarrow \mathbb{R}$, in other words, the topological pressure function $\mathbb{R} \ni t \mapsto P_{top}(f , t\phi)$ is analytical. Moreover, the associated transfer operator $\mathcal{L}_{f , t\phi}$, acting on the space of H\"older continuous functions, has the spectral gap property for $t \in \mathbb{R}$. For dynamics that are topologically conjugate to an expanding map, a full understanding has yet to be achieved. On the one hand, by \cite{KQW21,KQ22}, for such maps and continuous potentials, the associated topological pressure function can behave wildly. On the other hand, by \cite{BF23}, for transitive local diffeomorphisms on the circle and a large class of H\"older continuous potentials, the phase transition does not occur, and the associated transfer operator has the spectral gap property for all parameters $t \in \mathbb{R}$. As a first approach to understanding what happens in high dimensions, in this paper, we study positively expansive local diffeomorphisms. In particular, we show that the associated transfer operator has the spectral gap property for a large class of regular potentials. Moreover, for a class of intermittent skew-products and a large class of regular potentials, we obtain phase transition results analogous to \cite{BF23}.
Reference graph
Works this paper leans on
-
[1]
V. Baladi. Positive transfer operators and decay of correlations. World Scientific Publishing Co. Inc. , 2000
work page 2000
-
[2]
T. Bomfim and V. Carneiro. Thermodynamical and spectral phase transition for local diffeomorphisms in the circle. Nonlinearity , 36 (12), 2023
work page 2023
- [3]
-
[4]
T. Bomfim and A. Castro. Linear Response, and Consequences for Differentiability of Statistical Quantities and Multifractal Analysis. J Stat Phys , 174, 135-159, 2019
work page 2019
-
[5]
T. Bomfim and A. Fernandes. Phase transitions for transitive local diffeomorphism with break points on the circle and Holder continuous potentials. Preprint Arxiv , 2023
work page 2023
-
[6]
R. Bowen. Equilibrium states and the ergodic theory of A nosov diffeomorphisms. Lect. Notes in Math. , volume 470, Springer Verlag, 1975
work page 1975
-
[7]
R. Bowen and D. Ruelle. The ergodic theory of Axiom A flows. Invent. Math. , 29, 181-202, 1975
work page 1975
-
[8]
J. Campbell and Y. Latushkin. Sharp Estimates in Ruelle Theorems for Matrix Transfer Operators. Commun. Math. Phys. , 185, 379-396, 1997
work page 1997
Show all 37 references
-
[9]
Coronel and J
D. Coronel and J. Rivera-Letelier. Low-temperature phase transitions in the quadratic family. Advances in Mathematics , 248, 453-494, 2013
2013
-
[10]
Coronel and J
D. Coronel and J. Rivera-Letelier. High-order phase transitions in the quadratic family. Journal of the European Mathematical Society , 17(11), 2725-2761, 2015
2015
-
[11]
Coronel and J
D. Coronel and J. Rivera-Letelier. Sensitive Dependence of Geometric Gibbs States at Positive Temperature. Commun. Math. Phys. , 368, 383-425, 2019
2019
-
[12]
Coronel and J
D. Coronel and J. Rivera-Letelier. Asymptotic expansion of smooth interval maps. Ast\'erisque , 416, 33-63, 2020
2020
-
[13]
E. M. Coven and W. L. Reddy. Positively expansive maps of compact manifolds. Lecture Notes in Math. , Springer-Verlag, vol. 819, pp. 96-110, 1980
1980
-
[14]
L. J. D\'iaz, K. Gelfert and M. Rams. Abundant rich phase transitions in step-skew products. Nonlinearity , 27, 2255-2280, 2014
2014
-
[15]
Eizenberg, Y
A. Eizenberg, Y. Kifer and B. Weiss
-
[16]
Gouezel and C
S. Gouezel and C. Liverani. Banach spaces adapted to Anosov systems. Ergod. Th. & Dynam. Sys. , 26, 189-217, 2006
2006
-
[17]
Iommi, F
G. Iommi, F. Riquelme and A. Velozo. Entropy in the cusp and phase transitions for geodesic flows. Isr. J. Math. 225, 609-659, 2018
2018
-
[18]
Jordan and M
T. Jordan and M. Rams
-
[19]
Kloeckner
B. Kloeckner. An optimal transportation approach to the decay of correlations for non-uniformly expanding maps. Ergodic Theory and Dynamical Systems , 40(3), 714-750, 2020
2020
-
[20]
Kucherenko, A
T. Kucherenko, A. Quas and C. Wolf. Multiple phase transitions on compact symbolic systems. Advances in Mathematics , Volume 385, 2021
2021
-
[21]
Kucherenko and A
T. Kucherenko and A. Quas. Flexibility of the Pressure Function. Commun. Math. Phys. , 395, 1431–1461, 2022
2022
-
[22]
Lin and X
W. Lin and X. Tian. Ergodic optimization restricted on certain subsets of invariant measures. Journal of Mathematical Analysis and Applications , Volume 530, Issue 2, 2024
2024
-
[23]
A. O. Lopes. The Zeta Function, Non-differentiability of Pressure, and the Critical Exponent of Transition. Advances in Mathematics , 101(2),133-165, 1993
1993
-
[24]
Oliveira and M
K. Oliveira and M. Viana. Foundations of Ergodic Theory. Cambridge Studies in Advanced Mathematics , 2016
2016
-
[25]
Pfister and W.G
C.-E. Pfister and W.G. Sullivan. Large deviations estimates for dynamical systems without the specification property. Nonlinearity , 18, 237-261, 2005
2005
-
[26]
Pinheiro
V. Pinheiro. Expanding measures. Annales de l'Institut Henri Poincaré C, Analyse non linéaire , Volume 28, Issue 6, Pages 889-939, 2011
2011
-
[27]
Pinheiro and P
V. Pinheiro and P. Varandas. Thermodynamic formalism for expanding measures. Preprint arXiv:2202.05019v1, 2022
2022 arXiv
-
[28]
Prellberg and J
T. Prellberg and J. Slawny. Maps of intervals with indifferent fixed points: Thermodynamic formalism and phase transitions. J Stat Phys , 66, 503-514, 1992
1992
-
[29]
Przytycki and M
F. Przytycki and M. Urbanski. Conformal fractals: ergodic theory methods. London Mathematical Society lecture note series , 371, New York: Cambridge University Press, 354 p, 2010
2010
-
[30]
Qian, J.-S
M. Qian, J.-S. Xie and S. Zhu. Smooth Ergodic Theory for Endomorphisms. Springer Berlin, Heidelberg (Lecture Notes in Mathematics Book), 1978
1978
-
[31]
D. Ruelle. Ergodic theory of differentiable dynamical systems. Inst. Hautes Études Sci. Publ. Math. , no. 50, 27-58, 1979
1979
-
[32]
Ya. Sinai. Gibbs measures in ergodic theory. Russian Math. Surveys , 27, 21-69, 1972
1972
-
[33]
A. Veloso. Phase transitions for geodesic flows and the geometric potential. preprint Arxiv , 2017
2017
-
[34]
M. Viana. Lectures on Lyapunov Exponents. Cambridge Studies in Advanced Mathematics , 2014
2014
-
[35]
P. Walters. An Introduction to Ergodic Theory. New York: Springer-Verlag , 1982
1982
-
[36]
P. Walters. Differentiability Properties of the Pressure of a Continuous Transformation on a Compact Metric Space. Journal of the London Mathematical Society , s2-46: 471-481, 1992
1992
-
[37]
P. Walters. Convergence of the Ruelle Operator for a Function Satisfying Bowen’s Condition. Transactions of the American Mathematical Society , vol. 353, no. 1, pp. 327-47, 2001
2001
Reviewed August 7, 2026 · model on record in the stance chip above.
Discussion (0). Sign in to comment.