[論文レビュー] Clique decompositions of multipartite graphs and completion of Latin squares

Ben Barber, Daniela Kühn+3 more|Bristol Research (University of Bristol)|Mar 3, 2016

graph theory and CDMA systems参考文献 21被引用数 8

ひとこと要約

本稿では、十分に高い最小次数を満たし、$K_r$-可除性条件を満たすバランスの取れた $r$-部グラフが、$r$-クリークへのクリーク分解を許容することを確立している。この問題は、近似的および分数的分解への還元によって扱われる。主な結果は、十分に大きな $n$ に対して、最小次数が $\hat{\delta}^\eta_{K_r} + \varepsilon$ を超えると、完全な $K_r$-分解が得られることを示しており、$r=3$ および $r\geq4$ に対して明示的な境界が与えられている。これは、ラテン平方の完成問題および直交配列の問題を解決する。

ABSTRACT

Our main result essentially reduces the problem of finding an edge-decomposition of a balanced r-partite graph of large minimum degree into r-cliques to the problem of finding a fractional r-clique decomposition or an approximate one. Together with very recent results of Bowditch and Dukes as well as Montgomery on fractional decompositions into triangles and cliques respectively, this gives the best known bounds on the minimum degree which ensures an edge-decomposition of an r-partite graph into r-cliques (subject to trivially necessary divisibility conditions). The case of triangles translates into the setting of partially completed Latin squares and more generally the case of r-cliques translates into the setting of partially completed mutually orthogonal Latin squares.

研究の動機と目的

• 完全グラフからスパarsなホストグラフへの拡張を含め、バランスの取れた $r$-部グラフが $K_r$-分解を許容する十分条件を確立すること。
• 正確なクリーク分解問題を、近似的および分数的分解の存在に還元すること。最近の分数的分解理論の進展を活用する。
• 結果を、部分的に埋められたラテン平方および相互に直交するラテン平方の完成に応用し、グラフ分解と組合せ設計理論を結びつけること。
• 明示的な最小次数の閾値を提供し、$K_r$-分解を保証する。これにより、従来の境界を改善し、予想される最適閾値に近づく。
• 吸収法と正則性法を用いて、$K_r$-可除性と高次最小次数が、完全でないグラフに対しても分解を保証することを証明すること。

提案手法

• 各頂点クラス間で等しい近傍サイズを持つ $K_r$-可除性の概念を導入し、$K_r$-分解に必要な可除性を保証する。
• 任意の頂点から他の各部へ向かう最小次数を $\hat{\delta}(G)$ と定義し、グラフのバランスの取れた拡張性を捉える。
• 近似的な $\eta$- $K_r$-分解の概念を用い、すべての辺のうち $\eta n^2$ を除く部分をカバーする。HaxellとRödlの結果により、分数的分解と結びつける。
• 正則性に基づく分割法（分割列）を適用し、構造的な部分グラフに分割することで、反復的分解を可能にする。
• 吸収法を用いる：最大次数が有界な集合 $A^*$ を構築し、任意の小さな $K_r$-可除部分グラフを吸収可能にし、分解可能性を維持する。
• 正則性、分数的分解の境界（Bowditch, Dukes, Montgomery より）、および吸収法を組み合わせ、近似的な分解を正確な分解に高める。

実験結果

リサーチクエスチョン

• RQ1 バランスの取れた $r$-部グラフが $K_r$-可除性を満たす場合、どの最小次数条件が $K_r$-分解を保証するか？
• RQ2 正確なクリーク分解問題を、近似的または分数的分解の存在にどのように還元できるか？
• RQ3 $K_r$-分解のための最良の最小次数閾値は何か？$1 - 1/(r+1)$ の予想された値に近づくか？
• RQ4 これらの結果は、部分的に埋められたラテン平方および相互に直交するラテン平方の完成にどのように拡張されるか？
• RQ5 有界次数制約下での $r$-部グラフにおける $K_r$-分解に、吸収法を効果的に適用できるか？

主な発見

• $r=3$ の場合、$n$ 頂点の任意の $K_3$-可除 $3$-部グラフにおいて、最小次数が $\left(\frac{24}{25} + \varepsilon\right)n$ であれば、$K_3$-分解が保証される。
• $r \geq 4$ の場合、$n$ 頂点の任意の $K_r$-可除 $r$-部グラフにおいて、最小次数が $\left(1 - \frac{1}{10^6 r^3} + \varepsilon\right)n$ であれば、$K_r$-分解が保証される。
• この結果により、正確な $K_r$-分解問題は、近似的な $K_r$-分解の存在に還元され、閾値 $\hat{\delta}^\eta_{K_r}$ が中心的な役割を果たす。
• 最大次数が有界な吸収集合 $A^*$ の構築により、小さな部分グラフを除去した後でも、完全な分解可能性を回復できる。
• この手法により、$r$-部グラフにおける $K_r$-分解の最良の既知の境界が達成され、予想される閾値 $1 - 1/(r+1)$ に近づく。
• これらの結果から、関連する $3$-部グラフにおける最小次数が十分に高い部分ラテン平方は、すべて完成可能であると示唆される。