양자 알고리즘으로 풀어내는 고비선형 부울 함수 숨은 이동 문제

초록

본 논문은 평탄한 푸리에 스펙트럼을 갖는 고비선형(벤트) 부울 함수들의 숨은 이동 문제를 양자 알고리즘으로 해결하고, 고전적 쿼리 복잡도는 지수적으로 필요함을 증명한다. 양자 알고리즘은 상수 횟수의 쿼리와 다항 시간 내에 이동을 복원하며, 이는 기존의 부울 함수 기반 구분 문제에서 처음으로 양자와 고전 사이에 지수적 구분을 제공한다.

상세 분석

논문은 먼저 벤트 함수의 정의와 그 특성, 즉 푸리에 변환이 절대값이 모두 동일한 평탄 스펙트럼을 갖는다는 점을 강조한다. 이러한 특성은 암호학에서 비선형성을 최대화해 공격에 강한 함수로 활용되는 이유와 직접 연결된다. 저자는 벤트 함수의 이중(dual) 함수가 역시 ±1 값만을 갖는 또 다른 벤트 함수임을 이용해 숨은 이동 문제를 구성한다. 구체적으로, oracle O가 두 함수 f와 g를 제공하고, g는 알려지지 않은 이동 s에 의해 f가 이동된 형태(g(x)=f(x+s))라고 가정한다. 양자 알고리즘은 다음과 같은 핵심 절차를 따른다. 첫째, 입력 상태에 대해 Hadamard 변환(H^{\otimes n})을 적용해 푸리에 스펙트럼을 얻는다. 둘째, 두 함수의 푸리에 변환을 곱해 상관(correlation) 연산을 수행한다. 벤트 함수의 평탄성 때문에 이 상관 연산은 이동 s에 대한 선형 위상 인자를 정확히 드러낸다. 셋째, 역 Hadamard 변환을 다시 적용하면 측정 결과가 바로 s와 일치한다. 이 과정에서 필요한 쿼리 수는 f와 그 이중 함수 e_f 각각 한 번씩, 즉 총 두 번이며, 전체 연산 복잡도는 O(n) 수준이다. 반면 고전적 알고리즘은 f와 g에 대한 값을 다항 시간 내에 조사해도 이동을 결정할 확률이 지수적으로 낮으며, 정보 이론적 하한에 의해 Ω(2^{n/2}) 이상의 쿼리가 필요함을 증명한다. 저자는 특히 Maiorana‑McFarland, Dillon의 partial spread, Dobbertin 클래스 등 세 가지 주요 벤트 함수 군에 대해 위 알고리즘을 적용하고, 각 경우에 대한 구체적인 수학적 증명을 제공한다. 또한, 이동을 복원하기 위해 이중 함수 e_f를 이용하는 변형도 제시하여, 오직 하나의 f와 하나의 e_f 쿼리만으로도 동일한 결과를 얻을 수 있음을 보인다. 논문의 기여는 (1) 벤트 함수라는 고비선형 부울 함수에 대한 숨은 이동 문제를 정의하고, (2) 푸리에 샘플링과 상관 연산을 결합한 단순하면서도 강력한 양자 알고리즘을 설계했으며, (3) 고전적 쿼리 복잡도와 양자 복잡도 사이에 지수적 격차를 최초로 확립했다는 점이다. 이러한 결과는 기존의 HSP(숨은 부분군)나 선형/다항식 기반 문제와는 다른, 순수 부울 함수 수준에서의 양자 우위를 보여준다. 또한, 푸리에 변환을 이용한 상관 분석 기법이 다른 비선형 구조에도 확장 가능함을 시사한다.