[논문 리뷰] Quantum circuits and low-degree polynomials over F_2

Ashley Montanaro|Explore Bristol Research|2016. 07. 28.

Quantum Computing Algorithms and Architecture인용 수 5

한 줄 요약

이 논문은 헤르마드, Z, CZ, CCZ 게이트로 구성된 양자 회로와 𝔽₂ 위의 저차수 다항식 사이에 직접적인 대응 관계를 설정하며, 양자 회로의 진폭을 계산하는 것이 이러한 다항식의 영점 수를 세는 것과 동치임을 보여준다. 핵심 기여는 양자 회로 개념을 활용하여 고전적 계산 난이도 결과를 증명하고, 다항식 간소화 기법을 통해 효율적인 고전적 시뮬레이션 알고리즘을 개발할 수 있는 통합 프레임워크를 제공하는 것이다.

ABSTRACT

In this work we explore a correspondence between quantum circuits and low-degree polynomials over the finite field F_2. Any quantum circuit made up of Hadamard, Z, controlled-Z and controlled-controlled-Z gates gives rise to a degree-3 polynomial over F_2 such that calculating quantum circuit amplitudes is equivalent to counting zeroes of the corresponding polynomial. We exploit this connection, which is especially clean and simple for this particular gate set, in two directions. First, we give proofs of classical hardness results based on quantum circuit concepts. Second, we find efficient classical simulation algorithms for certain classes of quantum circuits based on efficient algorithms for classes of polynomials.

연구 동기 및 목표

• 특정 게이트 세트를 사용한 양자 회로와 𝔽₂ 위의 저차수 다항식 사이에 깔끔하고 직접적인 대응 관계를 설정하는 것.
• 이 대응 관계를 활용하여 𝔽₂ 위의 저차수 다항식의 영점 수를 세는 데 대한 고전적 계산 난이도 결과를 증명하는 것.
• 다항식의 구조와 변환 기법을 활용하여 특정 유형의 양자 회로에 대해 효율적인 고전적 시뮬레이션 알고리즘을 개발하는 것.
• 양자 회로-다항식 이중성에 기반하여 새로운 복잡도 측정 기준인 '양자 회로 폭'을 도입하고 분석하는 것.
• 다항식 표현을 활용하여 양자 계산과 고전적 복잡도 이론을 연결함으로써, 난이도 증명과 시뮬레이션 알고리즘 양쪽 모두에 응용하는 것.

제안 방법

• 양자 회로 진폭 ⟨0|C|0⟩을 𝔽₂ 위의 3차 다항식의 갭(영점 수와 비영점 수의 차이)으로 표현한다.
• 헤르마드, Z, CZ, CCZ 게이트를 포함하는 보편적 게이트 세트를 사용하여 회로와 다항식 사이의 일대일 대응을 보장한다.
• 다항식의 구조를 단순화하고 관련 변수 수를 줄이기 위해 비특이 선형 변환을 적용한다.
• 변환 후 다항식이 의존하는 변수 수를 최소화하기 위해 코딩 이론에서 알려진 알고리즘을 활용한다.
• 변환된 다항식을 사용하여 변수 수에 대해 지수적 시간만 소요되는 방식으로 양자 진폭을 계산함으로써, 변수 수가 작을 경우 효율적인 고전적 시뮬레이션을 가능하게 한다.
• 다항식에 대한 복잡도 측정 기준으로서 '양자 회로 폭'을 정의하고 분석하며, 이는 회로 깊이와 시뮬레이션 효율성과 관련이 있다.

실험 결과

연구 질문

• RQ1 𝔽₂ 위의 저차수 다항식의 영점 수를 세는 데 대한 고전적 계산 난이도 결과를 양자 회로 개념을 활용해 증명할 수 있는가?
• RQ2 다항식 간소화 기법을 통해 양자 회로에 대한 효율적인 고전적 시뮬레이션 알고리즘을 도출할 수 있는가?
• RQ3 주어진 다항식의 양자 회로 폭을 결정하는 데 필요한 계산 복잡도는 얼마인가?
• RQ4 다항식의 구조는 그에 대응하는 양자 회로의 깊이와 게이트 수와 어떻게 관련이 있는가?
• RQ5 코딩 이론적 방법을 활용하여 다항식 변환을 통해 양자 회로의 고전적 시뮬레이션을 최적화할 수 있는가?

주요 결과

• 헤르마드, Z, CZ, CCZ 게이트를 사용하는 양자 회로 C의 진폭 ⟨0|C|0⟩은 𝔽₂ 위의 3차 다항식의 갭과 동치이다.
• 𝔽₂ 위의 저차수 다항식의 영점 수를 세는 것은 계산적으로 어렵고, 이는 양자-다항식 대응 관계 하에서 #P 복잡도 클래스에 대해 완전하다.
• 갭의 근사 계산은 특히 IQP 회로와 양자 우월성의 맥락에서 양자 계산 복잡도와 密접하게 관련되어 있다.
• 적절한 선형 변환 후 다항식이 v개의 변수에 의존할 경우, 고전적 알고리즘이 O(2^v poly(ℓ)) 시간 내에 ⟨0|C|0⟩을 정확히 계산할 수 있다.
• 선형 변환으로 변수 수를 O(log ℓ)로 줄일 수 있다면, 해당 회로는 다항식 시간 내에 고전적으로 시뮬레이션할 수 있다.
• 다항식의 양자 회로 폭은 비특이 선형 변환에 대해 불변이며, 이 측정 기준은 부울 함수에 대한 새로운 복잡도 측정 기준을 제공한다.