核心概念
シンボリックリストを使用した計算の代数的モデルを提案し、その複雑さに関連するChowランクを確立します。
要約
George BooleによるBoolean algebraの基礎から始まり、Turing machineやswitching circuitsなど、計算理論の3つの柱が紹介される。
P ≠ NPであると信じられているが、Turing machineの複雑さについては十分な下限が示されていない。
この研究では、制限されたクラスの回路に焦点を当て、その中でも特に低深度算術回路の複雑性とBoolean関数の複雑性に関連付けられた「微分コンピューター」という代数的計算モデルが提案される。
「微分コンピューター」は機械学習モデルのトレーニングで重要な役割を果たす微分演算子によって計算が行われる。
シンボリックリストや多項式間のChowランクは、回路やグラフ集合から別の集合へ変換する際に重要な指標として使用される。
統計
数学的理論やアルゴリズムに関する記述:「P ≠ NP」、「NP does not admit circuits of polynomial size」、「Chow rank」など
引用
"We propose an algebraic model of computation which formally relates symbolic listings, complexity of Boolean functions, and low depth arithmetic circuit complexity."
"The Chow rank of the polynomial underlying a differential computer is of particular interest, and can be seen as a measure of the compressibility of the truth table of F."