정수인수분해와 모듈러 제곱근의 복잡도 연결고리

초록

본 논문은 기존에 특수 형태 정수에 대해 PPA에 속한다는 결과를 일반 정수로 확장한다. 무작위 다항시간 감소를 통해 일반 정수 인수분해를 PPA 문제와 PPP의 WEAKPIGEON 문제에 연결하고, 일반화 리만 가설 하에서는 이를 결정론적으로 만들 수 있음을 보인다. 또한, 제곱근 계산 및 비제곱잉여 찾기와 같은 관련 문제들이 PPA에 포함됨을 무조건적으로 증명한다.

상세 분석

Buresh‑Oppenheim의 선행 연구는 n = a·b 형태의 정수, 즉 두 소인수의 곱으로 표현되는 경우에 한해 인수분해 탐색 문제가 Papadimitriou가 정의한 PPA 클래스에 속한다는 것을 보였다. 그들은 또한 이 문제를 확률적 다항시간 감소를 통해 PPP에 속하는 특정 문제, 즉 PIGEONHOLE PRINCIPLE 기반 문제에 연결하였다. 본 논문은 이러한 제한을 완전히 없애고, 임의의 자연수 N에 대해 동일한 복잡도 분류를 성립시키는 데 초점을 맞춘다. 핵심 아이디어는 제한된 형태의 인수분해 문제를 “인수 분해 트리”라는 구조로 재구성하고, 이를 bounded arithmetic, 특히 S^2_2와 같은 약한 형식 체계 내에서 정의 가능한 함수와 관계로 표현하는 것이다. 저자들은 S^2_2 내에서 “인수분해 함수”가 정의될 수 있음을 보이고, 이 함수가 PPA‑complete인 END‑OF‑LINE 문제와 자연스럽게 대응함을 증명한다. 구체적으로, N의 임의의 비자명한 인수 d를 찾는 과정을 다음과 같이 설계한다. 먼저, N을 임의의 작은 구간으로 나누어 각 구간에 대해 “제곱근 잔여”를 계산한다. 이때 제곱근 잔여는 모듈러 제곱근 문제와 동치이며, 이는 PPA에 포함된 “Parity Argument”를 이용해 존재성을 보장한다. 그런 다음, 각 구간에서 얻은 잔여값을 그래프의 정점으로 두고, 인접성을 “잔여값 차이”에 의해 정의한다. 이 그래프는 반드시 홀수 차수의 정점을 하나 이상 포함한다는 PPA의 기본 정리와 일치한다. END‑OF‑LINE 알고리즘을 적용하면, 해당 홀수 차수 정점이 바로 N의 비자명한 인수를 제공한다.

확률적 감소 부분에서는, 저자들이 WEAKPIGEON 문제(“주어진 해시 함수가 충분히 큰 입력 집합을 작은 출력 집합에 매핑할 때, 충돌이 존재함을 보이는 문제”)에 대한 다항시간 감소를 구성한다. 구체적으로, N을 무작위로 선택된 작은 소수 p와 곱한 뒤, (x^2 mod N·p) 형태의 함수 집합을 정의한다. 이 함수들의 출력값이 제한된 범위에 머무르므로, Pigeonhole 원리에 의해 충돌이 반드시 존재한다. 충돌을 찾는 과정은 WEAKPIGEON의 표준 알고리즘에 의해 수행되며, 충돌이 발견되면 곧바로 N의 비자명한 인수로 변환될 수 있다.

마지막으로, 일반화 리만 가설(GRH)을 가정하면, 소수 선택 단계와 모듈러 제곱근 계산 단계에서 필요한 무작위성 없이 결정론적 폴리노미얼 시간 알고리즘을 설계할 수 있다. GRH 하에서는 소수 p를 O((log N)^2) 시간 안에 찾을 수 있고, 모듈러 제곱근을 Tonelli‑Shanks 알고리즘의 변형으로 결정론적으로 계산할 수 있다. 따라서 전체 감소 과정이 완전한 결정론적 다항시간으로 전환된다.

이와 더불어, 논문은 PPA에 포함되는 다른 수론적 문제들을 탐구한다. 제곱근 계산(modular square root) 문제는 위에서 설명한 그래프 구성과 동일한 parity argument을 통해 END‑OF‑LINE 해에 대응한다. 또한, quadratic nonresidue 찾기 문제는 “Legendre symbol”의 부호를 이용해 홀수 차수 정점을 구성함으로써 PPA에 귀속된다. 이러한 결과는 PPA가 단순히 그래프 이론적 문제에 국한되지 않고, 전통적인 수론적 계산 문제까지 포괄할 수 있음을 보여준다.

전체적으로, 본 논문은 bounded arithmetic와 복잡도 이론을 교차시켜, 정수 인수분해와 관련된 여러 문제를 PPA와 PPP라는 두 주요 총체적 복잡도 클래스에 연결함으로써, 기존 결과를 일반화하고, 향후 암호학적 보안 가정에 대한 새로운 관점을 제공한다.