[논문 리뷰] Computing the number of numerical semigroups using generating functions

Víctor Blanco, Pedro A. García-Sánchez외 1명|ArXiv.org|2009. 01. 09.

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

한 줄 요약

이 논문은 Apéry 집합에서 유도된 유한 다면체 내 정수 점으로 모델링함으로써, 생성 함수 기반 방법을 통해 수치적 반군의 수를 세는 방법을 제시한다. 고정된 종수 또는 프로비누스 수를 가진 반군의 수를 다항식 시간 복잡도로 세는 것을 확립하고, 다중도 3 및 4에 대해 명시적인 준다항식 공식을 유도하여 모든 종수 및 프로비누스 수에 대한 정확한 세기 가능하게 한다.

ABSTRACT

This paper presents a new methodology to count the number of numerical semigroups of given genus or Frobenius number. We apply generating function tools to the bounded polyhedron that classifies the semigroups with given genus (or Frobenius number) and multiplicity. First, we give theoretical results about the polynomial-time complexity of counting the number of these semigroups. We also illustrate the methodology analyzing the cases of multiplicity 3 and 4 where some formulas for the number of numerical semigroups for any genus and Frobenius number are obtained.

연구 동기 및 목표

• 생성 함수를 사용하여 고정된 종수 또는 프로비누스 수를 가진 수치적 반군의 수를 다항식 시간 알고리즘으로 세는 것.
• 모든 종수 및 프로비누스 수에 대해 다중도 3 및 4인 수치적 반군의 수를 기술하는 명시적 준다항식 공식을 제공하는 것.
• 최대 임bedding 차원을 가진 수치적 반군과 다중도, 종수, 프로비누스 수가 고정된 반군의 수를 세는 복잡도를 분석하는 것.
• 종수가 증가함에 따라 척도가 나빠지는 재귀적 수세기 방법의 한계를 극복하기 위해 짧은 생성 함수와 매개변수 다면체를 활용하는 것.

제안 방법

• Apéry 집합에서 유도된 유한 유리 다면체 내 정수 점으로 다중도, 종수 또는 프로비누스 수가 고정된 수치적 반군을 모델링한다.
• Barvinok의 짧은 생성 함수를 적용하여 이러한 다면체 내 정수 점의 수를 효율적으로 인코딩하고 계산한다.
• 다면체의 매개변수 성격을 활용하여 종수 또는 프로비누스 수에 대한 반군 수의 준다항식 표현을 도출한다.
• Selmer의 공식을 활용하여 Apéry 집합 원소를 종수와 프로비누스 수와 연결함으로써 정밀한 다면체 제약 조건을 가능하게 한다.
• Barvinok 알고리즘 기반의 계산 기법을 적용하여 얻어진 다면체 내 격자 점을 세어 정확한 수를 산출한다.
• 다른 임베딩 차원(예: e(S)=2,3,4)의 경우를 처리하기 위해 디오판틴 방정식 제약 조건을 분석하고 GCD 조건을 충족시키기 위해 최대정수 함수 조정을 적용한다.

실험 결과

연구 질문

• RQ1 고정된 종수 또는 프로비누스 수를 가진 수치적 반군의 수를 생성 함수를 사용하여 다항식 시간 내에 계산할 수 있는가?
• RQ2 모든 종수 또는 프로비누스 수에 대해 다중도 3 및 4인 수치적 반군의 수를 기술하는 명시적 준다항식 공식은 무엇인가?
• RQ3 생성 함수를 사용할 때, 다중도, 종수, 프로비누스 수에 따라 수치적 반군의 수를 세는 복잡도는 어떻게 변하는가?
• RQ4 다중도 4이면서 고정된 종수 g와 프로비누스 수 F를 가진 최대 임베딩 차원 수치적 반군의 정확한 수는 얼마인가?
• RQ5 매개변수 다면체 접근법을 통해 고정된 다중도에 대해 모든 종수에 걸쳐 수치적 반군 수의 닫힌 표현식을 도출할 수 있는가?

주요 결과

• 다중도 3에 대해, 종수 g인 수치적 반군의 수는 g mod 3에 따라 3가지 경우로 나뉘는 준다항식으로 주어지며, 모든 g에 대해 정확한 수를 제공한다.
• 다중도 4에 대해, 종수 g인 수치적 반군의 수는 F와 g의 합동 조건에 따라 12개의 서로 다른 경우로 구성된 준다항식으로 기술되며, 모든 종수에 걸쳐 완전한 공식을 제공한다.
• 다중도 4이면서 고정된 종수 g와 프로비누스 수 F를 가진 최대 임베딩 차원 수치적 반군의 수는 최대정수 함수와 합동 조건을 포함하는 조각 함수로 주어지며, F=5, g=7일 경우 최대 2개의 반군이 존재한다.
• 논문은 다중도가 고정되어 있을 경우 매개변수 다면체의 구조 덕분에 고정된 종수 또는 프로비누스 수를 가진 수치적 반군의 수를 다항식 시간 내에 계산할 수 있음을 증명한다.
• 다중도 5에 대해선 준다항식이 9개의 조각으로 나뉘며, 복잡도가 증가함을 시사하지만, 방법론은 여전히 계산적으로 실현 가능하다.
• 이론적 복잡도 측면에서 재귀적 수세기 방법보다 성능이 뛰어나지만, 현재 구현은 계산 제약으로 인해 종수 15까지 제한되어 있다.