[논문 리뷰] Twin-Width V: Linear Minors, Modular Counting, and Matrix Multiplication

Édouard Bonnet, Ugo Giocanti외 2명|arXiv (Cornell University)|2022. 09. 24.

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 모델 체킹과 전이 닫힘을 일阶논리에 모듈로 수량자 포함한 경우로 확장한다.
• 유계 쌍둥이 폭을 가진 행렬에 대해 효율적인 행렬 곱셈 알고리즘을 개발하여 비영원소의 수에 대해 하위선형 시간을 달성한다.
• 쌍둥이 분해를 사용하는 파ipel라인 알고리즘을 제시하여, 곱의 쌍둥이 분해를 2d+o(d) 폭으로 출력한다.

제안 방법

• 연속적인 행 또는 열의 선형 조합을 반복 적용하여 선형 미니처의 개념을 도입한다.
• F_2 위에서 선형 미니처의 특수한 경우로 짝수성 미니처를 정의하여 논리 내 모듈로 수량을 가능하게 한다.
• 랭크-이중차원성 프레임워크를 수립하여, 이중차원성과 Marcus-Tardos 정리의 일반화로서 승리-패배 전략을 제공한다.
• 쌍둥이 분해(쌍둥이 폭의 나무 모양의 압축 표현)를 사용하여 효율적인 행렬 연산을 가능하게 한다.
• 간선 레이블과 횡단 간선을 트리 구조에서 유지하는 동적 알고리즘을 설계하여, 간선 레이블이 있는 그래프의 제곱을 계산한다.
• 도메인의 차수 합을 q 모듈로로 추적하고 F_q에서의 체 연산을 사용하여, 유한체 F_q로 알고리즘을 일반화한다.

실험 결과

연구 질문

• RQ1 어떤 행렬 클래스가 유계 쌍둥이 폭을 가지며, 이는 선형 미니처를 통해 어떻게 특징지어질 수 있는가?
• RQ2 유계 쌍둥이 폭 구조에서 일阶논리에 대한 FPT 알고리즘은 모듈로 수량자 포함한 경우로 어떻게 확장될 수 있는가?
• RQ3 작은 행렬이 더 큰 행렬의 짝수성 또는 선형 미니처인지 결정하는 데 필요한 계산 복잡도는 무엇인가?
• RQ4 입력 행렬이 유계 쌍둥이 폭을 가지며 쌍둥이 분해 형태로 주어졌을 때, 어떻게 행렬 곱셈을 가속화할 수 있는가?
• RQ5 유한체 위에서 유계 쌍둥이 폭을 가진 두 행렬의 곱의 쌍둥이 폭에 대해 가장 날카로운 상한은 무엇인가?

주요 결과

• 행렬 클래스가 유계 쌍둥이 폭을 가지는 것은 그 선형 미니처 폐쇄가 알파벳 위의 모든 행렬을 포함하지 않을 때이고, 그 때에만 성립한다.
• 일阶논리 모델 체킹과 전이에 대한 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 시간 내에 계산할 수 있으며, 이는 효율적인 요소 쿼리에 기여한다.