[논문 리뷰] An extension of the Frobenius coin-exchange problem

Matthias Beck, Sinai Robins|ArXiv.org|2002. 04. 02.

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

한 줄 요약

이 논문은 두 서로소 정수 $a$와 $b$의 비음수 정수 조합으로 정확히 $k$가지 방식으로 표현 가능한 정수인 $k$-표현 가능한 정수의 개념을 도입함으로써 고전적인 프로베니우스 동전 문제를 확장한다. 포포티우의 공식과 재귀적 분할 함수 분석을 사용하여, 그 이후로 모든 더 큰 정수가 $k$-표현 가능한 최소 정수에 대한 정확한 공식을 유도하며, $g_k(a,b) = (k+1)ab - a - b$임을 증명하고, 특정 범위 내에서 $k$-표현 가능한 정수의 정확한 개수를 설정한다.

ABSTRACT

Given positive integers $a_1,...,a_n$ with $\gcd(a_1,...,a_n) = 1$, we call an integer t representable if there exist nonnegative integers $m_1,...,m_n$ such that $t = m_1 a_1 + ... + m_n a_n$. In this paper, we discuss the linear diophantine problem of Frobenius: namely, find the largest integer which is not representable. We call this largest integer the Frobenius number $g(a_1,...,a_n)$. We extend this problem to asking for the smallest integer $g_k(a_1,...,a_d)$ beyond which every integer is represented more than k times. We concentrate on the case d=2 and prove statements about $g_k(a,b)$ similar in spirit to classical results known about g(a,b).

연구 동기 및 목표

• 고전적인 프로베니우스 수 $g(a,b)$를 $g_k(a,b)$로 일반화하여, 그 이후로 모든 정수가 $k$가지 이상의 방식으로 표현 가능한 최소 정수를 찾는 것.
• $d=2$ 이고 $\gcd(a,b)=1$일 때 $g_k(a,b)$와 $k$-표현 가능한 정수의 수에 대한 정확한 공식을 도출하는 것.
• 분할 함수의 성질과 잔여물 계산을 이용하여 이러한 결과에 대한 해석적 및 초등적 증명을 제공하는 것.
• 구간 $[1, (a-1)(b-1)]$ 내의 정수 중 정확히 반수만 표현 가능하다는 고전적 결과를 $k$-표현 가능성 수로 일반화하는 것.

제안 방법

• 모듈로 역수 $a^{-1}$와 $b^{-1}$를 사용하는 제한된 분할 함수 $p_{\{a,b\}}(n) = \frac{n}{ab} - \left\{\frac{b^{-1}n}{a}\right\} - \left\{\frac{a^{-1}n}{b}\right\} + 1$에 대한 포포티우의 공식을 사용한다.
• 생성함수 $\frac{1}{(1-z^a)(1-z^b)z^{n+1}}$에 대해 잔여물 정리와 복소해석학을 적용하여 분할 함수 항등식을 도출한다.
• 분할 함수 $p_{\{a,b\}}(n)$를 $\sum_{m \geq 0} p_{\{a\}}(n - mb)$로 재귀적으로 분해하며, 여기서 $p_{\{a\}}(n)$은 $a|n$ 이고 $n \geq 0$이면 1, 아니면 0임을 이용한다.
• 분할 함수의 주기성 $p_{\{a,b\}}(n + ab) = p_{\{a,b\}}(n) + 1$을 활용하여 $k$-표현 가능한 정수의 분포를 분석한다.
• $q_{\{a,b\}}(n)$을 정의하여 모든 부분을 최소 한 번 이상 사용하는 표현 수를 세며, 이를 $p_{\{a,b\}}(n)$과 $q_{\{a,b\}}(n) = p_{\{a,b\}}(n - a - b)$ 관계로 연결한다.
• 두 가지 독립적인 증명을 제공한다: 하나는 포포티우의 공식을 사용하는 해석적 증명이고, 다른 하나는 분할 함수의 재귀적 카운팅을 기반으로 한 초등적 증명이다.

실험 결과

연구 질문

• RQ1 두 서로소 정수 $a$와 $b$의 비음수 정수 조합으로 표현 가능한 방법이 $k$가지 초과인 최소 정수 $g_k(a,b)$는 무엇인가?
• RQ2 두 정수 $\gcd(a,b) = 1$일 때, $k \geq 2$인 경우 정확히 $k$-표현 가능한 정수는 몇 개인가?
• RQ3 고전적 결과인 $[1, (a-1)(b-1)]$ 범위 내의 정수 중 정확히 반수만 표현 가능하다는 것을 $k$-표현 가능성 수로 일반화할 수 있는가?
• RQ4 분할 함수 $p_{\{a,b\}}(n)$의 주기적 성질이 더 높은 $k$-표현 가능성 수로 확장되는가?
• RQ5 $d=2$에 대한 결과를 $d \geq 3$로 확장할 수 있는가?

주요 결과

• 표현 가능성에 대한 프로베니우스 수는 $g_k(a,b) = (k+1)ab - a - b$로 주어지며, 이는 $k=0$일 때 고전적 $g(a,b) = ab - a - b$를 일반화한다.
• $k \geq 2$일 때, 최소 $k$-표현 가능한 정수는 $ab(k-1)$이며, 이는 $g_{k-2}(a,b) + a + b$보다 엄밀히 크다.
• 유일하게 표현 가능한 정수(즉, $k=1$)는 정확히 $ab - 1$개이며, 각 $k \geq 2$에 대해 정확히 $ab$개의 정수가 $k$-표현 가능하다.
• 구간 $[1, ab]$ 내에서 $k$-표현 가능한 정수의 수는 $k=1$일 때 $\frac{(a-1)(b-1)}{2}$개이며, $k \geq 2$일 때는 $ab$개이다. 이는 $p_{\{a,b\}}(n)$의 주기성 덕분이다.
• $k \geq 2$인 모든 $k$-표현 가능한 정수가 포함된 구간은 $[g_{k-2}(a,b) + a + b, g_k(a,b)]$이며, 길이는 $2ab - a - b + 1$이다.
• 결과는 포포티우의 공식과 $p_{\{a,b\}}(n) = \sum_{m \geq 0} p_{\{a\}}(n - mb)$를 기반으로 한 초등적 재귀적 방법을 통해 각각 증명되었으며, 두 방법 간의 일관성이 확인되었다.