Let $G$ be an edge-colored graph on $n$ vertices. For a vertex $v$, the \emph{color degree} of $v$ in $G$, denoted by $d^c(v)$, is the number of colors appearing on the edges incident with $v$. Denote by $δ^c(G)=\min\{d^c(v):v\in V(G)\}$. By a theorem of H. Li, an $n$-vertex edge-colored graph $G$ contains a rainbow triangle if $δ^c(G)\geq \frac{n+1}{2}$. Inspired by this result, we consider two related questions concerning edge-colored books and friendship subgraphs of edge-colored graphs. Let $k\geq 2$ be a positive integer. We prove that if $δ^c(G)\geq \frac{n+k-1}{2}$ where $n\geq 3k-2$, then $G$ contains $k$ rainbow triangles sharing one common edge; and if $δ^c(G)\geq \frac{n+2k-3}{2}$ where $n\geq 2k+9$, then $G$ contains $k$ rainbow triangles sharing one common vertex. The special case $k=2$ of both results improves H. Li's theorem. The main novelty of our proof of the first result is a combination of the recent new technique for finding rainbow cycles due to Czygrinow, Molla, Nagle, and Oursler and some recent counting technique from \cite{LNSZ}. The proof of the second result is with the aid of the machine implicitly in the work of Turán numbers for matching numbers due to ErdÅs and Gallai.
- 論文ID: 2302.00851
- タイトル: Rainbow triangles sharing one common vertex or edge(一つの共通頂点または辺を共有する虹色三角形)
- 著者: Xiaozheng Chen(鄭州大学)、Bo Ning(南開大学)
- 分類: math.CO(組合数学)
- 発表日: 2023年2月2日(arXiv プレプリント)
- 論文リンク: https://arxiv.org/abs/2302.00851
本論文は、辺着色グラフにおける虹色三角形の存在性問題を研究している。n個の頂点を持つ辺着色グラフGに対して、頂点vの色度dc(v)は、vに隣接する辺に使用される異なる色の数として定義される。最小色度はδc(G)=min{dc(v):v∈V(G)}と記される。H. Li定理は、δc(G)≥2n+1のとき、グラフGは虹色三角形を含むことを示している。これに触発されて、著者は辺着色グラフにおける書グラフ(books)と友情グラフ(friendship graphs)の構造を研究した。主要な結果は以下を証明している:δc(G)≥2n+k−1かつn≥3k−2のとき、Gは一つの辺を共有するk個の虹色三角形を含む;δc(G)≥2n+2k−3かつn≥2k+9のとき、Gは一つの頂点を共有するk個の虹色三角形を含む。
- 古典的三角形問題:Mantel(1907)はn個の頂点を持つ三角形を含まないグラフは最大で⌊4n2⌋本の辺を持つことを証明した
- 構造化された三角形:Erdősらは書グラフBk(一つの辺を共有するk個の三角形)と友情グラフFk(一つの頂点を共有するk個の三角形)のTurán数を研究した
- 虹色部分グラフ:虹色部分グラフと正しく着色された部分グラフは、古典的安定性結果、Bermond-Thomassen予想、Caccetta-Häggkvist予想など、多くのグラフ理論的性質と密接に関連している
- H. Li定理の一般化:H. Li(2013)は最小色度条件δc(G)≥2n+1が虹色三角形の存在を保証することを証明した
- 構造化された虹色三角形:複数の虹色三角形が頂点または辺を共有する場合を自然に考察する
- 古典的グラフ論との関連:古典的な書グラフと友情グラフの概念を辺着色グラフの設定に一般化する
虹色三角形に関する既存の研究は主に単一の三角形の存在性に焦点を当てており、複数の虹色三角形の構造化された配置(頂点または辺を共有する場合など)の研究は比較的少ない。
- 主定理3:δc(G)≥2n+k−1かつn≥3k−2のとき、グラフGは一つの辺を共有するk個の虹色三角形(辺着色書グラフBk)を含むことを証明した
- 主定理4:δc(G)≥2n+2k−3かつn≥2k+9のとき、グラフGは一つの頂点を共有するk個の虹色三角形(辺着色友情グラフFk)を含むことを証明した
- H. Li定理の改善:k=2のとき、両方の主要な結果はH. Liの元の定理を改善している
- 技術的革新:Czygrinowらの虹色圏技術と最新の計数技術を組み合わせた
- 極値性分析:結果の緊密性の分析と極値構成を提供した
入力:辺着色グラフG=(V,E)、ここで∣V∣=n、辺着色関数C:E→{1,2,…,k}出力:Gが一つの辺(または一つの頂点)を共有するk個の虹色三角形を含むかどうかを判定する
制約条件:最小色度δc(G)が特定の閾値を満たす
- 色度:dc(v)=∣{C(uv):u∈N(v)}∣
- α-近傍:Nα(v)={u∈N(v):C(uv)=α}
- 単色度:dmon(v)=max{∣Nα(v)∣:α∈C(G)}
Czygrinowらの「制限色」概念を導入する:
- 頂点vとX⊆N(v)に対して、α=C(xy)がvxyが虹色P3を構成し、かつα∈/C(y,N(y)∖X)を満たす場合、(v,X)はyに対して色αを制限すると言う
- σv,X(y)を(v,X)によって制限される色の数とする
- rt(v):頂点vを含む虹色三角形の数
- rt(v,x):頂点vとxの両方を含む虹色三角形の数
- rt(v,X)=∑x∈Xrt(v,x)
辺最小グラフGと頂点vに対して、以下が成立する:
rt(v,Ni(v))≥∑x∈Ni(v)(dc(x)+dc(v)−n)+di(v)∑1≤j≤s(dj(v)−1)−di(v)(di(v)−1)−∑y∈N!(v)dvyc(y,Ni(v))
ここでN!(v)=⋃α∈C(G){Nα(v):∣Nα(v)∣=1}である。
最大単色度を持つ頂点vに対して、B(v)≥0が成立し、B(v)=0のとき特殊な構造的性質が存在する。
- k個の共有辺を持つ虹色三角形が存在しないと仮定する
- 最大単色度を持つ頂点vを選択する
- 補題7の計数不等式を利用する
- 矛盾を通じて条件を満たす構造の存在を証明する
- マッチング数に関するErdős-Gallaiの Turán数理論を利用する
- 補助グラフG△(v)(vを含む虹色三角形の辺から構成)を構成する
- G△(v)の被覆数とマッチング数を分析する
- 精密な次数分析を通じて矛盾を導く
例1:平衡完全3-部グラフG[V1,V2,V3]を構成する。ここで∣V(G)∣=3k−3、∣V1∣=∣V2∣=∣V3∣=k−1、正しい着色を採用する。このグラフはdc(v)=2n+k−1を満たすがBkまたはFkを含まず、定理3の条件「n≥3k−2」の緊密性を証明している。
論文は結果を以下の古典的結果と比較している:
- H. Li定理:δc(G)≥2n+1は虹色三角形を保証する
- Erdősらの結果:書グラフと友情グラフの古典的Turán数
- 無色グラフの場合:対応する最小次数条件
| 構造 | 本論文の条件 | 頂点数要件 | H. Li条件 | 改善 |
|---|
| B2 | δc≥2n+1 | n≥4 | δc≥2n+1 | 構成的改善 |
| F2 | δc≥2n+1 | n≥13 | δc≥2n+1 | 構成的改善 |
| Bk | δc≥2n+k−1 | n≥3k−2 | - | 新結果 |
| Fk | δc≥2n+2k−3 | n≥2k+9 | - | 新結果 |
- 定理3の緊密性:例1はn≤3k−3のとき、より強い色度条件δc≥2n+kが必要であることを示している
- 漸近的緊密性:k=o(n)のとき、結果は漸近的に緊密である
- H. Li(2013):色度条件δc≥2n+1が虹色三角形を保証することを初めて証明した
- B. Li他(2014):より弱い条件∑vdc(v)≥2n(n+1)も十分であることを証明した
- X. Li他(2022):虹色三角形の計数版を提供した
- Mantel(1907):三角形を含まないグラフの辺数の上界
- Erdős-Edwards-Khadžiivanov-Nikiforov:書グラフのTurán数
- Erdős他(1995):友情グラフのTurán数
- Czygrinow他(2021):虹色圏に対する制限色技術
- Erdős-Gallai(1959):マッチング数のTurán理論
- H. Liの虹色三角形に関する古典的結果を、複数の三角形が構造を共有する場合に成功裏に一般化した
- 辺着色グラフにおける書グラフと友情グラフの存在性に対する十分条件を確立した
- 結果の緊密性分析と極値構成を提供した
- 頂点数要件:定理4の条件n≥2k+9は比較的強い
- 技術的複雑性:証明は複数の複雑な計数技術と構造分析を含む
- 一般化の程度:結果は主に特定の共有パターン(単一辺または単一頂点)に対するもの
- より一般的な共有パターン:より複雑な虹色三角形の配置を研究する
- 他の虹色構造:虹色圏、虹色経路などへの一般化
- アルゴリズム問題:これらの構造を見つけるための効率的なアルゴリズムの設計
- ランダムグラフ:ランダムな辺着色グラフにおける対応する結果
- 理論的貢献が顕著:重要な古典的結果の成功した一般化、新しい理論的枠組みの確立
- 技術的革新:複数の現代的技術(制限色、計数方法、Turán理論)の巧妙な組み合わせ
- 結果の完全性:存在性結果だけでなく、緊密性と極値の場合の分析も提供
- 明確な記述:論文の構成が合理的で、証明の思路が明確
- 証明の複雑性が高い:技術的詳細が多く、結果のアクセス可能性に影響する可能性がある
- 応用範囲:主に理論的結果であり、実際の応用シナリオが十分に明確でない
- 定数因子:条件内の定数(例えば2k+9)が最適でない可能性がある
- 理論的価値:極値組合論と虹色部分グラフ理論に新しい研究方向を提供する
- 方法論的貢献:証明技術は他の類似問題に適用される可能性がある
- 後続研究:関連問題のさらなる研究の基礎を確立する
本研究は主に以下に適用される:
- 極値組合論の理論研究
- グラフ着色理論
- 構造グラフ論における存在性問題
- 組合最適化における部分構造検出問題
論文は29篇の重要な文献を引用しており、以下を含む:
- H. Li(2013): Rainbow C3's and C4's in edge-colored graphs
- Erdős, Füredi, Gould, Gunderson(1995): Extremal graphs for intersecting triangles
- Czygrinow, Molla, Nagle, Oursler(2021): On odd rainbow cycles in edge-colored graphs
- 組合数学とグラフ論分野の多くの古典的文献