技術要約：有限 $\beta$ 展開システムにおける内在的冗長性と局所的ロバスト性

1. 問題提起

現代のデジタル計算は、ほぼ排他的にバイナリ（二進法）表現に依存しているが、非整数基数（$\beta$ 展開）は、基数、数字のアルファベット、および許容される言語を独立して選択できる、より広い設計空間を提供する。アナログ $\beta$ エンコーダや記号力学に関する文献では、非整数基数（特に $1 < \beta < 2$）が意味論的な非一意性（単一の値に対して複数の異なる数字列が存在すること）を示すことが確立されているが、この冗長性が有限のデジタル算術においてどのような運用上の価値を持つのかは不明なままである。

本論文は、以下の特定の狭い問いに取り組んでいる：有限の標準的コードワードとして数値を格納する場合、内在的な $\beta$ 冗長性はどのような運用上のロバスト性を供給するのか？ 著者らは、以下の2つを区別している：

1. 周囲の意味論的不一意性（Ambient semantic non-uniqueness）：全数字列の空間における、単一の値に対する複数の文字列の存在。
2. 標準的コードブックの許容性（Canonical codebook admissibility）：格納のために選択された、厳密な部分集合（例：黄金比基数における「1が隣接しない」ルール）。

核心となる課題は、これらの許容される言語の固有の構造が、外部のエラー制御メカニズム（パリティビットやハミング符号のようなもの）なしに、故障を検出し、破損した状態を修復し、あるいは元の値を復元できるかどうかを判断することである。

2. 手法

本研究では、有限精度のハードウェアをシミュレートするために、限定ウィンドウ計算モデルを採用している。手法では、2つの異なる運用パイプラインを分離している。

A. 有限ウィンドウモデル

• ウィンドウ：固定された整数幅 $W$ が、インデックス $I_{L,R} = \{-R, \dots, L\}$ と共に定義される。
• コードブック：有効な格納語は、局所的な許容制約（例：$\beta=\phi$ の場合は "11" を禁止、Tribonacci の場合は "111" を禁止）を満たさなければならない。
• 境界効果：モデルは、オーバーフロー（$L$ を超える書き込み）と切り捨て（$-R$ 未満への書き込み）を明示的に追跡し、境界において正確な値の保存が失敗する可能性を認めている。

B. 運用パイプライン

1. 算術的標準化（Arithmetic Canonicalization）：有効なオペランドを桁ごとに加算すると、非標準的な中間状態（例：2以上の数字や禁止されたパターン）が生じる。決定論的なMSBファースト・スケジューラが、局所的な書き換えルール（例：$\phi$ における $011 \to 100$）を適用し、許容性を回復させる。
2. 破損修復（Corruption Repair）：既に格納されている許容コードワードが、単一桁の反転または局所的なバースト破損によって摂動を受ける。システムは、限定ウィンドウの正規化を通じて、観測された状態を修復しようと試みる。

C. 評価指標

論文では、一連の正当性基準を定義している：

• 構造的検知可能性（Structural Detectability）：破損が許容制約を違反するか（単語を構文的に無効にするか）。
• 構造的正当性（Structural Exactness / 値の保存）：修復プロセスが、破損した単語と同じ値を持つ許容単語を返すか。
• 意味論的生存（Semantic Survival）：修復プロセスが、元の故障前の値を復元できるか。
• コスト：書き換え操作の数（$\kappa$）および伝搬深度（$\pi$）で測定される。

D. 比較システム

本研究は以下を比較している：

• バイナリ (B)：標準的な基数2、アルファベット $\{0,1\}$。非冗長なベースライン。
• 符号付き NAF (S)：基数2、アルファベット $\{-1, 0, 1\}$ で、Non-Adjacent Form 制約を持つ。アルファベット駆動の冗長性を代表する。
• 黄金比 ($\Phi$)：基数 $\phi$、アルファベット $\{0,1\}$、「11」を禁止。
• Tribonacci ($T_3$) および Tetranacci ($T_4$)：より長い禁止パターン（"111" や "1111"）を持つ、高次のマルチナッチ基数。

3. 主要な貢献

A. 理論的結果

1. 単一桁の不可能性の結果：著者らは、いかなる標準的に単射な有限コードブックにおいても、真の単一桁の破損は、外部情報なしには意味論的に復元できないことを定式化した。単一桁の変化は数値自体を変更するため、かつ標準的なコードブックは単射（値と文字列の一対一対応）であるため、破損した状態から「値保存的」な修復を行っても、元の値とは異なる値が得られることになる。
2. 意味論的生存のための代数的核条件：多桁（バースト）破損に対する意味論的生存は、誤差ベクトルが評価写像の代数的核（algebraic kernel）に含まれる場合に限り可能である。これは、破損が値保存的な局所恒等式（例：$\phi$ における $100 \leftrightarrow 011$）と一致する場合にのみ発生する。
3. 冗長性の種類の区別：本論文は、周囲の意味論的な多重性（無限空間の特性）と標準的な許容性（格納される言語）を厳密に区別している。内在的な冗長性は、古典的なエラー制御の冗長性とは異なる、制約付き言語のリソースとして、構造的完全性のためのものであると論じている。

B. 実験的知見

1. 構造的検知可能性：
   • バイナリは構造的検知可能性がゼロである（すべてのビット反転が有効な単語となる）。
   • 冗長システム（NAF, $\Phi, T_3, T_4$）は、正の割合で故障を検知する。
   • トレードオフ：より厳格な言語（$\Phi$ など）は、より密な言語（$T_4$ など）よりも単一桁の故障に対する検知率が高いが、その代償としてストレージ容量（疎性）が低下する。
2. 修復コスト vs 正当性：
   • 符号付き NAF は最高の算術的正当性を達成するが、高い計算コスト（グローバルな再符号化）を必要とする。
   • 局所書き換えシステム ($\Phi, T_3, T_4$) は、非常に低い修復コスト（単一桁の故障に対して平均1回未満の操作）を持つが、境界による切り捨てのため算術的正当性は低くなる。
3. 意味論的生存：
   • 単一桁：すべてのシステムにおいて生存率はゼロである（不可能性の結果を裏付けている）。
   • バースト破損：冗長システムにおいて、小さく非ゼロの生存率が見られる。これは代数的な恒等式と厳密に一致している。例えば、$\Phi$ において、バーストが $100 \to 011$ に一致する場合は生存するが、ランダムなバーストは生存しない。
4. 境界効果：下限境界の切り捨ては、非整数基数における主要なエラー源である。ガード桁を追加することで切り捨てを効果的に抑制できるが、上限境界のオーバーフローの問題は解決しない。

C. 結果の要約

ウィンドウ幅 $W=24$ における実験結果の比較：

• 検知可能性：符号付き NAF (0.489) > $\Phi$ (0.431) > $T_3$ (0.223) > $T_4$ (0.119)。
• 修復コスト：符号付き NAF (23.03 ops) >> $\Phi$ (0.66 ops) > $T_3$ (0.26 ops) > $T_4$ (0.13 ops)。
• 意味論的生存（バースト）：符号付き NAF (2.3%) > $\Phi$ (1.8%) > $T_3$ (0.3%) > $T_4$ (0.1%)。
• 算術的正当性：符号付き NAF (75.3%) > バイナリ (49.2%) > $\Phi$ (32.3%) > $T_3$ (7.4%) > $T_4$ (1.7%)。

データは、**$\Phi$（黄金比）**が好ましいバランスを提供していることを示している。$\Phi$ は、有意な構造的故障の可視性と極めて低い局所修復コストを提供するが、符号付き NAF と比較して境界の切り捨てによる算術的正当性の低下という課題がある。

4. 意義と主張

本論文は、内在的な $\beta$ 冗長性の役割について、控えめながらも精密な主張を行って締めくくっている：

• 一般的な誤り訂正符号ではない：内在的な $\beta$ 冗長性は、任意の単一桁の破損を復元できる古典的な誤り訂正符号としては機能しない。「不可能性の結果」は、外部情報なしには、単一桁の故障から元の値を再構成することはできないという、ハードな理論的限界を確立している。
• 制約付き言語のリソース：むしろ、内在的な冗長性は、構造的故障の可視性および**値保存的な再許容化（re-admissibilization）**のためのメカニズムとして機能する。これにより、システムは格納された単語が有効な言語から外れたことを検出し、破損した値を維持したまま有効な状態へと修復することが可能になる。
• 選択的な意味論的生存：真の（元の値への）復元（意味論的生存）は、システムの局所的な書き換え恒等式と一致する、特定の代数的に整列された多桁の摂動（バースト）に対してのみ可能である。
• アーキテクチャへの示唆：本研究は、$\beta$ 展開が、低コストな局所オーバーヘッドで構造的違反を検出し、算術的中間状態を正規化するための「ネイティブ」なメカニメントを提供できることを示唆している。ただし、境界損失や一般的なエラー訂正に対処するためには、ガード桁や外部チェックなどの他のメカニズムと組み合わせる必要がある。

著者らは、本研究がアナログエンコーディングや外部エラー制御コードの広い文脈から離れ、格納された許容言語自体の特性を孤立させたものであり、有限デジタルシステムにおける内在的冗長性の限界を理解するための厳密なベースラインを提供していることを強調している。