On the Frobenius Number of Quotients of Numerical Semigroups

기술 요약: 수치적 반군(Numerical Semigroups)의 몫에 대한 프로베니우스 수(Frobenius Number)

문제 정의
본 논문은 수치적 반군의 몫에 대한 프로베니우스 수의 명시적인 공식을 결정하는 문제를 다룬다. 수치적 반군 $S$와 양의 정수 $p$가 주어질 때, 몫 $S/p = \{n \in \mathbb{N} \mid pn \in S\}$ 또한 수치적 반군이다. 이전에 문헌(예: [24, 8, 4])에서 언급된 핵심적인 미해결 문제는 $\gcd(a, b) = 1$일 때 $g(\langle a, b \rangle / p)$의 폐쇄형 공식(closed-form formula)을 찾는 것이다. 특히 관심 있는 특정 하위 사례는 생성원들이 연속된 정수, 즉 $S = \langle a, a+1 \rangle$인 경우이다. 특정 사례(예: $p=2, 5$ 또는 $p$가 $a$를 나누는 경우)에 대한 공식은 존재하지만, 일반적인 폐쇄형 표현식은 여전히 찾기 어렵다.

방법론
저자는 다항식 공식의 존재성을 조사하기 위해 반군 이론, 대수 기하학, 그리고 해석적 정수론의 결합된 방법을 사용한다.

1. 반군 구조와 대칭성: 본 논문은 $\langle a, b \rangle$이 대칭 수치적 반군이라는 성질을 활용한다. [28]의 결과를 적용함으로써, 몫의 프로베니우스 수 $g(S/p)$는 $S$의 프로베니우스 수와 $g(S) \pmod p$에 합동인 $S$의 최소 원소 $\omega_p(S)$에 의해 표현된다. $S = \langle a, a+1 \rangle$인 경우, 이는 특정 합동류(congruence class)에 대해 선형 형식 $ia + j$를 최소화하는 문제로 귀결된다.
2. 산술적 근사 및 디리클레 정리: 비존재성 정리(non-existence theorems)를 증명하기 위해, 저자는 매개변수 $(a, b, p)$ 또는 $(a, p)$의 수열이 특정한 선형 또는 이차 패턴을 따르도록 구성한다. 보조정리 4.1은 산술 급수 내 소수에 관한 디리클레 정리를 활용하여, 규정된 모듈러 성질과 극한 기울기를 가진 소수 $a$와 정수 $b$의 무한 수열을 생성한다.
3. 대수 기하학 (자리스키 밀도): 비존재성 증명의 핵심은 자리스키 밀도(Zariski density) 개념에 기반한다. 논문은 만약 다항식 관계 $F(a, b, p, g) = 0$이 존재한다면, 프로베니우스 수의 그래프가 자리스키 밀하지 않을 것이라고 주장한다. 그래프가 밀집되어 있음을 보여줌으로써(또는 그러한 다항식의 차수가 $p$에 따라 무한히 증가해야 함을 보임으로써), 그러한 관계의 존재성을 부정한다.
4. 준다항식(Quasi-polynomial) 분석: $S = \langle a, a+1 \rangle$인 경우를 위해, 저자는 정확한 나머지류 공식을 유도한다. 이는 $a \pmod p$의 나머지에 기초하여 특정 함수 $I_p(r)$와 $J_p(r)$를 정의하는 과정을 포함하며, 고정된 $p$에 대해 프로베니우스 수가 이차 준다항식임을 입증한다.

주요 기여 및 결과

본 논문은 이러한 몫들의 프로베니우스 수의 대수적 성질에 관한 세 가지 주요 결과를 확립한다:

1. 균등 다항식 공식의 부재 (일반적인 경우):
   정리 1.2는 모든 유효한 삼조 $(a, b, p)$에 대해 $F(a, b, p, g(\langle a, b \rangle / p)) = 0$을 만족하는 0이 아닌 다항식 $F \in \mathbb{C}[X_1, X_2, X_3, Y]$가 존재하지 않음을 증명한다. 결과적으로, 프로베니우스 수는 $a, b, p$에 대해 균등한 유한한 다항식 또는 유리식 집합으로 표현될 수 없다. 이 결과는 고정된 소수 $p$에 대해, 프로베니우스 수가 $b/a$의 비율에 따라 $(p-1)/2$개의 서로 다른 선형 형식을 취하며, 이러한 형식의 개수가 $p$와 함께 증가하여 임의의 고정된 다항식 차수를 초과함을 보임으로써 도출된다.

2. 연속 생성원의 준다항식 구조:
   $S = \langle a, a+1 \rangle$인 특정 사례에 대해, 정리 1.4는 $G(a, p) = g(\langle a, a+1 \rangle / p)$에 대한 정확한 공식을 제공한다. 공식은 다음과 같다:
   $$G(a, p) = \frac{a^2 - (I_p(r) + 1)a - (J_p(r) + 1)}{p}$$
   여기서 $r = a \pmod p$이며, $I_p(r), J_p(r)$은 잔여값에 대한 유한한 최소화 절차를 통해 결정된다. 정리 1.4는 임의의 고정된 $p$에 대해 함수 $a \mapsto G(a, p)$가 주기가 $p$를 나누는 이차 준다항식임을 결론짓는다.

3. 다항식 공식의 부재 (연속 사례):
   고정된 $p$에 대한 준다항식 구조에도 불구하고, 정리 1.5는 $a$와 $p$가 소수(또는 단순히 $p$가 소수이고 $a > p$)인 모든 쌍 $(a, p)$에 대해 $F(a, p, G(a, p)) = 0$을 만족하는 단일한 0이 아닌 다항식 $F \in \mathbb{C}[X_1, X_2, X_3]$가 존재하지 않음을 증명한다. 이 증명은 고정된 $p$에 대한 다항식 관계의 최소 차수가 $p$에 따라 선형적으로(구체적으로는 적어도 $\lceil p/2 \rceil$) 증가함을 보여준다. 전역적인 다항식은 고정된 차수를 가져야 하므로, $p$가 변함에 따라 증가하는 차수 요구 사항을 수용할 수 없다.

의의 및 주장

본 논문은 커티스(Curtis)의 $g(\langle a, b, c \rangle)$에 대한 공식 부재 연구에서 영감을 받아, 이러한 몫들의 프로베니우스 수에 대한 폐쇄형 공식을 찾는 미해결 문제에 대한 부정적인 답변을 제시한다.

• 대수적 복잡성: 주요 의의는 이러한 몫들의 프로베니우스 수가 매개변수들과 독립적인 유한한 다항식 또는 유리식 집합으로 기술될 수 없는 대수적 복잡성을 지니고 있음을 입증한 데 있다.
• 국소적(Local)과 전역적(Global)의 구분: 논문은 국소적 행동과 전역적 행동의 대조를 강조한다. 국소적으로(고정된 $p$에 대해) 이 함수는 잘 정의된 형태(이차 준다항식)를 띠지만, 전역적으로($p$가 변함에 따라) 이 함수는 유한한 차수의 단일 대수적 관계로 포착하기에는 너무 복잡하다.
• 소수의 역할: 결과는 $a$와 $p$가 소수라는 제한적인 조건 하에서도 성립하며, 이는 밀도를 보장하기 위해 디리클레 정리를 활용한다.
• "부재(Non-existence)"의 명확한 정의: 저자는 이러한 결과가 프로베니우스 수가 계산 불가능함을 의미하는 것이 아님을 명시적으로 밝힌다. 바닥 함수(floor functions), 모듈러 산술, 그리고 유한 최소화(정리 5.3에서 보이는 바와 같이)를 포함하는 명시적인 알고리즘과 공식은 존재한다. 부재성 정리는 매개변수 공간 전체에 걸쳐 균등하게 적용되는 유한한 차수의 다항식 또는 유리식 공식을 구체적으로 배제하는 것이다.

논문은 특정 하위 클래스에 대한 폐쇄형 공식을 찾는 것이 여전히 유효한 연구 방향이지만, 수치적 반군의 몫에 대한 일반적인 사례는 단순한 대수적 특징화를 거부한다는 결론을 내린다.