[논문 리뷰] Explicit lower bounds on strong simulation of quantum circuits in terms of $T$-gate count

Cupjin Huang, Michael Newman외 1명|arXiv (Cornell University)|2019. 02. 13.

Quantum Computing Algorithms and Architecture참고 문헌 5인용 수 4

한 줄 요약

이 논문은 3-SAT을 양자 회로 시뮬레이션으로 감소시켜 클래식 시간이 Clifford+T 양자 회로를 강력하게 시뮬레이션하는 데 필요한 최소 시간을 명시적으로 규명한다. 만약 클래식 시뮬레이터가 N개의 T-게이트를 가진 이러한 회로의 비영 amplitude 문제를 O(2^{2.2451×10^{-8}N}) 시간 내에 해결할 수 있다면, 이는 현재 알려진 3-SAT 해법보다 뛰어나게 되며, 이는 Exponential Time Hypothesis 하에서 클래식 복잡도 이론의 돌풍을 일으키는 결과가 된다.

ABSTRACT

We investigate Clifford+$T$ quantum circuits with a small number of $T$-gates. Using the sparsification lemma, we identify time complexity lower bounds in terms of $T$-gate count below which a strong simulator would improve on the state-of-the-art $3$-SAT solving.

연구 동기 및 목표

• Clifford+T 양자 회로의 강력한 시뮬레이션에 대한 명시적 클래식 시간 하한을 설정하는 것.
• Exponential Time Hypothesis(ETH) 하에서 양자 회로 시뮬레이션의 효율성과 3-SAT 해결의 난이도를 연결하는 것.
• T-카운트로 제한된 회로에 대한 빠른 클래식 시뮬레이터가 3-SAT 해결에서 돌풍을 일으킬 수 있음을 보여주는 정량적 하한을 제공하는 것.
• Sparsification Lemma를 명시적 상수와 함께 적용하여 3-SAT을 양자 회로 시뮬레이션으로 정확히 감소시키는 것.

제안 방법

• 3-SAT 인스턴스를 Clifford+T 양자 회로로 감소시켜, 회로의 출력 앰플리튜드가 비영이면 공식이 만족 가능함을 보장한다.
• Sparsification Lemma를 사용하여 n개의 변수를 가진 3-SAT 인스턴스를 길이가 n에 비례하는 희박한 인스턴스 리스트로 변환하며, 만족 가능성은 유지된다.
• 해당 희박한 하위인스턴스의 수를 제한하기 위해 재귀적 sunflower 기반 감소를 사용하며, θ₁ 및 θ₂ 매개변수를 최적화하여 지수적 성장률을 최소화한다.
• Sparsification Lemma에서 유도된 명시적 상수를 활용하여 양자 회로의 T-게이트 수 N과 3-SAT 공식 길이 L 간의 관계를 설정한다.
• 모든 감소된 회로의 시뮬레이션을 조합하여 클래식 3-SAT 해법을 구성하며, 실행 시간은 T-게이트 수와 하위인스턴스 수에 따라 달라진다.
• T-게이트 수와 3-SAT 공식 길이 사이의 역관계를 활용하여 시뮬레이션 시간에 대한 하한을 유도한다.

실험 결과

연구 질문

• RQ1 Exponential Time Hypothesis를 위반하지 않고서도 T-게이트 수에 대해 지수적 시간보다 빠르게 Clifford+T 회로의 강력한 시뮬레이션을 수행할 수 있는가?
• RQ2 시뮬레이션 시간에 어떤 명시적 상수가 존재하면 3-SAT 해결에서 돌풍을 일으킬 수 있는가?
• RQ3 Sparsification Lemma를 명시적 상수와 함께 적용하여 3-SAT을 양자 회로 시뮬레이션으로 감소시킬 수 있는가?
• RQ4 클래식 시뮬레이터가 현재 알려진 최고의 3-SAT 해법을 뛰어넘기 위해 필요한 최소 T-게이트 수는 얼마인가?

주요 결과

• Exponential Time Hypothesis 하에, N개의 T-게이트를 가진 Clifford+T 회로의 강력한 시뮬레이터는 어떤 ε > 0에 대해 최소 2^{εN}의 시간이 걸려야 한다.
• 만약 클래식 시뮬레이터가 N개의 T-게이트에서 비영 앰플리튜드 문제를 O(2^{2.2451×10^{-8}N}) 시간 내에 해결할 수 있다면, m = poly(n) 문장의 3-SAT에 대해 O(1.3^n) 실행 시간을 달성하게 된다.
• 최적화된 매개변수 θ₁ = 109.395 및 θ₂ = 58367.2를 가진 Sparsification Lemma는 하위인스턴스 리스트의 크기가 최대 2^{γ(θ₁,θ₂)n} 이하가 되며, 여기서 γ(θ₁,θ₂) ≤ 4θ₁H(1/(4θ₁²) + 1/θ₂)이다.
• 유도된 3-SAT 해법의 총 실행 시간은 2^{3.1432×10^{-7}(η(θ₁,θ₂) + γ(θ₁,θ₂))n} 이하로 제한되며, 이는 o(1.3^n) 이므로 현재 최고의 3-SAT 해법을 뛰어넘는다.
• 3-SAT에서 양자 회로 시뮬레이션으로의 감소 과정에서 회로의 Toffoli 게이트 수는 공식 길이 L의 최대 2L 이하가 된다.
• 이 구성은 양자 회로가 3-SAT 공식의 진리값을 제어 출력으로 계산하도록 보장하여, 시뮬레이션 과정에서 비영 앰플리튜드를 탐지할 수 있도록 한다.