🔢 mathematics

Balanced rectangles over Sturmian words and minimal discrepancy intervals

この論文は、 $n\alpha \bmod 1$ の分布に基づき、二次無理数以外の任意の傾き $\alpha$ を持つシュトルム語からなる $m\times n$ 行列のバランス性を、 $m$ と $n$ の $\alpha$ に関するオストロフスキー表現を用いて完全に特徴づけるものである。

原著者： Ingrid Vukusic

公開日 2026-04-20

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

CC BY 4.0

原著者： Ingrid Vukusic

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

1. 物語の舞台：「ストルミアン語」とは？

まず、ストルミアン語というものを想像してください。
これは「0」と「1」の文字が並んだ無限の列です。例えば、フィボナッチ数列（0, 1, 1, 2, 3, 5...）に関連する有名な「フィボナッチ語」は、この一種です。

特徴： この文字列は、ランダムに見えますが、実は**「完璧なバランス」**を持っています。
例え： 100 個の箱に、赤い玉（1）と青い玉（0）を並べるとします。ストルミアン語のルールでは、「どの長さの箱（連続した文字の塊）を取っても、赤い玉の数は、他の同じ長さの箱と比べて最大で 1 個しか違わない」という不思議な性質があります。これを**「バランスが取れている（balanced）」**と言います。

2. 問題の核心：「長方形のタイル」

研究者たちは、この 1 次元の文字列を、2 次元の**「長方形のタイル」**に広げてみました。

文字列を横に並べ、その上に同じ文字列をずらして重ね、長方形のマス目にします。
この長方形の中に含まれる「1（赤い玉）」の数が、どの位置から切り取っても、ほぼ同じ数になるか？ が今回のテーマです。

**「バランスが取れている長方形」**とは、例えば「2 行 3 列の長方形」をどこから切り取っても、中の「1」の数が「5 個か 6 個」だけしか変わらない状態を指します。もし「4 個」や「7 個」が出てきてしまうと、それはバランスが崩れている（不均衡）となります。

3. 発見：「オストロフスキーの魔法の辞書」

これまでの研究では、特定の「黄金比」のような特別な数字の場合しか、このバランスがどうなるか分かりませんでした。しかし、この論文の著者（イギリスの Vukusic さん）は、「どんな無理数（無限に続く小数）の斜め方向」でも、このバランスがどうなるかを完全に解明しました。

その鍵となったのが、**「オストロフスキー表現（Ostrowski representation）」**という数学的な「辞書」です。

比喩： 整数（m や n）を、その斜め方向の数字（α）に合わせた「特別な Lego ブロック」の組み合わせで表す方法です。
普通の足し算（10 = 5 + 5）ではなく、この「魔法の辞書」に従って、特定のブロック（q_k）を何個ずつ使うかで数字を表します。

著者は、**「m と n という 2 つの数字が、この魔法の辞書で書かれたとき、どのような『形』をしていれば、長方形はバランスを保つのか？」**というルールを突き止めました。

4. 結論：バランスを保つ 2 つの「秘密の形」

論文の結果を一言で言うと、長方形がバランスを保つのは、以下の 2 つの状況のどちらかだけだということです。

「分業」の形（Split Representations）：
- 小さい数字（m）は「小さなブロック」だけで構成され、大きい数字（n）は「大きなブロック」だけで構成されている。
- 例え： 小さい箱は「小粒の飴」だけで満たされ、大きい箱は「大粒の飴」だけで満たされている。混ぜていないので、均一に配りやすい。
「完璧なリズム」の形（Convergents）：
- 小さい数字（m）が、その斜め方向の数字の「最も良い近似値（分母）」そのものになっている。
- 例え： 小さい箱のサイズが、リズムの「拍子」そのものにぴったり合っている。大きい箱は、その拍子に合わせて「2 拍目、4 拍目…」のように規則正しく配置されている。

もし、m と n の「魔法の辞書」の形がこれらに当てはまらないなら、長方形のどこかで「1」の数がバラつき、バランスが崩れてしまいます。

5. なぜこれが重要なのか？

過去の限界を突破： これまでの研究は「特別な数字（二次無理数）」に限られていましたが、今回は**「あらゆる数字」**に適用できる一般解を見つけました。
新しい視点： 以前は「コンピュータで計算して探す」方法が主流でしたが、この論文は「数字が 1 周する（0 から 1 への分布）」という、より根本的な数学的な動き（ディオファントス近似）を使って証明しました。
応用： この「バランス」の理論は、通信技術、暗号、あるいは自然界のパターン理解など、幅広い分野で役立つ可能性があります。

まとめ

この論文は、**「無限に続く複雑なパターン（ストルミアン語）を、2 次元の長方形に切り取ったとき、いつまで『均等さ』を保てるのか？」**という問いに答えました。

その答えは、**「数字を『魔法の辞書（オストロフスキー表現）』で読み解いたとき、特定の『分業』の形か『リズム』の形をしている場合だけだ」**という、驚くほどシンプルで美しいルールでした。

まるで、複雑なパズルを解く鍵が、実は「ブロックの並び方」のたった 2 つのルールだけだった、という発見です。

イングリッド・ヴクシッチ（Ingrid Vukusic）による論文「BALANCED RECTANGLES OVER STURMIAN WORDS AND MINIMAL DISCREPANCY INTERVALS（ストゥルミアン語上の平衡な長方形と最小食い違い区間）」の技術的な要約を以下に示します。

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

ストゥルミアン語（Sturmian words）と平衡性
ストゥルミアン語は、無理数 $\alpha$ （傾き）と $\theta$ （切片）を用いて定義される無限の 2 値列（0 と 1）です。その基本的な性質として、同じ長さの任意の因子（部分列）に含まれる 1 の個数（重み）の差が最大でも 1 である「平衡性（balancedness）」が知られています。

高次元への拡張と未解決問題
Berthé と Tijdeman は、2 次元以上のストゥルミアン語は平衡ではないことを示しました。しかし、特定の形状（長方形）の部分行列が平衡になる条件は、特に斜率 $\alpha$ が二次無理数の場合に限って研究されてきました（Anselmo ら、Shallit と著者による先行研究）。
本研究の目的は、任意の無理数 $\alpha$ に対して、ストゥルミアン語から構成される $m \times n$ 長方形の平衡性を完全に特徴付けることです。

定義
$m \times n$ 長方形 $A(i, m, n)$ の重み $T(i, m, n)$ が、位置 $i$ に関わらずある整数 $c$ または $c+1$ の値のみをとるとき、その長方形は「平衡である」と定義されます。

2. 手法とアプローチ

本研究は、ストゥルミアン語の平衡性を、数論的・動的システム的な観点から再定式化することで解決を図っています。

A. 区間の平衡性への帰着
ストゥルミアン語の重み計算式を解析し、 $m \times n$ 長方形の平衡性は、以下の条件と等価であることを示しました（定理 3.1）。

長さ $\{n\alpha\}$ の区間が、点の集合 $\{0, \alpha, 2\alpha, \dots, (m-1)\alpha\}$ に対して「平衡」であること。
ここで「平衡」とは、任意の位置に置かれた長さ $\delta$ の半開区間が、点集合から $c$ 個または $c+1$ 個の点を含むことを意味します。これは、区間 $\delta$ に対する「最小食い違い（minimal discrepancy）」の概念と深く関連しています。

B. 写像の全単射性への変換
平衡性を判定するために、点集合上の特定の写像 $f_{\text{left}}$ と $f_{\text{right}}$ （区間の端点に最も近い点のインデックスを返す関数）を定義しました。

主要な補題（Lemma 4.3）: 区間長 $\delta$ が点間の距離と一致しない場合、区間が平衡であることと、これらの写像が**全単射（bijective）**であることは同値です。
この全単射性を判定するために、Ostrowski 表現（後述）を用いた整数の近似性質を詳細に分析しました。

C. Ostrowski 表現の活用
任意の無理数 $\alpha$ に対して、整数 $n$ を $\alpha$ の連分数の収束項の分母 $q_k$ を用いて一意に表現する「Ostrowski 表現」を導入しました。
$n = \sum b_k q_k$
この表現の係数（digits）の大小関係や、 $m$ と $n$ の表現における「桁の分割」の構造が、平衡性の有無を決定する鍵となります。

3. 主要な結果（定理 2.1）

論文の核心である定理 2.1 は、 $2 \le m \le n$ なる $m \times n$ 長方形が平衡であるための必要十分条件を、 $m$ と $n$ の $\alpha$ に対する Ostrowski 表現の形として完全に記述しています。

平衡となるのは、以下の 4 つのパターンのいずれかに当てはまる場合です（ $q_k$ は $\alpha$ の $k$ 番目の収束項の分母）：

桁の分割（Split Representations）:
- (i) $m$ が $q_0, \dots, q_M$ の線形結合、 $n$ が $q_{M+1}, \dots$ の線形結合（ $m$ と $n$ が異なる桁の範囲で構成される）。
- (ii) $m$ が $q_0, \dots, q_M$ の線形結合、 $n$ が $q_M$ と $q_{M+1+2t}$ 以降の項の和（特定の偶数ステップの桁のみを持つ）。
- これらの場合、 $n$ の Ostrowski 表現の「大きな桁」のみが $m$ の範囲を超えており、区間長 $\{n\alpha\}$ が極めて短く（または長く）、点の分布が均等になるため平衡となります。
収束項・半収束項の分母:
- (iii) $m = q_M$ であり、 $n$ が $q_M$ を中心とした特定の対称性を持つ形。
- (iv) $m$ が半収束項（ $q_{M-1} + a q_M$ ）の形であり、 $n$ が特定の偶数ステップの条件を満たす形。
- これらの場合、点 $\{k\alpha\}$ の分布が非常に均等であり、区間長が点間距離と調和しているため平衡となります。

具体例:

フィボナッチ語（ $\alpha = (3-\sqrt{5})/2$ ）において、 $m, n$ がフィボナッチ数である場合、これらは上記の条件を満たすことが知られており、本研究はこれを一般の無理数 $\alpha$ へ拡張しました。
例： $\alpha = \pi/4$ の場合、 $2 \times 10$ の長方形は平衡ですが、 $5 \times 10$ は平衡ではありません。これは Ostrowski 表現の形が定理の条件を満たすか否かで判定されます。

4. 貢献と意義

一般化: 先行研究が扱っていた「二次無理数（連分数展開が最終的に周期的）」という制限を撤廃し、任意の無理数 $\alpha$ に対して平衡性の完全な特徴付けを達成しました。
手法の革新: 従来の Walnut（自動機理論に基づくツール）や Zeckendorf 表現（フィボナッチ数）に依存するアプローチではなく、Diophantine 近似（ディオファントス近似）と食い違い理論（discrepancy theory）、特に $n\alpha \pmod 1$ の分布に基づいた新しい証明手法を確立しました。
理論的統合: ストゥルミアン語の平衡性、Ostrowski 表現の性質、および動的システムにおける有界剰余集合（bounded remainder sets）の概念を統一的な枠組みで結びつけました。
実用的な判定基準: 与えられた $m, n$ に対して、Ostrowski 表現を計算するだけで平衡性を判定できる明確なアルゴリズム的基準を提供しました。

5. 結論

本論文は、ストゥルミアン語から生成される高次元構造（長方形）の平衡性を、数論的な表現（Ostrowski 表現）を用いて完全に解明した画期的な成果です。これは、組合せ論、数論、および動的システムの交差点における重要な進展であり、特に非周期的な構造における「均等性」の条件を厳密に記述する上で重要な基礎を提供しています。