虹色K4を避ける完全グラフの辺彩色を数える
Counting edge-colorings of a complete graph avoiding a rainbow $K_4$
この論文をやさしく読む
ひとことで言うと
4頂点のすべての辺が異なる色になる部分グラフを避けたとき、完全グラフの辺の塗り方が何通りあるかを調べた数学研究。
何に役立つ？
グラフ彩色の組合せ数や、特定の多色パターンを避ける構造の理解に役立つ。要旨で示されるのは数学的な証明である。
この研究の面白いところ
使える色の数rが24以下と25以上で、支配的な彩色の形と計数の増え方が切り替わる。
どこまで分かった？
主な漸近式は固定したrについてnを大きくした場合の結果であり、有限のnすべてに対する厳密な個数ではない。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
自然数k、r、nに対し、ρr,k(Kn)を、すべての辺が異なる色のKk、すなわち虹色のKkを含まない、完全グラフKnのr色による辺彩色の数とする。k=3の場合、この値はGallai彩色の数を表す。nが大きいとき、Gallai彩色の大部分が2色彩色であることは、BaloghとLi、およびBastos、Benevides、Hanによって独立に証明されている。類似の予想として、k=4、rが5以上、nが大きい場合、虹色K4を含まないr色の辺彩色の大部分は5色彩色だろうと考えられる。 本論文は、この予想が一般には正しくないことを示し、成立しなくなるrの正確なしきい値を特定する。予想が誤りとなる範囲について、固定した各rに対するρr,4(Kn)の指数的な増加率も決定した。より正確には、6≤r≤24でρr,4(Kn)=(r個から5個を選ぶ組合せ数+o(1))×5の「n個から2個を選ぶ組合せ数」乗である。r≥25では、5色以下しか使わない彩色の割合は0に近づき、ρr,4(Kn)=rの「n²/4+o(n²)」乗となる。後者の指数的増加率は、二部に分けた各部分の内部の辺をすべて一つの共通色で塗る構成で達成される。下界は任意のkへ容易に一般化できる。 これらの結果は、虹色クリークや一般に指定した虹色パターンを避ける彩色の計数に関する最近の結果と関連する。証明では、ハイパーグラフ・コンテナとグラフ除去補題、使用可能な色集合の構造的な評価、および固定した5色集合に近い彩色の精密な計数を組み合わせる。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-19（UTC）
- 最新改訂
- 2026-09-19 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-19 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
For $k, r, n$ natural numbers let $\rho_{r,k}(K_n)$ be the number of $r$-edge-colorings of $K_n$ that do not contain a rainbow copy of a $K_k$, that is, a copy of $K_k$ in which all edges receive different colors. When $k=3$, the quantity $\rho_{r,3}(K_n)$ represents the number of Gallai Colorings. It was proved by Balogh and Li and independently by Bastos, Benevides and Han, that most of the Gallai colorings are 2-colorings, for $n$ large. A natural analogue conjecture would be that when $k=4$, $r\ge 5$ and $n$ large, most rainbow-$K_4$-free $r$-edge-colorings are $5$-colorings. We show that this is not true in general and identify an exact threshold for $r$ where this ceases to be true. For the range where the conjecture is false, we determine the exponential growth of $\rho_{r,4}(K_n)$ for every fixed $r$. More precisely, for \(6\le r\le24\), we prove that \(\rho_{r,4}(K_n)=(\binom{r}{5}+o(1))5^{\binom{n}{2}}\); and for each \(r\ge25\), the proportion using at most five colors tends to zero, and \(\rho_{r,4}(K_n)=r^{(n^2/4)+o(n^2)}\). A bipartite construction, with all edges within the two parts assigned one common color, achieves the latter exponential growth rate. The lower bounds can be easily generalized for every $k$. Those results are related to other recent results about counting colorings that avoid rainbow cliques or given rainbow patterns in general. Our proof combines hypergraph containers with the graph removal lemma, structural estimates for color palettes and a refined count of colorings close to a fixed five-color palette.
著者のコメント
30 pages, 1 figure
arXiv ID: 2609.23179 ／ 要約の誤りについて