[논문 리뷰] Counting numerical semigroups

Ernst Kunz, Rolf Waldi|arXiv (Cornell University)|2014. 10. 27.

Commutative Algebra and Its Applications참고 문헌 5인용 수 5

한 줄 요약

이 논문은 다면체 코너와 격자점들을 이용한 기하학적 및 대수적 프레임워크를 개발하여 수치적 반군을 세는 방법을 제시한다. 이와 함께, 고정된 종수 또는 임bedding 차원을 가진 반군의 수가 에르하르트 준다형식을 통해 표현될 수 있음을 보여준다. 주요 기여는 다중성 4와 홀수의 도전자 $ q $ 를 가진 수치적 반군의 수가 $ \frac{1}{72}q^3 $ 의 비율로 증가함을 보여주는 점근적 공식이다. 또한 대칭 및 준대칭 케이스에 대해 명시적인 재귀 관계와 닫힌 형태를 제시한다.

ABSTRACT

We are interested in formulas for the number of elements in certain classes of numerical semigroups

연구 동기 및 목표

• 수치적 반군을 세기 위한 기하 모델을 개발하여 $ \mathbb{R}^{p-1} $ 내의 아페리 집합과 다면체 코너를 사용한다.
• 최대 임베딩 차원, 대칭형, 준대칭형 반군을 코너 $ C_p $ 의 면과 초평면 절단에서의 격자점들을 통해 특성화한다.
• 고정된 종수를 가진 반군의 수에 대해 준다형식 표현을 유도하며, 특히 $ p=4 $ 와 $ p=5 $ 의 경우에 초점을 맞춘다.
• 도전자 $ q \to \infty $ 일 때 이러한 반군의 수의 점근적 공식을 수립한다.
• 다중성 $ p=4 $ 의 경우에 대해 대칭형 및 준대칭형 반군에 대한 명시적인 재귀 및 닫힌 형태 공식을 제공한다.

제안 방법

• 각 수치적 반군 $ H \in \mathfrak{H}_p $ 을 $ p $ 에 대한 아페리 집합을 사용하여 $ \mathbb{R}^{p-1} $ 내의 다면체 코너 $ C_p $ 에 있는 격자점으로 이원적으로 매핑한다.
• 에르하르트 이론을 사용하여 $ C_p $, 그 면, 초평면 절단 내의 격자점 수를 종수 $ g $ 에 대한 준다형식으로 표현한다.
• 아페리의 특성화와 프로비누스 수 조건을 활용하여 대칭형 및 준대칭형 반군을 $ C_p $ 내의 특정 면과 직선 위의 격자점으로 특성화한다.
• 서로소인 정수 $ p $ 와 $ q $ 를 모두 포함하는 반군의 집합 $ \mathfrak{H}_{pq} $ 를 $ C_p $ 의 초평면 절단 내의 격자점으로 모델링하여 재귀적 세기 가능성을 확보한다.
• 직사각형 내의 격자 경로 수를 세는 방법을 적용하여, 다중성 4와 홀수 도전자 $ q $ 를 가진 반군의 수 $ N(4,q) $ 에 대한 재귀 관계를 도출한다.
• 피보나치의 $ \sum j^2 $ 합 공식을 사용하여 $ N(4,q) $ 의 입체적 점근적 성장률을 유도하고, 극한 $ \lim_{q\to\infty} \frac{N(4,q)}{q^3} = \frac{1}{72} $ 에 도달한다.

실험 결과

연구 질문

• RQ1 다중성 4와 홀수 도전자 $ q $ 를 가진 수치적 반군의 수의 점근적 성장률은 무엇인가?
• RQ2 아페리 코너 $ C_p $ 내에서 대칭형 및 준대칭형 수치적 반군은 기하학적으로 어떻게 특성화될 수 있는가?
• RQ3 $ p $ 와 $ q $ 가 서로소일 때 반군의 집합 $ \mathfrak{H}_{pq} $ 의 구조는 어떠한가? 그 크기는 어떻게 계산할 수 있는가?
• RQ4 고정된 종수를 가진 반군의 수에 대해 $ \mathfrak{H}_p $ 내에서 명시적인 재귀 관계를 도출할 수 있는가?
• RQ5 고정된 종수를 가진 반군을 세는 에르하르트 준다형식의 주항은 무엇인가?

주요 결과

• 다중성 4와 홀수 도전자 $ q $ 를 가진 수치적 반군의 수를 $ N(4,q) $ 라 할 때, $ \lim_{q\to\infty} \frac{N(4,q)}{q^3} = \frac{1}{72} $ 를 만족한다.
• $ p=4 $ 인 경우, 대칭 반군의 수 $ \text{Sym}(4,q) $ 는 다음 재귀 관계를 만족한다: $ q \not\equiv 1 \pmod{6} $ 이면 $ \text{Sym}(4,q) = \text{Sym}(4,q-4) + 1 + \left\lfloor \frac{q-1}{6} \right\rfloor + \frac{q-1}{2} $, $ q \equiv 1 \pmod{6} $ 이면 $ \text{Sym}(4,q) = \text{Sym}(4,q-4) + \left\lfloor \frac{q-1}{6} \right\rfloor + \frac{q-1}{2} + 1 $.
• 준대칭 반군의 수 $ \text{Psym}(4,q) $ 는 재귀 관계 $ \text{Psym}(4,q) = \text{Psym}(4,q-4) + 2 $ 를 만족하며, $ \text{Psym}(4,3) = 1 $ 이다.
• $ q \geq 7 $ 일 때, $ q \equiv 1 \pmod{6} $ 이면 정확히 $ \left\lfloor \frac{q-1}{6} \right\rfloor + \frac{q-1}{2} $ 개의 대칭 반군이 존재하고, 그렇지 않으면 $ \left\lfloor \frac{q-1}{6} \right\rfloor + \frac{q-1}{2} + 1 $ 개이다.
• 다중성 4인 반군 집합 $ \mathfrak{H}_{4q} $ 내에서 준대칭 반군의 수는 $ q \geq 7 $ 일 때 정확히 2개이다.
• 다중성 4인 최대 임베딩 차원 반군의 수를 $ \text{Medim}(4,q) $ 라 할 때, $ \lim_{q\to\infty} \frac{\text{Medim}(4,q)}{q^3} = \frac{1}{72} $ 를 만족하며, 이는 $ N(4,q) $ 와 동일한 성장률을 가진다.