Common invariant measures for beta-transformations with rational affine relations
Abstract
We classify common invariant probabilities for two beta-transformations with a rational affine relation between their bases. Let β>1 be irrational and γ=aβ+c>1, where a,c∈ℚ and a+c≠1. Every finite nonnegative measure that is singular with respect to Lebesgue measure and invariant under both maps is a multiple of the point mass at zero. No entropy, ergodicity or multiplicative independence assumption is needed. The proof constructs a finite signed measure invariant under an irrational rotation and relates its mass to the first moment of the original measure. Combining this result with the known classification of coincident absolutely continuous invariant probabilities gives all common invariant probabilities in this family. The only additional measures are mixtures with a common absolutely continuous probability for adjacent bases in a known quadratic family. We also determine all common fixed points on the excluded line a+c=1.
Related
- On the Existence of Geometrically Attracting Measures for Iterated Function Systems with Varying Sets of Transformations
- Theoretical relations between basic centrality measures in real-world networks
- On wall-crossing invariant combinations of Welschinger numbers for rational surfaces with a conic bundle
- Weighted Laplace Spaces for Spectral Measures and Rational Approximation
- Stable invariant measures in linear dynamics
BibTeX
@misc{zhao2026common,
title = {{Common invariant measures for beta-transformations with rational affine relations}},
author = {Hang Zhao},
howpublished = {arXiv},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2609.31156},
eprint = {2609.31156},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2609.31156},
}
RIS
TY - UNPB
TI - Common invariant measures for beta-transformations with rational affine relations
AU - Hang Zhao
PY - 2026
DA - 2026/09/25
PB - arXiv
DO - 10.48550/arxiv.2609.31156
UR - https://arxiv.org/abs/2609.31156
AB - We classify common invariant probabilities for two beta-transformations with a rational affine relation between their bases. Let β>1 be irrational and γ=aβ+c>1, where a,c∈ℚ and a+c≠1. Every finite nonnegative measure that is singular with respect to Lebesgue measure and invariant under both maps is a multiple of the point mass at zero. No entropy, ergodicity or multiplicative independence assumption is needed. The proof constructs a finite signed measure invariant under an irrational rotation and relates its mass to the first moment of the original measure. Combining this result with the known classification of coincident absolutely continuous invariant probabilities gives all common invariant probabilities in this family. The only additional measures are mixtures with a common absolutely continuous probability for adjacent bases in a known quadratic family. We also determine all common fixed points on the excluded line a+c=1.
ER -