[논문 리뷰] The Erd\H{o}s Matching Conjecture and concentration inequalities

Péter Frankl, Andrey Kupavskii|arXiv (Cornell University)|2018. 06. 22.

Limits and Structures in Graph Theory참고 문헌 49인용 수 29

한 줄 요약

이 논문은 $ n \geq \frac{5}{3}sk - \frac{2}{3}s $ 이고 충분히 큰 $ s $ 에 대해 에르되시의 매칭 추측을 증명하며, $ s+1 $개의 쌍으로 분리된 $ k $-집합을 포함하지 않는 최대 가족 크기는 $ \binom{n}{k} - \binom{n-s}{k} $ 임을 확립한다. 증명은 농도 부등식과 샤도 기반 기법을 사용하여 무작위 매칭과의 교차 크기를 제한하며, 이는 이전 범위를 크게 초월하고 큰 $ s $ 에 대해 통합된 상한을 제공한다.

ABSTRACT

More than 50 years ago, Erd\\H os asked the following question: what is the maximum size of a family $\\mathcal F$ of $k$-element subsets of an $n$-element set if it has no $s+1$ pairwise disjoint sets? This question attracted a lot of attention recently, in particular, due to its connection to various combinatorial, probabilistic and theoretical computer science problems. Improving the previous best bound due to the first author, we prove that $|\\mathcal F|\\le {n\\choose k}-{n-s\\choose k}$, provided $n\\ge \\frac 53sk -\\frac 23 s$ and $s$ is sufficiently large. We derive several corollaries concerning Dirac thresholds and deviations of sums of random variables. We also obtain several related results.

연구 동기 및 목표

• 쌍으로 분리된 집합이 $ s+1 $개 이상 없는 $ n $개 정점 위의 $ k $-균일 가족의 최대 크기를 결정하는 오랜 동안 남아있던 에르되시의 매칭 추측을 다룬다.
• 이전 결과를 초월하여, 특히 $ (k+1)s < n < (2s+1)k - s $ 범위에서 추측의 유효 범위를 확장한다. 이 범위에서는 이론이 아직 해결되지 않았다.
• 가족과 무작위 매칭 간의 교차를 분석하기 위한 새로운 농도 부등식 프레임워크를 개발하여, 극단적인 가족 크기의 더 강력한 상한을 가능하게 한다.
• Theorem 1을 블랙박스로 사용하여 $ \gamma \geq 4/3 $ 인 경우 이전 결과보다 향상된, $ m(n,k,s) $ 를 위한 통합 상한을 제공한다.
• 디르락 임계값, 랜덤 변수 합의 이탈 범위, 그리고 확률론적 조합론과 이론적 컴퓨터 과학 분야의 응용과의 연결 고리를 탐색한다.

제안 방법

• 논문은 $ k $-균일 가족 $ \mathcal{F} $ 와 무작위 매칭 간의 교차가 약한 조건 하에서 기대값 주위에 집중됨을 보여주는 새로운 농도 부등식 접근법을 사용한다.
• 핵심 기법으로는 매칭 수와 교차 구조를 유지하면서 가족을 단순화하는 이동(Shifting)과 샤도 이론을 사용한다.
• Theorem 1의 증명은 $ s $-집합 $ T $ 에 대해 $ \mathcal{F}(\bar{T}) $ 의 최소 크기로 정의된 $ s $-다양성 $ \gamma_s(\mathcal{F}) $ 를 통해 가족의 다양성을 제한하고, 높은 다양성을 가진 가족은 반드시 크기가 크다는 것을 보인다.
• Theorem 2에서는 Theorem 1을 블랙박스로 사용하여 $ \gamma \in (1, 5/3] $ 이고 $ n \geq \gamma sk - (\gamma-1)s $ 인 경우에 대해 $ m(n,k,s) $ 에 대한 통합 상한을 유도한다.
• 메트릭스 분할 정리와 최대 차수와 코드그리드가 제어된 보조 하이퍼그래프를 구성함으로써 기대 교차 크기를 유도하는 방법을 사용한다.
• 기술적 보조정리들은 부록에서 증명되며, 주요 결과는 무작위 매칭과의 교차 집중에 기반한 안정성 추론에 의존한다.

실험 결과

연구 질문

• RQ1 $ n \geq \frac{5}{3}sk - \frac{2}{3}s $ 이고 큰 $ s $ 인 경우, $ s+1 $개의 쌍으로 분리된 집합을 포함하지 않는 $ k $-균일 가족의 최대 크기는 무엇인가?
• RQ2 농도 부등식을 어떻게 사용하여 극단적인 가족과 무작위 매칭 간의 교차를 제한할 수 있으며, 이는 에르되시의 매칭 추측에 어떤 함의를 갖는가?
• RQ3 최적의 통합 상한 $ m(n,k,s) $ 는 무엇이며, 기존 상한들인 $ s\binom{n-1}{k-1} $ 또는 $ \binom{k(s+1)-1}{k} $ 와 비교해 볼 때 어떻게 다른가?
• RQ4 매칭 수 $ \nu(\mathcal{F}) \leq s $ 인 가족 $ \mathcal{F} $ 의 $ s $-다양성은 어떤 방식으로 제한될 수 있으며, 이는 $ n $ 의 더 넓은 범위에서 에르되시의 매칭 추측을 함의하는가?
• RQ5 농도 방법은 랜덤 제약 조건 하에서의 조밀도 변화나 추측의 레인보우 형태와 같은 관련 문제에 어떤 함의를 갖는가?

주요 결과

• 에르되시의 매칭 추측은 $ n \geq \frac{5}{3}sk - \frac{2}{3}s $ 이고 $ s \geq s_0 $ 인 경우에 대해 참임을 증명하며, 여기서 $ s_0 $ 는 절대 상수이다. 이는 매개변수의 상당한 새로운 범위에서 추측이 확인됨을 의미한다.
• 이 범위 내에서 매칭 수가 최대 $ s $ 인 $ k $-균일 가족의 최대 크기는 $ \binom{n}{k} - \binom{n-s}{k} $ 이며, 이는 고정된 $ s $-집합과 교차하는 모든 $ k $-집합의 가족 크기와 일치한다.
• 새로운 통합 상한이 도출되었으며, $ \gamma \in (1, 5/3] $ 에 대해 $ m(n,k,s) \leq \binom{n}{k} - \frac{\gamma-1}{2} \cdot \frac{5k-2}{\gamma k - (\gamma-1)} \binom{n-s}{k} $ 이다. 이는 $ \gamma \geq 4/3 $ 인 경우 이전 상한보다 향상된다.
• 농도 방법의 응용으로 $ n > 3esk $ 이고 큰 $ s $ 인 경우에 대해 에르되시의 매칭 추측의 레인보우 형태를 확립하였다. 이는 결과의 적용 범위를 확장한다.
• 이 방법은 또한 무작위 제약 조건 하에서 균일 가족의 조밀도 변화에 대한 새로운 농도 결과를 이끌어내어, 교차하는 가족 내에서의 서로 다른 교차의 이해를 향상시킨다.