Asymptotic mean of digits of the $Q_s$-representation of the fractional part of a real number and related problems of fractal geometry and fractal analysis

この論文は、$s$ 進表現を一般化した自己相似幾何構造を持つ$Q_s$-表現における数字の漸近平均を導入し、その存在しない実数集合や特定の漸近平均を持つ実数集合の位相的・測度的・フラクタル的性質を研究するものである。

要約

🌟 論文の核心：数字の「平均」って何？

まず、この論文が扱っているのは、私たちが普段使っている「10 進法」や「2 進法」よりも少し複雑な**「Qs 表現（Qs-表現）」**という数字の書き方です。

イメージしてみてください。
普通の数字（例：0.12345...）は、決まったルール（10 なら 0〜9）で並んでいます。
でも、この論文の「Qs 表現」は、**「確率の袋」**から数字を引くような感覚で並んでいます。

• 0 がでる確率は 10%
• 1 がでる確率は 30%
• 2 がでる確率は 60%
  のような、偏ったルールで数字が並んでいる世界です。

この論文は、そんな偏ったルールで並んだ無限の数字列を見て、**「数字の平均値（アシンプトティック・ミーン）」**がどうなるかを調べています。

🍎 例え話：お菓子の袋

あるお菓子の袋に、赤・青・黄色のキャンディが無限に入っているとします。

• 赤：1 個
• 青：2 個
• 黄色：3 個
  という比率で並んでいるとします。

あなたが袋からキャンディを一つずつ取り出し、その**「色の数字」（赤=0, 青=1, 黄=2 など）を足して、「取り出した数の平均」**を計算するとします。

• 100 個取ったとき、平均は 1.5 くらい？
• 100 万個取ったとき、平均は 1.5 に近づく？

この論文は、**「この平均値が、無限に取っても『一定の値』に落ち着くのか、それともカクカクして決まらないのか？」**という問いを扱っています。

---

🔍 発見された 3 つの不思議な世界

著者たちは、この「平均値」の振る舞いによって、実数（0 から 1 の間の数字）を 3 つのグループに分けました。

1. 「平均値が決まらない」人々（カオスの世界）

「S」と呼ばれるグループです。

• 特徴: 数字を無限に並べても、平均値が「1.5 だ！」とか「2.0 だ！」と落ち着きません。
  • 最初は赤が多かったから平均が低い。
  • 次に黄色が大量に出てきて平均が高くなる。
  • また青が増えて下がる。
  • この「揺れ」が永遠に続き、最終的な答えが出ません。
• どんな数字？
  • 数学的には「ほとんど存在しない（確率 0）」と言われています。つまり、サイコロを無限回振って「平均が一定にならない」ような数字は、現実にはまず出会えません。
  • しかし、「存在しない」わけではありません。 0 から 1 の間には、このカオスな数字が**「至る所に」**（至る所に存在する）隠れています。
  • フーリエの性質: このグループの数字は、**「超フラクタル」**という性質を持っています。
    • 例え: 海岸線や雲の形のように、拡大しても同じように複雑な構造を持っています。実は、この「平均値が決まらない数字」の集まりは、非常に複雑で美しい「無限の迷路」のような形をしていることが証明されました。

2. 「平均値＝特定の数字の出現頻度」の人々（バランスの世界）

「M」と呼ばれるグループです。

• 特徴: 平均値が計算できるだけでなく、**「平均値 ＝ 特定の数字（例えば 1）の出現頻度」**という奇妙な一致が起きている数字たちです。
• 例え:
  • 「平均値が 1.5 になる」だけでなく、「1 という数字が 50% 出てくる」という条件が、偶然（あるいは必然）として一致している状態です。
  • このグループも、普通の数字（確率 1 の世界）には含まれませんが、**「0 ではないが、非常に薄い」**存在として、0 から 1 の間に散らばっています。
  • これらの数字の集まりも、**「フラクタル（自己相似的な複雑な図形）」**の形をしています。論文では、その複雑さの度合い（ハウスドルフ次元）を計算し、「0.87 くらい」や「log2 3」などという値を出しています。

3. 「平均値＝0 または最大値」の人々（極端な世界）

「M2」と呼ばれるグループです。

• 特徴: 平均値が特定の数字（例えば 2）に等しくなるためには、**「他の数字は全く出てこない」**という極端な条件を満たさなければなりません。
• 例え:
  • 「平均が 2 になる」ためには、100% の確率で「2」しか出てこない必要があります。
  • これは、**「1 つの数字しか並んでいない」**という、非常に単純で退屈な世界です。
  • このグループは、数学的には「次元 0」つまり**「点」**のような扱いになります。複雑な迷路ではなく、ただの「点」の集まりです。

---

💡 この研究がなぜ重要なのか？

一見すると「数字の平均」なんてどうでもいいように思えますが、実は**「フラクタル幾何学」や「確率論」**の重要なピースです。

1. 普通の数字と「変な」数字の境界:
   私たちが普段使う数字（正規数）は、平均値がきれいに決まります。しかし、その「境界」には、平均値が決まらないカオスな数字が隠れています。この研究は、**「どこまでが普通で、どこからが異常なのか」**という境界線を描き出しています。
2. 隠れたパターンの発見:
   「平均値が決まらない数字」は、一見ランダムで無秩序に見えます。しかし、この論文は、それらが実は**「超フラクタル」**という、驚くほど高度な秩序（複雑さ）を持っていることを示しました。
   • 例え: 雪の結晶はランダムに思えますが、実は完璧な幾何学模様を持っています。同じように、「カオスな数字」も、実は「超複雑な幾何学模様」を持っているのです。

🎓 まとめ

この論文は、**「数字の並び方」という一見地味なテーマから、「平均値が定まらないカオスな数字」という、「超フラクタル（超複雑な図形）」**の姿を暴き出しました。

• 普通の数字: 平均値が落ち着く、平和な世界。
• 変な数字（S）: 平均値が揺れ続ける、無限に複雑な迷路（超フラクタル）。
• 特殊な数字（M）: 平均値と頻度が奇妙に一致する、バランスの取れた世界。

著者たちは、数学の「数字」の奥底に、**「美しきカオス」と「隠れた秩序」**が潜んでいることを、この「平均値」というレンズを通して見せてくれました。

「数字の平均」を調べることは、単なる計算ではなく、**「無限の世界の地形図を描くこと」**と同じだったのです。

技術概要

論文要約：実数の小数部分の $Q_s$ 表現における桁の漸近平均とフラクタル幾何学・解析学に関連する問題

著者: M. V. Pratsiovytyi, S. O. Klymchuk
対象: 実数の $Q_s$ 表現、漸近平均、フラクタル次元、特異分布

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

従来の数体系（$s$ 進法など）を超え、負の $s$ 進法、連分数、Cantor 級数、Lüroth 級数など、非伝統的な数表現（数体系）の研究が進展しています。これらの表現はそれぞれ固有の幾何学、位相、測度論的・確率的理論を持ち、実数のフラクタル理論の発展の基盤となっています。

本論文は、$Q_s$ 表現（$s$ 進法の一般化であり、自己相似幾何学を持つ）に焦点を当て、以下の新しい概念を導入し、その性質を研究することを目的としています。

• 問題: 実数の $Q_s$ 表現における「桁の漸近平均（asymptotic mean of digits）」の概念を定義し、この値が存在しない実数の集合、および特定の条件を満たす実数の集合の位相的、測度的、フラクタル的な性質を解明すること。
• $Q_s$ 表現の定義:
  固定された集合 $Q_s = \{q_0, \dots, q_{s-1}\}$（$q_i > 0, \sum q_i = 1$）と、アルファベット $A_s = \{0, 1, \dots, s-1\}$ に対し、区間 $[0, 1]$ の任意の実数 $x$ は以下のように一意に（または 2 通りに）表現されます。
  $$x = \Delta_{Q_s}^{\alpha_1 \alpha_2 \dots} = \beta_{\alpha_1} + \sum_{k=2}^{\infty} \left( \beta_{\alpha_k} \prod_{j=1}^{k-1} q_{\alpha_j} \right)$$
  ここで $\beta_j = \sum_{i=0}^{j-1} q_i$ です。

2. 主要な概念と手法

2.1 桁の漸近平均（Asymptotic Mean of Digits）

実数 $x$ の $Q_s$ 表現における $k$ 桁目を $\alpha_k(x)$ とします。漸近平均 $r(x)$ は以下のように定義されます。
$$r(x) = \lim_{n \to \infty} \frac{1}{n} \sum_{i=1}^n \alpha_i(x)$$
この極限が存在する場合、その値を $r(x)$ と呼びます。

• 頻度との関係: 各桁 $i$ の頻度 $\nu_i(x) = \lim_{n \to \infty} \frac{N_i(x, n)}{n}$ がすべて存在する場合、漸近平均は以下の関係式で表されます。
  $$r(x) = \sum_{i=0}^{s-1} i \cdot \nu_i(x)$$
  特に 2 進法（$s=2$）では、$r(x)$ は桁「1」の頻度 $\nu_1(x)$ と一致します。

2.2 研究対象となる集合

論文では主に以下の 2 つの集合の性質を分析しています。

1. $S$: 漸近平均 $r(x)$ が存在しない実数の集合。
   $$S = \{ x \in [0, 1] : r(x) \text{ は存在しない} \}$$
2. $M_i$: 漸近平均 $r(x)$ が特定の桁 $i$ の頻度 $\nu_i(x)$ に等しくなる実数の集合。
   $$M_i = \{ x \in [0, 1] : r(x) = \nu_i(x) \}$$
   特に $s=3$ の場合（$Q_3$ 表現）について詳細な解析を行っています。

3. 主要な結果

3.1 漸近平均が存在しない集合 $S$ の性質（定理 1）

集合 $S$ について以下の性質が証明されました。

• 位相的性質: $S$ は連続（非可算無限）、至るも至る所稠密（everywhere dense）、かつ至る所不連続（everywhere discontinuous）な集合です。
• 測度論的性質: $S$ のルベーグ測度は 0 です（非正規数の部分集合であるため）。
• フラクタル次元: $S$ のハウスドルフ・ベシコビッチ次元（$\alpha_0$）は 1 です。
  • この結果は、$S$ が「超フラクタル（superfractal）」であることを意味します。通常の非正規数の集合と同様に、その構造は非常に複雑で、次元が最大値（区間の次元）に達しています。

3.2 漸近平均と頻度が一致する集合 $M_i$ の性質（$s=3$ の場合）

$Q_3$ 表現において、$r(x) = \nu_i(x)$ となる集合 $M_i$ ($i=0, 1, 2$) の解析を行いました。

• $M_0$ ($r(x) = \nu_0(x)$):
  • 条件: $2\nu_1(x) + 3\nu_2(x) = 1$ を満たす。
  • 性質: 連続、至る所稠密、ルベーグ測度 0。
  • 次元: ハウスドルフ次元は少なくとも 0.8733 以上であることが示されました（最適化問題として計算）。
• $M_1$ ($r(x) = \nu_1(x)$):
  • 条件: $\nu_2(x) = 0$ かつ $\nu_1(x) = 1 - \nu_0(x)$。
  • 性質: 連続、至る所稠密、ルベーグ測度 0。
  • 次元: ハウスドルフ次元は少なくとも $\log_2 3 \approx 1.585$ 以上（注：原文の $\log_2 3$ は $s=3$ における対数計算の結果として提示されていますが、通常次元は 1 以下になるため、文脈上は特定の部分集合の次元評価または計算式の最大値を示唆しています。原文の記述通り「少なくとも $\log_2 3$」と報告されています）。
• $M_2$ ($r(x) = \nu_2(x)$):
  • 条件: $\nu_1(x) = \nu_2(x) = 0, \nu_0(x) = 1$。
  • 性質: 集合 $E[1, 0, 0]$ に相当し、すべての桁が 0 であるような数（$x=0$ に収束する点など）のみを含みます。
  • 次元: ハウスドルフ次元は 0 です。これは「異常なフラクタル（anomalously fractal）」集合と分類されます。

4. 貢献と意義

1. 概念の確立: 実数の $Q_s$ 表現における「桁の漸近平均」という新しい概念を定義し、従来の「桁の頻度」の概念を一般化・拡張しました。
2. フラクタル幾何学への応用: 漸近平均の存在・非存在、および特定の値をとる実数の集合が、どのような位相的・測度的・フラクタル的性質を持つかを体系的に解明しました。
   • 特に、漸近平均が存在しない集合が「超フラクタル（次元=1）」であることを示した点は、非正規数の研究における重要な進展です。
3. 特異分布の理解: 正規数（normal numbers）の補集合や、特定の頻度制約を満たす集合の構造を、フラクタル次元の観点から定量化しました。
4. 将来の研究方向の提示: 漸近平均関数 $r(x)$ のグラフのフラクタル性、$r(x) = kx + b$ という方程式の解、確率変数としての分布など、多くの未解決問題を提起し、今後の研究の道筋を示しました。

5. 結論

本論文は、$Q_s$ 表現という一般化された数体系において、桁の統計的性質（漸近平均）を研究する新たな枠組みを提供しています。得られた結果は、実数の集合が持つ複雑なフラクタル構造（特に次元が 1 であるが測度が 0 である「超フラクタル」の存在）を浮き彫りにし、フラクタル幾何学と数論の交叉領域における重要な知見となっています。