[論文レビュー] Combinators: A Centennial View

Stephen Wolfram|arXiv (Cornell University)|Mar 23, 2021

Graph Labeling and Dimension Problems被引用数 8

ひとこと要約

本論文は、1920年にシュönfinkelによって導入されたS,Kコンビネータの現代的計算的探索を、高度な可視化および分析技術を用いて行っている。Sコンビネータのみがユニバーサル計算に十分である可能性を示し、コンビネータ系における因果グラフおよび木構造的分離を導入し、実験的計算理論を通じて最小表現および計算複雑性に関する新たな結果を確立した。

ABSTRACT

We give a modern computational introduction to the S,K combinators invented by Moses Schönfinkel in 1920, and present a variety of new results and ideas about combinators. We explore the spectrum of behavior obtained with small combinator expressions, showing a variety of approaches to analysis and visualization. We discuss the implications of evaluation strategies, and of multiway systems representing all possible strategies. We show how causal graphs introduced in recent models of fundamental physics can be applied to combinators, as well as describing how combinators introduce a new form of treelike separation. We give a variety of new results on minimal combinator expressions, as well as showing how empirical computation theory and computational complexity theory can be done with combinators. We also suggest that when viewed in terms of ongoing computation, the S combinator alone may be capable of universal computation.

研究の動機と目的

• シュönfinkelが1920年に導入したS,Kコンビネータを理解するための現代的計算フレームワークを提供すること。
• 可視化および分析技術を用いて、小さなコンビネータ式における挙動のスケールを調査すること。
• コンビネータ計算における異なる評価戦略およびマルチウェイシステムの意味を検討すること。
• 因果グラフなど、基礎物理学の概念をコンビネータ系に適用し、木構造的分離のような新しい構造的特徴を同定すること。
• 特に最小表現分析を通じて、コンビネータを用いた実験的計算理論および計算複雑性理論の前進を図ること。

提案手法

• コンビネータ式のすべての可能な評価経路を表現するマルチウェイシステムを用いる。
• 基礎物理学のモデルで開発された因果グラフを用いて、コンビネータ系における依存関係と進化を分析する。
• 従来のグラフ構造とは異なる、コンビネータ計算に特有の木構造的分離の形式を導入する。
• さまざまな評価戦略にわたる小さなコンビネータ式のダイナミクスを探索するために可視化技術を適用する。
• 計算複雑性およびコンビネータ系における挙動を評価するため、実験的計算理論の実験を実施する。
• 特にSコンビネータのみに注目し、ユニバーサル計算の可能性を同定する最小コンビネータ式を分析する。

実験結果

リサーチクエスチョン

• RQ1 Sコンビネータのみが、複雑な評価経路における挙動から見てユニバーサル計算を達成できるのだろうか？
• RQ2 異なる評価戦略は、コンビネータの進化における構造と複雑性にどのように影響を与えるか？
• RQ3 基礎物理学のモデルから得た因果グラフを、コンビネータ系に意味的に適用できる範囲はどの程度か？
• RQ4 コンビネータ計算において、木構造的分離のような新しい構造的特徴がどのように顕在するか？
• RQ5 実験的分析を通じて、コンビネータ系の計算複雑性および最小表現設計に関するどのような知見が得られるか？

主な発見

• マルチウェイ評価システムにおける観察された複雑な挙動から、Sコンビネータのみがユニバーサル計算に十分である可能性が示された。
• 因果グラフは、コンビネータの進化における依存関係を効果的に捉え、計算履歴および並列性の分析を可能にした。
• 木構造的分離は、コンビネータ系において明確な構造的特徴として顕在し、計算組織の新たな形態を示唆した。
• コンビネータに実験的計算理論を適用することで、小さな式における計算複雑性および挙動のパターンが明らかになった。
• 最小コンビネータ式は豊富で多様な挙動を示し、ユニバーサリティおよび複雑性の研究に有用であることが裏付けられた。
• 可視化およびマルチウェイ分析により、サイクル、発散、複雑な成長パターンを含む多様な計算スケートが明らかになった。