다차원 강체 그래프 실현 수의 새로운 규칙과 하한

본 논문은 “d‑차원 실현 수”라는 개념을 중심으로 강체 그래프 이론에 새로운 시각을 제시한다. 먼저, 강체 그래프 G 에 대해 복소 실현 수 c₍d₎(G)와 실 실현 수 r₍d₎(G)를 정의한다. 복소 실현 수는 일반적인(즉, Zariski‑open) 복소 좌표 실현에 대해 일정한 값을 가지며, 실 실현 수는 일반적인 실수 좌표 실현에 대해 최대값을 취한다. 두 수는 항상 c₍d₎(G) ≥ r₍d₎(G) 이며, r₍d₎(G)=1 ⇔ c₍d₎(G)=1 이라는 전역 강체성 조건과 동등함을 상기한다. 핵심 도구는 “핀(pinned)된 강성 지도” \tilde f_{G,d} 이다. 이는 d 개의 정점을 고정(원점, x‑축, xy‑평면 등)시켜 등거리 제약을 유지하면서도 전체 자유도를 d|V|−(d+1 choose 2) 로 감소시킨다. 이 지도는 강성 행렬과 동일한 야코비안을 가지며, 그 이미지가 Zariski‑dense임을 보인다. 따라서 일반점 p 에 대해 \tilde f_{G,d}^{-1}(\tilde f_{G,d}(p)) 의 원소 개수가 일정함을 이용해 c₍d₎(G) 를 정의한다. 첫 번째 주요 결과는 부분그래프와 실현 수 사이의 나눗셈 관계이다. 정리 1.1은 G 가 d‑rigid 이고 H 가 G 의 스패닝 d‑rigid 부분그래프이면 c₍d₎(G) | c₍d₎(H) 임을 증명한다. 이는 부분그래프가 더 많은 자유도를 가질 수 있지만, 복소 실현 수는 실제로는 G 의 실현 수의 배수라는 강력한 제약을 제공한다. 정리 1.2는 최소 d‑rigid 부분그래프 H′ 가 H 에 포함될 때, G−E(H)+E(H′) 가 최소 d‑rigid 조건을 만족하면 c₍d₎(H) | c₍d₎(G) 임을 보인다. 이는 Grasegger가 제시한 최소 d‑rigid 그래프에 대한 나눗셈 결과를 전 차원으로 일반화한 것이다. 두 번째 축은 그래프 연산이 실현 수에 미치는 영향을 다룬다. 0‑확장, vertex‑split, spider‑split 등 기존에 2‑차원에서 연구된 연산을 d‑차원으로 확장하고, 각각에 대해 복소 실현 수와 실 실현 수의 하한을 도출한다. 특히, d‑차원 vertex‑split(또는 spider‑split)에서는 실현 수가 최소 2배 이상 증가함을 보이며, 이는 차원에 무관하게 “분할 연산은 실현 수를 기하급수적으로 늘린다”는 일반 원리를 제시한다. 이러한 결과는 정리 4.5, 4.9, 4.11, 4.13, 4.16에 구체적으로 기술된다. 이러한 도구들을 이용해 삼각 구면(3‑차원에서 최소 3‑rigid 인 구면 삼각분할) 에 대해 정리 1.3을 증명한다. 정리 1.3은 정점 수 n 인 모든 삼각 구면 그래프 G 에 대해 c₍3₎(G) ≥ r₍3₎(G) ≥ 2^{n‑4} 임을 보인다. 이는 Jackson‑Owen이 2‑차원 평면 그래프에 대해 얻은 2^{n‑3} 하한을 3‑차원으로 자연스럽게 확장한 결과이며, 복소 실현 수와 실 실현 수가 동일한 차수의 지수적 성장률을 갖는다는 중요한 통찰을 제공한다. 또한, 이 결과는 최소 3‑rigid 인 투영 평면 그래프에도 적용될 수 있음을 정리 5.1에서 언급한다. 마지막으로, 위의 정리들을 활용해 Grasegger가 제시한 1‑extension, X‑replacement, V‑replacement에 관한 일련의 추측을 모두 해결한다. 각 연산이 적용된 후 그래프의 복소 실현 수가 정확히 두 배가 되며, 따라서 실 실현 수 역시 두 배가 된다. 이는 정리 5.3, 5.4와 그에 따른 부가적인 코롤라리에서 상세히 증명된다. 논문 전체 구조는 다음과 같다. 섹션 2에서는 기본 정의와 대수기하학적 배경을 정리하고, 섹션 3에서 나눗셈 정리(정리 1.1, 1.2)를 증명한다. 섹션 4에서는 다양한 그래프 연산에 대한 실현 수 하한을 제시하고, 섹션 5에서는 삼각 구면에 대한 하한과 Grasegger 추측의 해결을 종합한다. 결론적으로, 이 연구는 강체 그래프의 실현 수를 다루는 기존 방법론을 크게 확장하고, 대수기하학적 도구와 조합적 그래프 연산을 결합해 차원에 구애받지 않는 일반적인 결과들을 제공한다. 특히 부분그래프 나눗셈 정리와 연산 기반 하한은 앞으로 복잡한 고차원 구조의 실현 수를 추정하거나 설계할 때 핵심적인 도구가 될 것으로 기대된다.