이분 그래프 강성·대칭 완전성·초연결성 충분조건

초록

본 논문은 Kalai가 정의한 대칭 완전성 매트로이드 Sₙ, 초연결성 매트로이드 Hₙ, 그리고 이분 그래프에 대한 birigidity 매트로이드 Bₙ에 대해, 그래프가 각각 최대 랭크를 갖도록 하는 최소 차수와 연결성 조건을 제시한다. 특히 Sₙ·Hₙ는 최소 차수가 (n+d‑1)/2이면 충분하고, Bₙ는 O(d³) 정도의 k‑연결이면 충분함을 보인다. 이를 통해 저차원 행렬의 고유 완전성 결과를 도출한다.

상세 분석

논문은 먼저 Kalai가 1985년에 제시한 세 가지 매트로이드를 소개한다. 대칭 완전성 매트로이드 S_d는 루프가 허용된 완전 그래프의 간선 집합 위에 정의되며, 행렬 S(G,p)의 행이 각 간선(또는 루프)과 정점 좌표 p(v) 의 곱을 나타낸다. 초연결성 매트로이드 H_d는 단순 완전 그래프에 대해 정의되고, 행은 p(v) 와 p(u) 의 차를 포함한다. 이분 그래프에 대해서는 S_d와 H_d가 동일해지며, 이를 birigidity 매트로이드 B_d라 부른다. 각 매트로이드는 저차원(특히 d≥2) 행렬 완전성 문제와 직접 연결된다.

핵심 결과는 두 가지 정리이다. 첫 번째 정리(정리 1.2)는 최소 차수 조건을 제시한다. 간단히 말하면, n≥h_d인 단순 그래프가 최소 차수 δ(G)≥(n+d‑1)/2 을 만족하면 H_d에 대해 최대 랭크를 갖는다. 반면, 루프가 허용된 그래프가 동일한 차수 조건에 더해 루프가 없는 정점은 δ≥(n+d)/2 을 만족하면 S_d에서도 최대 랭크를 얻는다. 여기서 h_d와 s_d는 O(d²) 규모이며, d≥2에 대해 이 차수 한계는 최적임을 논증한다.

두 번째 정리(정리 1.3)는 이분 그래프에 대한 연결성 조건을 다룬다. k_d=O(d³)인 정수 k_d가 존재하여, k_d‑연결된 모든 이분 그래프는 B_d에서 최대 랭크를 가진다(즉, d‑birigid). 저자는 d²‑연결된 그래프가 birigid하지 않을 수 있음을 예시로 제시하며, 제시된 연결성 한계가 d배 정도 최적에 가깝다는 점을 강조한다.

이러한 그래프 이론적 결과를 행렬 완전성에 연결한다. 정리 1.4는 두 가지 응용을 제시한다. (a) n×n 양의 반정정 행렬(PSD) S∈S_d(n) 이 일반적인 경우, 각 행에 최소 (n+d+1)/2 개의 원소가 알려져 있으면 행렬이 유일하게 복원된다. (b) m×n 일반 행렬 M∈M_d(m,n) 에 대해, 해당 원소들의 위치가 k_d+1‑연결된 스패닝 서브그래프를 형성하면 M이 유일하게 복원된다. 이는 기존 결과보다 훨씬 약한 정보(덜 많은 관측)만으로도 복원이 가능함을 의미한다.

증명 기법에서는 기존의 1‑extension 연산이 R_d 매트로이드에만 보존되는 한계를 극복하기 위해, 0‑extension, double 1‑extension, looped 1‑extension 등 새로운 연산을 도입한다. 특히 이분 그래프에 대해 ‘k‑biconnectivity’라는 새로운 정점 연결성 개념을 정의하고, 이를 이용해 비판적 k‑biconnect된 그래프의 정점 커버 수에 대한 하한을 구한다(정리 5.1, 6.4). 이러한 구조적 분석을 통해 매트로이드의 독립성 보존을 단계적으로 증명한다.

결과적으로, 이 논문은 그래프의 최소 차수와 연결성이라는 전통적인 그래프 이론적 파라미터가 저차원 행렬 완전성 문제와 직접 연결될 수 있음을 보여준다. 특히, d가 커질수록 O(d²)·O(d³) 수준의 조건만으로도 거의 모든 대형 행렬을 고유하게 복원할 수 있음을 입증함으로써, 행렬 완전성 분야와 그래프 이론 사이의 교량 역할을 수행한다.