[論文レビュー] Determinants from Homomorphisms

Radu Curticapean|arXiv (Cornell University)|Jan 1, 2022

Markov Chains and Monte Carlo Methods被引用数 1

ひとこと要約

本稿は、線形代数を用いずに、グラフのホモモルフィズムとサイクルカバーを用いた新しい組合せ的導出により、行列式の公式を提示する。行列式と行列のべきのトレースの間の直接的な関係を、部分グラフの数とホモモルフィズムの数を通じて確立し、O(n^ω+1)回の演算で実行可能な多項式時間アルゴリズムと、O(log²n)の深さを持つ並列回路を提示する。これは古典的な行列式の恒等式を自己完結的かつグラフ論的に行うものである。

ABSTRACT

We give a new combinatorial explanation for well-known relations between determinants and traces of matrix powers. Such relations can be used to obtain polynomial-time and poly-logarithmic space algorithms for the determinant. Our new explanation avoids linear-algebraic arguments and instead exploits a classical connection between subgraph and homomorphism counts.

研究の動機と目的

• 固有値や対称多項式を避けて、行列式と行列のべきのトレースの間の古典的関係を、組合せ的かつグラフ論的に説明すること。
• 整数分割の和として表される行列式の新しい公式を、ホモモルフィズムの数と自己同型因子を用いて導出すること。
• この新しい枠組みを用いて、行列式が多項式時間かつ並列で多対数時間の深さで計算可能であることを示すこと。
• 行列式関数が2つの基本的性質—部分グラフ上の多重線形性と、重複する行または列を持つ行列で消えること—によって特徴付けられることを確立すること。

提案手法

• 完全有向グラフにおけるk-部分サイクルカバーの和として行列式を表現し、サイクル構造から符号を導出する。
• 互いに素なサイクルの直和から行列に誘導されたグラフへの重み付きホモモルフィズムの数の概念を導入する。
• 自己同型因子を介した埋め込み数とホモモルフィズム数の関係を用いて、部分グラフの数をホモモルフィズムの数で表現する。
• 行列AとJ_tのテンソル積A ⊗ J_tを用いてtに関する多項式を誘導し、行列式とホモモルフィズムの数を結びつける。
• 得られた多項式恒等式における係数比較を用いて、主な行列式の公式を導出する。
• 動的計画法と多項式乗算を用いて、O(n^3)時間とO(log²n)の深さで行列式を効率的に計算する。

実験結果

リサーチクエスチョン

• RQ1 固有値や対称多項式を用いずに、行列式と行列のべきのトレースの間の古典的関係を導出可能か？
• RQ2 グラフのホモモルフィズムを用いて、整数分割の和として行列式を組合せ的に表現できるか？
• RQ3 この新しい組合せ的公式を用いた行列式の計算の計算量的複雑度は何か？
• RQ4 この公式を用いて、行列式のための効率的な並列アルゴリズムを設計可能か？

主な発見

• 本稿は、グラフ論的要素のみを用いて、det(A) = ∑_{λ⊢n} (−1)^n+|λ| / ( ∏_{ℓ=1}^n s_ℓ(λ)! · ℓ^{s_ℓ(λ)} ) · ∏_{ℓ=1}^n tr(A^ℓ)^{s_ℓ(λ)} という行列式の公式を導出する。
• この公式は、tに関する多項式を誘導するテンソル積の議論を用いて証明され、係数比較によって恒等式が得られる。
• 行列式はO(n^ω+1)回の体演算で計算可能であり、既知の最良の逐次的複雑度と一致する。
• 深さO(log²n)、サイズ˜O(n^4)の並列算術回路が行列式を計算可能であり、効率的な並列化を可能にする。
• 証明は、重複する行または列の不変性と、部分グラフの数における線形性という2つの構造的性質にのみ依存しており、これらを満たす任意の関数に適用可能である。
• 固有値、対称多項式、ギラール＝ニュートンの恒等式を避けることで、行列式計算の自己完備的かつ組合せ的基盤を提供する。