🌀 nonlinear sciences

Collision-based logic in Lenia and its composition boundary

本論文は、LeniaにおけるOrbiumグライダーの衝突を利用して、機能的なINHIBITゲートおよび2段階のAND-NOTチェーンの構築を実証し、連続的セル・オートマトンにおいて衝突ベースの論理が可能であることを確立すると同時に、偏向した信号を後続のゲートへ確実にルーティングするという残された課題を浮き彫りにしている。

原著者： Chakshu Gupta

公開日 2026-09-02

📖 1 分で読めます☕ さくっと読める

CC BY 4.0

原著者： Chakshu Gupta

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

コンピューティングという広大な風景の中に、機械がシリコンチップや電気配線に頼るのではなく、パターンの単純で自己組織的な振る舞いに依存する静かな片隅があります。グリッド上のセルを想像してみてください。それぞれのセルは、画面上のピクセルのように、隣接するセルに基づいて明るくなったり暗くなったりしながら、時間の経過とともに変化する値を持っています。レニア（Lenia）として知られる特定の種類のデジタル宇宙において、これらのセルは単にオンになったりオフになったりするだけではありません。それらは流体のように流れ、形を作り出し、動き、呼吸し、そして自らを修復します。これらの形状の中には、グリッドを横切る際、内部のリズムで脈動しながら直線的に移動する、小さく自律推進する構造体である「グライダー」があります。何十年もの間、科学者たちは、これらの動くパターンが単に存在するだけでなく、これらが互いに衝突して計算を行うことができるのか、つまり情報の運び手がパターンの動きそのものであるようなコンピュータの構成要素になり得るのかという疑問を抱いてきました。衝突ベース・コンピューティングとして知られるこの概念は、他のデジタルシステムや現実世界の化学反応においては実現可能であることが証明されていますが、レニアのような流体的で連続的な世界において自然に創発するかどうかは、未解決の問いのままでした。

ジョージア工科大学のある研究者は、レニアのグリッドを論理の実験室として扱うことで、この問いに答えるべく着手しました。目標は、2つの移動するグライダーが衝突し、予測可能な結果を生み出すことで、実質的に信号をオンまたはオフにするスイッチを作成できるかどうかを確認することでした。研究者は、「オービウム（Orbium）」と呼ばれる、直進する安定した呼吸する形状を持つ特定のグライダーに焦点を当てました。2つ目のグライダーが1つ目のグライダーの経路を横切るように注意深く配置することで、研究者は、衝突によって信号を遮断できるのか、あるいは通過させることができるのかをテストしました。実験では、衝突の正確なタイミングやグライダーが衝突する角度を変化させながら、数千回の衝突シミュレーションが行われました。その結果、これらの衝突を用いて、コンピューティングの基本要素である論理ゲートを構築することが実際に可能であることが示されました。具体的には、研究者は「抑制（INHIBIT）ゲート」を構築しました。これは、第2の制御信号が存在しない場合にのみ信号を通過させる装置です。制御用グライダーが存在する場合、それは信号用グライダーをコースから逸らし、目的地に到達するのを防ぎます。制御が不在の場合、信号用グライダーは直進し、無事にアウトプットに到達します。

しかし、この成功には、特定かつ限定的な条件が伴いました。衝突は精密である必要があり、制御用グライダーは中心からわずか4ピクセル程度の誤差範囲という、非常に特定の距離で信号に衝突しなければなりませんでした。さらに、ゲートは、グライダーの呼吸サイクルのどの時点での衝突であっても機能しなければなりませんでした。研究者は、9つの異なる位置と、グライダーの24ステップの呼吸リズムのあらゆるフェーズにおいて、ゲートが維持されることを発見し、この論理が移動するパターンの自然な変動に対して堅牢であることを証明しました。この論理がどこまで通用するかをテストするため、研究者はこれらのゲートを直列に配置し、信号が2つの制御のいずれかによってブロックされ得るチェーンを作成しました。このチェーンは完璧に動作し、考えられるすべての入力の組み合わせを正しく処理しました。しかし、この成功はシステムの限界をも露呈させました。ゲートを直線状に連結することはできても、システムを複雑な回路へと構成することはまだできませんでした。主な障害は、グライダーが衝突によって偏向された際、それが予測可能な場所に降り立ったり、予測可能な方向を向いたりしないことでした。完全なコンピュータでは、信号は角を曲がり、次のゲートへ正確に届けられなければなりませんが、このシミュレーションでは、偏向されたグライダーは漂い、その最終的な位置と向きが変動しすぎるため、下流のデバイスによって確実に捉えられることはありませんでした。

また、この研究では、衝突後に生存したグライダーを「掃除」できるかどうかについても調査されました。これは、複雑な回路においてスペースを再利用するために必要なステップです。研究者は、衝突後に残った余剰なグライダーを吸収する方法を探し、パターンの「ゴミ収集係」として機能できる形状を探索しました。様々な形状や衝突角度をテストしましたが、再利用可能な吸収体は見つかりませんでした。衝突によってグライダーが破壊されることもありましたが、それは極めて特殊で脆弱なタイミング条件下でのみ起こり、タイミングが少しでもずれると失敗するものでした。他のケースでは、余剰な質量を取り除くことに失敗しました。経路に残った生存者を確実に除去する方法、あるいは偏向された信号を固定されたトラックに再び導く方法がないため、これらの衝突を用いた汎用コンピュータの構築は、依然として手の届かないところにあります。論文は、基本的な構成要素は存在するものの、それらをより大きなシステムへと連結するための機構が欠けていると結論付けています。問いは、そのようなゲートが存在するかどうか（これは確認されました）から、偏向された信号を、動作する回路に求められる精度で次のゲートに届けられるかどうかにとって、新たな局面を迎えています。偏れたグライダーの位置と方向を復元する方法、あるいは生存者を吸収する方法が見つかるまで、レニアにおける衝突し呼吸するパターンのみからなるコンピュータという夢は、まだ実現されていない可能性のままです。

技術要約：Leniaにおける衝突ベースの論理と、その構成の境界

問題提起
Leniaのような連続的セルオートマトン（CA）は、Orbiumグライダーのような生命感のある自律推進パターンを自然に生成する。衝突ベースのコンピューティング（移動する局所化の相互作用を通じて情報を処理する手法）は、離散的なCA（例：ルール110）や連続的な物理媒体（例：ベロウソフ・ジャボチンスキー反応）では確立されているが、固定された更新規則を持つ連続的CAにおいてそれが証明されることはまだない。ニューラルCAに関する先行研究では、勾配降下法を通じて更新規則に論理を学習させることで計算を実現しているが、本論文では、固定された規則を持つオートマトンにおいて、一般的な衝突ベースの計算が創発し得るかどうかを調査している。中心となる問いは、Leniaのような固定規則のオートマトンが、衝突するグライダーによって形成される論理ゲートをサポートできるのか、そしてもし可能であれば、それらのゲートを複雑な回路へと構成できるのかという点である。

手法
本研究では、信号キャリアとしてOrbiumグライダーを用いた標準的なLenia基質を利用する。手法は以下の通りである：

シミュレーション： 周期的な正方形格子上の倍精度シミュレーションを用いて、実数値場 $A \in [0, 1]$ を進化させる。更新規則は、場を径方向カーネル $K$ で畳み込んでポテンシャル $U$ を生成し、成長関数 $G(U)$ を適用して結果をクリッピングするプロセスを含む。
論理エンコーディング： 特定の軌道上にグライダーが存在すること（1）または存在しないこと（0）によって、論理ビットをエンコードする。論理ゲートは、「信号」グライダー（ $S$ ）と「制御」グライダー（ $C$ ）の衝突によって形成される。制御側は、 $S$ の $D_4$ 対称性イメージ（回転または反転）である。
衝突分析： 衝突の結果を、最終的な場の質量および接続された「ブロブ」（ $A > 0.10$ となる領域）の数に基づいて分類する。結果には、消滅、爆発、合体、生存、またはミスが含まれる。
ゲート構築： 制御グライダーが信号グライダーを、どちらも破壊することなく出力トラックから逸脱させるような幾何学的形状を探索する。出力は、信号の元の軌道上の固定されたウィンドウで読み取られる。
堅牢性テスト： Orbiumグライダーの内部呼吸サイクルの全24フェーズおよび様々な整数インパクトパラメータ（ $b$ ）にわたってシステムをテストし、フェーズの安定性を確認する。
構成および前提条件テスト： ゲートの直列構成をテストし、4種類の異なる連続CA規則タイプ（Standard Lenia, Asymptotic Lenia, SmoothLife, Glaberish）を調査して、「逸脱の前提条件」（両方のグライダーが intact な状態で衝突を生き残ること）が一般的であるか、あるいはOrbiumに固有のものであるかを判断する。

主要な貢献と結果

INHIBITゲートの構築： 本論文は、Orbiumグライダーを用いて INHIBIT ゲート（ $out = S \land \neg C$ ）の構築に成功した。この構成では、制御グライダーが信号の経路を垂直に横切る。制御が存在する場合、信号は出力トラックから逸脱させられ（出力0）、制御が存在しない場合、信号は直進する（出力1）。
フェーズの堅牢性： ゲートは、グライダーの呼吸サイクルの全24フェーズに対して堅牢である。また、9つの整数インパクトオフセット（ $b = 0$ から $8 $）に対して正しく機能する。ゲートは、$ b=0 $から$ 13$ の範囲内のテストポイントの89%において信号をブロックするが、より詳細なスイープを行うと、非整数オフセットにおいてリークが発生することが判明した。
直列構成： このようなゲートを直列に構成することで、AND-NOTチェーン（ $out = S \land \neg C_1 \land \neg C_2$ ）を形成できる。このチェーンは、すべての入力組み合わせに対して正しい出力を生成する。決定的なことに、この特定の構成が機能するのは、制御が存在しない場合にのみ「1」を出力するためであり、チェーン内で処分すべき「生存した逸脱グライダー」が存在しないためである。
構成の境界： 本論文は、単一の直線状のチェーンを超えてこれらのゲートを構成することの明確な限界を特定している。一般的な回路を構成するために必要な2つの能力が、未実証のまま残っている：
1. デリバリー（配送）： 逸脱した信号は、固定された位置や向きに復元されない。脱出時のヘディング（向き）には8〜14°の円形標準偏差があり、70ピクセルの下流距離において着地地点は約16ピクセル拡散する。「復元ガジェット」（反射器や導波路）によってこれを修正できるものは発見されていない。
2. ディスポーザル（処分）： 一般的な回路を乱すことになる生存した逸脱グライダーを片付けるための、再利用可能な吸収器は見つかっていない。「相互消滅イーター」や「静止した静止態（still-life）」の探索を行ったが、フェーズに対して堅牢で再利用可能な解決策は得られなかった。
逸脱の前提条件の一般性： 4種類の連続CA規則タイプと10種類の他のLenia種に関する調査により、Orbiumは、両方のコピーが intact な状態で衝突を生き残ることが示された唯一のパターンであることが明らかになった。他の種は、コヒーレンスを失うか、孤立したグライダーを形成できないか、あるいは再現性のない衝突（例：Glaberish）を生じさせた。

意義と主張
本論文は、Leniaにおいて機能的な論理ゲートは存在するものの、現在のところ、システムは汎用的な衝突ベースの計算をサポートできないと主張している。本研究の意義は、開かれた問いを絞り込んだ点にある。すなわち、ゲートの存在自体はもはや障壁ではなく、デリバリー（逸脱した信号を、下流のゲートへ届けること）とディスポーザル（衝突の生存者を処分すること）が障壁となっている。

著者は、自身が動作するコンピュータを構築したと主張しているわけでも、Leniaがコンピュータをホストできないことを証明しているわけでもないと明言している。代わりに、直近の障害は、逸脱した信号の位置や向きを修正するメカニズム、および生存者を吸収するメカニズムの欠如にあることを示している。論文は、たとえ「エンコーディング」（グライダーの存在）が機能したとしても、自由空間のLeniaにおける「ルーティング」（相互作用後に値を既知の経路に留めること）は依然として未証明であり、信号が固定された経路に制限されていたり、能動的に復元されたりする他の基質とは区別される、と結論付けている。

関連論文