[논문 리뷰] The set of numerical semigroups of a given multiplicity and Frobenius number

M. B. Branco, Ignacio Ojeda외 1명|arXiv (Cornell University)|2023. 02. 17.

Commutative Algebra and Its Applications인용 수 8

한 줄 요약

이 논문은 주어진 다중성 $m$과 프로비누스 수 $F$를 갖는 모든 수치적 반군을 계산하는 알고리즘적 방법을 제시한다. 여기서는 수치적 반군의 집합 $\mathcal{L}(m,F)$ 를 불가약한 수치적 반군으로 인덱싱된 동치류로 분할하는 동치관계를 활용한다. 주요 기여는 루트가 있는 트리 구조를 통해 $I(m,F)$를 먼저 계산하고, 이후 각 동치류의 모든 반군을 재구성함으로써 브루트 포스 탐색보다 훨씬 빠른 성능을 달성하는 효율적인 알고리즘을 개발한 것이다. 이 방법은 GAP에 구현되어 있으며 고정된 다중성과 기수를 갖는 반군을 계산하기 위해 최적화되어 있다.

ABSTRACT

We study the structure of the family of numerical semigroups with fixed multiplicity and Frobenius number. We give an algorithmic method to compute all the semigroups in this family. Moreover, several characterizations of this family are given. As an application we compute the set of all numerical semigroups with given multipliciy and gender.

연구 동기 및 목표

• 고정된 다중성 $m$과 프로비누스 수 $F$를 갖는 모든 수치적 반군 $\mathcal{L}(m,F)$ 를 계산하는 알고리즘적 방법을 개발하는 것.
• 특히 작은 $m$과 큰 $F$일 경우 다중성으로 걸러내지 않는 기존 방법의 계산 비효율성을 해결하는 것.
• 알고리즘을 기수 제약 조건으로 확장하여 주어진 다중성과 기수를 갖는 반군을 계산할 수 있도록 하는 것.
• 윌프의 추측과 브라스의 추측 연구를 지원하기 위해 깊이가 크다는 점(즉, $F/m$ 비율이 큼)을 갖는 반군의 가족을 효율적으로 생성하는 것.

제안 방법

• 수치적 반군의 집합 $\mathcal{L}(m,F)$ 에서 동치관계 $\sim$ 를 정의하여 각 동치류가 정확히 하나의 불가약한 수치적 반군을 포함하도록 하여, $\mathcal{L}(m,F)/\sim \cong I(m,F)$ 라는 전단사 관계를 수립한다.
• 주어진 $m$과 $F$를 갖는 모든 불가약한 반군을 체계적으로 생성하기 위해 루트가 $C(m,F)$ 인 루트 트리 구조를 구성한다.
• 반군을 쿤츠 좌표로 표현하고, $I(m,F)$ 를 찾는 문제를 특정 정수계획문제로 해석함으로써 알고리즘적 계산이 가능하도록 한다.
• 각 불가약한 반군 $S \in I(m,F)$ 에 대해, $g(T) = g(Z([S])) - |B|$ 를 만족하는 모든 집합 $B \subseteq D(S) = S \setminus Z([S])$ 를 식별함으로써 $[S]$ 의 동치류를 계산한다. 여기서 $T = Z([S]) \cup \bigcup_{b \in B} (b + Z([S]))$ 이다.
• NumericalSgps 패키지를 사용한 GAP에서 알고리즘을 구현하였으며, $F=25$, $m=11$ 일 때 $\mathcal{L}(m,F)$ 를 0.1초 이내에 계산하도록 최적화된 코드를 제공한다. 이는 기존 GAP 필터 대비 2.788초 대비 빠른 성능을 보인다.
• 기수 제약 조건을 적용하기 위해 클래스 $[S]$ 를 특정 기수 $g$ 를 갖는 반군로 제한하고, $T(B)$ 의 원소 수 제약 조건을 사용한다.

실험 결과

연구 질문

• RQ1 고정된 다중성 $m$과 프로비누스 수 $F$를 갖는 수치적 반군의 집합 $\mathcal{L}(m,F)$ 를 완전 탐색 없이 효율적으로 계산할 수 있는가?
• RQ2 관계 $\sim$ 에서 $\mathcal{L}(m,F)$ 의 동치류의 구조는 무엇이며, 불가약한 수치적 반군과 어떻게 관련이 있는가?
• RQ3 알고리즘 $\mathcal{L}(m,F)$ 를 확장하여 주어진 다중성과 기수를 갖는 수치적 반군의 집합을 계산할 수 있는가?
• RQ4 수치적 반군의 깊이($q = \lfloor (F+1)/m \rfloor$ 로 정의됨)는 $\mathcal{L}(m,F)$ 의 구조와 계산 가능성에 어떤 영향을 미치는가?

주요 결과

• 집합 $\mathcal{L}(m,F)$ 는 $F \geq m-1 \geq 1$ 이고 $m \nmid F$ 일 때에만 비어 있지 않으며, 최소 원소는 $\langle m \rangle \cup \{F+1, \to\}$ 이다.
• $m \geq 3$ 이고 $F > 2m$ 일 경우, 집합 $\mathcal{L}(m,F)$ 는 $\sim$ 를 통해 동치류로 분할되며, 각 동치류는 정확히 하나의 불가약한 반군을 포함한다.
• 주어진 $m$과 $F$를 갖는 불가약한 반군의 집합 $I(m,F)$ 는 루트가 $C(m,F)$ 인 루트 트리를 이룬다. 이는 알고리즘 22를 통해 체계적인 열거를 가능하게 한다.
• 알고리즘은 $m=11$, $F=25$ 일 때 $\mathcal{L}(m,F)$ 를 0.092초 내에 계산하여 기존 GAP 필터(2.788초)보다 뛰어난 성능을 보였다. 이는 프로비누스 수 $F$ 를 갖는 모든 반군을 완전히 탐색하지 않기 때문이다.
• 기수 제약 조건을 적용하기 위해 클래스 $[S]$ 를 특정 기수 $g$ 를 갖는 반군로 제한하고, $T(B)$ 의 원소 수 제약 조건을 사용함으로써 알고리즘을 기수를 고려한 반군 계산에 확장할 수 있다.
• 각 동치류 $[S]$ 의 구조는 다항식환에서의 이진수 이상으로 표현되며, 이상 $I_{[S]}$ 는 합집합 연산에 대해 반군을 인코딩함으로써 클래스의 대수적 특성화를 가능하게 한다.