플래그 코클리크의 최적 구조와 색채 정리

초록

이 논문은 유한 투영공간 PG(2n,q)에서 (n‑1,n) 플래그들의 코클리크를 연구한다. Erdős‑Matching 정리를 이용해 q가 충분히 클 때 최대 코클리크의 정확한 크기와 구조를 규명하고, 안정성 결과까지 제시한다. 이를 통해 D’haeseleer‑Metsch‑Werner의 예측을 증명한다.

상세 분석

본 연구는 PG(2n,q) 내의 (n‑1,n) 플래그 집합을 정점으로 하는 그래프 Γ₂ₙ을 정의하고, 두 플래그가 서로 반대(opposite)일 때 인접하도록 하였다. 반대 관계는 A₁∩B₂=∅ 및 A₂∩B₁=∅ 로 정의되며, 이는 전통적인 Kneser 그래프의 벡터공간 버전이다. 주요 목표는 Γ₂ₙ의 최대 코클리크(서로 인접하지 않는 정점 집합)의 크기와 구조를 파악하는 것이다.

핵심 도구는 Ihringer가 2021년에 증명한 “Erdős‑Matching 정리 for vector spaces”이다. 이 정리는 주어진 차원의 부분공간 집합이 일정 수 이상의 서로 스키(서로 교차하지 않음) 부분공간을 포함하지 않을 때, 그 크기에 대한 상한을 제공한다. 이를 통해 플래그 집합에서 ‘빨간’(많은 플래그에 포함되는) n‑공간 혹은 (n‑1)‑공간의 존재 여부를 판단한다. 빨간 공간들은 서로 일반 위치에 있지 않으며, 빨간 (n‑1)‑공간들은 항상 교차한다는 Lemma 2.4가 도출된다.

다음 단계에서는 기존의 Erdős‑Ko‑Rado(EKR) 및 Hilton‑Milner 정리를 벡터공간 버전으로 적용한다. Result 2.5는 서로 교차하는 (n‑1)‑공간들의 최대 개수를 제시하고, 교차가 아닌 경우에는 모든 공간이 한 점을 통과한다는 구조적 결론을 내린다. 이를 바탕으로 Corollary 2.7은 빨간 공간이 충분히 많지 않다면 전체 코클리크가 특정 초평면 H 혹은 점 P에 의해 지배된다는 강력한 구조적 제한을 얻는다.

핵심 정리인 Theorem 1.2는 두 경우로 나뉜다. (a) 최대 코클리크의 크기가
(\displaystyle \binom{2n}{n-1}_q\binom{n+1}{1}_q+\binom{2n-1}{n-1}_q q^n)
이며, 이는 Example 1.1에서 제시된 두 종류의 구성(초평면 H와 점 X, 혹은 초평면 H와 점 P)과 정확히 일치한다. (b) 코클리크가 위 크기보다 작을 경우, 크기는
(\displaystyle \binom{2n}{n-1}_q\binom{n+1}{1}_q+f(n,q)q^n)
이하이며, 여기서 f(n,q)는 n≥4일 때는 (3\binom{n}{1}_q\binom{2n-2}{n-2}_q) 로 정의된다. 또한 이 경우에도 전체 코클리크는 H에 포함된 n‑공간 혹은 P에 포함된 (n‑1)‑공간을 모두 포함한다는 구조적 특징을 가진다. 마지막으로 (c) 경우는 코클리크 크기가 (O(q^{n^2+n-2})) 로 상한이 잡힌다.

증명 과정은 크게 네 단계로 구성된다. 1) 빨간 공간의 존재와 그 성질을 파악하고, 2) 빨간 공간이 충분히 많을 때 Example 1.1의 구조가 강제됨을 보이며, 3) 빨간 공간이 적을 경우 Erdős‑Matching 정리를 이용해 충분히 많은 노란(덜 포함된) (n‑1)‑공간 혹은 n‑공간이 존재함을 보인다. 4) 이러한 노란 공간들이 n+1개 이상 존재하면, Lemma 4.3에 의해 그들을 모두 교차하는 n‑공간의 수가 (O(q^{n^2-1})) 로 제한되어 전체 코클리크 크기가 (c) 경우에 해당함을 확인한다.

결과적으로, 본 논문은 Γ₂ₙ의 최대 코클리크가 두 가지 전형적인 형태(초평면에 포함된 플래그 또는 점에 포함된 플래그) 중 하나임을 완전히 규명하고, 작은 변형에 대해서도 정확한 상한을 제공한다. 이는 D’haeseleer, Metsch, Werner가 제시한 추측을 완전히 입증함과 동시에, 고차원 프로젝트ive 공간에서의 Kneser‑type 그래프에 대한 EKR 이론을 한 단계 끌어올린 성과라 할 수 있다.