[논문 리뷰] Comparing EQP and MOD_{p^k}P using Polynomial Degree Lower Bounds

Mart de Graaf, Paul Valiant|ArXiv.org|2002. 11. 27.

Quantum Computing Algorithms and Architecture참고 문헌 14인용 수 4

한 줄 요약

이 논문은 Z_{p^k} 위에서의 함수 다항식 차수를 분석하여 양자 복잡도 클래스 EQP와 고전적 수세기 복잡도 클래스 MOD_{p^k}P 사이의 상대적 분리를 확립한다. m = p^k가 소수 거듭제곱일 때, 무게 n/4에서 비영인 함수와 무게 3n/4에서 영인 함수를 표현하는 다항식의 차수에 대해 선형 하한을 증명하며, 이는 EQP가 특정 오рак울에 대해 MOD_{p^k}P에 포함되지 않음을 시사한다. 제곱무효 복합수 m에 대해 가장 큰 소수 인수 p를 갖는 경우, 다항식 차수에 대해 O(n^{1/log_p m})의 상한을 도출하여 소수 거듭제곱에서 복합수로의 전이 시 차수의 급격한 감소를 보여준다.

ABSTRACT

We show that an oracle A that contains either 1/4 or 3/4 of all strings of length n can be used to separate EQP from the counting classes MOD_{p^k}P. Our proof makes use of the degree of a representing polynomial over the finite field of size p^k. We show a linear lower bound on the degree of this polynomial. We also show an upper bound of O(n^{1/log_p m}) on the degree over the ring of integers modulo m, whenever m is a squarefree composite with largest prime factor p.

연구 동기 및 목표

• 오라클 분리를 통해 양자 복잡도 클래스 EQP와 고전적 수세기 복잡도 클래스 MOD_{p^k}P 사이의 관계를 조사한다.
• 무게 n/4에서 1, 무게 3n/4에서 0인 부울 함수를 표현하는 Z_{m} 위의 다항식의 최소 차수를 결정한다.
• m이 소수 거듭제곱에서 복합수 모듈러스로 전이될 때 그러한 다항식의 차수가 크게 감소하는지 여부를 규명한다.
• 다항식 표현의 차수 기준을 통해 EQP와 MOD_{p^k}P 사이의 상대적 분리를 제공한다.

제안 방법

• f(x) = 1이 되는 조건이 |x| = n/4이고 f(x) = 0이 되는 조건이 |x| = 3n/4인 부울 함수 f를 표현하는 다항식 q: Z_m^n → Z_m의 차수를 사용한다.
• 소수 거듭제곱과 복합수에 대해 모듈로에서의 이항계수를 분석하기 위해 루카스의 정리와 중국인의 나머지 정리를 적용한다.
• m = p^k가 소수 거듭제곱일 경우, m^b와 3m^b의 이진 표현 성질을 활용하여 그러한 다항식의 차수에 대해 선형 하한을 확립한다.
• 가장 큰 소수 인수 p를 갖는 제곱무효 복합수 m에 대해, am + c와 3am + 3c의 이진 표현에서 처음으로 다름을 보이는 비트를 분석하여 차수 O(n^{1/log_p m})의 다항식을 구성한다.
• n/4 ≡ 0 mod m인지 여부에 따라 경우를 나누며, 각 경우에 맞는 다른 다항식 구성 기법을 적용한다.
• EQP에 속하는 양자 알고리즘의 질의 복잡도가 다항식의 차수와 대응됨을 활용하여 오라클 분리를 가능하게 한다.

실험 결과

연구 질문

• RQ1 다항식 차수 분석을 통해 오라클에 대해 EQP와 MOD_{p^k}P를 분리할 수 있는가?
• RQ2 Z_{p^k} 위에서 무게 n/4에서 1, 무게 3n/4에서 0인 함수를 표현하는 다항식의 최소 차수는 얼마인가?
• RQ3 m이 제곱무효 복합수일 경우, 소수 거듭제곱과 비교해 다항식의 차수가 크게 감소하는가?
• RQ4 제곱무효 복합수 m에 대해 다항식 차수에 대한 상한 O(n^{1/log_p m})이 날카로운가?

주요 결과

• m = p^k가 소수 거듭제곱일 경우, f(x) = 1이 되는 조건이 |x| = n/4이고 f(x) = 0이 되는 조건이 |x| = 3n/4인 함수를 표현하는 Z_{p^k} 위의 모든 다항식에 대해 차수에 대해 Ω(n)의 선형 하한이 증명된다.
• 가장 큰 소수 인수 p를 갖는 제곱무효 복합수 m에 대해, 그러한 다항식의 차수에 대해 O(n^{1/log_p m})의 상한이 확립된다.
• 소수 거듭제곱일 경우 다항식 차수는 n에 대해 선형이지만, 제곱무효 복합수일 경우 다항식 이하로 감소하여 표현 복잡성의 구조적 차이를 보여준다.
• 이 차수 간격은 상대적 분리를 암시한다: 오라클이 각 길이에서 모든 문자열의 1/4 또는 3/4를 포함할 경우, EQP는 MOD_{p^k}P에 포함되지 않는다.
• n/4 ≢ 0 mod m이고 m가 제곱무효일 경우, 함수 f(x) = 1이 되는 조건이 무게 n/4이고 f(x) = 0이 되는 조건이 무게 3n/4인 경우, Z_m 위에서 상수 차수 다항식으로 표현 가능하며, 이는 잔여 클래스에 따라 달라진다.
• 결과적으로 Z_m 위에서 부울 함수의 표현이 소수 거듭제곱에서 복합수 모듈러스로 전이될 때 차수 복잡성에 급격한 전이가 발생함을 보여준다.