[논문 리뷰] Some Elementary Congruences for the Number of Weighted Integer Compositions

Steffen Eger|arXiv (Cornell University)|2015. 03. 22.

Advanced Combinatorial Mathematics참고 문헌 21인용 수 6

한 줄 요약

이 논문은 고전적 이항계수 결과인 루카스의 정리와 바버지의 합동식을 일반화한 f-가중 정수 분할의 기본 합동 성질을 확립한다. 확장된 이항계수 $\binom{k}{n}_f$에 대한 약수 법칙을 유도하고, 소수 모듈로에서 일반화된 글레이셔 유형의 합동식을 증명하며, 이를 가중 분할에 대한 소수 판별 기준에 적용한다.

ABSTRACT

An integer composition of a nonnegative integer $n$ is a tuple $(\\pi_1,\\ldots,\\pi_k)$ of nonnegative integers whose sum is $n$; the $\\pi_i$'s are called the parts of the composition. For fixed number $k$ of parts, the number of $f$-weighted integer compositions (also called $f$-colored integer compositions in the literature), in which each part size $s$ may occur in $f(s)$ different colors, is given by the extended binomial coefficient $\\binom{k}{n}_{f}$. We derive several congruence properties for $\\binom{k}{n}_{f}$, most of which are analogous to those for ordinary binomial coefficients. Among them is the parity of $\\binom{k}{n}_{f}$, Babbage's congruence, Lucas' theorem, etc. We also give congruences for $c_{f}(n)$, the number of $f$-weighted integer compositions with arbitrarily many parts, and for extended binomial coefficient sums. We close with an application of our results to prime criteria for weighted integer compositions.

연구 동기 및 목표

• 일반화된 f-가중 정수 분할의 맥락으로 고전적 합동 정리—루카스의 정리와 바버지의 합동식—을 확장하는 것.
• 고정된 부분 수를 가진 f-가중 정수 분할의 수에 대한 약수 성질을 도출하는 것, 이는 $\binom{k}{n}_f$로 표기된다.
• 임의의 부분 수를 가진 f-가중 분할의 총 수인 $c_f(n)$과 그 합동 성질을 연구하는 것.
• 확장된 이항계수를 사용하여 맨과 샤크스의 소수 판별 기준을 가중 정수 분할의 맥락으로 일반화하는 것.
• 홀수 합성수 $n$에 대해 $\binom{m}{n-2m}_f$가 $m$으로 나누어떨어지는 것으로부터 이론적 소수 테스트를 수립하는 것.

제안 방법

• 생성함수를 사용: $\binom{k}{n}_f$는 $\left(\sum_{s\in\mathbb{N}} f(s)x^s\right)^k$에서 $x^n$의 계수로 정의되며, 이는 f-가중 분할과 조합론적으로 연결된다.
• 다항정리 전개를 적용하여 $\binom{k}{n}_f$를 $n$을 $k$개의 부분으로 나누는 조합들에 대한 합으로 표현하며, 각 부분의 $f(\pi_i)$로 가중치를 부여한다.
• 파스칼 항등식을 일반화한 재귀 항등식인 $\binom{k}{n}_f = \sum_{s\in\mathbb{N}} f(s)\binom{k-1}{n-s}_f$를 활용한다.
• 특히 $p \equiv 1 \pmod{m}$인 경우에 대해 소수 모듈로에서의 합동을 분석하기 위해 환 $\mathbb{Z}/p\mathbb{Z}$를 사용하고, 확장된 이항계수에 대해 글레이셔의 정리를 적용한다.
• 바르데모운드 복합식과 소수 모듈로에서의 이항계수 성질을 적용하여 $\binom{k}{n}_f$에 대한 합동식을 도출한다.
• 특정 조건 하에서 $\binom{m}{n-2m}_f \equiv 0 \pmod{m}$인 경우를 분석함으로써, 맨과 샤크스의 결과를 가중 분할로 일반화한 소수 판별 기준을 도출한다.

실험 결과

연구 질문

• RQ1 루카스의 정리와 바버지의 합동식과 같은 고전적 이항계수의 합동 성질 중 어떤 것이 f-가중 정수 분할의 일반화된 맥락으로 확장될 수 있는가?
• RQ2 특히 $p \equiv 1 \pmod{m}$일 때, 소수 모듈로에서 부분 수가 $k$인 f-가중 분할의 수인 $\binom{k}{n}_f$는 어떻게 행동하는가?
• RQ3 임의의 부분 수를 가진 $n$에 대한 f-가중 분할의 총 수인 $c_f(n)$은 특정한 약수 또는 합동 조건을 만족할 수 있는가?
• RQ4 맨과 샤크스의 소수 판별 기준은 f-가중 분할의 맥락으로 일반화될 수 있으며, 그 유효성을 보장하는 조건은 무엇인가?
• RQ5 생성함수 $\left(\sum f(s)x^s\right)^k$는 $\mathbb{Z}/p\mathbb{Z}$에서 합동식 유도에 어떤 영향을 미치는가?

주요 결과

• 부분 수가 $k$인 f-가중 정수 분할의 수인 $\binom{k}{n}_f$는 일반화된 글레이셔 합동식을 만족한다: 소수 $p \equiv 1 \pmod{m}$일 때, $\binom{k+p-1}{r}_{m,f} \equiv \binom{k}{r}_{m,f} \pmod{p}$.
• 모든 $s$에 대해 $f(s) = 0$인 경우, 행의 합인 $\binom{k}{0}_{1,f} = \sum_{s\geq 0} f(s)^k$는 $\binom{k}{0}_{1,f} \equiv M \pmod{2}$를 만족하며, 여기서 $M = \sum_{s\geq 0} f(s)$이다. 이는 이항계수 행의 홀짝성을 일반화한다.
• 논문은 $n > 1$이 소수이면, 조건 $f(0) = f(1) = 1$ 하에서 모든 $m$에 대해 $0 \leq 2m \leq n$일 때 $m$이 $\binom{m}{n-2m}_f$를 나누어 떨어지게 된다고 증명한다.
• 반대로, $n$이 합성수이면서 짝수이면 $\binom{n/2}{0}_f = f(0)^{n/2} = 1$이므로 $m = n/2$는 $\binom{m}{n-2m}_f$를 나누지 못하며, 이는 기준이 무효화됨을 의미한다.
• 홀수 합성수 $n$에 대해 $p$를 $n$의 소인수로 잡고 $m = (n-p)/2$로 정하면 $\binom{m}{n-2m}_f = \binom{pr}{p}_f$가 되며, 주어진 조건 하에서 $\binom{pr}{p}_f \not\equiv 0 \pmod{pr}$임을 보여, 기준이 실패함을 입증한다.
• 소수 판별 기준은 이론적으로는 타당하지만, 계산적으로는 비실용적이다. $\binom{m}{n-2m}_f$가 $m$으로 나누어지는지 확인하는 것은 윌슨의 정리 기반 테스트를 수행하는 것과 유사한 노력이 필요하기 때문이다.