Topology-defined computation in knitted textiles

技術要約：編物におけるトポロジー定義計算

問題提起
メカニカル・コンピューティング（機械的計算）は、電子工学ではなく変形を通じて論理関数を実現するものであり、オリガミ、切り紙、および機械的メタマテリアルなどのシステムにおいて実証されてきた。しかし、既存の機械的コンピュータの重大な限界は、微細に調整された幾何学的形状や材料特性への依存にある。これらのシステムでは、論理状態は通常、局所的なエネルギー極小値として符号化されるため、その計算挙動は摂動に対して非常に敏感である。幾何学、剛性、または境界条件のわずかな変化がポテンシャルエネルギーの景観を変化させ、それによって機械的応答を変え、計算性能を損なう可能性がある。したがって、幾何学的および機械的な変動に対して論理関数が堅牢性を維持できる機械的コンピュータの開発は、依然として未解決の課題である。

手法
本研究では、幾何学ではなくトポロジーによって論理が定義される機械的計算アーキテクチャを導入する。このシステムは、単一の連続した糸から形成された編物（テキスタイル）を利用している。核となるメカニズムは「ラダリング（梯子状の展開）」であり、これは一つのループを解放した際に布地を通じて伝播する一連の解け（unraveling）である。

手法には以下のステップが含まれる：

1. 離散化： テキスタイルは、相互作用するセルの格子へと離散化される。各セルは、編み目（ステッチ）に対応する。各セルは、編まれた状態（$K$）または解けた状態（$U$）を表す離散的な物理状態 $\sigma \in \{K, U\}$ を持つ。
2. 伝播規則： 解けるプロセスは、格子上のダイナミクスとしてモデル化される。特定の隣接セルがすでに状態 $U$ にある場合、セルは状態 $K$ から $U$ へと遷移する。これらの依存関係は、「伝播集合」（$S_l$）として定式化され、特定のセルが遷移する前に解けていなければならない前提となるセルの集合をリスト化する。
3. 論理符号化： 論理ビットは、隣接するセルの順序付けられたペアによって表される。ペア $(K, U)$ は論理 '1' を表し、$(U, K)$ は論理 '0' を表す。構成 $(K, K)$ は中立状態として機能する。
4. 回路構築： 論理ゲートと伝送チャネルは、解けるプロセスがどのように伝播するかを規定する特定の伝播集合を定義することによって構築される。
   • 伝送： チャネル、FANOUT（ファンアウト）、およびEXCHANGE（交換）要素は、解けるプロセスが入力セルから特定のトポロジカルな接続に基づいて下流のセルへとトリガーされるように、糸を相互に連結することで実現される。
   • 論理ゲート： NOT、AND、およびORゲートは、「和（sum）」および「積（product）」モジュールを用いて構築される。和モジュールは、二つの上流セルのいずれかが解けた場合に下流のセルが解けることを許容し（OR論理）、積モジュールは、二つの上流セルが共に解けた場合にのみ要求する（AND論理）。NOTゲートは、ビットペアの左側のセルと右側のセルを入れ替えることで実現される。
5. 実験的検証： 著者らは、単一の糸（レーヨン繊維で覆われた天然ゴムコード）を用いて回路を手編みで作成した。入力は特定のステッチを解放することによって設定され、布地には解けを促進するために張力が加えられた。布地は様々な幾何学的変形（ねじれ、引き伸ばし、曲げ）および様々な機械的力の下でテストされた。

主要な貢献と結果

• トポロジーによる論理の定義： 本研究は、論理演算が単一の糸のトポロジカルな相互連結のみによって定義できることを示している。論理挙動は伝播集合（トポロジー）によって決定され、メカニクス（張力、摩擦）は実行速度または実現可能性を決定するに過ぎない。
• 変形に対する堅牢性： 実験により、論理出力が幾何学的変形に対して堅牢であることが確認された。布地を180°ねじったり、曲げたり、50%以上引き伸ばしたりしても、解けるプロセスは同じトポロジカルな経路に沿って伝播し、同一の出力を得た。
• 普遍性とスケーラビリティ： 著者らは、普遍的な論理ゲート（NOT, AND, OR）を構築し、それらを組み合わせて半加算器回路を作成することに成功した。複数のゲートからなる半加算器は、4つすべての入力組み合わせに対して、和とキャリーのビットを正しく計算した。
• 計算の一意性： 理論的解析（定理5）は、計算の最終状態が一意であり、解けるイベントの順序や同時性に依存しないことを証明している。システムは、初期構成と伝播規則のみによって決定される不動点へと収束する。
• メカニクスの役割： 実験の結果、不十分な機械的力（例：低い張力）は、出力に到達する前に解けるプロセスを停止させることはあるものの、決して「誤った」論理出力を生じさせないことが示された。システムは、計算を正しく完了させるか、あるいは不完全な状態（すべての出力ステッチが編まれたままの状態）にとどまるかのいずれかである。これにより、明確な分離が確立された：トポロジーは「何を」計算するかを定義し、メカニクスは「それが実行可能か」を決定する。

意義
本論文は、「トポロジー定義計算」を、テキスタイルやその他の再構成可能な物理システムにおける情報処理のモデルとして確立するものである。論理の定義を材料の幾何学的詳細やエネルギー景観から切り離すことにより、このアーキテクチャは、従来の機械的コンピュータを悩ませる摂動への敏感さを克服している。本研究は、単一の連続した糸が制御された解けを通じて複雑な論理演算を実行できることを示しており、堅牢で適応性が高く、環境耐性のある機械的計算の新しいパラダイムを提示している。このフレームワークは、ポリマーや建築構造を含む、トポロジーが機能を支配する様々なスケールの様々なシステムへの拡張を示唆している。