3차원 강체성에 대한 바라냐이 조건의 반례와 새로운 증명

초록

바라냐이가 제시한 3‑차원 그래프 강체성의 필요조건은 옳지만, 그 역은 성립하지 않는다. 저자는 전형적인 “더블 바나나” 그래프를 이용해 역조건이 거짓임을 보이고, 라플라스 전개와 행렬식 논법을 활용한 순수 선형대수적 증명을 제시한다. 또한 차원 상승에 대한 추측을 제시한다.

상세 분석

본 논문은 바라냐이(Tamás Baranyai)가 2026년에 발표한 “3‑차원 그래프 강체성에 대한 필요조건”을 재검토한다. 그 정리는 최소 3‑강체(minimally 3‑rigid) 그래프 G=(V,E)와 임의의 간선 e∈E에 대해, E를 (S₁,S₂,S₃)로 분할하면 (i) |S_i|=|V|−i, (ii) e∈S₁, (iii) (V,S₁∪S₂), (V,S₁∪S₃)/e, (V,S₂∪S₃∪e)/e 가 모두 최소 2‑강체(minimally 2‑rigid)라는 조건을 만족한다는 것이다. 바라냐이는 이 조건의 충분성도 주장했지만, 저자는 이를 반박한다.

반례로 사용된 “더블 바나나” 그래프는 두 개의 K₅−e(5개의 정점, 9개의 간선) 서브그래프가 두 정점(2‑vertex separator)으로 연결된 형태이며, 전체 그래프는 (3,6)-tight(즉 |E|=3|V|−6)임에도 불구하고 실제로는 3‑강체가 아니다. 이는 두 서브그래프가 힌지처럼 회전할 수 있는 자유도를 남기기 때문이다. 저자는 그래프의 모든 간선에 대해 위의 분할 (S₁,S₂,S₃)을 명시적으로 구성함으로써, 바라냐이 정리의 필요조건은 만족하지만 충분조건은 깨진다는 점을 증명한다.

그 다음 섹션에서는 기존 증명 대신 순수 선형대수적 접근을 제시한다. 핵심은 리지디티 매트릭스 R(G,p)의 특정 열을 삭제해 얻은 정사각 행렬 X가 가역임을 보이고, 라플라스 전개(Lemma 4.1)를 이용해 E\F를 두 부분 R₁,R₂로 나누어 각각 (V,F∪R₁)와 (V,F∪R₂)/e 가 최소 2‑강체가 되도록 한다. Lemma 4.2와 Lemma 4.3은 스패닝 트리 T와 간선 e를 고정한 뒤, 적절한 파티션을 구성하는 방법을 구체적으로 제시한다. 특히, 스키워 대칭 행렬 A의 계수를 이용해 커널 벡터가 영벡터임을 보이고, 이를 통해 X의 랭크가 3|V|−6임을 확인한다. 이후 행렬 블록 연산과 열 조합을 통해 Y₁,Y₂가 가역임을 보이며, 이는 각각 (V,F∪R₁)와 (V,F∪R₂)/e 의 리지디티 매트릭스와 동일함을 이용한다. 최종적으로 S₁=F, S₂=R₁, S₃=R₂ 로 두어 원래 바라냐이 정리의 필요조건을 다시 증명한다.

마지막으로 저자는 차원 상승(coning)과 관련된 일반화 가능성을 논의하고, (3,6)-tight 그래프가 모든 간선에 대해 위와 같은 분할을 가질 경우에도 3‑강체가 아닐 수 있음을 강조한다. 이를 바탕으로 “(3,6)-tight ⇔ 위 분할 존재”라는 새로운 추측(Conjecture 5.1)을 제시한다.

전반적으로 논문은 바라냐이 정리의 필요조건이 올바른 것을 확인하고, 그 역이 거짓임을 명확한 반례와 깔끔한 선형대수적 증명으로 입증함으로써 3‑차원 강체성 이론에 중요한 교훈을 제공한다.