🔢 mathematics

Parry order of Parry numbers

この論文は、ペロン数がパリー数となるべき最大のべき乗を定義する「パリー次数」を導入し、ペロン数を有限のパリー次数を持つもの（パリー数や非パリー数）と無限のパリー次数を持つもの（ピソット数やセールム数）に分類する新たな動的視点を提供するとともに、次数の上限や具体的な例、次数が有界でない無限族の存在を示しています。

原著者： Kevin G Hare, Hachem Hichri

公開日 2026-03-23

📖 1 分で読めます🧠 じっくり読む

CC BY 4.0

原著者： Kevin G Hare, Hachem Hichri

原論文は CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) でライセンスされています。 ✨ これは以下の論文のAI生成解説です。著者が執筆または承認したものではありません。技術的な正確性については原論文を参照してください。免責事項の全文を読む

この論文は、数学の「数字の家族」である**ペロン数（Perron numbers）**という特別なグループについて、その「性質がどう変わるか」を研究したものです。

専門用語を抜きにして、日常の言葉と面白い例えを使って解説します。

1. 登場人物たち：数字の「家族」

まず、この研究で扱っている数字のグループをイメージしてください。

ペロン数（Perron numbers）： 大きな数字の「親分」のような存在です。このグループには、他の数字（共役数）よりも絶対値が大きい「親分」がいます。
ピソット数（Pisot numbers）とセールム数（Salem numbers）： ペロン数の中でも特に「お利口さん」なグループです。これらは数学的に非常に安定した性質を持っています。
パリー数（Parry numbers）： 数字の「ルール」に従って、ある特定の計算（β展開）をすると、**「パターンが繰り返される（循環する）」**という特徴を持つ数字です。これを「パリー数」と呼びます。

これまでの常識：
「お利口さん（ピソット・セールム数）」は、どんなに何乗しても（2 乗、3 乗…）、必ず「パターンが繰り返される（パリー数）」になることが知られていました。

2. この論文の発見：「パリー順序」という新しいルール

研究者たちは、**「ペロン数を何乗しても、いつまで『パリー数』の性質を保てるのか？」**という疑問に答えました。

ここで登場するのが、この論文のタイトルにある**「パリー順序（Parry Order）」**という概念です。

パリー順序とは？
「ある数字を何乗しても、まだ『パターンが繰り返される（パリー数）』であることができるか？」という限界の回数のことです。
- もし、何乗しても永遠にパリー数なら、その順序は**「無限大（∞）」**です。（これはピソット数やセールム数です）
- もし、ある回数を超えると、もうパリー数ではなくなってしまうなら、その限界の回数が「パリー順序」です。

重要な発見：

「お利口さん」以外の場合： ピソット数やセールム数以外のペロン数は、**「いつか必ずパリー数ではなくなる」**ことが証明されました。つまり、パリー順序は有限です。
「いつまで続くか」の計算： 数字の性質（多項式や Mahler 測度など）を見れば、「何乗までならパリー数でいられるか」の上限を計算できることを示しました。

3. 面白い例え：「魔法の杖」と「変身」

この現象を魔法の世界に例えてみましょう。

ペロン数は、魔法の杖を持った魔法使いです。
パリー数は、杖を振ると「同じ呪文が繰り返される」状態です。
ピソット数・セールム数は、**「永遠の魔法使い」**です。杖を何回振っても（何乗しても）、必ず同じ呪文が繰り返されます。
その他のペロン数は、**「一時的な魔法使い」**です。
- 1 回目は呪文が繰り返される（パリー数）。
- 2 回目は繰り返される。
- しかし、**「パリー順序」**という限界を超えると、魔法が暴走して、もう呪文が繰り返されなくなります（非パリー数になる）。

論文のすごいところ：
これまで、「パリー数ではない数字」が「パリー数」になることは知られていませんでした。しかし、この論文では、**「パリー数ではない数字が、2 乗や 3 乗すると一時的にパリー数になり、さらにその先でまたパリー数ではなくなる」**という、まるで「変身」のような現象を初めて発見し、具体的な例を示しました。

4. 数字の「分類図」の再編

この研究によって、ペロン数という大きなグループを、「パリー順序」ごとに分類し直す新しい地図ができました。

無限大のグループ： ピソット数とセールム数（永遠にパリー数）。
有限のグループ： 1 乗だけパリー数、2 乗だけパリー数、3 乗までパリー数……というように、限界が決まっているグループ。

これにより、数字の世界がもっと細かく、そしてダイナミックに理解できるようになりました。

5. なぜこれが重要なのか？（レモンの問題との関係）

この研究は、数学の長年の難問である**「レモンの問題（Lehmer's problem）」**という、非常に難しい数学の謎とも深く関係しています。

レモンの問題： 「整数係数の多項式で、1 より大きい最小の値を持つものは何か？」という問いです。
この論文は、**「パリー順序が無限大になる数字（ピソット・セールム数）」と、「パリー順序が有限の数字」**の関係を明らかにすることで、この難問に新しい「動的な（動きのある）」視点からアプローチできる道筋を示しました。

まとめ

この論文は、**「数字を何乗しても、その『規則性』がいつまで続くか」**という新しいルール（パリー順序）を発見し、数字の世界を「永遠に規則正しいグループ」と「一時的に規則正しいグループ」に分けました。

さらに、**「パリー数ではない数字が、一時的にパリー数になる」**という驚くべき現象を初めて見つけ出し、数学の古い謎を解くための新しい鍵を提供しました。

まるで、数字の「寿命」や「変身能力」を測定して、その家族の関係を詳しく描き出したような、非常に興味深い研究です。

論文「The Parry Order of Perron Numbers」の技術的サマリー

1. 研究の背景と問題設定

本論文は、代数的整数論、特にペロン数（Perron numbers）、ピソット数（Pisot numbers）、および**セールム数（Salem numbers）**の動的性質と算術的性質の接点を探求するものである。

ペロン数: 実代数的整数 $\beta > 1$ であり、そのすべての共役数の絶対値が $\beta$ よりも厳密に小さいもの。
ピソット数: 実代数的整数 $\theta > 1$ であり、他のすべての共役数が開単位円板（絶対値 $< 1$ ）内にあるもの。
セールム数: 実代数的整数 $\tau > 1$ であり、共役数が閉単位円板内にあるが、少なくとも一つが単位円周上にあるもの。
Parry 数: $\beta$ -展開理論において、$1 $の$ \beta $-展開が有限または最終的に周期的になるような$ \beta$ のこと。

核心的な問題:
ペロン数 $\beta$ のべき乗 $\beta^n$ が Parry 数になるかどうかは、 $\beta$ の代数的性質（特に共役数の分布）とどのように関連しているか？特に、 $\beta$ がピソット数でもセールム数でもない場合、 $\beta^n$ が Parry 数になるのはいつまで続くのか？という動的な挙動を定式化し、分類することが目的である。

2. 主要な手法と定義

2.1 パリー順序（Parry Order）の導入

著者らは、ペロン数 $\beta$ に対してパリー順序 $\text{Ord}_P(\beta)$ を以下のように定義する。
$\text{Ord}_P(\beta) = \max \{ n \in \mathbb{N} \mid \beta^n \text{ は Parry 数である} \}$

もし $\beta^n$ が無限に多くの $n$ に対して Parry 数になる場合、 $\text{Ord}_P(\beta) = \infty$ とする。
逆に、 $\beta^n$ が Parry 数にならない場合、 $\text{Ord}_P(\beta) = 0$ とする。

2.2 ペロン数の新しい分割

この定義に基づき、ペロン数の集合 $\mathcal{P}$ を以下のように分割する。
$\mathcal{P} = \left( \bigcup_{n \ge 0} H_n \right) \cup H_\infty$

$H_n$ : パリー順序が $n$ であるペロン数の集合。
$H_\infty$ : パリー順序が無限大である集合（ピソット数とセールム数の和集合 $S \cup T$ ）。

2.3 判定基準の活用

解析には以下の既存の基準を拡張・応用している。

Solomyak の基準: $\beta$ の共役数の絶対値が黄金比 $\theta_0 = \frac{1+\sqrt{5}}{2}$ を超える場合、 $\beta$ は Parry 数ではない。
Boyd の基準: 最小多項式の定数項（尾の係数）の絶対値が $\beta$ より大きい場合、 $\beta$ は Parry 数ではない。
Akiyama のテスト: 特定の共役数 $\gamma$ に対する $\beta$ -軌道の評価を用いて非 Parry 性を判定する。

3. 主要な結果と貢献

3.1 パリーべき乗の無限性と数値的性質

命題 1.2において、以下の強力な同値関係が証明された。

ペロン数 $\beta$ に対して、 $\beta^n$ が無限に多くの $n$ で Parry 数になる必要十分条件は、 $\beta$ がピソット数またはセールム数であることである。

帰結: ピソット数でもセールム数でもないペロン数（非 Pisot/non-Salem Perron numbers）の場合、 $\beta^n$ が Parry 数になる $n$ は有限個に限定される。
Lehmer 予想との関連: この結果は、Lehmer 問題（マラー測度の下限）の動的なバージョン（Conjecture 1.6）を提示する。すなわち、ある閾値（最小のセールム数 $\tau_{10} \approx 1.176$ ）以下のペロン数 $\beta$ について、 $\beta^n$ が Parry 数になるのは有限回だけであるという予想を立てている。

3.2 パリー順序の上限評価

$\beta$ が非 Pisot/non-Salem のペロン数である場合、そのパリー順序 $\text{Ord}_P(\beta)$ は、次数 $d$ とマラー測度 $M(\beta)$ によって上限が定められることを示した（定理 2.2）。
$\text{Ord}_P(\beta) \le \frac{d \log(\theta_0)}{\log(M(\beta)) - \log(\beta)}$
また、最大共役数の絶対値 $\gamma$ を用いたより計算効率的な上限 $K(\beta) = \lceil \frac{\log \theta_0}{\log |\gamma|} \rceil$ も提案されている（補題 2.3）。

3.3 具体的な例と構造の豊かさ

非 Parry 数から Parry 数への遷移: 著者らは、 $\beta$ 自体は非 Parry 数であるが、 $\beta^2$ が Parry 数となるようなペロン数の具体的な例を初めて提示した（例 3.1）。これにより、 $H_n$ ( $n \ge 1$ ) が空でないことが示された。
立方体の非ピソット数: 3 次ペロン数（特に実数解を持つもの）について詳細な分析を行った。
- 共役数の配置によっては、 $\text{Ord}_P(\beta)$ が 0 になる場合もあれば、奇数に限られる場合もある（命題 3.8, 3.9）。
- 定理 3.11: 任意の $N$ に対して、 $\text{Ord}_P(\beta) > N$ となる非ピソット Parry 数 $\beta$ が存在することを証明した（命題 3.13）。これにより、パリー順序は任意に大きく取れることが示された。
多項式族の解析: $x^d - x - 1$ と $x^d - x^{d-1} - 1$ の根について、 $\beta^k$ が Parry 数になる条件を数値的に検証し、いくつかの予想（Conjecture 3.3, 3.5）を提示した。

3.4 数値的データと分布

表 3.5 に示されるように、次数 $d$ や係数の範囲 $N$ を変えてペロン数を生成し、 $H_n$ への分布を調査した。

次数 $d$ が増加するにつれ、 $H_0$ （常に非 Parry）の割合が増加し、 $H_1$ や $H_\infty$ の割合が減少する傾向が見られた。
$H_n$ ( $n \ge 2$ ) が空でないことが数値的に確認され、ペロン数の空間がパリー順序によって細かく構造を持っていることが示唆された。

4. 結論と意義

本論文は、ペロン数のべき乗が Parry 数となる性質を「パリー順序」という新しい不変量によって定式化し、ペロン数の集合を動的な観点から再分類することに成功した。

理論的意義:
- ピソット数・セールム数とそれ以外のペロン数の間の「Parry 性」の振る舞いの決定的な違い（無限 vs 有限）を明確にした。
- Solomyak や Boyd の既存の基準を、べき乗の動的挙動に適用可能な形で一般化した。
- Lehmer 予想や Schmidt 予想との深い関連性を指摘し、新しい研究の方向性を示唆した。
実用的・計算的意義:
- パリー順序の上限を代数的不変量（マラー測度、共役数）から推定する具体的な式を提供した。
- 非 Parry 数であっても、特定のべき乗で Parry 数になるという直感に反する現象の具体例を初めて構築し、 $H_n$ の非自明性を示した。
今後の展望:
- Boyd の予想（高次セールム数には非 Parry 数も存在する）の検証への貢献。
- 最小のセールム数に関する研究への新たなアプローチの提供。

総じて、この研究は $\beta$ -展開理論と古典的な数論的予想を結びつける重要な架け橋となり、ペロン数の動的な構造理解を深める画期的な成果である。