실대칭 행렬의 인접성 보존 사상

초록

**
(S_{n})을 모든 (n\times n) 실대칭 행렬들의 공간이라 하자. (n=2) 혹은 (n>2)인 경우에, 인접성을 보존하는 사상 (F:S_{n}\rightarrow S_{m})를 특성화한다. 여기서 인접성은 (\operatorname{rank}(A-B)=1)이면 (\operatorname{rank}(F(A)-F(B))=1)인 성질을 말한다.

**

상세 요약

**
본 논문은 실수 대칭 행렬 공간 (S_{n})에서 다른 차원의 실수 대칭 행렬 공간 (S_{m})으로의 사상 중, ‘인접성(Adjacency)’이라는 매우 구체적인 구조를 그대로 유지하는 사상을 완전하게 규정한다는 점에서 의미가 크다. 인접성은 두 행렬의 차가 계수 1인 순위(랭크) 행렬, 즉 한 차원만 감소하거나 증가하는 변환을 의미한다. 이는 그래프 이론에서 두 정점이 한 개의 엣지로 연결되는 관계와 유사하게, 행렬 공간을 고차원 그래프 형태로 바라볼 수 있게 해준다.

논문은 먼저 (n=2)와 (n>2)라는 두 경우를 구분한다. (n=2)인 경우는 2차원 대칭 행렬이 사실상 (\mathbb{R}^{3})와 동형이므로, 인접성 보존 사상은 선형 혹은 반선형 변환에 제한된다는 기존 결과와 일맥상통한다. 반면 (n>2)에서는 차원 증가에 따라 복잡도가 급격히 상승한다. 저자들은 이때 사상이 반드시 ‘표준 형태’를 띠어야 함을 증명한다. 구체적으로, 어떤 정규 직교 행렬 (Q)와 스칼라 (\lambda\neq0)가 존재하여
\