[論文レビュー] Purely periodic beta-expansions in the Pisot non-unit case

Valérie Berthé, Anne Siegel|arXiv (Cornell University)|Jul 15, 2004

Mathematical Dynamics and Fractals参考文献 19被引用数 5

ひとこと要約

この論文は、β が Pisot 非単位数であるとき、ℚ(β) ∩ [0,1) に属する実数が純粋周期的 β 展開を持つ条件を特徴づけている。一般化された Rauzy 集合（ユークリッド空間と p-進空間の積空間におけるグラフ付き自己相似集合として構成された）を用いた幾何的表現を通じて、このような数は、その共役がこの集合に含まれる場合に限ることを証明している。この集合は非ゼロのハール測度を持ち、形式的冪級数と反復関数系の手法から導かれる。

ABSTRACT

It is well known that real numbers with a purely periodic decimal expansion are the rationals having, when reduced, a denominator coprime with 10. The aim of this paper is to extend this result to beta-expansions with a Pisot base beta which is not necessarily a unit: we characterize real numbers having a purely periodic expansion in such a base; this characterization is given in terms of an explicit set, called generalized Rauzy fractal, which is shown to be a graph-directed self-affine compact subset of non-zero measure which belongs to the direct product of Euclidean and p-adic spaces.

研究の動機と目的

• β が Pisot 非単位数である場合に、整数でない基数における純粋周期的小数展開の古典的結果を拡張すること。
• ℚ(β) ∩ [0,1) に属する有理数で、純粋周期的 β 展開を持つものについての特徴づけを行うこと。
• 形式的冪級数と反復関数系の手法を用いて、Pisot 単位でない場合の β シフトの幾何的表現を一般化すること。
• 非単位 Pisot 情報の下で、非ゼロ測度を持つ積空間内におけるグラフ付き自己相似集合としての一般化された Rauzy 集合 ˜Rβ の存在を確立すること。
• 非単位 Pisot 情報における β シフトのマルコフ分割、スペクトル的性質、測度的構造を研究するための基盤的道具を構築すること。

提案手法

• 両側 β シフト (Xβ, S) を構築し、形式的冪級数 ℚ[[X]] と関連付けて表現写像を定義すること。
• すべての絶対値において |β| < 1 となるような ℚ(β) の完備化を、アーチメデス的および p-進位相の積空間として定義すること。
• 一般化された Rauzy 集合 ˜Rβ を、記号列からこの積空間へ写像する表現写像 φ˜β の像として定義すること。
• 反復関数系（IFS）を用いて、˜Rβ がグラフ付き自己相似コンパクト集合であることを証明し、非ゼロのハール測度を保証すること。
• β 変換 Tβ の自然拡張を用いて、幾何的空間上での写像 ˜Tβ を定義し、それが ˜Rβ 上で全単射であり、集合 ˜Rβ を保存することを示すこと。
• シフト構造と共役ダイナミクスの性質を活用し、純粋周期的展開と ˜Rβ への属する関係を結びつけること。

実験結果

リサーチクエスチョン

• RQ1 β が Pisot 非単位数であるとき、ℚ(β) ∩ [0,1) に属する実数のうち、どのようなものが純粋周期的 β 展開を持つのか？
• RQ2 ユークリッド位相と p-進位相を併せ持つ空間において、このような数の集合はどのように幾何的に特徴づけられるか？
• RQ3 非単位 Pisot 情報における一般化された Rauzy 集合 ˜Rβ の位相的および測度論的構造は何か？
• RQ4 表現写像 φ˜β は、β シフトおよびその自然拡張のダイナミクスとどのように関係しているか？
• RQ5 一般化された Rauzy 集合は、非単位設定においてマルコフ分割やスペクトル的道具として機能できるか？

主な発見

• 実数 x ∈ ℚ(β) ∩ [0,1) が純粋周期的 β 展開を持つための必要十分条件は、x とそのすべての共役が一般化された Rauzy 集合 ˜Rβ に含まれることである。
• 集合 ˜Rβ は、β のノルムの素因数を走るすべての p に対して、ユークリッド空間と p-進空間の積空間におけるグラフ付き自己相似コンパクト部分集合であり、非ゼロのハール測度を持つ。
• ˜Rβ の構成は、形式的冪級数と反復関数系（IFS）を組み合わせることで行われ、自己相似的かつ可測な構造を保証する。
• β 変換 Tβ の自然拡張 ˜Tβ は ˜Rβ 上で全単射であり、周期性の特徴づけをダイナミカルな軌道を用いて可能にする。
• β が次数が展開長に等しい単純な Parry 数であるとき、˜Rβ は Sie03 で定義された基本的な β 置換に対応する一般化された Rauzy 集合と一致する。
• この形式的枠組みは、Pisot 単位に対する既存の結果を一般化し、非単位状況におけるマルコフ分割およびスペクトル的性質の研究のためのフレームワークを提供する。