Pith. sign in

REVIEW 2 major objections 4 minor 49 references

Twisted cocycle for interval exchange transformations: Invariant structures and Lyapunov spectrum

T0 review · 2 major / 4 minor · reviewed 2026-08-10 · deepseek-v4-flash

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

Pith's one-line read For interval exchange renormalization, the twisted cocycle has a Lyapunov spectrum symmetric about zero with exactly κ+1 zero exponents.

desk verdict Real structural progress on the twisted cocycle spectrum, but the exact κ+1 zero multiplicity is not proven; the proof gives at least κ+1. read the letter →

arxiv 2501.16824 v1 pith:OGNI5WIM submitted 2025-01-28 math.DS

Hesam Rajabzadeh , Pedram Safaee This is my paper · ORCID
classification math.DS MSC 37E0537D25
keywords twistedcocycleintervalexchangetransformationLyapunovspectrumZorichrenormalizationRauzyclasstranslationsurfacerotation-typepermutationsubstitutiondynamics
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

The paper studies the twisted cocycle, a complex linear cocycle acting on the toral extension of the Zorich renormalization of interval exchange transformations, which controls the growth of twisted Birkhoff sums. Its main theorem is that, for every irreducible permutation and every natural invariant measure, the Lyapunov spectra of the twisted cocycle and its adjoint-inverse are equal, symmetric about zero, and contain zero with multiplicity κ+1, where κ is the number of singularities of the associated translation surface. This is two more zero exponents than the classical untwisted Zorich cocycle has. A direct corollary is that rotation-type permutations, which occur in genus one, have a completely degenerate spectrum of all-zero exponents, in contrast with higher genus where the authors' earlier work guarantees at least one positive exponent. The paper also applies its invariant section to prove pure singularity of the spectrum for a large class of two-letter substitutions.

What carries the argument

The load-bearing object is the twisted matrix Ω_{π,ζ} and the decomposition built from its kernel and image. It is defined entrywise from the top and bottom permutations and the twist factors z_α=exp(2πiζ_α), and it satisfies the invariance identity B Ω_{π,ζ} B* = Ω_{π(1),ζ(1)} on the subspace W_ζ perpendicular to the invariant section s_ζ=(1−z_α). Its kernel is the covariant subbundle N(π,ζ), its image on W_ζ is H̃(π,ζ), and the identity Ω_{π,ζ} v_{π,ζ}=s_ζ ties the covariant section v to the invariant section s. The spectrum computation then conjugates (B*)^{−1} by a matrix C_ζ whose columns are the covariant sections, s_ζ, and a symplectic frame, producing a block triangular form; a standard theorem says the Lyapunov spectrum of such a cocycle is the union of the spectra of its diagonal blocks. The diagonal blocks contribute κ zero exponents, one zero from the logarithmic growth of ψ=∥s_ζ∥²/∥s_{ζ(1)}∥², and a (2g−2)-dimensional symmetric block coming from the invariant symplectic form.

What would settle it

Run the explicit genus-one example in the appendix, the rotation-type permutation π=(ABC over CBA) with its six-step twisted matrix B_γ(ζ), and numerically compute the Lyapunov exponents of B and (B*)^{−1} with respect to μ×m_{$T^{3}$}; the corollary predicts all exponents are exactly zero, so a nonzero exponent at numerical precision would refute the full-degeneracy claim and point to a failure in the block-spectrum step.

Watch

Extended reading notes

Core claim

On the paper's own terms, the discovery is an invariant structure theorem for the twisted cocycle. For a Rauzy class with d intervals, genus g, and κ singularities, the trivial C^d bundle splits away from the zero section of Δ×T^d as C v_{π,ζ} ⊕ N(π,ζ) ⊕ H̃(π,ζ), where N(π,ζ)=ker Ω_{π,ζ} is a (κ−1)-dimensional covariant subbundle on which (B*)^{−1} acts unitarily, v_{π,ζ} is a covariant section, and H̃(π,ζ)=Ω_{π,ζ} W_ζ is a (2g−1)-dimensional invariant subbundle; after quotienting by the invariant section s_ζ, the corresponding real bundle H(π,ζ) carries a non-degenerate invariant symplectic form. This symplectic structure yields the symmetry of the spectrum, and the block-triangular conjugated form of (B*)^{−1} yields κ+1 zero exponents: κ coming from the covariant kernel and one coming from the growth of ∥s_ζ∥. The rotation-type corollary is a dimension count: when g=1 the total dimension equals κ+1, so the forced κ+1 zero exponents exhaust all exponents and the spectrum is fully degenerate.

Load-bearing premise

The proof depends on a change of basis that varies continuously, or at least measurably with integrable logarithm, over all nonzero twist parameters; if that basis develops singularities on a set that affects Lyapunov behavior, the conclusion that the block-diagonal pieces determine the whole spectrum could fail.

Editorial extensions

If this is right

  • For every irreducible Rauzy class and each natural invariant measure listed in the paper, the twisted cocycle B and its dual (B*)^{−1} have identical Lyapunov spectra, symmetric about zero, with exactly κ+1 zero exponents.
  • The zero multiplicity exceeds the classical Zorich cocycle's κ−1 zeros by two, reflecting the extra covariant section v_{π,ζ} together with the invariant section s_ζ in the decomposition.
  • For rotation-type permutations, the total dimension equals κ+1, so the forced κ+1 zero exponents fill the whole spectrum and all Lyapunov exponents are zero.
  • In higher genus, the symmetric spectrum leaves room for nonzero exponents, and the authors' earlier result guarantees at least one positive Lyapunov exponent.
  • For the substitution systems treated in the appendix, the invariant section reduces the twisted top exponent to a Mahler-measure calculation, giving pure singular spectrum for a large class of two-letter substitutions and simplifying earlier proofs for some known cases.

Reading between the lines

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

  • Editorial inference: the same Ω_{π,ζ} block structure is defined away from the origin for every twist ζ, so the zero-exponent count and symmetry likely persist for the rational-point invariant measures ν_k listed in the paper, even though the theorem is written for the Lebesgue-type measures; checking the argument on the finite support of ν_k would settle this.
  • Editorial inference: because the invariant section s_ζ is explicit in the twist variables, the κ+1 neutral directions may correspond to coboundary-type solutions of the twisted cohomological equation, so one might expect them to show up as polynomial corrections in quantitative weak-mixing estimates; the paper does not compute these corrections.
  • Editorial inference: the appendix's substitution criterion invites a broader numerical test, namely that any two-letter substitution whose twisted top Lyapunov exponent falls below (1/2)log λ should have purely singular spectrum; scanning non-constant-length substitutions outside the two cases treated here would probe how far the method extends.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

2 major / 4 minor

Summary. The paper studies the twisted cocycle, a GL(d,C)-valued cocycle over the toral extension of the Zorich (Rauzy-Veech) renormalization for interval exchange transformations. The main contribution is an algebraic block decomposition into invariant and covariant subbundles, a family of invariant symplectic forms, and a claimed Lyapunov spectrum theorem: the spectra of the twisted cocycle and its inverse transpose are equal, symmetric about zero, and contain zero with multiplicity kappa+1, where kappa is the number of singularities. As a corollary, the spectrum is claimed to be fully degenerate for rotation-type permutations, in contrast with higher-genus cases where a positive exponent is known. An appendix applies the invariant section to substitutions and proves pure singularity of the spectrum for a class of two-letter substitutions.

Significance. If fully established, the block decomposition and the invariant symplectic structures are valuable tools for the spectral theory of IETs and translation flows. The paper gives explicit covariant and invariant sections, a twisted analog of Veech's Omega matrix, and a real symplectic structure that are likely to be reusable. The rotation-type degeneracy corollary is a clean and striking dimension-counting result, and the substitution application enlarges the class of systems with known pure singular spectrum while simplifying earlier proofs. The algebraic core, particularly the covariance relations and the kernel/image structure of Omega_{pi,zeta}, is detailed and largely convincing. However, as discussed below, the exact multiplicity of the zero Lyapunov exponent in the main theorem is not established by the proof, so the advertised contrast with the untwisted case rests on a gap.

major comments (2)
  1. [Section 4, Proof of Main Theorem, Eq. (4.1)–(4.4)] The Main Theorem and the displayed spectrum (1.1) assert that zero occurs with exact multiplicity kappa+1. The proof, however, only establishes 'at least kappa+1 zero exponents', as the text itself states in the third sentence of the proof. After the block conjugation and the integral (4.4), the argument shows that the (kappa+1)-dimensional block contributes kappa+1 zero exponents, but the bottom-right (2g-2)-dimensional block H_tilde/(C s_zeta) has a spectrum that is symmetric about zero by Corollary 3.5. Symmetry does not exclude additional zero exponents in that block. No argument or cited theorem, including [RS23], rules out zeros in the symplectic block: [RS23] only gives positivity of the top exponent for genus larger than one. Therefore the exact multiplicity claim in (1.1) is not supported by the proof; the theorem should be weakened to 'at least kappa+1' or an additional argument must be supplied to show the symplectic block has no zero exponents.
  2. [Section 4, paragraph after Eq. (4.2)] The construction of the conjugating family C_zeta is not rigorous as written. The text asserts that the basis {v_0,...,v_{kappa-1}, s_zeta} of N_tilde(+)C s_zeta 'by general principles' extends to a continuously varying full basis such that {s_zeta, w_1,...,w_{2g-2}} is an orthonormal basis of H_tilde. This is not an automatic consequence of the triviality of the subbundle: a trivial subbundle of a trivial vector bundle over a non-contractible base (here T^{2g} \ {0}) need not have a complementary trivial subbundle, and the proof does not provide the w_i explicitly. Even if a measurable frame is chosen, the assertion that the entries of C_zeta and C_zeta^{-1} are rational functions of the z-variables is not demonstrated for the extended basis, so the log-integrability of ||C_zeta^{±1}|| is not justified. Since the equality of spectra of the conjugated cocycle and the original cocycle is used to apply [Key88], this gap is load-bearing. The authors should either give an explicit rational construction of the full frame or cite a precise theorem and verify the log-integrability condition.
minor comments (4)
  1. [Display (1.1)] The typesetting of the zero-multiplicity subscript in (1.1) is badly corrupted; the string '0=⋯= 0⌟⟨⟨...' is unreadable and must be fixed. Similar encoding artifacts appear in Eq. (2.15) and elsewhere.
  2. [Section 4, proof of Main Theorem] The proof opens by saying it will show '(B*)^(-1) possesses at least kappa+1 zero exponents', and later 'This establishes the existence of kappa+1 zero exponents.' The wording should be aligned with the actual statement being proved; if the theorem is weakened to 'at least', the wording should consistently reflect that.
  3. [Lemma 3.1] The proof of Lemma 3.1 is left to the reader. The computation is simple, but a one-line verification would improve the exposition.
  4. [Appendix, Eq. (5.23)] The determinant formula in (5.23) is hard to parse because the denominator matrix is typeset ambiguously. Please clarify the entries of the matrices used in the determinant computation.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the spectrum statement is derived from standard external machinery (Key88, Veech, Zorich, Oseledets), with the self-citation [RS23] used only for context; the exact κ+1 multiplicity is stronger than the 'at least κ+1' actually proved, but this is a proof gap, not circularity.

full rationale

The derivation is self-contained against the stated inputs. The Main Theorem is proved by conjugating (B*)^(-1) to the block form (4.1), applying Key's theorem on block-triangular cocycles, and computing the diagonal blocks: the κ×κ corner contributes κ zero exponents through unit-modulus entries, and the one-dimensional block contributes one zero exponent because ∫ log ψ = ∫ log||s_ζ||^2 - ∫ log||s_ζ^{(1)}||^2 = 0 by invariance of the measure. The symmetry of the spectrum follows from the invariant symplectic forms in Proposition 3.3 and Corollary 3.5, a standard argument. No fitted parameter is renamed a prediction, and no load-bearing premise is justified only by the authors' own prior work. The self-citation [RS23] is invoked as an external prior result for positivity of the top exponent in higher genus and is not an input to the proof of Theorem 1; the appendix relies on [BS22] and [Sol], which are external or clearly attributed. A caveat, distinct from circularity, should be flagged: after equation (4.4) the proof says 'This establishes the existence of κ+1 zero exponents,' but the argument actually establishes at least κ+1 zero exponents; excluding additional zeros in the (2g−2)-dimensional symplectic block is not demonstrated, so the exact multiplicity asserted in (1.1) is stronger than what the proof supplies. This is a missing-support issue, not a circularity issue.

Assumptions & free parameters 0 free parameters · 7 assumptions · 2 invented entities

No free parameters are fitted to data; the paper is pure mathematics. The central claim rests on standard ergodic-theory tools, a standing non-integrality assumption on ζ, and an unproved trivialization statement in Section 4. The two constructed objects listed are explicit constructions, not postulated entities pulled in to force the result.

assumptions (7)
  • standard math Oseledets multiplicative ergodic theorem
    Used throughout Section 4 to define Lyapunov spectra, Oseledets subbundles, and their multiplicities; not proved in the paper.
  • standard math Key's theorem on Lyapunov exponents of block triangular cocycles
    Invoked in Section 4 to conclude that the spectrum of the conjugated cocycle is the union of spectra of its diagonal blocks.
  • standard math Zorich's unique ergodicity (Theorem 2.2)
    Provides the invariant probability measure μ_Z equivalent to Lebesgue on Δ×R, used in the invariant measures of Section 2.4.
  • standard math Veech's invariant subspace structure for the ordinary Rauzy-Veech cocycle
    Sets up H(π), N(π), Ω_π, and the relations d=2g+κ-1 and dim N(π)=κ-1 in Section 2.3.
  • domain assumption Irreducible permutation and Rauzy class assumptions
    The constructions and dimension formulas require π to be irreducible and R to be a fixed Rauzy class; the paper does not treat reducible permutations.
  • domain assumption Standing assumption ζ ∈ H(π) ∖ Z^d
    Section 3.1: s_ζ, v^S_{π,η}, Ω_{π,ζ}, and the direct sum decomposition are defined under this assumption. For the measures of Section 2.4, the excluded point ζ=0 has measure zero.
  • ad hoc to paper Continuous or measurable log-integrable trivialization C_ζ over T^d ∖ {0}
    Section 4, before equation (4.1), asserts 'by general principles' that the invariant sections extend to a full continuously varying basis. The block-spectrum computation depends on this assertion, and no proof or citation is supplied.
invented entities (2)
  • Family of matrices Ω_{π,ζ}
    purpose: Twisted analog of Veech's Ω_π; provides the kernel/covariant decomposition and the invariant symplectic forms for the twisted cocycle.
    Explicitly defined in equation (3.32). It is a mathematical construction rather than an empirical postulate, and it has no falsifiable handle outside the paper.
  • Real cocycle B_R
    purpose: Realification of the twisted cocycle via ι_R; its invariant nondegenerate symplectic form forces symmetry of the real spectrum and doubles multiplicities.
    Constructed in Section 3.2 from the complex cocycle B. It is an internal tool used to transfer spectral symmetry, not a new physical entity.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Twisted cocycle for interval exchange transformations: Invariant structures and Lyapunov spectrum." pith.science (2026). https://pith.science/paper/OGNI5WIM

@misc{pith2026250116824,
  author       = {Pith},
  title        = {Pith review of: Twisted cocycle for interval exchange transformations: Invariant structures and Lyapunov spectrum},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/OGNI5WIM}},
  note         = {Machine review of arXiv:2501.16824}
}
abstract

This paper investigates the algebraic and dynamical properties of the twisted cocycle, a $\mathrm{GL}(d, \mathbb{C})$-valued cocycle defined over the toral extension of the Zorich (Rauzy-Veech) renormalization for interval exchange transformations (IET). As a natural generalization of the Zorich cocycle, the twisted cocycle plays a central role in studying the asymptotic growth of twisted Birkhoff sums which in turn provide a suitable tool for obtaining fine spectral information about IETs and translation flows such as the local dimension of spectral measures and quantitative weak mixing. Although it shares similarities with the classical (untwisted) Zorich cocycle, structural differences make its analysis more challenging. Our results yield a block-form decomposition into invariant and covariant subbundles allowing us to demonstrate the existence of $\kappa+1$ zero exponents with respect to a large class of natural invariant measures where $\kappa$ is an explicit integer depending on the permutation. We establish the symmetry of the Lyapunov spectrum by showing the existence of a family of non-degenerate invariant symplectic forms. As a corollary, we prove that for rotation-type permutations, the twisted cocycle has a degenerate Lyapunov spectrum with respect to certain natural ergodic invariant measures in contrast with the higher genus case where the existence of at least one positive Lyapunov exponent is guaranteed by previous work of the authors. In the appendix, we apply our result about the invariant section to substitution systems and prove the pure singularity of the spectrum for a substantially large class of substitutions on two letters, while greatly simplifying the proof for some systems previously known to have this property.

Figures

Figures reproduced from arXiv: 2501.16824 by the authors.

Figure 1
Figure 1. Renormalization of bottom type transforming the permutation ( ABCDE EDCBA ) to the permutation ( AEBCD EDCBA ) . return map to the subinterval I (1) ∶= [0, 1−min{λαt , λαb }) under the assumption that λ (0) αt ≠ λ (0) αb . The resulting transformation Tλ(1),π(1) is defined as follows i) λ (0) αt > λ (0) αb : then let λ (1) α ∶= λ (0) α for all α ≠ αt, λ (1) αt ∶= λ (0) αt − λ (0) αb , π (1) t ∶= π (0) t , and (2.7) … view at source ↗
Figure 2
Figure 2. S0 is the distinguished singularity and cπ,η(C) is the amount of twist (induced by −η) along the colored edges. Given a cycle S in the cycle decomposition of the permutation σ, let v S π,η ∈ C A be given by (3.6) v S π,η(α) = cπ,η(α −1 )1S(α −1 ) − cπ,η(α)1S(α), where α −1 is the symbol of the interval immediately to the left of I t α, and is 0 when πt(α) = 1. When S = S0 is the distinguished element of Σ(π), we dro… view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

49 extracted references · 36 canonical work pages

  1. [1]

    Weak mixing directions in non-arithmetic V eech surfaces

    Artur Avila and Vincent Delecroix. Weak mixing directions in non-arithmetic V eech surfaces. J. Amer. Math. Soc. , 29(4):1167--1208, 2016. https://doi.org/10.1090/jams/856 doi:10.1090/jams/856

    work page doi:10.1090/jams/856 2016

  2. [2]

    Weak mixing for interval exchange transformations and translation flows

    Artur Avila and Giovanni Forni. Weak mixing for interval exchange transformations and translation flows. Ann. of Math. (2) , 165(2):637--664, 2007. https://doi.org/10.4007/annals.2007.165.637 doi:10.4007/annals.2007.165.637

    doi:10.4007/annals.2007.165.637 2007

  3. [3]

    Athreya and Giovanni Forni

    Jayadev S. Athreya and Giovanni Forni. Deviation of ergodic averages for rational polygonal billiards. Duke Math. J. , 144(2):285--319, 2008. https://doi.org/10.1215/00127094-2008-037 doi:10.1215/00127094-2008-037

    work page doi:10.1215/00127094-2008-037 2008

  4. [4]

    Quantitative weak mixing for interval exchange transformations

    Artur Avila, Giovanni Forni, and Pedram Safaee. Quantitative weak mixing for interval exchange transformations. Geom. Funct. Anal. , 33(1):1--56, 2023. https://doi.org/10.1007/s00039-023-00625-y doi:10.1007/s00039-023-00625-y

    work page doi:10.1007/s00039-023-00625-y 2023

  5. [5]

    Weak mixing in rational billiards, 2024

    Francisco Arana-Herrera, Jon Chaika, and Giovanni Forni. Weak mixing in rational billiards, 2024. URL: https://arxiv.org/abs/2410.11117, https://arxiv.org/abs/2410.11117 arXiv:2410.11117

    arXiv 2024

  6. [6]

    Weak mixing properties of interval exchange transformations & translation flows

    Artur Avila and Martin Leguil. Weak mixing properties of interval exchange transformations & translation flows. Bull. Soc. Math. France , 146(2):391--426, 2018. https://doi.org/10.24033/bsmf.2761 doi:10.24033/bsmf.2761

    work page doi:10.24033/bsmf.2761 2018

  7. [7]

    Simplicity of Lyapunov spectra: proof of the Zorich-Kontsevich conjecture

    Artur Avila and Marcelo Viana. Simplicity of Lyapunov spectra: proof of the Zorich-Kontsevich conjecture . Acta Mathematica , 198(1):1 -- 56, 2007. https://doi.org/10.1007/s11511-007-0012-1 doi:10.1007/s11511-007-0012-1

    doi:10.1007/s11511-007-0012-1 2007

  8. [8]

    Binary constant-length substitutions and Mahler measures of Borwein polynomials

    Michael Baake, Michael Coons, and Neil Ma \ n ibo. Binary constant-length substitutions and Mahler measures of Borwein polynomials. In From analysis to visualization. A celebration of the life and legacy of Jonathan M. Borwein, Callaghan, Australia, September 25--29, 2017. , pages 303--322. Cham: Springer, 2020. https://doi.org/10.1007/978-3-030-36568-4_2...

    work page doi:10.1007/978-3-030-36568-4_20 2017

Show all 49 references
  1. [9]

    Spectral analysis of a family of binary inflation rules

    Michael Baake , Uwe Grimm , and Neil Ma \ n ibo . Spectral analysis of a family of binary inflation rules . Letters in Mathematical Physics , 108(8):1783--1805, August 2018. https://arxiv.org/abs/1709.09083 arXiv:1709.09083 , https://doi.org/10.1007/s11005-018-1045-4 doi:10.10...

    2018 arXiv

  2. [10]

    Renormalisation of pair correlation measures for primitive inflation rules and absence of absolutely continuous diffraction

    Michael Baake, Franz G \"a hler, and Neil Ma \ n ibo. Renormalisation of pair correlation measures for primitive inflation rules and absence of absolutely continuous diffraction. Commun. Math. Phys. , 370(2):591--635, 2019. https://doi.org/10.1007/s00220-019-03500-w doi:10.100...

    2019 doi

  3. [11]

    Bufetov, Juan Marshall-Maldonado, and Boris Solomyak

    Alexander I. Bufetov, Juan Marshall-Maldonado, and Boris Solomyak. Local spectral estimates and quantitative weak mixing for substitution Z -actions, 2024. URL: https://arxiv.org/abs/2403.12657, https://arxiv.org/abs/2403.12657 arXiv:2403.12657

    2024 arXiv

  4. [12]

    Bufetov and Boris Solomyak

    Alexander I. Bufetov and Boris Solomyak. The H \" o lder property for the spectrum of translation flows in genus two. Israel J. Math. , 223(1):205--259, 2018. https://doi.org/10.1007/s11856-017-1614-8 doi:10.1007/s11856-017-1614-8

    2018 doi

  5. [13]

    Bufetov and Boris Solomyak

    Alexander I. Bufetov and Boris Solomyak. A spectral cocycle for substitution systems and translation flows. J. Anal. Math. , 141(1):165--205, 2020. https://doi.org/10.1007/s11854-020-0127-2 doi:10.1007/s11854-020-0127-2

    2020 doi

  6. [14]

    Bufetov and Boris Solomyak

    Alexander I. Bufetov and Boris Solomyak. H \"o lder regularity for the spectrum of translation flows. J. \'E c. Polytech., Math. , 8:279--310, 2021. https://doi.org/10.5802/jep.146 doi:10.5802/jep.146

    2021 doi

  7. [15]

    Bufetov and Boris Solomyak

    Alexander I. Bufetov and Boris Solomyak. On substitution automorphisms with pure singular spectrum. Math. Z. , 301(2):1315--1331, 2022. https://doi.org/10.1007/s00209-021-02941-1 doi:10.1007/s00209-021-02941-1

    2022 doi

  8. [16]

    Bufetov and Boris Solomyak

    Alexander I. Bufetov and Boris Solomyak. Self-similarity and spectral theory: on the spectrum of substitutions. St. Petersbg. Math. J. , 34(3):313--346, 2023. https://doi.org/10.1090/spmj/1756 doi:10.1090/spmj/1756

    2023 doi

  9. [17]

    Sinai, and Corinna Ulcigrai

    Alexander Bufetov, Yakov G. Sinai, and Corinna Ulcigrai. A condition for continuous spectrum of an interval exchange transformation. In Representation theory, dynamical systems, and asymptotic combinatorics. Based on the conference, St. Petersburg, Russia, June 8--13, 2004 on ...

    2004

  10. [18]

    M \"o bius disjointness for interval exchange transformations on three intervals

    Jon Chaika and Alex Eskin. M \"o bius disjointness for interval exchange transformations on three intervals. J. Mod. Dyn. , 14:55--86, 2019. https://doi.org/10.3934/jmd.2019003 doi:10.3934/jmd.2019003

    2019 doi

  11. [19]

    Self-joinings for 3- IETs

    Jon Chaika and Alex Eskin. Self-joinings for 3- IETs . J. Eur. Math. Soc. (JEMS) , 23(8):2707--2731, 2021. https://doi.org/10.4171/JEMS/1069 doi:10.4171/JEMS/1069

    2021 doi

  12. [20]

    Circle averages and disjointness in typical translation surfaces on every Teichm \"u ller disc

    Jon Chaika and Pascal Hubert. Circle averages and disjointness in typical translation surfaces on every Teichm \"u ller disc. Bull. Lond. Math. Soc. , 49(5):755--769, 2017. https://doi.org/10.1112/blms.12065 doi:10.1112/blms.12065

    2017 doi

  13. [21]

    Every ergodic transformation is disjoint from almost every interval exchange transformation

    Jon Chaika. Every ergodic transformation is disjoint from almost every interval exchange transformation. Ann. Math. (2) , 175(1):237--253, 2012. https://doi.org/10.4007/annals.2012.175.1.6 doi:10.4007/annals.2012.175.1.6

    2012 doi

  14. [22]

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

    Giovanni Forni. Deviation of ergodic averages for area-preserving flows on surfaces of higher genus. Ann. of Math. (2) , 155(1):1--103, 2002. https://doi.org/10.2307/3062150 doi:10.2307/3062150

    2002 doi

  15. [23]

    Twisted translation flows and effective weak mixing

    Giovanni Forni . Twisted translation flows and effective weak mixing . J. Eur. Math. Soc. , 24(12):4225--4276, 2022. https://doi.org/10.4171/JEMS/1186 doi:10.4171/JEMS/1186

    2022 doi

  16. [24]

    Effective Unique Ergodicity and Weak Mixing of Translation Flows , pages 161--221

    Giovanni Forni. Effective Unique Ergodicity and Weak Mixing of Translation Flows , pages 161--221. Springer Nature Switzerland, Cham, 2024. https://doi.org/10.1007/978-3-031-62014-0_4 doi:10.1007/978-3-031-62014-0_4

    2024 doi

  17. [25]

    Interval exchange transformations and some special flows are not mixing

    Anatole Katok. Interval exchange transformations and some special flows are not mixing. Israel J. Math. , 35(4):301--310, 1980. https://doi.org/10.1007/BF02760655 doi:10.1007/BF02760655

    1980 doi

  18. [26]

    Lyapunov exponents for matrices with invariant subspaces

    Eric S Key. Lyapunov exponents for matrices with invariant subspaces. The Annals of Probability , pages 1721--1728, 1988

    1988

  19. [27]

    Rigidity in dynamics and M \"o bius disjointness

    Adam Kanigowski, Mariusz Lema \'n czyk, and Maksym Radziwi . Rigidity in dynamics and M \"o bius disjointness. Fundam. Math. , 255(3):309--336, 2021. https://doi.org/10.4064/fm931-11-2020 doi:10.4064/fm931-11-2020

    2021 doi

  20. [28]

    Katok and Anatoly M

    Anatole B. Katok and Anatoly M. Stepin. Approximations in ergodic theory. Uspehi Mat. Nauk , 22(5 (137)):81--106, 1967. URL: https://doi.org/10.1070/RM1967v022n05ABEH001227

    1967 doi

  21. [29]

    Interval exchange transformations and measured foliations

    Howard Masur. Interval exchange transformations and measured foliations. Ann. Math. (2) , 115:169--200, 1982. https://doi.org/10.2307/1971341 doi:10.2307/1971341

    1982 doi

  22. [30]

    Lyapunov exponents of the spectral cocycle for topological factors of bijective substitutions on two letters

    Juan Marshall-Maldonado. Lyapunov exponents of the spectral cocycle for topological factors of bijective substitutions on two letters. Discrete Contin. Dyn. Syst. , 44(7):2068--2092, 2024. https://doi.org/10.3934/dcds.2024019 doi:10.3934/dcds.2024019

    2024 doi

  23. [31]

    The cohomological equation for roth-type interval exchange maps

    Stefano Marmi, Pierre Moussa, and Jean-Christophe Yoccoz. The cohomological equation for roth-type interval exchange maps. Journal of the American Mathematical Society , 18(4):823--872, 2005. https://doi.org/10.1090/S0894-0347-05-00490-X doi:10.1090/S0894-0347-05-00490-X

    2005 doi

  24. [32]

    Around the unit circle

    James McKee and Chris Smyth. Around the unit circle. Mahler measure, integer matrices and roots of unity . Universitext. Cham: Springer, 2021. https://doi.org/10.1007/978-3-030-80031-4 doi:10.1007/978-3-030-80031-4

    2021 doi

  25. [33]

    Topological weak-mixing of interval exchange maps

    Arnaldo Nogueira and Dan Rudolph. Topological weak-mixing of interval exchange maps. Ergodic Theory Dynam. Systems , 17(5):1183--1209, 1997. https://doi.org/10.1017/S0143385797086276 doi:10.1017/S0143385797086276

    1997 doi

  26. [34]

    Nondegeneracy of the spectrum of the twisted cocycle for interval exchange transformations, 2023

    Hesam Rajabzadeh and Pedram Safaee. Nondegeneracy of the spectrum of the twisted cocycle for interval exchange transformations, 2023. URL: https://arxiv.org/abs/2309.05175, https://arxiv.org/abs/2309.05175 arXiv:2309.05175

    2023 arXiv

  27. [35]

    On the lyapunov spectrum of the twisted cocycle for substitutions

    Boris Solomyak. On the lyapunov spectrum of the twisted cocycle for substitutions. In preparation

  28. [36]

    A note on spectral properties of random s -adic systems, 2024

    Boris Solomyak. A note on spectral properties of random s -adic systems, 2024. URL: https://arxiv.org/abs/2403.08884, https://arxiv.org/abs/2403.08884 arXiv:2403.08884

    2024 arXiv

  29. [37]

    On the Hausdorff dimension of minimal interval exchange transformations with flips

    Alexandra Skripchenko and Serge Troubetzkoy. On the Hausdorff dimension of minimal interval exchange transformations with flips. J. Lond. Math. Soc., II. Ser. , 97(2):149--169, 2018. https://doi.org/10.1112/jlms.12099 doi:10.1112/jlms.12099

    2018 doi

  30. [38]

    YA. G. Sinai and C. Ulcigrai. Weak mixing in interval exchange transformations of periodic type. Lett. Math. Phys. , 74(2):111--133, 2005. https://doi.org/10.1007/s11005-005-0011-0 doi:10.1007/s11005-005-0011-0

    2005 doi

  31. [39]

    Weak mixing for logarithmic flows over interval exchange transformations

    Corinna Ulcigrai. Weak mixing for logarithmic flows over interval exchange transformations. J. Mod. Dyn. , 3(1):35--49, 2009. https://doi.org/10.3934/jmd.2009.3.35 doi:10.3934/jmd.2009.3.35

    2009 doi

  32. [40]

    Absence of mixing in area-preserving flows on surfaces

    Corinna Ulcigrai. Absence of mixing in area-preserving flows on surfaces. Ann. Math. (2) , 173(3):1743--1778, 2011. https://doi.org/10.4007/annals.2011.173.3.10 doi:10.4007/annals.2011.173.3.10

    2011 doi

  33. [41]

    William A. Veech. Gauss measures for transformations on the space of interval exchange maps. Ann. Math. (2) , 115:201--242, 1982. https://doi.org/10.2307/1971391 doi:10.2307/1971391

    1982 doi

  34. [42]

    William A. Veech. The metric theory of interval exchange transformations i. generic spectral properties. American Journal of Mathematics , 106(6):1331--1359, 1984. URL: http://www.jstor.org/stable/2374396

    1984

  35. [43]

    Dynamics of interval exchange transformations and teichm \"u ller flows

    Marcelo Viana. Dynamics of interval exchange transformations and teichm \"u ller flows. available at https://www.mat.univie.ac.at/ bruin/ietf.pdf , 2008

    2008

  36. [44]

    Finite gauss measure on the space of interval exchange transformations

    Anton Zorich. Finite gauss measure on the space of interval exchange transformations. Lyapunov exponents. Annales de l'Institut Fourier , 46(2):325--370, 1996. https://doi.org/10.5802/aif.1517 doi:10.5802/aif.1517

    1996 doi

  37. [45]

    Deviation for interval exchange transformations

    Anton Zorich. Deviation for interval exchange transformations. Ergodic Theory and Dynamical Systems , 17(6):1477--1499, 1997. https://doi.org/10.1017/S0143385797086215 doi:10.1017/S0143385797086215

    1997 doi

  38. [46]

    write newline

    " write newline "" before.all 'output.state := FUNCTION fin.entry add.period write newline FUNCTION format.language language empty "" " (" language * ")" * if INTEGERS nameptr namesleft numnames FUNCTION format.names 's := #1 'nameptr := s num.names 'numnames := numnames 'name...

  39. [47]

    @lbibitem[#1]#2 [\@biblabel #1 ] @tempwidthb \@biblabel #1 @tempwidthb> @tempwidtha @tempwidtha= @tempwidthb @filesw \@auxout #2 #1 @bibitem#1 @filesw \@auxout #1 \@listctr @tempwidthb \@biblabel @tempwidthb> @tempwidtha @tempwidtha= @tempwidthb \@lbibitem @lbibitem \@bibitem ...

    2000

  40. [48]

    " 'skip if FUNCTION emphasize duplicate empty pop

    @lbibitem[#1]#2 [\@biblabel #1 ] @tempwidthb \@biblabel #1 @tempwidthb> @tempwidtha @tempwidtha= @tempwidthb @filesw \@auxout #2 #1 @bibitem#1 @filesw \@auxout #1 \@listctr @tempwidthb \@biblabel @tempwidthb> @tempwidtha @tempwidtha= @tempwidthb \@lbibitem @lbibitem \@bibitem ...

    2000

  41. [49]

    write newline

    " write newline "" before.all 'output.state := FUNCTION fin.entry add.period write newline FUNCTION format.language language empty "" " (" language * ")" * if INTEGERS nameptr namesleft numnames FUNCTION format.names 's := #1 'nameptr := s num.names 'numnames := numnames 'name...

Pith tools

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