[논문 리뷰] Unitary Property Testing Lower Bounds by Polynomials

Adrian She, Henry Yuen|arXiv (Cornell University)|2022. 10. 12.

Quantum Computing Algorithms and Architecture인용 수 3

한 줄 요약

이 논문은 유니터리 성질 테스팅, 즉 알고리즘이 유니터리 연산자를 쿼리하여 양자 성질을 결정하는 양자 모델에서 질의 복잡도 하한을 증명하기 위한 일반화된 다항식 방법을 제안한다. 불변량 이론을 활용하여, 재귀 시간 추정, 얽힘 엔트로피 근사, 얽힘 부분공간 문제와 같은 문제들에 대해 날카로운 하한을 확립하며, QMA와 QMA(2) 사이의 오рак루 분리 가능성에 대한 길을 열어준다.

ABSTRACT

We study unitary property testing, where a quantum algorithm is given query access to a black-box unitary and has to decide whether it satisfies some property. In addition to containing the standard quantum query complexity model (where the unitary encodes a binary string) as a special case, this model contains "inherently quantum" problems that have no classical analogue. Characterizing the query complexity of these problems requires new algorithmic techniques and lower bound methods. Our main contribution is a generalized polynomial method for unitary property testing problems. By leveraging connections with invariant theory, we apply this method to obtain lower bounds on problems such as determining recurrence times of unitaries, approximating the dimension of a marked subspace, and approximating the entanglement entropy of a marked state. We also present a unitary property testing-based approach towards an oracle separation between $\mathsf{QMA}$ and $\mathsf{QMA(2)}$, a long standing question in quantum complexity theory.

연구 동기 및 목표

• 유니터리 성질 테스팅이라는 모델에서 양자 질의 복잡도에 대한 새로운 하한 기법을 개발하는 것. 이 모델은 고전적 질의 복잡도를 유니터리와 같은 양자 객체로 일반화한다.
• 고전적 대응이 없는 본질적으로 양자적인 문제들, 예를 들어 유니터리의 재귀 시간 추정이나 얽힘 엔트로피 추정과 같은 문제들을 다루는 것.
• 유니터리 성질 테스팅, 불변량 이론, 그리고 양자 복잡도 클래스, 특히 QMA와 QMA(2) 사이의 관계를 탐색하는 것.
• 유니터리 성질 테스팅을 프레임워크로 삼아 QMA와 QMA(2) 사이의 오라클 분리를 달성할 수 있는지 조사하는 것.
• 차원 근사 및 얽힘 엔트로피 추정과 같은 기본 양자 문제들에 대해 날카로운 질의 복잡도 하한을 확립하는 것.

제안 방법

• 클래식 다항식 방법을 유니터리 질의 모델로 확장하는 일반화된 다항식 방법을 개발하며, 라우렌트 다항식과 추적 기반 근사치를 사용한다.
• 불변량 이론의 도구를 활용해 유니터리로 불변인 성질과 국소적으로 유니터리로 불변인 성질을 분석함으로써 대칭을 고려한 하한을 도출한다.
• 추측 레마와 하이브리드 추론 기법을 사용하여 서로 다른 오라클 하에서 상태 진화의 차이를 추적 노름과 유클리드 거리로 제한한다.
• 웨인게르텐 계산법을 사용해 하어-랜덤 상태의 텐서곱의 기대값을 계산하며, 평균 케이스 행동 분석에 핵심적인 역할을 한다.
• 선형 프로그래밍의 이중성과 이중 다항식 구성 기법을 활용해 수용 확률 다항식의 차수 하한을 증명한다.
• 양자 증거를 가진 양자 알고리즘에 대해 대칭화 기법을 도입함으로써, 얽힌 상태를 가진 QMA 스타일의 검증자 분석이 가능해진다.

실험 결과

연구 질문

• RQ1 입력이 유니터리 연산자인 유니터리 성질 테스팅에서 하한을 증명하기 위해 일반화된 다항식 방법을 개발할 수 있는가?
• RQ2 유니터리의 재귀 시간을 추정하거나 표시된 부분공간의 차원을 근사하는 데 필요한 질의 복잡도 하한은 무엇인가?
• RQ3 표시된 상태의 얽힘 엔트로피를 효율적으로 근사할 수 있으며, 그 질의 복잡도의 한계는 무엇인가?
• RQ4 유니터리 성질 테스팅을 활용해 QMA와 QMA(2) 사이의 오라클 분리를 달성할 수 있는가?
• RQ5 비유니터리 대칭을 가진 자연스러운 양자 질의 문제들은 이 일반화된 방법으로 분석할 수 있는가?

주요 결과

• 일반화된 다항식 방법은 유니터리의 재귀 시간 근사를 위한 Ω(√d) 하한을 확립하며, 이는 알려진 상한과 로그 인자 외에는 정확히 일치한다.
• 얽힘 엔트로피 문제에 대해 이 방법은 BQP 환경에서 Ω(√d) 하한을 증명하며, 강력한 가정 없이 효율적인 근사가 어렵다는 것을 시사한다.
• QMA 환경에서 재귀 시간 문제에 대해 Ω(√d / ε) 하한이 대칭화 및 하이브리드 상태 분석을 통해 확립되었다.
• 논문은 QMA 검증자가 얽힌 부분공간 문제를 처리하기 위해 초다항식 질의 또는 초다항식 크기의 증거를 요구해야 하며, 이는 QMA와 QMA(2) 사이의 잠재적 오라클 분리를 암시한다.
• 논문의 6.6조의 반례는 차원 2~5에서 날카로운 하한을 이룬다. 이는 얽힌 부분공간 문제가 낮은 차원에서도 이미 어렵다는 것을 시사한다.
• 양자 증거가 없는 QCMA 하한은 일반화된 다항식 방법을 통해 증명되었으며, 이는 심지어 고전적 증거로도 문제를 효율적으로 해결할 수 없음을 보여준다.