그래스먼 그래프 색칠수와 MRD 코드의 새로운 상한

초록

이 논문은 유한체 위의 Grassmann 그래프와 그 전력 그래프 J₍q₎(n,m,t)의 색칠수(크로마틱 넘버)를 연구한다. MRD(최대 계수 거리) 코드를 이용한 새로운 색칠 방법을 제시해 n≥2m인 경우 χ(J₍q₎(n,m,t)) ≤ (1+o(1)) n^{m‑t} q^{(n‑m)(m‑t)} 를 얻으며, 파라미터가 고정된 경우 이 상한이 정확히 맞아 χ(J₍q₎(n,m,t)) = Θ(q^{(m‑t)·max(n‑m,m)}) 가 된다.

상세 분석

본 연구는 q‑아날로그 Johnson 그래프인 Grassmann 그래프 J₍q₎(n,m)와 그 (m‑t)‑전력인 J₍q₎(n,m,t)의 색칠수를 정확히 추정하려는 시도이다. 기존에는 정규 차수 Δ에 기반한 χ≤Δ+1 정도의 완만한 상한만 알려져 있었으며, 일부 특수 경우(m=2 등)에서만 더 강한 결과가 있었다. 저자들은 먼저 그래프의 이중성 J₍q₎(n,m,t)≅J₍q₎(n,n‑m,n‑2m+t)를 이용해 파라미터 영역을 n≥2m과 m<n<2m 두 구간으로 나눈다. 하한은 고정 차원의 부분공간을 포함하는 클리크의 크기인 Gaussian 이항계수 ⎛n‑t⎞₍q₎/⎛m‑t⎞₍q₎ 로부터 바로 얻는다.

상한을 얻기 위한 핵심 아이디어는 MRD 코드의 “리프팅(lifting)” 기법이다. MRD 코드는 M_{m×(n‑m)}(𝔽_q) 공간에서 최소 거리 d=m‑t+1를 만족하면서 |C|=q^{(n‑m)(m‑t)}개의 행렬을 제공한다. 각 코드워드 A에 대해 식별 벡터 u∈𝔽_q^n (무게 m) 를 고정하고, I_m(단위 행렬)의 열을 u의 1 위치에 삽입하고 나머지 열에 A의 열을 채워 m‑차원 부분공간 L_u(A)⊂𝔽_q^n을 만든다. 서로 다른 코사이드(coset)에서 얻은 L_u(A)들은 서로 교차 차원이 정확히 t 이하이므로 J₍q₎(n,m,t)에서 독립집합(코클리크)을 이룬다. 같은 u에 대해 모든 코사이드를 색으로 지정하면, u마다 하나의 색이 할당되고, 서로 다른 u는 서로 다른 색을 갖는다. u의 선택은 Johnson 그래프 J(n,m)의 색칠과 동일한 문제이며, 기존의 Graham‑Sloane 색칠법을 적용해 u의 수를 (1+o(1)) n^{m‑t} 로 제한한다. 따라서 전체 색칠수는 (1+o(1)) n^{m‑t} q^{(n‑m)(m‑t)} 로 상한이 잡힌다.

이 상한은 n≥2m 구간에서 정확히 맞아, 하한과 상한이 동일한 차수를 갖는다. 대칭성을 이용하면 m<n<2m 구간에서도 동일한 형태의 상한을 얻는다. 결과적으로 고정된 n,m,t에 대해 q가 커질 때 χ(J₍q₎(n,m,t))는 Θ(q^{(m‑t)·max(n‑m,m)}) 로 성장한다는 것을 보인다. 이는 기존의 Δ+1 상한보다 훨씬 강력하며, MRD 코드와 그래프 색칠 사이의 깊은 연결을 보여준다. 또한, 이 방법은 Grassmann 그래프의 전력에 대한 일반적인 색칠 문제에 적용 가능함을 시사한다.