그래프 정규성 및 제거 보조정리의 새로운 경계

초록

저자들은 임의의 정수 k에 대해 모든 균등 k‑분할이 최소 c·k²/log* k개의 비정규 쌍을 포함하도록 하는 그래프를 구성한다. 이는 정규성 보조정리에서 불규칙 쌍 수에 대한 기존 상한이 최적임을 보이며, 강한 정규성 보조정리와 유도 그래프 제거 보조정리에도 새로운 하한을 제시한다. 또한 약한 정규성 보조정리와 정규 근사 정리의 파라미터 ε에 대해 2^{Ω(ε^{-2})}개의 파트가 필요함을 증명한다.

상세 분석

이 논문은 그래프 정규성 정리와 그 변형들의 복잡도 한계를 정밀하게 분석한다. 첫 번째 주요 결과는 임의의 양의 정수 k에 대해, 모든 균등 k‑분할이 적어도 c·k²/ log* k개의 비정규(pair) (ε,δ)‑regular하지 않은 쌍을 포함하도록 하는 그래프의 존재를 보이는 것이다. 여기서 log* 는 반복 로그이며, c와 ε, δ는 절대 상수이다. 이 하한은 기존에 Gowers가 제시한 “tower‑type” 상한과 일치하며, η(불규칙 쌍 비율) 의 의존도가 실제로 tower‑type임을 증명한다. 구성은 다중 단계의 파티션 P₁,…,P_s 을 사용하고, 각 단계마다 무작위 그래프 G_i 를 삽입해 정규성 파라미터를 조절한다. 무작위 선택을 통해 각 단계에서 발생할 수 있는 불규칙 쌍을 정확히 통제하고, 최종 그래프가 원하는 하한을 만족함을 확률론적 방법으로 보인다.

두 번째 핵심은 강한 정규성 보조정리(Alon‑Fischer‑Krivelevich‑Szegedy)의 하한을 wowzer‑type으로 제시한 것이다. 강한 정규성 보조정리는 기본 파티션 A와 그 정밀 파티션 B를 동시에 만족시키며, B가 A에 대해 ε‑close 하고, B 자체가 f(|A|)‑regular임을 요구한다. 기존 증명은 Szemerédi 정규성 정리를 반복 적용해 wowzer‑type 상한을 얻었지만, 이 상한이 최적인지 여부는 미해결이었다. 논문은 앞서 만든 그래프 구조를 이용해, 임의의 f와 ε에 대해 |A|,|B| 가 최소 W (와우저 함수) 크기 이상이어야 함을 보인다. 이는 기존 상한과 일치하는 하한이며, 강한 정규성 보조정리의 복잡도가 실제로 wowzer‑type임을 확정한다.

세 번째 기여는 유도 그래프 제거 보조정리의 새로운 증명이다. 기존 증명은 강한 정규성 보조정리를 사용해 wowzer‑type 복잡도를 초래한다. 저자들은 강한 정규성 보조정리를 우회하는 방법을 제시해, 대신 tower‑type 상한을 얻는다. 핵심 아이디어는 불규칙 쌍을 직접 제어하는 대신, 그래프를 적절히 정제하고, 약한 정규성 보조정리와 정규 근사 정리를 결합해 ε‑정밀도에 대한 δ 값을 tower‑type 함수로 제한한다. 이는 실제 응용에서 더 실용적인 상한을 제공한다.

마지막으로, 약한 정규성 보조정리와 정규 근사 정리의 파라미터 ε에 대해 필요한 파트 수가 2^{Ω(ε^{-2})} 임을 증명한다. 이는 Lovász‑Szegedy가 제기한 문제에 대한 최적 해답이며, 약한 정규성 보조정리의 효율성 한계를 정확히 규정한다. 전체적으로 논문은 정규성 정리 계열의 복잡도 구조를 완전하게 파악하고, 상한과 하한을 일치시켜 이론적 최적성을 입증한다.