[논문 리뷰] Solving Shift Problems and Hidden Coset Problem Using the Fourier Transform

Lawrence Ip|ArXiv.org|2002. 05. 07.

Coding theory and cryptography참고 문헌 5인용 수 10

한 줄 요약

이 논문은 유한체와 환 ℤ/nℤ에서 이동한 곱셈적 특성 문제를 푸는 양자 알고리즘을 제시하며, 푸리에 변환을 사용하여 문제를 행렬 분해 또는 디컨볼루션으로 재구성한다. 함수가 특정 스펙트럼 조건을 만족할 경우 이동 분할이 효율적으로 복원될 수 있음을 보이며, 주기성으로 인해 유일하지 않은 이동을 다루기 위해 숨겨진 부분군 문제를 숨겨진 코스터 문제로 확장한다.

ABSTRACT

We give a quantum algorithm for solving a shifted multiplicative character problem over Z/nZ and finite fields. We show that the algorithm can be interpreted as a matrix factorization or as solving a deconvolution problem and give sufficient conditions for a shift problem to be solved efficiently by our algorithm. We also show that combining the shift problem with the hidden subgroup problem results in a hidden coset problem. This naturally captures the redundancy in the shift due to the periodic structure of multiplicative characters over Z/nZ.

연구 동기 및 목표

• 유한체와 ℤ/nℤ에서 이동한 곱셈적 특성 문제를 해결하는 양자 알고리즘을 개발하기 위해.
• 푸리에 변환을 사용하여 이동 문제를 효율적으로 해결할 수 있는 충분한 조건을 규명하기 위해.
• 숨겨진 부분군 문제와 이동 문제를 일반화된 숨겨진 코스터 문제 프레임워크로 통합하기 위해.
• 해결책을 푸리에 도메인에서의 디컨볼루션 문제로 해석하여 더 넓은 적용 가능성을 확보하기 위해.

제안 방법

• 군 G 위의 함수 g에 대해 g(x+y)를 성분으로 갖는 행렬 X를 사용하여 이동 문제를 행렬 역행렬 문제로 재구성한다.
• 유한 아벨 군 위의 특성 이론을 활용하여 X = (F^T)^{-1} D F^{-1}로 행렬 X를 인수분해하며, 여기서 F는 푸리에 변환 행렬이고 D는 대각행렬이다.
• 푸리에 변환의 푸리에 변환의 크기가 일정하고 0이 되지 않는 조건을 만족할 경우, 양자 푸리에 변환을 통해 F D^{-1} F^T를 통해 X의 역행렬을 효율적으로 계산한다.
• 유한체와 ℤ/nℤ에서 곱셈적 특성에 대해 이 방법을 적용하며, 이 특성이 요구하는 스펙트럼 조건을 만족한다.
• 주기성으로 인해 이동이 유일하지 않은 경우, 문제를 G/H 위의 숨겨진 부분군 문제로 줄이고, 몫군 G/H 위의 이동 문제로 전환한다.
• 해결책을 푸리에 도메인에서의 디컨볼루션 문제로 해석하며, f = δ_{-s} * g로 표현하고, δ_{-s}는 푸리에 변환의 점별 나눗셈을 통해 복원된다.

실험 결과

연구 질문

• RQ1 함수 f(x) = g(x+s)에서 알 수 없는 이동 분할 s를 푸리에 변환을 사용하여 효율적으로 복원할 수 있는 조건은 무엇인가?
• RQ2 곱셈적 특성에서 주기적인 구조로 인해 발생하는 비유일한 이동을 다루기 위해 숨겨진 부분군 문제를 어떻게 확장할 수 있는가?
• RQ3 n이 제곱 자유 수일 때, ℤ/nℤ에서의 이동한 곱셈적 특성 문제는 애초에 덧셈적 주기성으로 인해 이동이 비유일한 경우에도 효율적으로 해결될 수 있는가?
• RQ4 이동 문제를 푸리에 도메인에서의 디컨볼루션 문제로 해석할 수 있는 정도는 어느 정도이며, 이러한 해석은 알고리즘 설계에 어떻게 기여하는가?
• RQ5 이동 문제를 양자 다항시간 내에 해결할 수 있는 함수 g에 대한 必要 및 충분 조건은 무엇인가?

주요 결과

• 알고리즘은 ℤ/pℤ에서의 이동한 레지오드 심볼과 이동한 이차 특성 문제를 해결하며, n이 제곱 자유 수일 경우 이동한 자코비 심볼 문제를 해결함으로써 반 다무와 할렌의 이전 작업을 확장한다.
• n이 홀수일 경우 ℤ/nℤ에서의 곱셈적 특성에 대해 알고리즘의 성공 확률은 (1 - 1/p₁)²⋯(1 - 1/pₖ)²이며, 여기서 pᵢ는 n의 서로 다른 소인수이다.
• 비유일한 이동을 다루기 위해 문제를 G/H 위의 숨겨진 부분군 문제로 줄이고, 이후 몫군 G/H 위의 이동 문제로 전환함으로써 알고리즘이 성공적으로 처리한다. 여기서 H는 안정자 부분군이다.
• 이 방법은 푸리에 도메인에서의 디컨볼루션 문제로 해석되며, f = δ_{-s} * g이고 δ_{-s}는 푸리에 변환의 점별 나눗셈을 통해 복원된다.
• 효율성에 필요한 조건은 다음과 같다: x ≠ 0이면 |g(x)| = 1, g(0) = 0이며, g의 푸리에 변환은 일정한 크기를 가지며, 가능하면 항등 특성 이외에는 0이 되지 않는다.
• g가 유한체 또는 ℤ/nℤ 위의 비자명한 곱셈적 특성일 경우, 이러한 특성의 스펙트럼적 성질이 푸리에 변환 하에 적용되어 이동 분할 s가 효율적으로 복원된다.