技術要約：「波の記憶はいつ計算を行うのか？」

問題提起

本論文は、非従来型コンピューティングおよびニューロモーフィック・コンピューティングにおける根本的な曖昧さ、すなわち物理的メモリ（物理的記憶）と自律的な物理計算の区別について取り組んでいる。歩行する液滴、リザーバー・コンピューティング、皮質波などの物理系は、しばしばメモリ、フィードバック、および豊かな状態依存的ダイナミクスを示すが、これらの特性だけでは計算とはみなされない。中心となる問いは、「波の記憶を持つシステムは、いつ、単なる過去の痕跡を回復可能なダイナミカル・システムから、内部で独自の操作を選択する自律的な物理コンピュータへと移行するのか？」という点である。

著者らは、現在のフレームワークが、オブザーバー（観測者）によって割り当てられた計算的解釈と、内在的な物理計算を混同していると主張している。具体的には、彼らは「波・粒子ウォーカー」（垂直に振動する流体浴の上を跳ねる液滴）を調査しており、このシステムは自己生成された波場を通じて、情報の書き込み、保存、読み出し、および消去を行う。本論文は、この実験的に実現されたシステムが、自律的なコンピュータとしての資格を持つのか、それとも単にメモリを媒介としたダイナミカル・システムに過ぎないのかを明らかにすることを目的としている。

手法

著者らは、ダイナミカル・システム理論から圏論へと至る、物理系を分類するための厳密かつ多層的なフレームワークを開発している。

1. 物理モデリング（ストロボスコピック・リザーバー）：
   歩行する液滴は、離散時間状態 $x_n = (r_n, v_n, \sigma_n, H_n)$ を持つストロボスコピック・リザーバー・システムとしてモデル化される。

   • $r_n, v_n$: 液滴の位置と速度。
   • $\sigma_n$: 跳ね返りの位相。
   • $H_n$: 波の記憶場であり、過去の衝撃の指数関数的に減衰する痕跡を保持する（$H_{n+1} = \lambda H_n + \sigma_n \psi_{r_n}$）。
     このモデルは、書き込み（衝撃）、保存（減衰）、読み出し（局所的な勾配結合 $\nabla H_n(r_n)$）、およびフィードバックを明示的に分離している。

2. 三層の分類階層：
   本論文は、物理的な情報処理の階層を確立している：

   • レベル1：物理的メモリ： システムの状態が過去の状態に関する情報を符号化している（例：波の場 $H_n$）。
   • レベル2：遷移保存型計算： システムが、粗視化写像 $\Pi: X \to A$ を通じて抽象的な遷移規則 $G: A \to A$ を実装する（$\Pi \circ F = G \circ \Pi$）。これには、物理的なダイナミクスが、ノイズや有限の解像度の下でも抽象的な遷移の構造を維持すること（堅牢な盆地分離）が必要である。
   • レベル3：閉じた自律的物理計算： システムは、次の物理的操作を因果的に選択する内部的な物理読み出し状態 $y_n$ を含んでいなければならない。進化は $x_{n+1} = F_{C(y_n)}(x_n)$ の形式をとる。ここで、$C$ は内部の読み出しを操作へと写像する。

3. 圏論的定式化：
   これらの概念を定式化するために、著者らは圏論を用いている。

   • PhysProc: 物理プロセス（領域と射）の圏。
   • AbsProc: 抽象プロセスの圏。
   • 計算（Computation）: 粗視化を尊重する商関手 $Q_\Pi: \text{PhysProc}_\Pi \to \text{AbsProc}$ として定義される。
   • 自律性（閉鎖性/Autonomy/Closure）: 射の選択の内部化として定義される。標準的な関手による定式化では、操作は外部的であるが、閉じたケースでは、射はシステム自身の状態によって選択される（$o = C(p_Y(x))$）。これにより、図式は自己完結的となる。

主な貢献

1. 自律性のための閉鎖条件（Closure Criterion）：
   主要な理論的貢献は、自律的な物理計算の必要条件として「閉鎖（closure）」を定義したことである。本論文は、メモリとフィードバックだけでは不十分であると断じている。システムが自律的なコンピュータであるためには、物理的な読み出し変数が次に行われる操作を選択しなければならない。これは、システムが「計算している」のか、あるいは単に外部のエージェントによって「制御されている」か、あるいは「解釈されている」のかを区別するものである。

2. 堅牢な粗視化された遷移保存：
   本論文は、恣意的なオブザーバーによるラベル付けを拒絶することで、物理的計算の定義を洗練させている。それは、抽象的な状態が**分離された物理的盆地（basin）**に対応し、かつ遷移がノイズに対して安定していること（確率的盆地安定性）を要求する。これにより、マイクロ状態とシンボルの1対1の対応という要件が、物理的に意味のある堅牢なシンボル化という概念に置き換えられる。

3. 自律性の圏論的定式化：
   著者らは、自律性が射の選択プロセスの内部化に対応することを圏論的に証明している。閉ループ写像 $\Phi = \text{Act} \circ \langle C \circ p_Y, \text{id}_X \rangle$ を定義することにより、次の物理プロセスの選択が、外部から供給されるのではなく、システムの内部状態によって生成されることを示している。

4. ウォーカーへの適用：
   このフレームワークは、Perrard–Fort–Couderのウォーカー実験に適用されている。分析の結果、ウォーカーは以下の特性を持つことが確認された：

   • 物理的メモリ（波の場）。
   • 書き込み、保存、および局所的な読み出しメカニズム。
   • 外部的にトリガーされる消去（$\pi$ 位相シフトによる）。
   • 有限時間の軌道反転。
     しかし、分析の結果、ウォーカーは閉鎖条件を満たさないため、自律的なコンピュータではないと結論付けられた。その理由は、消去や反転をトリガーする操作（$\pi$ シフト）が外部から課されているためである。波のメモリに基づいて位相シフトを選択する内部的な物理読み出し状態 $y_n$ が存在しないのである。

結果

• ウォーカーの分類： 歩行する液滴は、「チューリング的なプリミティブを持つ波のメモリ物理マシン」として分類されるが、「閉じた自律的物理コンピュータ（またはチューリングマシン）」ではない。それはコンピュータの物理的プリミティブ（書き込み、読み出し、消去、フィードバック）を備えているが、内部的な操作選択というアーキテクチャ層を欠いている。
• 区別の検証： 本論文は、複雑なメモリ媒介型の反転や消去を示しながらも、自律的なコンピュータではないシステムが存在することを、成功裏に実証した。欠けているのは、制御信号の内部化である。
• 構成的な拡張： 論文は、ウォーカーを閉じたコンピュータへと変貌させる、閉鎖条件を満たす具体的な物理アーキテクチャの指針を示している。これらには以下が含まれる：
  • 多安定読み出しトラップ： 位相反転をトリガーするために、波の勾配によって駆動される双安定ポテンシャル。
  • 閾値波検出器： 波のエネルギーが閾値を超えたときに強制位相を切り替えるヒステリシス検出器。
  • 結合されたウォーカー： 第2のウォーカーを、第1のウォーカーの物理的コントローラとして用いる。
  • 境界制御リザーバー： 読み出し状態が浴のパラメータ（メモリの深さ、閉じ込め）を調節するもの。

意義と主張

本論文は、波ベースのコンピューティング解釈を拒絶するのではなく、それを**精緻化（sharpening）**するものであると主張している。これは、ウォーカーが驚くべき物理的情報処理を行っていることを否定するものではない。むしろ、物理的計算の階層の中で、そのシステムを正確に位置づけるものである。

• 理論的精密さ： 本研究は、「あらゆる物理系は、オブザーバーがそこに投影したものすべてを計算できる」というパンコンピューテーショナリズム（汎計算主義）への懸念を、遷移保存と内部的な操作選択を要求することで解決している。メモリは、それが堅牢な遷移保存的な盆地に整理され、内部の読み出しによって制御されるまで、計算ではないと断じている。
• 設計原理： 本論文は、非従来型コンピューティングの課題を、波のメモリをいかにして内在的な読み出し盆地へと結合させ、操作を選択させるかという設計問題へと再定義している。これにより、分野を「波のコンピュータ」という比喩的な記述から、構成的なアーキテクチャ的要求へと移行させている。
• 広範な適用可能性： 閉鎖条件は、ニューロモーフィック・ハードウェア、リザーバー・コンピューティング、および生物学的システム（例：皮質走行波）を評価するための一般的なツールとして提示されている。それは、これらのシステムにおける読み出しが、単にオブザーバーによって外部的に測定されるものなのか、それとも物理的に内部化され、将来のダイナミクスに因果的な影響を与えるものなのかを問うている。

要約すれば、本論文は、物理的メモリ ＋ 堅牢な粗視化された遷移保存 ＋ 内部的な操作選択 ＝ 閉じた物理的計算 であると論じている。歩行する液滴は、最初の二つ（の部分的）を満たしているが、三つ目の条件を満たしておらず、閉鎖条件の必要性を検証するための具体的なテストケースとして機能している。