[논문 리뷰] The number of equivalent realisations of a rigid graph

Bill Jackson, J. C. Owen|arXiv (Cornell University)|2012. 04. 05.

Structural Analysis and Optimization참고 문헌 23인용 수 10

한 줄 요약

이 논문은 ℝ²에서 강체 그래프의 일반적인 실현에 대해 등가인 복소 실현의 수를 조사하며, 이 수를 c(G)로 표기하고, 이것이 특정 일반적인 실현에 의존하지 않고 그래프의 구조에만 의존함을 증명한다. c(G)가 특정 그래프 연산에 대해 유지됨을 보이며, c(G) = 1인 그래프를 특성화하고, n개의 정점을 가진 평면 이소스태틱 그래프가 최소 2^{n-3}개의 쌍별로 등가인 실현을 가짐을 보인다.

ABSTRACT

Given a rigid realisation of a graph $G$ in ${\mathbb R}^2$, it is an open problem to determine the maximum number of pairwise non-congruent realisations which have the same edge lengths as the given realisation. This problem can be restated as finding the number of solutions of a related system of quadratic equations and in this context it is natural to consider the number of solutions in ${\mathbb C}^2$ rather that ${\mathbb R}^2$. We show that the number of complex solutions, $c(G)$, is the same for all generic realisations of a rigid graph $G$, characterise the graphs $G$ for which $c(G)=1$, and show that the problem of determining $c(G)$ can be reduced to the case when $G$ is $3$-connected and has no non-trivial $3$-edge-cuts. We consider the effect of the Henneberg moves and the vertex-splitting operation on $c(G)$. We use our results to determine $c(G)$ exactly for two important families of graphs, and show that the graphs in both families have $c(G)$ pairwise equivalent generic real realisations. We also show that every planar isostatic graph on $n$ vertices has at least $2^{n-3}$ pairwise equivalent real realisations.

연구 동기 및 목표

• ℝ²에서 강체 그래프의 일반적 실현에 대해 등가인 복소 실현의 수를 결정하는 것.
• 이 수, c(G), 가 주어진 강체 그래프 G의 모든 일반적 실현에 대해 동일함을 보이는 것.
• c(G) = 1인 그래프를 특성화하는 것. 이는 ℂ²에서 유일한 일반적 실현을 의미한다.
• 헤네버그 이동과 정점 분할과 같은 표준 그래프 연산이 c(G)에 미치는 영향을 분석하는 것.
• 특히 평면 이소스태틱 그래프를 포함한 특정 그래프 가족에 대해 쌍별로 등가인 실현의 수에 하한을 설정하는 것.

제안 방법

• ℝ²에서 이차방정식의 체계로 문제를 수식화하고, 이를 복소수 평면 ℂ²에서의 복소해를 고려함으로써 잘 정의된 상한을 확보하는 것.
• 강체 그래프 G에 대해 c(G), 즉 복소해의 수가 일반적 실현의 선택에 관계없이 불변임을 증명하는 것.
• 특히 유형 1 및 유형 2 헤네버그 이동과 정점 분할을 포함한 그래프 이론적 연산을 사용하여, c(G)가 구조적 변화에 따라 어떻게 변화하는지 분석하는 것.
• 비어 있지 않은 3-간선 컷이 없는 3-연결 그래프로 문제를 단순화하는 것.
• 두 쌍의 정점 또는 세 개의 간선을 통해 그래프를 접합하는 결과를 적용하여, 부분그래프 G₁ 및 G₂의 c(G₁), c(G₂)로부터 c(G)를 계산하는 것.
• 복소수 켤리함수와 민코프스키 실현을 포함한 짝수성 원리로 실해의 구조와 수를 분석하는 것.

실험 결과

연구 질문

• RQ1 강체 그래프의 일반적 실현에 대해 등가인 복소 실현의 수는 실현의 선택에 따라 달라지는가?
• RQ2 어떤 그래프 G에 대해 c(G) = 1이며, 이는 ℂ²에서의 유일한 일반적 실현을 의미하는가?
• RQ3 헤네버그 이동과 정점 분할과 같은 표준 그래프 연산이 c(G)의 값에 어떻게 영향을 주는가?
• RQ4 n개의 정점을 가진 평면 이소스태틱 그래프는 최소 몇 개의 쌍별로 등가인 실현을 가질 수 있는가?
• RQ5 일반적 실현에서 실현의 수 r(G,p)이 복소 실현의 수 c(G)와 일치할 수 있는가?

주요 결과

• 강체 그래프 G의 모든 일반적 실현에 대해 복소 실현 수 c(G)는 동일하며, 이는 그래프 불변량이다.
• c(G) = 1이 되는 것은 G가 ℝ²에서 전역적으로 강체일 때이고, 이는 복소수 설정으로의 유일한 실현 특성화를 확장한다.
• 유형 1 헤네버그 이동은 c(G)를 두 배로 증가시키며, 재건된 간선에 대한 유형 2 헤네버그 이동은 c(G)를 유지한다.
• 정점 분할 연산은 G가 이소스태틱일 경우 c(G)를 최소 두 배로 증가시키며, 이 하한은 쌍별로 등가인 실현 수에도 적용된다.
• 모든 평면 이소스태틱 그래프는 n개의 정점을 가진 경우 최소 2^{n-3}개의 쌍별로 등가인 일반적 실현을 가진다.
• 이차적으로 해법이 가능한 그래프 가족 및 연결된 강체 매트로이드를 가진 그래프의 경우, c(G)는 정확히 계산 가능하며, 모든 c(G) 실현은 상호 등가이다.