[论文解读] 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算法。主要贡献是针对有限域 𝔽_q 上孪生宽度为 d 的 n×n 矩阵，提出了一种 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)。

提出的方法

• 通过连续行或列的迭代线性组合引入线性子式的概念。
• 将奇偶子式定义为 𝔽_2 上线性子式的特例，从而在逻辑中支持模计数。
• 建立秩-半径性框架作为双赢论证，推广了半径性理论与Marcus-Tardos定理。
• 利用孪生分解（孪生宽度的树状紧凑表示）实现高效的矩阵运算。
• 设计一种动态算法，维护树结构中的边标签与横截边，以计算带标签图的平方。
• 通过追踪模 q 的度数和，并在 𝔽_q 中使用域运算，将算法推广至任意有限域 𝔽_q。

实验结果

研究问题

• RQ1 在何种条件下，矩阵类具有有界孪生宽度？能否通过线性子式进行表征？
• RQ2 能否将有界孪生宽度结构中前束逻辑的FPT算法扩展至包含模计数量词？
• RQ3 判断一个小矩阵是否为一个大矩阵的奇偶子式或线性子式，其计算复杂度如何？
• RQ4 当输入矩阵具有有界孪生宽度且以紧凑的孪生分解形式给出时，如何加速矩阵乘法？
• RQ5 在有限域上，两个有界孪生宽度矩阵的乘积，其孪生宽度的最紧上界是什么？

主要发现

• 一个矩阵类具有有界孪生宽度，当且仅当其线性子式闭包不包含该字母表上的所有矩阵。
• 前束逻辑的FPT模型检测与转换算法可扩展至包含模计数量词的前束逻辑。
• 秩-半径性框架可导出FPT算法，用于判断一个小矩阵是否为一个大矩阵的奇偶子式或线性子式。
• 在 𝔽_q 上，孪生宽度为 d 的两个 n×n 矩阵的乘积，其孪生宽度由 d 和 q 的函数有界，且可在 O_{d,q}(n^2 log n) 时间内计算。
• 通过孪生分解，𝔽_2 上的矩阵乘法可在 4^{d+o(d)}n 时间内完成，以 4^{d+o(d)}n^{1+ε} 时间预处理，可实现 O(1/ε) 的查询时间。
• 可在 4^{d+o(d)}n 时间内计算出乘积 AB 的孪生分解，其宽度为 2d+o(d)，从而支持高效的元素查询。