K₅,ₙ 최적 그리기의 새로운 전개와 반대점 구조

초록

본 논문은 짝수 n에 대해 K₅,ₙ의 교차 최소(최적) 그리기를 체계적으로 분석한다. n≡2(mod 4)인 경우 모든 최적 그리기가 반대점(antipodal) 쌍을 포함함을 증명하고, n≡0(mod 4)인 경우 반대점이 없는 최적 그리기는 두 매개변수 r, s에 의해 정의되는 D_{r,s} 형태와 동형임을 보인다. 또한 모든 최적 그리기는 Zarankiewicz 그리기의 중첩과 D_{r,s} 형태의 결합으로 기술될 수 있음을 제시한다.

상세 분석

Zarankiewicz 추측(ZC)은 완전 이분 그래프 K_{m,n}의 교차수 cr(K_{m,n})가 Z(m,n)=⌊m/2⌋⌊(m−1)/2⌋⌊n/2⌋⌊(n−1)/2⌋와 일치한다는 명제이다. 이 중 m=5인 경우는 Kleitman이 1970년대에 증명했으며, 그 증명은 ‘antipodal vertex’ 개념에 크게 의존한다. antipodal vertex란 두 개의 degree‑m 정점이 K_{m,2}를 이루었을 때 교차가 전혀 발생하지 않는 경우를 말한다. 기존의 Zarankiewicz 그리기는 이러한 antipodal 쌍을 다수 포함하고, 그 결과 Z(m,n)개의 교차를 달성한다.

본 논문은 특히 n이 짝수인 상황에 초점을 맞추어, antipodal 구조가 최적성에 미치는 영향을 정밀히 탐구한다. 먼저 n≡2(mod 4)인 경우, 모든 최적 그리드가 최소 한 쌍 이상의 antipodal vertex를 반드시 포함한다는 정리를 증명한다. 이 증명은 교차 수를 하한하는 combinatorial argument와, antipodal 쌍이 없을 경우 발생하는 불가능한 교차 패턴을 배제하는 귀류법을 결합한다.

다음으로 저자들은 antipodal vertex가 전혀 존재하지 않는 최적 그리드의 존재 가능성을 조사한다. 여기서 두 매개변수 r, s≥0에 의해 정의되는 D_{r,s}라는 새로운 그리드 패밀리를 제시한다. D_{r,s}는 K_{5,4(r+s)}의 정점들을 네 개의 ‘블록’으로 나누고, 각 블록 내부와 블록 간의 연결 방식을 정밀히 설계함으로써 교차 수가 정확히 Z(5,4(r+s))가 되도록 만든다. 특히 D_{r,s}는 전통적인 Zarankiewicz 그리드와 달리 antipodal 쌍을 전혀 포함하지 않으며, 이는 n≡0(mod 4)인 경우에만 가능한 구조임을 보인다.

핵심 정리는 “n≡0(mod 4)일 때, antipodal vertex가 없는 모든 최적 그리드는 D_{r,s}와 vertex rotation 동형이다”라는 명제이다. 여기서 vertex rotation 동형이란 정점들의 순환 순서를 보존하면서 그래프를 재배치하는 동형을 의미한다. 증명은 먼저 임의의 최적 그리드를 ‘표준 형태’로 정규화하고, 그 표준 형태가 반드시 네 개의 동등한 크기의 정점 집합으로 분할될 수 있음을 보인다. 이후 각 집합 사이의 교차 패턴을 분석해, 가능한 경우는 오직 D_{r,s}와 동형인 경우뿐임을 확인한다.

마지막으로 저자들은 위 두 결과를 종합해, 모든 짝수 n에 대해 최적 그리드는 두 종류의 기본 구성요소—Zarankiewicz 그리드와 D_{r,s}—의 ‘슈퍼포지션’으로 표현될 수 있음을 제시한다. 즉, K_{5,n}의 최적 그리드는 몇 개의 antipodal 쌍을 포함하는 Zarankiewicz 서브그리드와, 필요에 따라 D_{r,s} 형태의 서브그리드를 겹쳐 놓은 형태이며, 이 두 서브그리드의 결합이 정확히 Z(5,n)개의 교차를 만든다. 이 구조적 통찰은 ZC의 일반적인 경우에 대한 새로운 접근법을 제공하고, 특히 m=5인 경우에 한정된 기존 증명들을 보다 직관적인 그래픽적 해석으로 확장한다.