Young 다이어그램을 통한 거의 대칭 수치 반군집의 새로운 분해법

초록

본 논문은 수치 반군집과 Young 다이어그램 사이의 일대일 대응을 활용하여, 거의 대칭(Almost Symmetric) 수치 반군집을 “기본 수치 반군집, 그 이중군집, 그리고 일반 수치 반군집”의 세 요소로 유일하게 분해하는 정리를 제시한다. 이를 위해 새로운 합연산(본드합, 끝-끝합, 결합합)과 알고리즘을 도입하고, 구체적인 예시와 증명을 제공한다.

상세 분석

논문은 먼저 수치 집합(Numerical Set)과 수치 반군집(Numerical Semigroup)의 기본 개념을 정리하고, 특히 구멍(gap), 프뢰베니우스 수(Frobenius number), 의사‑프뢰베니우스 수(pseudo‑Frobenius numbers)와 유형(type) 사이의 관계를 강조한다. 이어서 Keith와 Nath가 제시한 수치 집합 ↔ Young 다이어그램의 전단사 대응을 재정리하고, 이를 기반으로 알고리즘 1‒3을 통해 작은 원소 리스트 ↔ 파티션 ↔ 후크 길이 리스트 간의 상호 변환을 구현한다.

핵심은 섹션 4에서 정의된 세 가지 합연산이다. ‘본드합(⊞B)’은 두 다이어그램을 수직으로 겹쳐 행 수를 하나 감소시키면서 열을 합치는 방식이며, ‘끝‑끝합(⊞E)’은 대각선으로 맞대어 행·열을 그대로 더한다. ‘결합합(⊞C)’은 오른쪽 열 위에 왼쪽 열을 올려 겹치는 부분을 하나 줄인다. 이러한 연산은 각각 수치 집합의 합집합, 곱집합, 그리고 특정 변환에 대응한다는 점에서 대수적 의미를 가진다.

섹션 5에서는 ‘대칭 수치 집합 구성 보조정리(Lemma 5.2)’와 ‘거의 대칭 수치 반군집 분해 정리(Theorem 5.8)’를 제시한다. 정리는 거의 대칭 반군집 S가 고유하게
\