Self-graphing equations

技術要約：自己グラフ化方程式

問題提起
本論文は、「自己グラフ化方程式（self-graphing equation）」という概念、すなわち、デカルト平面上にグラフ化された際に、その方程式自体を画像として描き出す方程式 $F(x, y) = 1$ について論じている。著者は、このような方程式を非公式に追求する際に生じる2つの根本的な欠陥を指摘している：

1. 無意味性： タイポグラフィ（記号がいかにレンダリングされるか）および文字列から幾何学的集合への写像の厳密な仕様がなければ、この概念は定義が不適切である。
2. 自明性： 許容される関数のクラスに制限を設けない限り、この問題は自明である。ある関数 $F$ を、方程式の文字列の画像となる点の集合上では1を、それ以外では0をとるように定義すれば、構成によってグラフと画像が一致してしまう。

これらの問題を解決するため、本論文は計算理論の概念、特に再帰定理を用いて、自己グラフ化方程式が存在するための十分条件を特定することを目指し、問題を厳密に定式化している。

手法と定式化
本論文は、**「グリフ化された方程式の概念（glyphed notion of equations）」**と呼ばれる厳密なフレームワークを導入する。これは、以下のトリプル $(A, Gr, Gl)$ で定義される：

• $A$ (アルファベット)： 記号の有限集合。
• $Gr$ (グラフ化関数)： 文字列 $\sigma \in A^*$ を $\mathbb{R}^2$ の部分集合へと写す関数であり、方程式の幾何学的なグラフを表す。
• $Gl$ (グリフ関数)： 個々の記号 $x \in A$ を $\mathbb{R}^2$ の部分集合（文字の視覚的表現）へと写す関数。これは、個々の文字のグリフを単位間隔で連結することで、文字列へと拡張される。

自己グラフ化方程式とは、$Gr(\sigma) = Gl(\sigma)$ を満たす文字列 $\sigma \in A^*$ のことである。

中心となる手法は、計算理論、具体的には再帰定理（または不動点定理）に基づいている。著者は、**「自己制約（self-constraint）」**という性質を定義する。あるグリフ化された方程式の概念が「自己制約的」であるとは、文字列のゲーデル数化が存在し、全計算可能関数 $f: \mathbb{N} \to \mathbb{N}$ が存在して、任意の計算可能関数 $\phi_n$ について、$\phi_n(0)$ が文字列 $\tau$ のコードを出力する場合、$f(n)$ が、そのグラフ $Gr(\sigma)$ がまさに $\tau$ のグリフ画像 $Gl(\tau)$ となるような文字列 $\sigma$ のコードを出力するという条件を満たすことである。直感的には、$f$ は、あらゆる画像の記述（符号化されたもの）を受け取り、その特定の画像をグラフ化する方程式を構築できるアルゴリズムである。

主要な結果
中心的な定理（定理10）は、**「自己制約は、自己グラフ化方程式の存在の十分条件である」**ことを確立している。

• 証明の概略： 関数 $f$ を持つ自己制約的なシステムが与えられたとき、著者は全計算可能関数 $g$ を構成する。ここで $\phi_{g(n)}(0) = f(n)$ である。再帰定理により、$\phi_n = \phi_{g(n)}$ となるインデックス $n$ が存在する。したがって、$\phi_n(0) = f(n)$ である。$\phi_n(0)$ によって符号化される文字列を $\tau$、 $f(n)$ によって符号化される文字列を $\sigma$ とする。自己制約の定義より、$Gr(\sigma) = Gl(\tau)$ である。$\phi_n(0) = f(n)$ であるため、$\sigma = \tau$ が成り立つ。ゆえに、$Gr(\sigma) = Gl(\sigma)$ となり、$\sigma$ が自己グラフ化方程式であることが証明される。

具体的な例
この自己制約が単なる理論的な抽象概念ではないことを示すために、本論文は標準的なアルファベット（文字、数字、演算子、および無限積 $\Pi$ の記号）を用いた具体的なグリフ化された方程式の概念を構築している。

• このシステムは、無限積を用いることで、論理的言明（非有界な存在量化子 $\exists$ を含む）を方程式の中にエンコードすることを可能にする。
• 著者は、「点 $(x, y)$ が文字列 $\tau$ のグリフに含まれる」という条件が、チューリングマシンの停止挙動とピクセル定義を含む論理式を用いて表現可能であることを示している。
• システムの閉包性（具体的には、無限積を介した論理的連言、選言、否定、および量化の表現能力）を利用することで、この論理式が、許可された記号のみを用いて方程式 $E=0$ に変換可能であることを本論文は示している。
• この構成は、当該のシステムが自己制約的であることを証明しており、それによって、この特定の形式体系内において自己グラフ化方程式が存在することを保証している。

意義と主張
本論文は、方程式の構造的特性（自己制約）に焦点を当てることで、自己グラフ化方程式の問題に対する一般的な解決策を提供すると主張している。

• 欠陥の解決： 問題を定式化することにより、本論文は「無意味性」と「自明性」の問題を排除している。自己グラフ化方程式は、特定のフォントや「トリック」としての関数に依存するのではなく、自身の構文と意味論をエンコードする能力（自己制約）の結果であることを示している。
• 計算可能性との関連： 本研究は、自己グラフ化方程式をクワイン（Quine）（自己複製プログラム）と並行するものとして描き出し、クワインの存在を証明するのと同様の再帰定理を利用している。
• 汎用性： 結果は十分条件として提示されている。方程式とタイポグラフィのシステムが自己制約の定義を満たしていれば、そのシステムは必ず自己グラフ化方程式を持つ。本論文は、標準的なフォントにおける特定の人間が読める形式の方程式を提示することを目的としているのではなく、必要な論理的機構（特に非有界な量化子を表現する能力）を符号化できる能力を持つあらゆるシステムにおいて、そのような方程式が存在することを証明している。