[論文レビュー] Coincidence of invariant measure for the alternate base transformations

Karma Dajani, Niels Langeveld|arXiv (Cornell University)|Mar 13, 2026

Mathematical Dynamics and Fractals被引用数 0

ひとこと要約

この論文は、同じ絶対連続不変測度を生じさせる交互基底変換の全ての対 (β,n) と (β',m) を特徴づけ、β=β'=p/q が最简有理数で n,m が q の倍数のときにのみ発生し、それ以外は測度が異なることを示す。

ABSTRACT

We characterize all pairs $(β,n),(β^\prime,m)$ such that the alternate $(β,n)$ and $(β^\prime,m)$-transformations $K_{(β,n)}$ and $K_{(β^\prime,m)}$ have the same absolutely continuous invariant measure, where $K_{(β,n)}(i,x)=(i+1 \mod 2 ,T_i(x))$ with $i\in\{0,1\}$, $T_0(x)=T_β(x)=βx \mod 1$, $T_1(x)=T_n(x)=nx\mod 1$ with $β>1$ real and $n\geq 2$ an integer.

研究の動機と目的

• 交互基底変換 K_(β,n) の不変測度を動機づけ・研究し、二つの系が同じ不変測度を共有するかを特徴づける。
• Rényi-Parry β-変換の既知結果を二基交互設定へ拡張する。
• 合成 T_{β∘n} および T_{n∘β} の明示的不変密度を導出し、それを用いて測度を比較する。
• 非整数基底に関する完全な β, β', n, m に基づく特徴づけを提供する。
• 両基底が非整数の場合の予備結果を議論し、例を用いて限界を示す。

提案手法

• 交互基底写像 K_(β,n) を定義し、不変測度を T_n∘T_β および T_β∘T_n の不変測度の観点で表現する。
• β>1 が非整数のとき T_{β∘n} の明示的不変密度を計算し、f_{β∘n}(x) が区分的定数であり、φ(x)（DK10 由来）に結びつく密度を示す。
• 密度を比較して一致を証明する： μ_(β,n)=μ_(β',m) は μ_{n∘β}=μ_{m∘β'} かつ μ_{β∘n}=μ_{β'∘m} で成り立つ。
• 命題（例：Prop 2.1）を用いて T_{p/q∘kq} の密度形を導き、特定の有理基底に対して k に依らないことを示す。
• Huang–Wang (HW25) の β-変換における一致についての議論を用い、可能な β′ を制約し n,m に関する必要条件を導く。

実験結果

リサーチクエスチョン

• RQ1 二つの交互基底変換 K_(β,n) と K_(β′,m) が同じ絶対連続不変測度 μ を共有するのはいつか。
• RQ2 非整数基底の場合、μ_(β,n)=μ_(β′,m) を生む β,β′,n,m の正確な条件は何か。
• RQ3 T_{β∘n} の不変密度はどう振る舞い、それを用いて測度の一致をどう判断するか。
• RQ4 有理と非整数の混在ケースでどうなるか、すべての一致を分類できるか。
• RQ5 β= p/q の場合を除く一致の稀さについての予想は成り立つか。

主な発見

• μ_(β,n)=μ_(β′,m) iff β=β′=p/q が最简形であり、n,m が q の倍数である。
• β=p/q で p>q>1, gcd(p,q)=1 のとき μ_(β,n)=μ_(β, kq) となり、密度はその格子上の倍数 k に対して独立である。
• 無理数 β の場合、β′≠β または (n,m) が異なる場合には μ_(β,n) = μ_(β′,m) となり得ず、無理数基底に対して不変測度の剛性が現れる。
• β または β′ が整数である場合、4つの成分測度はすべて Lebesgue 測度に縮約され、同一性は自明に成立する。
• 本論文は、主定理（定理1.2）で述べられる一致の全てを正確に予想としている、という仮説を提示する。