[论文解读] Twin-width IV: low complexity matrices.

Édouard Bonnet, Ugo Giocanti+2 more|arXiv (Cornell University)|Feb 5, 2021

Advanced Graph Theory Research参考文献 17被引用 14

一句话总结

本文建立了对遗传性、完全有序二元结构中有界孪生宽度的刻画，从而得出一个二分性结果：任何有限字母表上的此类矩阵类，其大小为 $n \times n$ 的矩阵数量要么至少为 $n!$，要么至多为某个常数 $c$ 的 $c^n$。该结果解决了关于遗传性矩阵类与有序图类增长速率的长期猜想，实现了孪生宽度的固定参数近似，并对一阶模型检测的固定参数可满足性进行了分类。

ABSTRACT

We establish a list of characterizations of bounded twin-width for hereditary, totally ordered binary structures. This has several consequences. First, it allows us to show that a (hereditary) class of matrices on a finite alphabet either contains at least $n!$ matrices of size $n imes n$, or at most $c^n$ for some constant $c$. This generalizes the celebrated Stanley-Wilf conjecture/Marcus-Tardos theorem from permutation classes to any matrix class on a finite alphabet, answers our small conjecture [SODA '21] in the case of ordered graphs, and with more work, settles a question first asked by Balogh, Bollobas, and Morris [Eur. J. Comb. '06] on the growth of hereditary classes of ordered graphs. Second, it gives a fixed-parameter approximation algorithm for twin-width on ordered graphs. Third, it yields a full classification of fixed-parameter tractable first-order model checking on hereditary classes of ordered binary structures. Fourth, it provides an alternative proof to a model-theoretic characterization of classes with bounded twin-width announced by Simon and Torunczyk.

研究动机与目标

• 对遗传性、完全有序二元结构中的有界孪生宽度进行刻画。
• 解决有限字母表上遗传性矩阵类的增长速率二分性问题。
• 为有序图上的孪生宽度提供固定参数近似算法。
• 对遗传性有序二元结构类上的一阶模型检测的固定参数可满足性进行分类。
• 通过孪生宽度技术，为有界孪生宽度类的模型论刻画提供另一种证明。

提出的方法

• 为遗传性、完全有序二元结构中的有界孪生宽度开发一组等价刻画。
• 将这些刻画应用于推导出有限字母表上矩阵类的增长速率二分性。
• 利用孪生宽度的结构特性，设计出在有序图上对孪生宽度进行固定参数近似的算法。
• 利用孪生宽度的刻画，对遗传性有序二元结构类上的一阶模型检测的可满足性进行分类。
• 通过孪生宽度技术重构一个模型论结果，为西蒙与托伦奇克的公告提供另一种证明。

实验结果

研究问题

• RQ1 遗传性、完全有序二元结构中的有界孪生宽度由什么特征刻画？
• RQ2 每个有限字母表上的遗传性矩阵类是否都表现出增长速率的二分性——即 $n!$ 或 $c^n$（$c$ 为某常数）？
• RQ3 能否在有序图上以固定参数时间近似孪生宽度？
• RQ4 哪些遗传性有序二元结构类支持一阶模型检测的固定参数可满足性？
• RQ5 能否通过孪生宽度技术重新证明有界孪生宽度类的模型论刻画？

主要发现

• 有限字母表上的遗传性矩阵类，其大小为 $n \times n$ 的矩阵数量要么至少为 $n!$，要么至多为某个常数 $c$ 的 $c^n$，从而确立了增长速率的二分性。
• 马尔库斯-塔罗德定理和斯坦利-威尔夫猜想从置换类推广到了有限字母表上的任意矩阵类。
• 基于结构刻画，实现了在有序图上对孪生宽度的固定参数近似算法。
• 一阶模型检测在遗传性有序二元结构类上是固定参数可满足的，当且仅当孪生宽度有界。
• 为有界孪生宽度类的模型论刻画提供了另一种证明，通过孪生宽度理论验证了该结果。