대칭과 강성: 프레임워크의 새로운 카운팅 규칙

본 논문은 바‑조인트 프레임워크와 그 변형 시스템의 강성 행렬에 대한 대칭 방정식을 체계적으로 구축하고, 이를 통해 Fowler‑Guest 형태의 일반화된 Calladine‑Maxwell 카운팅 규칙을 간결히 증명한다. 1. **기본 설정 및 강성 행렬 정의** 저자는 먼저 유한 그래프 \(G=(V,E)\)와 점 배열 \(p=(p_1,\dots,p_v)\)으로 정의되는 프레임워크 \((G,p)\)를 소개한다. 각 정점은 \(\mathbb{R}^d\)에 위치하고, 각 변은 거리 제약을 만족한다. 강성 행렬 \(R(G,p)\)는 정점 좌표의 미소 변위와 변 길이 제약의 선형화된 관계를 나타내는 \(m\times dn\) 실수 행렬이며, 그 핵은 무한소 변형(플렉스), 여핵은 자체 응력(스테레스)을 의미한다. 2. **그래프 자동동형군과 표현** 그래프 자동동형군 \(G\)에 대해 두 가지 기본 표현을 정의한다. - **정점 순열 표현 \(\rho_v\)**: 정점 인덱스를 순열로 바꾸는 행렬. - **공간 직교 표현 \(\rho_{sp}\)**: 대칭 원소가 유클리드 공간에 미치는 회전·반사 등의 정규 직교 변환. 이 두 표현을 텐서곱 \(\hat\rho_v = \rho_n\otimes\rho_{sp}\) 로 결합한다. 3. **핵심 대칭 방정식** 모든 대칭 원소 \(g\in G\)에 대해 강성 행렬은 다음 관계를 만족한다. \