[論文レビュー] Twin-Width V: Linear Minors, Modular Counting, and Matrix Multiplication

Édouard Bonnet, Ugo Giocanti+2 more|arXiv (Cornell University)|Sep 24, 2022

semigroups and automata theory被引用数 2

ひとこと要約

本稿は、有限体上の行列への双子幅の理論を拡張し、偶奇性と線形マイナーを構造的道具として導入する。有界双子幅クラスは、それらの線形マイナー閉包に含まれるすべての行列の除外によって特徴づけられることを確立し、モジュラーカウントを含む一階論理に対するFPTアルゴリズムを開発する。主な貢献は、F_q 上の n×n 行列で双子幅 d を持つ行列に対して、O_{d,q}(n^2 log n) 時間の行列乗算アルゴリズムの開発であり、双子分解を用いることで 4^{d+o(d)}n 時間の非線形時間アルゴリズムを実現し、わずかなオーバーヘッドでほぼ定数時間のクエリを達成する。

ABSTRACT

We continue developing the theory around the twin-width of totally ordered binary structures, initiated in the previous paper of the series. We first introduce the notion of parity and linear minors of a matrix, which consists of iteratively replacing consecutive rows or consecutive columns with a linear combination of them. We show that a matrix class has bounded twin-width if and only if its linear-minor closure does not contain all matrices. We observe that the fixed-parameter tractable algorithm for first-order model checking on structures given with an $O(1)$-sequence (certificate of bounded twin-width) and the fact that first-order transductions of bounded twin-width classes have bounded twin-width, both established in Twin-width I, extend to first-order logic with modular counting quantifiers. We make explicit a win-win argument obtained as a by-product of Twin-width IV, and somewhat similar to bidimensionality, that we call rank-bidimensionality. Armed with the above-mentioned extension to modular counting, we show that the twin-width of the product of two conformal matrices $A, B$ over a finite field is bounded by a function of the twin-width of $A$, of $B$, and of the size of the field. Furthermore, if $A$ and $B$ are $n imes n$ matrices of twin-width $d$ over $\mathbb F_q$, we show that $AB$ can be computed in time $O_{d,q}(n^2 \log n)$. We finally present an ad hoc algorithm to efficiently multiply two matrices of bounded twin-width, with a single-exponential dependence in the twin-width bound: If the inputs are given in a compact tree-like form, called twin-decomposition (of width $d$), then two $n imes n$ matrices $A, B$ over $\mathbb F_2$, a twin-decomposition of $AB$ with width $2^{d+o(d)}$ can be computed in time $4^{d+o(d)}n$ (resp. $4^{d+o(d)}n^{1+\varepsilon}$), and entries queried in doubly-logarithmic (resp. constant) time.

研究の動機と目的

• 有限体に値をとる行列への双子幅理論の拡張を図り、偶奇性と線形マイナーを構造的不変量として導入すること。
• 線形マイナー閉包に含まれるすべての行列の除外によって、有界双子幅行列クラスを特徴づけること。
• 一階論理におけるFPTモデルチェックとトランスダクション閉包を、モジュラーカウント量化子を含む一階論理へ拡張すること。
• 有界双子幅行列に対して、非ゼロ要素数の非線形時間で効率的な行列乗算アルゴリズムを開発すること。
• 双子分解を用いたパイプライン化アルゴリズムを提示し、積の双子分解（幅 2d+o(d)）を出力すること。

提案手法

• 連続する行または列の繰り返し線形結合を用いて線形マイナーの概念を導入する。
• F_2 上での線形マイナーの特別な場合として偶奇マイナーを定義し、論理におけるモジュラーカウントを可能にする。
• ランク-双次元性フレームワークをWin-Win的議論として確立し、双次元性およびMarcus-Tardos定理を一般化する。
• 双子分解（双子幅の木構造的コンact表現）を用いて、効率的な行列演算を可能にする。
• 木構造内でエッジラベルと横断的エッジを維持する動的アルゴリズムを設計し、ラベル付きエッジを持つグラフの平方を計算する。
• 次数和を q を法として追跡し、F_q 上の体演算を用いることで、任意の有限体 F_q にアルゴリズムを一般化する。

実験結果

リサーチクエスチョン

• RQ1 どのような行列クラスが有界双子幅を持つのか、そしてこれは線形マイナーによってどのように特徴づけられるか？
• RQ2 有界双子幅構造において、一階論理のFPTアルゴリズムをモジュラーカウント量化子を含むものへ拡張できるか？
• RQ3 小さな行列が大きな行列の偶奇マイナーや線形マイナーであるかどうかを決定する計算複雑度は何か？
• RQ4 入力行列が有界双子幅であり、双子分解形式で与えられる場合、行列乗算をどのように高速化できるか？
• RQ5 有限体上での2つの有界双子幅行列の積の双子幅に対する、最もタイトな可能な上限は何か？

主な発見

• 行列クラスが有界双子幅を持つのは、その線形マイナー閉包がアルファベット上すべての行列を含まない場合に限り、かつそのときに限る。
• 一階モデルチェックとトランスダクションのためのFPTアルゴリズムは、モジュラーカウント量化子を含む一階論理へ拡張可能である。
• ランク-双次元性フレームワークにより、小さな行列が大きな行列の偶奇マイナーまたは線形マイナーであるかどうかを決定するFPTアルゴリズムが得られる。
• F_q 上の n×n 行列で双子幅 d を持つ行列の積は、d と q に依存する関数で双子幅が有界であり、O_{d,q}(n^2 log n) 時間で計算可能である。
• 双子分解を用いることで、F_2 上の行列乗算は 4^{d+o(d)}n 時間で実行可能であり、4^{d+o(d)}n^{1+ε} 時間のオーバーヘッドを負担することで、クエリ時間は O(1/ε) に抑えられる。
• 積 AB の双子分解（幅 2d+o(d)）は 4^{d+o(d)}n 時間で計算可能であり、効率的な要素クエリを可能にする。