pith. sign in

arxiv: 2412.21067 · v2 · submitted 2024-12-30 · 🧮 math.DS

On the ergodicity of anti-symmetric skew products with singularities and its applications

Przemys{\l}aw Berk , Krzysztof Fr\k{a}czek , Frank Trujillo This is my paper

Pith reviewed 2026-05-23 06:38 UTC · model grok-4.3

classification 🧮 math.DS
keywords ergodicityskew productsinterval exchange transformationssingularitieslocally Hamiltonian flowsBirkhoff integralsequidistributionBorel-Cantelli
0
0 comments X

The pith

A Borel-Cantelli method proves ergodicity of anti-symmetric skew products over symmetric IETs for singularities beyond the logarithmic type.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper introduces a technique based on Borel-Cantelli-type arguments to establish ergodicity for skew products of interval exchange transformations with piecewise smooth cocycles that have singularities at the ends of the exchanged intervals. This technique works for singularities that are not restricted to the logarithmic type, unlike earlier approaches. It applies specifically to symmetric base transformations paired with antisymmetric cocycles. The method further permits analysis of the equidistribution of error terms in the spectral decomposition of Birkhoff integrals for locally Hamiltonian flows on compact surfaces, including cases with some non-perfect saddles.

Core claim

For symmetric interval exchange transformations and antisymmetric cocycles that are piecewise smooth with singularities at the ends of the exchanged intervals, the skew product is ergodic. This ergodicity result extends to the equidistribution of error terms in the spectral decomposition of Birkhoff integrals for locally Hamiltonian flows on compact surfaces even when some saddles are non-perfect.

What carries the argument

The Borel-Cantelli-type argument adapted to symmetric IETs and antisymmetric cocycles, which establishes ergodicity for piecewise smooth cocycles with singularities at the ends of exchanged intervals.

If this is right

  • Ergodicity holds for skew products with a wider class of singularities than logarithmic ones.
  • Equidistribution of error terms applies to the spectral decomposition of Birkhoff integrals for locally Hamiltonian flows.
  • The equidistribution results remain valid when some saddles of the flow are non-perfect.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The method may allow similar equidistribution statements for other classes of surface flows where saddle types vary.
  • The approach could connect ergodicity questions for skew products to statistical properties of translation flows beyond the cases already treated.

Load-bearing premise

The base maps must be symmetric interval exchange transformations and the cocycles must be antisymmetric and piecewise smooth with singularities exactly at the ends of the exchanged intervals.

What would settle it

An explicit symmetric IET paired with an antisymmetric cocycle having a non-logarithmic singularity for which the skew product fails to be ergodic would disprove the claim.

Figures

Figures reproduced from arXiv: 2412.21067 by Frank Trujillo, Krzysztof Fr\k{a}czek, Przemys{\l}aw Berk.

Figure 1
Figure 1. Figure 1: A chain of adjacent saddle loops. Recall that the boundary of the minimal component M1 consists of saddle loops of the flow ψR. Suppose that σ P M1 X PSdpψRq is a saddle on the boundary of M1 , that is, σ emanates at least one saddle loop. The neighborhood Uσ (in local singular coordinates associated with σ) splits into 2mσ invariant angular sectors Uσ,l :“ tz P Uσ : Arg z P rlπ{mσ,pl ` 1qπ{mσsu, for 0 ď l… view at source ↗
Figure 2
Figure 2. Figure 2: The polygonal representation of the surface pπ, λ, τ q with indicated zippered rectangles. The picture shows three different orbits, corresponding to three of the cases described in the proof of Lemma 4.2. Finally, if x P pyd, ϕhα px0qq, then the orbit of x does not leave the lower part of the polygonal representation of pπ, λ, τ˜q before returning to Dα. After leaving the zippered rectangle Dα, it goes th… view at source ↗
Figure 3
Figure 3. Figure 3: Using the results obtained in Section A.2, we examine imperfect multi-saddles. These, [PITH_FULL_IMAGE:figures/full_fig_p033_3.png] view at source ↗
Figure 6
Figure 6. Figure 6: The graph of φf Recall that τ psq “ s gp´ log sq and θpxq “ şlog x 0 gpuq du. Hence φf : I Ñ R is an anti-symmetric piecewise C 8-maps with four one-side singularities (see [PITH_FULL_IMAGE:figures/full_fig_p046_6.png] view at source ↗
read the original abstract

We introduce a novel method for proving ergodicity for skew products of interval exchange transformations (IETs) with piecewise smooth cocycles having singularities at the ends of exchanged intervals. This approach is inspired by Borel-Cantelli-type arguments from Fayad and Lema\'nczyk (2006). The key innovation of our method lies in its applicability to singularities beyond the logarithmic type, whereas previous techniques were restricted to logarithmic singularities. Our approach is particularly effective for proving the ergodicity of skew products for symmetric IETs and antisymmetric cocycles. Moreover, its most significant advantage is its ability to study the equidistribution of error terms in the spectral decomposition of Birkhoff integrals for locally Hamiltonian flows on compact surfaces, applicable not only when all saddles are perfect (harmonic) but also in the case of some non-perfect saddles.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The paper introduces a Borel-Cantelli-type argument, inspired by Fayad-Lemańczyk, to prove ergodicity of skew products over symmetric IETs with antisymmetric piecewise-smooth cocycles whose singularities lie at the endpoints of the exchanged intervals. The method is claimed to extend beyond logarithmic singularities and is applied to obtain equidistribution of error terms in the spectral decomposition of Birkhoff integrals for locally Hamiltonian flows on compact surfaces, including cases with some non-perfect saddles.

Significance. If the central technical step (preservation of antisymmetry under induction for non-logarithmic singularities and non-perfect saddles) holds, the result would enlarge the class of singularities and saddle types for which ergodicity and equidistribution statements are available in skew products and surface flows.

major comments (2)
  1. [§4] §4 (application to locally Hamiltonian flows): the claim that the method applies to some non-perfect saddles requires an explicit verification that the first-return cocycle induced by a locally Hamiltonian vector field with a non-perfect saddle still satisfies the antisymmetry condition after the time-change; without this check the Borel-Cantelli argument does not transfer and the equidistribution statement for Birkhoff integrals is unsupported.
  2. [§2.3] §2.3 (extension beyond logarithmic singularities): the proof that the Borel-Cantelli lemma carries over when singularities are not logarithmic relies on the cocycle remaining piecewise smooth with singularities exactly at interval endpoints and on the base being a symmetric IET; the manuscript does not supply a uniform estimate or counter-example check confirming that the argument survives when the singularity exponents differ from the logarithmic case.
minor comments (2)
  1. [Definition 2.1] Notation for the antisymmetric cocycle (Definition 2.1) should explicitly record the sign-reversal condition at the endpoints to make the pairing with symmetric IETs immediate.
  2. [Theorem 3.2] The statement of Theorem 3.2 should include the precise range of singularity types (e.g., power-law with exponent in (0,1)) for which the ergodicity conclusion is asserted.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and valuable comments on our manuscript. We address each major comment below and indicate the revisions we will make.

read point-by-point responses

  1. Referee: [§4] §4 (application to locally Hamiltonian flows): the claim that the method applies to some non-perfect saddles requires an explicit verification that the first-return cocycle induced by a locally Hamiltonian vector field with a non-perfect saddle still satisfies the antisymmetry condition after the time-change; without this check the Borel-Cantelli argument does not transfer and the equidistribution statement for Birkhoff integrals is unsupported.

    Authors: We agree that an explicit verification is required to fully support the claim for non-perfect saddles. The manuscript asserts preservation of antisymmetry based on the symmetry properties of the base IET and the anti-symmetric nature of the cocycle derived from the vector field, but does not include a detailed calculation for the time-changed return map. We will add this verification in a revised §4, confirming that the induced cocycle remains antisymmetric for the indicated class of non-perfect saddles. This will allow the Borel-Cantelli argument to transfer directly. revision: yes

  2. Referee: [§2.3] §2.3 (extension beyond logarithmic singularities): the proof that the Borel-Cantelli lemma carries over when singularities are not logarithmic relies on the cocycle remaining piecewise smooth with singularities exactly at interval endpoints and on the base being a symmetric IET; the manuscript does not supply a uniform estimate or counter-example check confirming that the argument survives when the singularity exponents differ from the logarithmic case.

    Authors: The referee is correct that the manuscript lacks an explicit uniform estimate. The argument in §2.3 is structured so that the Borel-Cantelli criterion depends only on piecewise smoothness, endpoint singularities, and symmetry of the IET; the precise singularity exponent enters only through constants in the estimates, which remain controlled for exponents in a neighborhood of the logarithmic case. To address the concern, we will insert a short uniform estimate (or remark) in the revised §2.3 showing that the key bounds hold uniformly for a range of exponents around the logarithmic singularity. revision: yes

Circularity Check

0 steps flagged

Independent extension of Borel-Cantelli arguments to non-log singularities; no load-bearing self-citation or definitional reduction

full rationale

The derivation introduces a novel Borel-Cantelli method for skew products over symmetric IETs with antisymmetric cocycles having singularities at interval endpoints. It is explicitly inspired by the external reference Fayad-Lemańczyk (2006) rather than prior work by the present authors. The extension to non-logarithmic singularities and non-perfect saddles is presented as a direct consequence of the new construction, without any quoted reduction of the target equidistribution result to a fitted parameter, self-citation chain, or ansatz smuggled from the authors' own prior papers. The central claims remain independent of the inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Only the abstract is available, so the full set of assumptions cannot be audited; the paper appears to rest on standard domain assumptions of ergodic theory for IETs and cocycles without introducing new free parameters or entities in the summary.

axioms (1)
  • domain assumption Interval exchange transformations are measure-preserving and the cocycles are piecewise smooth with singularities at interval endpoints
    Invoked implicitly as the setting where the Borel-Cantelli method applies.

pith-pipeline@v0.9.0 · 5678 in / 1263 out tokens · 79568 ms · 2026-05-23T06:38:16.967554+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

31 extracted references · 31 canonical work pages

  1. [1]

    Aaronson,An Introduction to Infinite Ergodic Theory.Mathematical Surveys and Monographs, 50, AMS, Providence, RI (1997)

    J. Aaronson,An Introduction to Infinite Ergodic Theory.Mathematical Surveys and Monographs, 50, AMS, Providence, RI (1997)

    work page 1997

  2. [2]

    P. Berk, F. Trujillo,On the ergodicity of infinite antisymmetric extensions of symmetric IETs, https:// arxiv.org/abs/2304.01868, to appear in the Journal of the European Mathematical Society

    work page arXiv

  3. [3]

    P. Berk, F. Trujillo, C. Ulcigrai,Ergodicity of explicit logarithmic cocycles over IETs, https://arxiv.org/ abs/2210.16343

    work page arXiv

  4. [4]

    Bufetov, Limit theorems for translation flow, Ann

    A. Bufetov, Limit theorems for translation flow, Ann. of Math. (2) 179 (2014), 431-499

    work page 2014

  5. [5]

    Conze, K

    J.-P. Conze, K. Frączek, Cocycles over interval exchange transformations and multivalued Hamiltonian flows, Adv. Math. 226 (2011), 4373-4428

    work page 2011

  6. [6]

    Fayad, M

    B. Fayad, M. Lemańczyk,On the ergodicity of cylindrical transformations given by the logarithm, Mosc. Math. J. 6 (2006), 657-672

    work page 2006

  7. [7]

    Forni,Deviation of ergodic averages for area-preserving flows on surfaces of higher genus, Ann

    G. Forni,Deviation of ergodic averages for area-preserving flows on surfaces of higher genus, Ann. of Math. (2) 155 (2002), 1-103

    work page 2002

  8. [8]

    Frączek, M

    K. Frączek, M. Kim,New phenomena in deviation of Birkhoff integrals for locally Hamiltonian flows, J. Reine Angew. Math. 807 (2024), 81-149

    work page 2024

  9. [9]

    Frączek, M

    K. Frączek, M. Kim,Solving the cohomological equation for locally Hamiltonian flows, part I - local obstruc- tions, Adv. Math. 446 (2024), 109668

    work page 2024

  10. [10]

    Frączek, M

    K. Frączek, M. Kim,Solving the cohomological equation for locally Hamiltonian flows, part II - global ob- structions, preprint https://arxiv.org/abs/2306.02340

    work page arXiv

  11. [11]

    Frączek, C

    K. Frączek, C. Ulcigrai,Ergodic properties of infinite extensions of area-preserving flows, Math. Ann. 354 (2012), 1289-1367

    work page 2012

  12. [12]

    Frączek, C

    K. Frączek, C. Ulcigrai,On the asymptotic growth of Birkhoff integrals for locally Hamiltonian flows and ergodicity of their extensions, Comment. Math. Helv. 99 (2024), 231-354

    work page 2024

  13. [13]

    Katok,Invariant measures of flows on orientable surfaces, Dokl

    A.B. Katok,Invariant measures of flows on orientable surfaces, Dokl. Akad. Nauk SSSR 211 (1973), 775-778

    work page 1973

  14. [14]

    Keane,Interval exchange transformations, Math

    M. Keane,Interval exchange transformations, Math. Z. 141 (1975), 25-31

    work page 1975

  15. [15]

    Kontsevich,Lyapunov exponents and Hodge theory, The mathematical beauty of physics (Saclay, 1996), 318-332, Adv

    M. Kontsevich,Lyapunov exponents and Hodge theory, The mathematical beauty of physics (Saclay, 1996), 318-332, Adv. Ser. Math. Phys., 24, World Sci. Publ., River Edge, NJ, 1997

    work page 1996

  16. [16]

    Kontsevich, A

    M. Kontsevich, A. Zorich,Lyapunov exponents and Hodge theory, preprint https://arxiv.org/abs/hep-th/ 9701164. ANTI-SYMMETRIC SKEW PRODUCTS WITH SINGULARITIES 47

    work page

  17. [17]

    Masur,Interval exchange transformations and measured foliations, Ann

    H. Masur,Interval exchange transformations and measured foliations, Ann. Math. 115(2) (1982), 169-200

    work page 1982

  18. [18]

    Marmi, P

    S. Marmi, P. Moussa, J.-C. Yoccoz,The cohomological equation for Roth-type interval exchange maps, J. Amer. Math. Soc. 18 (2005), 823-872

    work page 2005

  19. [19]

    Marmi, J.-C

    S. Marmi, J.-C. Yoccoz,Hölder regularity of the solutions of the cohomological equation for Roth type interval exchange maps, Comm. Math. Phys. 344 (2016), 117-139

    work page 2016

  20. [20]

    Rauzy,Échanges d’intervalles et transformations induites, Acta Arith

    G. Rauzy,Échanges d’intervalles et transformations induites, Acta Arith. 34 (1979), 315-328

    work page 1979

  21. [21]

    Ravotti,Quantitative mixing for locally Hamiltonian flows with saddle loops on compact surfaces, Ann

    D. Ravotti,Quantitative mixing for locally Hamiltonian flows with saddle loops on compact surfaces, Ann. Henri Poincaré 18 (2017), 3815-3861

    work page 2017

  22. [22]

    Schmidt,Cocycle of Ergodic Transformation Groups

    K. Schmidt,Cocycle of Ergodic Transformation Groups. Lect. Notes in Math. Vol. 1, Mac Milan Co. of India (1977)

    work page 1977

  23. [23]

    Taha,An extension of the three gap theorem to interval exchange transformations, Int

    D. Taha,An extension of the three gap theorem to interval exchange transformations, Int. Math. Res. Not. IMRN 2023, 2996-3003

    work page 2023

  24. [24]

    Ulcigrai,Absence of mixing in area-preserving flows on surfaces, Ann

    C. Ulcigrai,Absence of mixing in area-preserving flows on surfaces, Ann. of Math. (2)173 (2011), 1743–1778

    work page 2011

  25. [25]

    Ulcigrai,Dynamics and ’arithmetics’ of higher genus surface flows, ICM Proceedings 2022

    C. Ulcigrai,Dynamics and ’arithmetics’ of higher genus surface flows, ICM Proceedings 2022

    work page 2022

  26. [26]

    Veech,Gauss measures for transformations on the space of interval exchange maps, Ann

    W.A. Veech,Gauss measures for transformations on the space of interval exchange maps, Ann. of Math. (2) 115 (1982), 201-242

    work page 1982

  27. [27]

    Viana,Ergodic theory of interval exchange maps, Rev

    M. Viana,Ergodic theory of interval exchange maps, Rev. Mat. Complut.19 (2006), 7-100

    work page 2006

  28. [28]

    Viana, Dynamics of Interval Exchange Transformations and Teichmüller Flows, lecture notes available from http://w3.impa.br/~viana/out/ietf.pdf

    M. Viana, Dynamics of Interval Exchange Transformations and Teichmüller Flows, lecture notes available from http://w3.impa.br/~viana/out/ietf.pdf

    work page

  29. [29]

    Yoccoz, Interval exchange maps and translation surfaces, Homogeneous flows, moduli spaces and arithmetic, 1-69, Clay Math

    J.-Ch. Yoccoz, Interval exchange maps and translation surfaces, Homogeneous flows, moduli spaces and arithmetic, 1-69, Clay Math. Proc., 10, Amer. Math. Soc., Providence, RI, 2010

    work page 2010

  30. [30]

    Zorich, Finite Gauss measure on the space of interval exchange transformations

    A. Zorich, Finite Gauss measure on the space of interval exchange transformations. Lyapunov exponents, Ann. Inst. Fourier (Grenoble) 46 (1996), 325-370

    work page 1996

  31. [31]

    Zorich,How do the leaves of a closed1-form wind around a surface?Pseudoperiodic topology, 135–178

    A. Zorich,How do the leaves of a closed1-form wind around a surface?Pseudoperiodic topology, 135–178. Amer. Math. Soc. Transl. Ser. 2, 197, Adv. Math. Sci., 46, American Mathematical Society, Providence, RI, 1999. F aculty of Mathematics and Computer Science, Nicolaus Copernicus University, ul. Chopina 12/18, 87-100 Toruń, Poland Email address: zimowy@mat...

    work page 1999