Pith. sign in

REVIEW 2 major objections 5 minor 17 references

On volume preserving almost Anosov flows

T0 review · 2 major / 5 minor · reviewed 2026-08-14 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Dulac maps with mixed terms: limit laws for almost Anosov flows

desk verdict The Dulac-map estimates with mixed terms are a genuine, carefully worked extension; the advertised limit laws are outsourced to an unpublished companion and should not be cited as proved here. read the letter →

arxiv 1908.05675 v1 pith:FK53M73D submitted 2019-08-15 math.DS

Henk Bruin This is my paper · ORCID
classification math.DS MSC 37C1037D2037D2560F05
keywords DulacmapalmostAnosovflowslimitlawsstableCentralTheoremnon-uniformhyperbolicitycubicsaddlefirstintegral
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

This paper establishes precise asymptotic formulas for the Dulac map of a planar vector field with a neutral cubic saddle, and uses them to derive statistical limit laws for volume-preserving almost Anosov flows in three dimensions. The novelty is that the vector field may contain quadratic mixed terms $xy$; earlier results had assumed those terms vanish. Under one co-dimension one parameter condition, the paper finds an explicit first integral that reduces the problem to a one-dimensional equation, yielding regular variation of the Dulac map and of return-time tails. From this it claims a central limit theorem with non-standard $\sqrt{t\log t}$ scaling for observables that vanish at the neutral orbit, a Gaussian CLT for stronger observables, and stable laws in the intermediate range. These limit laws matter because they describe the statistical behavior of natural non-uniformly hyperbolic flows where uniform hyperbolicity breaks down along a single periodic orbit.

What carries the argument

The load-bearing object is an explicit first integral $L(x,y)=x^u y^v(\frac{a_0}{v}x^2+\frac{a_1}{v+1}xy+\frac{b_2}{u}y^2)$, whose existence follows from condition (4). Because $L$ is constant along the flow of the unperturbed quadratic-cubic vector field, switching to the slope variable $M=y/x$ turns the planar system into the one-dimensional ODE (16). Integrating that ODE yields the Dulac time and the asymptotic expressions for $\xi$ and $\omega$ in Theorem 1.1; the same estimates are then shown to be stable under $O(4)$ perturbations by comparing the perturbed first integral with the unperturbed one. The return-time tail estimate $\mathrm{Leb}(\{\tau>t\}) \sim C t^{-\beta_2}$ follows by integrating these estimates over unstable leaves of the induced Poincaré map.

What would settle it

Compute the induced Poincaré map for a concrete volume-preserving almost Anosov flow with $\gamma\in(-4,4)$ and measure the tail probability $\mathrm{Leb}(\{\tau>t\})$ for return times; if it does not behave like $C t^{-2}$ with a nonzero constant, the tail estimate behind Corollary 1.1 fails. Alternatively, test the stable-law prediction directly: for an observable with homogeneous order $\rho=-1$, the normalised integrals should converge to a stable distribution of index $4/3$.

Watch

Extended reading notes

Core claim

The paper's central claim is Theorem 1.1: for a $C^3$ vector field of local form (3) with parameters satisfying (2) and (4), the coordinate functions of the Dulac map are regularly varying, specifically $\xi(\eta,T)=\xi_0(\eta)T^{-\beta_2}(1+O(T^{-\beta_*},T^{-1/2}\log T))$ and $\omega(\eta,T)=\omega_0(\eta)T^{-\beta_0}(1+O(T^{-\beta_*},T^{-1/2}\log T))$, so the Dulac map itself satisfies $\omega=D(\xi)=\omega_0 \xi_0^{-\beta_0/\beta_2} \xi^{\beta_0/\beta_2}(1+o(1))$. The paper then states Corollary 1.1: for a volume-preserving almost Anosov flow with a neutral cubic saddle, $C^1$ observables whose integrals along the neutral orbit are homogeneous of order $\rho$ satisfy a CLT with $\sqrt{t\log t}$ scaling when $\rho=0$, a Gaussian CLT when $\rho>0$, and stable laws of order $4/(2-\rho)$ when $-2<\rho<0$.

Load-bearing premise

The limit-law conclusions rest on an unpublished renewal theorem from the paper's companion preprint [3]; if that theorem does not apply to an induced map whose return-time tail decays like $C t^{-2}$, the CLT and stable-law statements do not follow from this paper alone.

Editorial extensions

If this is right

  • For volume-preserving almost Anosov flows satisfying the volume-preserving parameter conditions, the neutral saddle produces a return-time tail with exponent $-2$, placing the induced system exactly at the threshold between finite and infinite variance.
  • Observables whose integral along the neutral orbit vanishes to order $\rho=0$ have fluctuations of order $\sqrt{t\log t}$, not the usual $\sqrt{t}$.
  • Positive-order observables satisfy the ordinary Gaussian CLT with $\sqrt{t}$ scaling.
  • Intermediate observables with $-2<\rho<0$ obey stable laws of order $4/(2-\rho)\in(1,2)$, so the heavy-tailed regime is fully described by the single parameter $\rho$.
  • The strip-measure estimates behind Theorem 1.1 also constrain the induced return map and can support further limit theorems beyond the three cases stated in Corollary 1.1.

Reading between the lines

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

  • If the renewal machinery in the companion preprint [3] applies as claimed, the same method should also yield mixing rates or almost-sure invariant principles for these flows; the paper does not develop those consequences.
  • The parameter condition (4) is co-dimension one and follows automatically from volume preservation, but for non-volume-preserving flows the limit laws will likely depend on whether $\beta_0$ and $\beta_2$ fall on either side of $1$, so the boundary cases $\beta_i=2$ could be probed for logarithmic corrections.
  • A concrete numerical check: simulate the induced Poincaré map for a volume-preserving almost Anosov flow with parameter $\gamma\in(-4,4)$ and measure the distribution of normalised integrals; for an observable with $\rho=-1$ the histogram should converge to a stable law of index $4/3$.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 5 minor

Summary. The paper studies volume-preserving almost Anosov flows with a neutral periodic orbit of cubic saddle type, focusing on the two-dimensional horizontal flow (3). Its main technical result, Theorem 1.1, gives Dulac-time and Dulac-map asymptotics for vector fields with mixed quadratic terms under the first-integral condition (4). The paper then claims, in Corollary 1.1, a non-standard CLT, a Gaussian CLT, and stable laws for observables of the volume-preserving flow, based on the tail estimates and an external renewal theorem.

Significance. If the advertised limit laws are correct, the paper addresses a natural gap in the literature: previous results excluded mixed terms a1=b1=0, and the manuscript explains why those terms cannot be removed by coordinate changes. The proof of Theorem 1.1 is detailed and does not fit parameters to conclusions; the constants are constructed in the course of the proof, and the flow-box volume computation at the end of Section 3 provides a useful independent check. The main weakness is that Corollary 1.1, which is the statistical payoff promised in the abstract, is not proved in the manuscript but delegated to the unpublished companion paper [3].

major comments (2)
  1. [Section 5 (proof of Corollary 1.1)] Corollary 1.1 is the announced limit-law result, but its proof consists of a single paragraph invoking "a direct application of Theorem 2.7 in [3]". That theorem is not reproduced, and none of its hypotheses are verified for the induced Poincaré map F: aperiodicity of the renewal distribution, the renewal mass function, the Banach space B, transfer-operator regularity, or the non-coboundary condition. The material proved here (Theorem 1.1, Proposition 4.2, and the tail estimate for bar v) does not by itself imply a CLT or a stable law; some renewal theorem is needed. As the manuscript stands, the central claim of the abstract is therefore not established in this paper. I request either a self-contained proof of the renewal step for F, or a complete statement, with all hypotheses, of the external theorem and a demonstration that those hypotheses hold in the present setting.
  2. [Corollary 1.1 and its proof] The corollary states for rho=0 that the variance sigma^2>0 "unless integral of v is a coboundary", and for rho>0 it asserts a Gaussian CLT with no exception. In the proof, however, the CLT is made conditional on the variance being positive, and the sentence "this follows from bar v not being a coboundary, and this we assumed explicitly" introduces a non-coboundary assumption that is not a hypothesis of the corollary. The statement should either add this assumption or prove that it holds for the class of observables v described.
minor comments (5)
  1. [Abstract and Introduction] There are small typographical issues: "3-three manifolds" should be "three-manifolds", and the displayed condition "c2_1 < 4c0c2" should be "c1^2 < 4c0c2".
  2. [Theorem 1.1] The sentence "Then there constants xi0(eta), omega0(eta)" is missing "are". In addition, the error term O(tilde T^{-beta*}, T^{-1/2} log T) mixes tilde T and T; it would be clearer to write O(max{tilde T^{-beta*}, tilde T^{-1/2} log tilde T}) and state that the notation is interpreted as a maximum.
  3. [Proposition 2.1] The proposition statement omits the hypothesis c1^2<4c0c2, although the proof uses the positivity of c0+c1 M+c2 M^2, which is guaranteed by that condition. Theorem 1.1 includes this condition, but the proposition as stated is too broad.
  4. [Equation (31)] The terms Clog delta log delta and the later conditions "Clog is only nonzero if a2/b2=1" are notationally awkward; the constants C1, C2, C3, C4, Clog should be defined more explicitly, and the notation for the analogous constants in the reversed-role estimate should be introduced consistently.
  5. [Section 5] The comment "If rho >= 2, this asymptotic formula should be interpreted as Leb(bar v>t)=0 for t large" concerns a parameter range that is outside the statement of Corollary 1.1 (which only treats rho in (-2,1)); either remove the remark or explain its role.

Circularity Check

1 steps flagged · score 4.0 of 10

Theorem 1.1's Dulac estimates are derived independently, but the advertised limit laws of Corollary 1.1 are delegated to Theorem 2.7 of the authors' unpublished companion [3], a load-bearing self-citation.

  1. self citation load bearing [Section 5, proof of Corollary 1.1]
    "The proof of Corollary 1.1 is a direct application of Theorem 2.7 in [3], where ¯v = ∫ τ 0 v ◦φ tdt takes the role of ¯ψ in [3, Theorem 2.7] ... In other words, ¯v ⁄= h − h ◦F for any h ∈ B, the Banach space used in the proofs of [3], and this we assumed explicitly."

    All three distributional conclusions of Corollary 1.1 (non-standard CLT, Gaussian CLT, stable laws) are obtained solely by invoking Theorem 2.7 of [3], an unpublished preprint by the same research group. The present paper supplies only the return-time tail (Proposition 4.2) and the observable tail; the renewal-theoretic step converting those tails into limit laws, including the Banach space B and the non-coboundary condition, is imported from [3] and explicitly assumed rather than proved or checked here. Thus the central advertised limit-law result is not derived in this manuscript; its derivation terminates in a self-citation whose hypotheses are unverified in the text. The independent Dulac estimates do not by themselves produce Corollary 1.1.

full rationale

The technical core (Theorem 1.1 and Proposition 2.1) is self-contained: the Dulac-map asymptotics are obtained from the first integral L and explicit ODE estimates, with constants ξ0(η) and ω0(η) given by convergent integrals; no parameter is fitted to a target conclusion, and the regular-variation exponents β0 and β2 are defined from the vector-field coefficients. The perturbation argument in Section 3 and the return-time tail estimate in Proposition 4.2 also follow from the paper's own estimates. The only circularity-relevant issue is the proof of Corollary 1.1, which is a direct application of Theorem 2.7 in the authors' unpublished companion [3]; that theorem supplies the renewal machinery needed to pass from tail estimates to the CLT and stable laws, and the non-coboundary condition is merely assumed. This is a load-bearing self-citation for the limit-law conclusions, but it does not infect the derivation of Theorem 1.1, which retains independent content. Accordingly the score is 4 rather than 0-2, but not higher.

Assumptions & free parameters 0 free parameters · 4 assumptions · 0 invented entities

No empirical fitting occurs. The vector field coefficients are inputs restricted by inequalities; the first integral L and the Dulac map are mathematical devices, not new physical entities. The key unproved input is the companion renewal theorem [3].

assumptions (4)
  • domain assumption The induced Poincaré map F admits a finite Markov partition {P_i} with p in the interior of P0, and the first return map to Y is well defined.
    Assumed in Section 4; required for the renewal-theoretic setup and for the strips {tau>t} to have the stated structure.
  • domain assumption Theorem 2.7 of [3] (Bruin, Terhesiu, Todd) is valid and applies to the present suspension flow.
    The proof of Corollary 1.1 invokes this theorem directly; [3] is an unpublished preprint by the author and collaborators.
  • ad hoc to paper The observable v has a homogeneous leading part whose integral over flow lines has nonzero leading constant comparable to Proposition 4.1's r^rho estimate.
    Proposition 4.1 is proved for r^rho; applying it to arbitrary C^1 observables v=v0+o(rho) silently assumes the leading tail constant is nonzero.
  • domain assumption The O(4) perturbation is divergence-free in the volume-preserving setting and is small enough that the constructed first integral tilde-L has C^3 level sets foliating P0.
    Section 3 builds tilde-L along integral curves and cites [16, Theorem 2.10] for the foliation; for arbitrary O(4) terms this is a structural assumption.

how reviews work

0 comments
Cite this review

Pith. "Pith review of On volume preserving almost Anosov flows." pith.science (2026). https://pith.science/paper/FK53M73D

@misc{pith2026190805675,
  author       = {Pith},
  title        = {Pith review of: On volume preserving almost Anosov flows},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/FK53M73D}},
  note         = {Machine review of arXiv:1908.05675}
}
abstract

The purpose of this paper is to establish limit laws for volume preserving almost Anosov flows on $3$-three manifolds having a neutral periodic of cubic saddle type. In the process, we derive estimates for the Dulac maps for cubic neutral saddles in planar vector fields.

Figures

Figures reproduced from arXiv: 1908.05675 by the authors.

Figure 1
Figure 1. The Dulac map D : (ξ(η0, T), η0) 7→ (ζ0, ω(η0, T)) with Dulac time T. to hyperbolic saddles. More recent contributions in this direction are by Mardeˇsi´c and collaborators [9, 10, 11, 12, 15]. Our estimates only concern a single neutral saddle, and although for the purpose of Dulac’s problem they can be treated by blow-ups, precise formulas for the Dulac times (and hence the Dulac map, see (6)), at cubic saddles in… view at source ↗
Figure 2
Figure 2. The first quadrant Q of the rectangle P0, with stable and unstabe foliations drawn vertically and horizontally, respectively. We consider an induced map Fhor = f ϕ hor : Y → Y for Y := T 2 \ P0, where ϕ(z) = min{n ≥ 1 : f n hor(z) ∈/ P0} is the first return time to Y . Note that Fhor is invertible because fhor is. In the first quadrant of U \ P0, {ϕ = n} := {z ∈ f −1 (Q) \ Q : ϕ(z) = n}, n ≥ 2, are vertical strips a… view at source ↗
Figure 3
Figure 3. Solutions of (26) and (27), starting from the same point [PITH_FULL_IMAGE:figures/full_fig_p011_3.png] view at source ↗
Figures from the paper (1 more)
Figure 4
Figure 4. Figure 4: The first quadrant of the rectangle P0, with stable and unstable foliations of Poincar´e map f = φ h drawn vertically and horizontally, respectively. Also one of the integral curves is drawn. Wˆ u (y) and Wu (y) are C 1 curves emanating from (0, y); let γ(y) denote the…

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

17 extracted references · 17 canonical work pages

  1. [3]

    Bruin, D

    H. Bruin, D. Terhesiu, M. Todd, Pressure function and limit theorems for almost Anosov flows, Preprint 2018

    work page 2018

  2. [1]

    Barbot, S

    T. Barbot, S. Fenley, Pseudo-Anosov flows in toroidal manifolds, Geom. Topol. 17 (2013), 1877–1954

    work page 2013

  3. [2]

    Bruin, D

    H. Bruin, D. Terhesiu, Regular variation and rates of mixing for infinite measure preserving almost Anosov diffeomorphisms, Ergod. Th. and Dyn. Sys. (appeared online on August 10 2018, doi.org/10.1017/etds.2018.58)

    work page doi:10.1017/etds.2018.58 2018

  4. [4]

    Dumortier, Singularities of vector fields on the plane, J

    F. Dumortier, Singularities of vector fields on the plane, J. Differential Equations 23 (1977), 53–106

    work page 1977

  5. [5]

    Dulac, Sur les cycles limites, Bull

    H. Dulac, Sur les cycles limites, Bull. Soc. Math. France 51 (1923), 45–188

    work page 1923

  6. [6]

    ´Ecalle, Introduction aux fonctions analysables et preuve construct ive de la conjecture de Dulac, Actualit´ es Math´ ematiques, Hermann, Paris, 1992

    J. ´Ecalle, Introduction aux fonctions analysables et preuve construct ive de la conjecture de Dulac, Actualit´ es Math´ ematiques, Hermann, Paris, 1992

    work page 1992

  7. [7]

    al most Anosov

    H. Hu, Conditions for the existence of SBR measures of “al most Anosov” dif- feomorphisms, Trans. Amer. Math. Soc. 352 (2000) 2331–2367

    work page 2000

  8. [8]

    Il’yashenko, Finiteness theorems for limit cycles, Translated from the Russian by H

    Y. Il’yashenko, Finiteness theorems for limit cycles, Translated from the Russian by H. H. McFaden. Translations of Mathematical Monographs, 94 American Mathematical Society, Providence, RI, 1991

    work page 1991

Show all 17 references
  1. [9]

    Mardeˇ si´ c, D

    P. Mardeˇ si´ c, D. Mar ´ ın, J. Villadelprat,On the time function of the Dulac map for families of meromorphic vector fields, Nonlinearity 16 (2003), 855–881. 18

    2003

  2. [10]

    Mardeˇ si´ c, D

    P. Mardeˇ si´ c, D. Mar ´ ın, J. Villadelprat,Unfolding of resonant saddles and the Dulac time, Discrete and Continuous Dynamical Systems, 21(2008), 1221–1244

    2008

  3. [11]

    Mardeˇ si´ c, D

    P. Mardeˇ si´ c, D. Mar ´ ın, M. Saavedra, J. Villadelprat, Unfoldings of saddle-nodes and their Dulac time, J. Diff. Eq. 261 (2016), 6411–6436

    2016

  4. [12]

    Mardeˇ si´ c, M

    P. Mardeˇ si´ c, M. Saavedra,Non-accumulation of critical points of the Poincar´ e time of hyperbolic polycycles, Proc. AMS. 35 (2007), 3273–3282

    2007

  5. [13]

    Naugler, Equivalence of suspensions and manifolds with cross sectio n

    D. Naugler, Equivalence of suspensions and manifolds with cross sectio n. Dy- namical systems, ( Proc. Internat. Sympos., Brown Univ., Providence, R.I.,

  6. [14]

    Roussarie, Bifurcation of planar vector fields and Hilbert’s sixteenth problem, Progress in Mathematics, 164 Birkh¨ auser Verlag, Basel, 1998

    R. Roussarie, Bifurcation of planar vector fields and Hilbert’s sixteenth problem, Progress in Mathematics, 164 Birkh¨ auser Verlag, Basel, 1998

    1998

  7. [15]

    Saavedra, Asymptotic expansion of the period function, J

    M. Saavedra, Asymptotic expansion of the period function, J. Diff. Eq. 193 (2003), 359–373

    2003

  8. [16]

    Teschl, Ordinary Differential Equations and Dynamical Systems, Graduate Studies in Mathematics, 140, Amer

    G. Teschl, Ordinary Differential Equations and Dynamical Systems, Graduate Studies in Mathematics, 140, Amer. Math. Soc., Providence, 2012. 19

    2012

  9. [1974]

    V ol. II, pp. 2931. Academic Press, New York, 1976

    1976

Pith tools

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