[論文レビュー] Dimension spectrum of digit frequency sets for beta-expansions

Shintaro Suzuki|arXiv (Cornell University)|Feb 6, 2026

Mathematical Dynamics and Fractals被引用数 0

ひとこと要約

この論文は、β-シフトにおける digit-1 周波数集合の厳密なHausdorff次元公式を、1<β≤2 の範囲で明示的な転送演算子の特スペクトルデータを用いて導出する。さらに、固有関数・固有関数エルミント・関連熱力学的形式論の結果に対する解析的枠組みを構築する。

ABSTRACT

For any beta-shift $(X_β,σ)$ on two symbols, i.e., the symbolic coding of the beta-map for $1&lt;β\leq2$, we give an exact formula for the Hausdorff dimension $\dim_{H} Λ_{α(t)}$ as a function of $t\in\mathbb{R}$, where $Λ_α$ denotes the frequency set of the digit $1$ defined by \[Λ_α=\Biggl\{(x_i)_{i=1}^\infty\in X_β;\ \lim_{n o\infty}\frac{1}{n}\sum_{i=1}^{n}x_i=α\Biggr\}\] for $α\in[0,1]$ and $α(t)$ is an explicit function related to the quasi-greedy expansion of $1$. The formula is derived from explicit formulae for eigenfunctions and eigenfunctionals corresponding to the leading eigenvalue $λ_t$ of the transfer operator $\mathcal{L}_t$ with the potential $tχ_{C_1}$ for $t\in\mathbb{R}$, where $χ_{C_{1}}$ denotes the indicator function of the cylinder set $C_1=\{(x_i)_{i=1}^\infty\in X_β; x_1=1\}$. These formulae can be applied not only to the leading eigenvalue but also to the other isolated eigenvalues of $\mathcal{L}_t$, which yields a precise spectral decomposition of $\mathcal{L}_t$. As a further application, we investigate the distribution function of the push-forward of the eigenmeasure corresponding to $λ_t$ by the inverse map of the coding map. We show that the distribution function after a change of variables for $t$ is equal to the Lebesgue singular function if $β=2$ and satisfies an analogy of the Hata-Yamaguchi formula, which yields a generalization of the Takagi function for beta-expansions with the base $1&lt;β&lt;2$.

研究の動機と目的

• 1<β≤2 の X_β における digit-1 周波数集合の次元を研究する。
• エ equilibrium state のエントロピーを介して次元を計算するための明示的な転送演算子枠組みを構築する。
• 転送演算子の孤立固有値に対する明示的な固有関数/固有関数エルミントを得る。
• 圧力関数とその導関数の解析的説明を提供し、固有測度に関連する分布函数を探る。
• β^N+1−β^N−1=0 の場合へ既知の公式を拡張し Takagi-type の一般化と結びつける。

提案手法

• 条件付き変分原理を用いて dim_H Λ_{α(t)} を h_{μ_t}(σ)/log βと関係づける。
• 潜在関数 t χ_{C1} を用いた転送演算子 L_t を構築し、準圏収束性を証明する；主固有値 λ_t を同定する。
• L_t の孤立固有値に対して明示的な固有関数と固有関数エルミントを導出し、Φ_t(z) を行列式様の対象として解析的に構築する。
• 唯一の主固有値 λ_t > 1 が単純であることを示し、エントロピー h_{μ_t}(σ)=log λ_t / log β を得る。
• 圧力関数 P(t)=log λ_t の解析性と導関数を分析する。相関の指数関数的減衰と Φ_t の零点に関連する解析的性質を研究する。
• ν_t から導かれる分布函数 D_t を調べ、β=2 の Lebesgue特異関数および Takagi 型一般化（G_β）への関連を示す。

実験結果

リサーチクエスチョン

• RQ1 β-シフト 1<β≤2 における digit-1 周波数集合 Λ_α の Hausdorff 次元はいくらで、α にどう依存するか？
• RQ2 適切な t パラメータを用いた熱力学的形式論により dim_H Λ_{α(t)} を明示的に表現できるか？
• RQ3 t χ_{C1} に対する転送演算子 L_t の孤立固有値に対する明示的な固有関数/固有関数エルミントは何で、スペクトル分解をどう導くか？
• RQ4 圧力関数 P(t)=log λ_t はどのように振る舞い（解析性・導関数）、動的・統計的性質にどんな示唆を与えるか？
• RQ5 eigenmeasures に対応する分布函数は β-expansions の既知の特異函数や一般化 Takagi 関数とどのように関連するか？

主な発見

• dim_H Λ_{α(t)} の t∈ℝ に対する厳密な公式を得ており、α(t) は 1 の準貪欲展開と関連付けられる。
• 転送演算子 L_t は準圏収束性を満たし、主固有値 λ_t>1 は単純で h_{μ_t}(σ)=log λ_t / log β を与える。
• 孤立固有値に対する明示的な固有関数と固有関数エルミントを導出し、精密なスペクトル分解を可能にする。
• Φ_t(z) を満たすよう λ>r_t が孤立固有値であるとき 1/λ が Φ_t の零点となるため、 determinant-like ツール を構築。
• 圧力 P(t)=log λ_t は解析的で導関数が明示的であり、μ_t の下での相関は Φ_t の零点に結びつく境界で指数的に減衰する。
• ν_t から導かれる分布関数 D_t は β=2 の Lebesgue特異関数へ関連し、1<β<2 へ Takagi 框組の Hata-Yamaguchi/ Takagi の枠組みの一般化を与える。