[논문 리뷰] On Conjugation Action of $S_n$ on Invertible Matrices

Yona Cherniavsky, Mishael Sklarz|arXiv (Cornell University)|2004. 11. 24.

graph theory and CDMA systems인용 수 1

한 줄 요약

이 논문은 두 순열 행렬이 유사할 조건과 그 조건이 대칭군 $S_n$ 내에서의 공轭임을 증명하며, $S_n$의 공轭류가 자연스러운 표현에 의하여 $ \mathrm{GL}_n( mathbb{C})$로 옮겨질 때 합쳐지지 않음을 보여준다. 이 결과는 $S_n \times S_n$ 작용 하에서 고정점의 수를 세는 데 응용되며, $k$-튜플에 대한 $S_n$ 작용으로 유도된 순열 표현 중에서 공轭류를 유지하거나 통합하는 경우를 분류한다.

ABSTRACT

Although the conjugacy classes of the general linear group are known, it is not obvious (from the canonic form of matrices) that two permutation matrices are similar if and only if they are conjugate as permutations in the symmetric group, i.e. that conjugacy classes of S_n do not unite under the natural representation. We prove this fact, and give its application to the enumeration of fixed points under a natural action of S_n x S_n. We also consider the permutation representations of S_n which arise from the action of S_n on k-tuples, and classify which of them unite conjugacy classes and which do not.

연구 동기 및 목표

• 자연스러운 표현을 통한 $S_n$의 공轭류가 $ mathrm{GL}_n(\mathbb{C})$로 옮겨질 때 합쳐지지 않음을 입증하는 것.
• $k$-튜플에 의한 $S_n$의 순열 표현이 공轭류를 유지하거나 통합하는 조건을 특성화하는 것.
• 이 결과를 이용하여 $S_n \times S_n$ 작용이 가역 행렬의 집합 위에서 고정점의 수를 세는 것.
• 대칭군 표현의 맥락에서 순열 공轭과 행렬 유사성 간의 관계를 명확히 하는 것.

제안 방법

• 행렬의 표준 유리형을 사용하여 순열 행렬의 유사성 분석.
• 두 순열 행렬이 $S_n$ 내에서 공轭이 아니면 유사가 될 수 없음을 보이기 위해 군론적 추론을 적용.
• 순열의 순환형이 $S_n$ 내 공轭류를 결정함을 이용하고, 이를 그 행렬 표현의 유리형과 연결.
• $S_n$의 $k$-튜플에 대한 작용을 분석하여 순열 표현을 구성하고, 이러한 표현에서 공轭류가 유지되는지 여부를 판단.
• $S_n \times S_n$ 작용 하에서 가역 행렬 위의 고정점 수를 세기 위해 조합적 수세기 기법을 활용.
• 대칭군의 구조와 그 표현을 기반으로 어떤 작용이 공轭류를 유지하거나 통합하는지 분류.

실험 결과

연구 질문

• RQ1 자연스러운 표현을 통해 $S_n$의 공轭류가 $ mathrm{GL}_n(\mathbb{C})$에 포함될 때 어떤 조건에서 여전히 분리되어 있는가?
• RQ2 $S_n \times S_n$ 작용이 가역 행렬 집합 위에서 고정점의 수를 세는 데 어떻게 기여하며, 공轭류 유지가 그 과정에서 어떤 역할을 하는가?
• RQ3 $k$-튜플에 대한 $S_n$ 작용으로 유도된 순열 표현 중에서 원래의 $S_n$ 공轭류를 유지하는 것은 어떤 경우인가?
• RQ4 순열 표현에서 $S_n$의 공轭류가 어떻게 통합되는가를 특성화할 수 있는가?
• RQ5 순열의 순환형이 그 행렬 표현의 유리형을 얼마나 정확히 결정하는가?

주요 결과

• 두 순열 행렬이 서로 유사할 조건은 $S_n$ 내에서 공轭일 때뿐이며, 이는 $S_n$의 공轭류가 자연스러운 표현 하에서 합쳐지지 않음을 의미한다.
• $S_n$의 자연스러운 표현은 $ mathrm{GL}_n(\mathbb{C})$로 옮길 때 $S_n$의 공轭류 구조를 유지한다.
• $S_n \times S_n$ 작용 하에서 가역 행렬 위의 고정점 수는 공轭류 유지 결과를 통해 세어질 수 있다.
• $S_n$의 $k$-튜플에 대한 작용으로 유도된 순열 표현에서는, 작용이 충분히 투영적이거나 특정 궤도 구조를 가질 때에만 공轭류가 유지된다.
• 이 논문은 $S_n$에서 $ mathrm{S}_m$ (여기서 $m = \binom{n}{k}$)로의 유도된 사상이 공轭류를 유지하는지 여부를 판단함으로써 이러한 표현을 분류한다.
• 순열 행렬의 유리형은 해당 순열의 순환형에 의해 완전히 결정되며, 이는 유사성이 $S_n$ 내 공轭을 의미함을 보장한다.