[논문 리뷰] The Mathieu group $M_{12}$ and its pseudogroup extension $M_{13}$

J. Conway, Noam D. Elkies외 1명|ArXiv.org|2005. 08. 31.

graph theory and CDMA systems참고 문헌 3인용 수 3

한 줄 요약

이 논문은 3차 수열 평면의 13점 프로젝티브 평면 위에서 이루어지는 조합 게임을 통해 마티외 군 $M_{12}$과 그 편의군 확장인 $M_{13}$을 구성한다. 이는 15-퍼즐과 유사한 방식이다. 구멍을 포함하는 직선을 따라 이동을 이중전치로 정의함으로써, 닫힌 이동 순서는 $M_{12}$를 생성하고, 모든 이동 순서는 편의군 $M_{13}$을 형성하며, 이는 제한된 6중 전치성을 나타낸다. 주요 기여는 $M_{12}$와 $M_{13}$에 대한 준-케일리 거리측도의 도입으로, 계산 데이터는 최대 거리에서 9원소 테트라코드가 나타남을 포함한 구조적 통찰을 드러낸다.

ABSTRACT

We study a construction of the Mathieu group $M_{12}$ using a game reminiscent of Loyd's ``15-puzzle''. The elements of $M_{12}$ are realized as permutations on~12 of the~13 points of the finite projective plane of order~3. There is a natural extension to a ``pseudogroup'' $M_{13}$ acting on all~13 points, which exhibits a limited form of sextuple transitivity. Another corollary of the construction is a metric, akin to that induced by a Cayley graph, on both $M_{12}$ and $M_{13}$. We develop these results, and extend them to the double covers and automorphism groups of $M_{12}$ and $M_{13}$, using the ternary Golay code and $12 \x 12$ Hadamard matrices. In addition, we use experimental data on the quasi-Cayley metric to gain some insight into the structure of these groups and pseudogroups.

연구 동기 및 목표

• 13점 프로젝티브 평면 $\mathbb{P}_3$ 위에서 퍼즐 게임을 통해 닫힌 이동 순서에 의해 생성되는 순열군으로서 마티외 군 $M_{12}$을 구성하는 것.
• 모든 이동 순서(항상 닫혀 있지는 않은)로 형성되는 편의군 $M_{13}$을 정의하고, 이는 모든 13개의 점에 작용하며 부분적인 6중 전치성을 나타낸다는 것을 연구하는 것.
• 최소 이동 순서 기반으로 $M_{12}$와 $M_{13}$에 대한 준-케일리 거리측도를 개발하여 군의 구조를 계산적으로 분석할 수 있도록 하는 것.
• 서명된 게임으로의 확장을 통해 이중 덮개 $2M_{12}$를 삼진 골레이 코드 $\mathscr{C}_{12}$의 자기동형군으로서 실현하고, $2M_{13}$을 그 편의군 확장으로 연구하는 것.
• 이중화된 게임과 하다르드 행렬을 이용하여 $M_{12}$의 외부 자기동형사상에 대한 새로운 기하학적 및 계산적 해석을 제공하는 것.

제안 방법

• 13점 게임에서 구멍이 포함된 직선을 따라 이중전치로 이동함으로써 닫힌 이동 순서에 의해 유도되는 순열군으로서 $M_{12}$를 실현하는 것.
• 모든 이동 순서로 구성되는 집합으로서 $M_{13}$을 정의하며, 이는 구멍의 위치에 따라 연결이 제한되어 있어 군이 되지 않는다는 점.
• 서명된 게임을 모델링하기 위해 삼진 골레이 코드 $\mathscr{C}_{12}$를 사용하며, 카운터가 양면이고 이동 시 부호가 뒤집어져 이중 덮개 $2M_{12}$를 얻는 것.
• 12×12 하다르드 행렬을 사용하여 $\mathbb{P}_3$의 직선 위에서 이중화된 게임을 통해 $M_{12}$의 대체 구성법을 제공하는 것.
• 컴퓨터로 생성된 위치 분포 데이터를 활용하여 각 군 원소를 실현하는 최소 이동 순서를 열거함으로써 준-케일리 거리측도를 계산하는 것.
• 2M_{12}$ 및 $2M_{13}$의 카일리 그래프에서 깊이 분포와 대칭성을 분석하며, 모든 카운터의 부호를 뒤집는 중심의 반전 $-\mathbf{1}$의 역할을 다루는 것.

실험 결과

연구 질문

• RQ1 마티외 군 $M_{12}$는 13점 프로젝티브 평면 $\mathbb{P}_3$ 위에서 퍼즐 유사 게임을 통해 순열군으로서 실현될 수 있는가?
• RQ2 이 게임의 모든 이동 순서로 형성되는 편의군 $M_{13}$은 어떤 형태의 6중 전치성을 나타내는가?
• RQ3 준-케일리 거리측도의 $M_{12}$와 $M_{13}$의 구조는 무엇이며, 이는 기초 군과 코드 이론적 성질을 어떻게 반영하는가?
• RQ4 서명된 게임과 이중화된 확장은 이중 덮개 $2M_{12}$와 $2M_{13}$를 어떻게 실현하며, 그 거리측도 구조는 어떠한가?
• RQ5 테트라코드와 $M_{12}$의 외부 자기동형사상은 게임의 구성 공간을 통해 기하학적으로 해석될 수 있는가?

주요 결과

• 기본 게임 군 $G_{\rm bas}$는 마티외 군 $M_{12}$와 동형이며, $\mathbb{P}_3$ 위에서 닫힌 이동 순서에 의해 생성된 순열군으로 실현된다.
• 편의군 $M_{13}$은 모든 13개의 점에 작용하며, 제한된 형태의 6중 전치성을 나타내지만, 완전한 6중 전치성은 성립하지 않는다.
• $M_{13}$의 깊이 분포는 시작 위치에서 최대 거리(깊이 9)에 있는 위치 집합으로서 9원소 테트라코드가 나타남을 보여준다.
• $2M_{13}$의 깊이 분포는 깊이 0–2 및 10–12에서 대칭성을 보이나, 깊이 3–5 및 7–9에서는 붕괴하여 반대편 거리의 비균형성을 나타낸다.
• $2M_{13}$에서 최대 깊이 12에 있는 유일한 원소는 모든 카운터를 그 자리에서 뒤집는 $-\mathbf{1}$이며, 이는 $2M_{12}$에서 중심 원소이다.
• $\sigma \in 2M_{13}$이고 $d(\sigma) \in \{1,2\}$일 경우, 반대편 거리는 $d(-\sigma) = 12 - d(\sigma)$를 만족하며, 이는 거리측도 구조의 부분 대칭성을 확인한다.