그래프 차원과 순위 제한 양정정 행렬 완성의 새로운 매개변수

초록

이 논문은 그래프 $G$에 대해 대각선과 $G$의 간선에 해당하는 원소만 지정된 실수 대칭 행렬을, 존재한다면 순위가 $k$ 이하인 양정정 행렬로 완성할 수 있는 최소 정수 $k$를 그래프 차원 $\operatorname{gd}(G)$라 정의한다. $\operatorname{gd}(G)\le k$인 그래프 군은 소거 폐쇄(minor‑closed)이며, 따라서 유한한 금지 소거 집합으로 특징지어진다. 저자는 $k\le3$일 때는 $K_{k+1}$ 하나만이 최소 금지 소거이며, $k=4$일 때는 $K_{5}$와 $K_{2,2,2}$ 두 개가 최소 금지 소거임을 증명한다. 또한 이 결과를 유클리드 실현 그래프와 파라미터 $\nu^{=}(G)$와 연결시켜, 기존의 3‑실현 그래프와 $\nu^{=}(G)\le4$인 그래프에 대한 금지 소거 정리를 새롭게 유도한다.

상세 분석

논문은 먼저 “Gram 차원” $\operatorname{gd}(G)$라는 새로운 그래프 매개변수를 도입한다. 이는 주어진 부분 행렬(대각선과 간선 위치만 지정)에서 양정정(positive semidefinite, PSD) 완성이 가능할 경우, 그 완성 행렬의 최소 가능한 순위를 의미한다. $\operatorname{gd}(G)$는 기존의 차원 제한 실현(dimension‑restricted realizations) 문제와 밀접하게 연결되며, 특히 그래프의 유클리드 임베딩과 SDP(semidefinite programming) 이론에서 자연스럽게 등장한다.

핵심적인 이론적 성질은 $\operatorname{gd}(G)\le k$인 그래프 집합이 소거 폐쇄(minor‑closed)라는 점이다. 즉, 그래프에서 간선을 삭제하거나 계약(contract)해도 $\operatorname{gd}$는 증가하지 않는다. 소거 폐쇄성은 Robertson‑Seymour 이론에 의해 유한한 금지 소거 집합이 존재함을 보장한다. 저자는 이 일반적 프레임워크를 이용해 구체적인 $k$값에 대한 금지 소거를 완전히 규명한다.

$k\le3$인 경우, $K_{k+1}$만이 최소 금지 소거임을 보인다. 증명은 두 단계로 이루어진다. 첫째, $K_{k+1}$는 $\operatorname{gd}(K_{k+1})=k+1$임을 직접 계산한다. 둘째, $K_{k+1}$를 제외한 모든 그래프는 적절한 PSD 완성을 통해 순위 $k$ 이하로 구현할 수 있음을, 주로 그래프의 트리폭(treewidth)과 차원 축소 기법을 활용해 증명한다.

$k=4$에서는 상황이 복잡해진다. 저자는 $K_{5}$와 완전 3‑분할 그래프 $K_{2,2,2}$ 두 개가 최소 금지 소거임을 보인다. $K_{5}$에 대한 논증은 기존의 $K_{5}$가 차원 4 이상의 실현을 필요로 한다는 사실과 일치한다. $K_{2,2,2}$에 대해서는, 이 그래프가 3‑실현(3‑realizable) 불가능성을 나타내는 대표적인 예임을 이용한다. 구체적으로, $K_{2,2,2}$의 모든 가능한 PSD 완성은 최소 순위가 5가 되며, 이는 $\operatorname{gd}(K_{2,2,2})=5$임을 의미한다.

또한 논문은 $\operatorname{gd}(G)$와 두 기존 매개변수 사이의 깊은 연관성을 밝힌다. 첫째, Belk‑Connelly가 정의한 “3‑realizable” 그래프와 $\operatorname{gd}(G)\le4$는 동치임을 보인다. 이는 $\operatorname{gd}$가 그래프의 유클리드 임베딩 차원을 정확히 포착한다는 강력한 의미를 갖는다. 둘째, van der Holst가 제안한 파라미터 $\nu^{=}(G)$와도 $\operatorname{gd}(G)\le4$가 $\nu^{=}(G)\le4$와 동등함을 증명한다. 이 결과는 $\nu^{=}$가 PSD 완성 문제의 순위 제한을 측정하는 또 다른 관점을 제공한다는 점에서 학문적 가치를 높인다.

결과적으로, 이 연구는 그래프 이론, SDP, 그리고 기하학적 실현 사이의 다리 역할을 하며, 특히 작은 차원(≤4)에서의 구조적 제한을 완전히 규명함으로써 향후 고차원 일반화와 알고리즘 설계에 중요한 토대를 제공한다.