[논문 리뷰] Colored unavoidable patterns and balanceable graphs

Matt Bowen, Adriana Hansberg외 2명|arXiv (Cornell University)|2019. 12. 13.

Advanced Graph Theory Research참고 문헌 19인용 수 9

한 줄 요약

이 논문은 간색이 칠해진 완전 그래프에서 트라날 유형 문제를 조사하며, 각 색상에 대해 Ω(n²⁻¹/trʳ) 개의 간이 존재하는 r-간색 완전 그래프는 유한한 r-색 완전 그래프의 가족 𝒟ₜʳ의 원소를 포함함을 증명한다. 또한 각 색상에 대해 Ω(n²⁻¹/ᵗ) 개의 간이 충분할 것이라 추측하며, r=3일 때는 이론이 정확하고, r≥7일 때는 심지어 n²⁻ᵒ⁽¹⁾ 개의 간이 존재하더라도 균형 잡힌 길이 7k의 경로를 보장하지 못함을 보여준다.

ABSTRACT

We study a Turán-type problem on edge-colored complete graphs. We show that for any $r$ and $t$, any sufficiently large $r$-edge-colored complete graph on $n$ vertices with $Ω(n^{2-1/tr^r})$ edges in each color contains a member from certain finite family $\mathcal{F}_t^r$ of $r$-edge-colored complete graphs. We conjecture that $Ω(n^{2-1/t})$ edges in each color are sufficient to find a member from ${\mathcal{F}}_t^r$. A result of Girão and Narayanan confirms this conjecture when $r=2$. Next, we study a related problem where the corresponding Turán threshold is linear. We call an edge-coloring of a path $P_{rk}$ balanced if each color appears $k$ times in the coloring. We show that any $3$-edge-coloring of a large complete graph with $kn+o(n)$ edges in each color contains a balanced $P_{3k}$. This is tight up to a constant factor of $2$. For more colors, the problem becomes surprisingly more delicate. Already for $r=7$, we show that even $n^{2-o(1)}$ edges from each color does not guarantee existence of a balanced $P_{7k}$.

연구 동기 및 목표

• r-간색 완전 그래프에서 단색 구조를 강제로 유도하기 위해 필요한 최소한의 간수(각 색상당)를 결정하는 것.
• 두 색상 렘버그 이론의 결과를 r-색 설정으로 일반화하며, 특히 색상이 칠해진 그래프에서 피할 수 없는 패턴에 초점을 맞추는 것.
• 각 색상이 동일한 빈도로 나타나는 균형 잡힌 경로가 간색 완전 그래프에 존재하는지 조사하는 것.
• 모든 𝒟ₜʳ 패턴에 대해 균형 잡힌 임bedding을 허용하는 그래프, 즉 '균형 잡힌 그래프'를 특성화하는 것.
• 특히 r≥3일 경우, r-색 설정에서 트라날 임계값의 알려진 상한과 하한 사이의 격차를 좁히는 것.

제안 방법

• r-간색 완전 그래프에서 𝒟ₜʳ의 원소를 강제로 유도하기 위해 필요한 최소한의 간수(각 색상당)를 경계짓는 트라날 유형의 극한 프레임워크를 사용한다.
• 현재 상한이 상수의 상수 범위 내에서 정확하다는 것을 보이기 위해 무작위 구성 기법을 적용하며, 이는 ex(n, Kₜ,ₜ)에 대한 추측된 하한을 가정한다.
• 각 색상이 동일하게 나타나는 부분그래프에서의 균형 잡힌 임베딩 개념을 도입하고, balᵣ(n, G)를 정의한다. 이는 그러한 임베딩을 보장하는 최소 간 조밀도를 의미한다.
• 정점 부분집합을 나타내는 정점과 간의 다중도를 설정하여 오일러 순환을 보장하는 보조 다중그래프를 구성함으로써, 균형 잡힌 경로의 임베딩을 가능하게 한다.
• 이중 부분집합에서 색상 빈도의 최소공배수(lcm)를 사용하여 기본 경로 길이 k′₀를 정의함으로써, 구성된 경로에서 균형 잡힌 색상 분포를 보장한다.
• 𝒟ₜʳ에 속한 그래프의 구조적 분석을 수행하며, 각 그래프가 크기가 t인 k개의 부분집합으로 분할되며, 단색 클리크와 이분 간이 존재하고, 모든 r개의 색상이 사용됨을 보여준다.

실험 결과

연구 질문

• RQ1 r-간색 완전 그래프에서 각 색상에 대해 최소한의 간수(각 색상당)가 얼마여야 𝒟ₜʳ의 원소가 강제로 발생하는가?
• RQ2 추측된 바와 같이 트라날 경계의 지수를 2−1/trʳ 에서 2−1/t 로 개선할 수 있는가?
• RQ3 r≥3일 때, 균형 잡힌 경로 P_{rk}를 보장하기 위해 각 색상당의 간 조밀도의 임계값은 얼마인가?
• RQ4 어떤 그래프 G가 균형 잡힌 그래프인가? 즉, 𝒟ₜʳ의 모든 패턴에 대해 균형 잡힌 임베딩을 허용하는가?
• RQ5 r≥3일 때, balᵣ(n, G) = o(n²)인가, 아니면 balᵣ(n, G) = Θ(n²)인 그래프가 존재하는가?

주요 결과

• 모든 r과 t에 대해, 각 색상에 대해 Ω(n²⁻¹/trʳ) 개의 간이 존재하는 r-간색 완전 그래프는 유한한 가족 𝒟ₜʳ의 원소를 포함한다.
• 저자들은 각 색상에 대해 Ω(n²⁻¹/ᵗ) 개의 간이 충분할 것이라 추측하며, 이는 상수의 상수 범위 내에서 정확하다.
• r=3일 때, 각 색상에 대해 kn + o(n) 개의 간이 존재하는 3-간색 완전 그래프는 균형 잡힌 경로 P_{3k}를 포함하며, 이 경계는 상수 배수의 정확도로 정확하다.
• r=7일 때, 심지어 n²⁻ᵒ⁽¹⁾ 개의 간이 존재하더라도 균형 잡힌 경로 P_{7k}를 보장하지 못함을 보여주며, 색상 수가 많아질수록 문제의 복잡성이 크게 증가함을 보여준다.
• 균형 잡힌 그래프의 특성화: balᵣ(n, G) = o(n²)이면, 그리고 그뿐이면, G는 𝒟ₜʳ의 모든 패턴에 대해 균형 잡힌 임베딩을 허용한다.
• r=3일 때, bal₃(n, C_{6k}) = o(n²)임을 보였지만, bal₃(n, C_{6k+3}) = Ω(n²)임을 보여주며, 이는 유한한지 무한한지 여부는 여전히 열려있다.