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
  • 제목: 한 공통 꼭짓점 또는 간선을 공유하는 무지개 삼각형
  • 저자: Xiaozheng Chen (정주대학교), Bo Ning (난카이대학교)
  • 분류: math.CO (조합론)
  • 발표 시간: 2023년 2월 2일 (arXiv 사전인쇄본)
  • 논문 링크: https://arxiv.org/abs/2302.00851

초록

본 논문은 간선 착색 그래프에서 무지개 삼각형의 존재성 문제를 연구한다. nn개의 꼭짓점을 가진 간선 착색 그래프 GG에서, 꼭짓점 vv의 색도(color degree) 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) (v를 포함하는 무지개 삼각형 간선으로 구성)를 구성
  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-3, V1=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): 간선 착색 그래프에서의 무지개 C3C_3C4C_4
  • Erdős, Füredi, Gould, Gunderson (1995): 교차 삼각형의 극값 그래프
  • Czygrinow, Molla, Nagle, Oursler (2021): 간선 착색 그래프의 홀수 무지개 순환
  • 조합론 및 그래프 이론 분야의 다수 고전 문헌