[論文レビュー] Twin-width VII: groups

Édouard Bonnet, Colin Geniet+2 more|arXiv (Cornell University)|Apr 26, 2022

Geometric and Algebraic Topology被引用数 3

ひとこと要約

本稿では、ケイリー図を用いて双子幅が群の不変量であることを確立し、無限の双子幅をもつ有限生成群の存在を証明することで、小クラスのグラフに関する予想を反証した。また、群の演算に関してより強く安定するバージョンとして、均一双子幅を導入し、群作用における置換パターンを用いて有限双子幅を特徴づけた。

ABSTRACT

Twin-width is a recently introduced graph parameter with applications in algorithmics, combinatorics, and finite model theory. For graphs of bounded degree, finiteness of twin-width is preserved by quasi-isometry. Thus, through Cayley graphs, it defines a group invariant. We prove that groups which are abelian, hyperbolic, ordered, solvable, or with polynomial growth, have finite twin-width. Twin-width can be characterised by excluding patterns in the self-action by product of the group elements. Based on this characterisation, we propose a strengthening called uniform twin-width, which is stable under constructions such as group extensions, direct products, and direct limits. The existence of finitely generated groups with infinite twin-width is not immediate. We construct one using a result of Osajda on embeddings of graphs into groups. This implies the existence of a class of finite graphs with unbounded twin-width but containing $2^{O(n)} \cdot n!$ graphs on vertex set $\{1,\dots,n\}$, settling a question asked in a previous work.

研究の動機と目的

• 『小予想』を解消するため、群論的技法を用いて反例を構成すること。
• 群の自己作用における置換パターンを用いて、有限双子幅を群において特徴づけること。
• 群の演算に関してより強く安定する双子幅の強化版として、均一双子幅を導入し、その性質を調査すること。
• 双子幅が準等長写像および粗埋め込みに関して保存されることを示し、群の不変量としての性質を確立すること。
• 双子幅とキュー番号との関係を探索し、結果を無限群および非有限生成群に拡張すること。

提案手法

• オスジャダの埋め込み定理を用いて、無限の双子幅をもつ有限生成群を構成する。
• 群作用の置換の幅に対する一様な上限として、均一双子幅を定義し、有限双子幅の条件を一般化する。
• 群の拡大、直積、直限、および有限指数部分群・上位群において、均一双子幅が保存されることを証明する。
• 群の各元の自己作用が特定の置換パターンを避けることと、有限双子幅が同値であることにより特徴づける。
• 行列の重ね合わせと隣接行列表現を用いて、双子幅とキュー番号を関連付ける。
• ビジンの定理と行列分解技術を適用し、キュー番号と辺彩色およびレイアウト構造との関係を明らかにする。

実験結果

リサーチクエスチョン

• RQ1 小予想に反して、無限の双子幅をもつ有限生成群は存在するか？
• RQ2 群の各元の自己作用における置換パターンを用いて、群の双子幅を特徴づけられるか？
• RQ3 群の演算に関して保存される、より強い双子幅のバリエーション（均一双子幅）は存在するか？
• RQ4 群における双子幅とキュー番号の関係は何か？また、双子幅に関する結果はキュー番号へと拡張可能か？
• RQ5 整数集合 Z 上の有限台付き置換からなる群は、有限の双子幅をもつが、無限の均一双子幅をもつ可能性はあるか？

主な発見

• 無限の双子幅をもつ有限生成群の存在が確立され、小クラスのグラフが双子幅有界でなければならないという『小予想』が反証された。
• 群における有限双子幅は、群に全順序が存在し、すべての群元がその順序に関してある固定された置換パターンを避ける置換として作用することと同値である。
• 均一双子幅が導入され、群の拡大、直積、直限、および有限指数部分群・上位群において保存されることの証明がなされた。
• アーベル群、双曲的群、可解群、多項式成長群はすべて、有限の均一双子幅をもつ。
• 無限の双子幅をもつ群のケイリー図の有限部分グラフの族は、双子幅が無限大に達し、かつ小クラスであるため、小予想に対する反例を提供する。
• キュー番号と双子幅は関係がある：均一キュー番号が 1 である右順序可能群は、有限の均一キュー番号をもつ。また、行列的特徴づけを用いて、結果は無限群へと拡張可能である。