[論文レビュー] Counting graph orientations with no directed triangles

Pedro Araújo, Fábio Botler+1 more|arXiv (Cornell University)|May 27, 2020

Limits and Structures in Graph Theory参考文献 8被引用数 5

ひとこと要約

この論文は、アロンとユスターの予想を確認する。n 頂点の任意のグラフにおける三角形を含まない向き付けの最大数は、n ≥ 8 のとき $2^{\lfloor{n^2/4}}$ であり、これは、バランスの取れた完全二部グラフ $K_{\lfloor n/2\rfloor,\lceil n/2\rceil}$ によって唯一達成される。証明は構造的分解と極値グラフ理論を用いて、向き付けの拡張を制限し、方向付き三角形を含まない制約下で、唯一完全二部グラフがこの最大値に達することを示している。

ABSTRACT

Alon and Yuster proved that the number of orientations of any $n$-vertex graph in which every $K_3$ is transitively oriented is at most $2^{\lfloor n^2/4 floor}$ for $n \geq 10^4$ and conjectured that the precise lower bound on $n$ should be $n \geq 8$. We confirm their conjecture and, additionally, characterize the extremal families by showing that the balanced complete bipartite graph with $n$ vertices is the only $n$-vertex graph for which there are exactly $2^{\lfloor n^2/4 floor}$ such orientations.

研究の動機と目的

• アロンとユスターの予想、すなわちすべての n ≥ 8 に対して $D(n,K^\circlearrowright_3) = 2^{\lfloor n^2/4\rfloor}$ であることを確認すること。
• この最大数の $K^\circlearrowright_3$-自由向き付けを達成する極値グラフを特定すること。
• バランスの取れた完全二部グラフ $K_{\lfloor n/2\rfloor,\lceil n/2\rceil}$ が、n 頂点のグラフの中で唯一 $2^{\lfloor n^2/4\rfloor}$ 個のこのような向き付けを達成することを証明すること。
• 禁止された有向部分グラフの制約下でのグラフにおける極値向き付け数の理解を拡張すること。

提案手法

• 証明は、グラフ内の最大クリークのサイズに基づく場合分けを用い、頂点を構造的コンポonentに分割する。
• 拡張関数 ${\rm ext}_G(e,S)$ を用いて、頂点集合間の互換性のある $K^\circlearrowright_3$-自由向き付けの数に上限を適用する。
• 補題を用いて、特に三角形やマッチングに対して、部分グラフ間の有効な向き付けの数を制限する。
• マントルの定理（三角形を含まないグラフの最大辺数）と極値数え上げを組み合わせ、グラフがバランスの取れた完全二部グラフでない限り厳密な不等号が成り立つことを示す。
• 小さなグラフ（n ≤ 13）については、付録における場合ごとの分析を通じて計算的に検証される。
• 証明は、向き付けの拡張に関する組合せ的上限から導かれる不等式系の解法に帰着される。

実験結果

リサーチクエスチョン

• RQ1 n 頂点のグラフの向き付けで、方向付き三角形を含まないものの最大数は何か？
• RQ2 どの n 頂点のグラフがこの最大値を達成するか？
• RQ3 バランスの取れた完全二部グラフが、$2^{\lfloor n^2/4\rfloor}$ 個の $K^\circlearrowright_3$-自由向き付けを達成する唯一の極値グラフであるか？
• RQ4 アロンとユスターの予想、$D(n,K^\circlearrowright_3) = \max\{2^{\lfloor n^2/4\rfloor}, n!\}$ がすべての n ≥ 8 に対して確認可能か？

主な発見

• すべての n ≥ 8 に対して、任意の n 頂点グラフにおける $K^\circlearrowright_3$-自由向き付けの最大数は正確に $2^{\lfloor n^2/4\rfloor}$ である。
• バランスの取れた完全二部グラフ $K_{\lfloor n/2\rfloor,\lceil n/2\rceil}$ が、この最大値を達成する唯一の n 頂点グラフである。
• n ≤ 7 の場合、最大値は n! であり、これは $2^{\lfloor n^2/4\rfloor}$ より厳密に小さいため、n=8 が予想の閾値であることが確認される。
• $K_{\lfloor n/2\rfloor,\lceil n/2\rceil}$ に同型でない任意の n 頂点グラフは、$2^{\lfloor n^2/4\rfloor}$ 個より少ない $K^\circlearrowright_3$-自由向き付けを持つ。
• 証明により、n ≥ 8 のとき、非二部グラフまたはバランスが取れていない二部グラフでは、$D(G,K^\circlearrowright_3) < 2^{\lfloor n^2/4\rfloor}$ が成り立つことが示された。
• 結果として、アロンとユスターの予想が完全に確認され、$D(n,K^\circlearrowright_3) = 2^{\lfloor n^2/4\rfloor}$ が n ≥ 8 で成り立ち、等号は $K_{\lfloor n/2\rfloor,\lceil n/2\rceil}$ のみで成立することが示された。