제한된 차수 그래프의 제로합 라무르 수 선형 상한

초록

본 논문은 최대 차수가 일정하게 제한된 n‑정점 그래프 G와, |Γ|가 G의 변의 개수 e(G)를 나누는 임의의 유한 아벨 군 Γ에 대해 제로합 라무르 수 R(G,Γ)가 C·n 형태의 선형 상한을 갖는다는 것을 증명한다. 여기서 상수 C는 최대 차수 Δ에만 의존한다.

상세 분석

논문은 먼저 기존 라무르 이론과 제로합 라무르 이론의 차이를 명확히 구분한다. 고전적인 r‑색 라무르 수 R_r(G)는 일반적으로 선형 상한을 갖지만, 제로합 라무르 수 R(G,Γ)는 색상의 구조가 군 연산과 얽혀 있기 때문에 더 복잡하다. 저자들은 이러한 어려움을 극복하기 위해 두 단계의 핵심 아이디어를 도입한다. 첫 번째는 ‘블루프린트’와 ‘가젯(gadget)’이라는 구조적 도구를 정의하여, G의 국소적인 이웃 구조를 완전 그래프 R₀의 일부에 매핑함으로써 색상의 합을 제어한다. 두 번째는 Kneser 정리를 활용한 일반화된 Cauchy‑Davenport 정리로, 가젯들이 생성하는 합집합이 군 Γ의 코셋을 포함하거나 전체 군을 커버하도록 보인다. 특히, Γ가 임의의 유한 아벨 군일 때는 합집합이 부분군 H의 코셋 r+H 형태가 되므로, 저자들은 단계별로 H를 나눠가며 색을 ‘quotient’하고 새로운 가젯을 찾는 과정을 반복한다. 이 과정에서 Δ‑well‑behaved 라는 새로운 색상 규칙을 도입해, 각 단계에서 충분히 많은 가젯을 확보할 수 있음을 보인다. 또한, 기존의 선형 상한 결과인 Chvátal‑Rödl‑Szemerédi‑Trotter 정리(R_r(G) ≤ C′·v(G))를 이용해 R(G,Γ) ≤ C·n을 얻으며, 여기서 C는 Δ에 대한 다항식 형태이며, 구체적인 상수는 r=200Δ¹²를 선택함으로써 얻어진다. 논문은 또한 최근 독립적인 결과인 Colucci‑D’Emidio의 숲에 대한 선형 상한과 비교하여, 본 방법이 보다 일반적인 그래프와 군에 적용 가능함을 강조한다. 전체 증명은 블루프린트 쌍을 최대한 많이 추출하고, 이를 가젯으로 전환한 뒤, Kneser 정리와 군의 부분군 사슬을 이용해 최종적으로 제로합 복사본을 구성하는 복합적인 알고리즘으로 구성된다.