양자 일회읽기 분기 프로그램의 계산력과 지문기법

초록

본 논문은 양자 일회읽기 분기 프로그램(QOBDD)의 계산 능력을 조사한다. 선형 특성 다항식을 갖는 부울 함수는 로그 규모의 큐비트와 폭으로 양자 지문기법을 이용해 효율적으로 구현할 수 있음을 보이며, 이 클래스가 다항식 투사 아래에서도 닫혀 있음을 증명한다. 또한 최소 결정적 OBDD 폭의 로그 하한을 제시한다.

상세 분석

이 연구는 양자 읽기‑once 분기 프로그램(QOBDD)의 구조와 복잡도 측정을 체계적으로 정리한다. 먼저 QBP를 고전 제어 비트에 의해 선택되는 유니터리 연산들의 연속으로 보는 회로 모델을 제시하고, 폭(width) = 상태공간 차원, 길이 = 명령 수, 그리고 물리적 구현에 필요한 큐비트 수 = log 폭이라는 관계를 명확히 한다. 기존 연구에서 알려진 폭에 대한 일반적인 로그 하한(정리 1)을 재확인함으로써, 대부분의 자연스러운 부울 함수에 대해 양자 OBDD가 최소 결정적 OBDD 폭의 로그 이하로는 절대 감소하지 못한다는 제한을 제시한다.

핵심 기여는 ‘특성 다항식(characteristic polynomial)’ 개념을 도입한 양자 지문(fingerprinting) 기법이다. 부울 함수 f에 대해 g_f(x)≡0 (mod m) ⇔ f(x)=1을 만족하는 다항식 g_f를 찾고, g_f가 선형 형태 c₀+∑c_i x_i일 경우에만 효율적인 구현이 가능함을 보인다. 이때 입력 문자열 σ에 대해 각 i∈