🔢 mathematics

Collatz Representations With Bounded Partial Quotients

この論文は、有理数の部分集合に対するコラッツ表現を定義し、区間 $(-1, 1)$ の外側にある任意の数は、1と2の数字のみで構成されるコラッツ表現を持つ有理数によって任意に近似できることを証明している。

原著者： Franciszek Kobus

公開日 2026-07-20

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

原著者： Franciszek Kobus

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

数値の無限迷宮

あなたは、あらゆる本が「数」である広大で無限の図書館に立っていると想像してください。私たちの多くは、3.14のような小数や、1/2のような分数といった標準的な数の書き方に慣れています。しかし、数学者は、他の人がただの岩塊として見ているものの中に、彫刻家が像を見出すように、古いものに対して新しい見方を発明することを得意としています。この図書館における最も有名なパズルの一つが、「コラッツ予想」です。これは単純なゲームです。任意の整数を取り、もしそれが偶数なら半分にし、もし奇数なら3倍して1を足します。これを永遠に繰り返します。大きな疑問は、すべての開始数が、1、4、2、1、4、2...という小さなループに最終的に捕まってしまうのか？ということです。誰も確かなことは分かっていませんが、これは数十年にわたり、世界最高の知性を悩ませ続けている謎です。

このような謎を解くために、数学者はしばしば「地図」を用います。一般的な地図は「連分数」と呼ばれ、数をレシピのように、一連の小さな整数へと分解します。この新しい論文では、フランシセク・コブス（Franciszek Kobus）によって、新しい種類の地図である「コラッツ表現」が発明されました。単に数を分解するのではなく、この地図は、その数がコラッツゲームをプレイする際に辿る具体的なステップを記録します。実は、これらのステップを見ることで、私たちは数字を、数学のDNAの中に隠された秘密のコードを見つけ出すかのように、隠れたパターンを明らかにする方法で記述できるのです。この論文は、魅力的な問いを投げかけています。「もし、このレシピに使う数字を1と2だけに限定した場合、私たちは実際にどれだけの数に到達できるのだろうか？」

1と2の魔法のレシピ

この論文の中で、著者は有理数（分子と分母が奇数である分数）を、コラッツゲームを用いて記述する特別な方法を紹介しています。コラッツのアルゴリズムを一つの機械と考えてください。数を与えると、それは一連の指示を吐き出します。もしその数が奇数なら、機械はそれを3倍して1を足します。その後、結果が再び奇数になるまで、2で割り続けます。何回2で割る必要があったかが、「部分商」として記録されます。

例えば、1から始めると、機械は次のように動きます： $3(1)+1 = 4$ 、そして1に戻るまで2で2回割ります。したがって、指示は「2で2回割る」となり、これは数字の2として書かれます。1の「コラッツ表現」は、2が繰り返される数列になります。次に、-1から始めると、機械は次のように動きます： $3(-1)+1 = -2$ 、そして-1に戻るまで2で1回割ります。したがって、-1の表現は、1が繰り返される数列になります。

この論文は、非常に素晴らしい事実を証明しています。ループして自分自身に戻るすべての有理数（1や-1のように）は、これらの指示の、一意的で繰り返されるレシピを持っているということです。それは指紋のようなものです。異なる二つの数は、全く同じ繰り返しのステップを持つことはありません。

1と2のフラクタル森林

本当の魔法は、著者が「もしレシピに1と2だけを使うとしたらどうなるだろうか？」と問うときに起こります。

あなたが木を育てているところを想像してください。一つの点から始まります。そして、枝分かれしていきます。レシピに「1」を加えると、ある方向へ進みます。「2」を加えると、別の方向へ進みます。この論文は、もし1と2だけを使って作れるすべての数の地図を作り続けるならば、それは単なるランダムな点の散らばりにはならないことを示しています。それはフラクタルになります。

フラクタルとは、シダの葉や雪の結晶のように、どれほどズームしても同じ形に見える図形のことです。著者はこれらの点をグラフ上に描き、線で結びます。その結果、美しく自己相似的なパターンが現れます。論文は、これらの図形が「相似」であることを証明しています。つまり、それらは同じ形であり、単に拡大または縮小されているということです。具体的には、角を共有する二つの図形がある場合、それらが横に並んでいれば一方は他方の2/3のサイズであり、上下に重なっていれば4/3のサイズになります。それは、数学で作られたロシアのマトリョーシカ人形のようなものです。

隙間を埋める

最も驚くべき発見は、このフラクタルがいかに「充実しているか」についてです。著者は、負の無限大から-1まで、および1から正の無限大までの数直線において、1と2だけで構成された数が、その範囲内のあらゆる数に「いくらでも近く」存在することを証明しています。

これは、ダーツでターゲットを狙うようなものだと考えてください。もしターゲットが-5.738のような数であれば、1と2で作られたダーツで正確に当てることはできないかもしれません。しかし、この論文は、いくらでも近づけることを証明しています。あなたは-5.7380001、あるいは-5.7380000001という場所に当たるダーツを投げることができます。ターゲットの周りにどれほど小さな隙間を描いたとしても、その中には「1と2の数」が存在します。

著者は、これらの数を見つけるためのステップ・バイ・ステップのレシピ（構成的証明）を提供しています。それは「熱いか冷たいか（ホット・アンド・コールド）」のゲームのようなものです。数から始めて、もし値が高すぎるなら、レシピに「2」を加えて値を下げます。もし低すぎるなら、「1」を加えて値を押し上げます。この論理に従うことで、無限の精度で任意の数に絞り込むことができます。

これが意味すること（そして意味しないこと）

この論文は、自らの主張について非常に慎重です。繰り返される1と2の任意の数列に対して、それに一致する有理数がちょうど一つ存在することを証明しています。しかし同時に、すべての1と2の無限数列が、分子と分母が奇数である有理数の集合に対応するわけではないことも指摘しています。いくつかの数列は、特定の有理的な地点に着地するにはあまりに荒々しすぎます。

著者はまた、有名なコラッツ予想にも触れています。この新しい言語において、コラッツ予想は「正の整数の中で、ループに陥るのは1だけである」と言い換えることができます。論文は、負の数（-1、-5、-7など）に対して存在する他のループも挙げていますが、正の整数については、1が唯一知られている「絶対周期的な」数です。

さて、私たちは何を学んだでしょうか？コラッツゲームの混沌としたダンスが、1と2による構造化された美しい言語へと翻訳できることを学びました。この言語は、数直線上の特定の領域を覆うフラクタル地図を作り出し、数直線の外側の領域にあるほぼすべての数に、驚異的な精度で近似することを可能にします。これは、最も手強い数学のパズルの中にさえ、描かれ、繋がり、理解されるのを待っている隠れたパターンが存在するという、鮮やかな教訓なのです。

技術的要約：有界部分商を持つコラッツ表現

問題の定義
本論文は、有名なコラッツ予想に触発された新しいアルゴリズムの枠組みを通じて、奇数の分子と分母を持つ有理数（ $Q_{odd}$ と表記）の表現方法を扱っている。標準的なコラッツ予想は、 $x \mapsto 3x+1$ （および2による除算）という写像の下での整数の軌道に関するものであるが、本研究では、連分数に類似した「コラッチ表現」を $Q_{odd}$ の要素に対して定義している。中心となる調査対象は、コラッチ表現が部分商1および2のみで構成される有理数の集合の構造である。具体的には、著者はこの集合の実数における密度および幾何学的性質を明らかにすることを目的としている。

手法
著者は、 $a \in Q_{odd}$ を始点とするコラッツ・アルゴリズムを以下のように定義する：

$A_1 = 3a + 1$ で初期化する。
$A_i$ の分子（簡約形式において）の2進付値（2-adic valuation）を $a_i$ とする。
$B_i = A_i \cdot 2^{-a_i}$ と定義し、 $A_{i+1} = 3B_i + 1$ として反復計算を行う。

このプロセスにより、正の整数の無限列 $C(a) = [a_1, a_2, \dots]$ が生成され、これを $a$ のコラッチ表現と呼ぶ。本論文は、最終的に周期的な数列と、 $Q_{odd}$ に含まれる最終的に周期的なコラッチ表現を持つ有理数との間の全単射を確立している。

主要な手法は以下の通りである：

逆写像： 最終的に周期的な数列に対して、一意な有理数 $a = C^{-1}([a_1, \dots, a_n, (b_1, \dots, b_k)])$ を計算するための明示的な公式（式5）を導出すること。
幾何学的構成： 1と2のみからなる任意の有限列 $A$ に対して、点 $P(A) = (C^{-1}[A, (2)], C^{-1}[A, (1)])$ を $\mathbb{R}^2$ 内に定義する。長さが増加する数列から導かれる点を結ぶことで、著者による幾何学的図形 $P_n$ の列を構成する。
解析的証明： 逆写像の公式を用いた帰納法および代数的操作を用いて、これらの幾何学的構造のスケール特性および収束限界を証明する。

主な貢献および結果

存在と一意性： 本論文は、最終的に周期的な正の整数の数列に対して、それを生成する $Q_{odd}$ 内の有理数がただ一つ存在することを証明している。これにより、最終的に周期的な数列と $Q_{odd}$ の特定の部分集合との間の、明確な全単射が確立される。
有界部分商のフラクタル構造： 1と2の数列によって生成される点の集合は、自己相似的なフラクタル構造を示す。著者は、集合 $P_n$ に関する3つの具体的な幾何学的仮説を証明している：
- スケーリング： 構成における隣接する点によって形成される三角形は、スケーリング因子 $2/3$ （水平方向の隣接）または $4/3$ （垂直方向の隣地）を持つ相似形である。
- 有界性： 集合 $P_n$ は、直線 $y - x = 0$ 、 $x - 1 = 0$ 、および $y + 1 = 0$ によって囲まれている。
- 極限挙動： 直線 $y=x$ と集合 $P_n$ の極限との交差の閉包は、 $x \leq 1$ である半直線に対応する。
密度定理： 主要な結果（定理 3.8）は、コラッチ表現が1と2のみで構成される有理数の集合が、区間 $(-\infty, -1] \cup [1, \infty)$ において**稠密（dense）**であることを示している。証明は構成的であり、任意の実数 $z \leq -1$ および任意の $\epsilon > 0$ に対して、1と2の数列をアルゴリズム的に構築することで $z$ を $\epsilon$ 以内で近似できることを示している。
弱いコラッツ予想の再定式化： 本論文は、この記法を用いると、弱いコラッツ予想は「完全周期的なコラッチ表現を持つ $Q_{odd}$ 内の正の整数は1のみである」と書き換えられることを指摘している。著者は、負の整数における既知の完全周期ループ（例： $[-1], [-5, -7]$ ）を列挙している。
非周期的数列における非一意性： 論文は、写像は最終的に周期的な数列については全単射であるが、すべての無限列に対して成立するわけではないことを明確にしている。1と2からなる無限列の中には、いかなる $Q_{odd}$ の数ともコラッチ表現として対応しないものが存在する。

意義と主張
本論文は、コラッツ・アルゴリズムと連分数との間の類似性を引き合いに出しながら、「有理数を表現するための独創的な方法」を提供していると主張している。その意義は以下の点にある：

コラッツ写像の下で（特に1と2という）有界な部分商を持つ有理数の部分集合に内在するフラクタル構造を明らかにしていること。
この特定の部分集合が領域 $(-\infty, -1]$ および $[1, \infty)$ において稠密であることを証明しており、これはこれらの領域の実数が、単純なコラッチ表現を持つ有理数によって任意に近似可能であることを意味している。
$P_n$ 構成を通じて、これらの数の分布を可視化する幾何学的視点を提供している。

著者は、結果が異なる設定における連分数への関連性に依存していること、および本研究が奇数の分子と分母を持つ有理数の特定の部分集合に焦点を当てていることを述べ、その範囲について謙虚な姿勢を保っている。本論文は、コラッツ予想自体を解決することを目的としたものではなく、むしろそのメカニズムを利用して、興味深い位相的性質を持つ新しい表現体系を定義することに主眼を置いている。