[논문 리뷰] A Simple Number Theoretic Result

Manjil P. Saikia, Jure Vogrinc|arXiv (Cornell University)|2012. 07. 28.

Advanced Mathematical Theories참고 문헌 4인용 수 4

한 줄 요약

이 논문은 이항계수와 유클리드 함수를 포함하는 합동식을 바탕으로 소수 여부를 판별하는 방법을 제시한다: 1보다 큰 자연수 $ p $ 는 모든 음이 아닌 정수 $ n $ 에 대해 $ \binom{n}{p} - \lfloor n/p \rfloor \equiv 0 \pmod{p} $ 를 만족할 때 그리고 그 때에만 소수이다. 저자들은 이 결과의 동치성을 입증하기 위해 수론적, 조합론적, 루카스의 정리에 기반한 세 가지 서로 다른 증명을 제공하며, 초등 수론에 뿌리를 두고 있는 새로운 소수 판별 기준을 제시한다.

ABSTRACT

We derive an interesting congruence relation motivated by an Indian Olympiad problem. We give three different proofs of the theorem and mention a few interesting related results.

연구 동기 및 목표

• 이항계수와 유클리드 함수를 이용하여 소수 여부를 판별하는 필요충분조건을 설정하기.
• 7로 나누어떨어짐을 다루는 인도 수학 올림피아드 문제를 임의의 소수로 일반화하기.
• 주요 결과에 대해 수론적, 조합론적, 루카스의 정리를 통한 세 가지 증명을 제공하기.
• 합성수에 대해 이 합동식이 실패하는 이유를 조사하고 반례를 구성하기.
• 루카스의 정리 및 수론에서 관련된 합동식과의 관계 탐색하기.

제안 방법

• 소수 $ p $ 모듈로에서 이항계수를 줄이기 위해 루카스의 정리를 사용하여, $ p $-진 전개의 자릿수 $ a_i, b_i $ 에 대해 $ \binom{m}{n} \equiv \prod \binom{a_i}{b_i} \pmod{p} $ 를 표현하기.
• 음이 아닌 정수 $ n $ 개의 셀을 크기 $ p $ 의 그룹들로 나누는 조합론적 추론을 통해, 여러 그룹에 걸쳐 선택된 경우가 $ p $ 로 나누어떨어짐을 보여주기.
• 수론적 증명을 통해 $ \binom{ap + b}{p} \pmod{p} $ 를 줄이고, 이 값이 $ a \equiv \lfloor n/p \rfloor \pmod{p} $ 와 같음을 보여주기.
• 합성수 $ p $ 에 대해 반례를 구성하기 위해 $ n = p + q $ 를 설정하여, 여기서 $ q $ 는 $ p $ 의 최소 소인수이다. 이 경우 합동식이 성립하지 않음을 보여주기.
• 모듈로 산술과 팩토리얼의 성질을 사용하여 $ p $ 모듈로에서의 계산을 수행하며, 위어르스트라우스 정리와 축소된 잉여계의 성질을 포함하기.
• $ \binom{p+q}{p} \mod p $ 와 $ \lfloor (p+q)/p \rfloor \mod p $ 를 비교하여, 합성수 $ p $ 에 대해 이 합동식이 성립하지 않음을 보여주기.

실험 결과

연구 질문

• RQ1 이항계수의 나눗셈 조건 $ \binom{n}{p} - \lfloor n/p \rfloor \equiv 0 \pmod{p} $ 가 $ p $ 의 소수 여부를 판별하는 필수 및 충분 조건이 될 수 있는가?
• RQ2 합성수 $ p $ 에서 이 합동식이 실패하는 이유는 무엇이며, 반례는 체계적으로 어떻게 구성할 수 있는가?
• RQ3 루카스의 정리는 주요 결과를 어떻게 뒷받침하거나 일반화하는가?
• RQ4 이 합동식의 고차원 일반화가 $ p^k $ 에 대해나 피보나치 수열과 같은 다른 수열에 대해서도 존재하는가?
• RQ5 $ d $ 와 $ q $ 가 어떤 조건이면 모든 $ n \geq m $ 에 대해 $ \binom{nd}{md} \equiv \binom{n}{m} \pmod{p} $ 가 성립하는가?

주요 결과

• 1보다 큰 자연수 $ p $ 는 모든 음이 아닌 정수 $ n $ 에 대해 $ \binom{n}{p} - \lfloor n/p \rfloor \equiv 0 \pmod{p} $ 를 만족할 때 그리고 그 때에만 소수이다. 이는 초등 수론에 기반한 새로운 소수 판별 기준을 확립한다.
• 이 합동식이 모든 $ n $ 에 대해 모듈로 $ p $ 에서 성립하는 것은 $ p $ 가 소수일 때에만 성립하며, 이에 대해 조합론적, 수론적, 루카스의 정리를 통한 세 가지 서로 다른 증명이 제시되었다.
• 합성수 $ p $ 에 대해서는 합동식이 성립하지 않으며, 반례는 $ n = p + q $ 로 설정하여 $ q $ 를 $ p $ 의 최소 소인수로 정함으로써 구성된다. 이 경우 $ \binom{p+q}{p} \not\equiv \lfloor (p+q)/p \rfloor \pmod{p} $ 를 보여준다.
• 루카스의 정리를 통한 증명은 $ \binom{ap + b}{p} \equiv a \pmod{p} $ 를 보여주며, $ \lfloor (ap + b)/p \rfloor = a $ 이므로 소수 $ p $ 에 대해 합동식이 성립함을 보여준다.
• 논문은 $ \binom{np}{rp} \equiv \binom{n}{r} \pmod{p} $ 를 보여주며, 이는 루카스의 정리와 일치한다. 또한 바일리가 보여준 바와 같이 $ p^3 $ 모듈로에서도 고차원 합동식이 존재함을 언급한다.
• 저자들은 이 합동식을 $ p $ 의 고차원 거듭제곱이나 피보나치 수열과 같은 다른 수열으로 확장하는 것은 더 복잡하며, 아직 미해결 과제로 남아 있다고 제안한다.