주어진 세대의 수치 반군집 개수에 대한 새로운 상하한

초록

이 논문은 다중집합의 조합론을 이용해 세대 (g) 에 대한 수치 반군집의 개수 (n_g) 에 대한 새로운 하한 (2F_g)와 상한 (1+3\cdot2^{,g-3})을 증명한다. 기존의 카탈란 수 상한보다 훨씬 강력하며, 증명은 두 종류의 재귀적 다중집합 (A_g, B_g)와 반군집 생성 트리 구조를 활용한다.

상세 분석

논문은 먼저 수치 반군집(Numerical Semigroup)의 기본 정의와 세대 (g) (갭의 개수)와 프뢰베니우스 수 (f) (가장 큰 갭) 사이의 관계를 정리한다. 기존 연구에서는 모든 세대 (g) 에 대해 반군집의 개수를 카탈란 수 (C_g) 으로 상계했으며, (n_g) 가 피보나치 수열과 비슷한 성장률을 보인다는 추측이 제기되었다.

핵심 기법은 두 개의 재귀적 다중집합 (A_g)와 (B_g) 의 정의이다.

• (A_g)는 초기값 (A_2={1,3}) 에서 시작해, 각 단계에서 이전 집합의 원소 (m) 에 대해 ({0,1,\dots,m-1}) 를 추가하고 특정 원소를 제외하는 방식으로 구성된다. 레마 1에 따르면 (|A_g|=2F_g)이며, 원소들의 구조는 피보나치 수와 직접적인 연관성을 가진다.
• (B_g)는 유사하게 (B_2={1,3}) 에서 시작해, 각 단계에서 이전 집합의 원소 (m) 에 대해 ({1,2,\dots,m}) 를 추가하고 두 개의 원소를 제외한다. 레마 2는 (|B_g|=1+3\cdot2^{,g-3})임을 보인다.

다음으로 논문은 반군집의 최소 생성원(minimal generators)과 프뢰베니우스 수 사이의 관계를 이용해, 세대 (g) 의 반군집을 세대 (g-1) 의 반군집에서 하나의 최소 생성원을 제거함으로써 재귀적으로 생성할 수 있음을 보인다. 이 과정을 트리 구조로 시각화하면, 루트가 자연수 전체 (\mathbb N_0) 이고 깊이 (g) 에 해당하는 노드가 세대 (g) 의 모든 반군집이 된다.

레마 3과 레마 4는 비정규(ordinary) 반군집과 그 변형에서 최소 생성원의 개수가 어떻게 변하는지를 정량화한다. 특히, 비정규 반군집 (\Lambda={0,g+1,g+2,\dots}) 에서 특정 생성원을 제거했을 때 남는 최소 생성원의 수를 정확히 계산한다.

이러한 결과를 종합하면, 트리 (A) (노드 (A_g) 가 (|A_g|) 개의 자식을 갖는)와 트리 (B) (노드 (B_g) 가 (|B_g|) 개의 자식을 갖는)가 존재하고, 실제 반군집 트리는 (A) 의 부분트리이면서 (B) 의 부분트리임을 보인다. 따라서 모든 (g>2) 에 대해
\