[논문 리뷰] The Parameterized Complexity of Quantum Verification

Srinivasan Arunachalam, Sergey Bravyi외 2명|arXiv (Cornell University)|2022. 01. 01.

Quantum Computing Algorithms and Architecture인용 수 4

한 줄 요약

이 논문은 양자 회로 만족도 문제(QCSAT), 즉 QMA-완전 문제의 대표적 예로, 전체 시스템 크기 대신 비클리포드(T) 게이트 수에 대해서만 지수적 시간에 고전적으로 해결할 수 있음을 입증한다. 이는 최적의 양자 증거가 최대 t 큐비트에 이sov로 표현되는 스테이빌라이저 부분공간 내에 존재함을 보여주며, 런타임이 poly(n, m, s, t) + O(δ⁻¹t²ᵗ)인 고전적 알고리즘을 가능하게 한다. 이는 t ≪ n일 경우 전체 n-큐비트 힐베르트 공간에 대한 브루트포스 검색보다 훨씬 빠르다.

ABSTRACT

We initiate the study of parameterized complexity of $ extsf{QMA}$ problems in terms of the number of non-Clifford gates in the problem description. We show that for the problem of parameterized quantum circuit satisfiability, there exists a classical algorithm solving the problem with a runtime scaling exponentially in the number of non-Clifford gates but only polynomially with the system size. This result follows from our main result, that for any Clifford + $t$ $T$-gate quantum circuit satisfiability problem, the search space of optimal witnesses can be reduced to a stabilizer subspace isomorphic to at most $t$ qubits (independent of the system size). Furthermore, we derive new lower bounds on the $T$-count of circuit satisfiability instances and the $T$-count of the $W$-state assuming the classical exponential time hypothesis ($ extsf{ETH}$). Lastly, we explore the parameterized complexity of the quantum non-identity check problem.

연구 동기 및 목표

• QMA 문제의 매개변수화된 복잡도를 조사하며, 비클리포드(T) 게이트 수를 핵심 매개변수로 삼는다.
• T-게이트 수가 작을 경우, 전체 힐베르트 공간에 대한 브루트포스 검색보다 효율적으로 QCSAT와 같은 양자 검증 문제를 해결할 수 있는지 여부를 규명한다.
• 최적의 양자 증거를 찾는 데 필요한 고전적 복잡도의 상계 및 그 표현을 위한 큐비트 차원의 상한을 확립한다.
• 고전적 지수시간 가설(ETH)을 기반으로 QCSAT 인스턴스 및 W-상태에 대한 T-카운트의 새로운 하한을 유도한다.

제안 방법

• 모든 클리포드 + t개의 T-게이트를 가진 회로에 대해, 최적의 증거 집합이 전체 시스템 크기 n과 무관하게 최대 t 큐비트에 이sov된 스테이빌라이저 부분공간 내에 존재함을 증명한다.
• 검증 회로의 최대 수락 확률을 추정하기 위해, 이 t-큐비트 스테이빌라이저 부분공간 내에서만 검색하는 고전적 랜덤 알고리즘을 구축한다.
• 스테이빌라이저 형식을 활용하여 스테이빌라이저 상태 간의 정확한 내적 추정을 통해 유니터리 연산자의 거듭제곱의 트레이스를 효율적으로 계산한다.
• 저깊이 양자 회로의 라이트콘 및 국소성 성질을 이용하여 국소적 감소 밀도 행렬이 항등행렬에서의 거리를 유계로 제한한다.
• 고전적 지수시간 가설(ETH)을 적용하여 QCSAT 인스턴스 및 W-상태에 대해 필요한 T-카운트의 하한을 도출한다.
• 약속 갭이 o(1)일 때, 상수 크기의 게이트 집합과 상수 깊이의 회로에서 비정상성 검증(NIC) 문제가 P에 속함을 증명한다.

실험 결과

연구 질문

• RQ1 T-게이트 수를 매개변수로 삼을 경우, QCSAT의 최적 양자 증거에 대한 검색 공간을 줄일 수 있는가?
• RQ2 시스템 크기와 다항적으로 의존하고 T-게이트 수에 대해서만 지수적으로 의존하는 런타임을 갖는 QCSAT에 대한 고전적 알고리즘이 존재하는가?
• RQ3 고전적 지수시간 가설(ETH) 하에서 QCSAT 인스턴스 및 W-상태의 T-카운트 하한은 무엇인가?
• RQ4 깊이가 낮고 상수 크기의 게이트 집합을 갖는 경우, 약속 갭이 o(1)일 때 비정상성 검증(NIC) 문제가 다항시간 내에 해결 가능한가?
• RQ5 클리포드 + T 회로의 구조는 최적 양자 증거의 기하학적 구조에 어떻게 제약을 가하는가?

주요 결과

• 모든 T-게이트 수가 t인 QCSAT 인스턴스에 대해, 최적의 증거는 전체 시스템 크기 n과 무관하게 최대 t 큐비트에 이sov된 스테이빌라이저 부분공간 내에 존재한다.
• 고전적 랜덤 알고리즘이 매개변수화된 QCSAT를 poly(n, m, s, t) + O(δ⁻¹t²ᵗ) 시간에 해결하며, 최대 수락 확률에 대해 (1−δ)-근사치를 99% 신뢰도로 도출한다.
• 런타임은 시스템 크기 n이 아닌 T-게이트 수 t에 대해서만 지수적으로 의존하므로, t ≪ n일 경우 상당한 속도 향상을 이룬다.
• 고전적 지수시간 가설(ETH) 하에서, 어떤 QCSAT 인스턴스의 T-카운트는 최소 Ω(log n)이어야 하며, W-상태의 T-카운트는 Ω(n)이다.
• 약속 갭이 o(1)일 때, 상수 크기의 게이트 집합과 상수 깊이의 회로에서 비정상성 검증(NIC) 문제가 국소성과 항등행렬에서의 유계 거리 덕분에 P에 속한다.
• 모든 클리포드 유니터리 연산자의 거듭제곱의 트레이스는 스테이빌라이저 상태 간 내적 추정을 통해 poly(n) 시간에 정확하게 계산 가능하므로, 스펙트럼 노름의 효율적 계산이 가능하다.