[논문 리뷰] Quantum Circuit for Calculating Symmetrized Functions Via Grover-like Algorithm

Robert R. Tucci|arXiv (Cornell University)|2014. 03. 26.

Quantum Computing Algorithms and Architecture참고 문헌 8인용 수 3

한 줄 요약

이 논문은 대상 두 개의 가설 타겟팅 및 盲적 타겟팅이라는 두 가지 새로운 기법을 통합한 적응형 固定점 Grover 알고리즘(AFGA)을 사용하여 대칭화된 함수를 계산하는 양자 회로를 제시한다. 이 방법은 반복적으로 |a₁|/|a₀| 비율의 추정치를 개선함으로써 초위상에서의 효율적 인 추정을 가능하게 하며, 초기 상태 성분이 알려진 4 큐비트 시스템에서 |⟨c₄|π_{Sym₄}|ψ⟩|²의 계산을 허용한다.

ABSTRACT

In this paper, we give a quantum circuit that calculates symmetrized functions. Our algorithm applies the original Grover's algorithm or a variant thereof such as AFGA (adaptive fixed point Grover's algorithm). Our algorithm uses AFGA in conjunction with two new techniques we call "targeting two hypotheses" and "blind targeting". Suppose AFGA drives the starting state $|s angle$ to the target state $|t angle$. When targeting two hypotheses, $|t angle$ is a superposition $a_0|0 angle + a_1|1 angle$ of two orthonormal states or hypotheses $|0 angle$ and $|1 angle$. When targeting blindly, the value of $\langle t| s angle$ is not known a priori.

연구 동기 및 목표

• 양자 정보 이론에서 대칭화된 함수를 계산하기 위한 확장 가능한 양자 알고리즘을 개발하기 위해.
• 그로버 유형의 검색과 진폭 추정 기법을 통합하여 이전 방법의 한계를 극복하기 위해.
• 초기 오버랩 ⟨t|s⟩가 알려져 있지 않은 경우(盲적 타겟팅)에도 |⟨c₄|π_{Sym₄}|ψ⟩|²의 계산을 가능하게 하기 위해.
• 다중 큐비트 시스템에서 강력한 진폭 추론을 위해 AFGA를 활용하는 실용적인 양자 회로 프레임워크를 제공하기 위해.
• 적응형 진폭 추정과 제어된 상태 준비를 통해 Barenco 등 이전 연구를 일반화하기 위해.

제안 방법

• 초기 상태 |s⟩를 목표 상태 |t⟩로 이끄는 핵심 검색 메커니즘으로 적응형 고정점 그로버 알고리즘(AFGA)을 사용한다.
• 목표 상태 |t⟩를 정규직교 상태의 초위상 a₀|0⟩ + a₁|1⟩로 준비하여 진폭 비율 |a₁|/|a₀|를 추정하기 위해 '목표 두 개의 가설' 기법을 도입한다.
• 초기 오버랩 ⟨t|s⟩가 사전에 알려져 있지 않은 경우를 처리하기 위해 강건성을 향상시키기 위해 '盲적 타겟팅'을 적용한다.
• 상태 진화 중에 큐비트 레지스터를 조건부로 조작하기 위해 제어된 유니터리 연산과 투영 연산자(예: P₀(β₂;2))를 사용한다.
• 반복적인 회로(예: 그림 6, 8)를 구성하여 k = 4,3,2에 대해 중간 상태 |s⟩(k)를 생성함으로써 재귀적 진폭 추정을 가능하게 한다.
• 텐서 곱 표기법과 수직 켓 표현을 사용하여 회로 기술과 연산자 조합을 간결하게 기술한다.

실험 결과

연구 질문

• RQ1 그로버 기반의 진폭 추정을 사용하여 양자 시스템에서 대칭화된 함수를 효율적으로 계산할 수 있는가?
• RQ2 초기 오버랩 ⟨t|s⟩가 알려져 있지 않은 경우(즉, 盲적 타겟팅)에 어떻게 진폭 추론을 달성할 수 있는가?
• RQ3 목표 두 개의 가설이 진폭 추정을 위한 비율 |a₁|/|a₀|를 추정하는 데 어떤 역할을 하는가?
• RQ4 AFGA 변종은 어떻게 4 큐비트 시스템에서 |⟨c₄|π_{Sym₄}|ψ⟩|²를 계산하도록 적응시킬 수 있는가?
• RQ5 제어된 유니터리 연산과 투영 기반 상태 준비를 통해 이 알고리즘은 임의의 qu(d)it 시스템으로 일반화될 수 있는가?

주요 결과

• 알고리즘은 TTH와 盲적 타겟팅의 재귀적 적용을 통해 |⟨c₄|π_{Sym₄}|ψ⟩|²를 계산하며, 최종 결과는 k=4,3,2에 대해 곱으로 표현된다: √Q(4)(c₄) = (2/4)(2/3)(2/2)√Q(1)(c₄) × ∏_{k=4,3,2} [1 + σ(k)√P(k)(0)/P(k)(1)].
• 이 방법은 z₁ = √Q(4)(c₄) ≥ 0임을 보장하며, z₀를 Q(3)(c₄)와 연결함으로써 문제를 알려진 성분으로 반복적으로 축소시킨다.
• z₀의 부호는 P(+)와 P(−)의 상대적 크기에 의해 결정되며, σ(k) = +1이 되기 위해서는 P(+) > P(−)여야 하며, 그렇지 않으면 −1이 된다.
• 그림 6의 회로는 γ 큐비트를 사용하지 않고, P₀(β₂;2)를 포함하지 않는 수정된 투영자 π′(β)를 사용하여 |s⟩(4)를 생성한다.
• |ψ⟩가 정규화되지 않았거나 복소수 성분을 가질 경우에도 이 방법은 유효하며, 부록 C에서 정규화 및 실수/허수 부분 분해를 통해 이를 보여준다.
• AFGA와 새로운 진폭 추정 기법을 통합함으로써 Barenco 등 이전 연구를 일반화하여 강력하고 확장 가능한 대칭화된 함수 평가를 가능하게 한다.