평면 최소강성 그래프의 유클리드 임베딩 개수 세기

초록

본 논문은 평면에서 최소강성(Laman) 그래프가 가질 수 있는 서로 다른 유클리드 임베딩의 최대 개수를 거리기하학과 혼합 부피 이론을 이용해 상한을 구한다. Cayley‑Menger 행렬을 기반으로 한 다항식 시스템을 구성하고, 그 시스템의 혼합 부피를 계산함으로써 복소근의 개수를 추정한다. 3‒10개의 정점에 대해 구한 상한을 정리하고, 기존 연구의 오류를 바로잡으며, Henneberg 단계가 임베딩 수에 미치는 영향을 분석한다.

상세 분석

이 논문은 평면(ℝ²)에서 최소강성 그래프, 즉 라만(Laman) 그래프가 가질 수 있는 유클리드 임베딩의 개수를 정확히 혹은 상한으로 파악하려는 시도이다. 먼저 그래프 G=(V,E)와 각 변에 할당된 일반적인 거리 d_{ij}가 주어지면, 임베딩은 점 집합 {p_i}⊂ℝ²가 모든 {i,j}∈E에 대해 ‖p_i−p_j‖=d_{ij}를 만족하도록 하는 사상이다. 강성은 이러한 임베딩이 회전·이동·반사(강체 변환)으로부터 서로 구분되는 유한 개수만 존재함을 의미한다.

라만 그래프는 |E|=2|V|−3이며, 모든 부분 그래프가 |E’|≤2|V’|−3을 만족한다는 조합적 특성을 가진다. 라만 그래프는 Henneberg 구축법을 통해 생성될 수 있는데, H1 단계는 새로운 정점을 기존 두 정점에 연결하고, 임베딩 수를 정확히 두 배로 늘린다. H2 단계는 새로운 정점을 기존 세 정점에 연결하고 그 중 하나의 변을 제거한다; 이 단계는 임베딩 수를 최대 4배까지 증가시킬 수 있다고 추정된다.

논문은 거리기하학의 핵심 도구인 Cayley‑Menger 행렬 B를 도입한다. B는 (n+1)×(n+1) 대칭 행렬이며, 그 원소는 거리 제곱 d_{ij}²와 1 로 채워진다. 임베딩 가능성은 두 조건으로 판정된다: (1) rank(B)≤d+2, (2) 모든 k‑차 마이너가 (−1)^k·det≥0 를 만족한다(삼각 부등식 등). 특히, (d+3)×(d+3) 마이너가 영이 되는 것이 핵심 제약이며, 이를 이용해 변수의 수를 줄인 “잘 제약된(square) 시스템”을 만든다.

이 시스템은 다항식 f₁,…,f_n 로 표현되며, 각 다항식의 지수 집합(지원)으로부터 뉴턴 다각형을 정의한다. 혼합 부피(Mixed Volume)는 이 뉴턴 다각형들의 Minkowski 합의 부피에서 λ₁·…·λ_n 의 계수를 의미한다. 베르그만-스톤 정리에 따르면, 일반적인 계수 선택에 대해 시스템의 복소근(고유해) 수는 혼합 부피에 의해 상한이 잡힌다. 따라서 혼합 부피를 계산하면 임베딩 수(실근)의 상한을 얻을 수 있다.

구체적인 사례로, 저자들은 n=6인 Desargues 그래프와 K_{3,3} 그래프에 대해 각각 12와 11의 혼합 부피를 구하고, 이를 2배(반사 고려)하여 24와 22개의 실 임베딩 상한을 얻는다. n=7에서는 H2 단계가 포함된 3개의 그래프를 분석했으며, 가장 복잡한 경우에 28의 혼합 부피(→56개의 실 임베딩) 를 도출한다. 기존 문헌에서 제시된 7정점 그래프의 상한 56이 정확함을 확인한다.

n=8에 대해서는 기존 연구(