[論文レビュー] Circuit equivalence in 2-nilpotent algebras

Piotr Kawałek, Michael Kompatscher+1 more|arXiv (Cornell University)|Sep 26, 2019

semigroups and automata theory参考文献 16被引用数 5

ひとこと要約

本稿では、合同モジュラー多様体内の2-nilpotent代数において、回路同値性問題がPに属することを確立し、普遍代数における恒等式チェックの複雑性分類における重要な空白を解消した。著者らは、可換子理論と有限環上の線形従属関係を用いた変数の再帰的除去によって、多項式時間アルゴリズムを設計し、問題をより小さな定義域上の単純化された部分問題に還元することで、このクラスの代数における tractability を証明した。

ABSTRACT

The circuit equivalence problem of a finite algebra $\mathbf A$ is the computational problem of deciding whether two circuits over $\mathbf A$ define the same function or not. This problem not just generalises the equivalence problem for Boolean circuits, but is also of high interest in universal algebra, as it models the problems of checking identities in $\mathbf A$. In this paper we discuss the complexity for algebras from congruence modular varieties. A partial classification was already given by Idziak and Krzaczkowski, leaving essentially only a gap for nilpotent but not supernilpotent algebras. We start a systematic study of this open case, proving that the circuit equivalence problem is in P for $2$-nilpotent such algebras.

研究の動機と目的

• 合同モジュラー多様体内の代数における回路同値性問題の複雑性分類における残存する複雑性ギャップを埋める、特に超nilpotentでないがnilpotentな代数について。
• 2-nilpotent代数における回路同値性問題が tractable（Pに属する）であることを確立するが、これは以前には分類されていなかった。
• 有限環上の線形代数に基づく再帰的アルゴリズムを開発し、回路によって定義された関数が定数であるか、特定の変数に依存しないかを判定する。
• 代数的依存関係と効率的な意思決定手順の間の関係を示すことで、可換子代数の構造理論を計算複雑性に拡張する。

提案手法

• 有限環 $\mathbb{Z}_{p_i^{k_i}}$ 上での多項式表現を用い、2-nilpotent構造の特徴を活用して回路内の関数を多項式表現に変換する。
• 係数ベクトル間の線形従属関係を用いて変数を除去する：$\beta_k^{(i)}$ が可逆であれば、$\langle \beta^{(i)}, u^{(i)} \rangle = c$ の線形形式から $u_k^{(i)}$ を解く。
• 解いた変数を代入することで、縮小された関数 $\mathbf{t}_c(\overline{u})$ を定義し、自由変数の数を減らし、式を単純化する。
• 2つの関数の差 $\mathbf{w}_{c,d}(\overline{u}, \overline{v})$ が恒等的にゼロであるかを再帰的にチェックするが、これは定数であるかのテストに帰着される。
• 定数性は多項式時間で検証可能であるという事実を活用し、定数個のペア $c,d$ における定数性のチェックに問題を還元する。
• 定義域のサイズに関する帰納法を適用するが、各再帰ステップで環のサイズが小さくなる（$\mathbb{Z}_{p_i^{k_i}}$ から $\mathbb{Z}_{p_i^{k_i-1}}$ へ）ため、再帰の深さが定数で抑えられ、多項式時間複雑性が保証される。

実験結果

リサーチクエスチョン

• RQ1 超nilpotent代数では既にPに属することが知られているが、非nilpotentな代数ではco-NP完全であるにもかかわらず、合同モジュラー多様体内の2-nilpotent代数における回路同値性問題が tractable であるか。
• RQ2 有限環上の多項式関数における変数の依存構造を活用して、定数性テストのための再帰的アルゴリズムを設計できるか。
• RQ3 可換子イデアルと線形形式の代数的概念をどのように用いて変数を除去し、回路同値性チェックの複雑度を低下させられるか。
• RQ4 2-nilpotent代数の構造をどれだけ活用して、同値性テストアルゴリズムにおける再帰の深さを有界にできるか。

主な発見

• 合同モジュラー多様体内のすべての2-nilpotent代数において、回路同値性問題はPに属する。これにより、このクラスの複雑性分類が完全に完成した。
• アルゴリズムは、線形形式における可逆係数を用いた再帰的変数除去によって、より単純な部分問題に問題を還元する。
• 各再帰ステップで $p_i$ の1乗の累乗が1つ小さくなり、再帰の深さが定数で抑えられるため、多項式時間複雑性が保証される。
• 変換後の式構造のおかげで、定数性のテストが1点での評価で可能になる。
• 証明により、再帰呼び出しの回数が定数係数で抑えられ、各呼び出しで処理される部分問題の数も定数個であることが示され、多項式時間の保証が得られる。