[논문 리뷰] A quantum lower bound for the collision problem

Samuel Kutin|ArXiv.org|2003. 04. 24.

Cryptography and Data Security참고 문헌 4인용 수 21

한 줄 요약

이 논문은 블랙박스 모델에서 충돌 문제에 대한 양자 쿼리 복잡도에 대해 Ω((n/r)^{1/3})의 날카운 하한을 확립한다. 이는 이전에 Shi가 제시한 결과를 보완하여 함수의 범위가 최소 3n/2여야 한다는 제약 조건을 제거한 것이다. 저자들은 전체 순열군 S_n × S_N 위에서의 대칭화 기법을 사용하고, 다항식에 대해 Paturi의 정리의 수정된 버전을 적용하여, r-대-일 함수와 일-대-일 함수를 구별하는 데 필요한 양자 알고리즘의 쿼리 수가 Ω((n/r)^{1/3})임을 증명한다. 이는 최고의 알려진 상한과 정확히 일치한다.

ABSTRACT

We extend Shi's 2002 quantum lower bound for collision in $r$-to-one functions with $n$ inputs. Shi's bound of $Ω((n/r)^{1/3})$ is tight, but his proof applies only in the case where the range has size at least $3n/2$. We give a modified version of Shi's argument which removes this restriction.

연구 동기 및 목표

• 블랙박스 모델에서 알려진 양자 상한과 하한 사이의 격차를 메우기 위해.
• Shi의 양자 하한 Ω((n/r)^{1/3})을 이전에 범위 크기가 최소 3n/2여야 한다는 조건 없이 모든 함수 범위로 확장하기 위해.
• 반면에 중간 문제인 Half-r-to-one에 의존하지 않고 전체 S_n × S_N 군 위에서 대칭화하는 더 단순하고 일반적인 증명 기법을 개발하기 위해.
• 쿼리 복잡도 하한이 날카로우며, 최고의 알려진 양자 알고리즘 성능과 정확히 일치함을 입증하기 위해.

제안 방법

• 쿼리 복잡도와 다항식 차수 사이의 연결 고리에 기반하여, 수용 확률이 함수의 델타 변수 δ_{i,j}에 대한 다변수 다항식임을 이용한다.
• 전체 자동형군 S_n × S_N 위에서 대칭화를 적용하여 다변수 다항식을 m, a, b에 대한 단변수 다항식으로 축소한다. 여기서 m은 일대일로 매핑된 입력 수이며, a, b는 각각 전이상의 크기이다.
• 특수 함수 f_{m,a,b}를 정의하여, m개의 입력에 대해 a-대-일이고 나머지 n−m개의 입력에 대해 b-대-일인 함수를 정의함으로써, 일대일과 r-대-일 함수 사이의 보간을 가능하게 한다.
• 쿼리 수 T에 대해 d ≤ 2T인, m, a, b에 대한 차수 d의 대칭화된 수용 다항식 Q(m,a,b)를 도입한다.
• Q(m,a,b)에 대해 Paturi의 정리의 수정된 버전을 적용하여, 비판적 점들(예: Q(M,1,2) ≥ 1/2 또는 < 1/2)에서의 행동을 분석함으로써 차수 하한을 유도한다.
• 두 개의 차수 하한 d = Ω(√c)과 d = Ω(n/c)을 조합하여, c를 제거함으로써 d = Ω((n/r)^{1/3})을 도출한다.

실험 결과

연구 질문

• RQ1 충돌 문제에 대한 양자 쿼리 하한은 범위 크기가 최소 3n/2여야 한다는 제약 없이 모든 함수 범위에 대해 확장될 수 있는가?
• RQ2 충돌 문제의 양자 쿼리 복잡도 분석에서 Half-r-to-one과 같은 중간 문제를 피할 수 있는가?
• RQ3 전체 S_n × S_N 군 위에서의 대칭화 기법이 Ω((n/r)^{1/3}) 하한을 더 단순하고 일반적인 방식으로 증명할 수 있는가?
• RQ4 함수 범위가 작을 경우에도 대칭화된 모델에서 수용 확률의 다항식 차수는 여전히 날카로운 하한을 도출할 수 있는가?

주요 결과

• 논문은 함수 범위 크기에 관계없이 항상 성립하는 양자 쿼리 하한 Ω((n/r)^{1/3})을 r-대-일 함수와 일대일 함수를 구별하는 데 증명한다. 이는 3n/2의 범위 크기 제약 조건이 없이도 성립한다.
• 전체 S_n × S_N 군 위에서의 대칭화 기법은 이전에 부분 대칭화나 보조 문제에 의존한 방법보다 더 자연스럽고 개념적으로 단순한 증명을 가능하게 한다.
• 수용 확률 다항식 Q(m,a,b)는 m, a, b에 대해 차수 d의 다항식이며, d ≤ 2T를 만족한다. 여기서 T는 쿼리 수이다.
• Q(M,1,2)와 Q(M,c,r)와 같은 비판적 점에서의 Q의 행동을 분석함으로써 두 개의 하한 d = Ω(√c)과 d = Ω(n/c)을 도출하였으며, 이 두 하한을 조합하면 d = Ω((n/r)^{1/3})이 된다.
• 결과는 최고의 알려진 양자 알고리즘의 쿼리 복잡도와 정확히 일치하므로, 하한이 날카롭고 최적임을 확인한다.