2025-11-10T03:03:05.603358

Rainbow triangles sharing one common vertex or edge

Chen, Ning
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.
academic

一つの共通頂点または辺を共有する虹色三角形

基本情報

  • 論文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

要旨

本論文は、辺着色グラフにおける虹色三角形の存在性問題を研究している。nn個の頂点を持つ辺着色グラフGGに対して、頂点vvの色度dc(v)d^c(v)は、vvに隣接する辺に使用される異なる色の数として定義される。最小色度はδc(G)=min{dc(v):vV(G)}\delta^c(G)=\min\{d^c(v):v\in V(G)\}と記される。H. Li定理は、δc(G)n+12\delta^c(G)\geq \frac{n+1}{2}のとき、グラフGGは虹色三角形を含むことを示している。これに触発されて、著者は辺着色グラフにおける書グラフ(books)と友情グラフ(friendship graphs)の構造を研究した。主要な結果は以下を証明している:δc(G)n+k12\delta^c(G)\geq \frac{n+k-1}{2}かつn3k2n\geq 3k-2のとき、GGは一つの辺を共有するkk個の虹色三角形を含む;δc(G)n+2k32\delta^c(G)\geq \frac{n+2k-3}{2}かつn2k+9n\geq 2k+9のとき、GGは一つの頂点を共有するkk個の虹色三角形を含む。

研究背景と動機

問題背景

  1. 古典的三角形問題:Mantel(1907)はnn個の頂点を持つ三角形を含まないグラフは最大でn24\lfloor\frac{n^2}{4}\rfloor本の辺を持つことを証明した
  2. 構造化された三角形:Erdősらは書グラフBkB_k(一つの辺を共有するkk個の三角形)と友情グラフFkF_k(一つの頂点を共有するkk個の三角形)のTurán数を研究した
  3. 虹色部分グラフ:虹色部分グラフと正しく着色された部分グラフは、古典的安定性結果、Bermond-Thomassen予想、Caccetta-Häggkvist予想など、多くのグラフ理論的性質と密接に関連している

研究の動機

  1. H. Li定理の一般化:H. Li(2013)は最小色度条件δc(G)n+12\delta^c(G)\geq \frac{n+1}{2}が虹色三角形の存在を保証することを証明した
  2. 構造化された虹色三角形:複数の虹色三角形が頂点または辺を共有する場合を自然に考察する
  3. 古典的グラフ論との関連:古典的な書グラフと友情グラフの概念を辺着色グラフの設定に一般化する

既存方法の限界

虹色三角形に関する既存の研究は主に単一の三角形の存在性に焦点を当てており、複数の虹色三角形の構造化された配置(頂点または辺を共有する場合など)の研究は比較的少ない。

核心的貢献

  1. 主定理3δc(G)n+k12\delta^c(G)\geq \frac{n+k-1}{2}かつn3k2n\geq 3k-2のとき、グラフGGは一つの辺を共有するkk個の虹色三角形(辺着色書グラフBkB_k)を含むことを証明した
  2. 主定理4δc(G)n+2k32\delta^c(G)\geq \frac{n+2k-3}{2}かつn2k+9n\geq 2k+9のとき、グラフGGは一つの頂点を共有するkk個の虹色三角形(辺着色友情グラフFkF_k)を含むことを証明した
  3. H. Li定理の改善k=2k=2のとき、両方の主要な結果はH. Liの元の定理を改善している
  4. 技術的革新:Czygrinowらの虹色圏技術と最新の計数技術を組み合わせた
  5. 極値性分析:結果の緊密性の分析と極値構成を提供した

方法の詳細説明

タスク定義

入力:辺着色グラフG=(V,E)G=(V,E)、ここでV=n|V|=n、辺着色関数C:E{1,2,,k}C:E\to \{1,2,\ldots,k\}出力GGが一つの辺(または一つの頂点)を共有するkk個の虹色三角形を含むかどうかを判定する 制約条件:最小色度δc(G)\delta^c(G)が特定の閾値を満たす

核心的概念と技術

1. 色度関連の定義

  • 色度dc(v)={C(uv):uN(v)}d^c(v) = |\{C(uv) : u \in N(v)\}|
  • α\alpha-近傍Nα(v)={uN(v):C(uv)=α}N_\alpha(v) = \{u \in N(v) : C(uv) = \alpha\}
  • 単色度dmon(v)=max{Nα(v):αC(G)}d^{mon}(v) = \max\{|N_\alpha(v)| : \alpha \in C(G)\}

2. 制限色技術

Czygrinowらの「制限色」概念を導入する:

  • 頂点vvXN(v)X \subseteq N(v)に対して、α=C(xy)\alpha = C(xy)vxyvxyが虹色P3P_3を構成し、かつαC(y,N(y)X)\alpha \notin C(y, N(y)\setminus X)を満たす場合、(v,X)(v,X)yyに対して色α\alphaを制限すると言う
  • σv,X(y)\sigma_{v,X}(y)(v,X)(v,X)によって制限される色の数とする

3. 虹色三角形の計数

  • rt(v)rt(v):頂点vvを含む虹色三角形の数
  • rt(v,x)rt(v,x):頂点vvxxの両方を含む虹色三角形の数
  • rt(v,X)=xXrt(v,x)rt(v,X) = \sum_{x \in X} rt(v,x)

主要補題

補題7(計数補題)

辺最小グラフGGと頂点vvに対して、以下が成立する: rt(v,Ni(v))xNi(v)(dc(x)+dc(v)n)+di(v)1js(dj(v)1)di(v)(di(v)1)yN!(v)dvyc(y,Ni(v))rt(v,N_i(v)) \geq \sum_{x\in N_i(v)}(d^c(x) + d^c(v) - n) + d_i(v)\sum_{1\leq j\leq s}(d_j(v)-1) - d_i(v)(d_i(v)-1) - \sum_{y\in N^!(v)}d^c_{vy}(y,N_i(v))

ここでN!(v)=αC(G){Nα(v):Nα(v)=1}N^!(v) = \bigcup_{\alpha\in C(G)}\{N_\alpha(v) : |N_\alpha(v)| = 1\}である。

補題9(単色度分析)

最大単色度を持つ頂点vvに対して、B(v)0B(v) \geq 0が成立し、B(v)=0B(v) = 0のとき特殊な構造的性質が存在する。

証明戦略

定理3の証明思路

  1. kk個の共有辺を持つ虹色三角形が存在しないと仮定する
  2. 最大単色度を持つ頂点vvを選択する
  3. 補題7の計数不等式を利用する
  4. 矛盾を通じて条件を満たす構造の存在を証明する

定理4の証明思路

  1. マッチング数に関するErdős-Gallaiの Turán数理論を利用する
  2. 補助グラフG(v)G^\triangle(v)vvを含む虹色三角形の辺から構成)を構成する
  3. G(v)G^\triangle(v)の被覆数とマッチング数を分析する
  4. 精密な次数分析を通じて矛盾を導く

実験設定

極値構成

例1:平衡完全3-部グラフG[V1,V2,V3]G[V_1,V_2,V_3]を構成する。ここでV(G)=3k3|V(G)|=3k-3V1=V2=V3=k1|V_1|=|V_2|=|V_3|=k-1、正しい着色を採用する。このグラフはdc(v)=n+k12d^c(v) = \frac{n+k-1}{2}を満たすがBkB_kまたはFkF_kを含まず、定理3の条件「n3k2n \geq 3k-2」の緊密性を証明している。

比較分析

論文は結果を以下の古典的結果と比較している:

  • H. Li定理δc(G)n+12\delta^c(G) \geq \frac{n+1}{2}は虹色三角形を保証する
  • Erdősらの結果:書グラフと友情グラフの古典的Turán数
  • 無色グラフの場合:対応する最小次数条件

実験結果

主要結果の比較

構造本論文の条件頂点数要件H. Li条件改善
B2B_2δcn+12\delta^c \geq \frac{n+1}{2}n4n \geq 4δcn+12\delta^c \geq \frac{n+1}{2}構成的改善
F2F_2δcn+12\delta^c \geq \frac{n+1}{2}n13n \geq 13δcn+12\delta^c \geq \frac{n+1}{2}構成的改善
BkB_kδcn+k12\delta^c \geq \frac{n+k-1}{2}n3k2n \geq 3k-2-新結果
FkF_kδcn+2k32\delta^c \geq \frac{n+2k-3}{2}n2k+9n \geq 2k+9-新結果

緊密性分析

  • 定理3の緊密性:例1はn3k3n \leq 3k-3のとき、より強い色度条件δcn+k2\delta^c \geq \frac{n+k}{2}が必要であることを示している
  • 漸近的緊密性k=o(n)k = o(n)のとき、結果は漸近的に緊密である

関連研究

虹色三角形の研究

  1. H. Li(2013):色度条件δcn+12\delta^c \geq \frac{n+1}{2}が虹色三角形を保証することを初めて証明した
  2. B. Li他(2014):より弱い条件vdc(v)n(n+1)2\sum_{v} d^c(v) \geq \frac{n(n+1)}{2}も十分であることを証明した
  3. X. Li他(2022):虹色三角形の計数版を提供した

古典的グラフ論の結果

  1. Mantel(1907):三角形を含まないグラフの辺数の上界
  2. Erdős-Edwards-Khadžiivanov-Nikiforov:書グラフのTurán数
  3. Erdős他(1995):友情グラフのTurán数

技術的方法

  1. Czygrinow他(2021):虹色圏に対する制限色技術
  2. Erdős-Gallai(1959):マッチング数のTurán理論

結論と考察

主要な結論

  1. H. Liの虹色三角形に関する古典的結果を、複数の三角形が構造を共有する場合に成功裏に一般化した
  2. 辺着色グラフにおける書グラフと友情グラフの存在性に対する十分条件を確立した
  3. 結果の緊密性分析と極値構成を提供した

限界

  1. 頂点数要件:定理4の条件n2k+9n \geq 2k+9は比較的強い
  2. 技術的複雑性:証明は複数の複雑な計数技術と構造分析を含む
  3. 一般化の程度:結果は主に特定の共有パターン(単一辺または単一頂点)に対するもの

将来の方向

  1. より一般的な共有パターン:より複雑な虹色三角形の配置を研究する
  2. 他の虹色構造:虹色圏、虹色経路などへの一般化
  3. アルゴリズム問題:これらの構造を見つけるための効率的なアルゴリズムの設計
  4. ランダムグラフ:ランダムな辺着色グラフにおける対応する結果

深い評価

利点

  1. 理論的貢献が顕著:重要な古典的結果の成功した一般化、新しい理論的枠組みの確立
  2. 技術的革新:複数の現代的技術(制限色、計数方法、Turán理論)の巧妙な組み合わせ
  3. 結果の完全性:存在性結果だけでなく、緊密性と極値の場合の分析も提供
  4. 明確な記述:論文の構成が合理的で、証明の思路が明確

不足

  1. 証明の複雑性が高い:技術的詳細が多く、結果のアクセス可能性に影響する可能性がある
  2. 応用範囲:主に理論的結果であり、実際の応用シナリオが十分に明確でない
  3. 定数因子:条件内の定数(例えば2k+92k+9)が最適でない可能性がある

影響力

  1. 理論的価値:極値組合論と虹色部分グラフ理論に新しい研究方向を提供する
  2. 方法論的貢献:証明技術は他の類似問題に適用される可能性がある
  3. 後続研究:関連問題のさらなる研究の基礎を確立する

適用シナリオ

本研究は主に以下に適用される:

  1. 極値組合論の理論研究
  2. グラフ着色理論
  3. 構造グラフ論における存在性問題
  4. 組合最適化における部分構造検出問題

参考文献

論文は29篇の重要な文献を引用しており、以下を含む:

  • H. Li(2013): Rainbow C3C_3's and C4C_4'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
  • 組合数学とグラフ論分野の多くの古典的文献