pith. sign in

arxiv: 2502.06511 · v2 · pith:BSWQWX6Vnew · submitted 2025-02-10 · 🧮 math.SP · math-ph· math.DS· math.MP

Spectral and dynamical results related to certain non-integer base expansions on the unit interval

Horia D. Cornean , Ira W. Herbst , Giovanna Marcelli This is my paper

Pith reviewed 2026-05-23 03:53 UTC · model grok-4.3

classification 🧮 math.SP math-phmath.DSmath.MP
keywords beta-expansionstransfer operatorPerron-Frobenius operatorpoint spectrumdynamical systemsunit intervalLipschitz functionsnon-integer base
0
0 comments X

The pith

The transfer operator for Parry-type non-integer beta-expansions attracts Lipschitz functions exponentially to an invariant state in L1 while its point spectrum on L^p fills the open unit disk for p from 1 to 2.

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

The paper examines the transfer operator induced by a discrete dynamical system coming from non-integer base beta-expansions of Parry type. It proves that iterations of any Lipschitz function converge exponentially fast in the L1 norm to a fixed invariant state tied to the eigenvalue 1. This eigenvalue turns out not to be isolated in the spectrum. For function spaces L^p with 1 less than or equal to p less than or equal to 2, the entire open unit disk in the complex plane belongs to the point spectrum, and the authors give explicit constructions of the corresponding eigenfunctions. This combination of attraction and dense spectrum describes both the long-term behavior and the fine structure of the operator.

Core claim

We show that if f is Lipschitz, then the iterated sequence {P^N f}_{N≥1} converges exponentially fast (in the L^1 norm) to an invariant state corresponding to the eigenvalue 1 of P. This attracting eigenvalue is not isolated: for 1≤p≤2 we show that the point spectrum of P also contains the whole open complex unit disk and we explicitly construct some corresponding eigenfunctions.

What carries the argument

The transfer operator P (Perron-Frobenius operator) acting on L^p([0,1]) and induced by the discrete dynamical system from the beta-expansions.

If this is right

  • Iterates of Lipschitz functions converge exponentially fast in the L1 norm to the invariant state for eigenvalue 1.
  • Eigenvalue 1 is attracting but not isolated in the spectrum of P.
  • The point spectrum of P contains the entire open unit disk for 1 ≤ p ≤ 2.
  • Explicit eigenfunctions can be constructed for every point in the open unit disk.

Where Pith is reading between the lines

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

  • The full disk in the point spectrum suggests that spectral gaps may fail to exist in L^p for p ≤ 2 even though L1 convergence still occurs.
  • The explicit eigenfunctions could be used to study the action of the associated Koopman operator on other function spaces.
  • Results of this type might connect to the ergodic properties of the underlying interval map beyond the L1 setting.

Load-bearing premise

The dynamical system is induced by non-integer base beta-expansions of Parry's type, which is required for the transfer operator to be well-defined on L^p and for the stated spectral properties to hold.

What would settle it

A Lipschitz function whose iterates under P fail to converge exponentially in L1, or the lack of an eigenfunction for some complex value inside the unit disk when p equals 2.

Figures

Figures reproduced from arXiv: 2502.06511 by Giovanna Marcelli, Horia D. Cornean, Ira W. Herbst.

Figure 1
Figure 1. Figure 1: Illustration of the map ψ0 (iv) Let |z| ă 1. Then the function ψz “ u 1{2 1 ´ Id ´ z u 1{2 1 Ku ´1{2 1 ¯´1 u ´1{2 1 ψ0 P L 2 pr0, 1sq Ă L p 1 pr0, 1sq, 1 ď p 1 ď 2, is an eigenfunction of P which obeys Pψz “ z ψz. The proof of this theorem is given in Section 3. We note that when P is restricted to functions of bounded variations, the spectrum is quite different [17]. 1.3 Ergodicity properties The map Tβ i… view at source ↗
Figure 2
Figure 2. Figure 2: The first layer 2.2 Proof of (ii) and (iii). If 0 ď j ď q ´ 1, we have r0, 1s Q x ÞÑ pj ` xq{β P rj{β,pj ` 1q{βs, hence these intervals cover the interval r0, q{βs. Also, due to (1.1) we have r0, q{β ` ¨ ¨ ¨ q{β n´1 s Q x ÞÑ pq ` xq{β P rq{β, 1s. The result in (ii) follows after a change of variables on each interval. Then point (iii) is implied by noticing that |Pf| ď P|f|. 2.3 Proof of (iv) and (v). 2.3.… view at source ↗
read the original abstract

We consider certain non-integer base $\beta$-expansions of Parry's type and we study various properties of the transfer (Perron-Frobenius) operator $\mathcal{P}:L^p([0,1])\mapsto L^p([0,1])$ with $p\geq 1$ and its associated composition (Koopman) operator, which are induced by a discrete dynamical system on the unit interval related to these $\beta$-expansions. We show that if $f$ is Lipschitz, then the iterated sequence $\{\mathcal{P}^N f\}_{N\geq 1}$ converges exponentially fast (in the $L^1$ norm) to an invariant state corresponding to the eigenvalue $1$ of $\mathcal{P}$. This "attracting" eigenvalue is not isolated: for $1\leq p\leq 2$ we show that the point spectrum of $\mathcal{P}$ also contains the whole open complex unit disk and we explicitly construct some corresponding eigenfunctions.

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

0 major / 2 minor

Summary. The manuscript analyzes the transfer operator P and associated Koopman operator induced by Parry-type non-integer base β-expansions on [0,1]. It proves that iterates P^N f converge exponentially in L^1 to the invariant state for eigenvalue 1 whenever f is Lipschitz, and shows that for 1 ≤ p ≤ 2 the point spectrum of P on L^p fills the open unit disk, with explicit constructions of the corresponding eigenfunctions.

Significance. If the stated results hold, the work contributes concrete spectral information for transfer operators on a class of expanding interval maps with non-integer bases. The explicit eigenfunction constructions for the full open disk and the exponential L^1 convergence rate on the Lipschitz subspace are strengths that make the claims more verifiable and potentially useful for further ergodic-theoretic applications.

minor comments (2)
  1. [Abstract] The abstract states that eigenfunctions are explicitly constructed but gives no indication of their form or the method of construction; adding a brief descriptive phrase would improve readability without lengthening the abstract.
  2. The precise interval of admissible β (beyond the generic Parry condition) is invoked at the outset but not restated in the main theorems; a short reminder in the statement of the spectral results would aid the reader.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful reading and positive evaluation of the manuscript, including the recommendation for minor revision. No specific major comments were listed in the report.

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained

full rationale

The paper states direct theorems on the spectrum of the transfer operator P induced by Parry beta-expansions: exponential L1 convergence of iterates on Lipschitz functions to the eigenvalue-1 eigenstate, plus explicit construction of eigenfunctions filling the open unit disk in point spectrum for 1≤p≤2. These are presented as standard spectral results for the given class of expanding maps, with no equations reducing to fitted parameters, no self-definitional loops, and no load-bearing self-citations or ansatzes imported from prior author work. The setup begins from the dynamical system definition and proceeds via operator theory without circular reduction. This matches the default case of an independent derivation.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Only the abstract is available; no free parameters, invented entities, or non-standard axioms are visible. The work rests on the standard definition of Parry-type beta-expansions and the usual functional-analytic setting for transfer operators on L^p spaces.

axioms (1)
  • domain assumption The beta-expansions are of Parry type, inducing a well-defined discrete dynamical system on [0,1] whose transfer operator maps L^p to itself.
    Invoked immediately to define the operator P and the associated dynamical system.

pith-pipeline@v0.9.0 · 5715 in / 1408 out tokens · 83431 ms · 2026-05-23T03:53:58.115638+00:00 · methodology

discussion (0)

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

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Sharp iteration asymptotics for transfer operators induced by greedy $\beta$-expansions

    math.DS 2025-02 unverdicted novelty 6.0

    Explicit construction of invariant u and scaled v for the transfer operator of Parry-type β-expansions gives sharp L^∞ asymptotics P^k F = u + β^{-k}(F(1)-F(0))v + o(β^{-k}) for unit-integral smooth F.

Reference graph

Works this paper leans on

18 extracted references · 18 canonical work pages · cited by 1 Pith paper

  1. [1]

    : The weakly dependent strong law of large numbers revisited

    Abdesselam, A. : The weakly dependent strong law of large numbers revisited. G.J.M. 3(2), 94-97 (2018) https://gradmath.org/wp-content/uploads/2020/10/ Abdesselam-GJM-2018.pdf

    work page 2018

  2. [2]

    : Isometries and spectra of multiplication operators on the Bloch space

    Allen, R.F., Collona, F. : Isometries and spectra of multiplication operators on the Bloch space. Bull. Aust. Math. Soc. 79, 147–160 (2009) https://doi.org/10. 1017/S0004972708001196 23

    work page 2009

  3. [3]

    Blanchard, F.: β-expansions and symbolic dynamics. Theoret. Comput. Sci. 65(2), 131–141 (1989)

    work page 1989

  4. [4]

    Invariant measures and dynamical systems in one dimension

    Boyarsky, A., G´ora, P.: Laws of chaos. Invariant measures and dynamical systems in one dimension. Probability and its Applications. Birkh¨ auser, Boston, MA, 1997. https://link.springer.com/book/10.1007/978-1-4612-2024-4

    work page doi:10.1007/978-1-4612-2024-4 1997

  5. [5]

    Brauer, A.: On algebraic equations with all but one root in the interior of the unit circle. Math. Nachr. 4, 250-257 (1950) https://doi.org/10.1002/mana.3210040123

    work page doi:10.1002/mana.3210040123 1950

  6. [6]

    Charlier, E., Cisternino, C., Dajani, K.: Dynamical behavior of alternate base expansions. Ergod. Th. & Dynam. Sys. 43(3), 827-860 (2023) https://doi.org/10. 1017/etds.2021.161

    work page 2023

  7. [7]

    Chapman and Hall/CRC (2021) https://doi.org/10.1201/9780429276019

    Dajani, K., Kalle, C.: A First Course in Ergodic Theory. Chapman and Hall/CRC (2021) https://doi.org/10.1201/9780429276019

    work page doi:10.1201/9780429276019 2021

  8. [8]

    G´ora, P.: Invariant densities for generalized β-maps. Ergod. Th. & Dynam. Sys. 27, 1583–1598 (2007) https://doi.org/10.1017/S0143385707000053

    work page doi:10.1017/s0143385707000053 2007

  9. [9]

    : How many digits are needed? Methodol

    Herbst, I.W., Møller, J., Svane, A.M. : How many digits are needed? Methodol. Comput. Appl. Probab. 26(1), Paper No. 5 (2024) https://doi.org/10. 1007/s11009-024-10073-2

    work page 2024

  10. [10]

    : The asymptotic distribution of the scaled remainder for pseudo golden ratio expansions of a continuous random vari- able

    Herbst, I.W., Møller, J., Svane, A.M. : The asymptotic distribution of the scaled remainder for pseudo golden ratio expansions of a continuous random vari- able. Methodol. Comput. Appl. Probab. 27(10) (2025) https://doi.org/10.1007/ s11009-025-10137-x

    work page 2025

  11. [11]

    Komornik, V., Loreti, P., Pedicini, M.: A quasi-ergodic approach to non-integer base expansions. J. Number Theory 254 146–168 (2024) https://doi.org/10.1016/ j.jnt.2023.07.009

    work page 2024

  12. [12]

    Lasota, A., Yorke, James A.: On the existence of invariant measures for piecewise monotonic transformations. Trans. Amer. Math. Soc. 186, 481–488 (1973) https: //www.ams.org/journals/tran/1973-186-00/S0002-9947-1973-0335758-1/

    work page 1973

  13. [13]

    : Generalized Fibonacci Numbers and Associated Matrices

    Miles, E.P. : Generalized Fibonacci Numbers and Associated Matrices. Amer. Math. Monthly 67(8), 745-752 (1960) https://doi.org/10.2307/2308649

    work page doi:10.2307/2308649 1960

  14. [14]

    Acta Math

    Parry, W.: On the β-expansions of real numbers. Acta Math. Acad. Sci. Hungar. 11, 401–416 (1960) https://doi.org/10.1007/BF02020954

    work page doi:10.1007/bf02020954 1960

  15. [15]

    Pedicini, M.: Greedy expansions and sets with deleted digits. Theoret. Comput. Sci. 332, 313–336 (2005) https://doi.org/10.1016/j.tcs.2004.11.002 24

    work page doi:10.1016/j.tcs.2004.11.002 2005

  16. [16]

    Acta Math

    R´enyi, A.: Representations for real numbers and their ergodic properties. Acta Math. Acad. Sci. Hungar. 8, 477–493 (1957) https://doi.org/10.1007/BF02020331

    work page doi:10.1007/bf02020331 1957

  17. [17]

    Dynamical Systems 37(1), 9–28 (2022) https://doi.org/10.1080/14689367

    Suzuki, S.: Eigenfunctions of the Perron–Frobenius operators for generalized beta- maps. Dynamical Systems 37(1), 9–28 (2022) https://doi.org/10.1080/14689367. 2021.1998378

    work page doi:10.1080/14689367 2022

  18. [18]

    Walters, P.: Equilibrium states for β-transformations and related transformations. Math. Z. 159, 65–88 (1978) https://doi.org/10.1007/BF01174569 (H. D. Cornean) Department of Mathematical Sciences, Aalborg University Thomas Manns Vej 23, 9220 Aalborg, Denmark E-mail address: cornean@math.aau.dk (I. W. Herbst) Department of Mathematics, University of Virgi...

    work page doi:10.1007/bf01174569 1978