Back to search
2209.05719

PRESSURE GAPS, GEOMETRIC POTENTIALS, AND NONPOSITIVELY CURVED MANIFOLDS

Dong Chen, Lien-Yung Kao, Kiho Park

correctmedium confidence
Category
Not specified
Journal tier
Strong Field
Processed
Sep 28, 2025, 12:56 AM

Audit review

The paper proves a general pressure-gap criterion (Theorem A) for rank-1 manifolds with a codimension-1 totally geodesic flat torus using a shadowing map Π_{t,R}, quantitative time–angle estimates (3.4)–(3.5), a key integral lower bound (Proposition 3.4/Corollary 3.5), and an abstract specification-based construction (Proposition 7.2). This yields P(Sing,ϕ) < P(ϕ) under the stated decay (1.1) without appealing to the geometric potential ϕ^u and without assuming h_top(Sing)=0 . By contrast, the candidate solution hinges on two problematic steps: (i) it asserts P(Sing,ϕ)=C0 by claiming all measures on Sing have zero entropy; the paper only uses P(Sing,ϕ)=C0+h_top(Sing) (when ϕ|Sing≡C0) and does not assume h_top(Sing)=0, although that may hold in many examples ; and (ii) it requires a two-sided estimate −ϕ^u≈|x|^{m/2}+|φ|^{m/(m+2)} from normal curvature bounds alone, whereas the paper proves such an equivalence (Theorem C) under a Ricci curvature hypothesis and no flat strips, which is stronger than the assumptions of Theorem A . Even granting (ii), the argument further concludes P(ϕ)≥C0+P(qϕ^u) by comparing only on a neighborhood of Sing; this does not imply P(ϕ)>P(Sing,ϕ) unless one also proves h_top(Sing)=0. The paper’s proof avoids these gaps by a different mechanism (shadowing and specification), so the statement is correct as proved in the paper, while the model’s proof is incomplete.

Referee report (LaTeX)

\textbf{Recommendation:} minor revisions

\textbf{Journal Tier:} strong field

\textbf{Justification:}

The paper establishes a robust and geometrically meaningful criterion for pressure gaps in rank-1 geodesic flows with a codimension-1 flat torus, and supplies new regularity/size information for the geometric potential near the singular set. The argument is careful, modular, and solidly grounded in the specification framework. Minor clarifications about the role of the singular-set entropy and the separation of assumptions between Theorems A and C would improve readability.