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
- 제목: 한 공통 꼭짓점 또는 간선을 공유하는 무지개 삼각형
- 저자: Xiaozheng Chen (정주대학교), Bo Ning (난카이대학교)
- 분류: math.CO (조합론)
- 발표 시간: 2023년 2월 2일 (arXiv 사전인쇄본)
- 논문 링크: https://arxiv.org/abs/2302.00851
본 논문은 간선 착색 그래프에서 무지개 삼각형의 존재성 문제를 연구한다. n개의 꼭짓점을 가진 간선 착색 그래프 G에서, 꼭짓점 v의 색도(color degree) 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): 간선 착색 그래프에서의 무지개 C3와 C4
- Erdős, Füredi, Gould, Gunderson (1995): 교차 삼각형의 극값 그래프
- Czygrinow, Molla, Nagle, Oursler (2021): 간선 착색 그래프의 홀수 무지개 순환
- 조합론 및 그래프 이론 분야의 다수 고전 문헌