🔢 mathematics

A Matrix Analogue of Rational Number Systems

本論文は、有理数系の行列類似体に対する有限性特性を持つ数字系の存在に関する十分条件を確立し、有限オートマトンを利用して、二次元において有限性と一意性の両方の特性を有する系を構成するとともに、展開木を用いてベクトル展開を導出するものである。

原著者： Anjelo Gabriel R. Cruz, Manuel Joseph C. Loquias

公開日 2026-07-10

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

原著者： Anjelo Gabriel R. Cruz, Manuel Joseph C. Loquias

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

想像してみてください、あなたは魔法の数体系を持っています。しかし、それは（私たちの通常の10進法や2進法のような）単一の基数ではなく、行列を使って数えるのです。行列を、単なる退屈な数字のグリッドとしてではなく、空間を伸ばし、ねじり、回転させる多次元的な複雑な機械として考えてみてください。

Anjelo Gabriel R. Cruz氏とManuel Joseph C. Loquias氏によるこの論文は、大きな問いを投げかけています。**「もし『基数』がこのねじれる機械であるとしたら、私たちは、単純な『桁（digit）』の有限のリストを用いて、あらゆるベクトル（空間内の矢印）を書き記すことができるだろうか？」**という問いです。

大きなアイデア：行列マシン

通常の10進法で「13」という数値を書きたい場合、「10が1つと1が3つ」と言います。これは、10の累乗を用いて数値を分解しています。

著者たちは、これと同じことを「空間内の矢印」に対して行おうとしています。彼らは、PとQという2つの特別な機械（行列）を持っています。彼らはこれらを組み合わせて、新しい機械 Q⁻¹P（これは「Qの逆行列×P」と考えてください）を作り出します。この機械が、彼らの新しい世界の「基数」となります。

目標は、あらゆる矢印 x を次のような和として書き表すことです：
x = (機械)⁰ × (桁) + (機械)¹ × (桁) + (機械)² × (桁) ...

ここでの「桁」とは、単なる0から9までの数字ではありません。それは、Dと呼ばれる特定の限定された集合から選ばれた、小さな矢印です。

二つの黄金律：有限性と一意性

著者たちは、2つの厳格なルールに従うシステムを探しています。

有限性の性質（Finiteness Property）： あなたのシステムでは、限られた数の桁のみを使用して、あらゆる矢印を書き記さなければなりません。無限に続く桁のリストは許されません！もし桁を永遠に足し続けることになるなら、そのシステムは失敗です。
一意性の性質（Uniqueness Property）： 特定の矢印に対して、書き方はただ一つであるべきです。もし同じ矢印を2通りの方法で書けるとしたら、そのシステムは乱雑で混乱を招きます。

著者たちは、もし機械 P と Q を慎重に選び（具体的には、それらが「互いに素」であり、かつ機械 Q⁻¹P が「膨張的（expanding）」、つまり空間を大きく引き離して物体を飛び散らせるような性質を持つ場合）、適切な桁の集合 D を選べば、このシステムが機能することを証明しています。

秘密兵器：有限オートマトン（魔法の翻訳機）

どのようにして彼らはこれを証明したのでしょうか？彼らは有限オートマトンと呼ばれるものを使用しました。想像してみてください、文字列の桁を読み取り、それを翻訳する、非常に高速で小さなロボットを。

第3節において、著者たちは2次元空間（紙の上の平らな矢印）のためのこれらのロボットを構築しています。彼らは「トランスデューサー（変換器）」を作成しました。これは、入力（例えば、右へ一歩進むこと）を受け取り、新しい桁の文字列を出力する機械です。

彼らは、ロボットがどのようにある状態から別の状態へと移動するかを示すマップ（遷移図）を描いています。
彼らは、特定の種類の機械 P と Q に対して、これらのロボットが常に落ち着くところを見つけました。ロボットは無限の混沌のループに陥ることはありません。最終的に停止するのです。これが、「有限性の性質」が成り立つことを証明しています。

展開木（Expansion Tree）：迷宮の経路

第4節で、著者たちは**展開木（Expansion Tree）**という概念を紹介しています。巨大で枝分かれする木を想像してください。その根（ルート）はゼロベクトル（宇宙の中心）です。

すべての枝は、桁を加えることを表しています。
すべてのノード（木の節点）は、到達できる特定の矢印を表しています。
根からノードへの経路は、その矢印の「コード」または「展開」です。

彼らはこの木について、非常に興味深いことを証明しました：

それは単純なループではありません： この木は非常に複雑であり、単純なコンピュータプログラム（「正規言語」）ではすべての経路を予測することができません。それは無限に複雑なのです。
繰り返されるパターンはゼロのみである： 木を下っていく際、もしパターンが永遠に繰り返されるのを見たとしても、機能するパターンは「ゼロの文字列」だけです。他のいかなる繰り返されるパターンも、行き止まりか矛盾へと導きます。

実数については？（開かれた謎）

ここまでは、整数の矢印について話してきました。しかし、実数（3.14など）についてはどうでしょうか？

著者たちは、もし「小数点の右側」に向かって（機械の負の累乗を用いて）桁を永遠に続けていくならば、実数ベクトルを表現できるのではないかと示唆しています。

彼らは、これらの実数ベクトルがどのような姿をしているかを見るために、シミュレーション（コンピュータによる近似）を行いました。
結果： 表現可能なすべての実数ベクトルの集合は、平面をタイル状に埋め尽くす（パズルのように）奇妙でギザギザした形状になります。
注意点： 彼らは、どの実数ベクトルが表現可能であるかという問題を解決したとは言っていません。彼らは、これを判断することは整数の場合よりも「大幅に困難である」と明言しています。彼らが提示しているのは、シミュレーションと視覚的な近似に基づいた**予想（コンジェクチャー）**です。

明確に否定されていること

この論文は、何が機能せず、何に追加条件が必要であるかを非常に明確に述べています。

一意性は自動的には得られません： 単に有限の桁を持っているからといって、その表現が一意的であるとは限りません。一意性を得るためには、正しい桁の集合（「完全剰余系」）を選ばなければなりません。
すべての行列が機能するわけではありません： 機械 Q⁻¹P は「膨張的」である必要があります（すべての固有値の絶対値が1より大きいこと）。もし機械が空間を広げるのではなく縮める性質を持っていたら、システムは崩壊します。
整数 vs 実数： 整数ベクトルに対して完璧に機能する手法（オートマトンを用いて証明されたもの）が、自動的に実数ベクトルの問題をも解決するわけではありません。実数ベクトルのケースは依然として研究の途上であり、著者たちは視覚的なモデルに基づいたタイリングの性質を提案しているに過ぎません。

結論

クルス氏とロキアス氏は、有理数（分数）の世界と行列の世界の間に架け橋を築くことに成功しました。彼らは、適切な機械を選べば、あらゆる整数ベクトルを有限かつ一意なコードで書き記せることを示しました。彼らはそれを証明するために「ロボット（オートマトン）」を構築し、それを可視化するために「木」を描きました。

しかし、複雑で無限な実数の世界に関しては、彼らはまだ第一歩を踏み出したに過ぎません。彼らは美しい地図を描き、それが世界全体を覆っていると推測しましたが、完全な証明はまだ発見されるのを待っている状態であることを認めています。

技術要約：有理数系における行列の類似系

問題提起
本論文は、有理数基数系（具体的には Akiyama らによって導入された $p/q$ 展開）の行列数字系への一般化を扱う。標準的な行列数字系は通常、整数行列 $A$ と数字集合 $D \subseteq \mathbb{Z}^d$ を用いるが、本研究では、基数が互いに素な可逆行列 $P, Q \in \mathbb{Z}^{d \times d}$ を用いた有理行列 $Q^{-1}P$ である場合を調査する。中心となる問題は、特定の $\mathbb{Z}$ -加群 $\mathbb{Z}^d[Q^{-1}P]$ のすべてのベクトルが、以下の形式の有限展開を持つための条件を決定することである：
$x = \sum_{i=0}^{\ell-1} (Q^{-1}P)^i Q^{-1} d_i$
ここで、数字 $d_i$ は有限集合 $D$ に属する。著者らは、有限性特性（このような有限展開の存在）および一意性特性（最小の長さ $\ell$ に対する展開の一意性）のための十分条件を確立しようとしている。

手法
著者らは、代数的数論、力学系、およびオートマトン理論の組み合わせを用いている：

代数的枠組み： 本研究は $\mathbb{Z}^d[Q^{-1}P]$ を、 $\mathbb{Z}^d$ を含む最小の非自明な $Q^{-1}P$ 不変 $\mathbb{Z}$ -加群として定義する。著者らは、商群構造を定義するために、互いに素な行列（ $P\mathbb{Z}^d + Q\mathbb{Z}^d = \mathbb{Z}^d$ ）の概念を利用する。彼らは、数字集合 $D$ が $(\mathbb{Z}^d + P\mathbb{Z}^d[Q^{-1}P]) / P\mathbb{Z}^d[Q^{-1}P]$ の完全剰余系を含む必要があることを確立している。
力学系： 除法アルゴリズムを模倣する商関数 $\Phi$ （商写像）を定義する。有限展開の存在は、この力学系のアトラクタ $A_\Phi$ の有限性と結びついている。アトラクタが有限であれば、そのシステムは有限性特性を有する。
整数ベクトルの制限付き除法： $\mathbb{Z}^d$ 内のベクトルの展開を扱うために、著者らは $\mathbb{Z}^d/P\mathbb{Z}^d$ の剰余への写像である「制限付き数字関数」 $d_r$ を導入する。これにより、制限付き力学系 $\Phi_r$ が導かれる。主要な補題は、もし $\Phi_r$ が有限のアトラクタを持つならば、拡張された $\mathbb{Z}^d[Q^{-1}P]$ 上のシステムも有限のアトラクタを持つことを示している。
オートマトン理論（次元 $d=2$ ）： $2 \times 2$ 行列の特定の場合において、著者らは有限のレター・トゥ・レター・トランスデューサ（文字間変換器）を構築する。これらのオートマトンは、与えられた数字展開への基底ベクトルの加算（例： $(1,0)^\top$ ）をモデル化する。遷移図とサイクル（特に自己ループと有限パス）を分析することにより、著者らは様々な特性多項式の係数に基づくアトラクタの構造を決定する。
展開木： 本論文は、 $\mathbb{R}^d$ のベクトルを表現するための「展開木」 $T_{P/Q}$ を構築する。これは実数の $p/q$ 展開木を一般化したものであり、パスのラベルとして $P/Q$ 展開を定義し、それらのパスの言語的性質を調査する。

主要な貢献と結果

有限性の一般条件： 本論文は、 $Q^{-1}P$ が膨張行列（すべての固有値の絶対値が $1 $より大きい）である場合、関連する力学系のアトラクタは有限であることを証明する。したがって、$ D $が関連する商群の完全剰余系であるならば、有限性特性を持つ数字系$ (P, Q, D)$ が存在する。
一意性と標準的システム： $D$ が完全剰余系であり、展開の長さが最小である場合、一意性特性が保持されることを著者らは明確にしている。有限性と一意性の両方を有するシステムは、「標準的」と呼ばれる。
$d=2$ における明示的なアトラクタ分類： 行列式が互いに素であり、特定の構造を持つ $2 \times 2$ $2 \times 2$ 行列 $P$ $P$ および $Q$ $Q$ について、著者らは $Q^{-1}P$ $Q^{- 1} P$ の特性多項式 $\chi(x) = x^2 + \alpha x + \beta$ $χ (x) = x^{2} + α x + β$ の係数 $\alpha$ $α$ および $\beta$ $β$ に基づくアトラクタ $A$ $A$ の完全な分類を提示している。
- $0 \le \alpha \le \beta - 1$ または $0 < -\alpha \le 1$ の場合、アトラクタは自明である： $A = \{(0,0)^\top\}$ 。
- その他のケース（例： $1 < -\alpha \le \beta - 1$ ）では、アトラクタは行列の成分を用いた特定の線形結合によって生成される有限のベクトルの集合となる。
- これらの結果は、構築されたトランスデューサの挙動を分析し、特に無限周期語（オートマトンのサイクル）が非ゼロのアトラクタ要素に対応するかどうかを特定することによって導出されている。
言語の性質： 本論文は、整数ベクトルの有限 $P/Q$ 展開の言語 $L_{P/Q}$ が**接頭辞閉（prefix-closed）**であるが、正規（regular）ではないことを確立している。これは、異なるベクトルが異なる同値類を生成することを示すマイヒル・ネロードの定理を用いて証明されている。
実ベクトルの表現： 著者らは、基数の負のべき乗を用いた無限級数を用いて、 $\mathbb{R}^d$ 内の実ベクトルの $P/Q$ 展開を定義する。彼らは実ベクトルのための展開木の概念を導入し、これらの展開によって表現されるベクトルの集合が $\mathbb{R}^d$ のタイリング（和集合が $\mathbb{R}^d$ であり、互いの共通部分のルベーグ測度がゼロである集合の集まり）を形成するという予想を立てている。

意義と主張
本論文は、Akiyama らによって研究された有理数基数系（スカラーの有理基数 $p/q$ ）から、行列の有理基数（ $Q^{-1}P$ ）へとこれらの概念を拡張することで、これらへの直接的な類似物として位置づけている。

理論的拡張： 主要な意義は、有理数系と行列数字系の間の溝を埋めることにある。著者らは、 $p/q$ 基数で使用される「修正された除法アルゴリズム」が、基数が膨張行列であり、かつ数字集合が特定の商群の剰余系として選ばれる限り、行列の設定においても成功裏に適用できることを示している。
構成的アプローチ： $d=2$ のケースにおいて有限オートマトン（トランスデューサ）を利用することで、本論文は抽象的な存在証明を超えて、アトラクタを決定し有限性特性を検証するための構成的な手法を提供している。
タイリングへの接続： 著者らは、これらの数字系を自己アフィンタイルの理論に結びつけている。 $G_{P/Q}(v)$ によって $\mathbb{R}^d$ をタイリングするという予想は、これらの行列展開が標準的な進数系や自己アフィンタイル理論に見られるものと同様の幾何学的含意を持つことを示唆している。

著者らは、 $d > 2$ の一般の場合、および $P/Q$ 展開を認める実ベクトルの集合の完全な特徴付けについては、スカラーの場合よりも「大幅に困難」であると述べ、謙虚な姿勢を保っており、これらを今後の研究課題としている。本研究は、十分条件と $2 \times 2$ のケースにおける明示的な構成を提供し、幾何学的性質の全容解明に向けた基礎的な一歩となるものである。