[論文レビュー] Lower Bounds for Choiceless Polynomial Time via Symmetric XOR-Circuits

Benedikt Pago|arXiv (Cornell University)|Jan 1, 2023

Quantum Computing Algorithms and Architecture被引用数 1

ひとこと要約

本稿は、選択不能多項式時間（CPT）と対称XOR回路の間の関係を確立し、CPTが特定の基底グラフ上でCFI照合照合を定義できるのは、対応する対称的で多項式サイズのXOR回路が、特定の対称性およびファンイン制約を満たす場合に限ることを示している。n次元ハイパーキューブ上で、このような回路に対するほぼタイトな下界を証明し、CFI照合照合がCPTで定義可能でないという強力な証拠を提供する。これにより、CPTと多項式時間の分離が進展する。

ABSTRACT

Choiceless Polynomial Time (CPT) is one of the few remaining candidate logics for capturing Ptime. In this paper, we make progress towards separating CPT from polynomial time by firstly establishing a connection between the expressive power of CPT and the existence of certain symmetric circuit families, and secondly, proving lower bounds against these circuits. We focus on the isomorphism problem of unordered Cai-Fürer-Immerman-graphs (the CFI-query) as a potential candidate for separating CPT from Ptime. Results by Dawar, Richerby and Rossman, and subsequently by Pakusa, Schalthöfer and Selman show that the CFI-query is CPT-definable on linearly ordered and preordered base graphs with small colour classes. We define a class of CPT-algorithms, that we call "CFI-symmetric algorithms", which generalises all the known ones, and show that such algorithms can only define the CFI-query on a given class of base graphs if there exists a family of symmetric XOR-circuits with certain properties. These properties include that the circuits have the same symmetries as the base graphs, are of polynomial size, and satisfy certain fan-in restrictions. Then we prove that such circuits with slightly strengthened requirements (i.e. stronger symmetry and fan-in and fan-out restrictions) do not exist for the n-dimensional hypercubes as base graphs. This almost separates the CFI-symmetric algorithms from Ptime - up to the gap that remains between the circuits whose existence we can currently disprove and the circuits whose existence is necessary for the definability of the CFI-query by a CFI-symmetric algorithm.

研究の動機と目的

• 有限モデル理論における中心的未解決問題に取り組むこと：多項式時間を捉える論理が存在するか。
• 選択不能多項式時間（CPT）の表現力を調査すること。CPTはPTIMEを捉える有力な候補である。
• n次元ハイパーキューブ上の非順序CFIグラフにおけるCFI照合照合がCPTで定義可能でないことを、必要な対称XOR回路が存在しないことを証明することで示すこと。
• 対称回路における交互的サポート分割と偶数パスを用いた、新しい下界技術の開発。

提案手法

• 『CFI対称的アルゴリズム』というクラスを導入——既知のCFI照合照合用CPTアルゴリズムの一般化——その定義可能性は、特定の性質を満たす対称XOR回路の存在に依存する。
• CFI対称的CPTアルゴリズムと、基底グラフの自己同型群を引き継ぐ、多項式サイズの対称XOR回路の族との対応関係を確立する。
• CPTの不変性と有界性要件を反映するために、回路に対称性、サイズ、ファンイン／ファンアウトの制約を課す。
• 回路の感度分析のための新規な『偶数パス』技術を開発し、自動同型の下でパスが相殺されることにより、入力ビットに対する感度が制限されることを示す。
• 交互的サポート分割の群論的解析により、ハイパーキューブの対称性の下で、このような分割が線形に多くの単一要素部を含められないことを示す。
• ファンイン次元の対数的上限と、軌道ごとの親／子ノード数の制約を適用し、回路構造を制限することで、回路の複雑さに対する下界を導出する。

実験結果

リサーチクエスチョン

• RQ1 n次元ハイパーキューブに基づく非順序CFIグラフ上で、CFI照合照合はCPTで定義可能か？
• RQ2 ハイパーキューブ基底グラフに対して、必要な対称性、多項式サイズ、有界ファンインを持つ対称XOR回路は存在するか？
• RQ3 偶数パス技術を用いて、制限されたファンインと対称性を持つ対称XOR回路に対して下界を証明できるか？
• RQ4 対称回路の構造的障害が、ハイパーキューブ上でのCFI照合照合の計算を不可能にする根本的要因であるか？
• RQ5 交互的サポート分割に基づく新しい下界技術は、他の対称回路クラスへ一般化可能か？

主な発見

• CFI照合照合がn次元ハイパーキューブ上でCPTで定義可能であるのは、同じ対称性、多項式サイズ、有界ファンインを持つ対称XOR回路の族が存在する場合に限る。
• より強い対称性およびファンイン／ファンアウト制約を課した場合、そのような回路は存在しないことが示され、ほぼタイトな下界が得られる。
• 偶数パス技術により、自動同型の下でパスが相殺されるため、対称回路は十分に多くの入力ビットに感度を示せないことが明らかになった。
• 群論的解析により、ハイパーキューブ対称回路における交互的サポート分割は、線形に多くの単一要素部を含められないことが判明した。
• ファンイン次元は対数的に制限されており、この制約に加え、軌道ごとの親／子ノード数の制約が回路の表現力を制限する。
• 提案手法は強力なサポート定理に依存せず、従来の手法よりも弱い対称性群に対しても適用可能である。