[논문 리뷰] Stabilizer Testing and Magic Entropy via Quantum Fourier Analysis

Kaifeng Bu, Weichen Gu외 1명|arXiv (Cornell University)|2023. 06. 15.

Quantum Computing Algorithms and Architecture인용 수 4

한 줄 요약

이 논문은 큐비트와 큼디트 시스템에서 스위치 테스트와 회로 구현을 통해 양자 상태와 클리포드 게이트의 안정자 상태 테스팅을 위한 양자 컨volution 기반 프로토콜을 제안한다. '매직 엔트로피'를 도입하여 비안정자(매직) 자원의 양을 측정 가능하고 실험적으로 접근 가능한 척도로 제시하며, 테스트 정확도에 대해 차원에 종속되지 않는 상한을 제공함으로써, 근접한 양자 장치에서 자원의 강건하고 확장 가능한 검증이 가능해진다.

ABSTRACT

Quantum Fourier analysis is an important topic in mathematical physics. We introduce a systematic protocol for testing and measuring ``magic'' in quantum states and gates, using a quantum Fourier approach. Magic, as a quantum resource, is necessary to achieve a quantum advantage in computation. Our protocols are based on quantum convolutions and swap tests, implemented via quantum circuits. We describe this for both qubit and qudit systems. Our quantum Fourier approach offers a unified method to quantify magic, in stabilizer circuits, as well as in matchgate and bosonic Gaussian circuits.

연구 동기 및 목표

• 양자 상태나 게이트가 안정자 상태 또는 클리포드 유니터리인지 여부를 체계적이고 실험적으로 가능한 프로토콜로 테스트하는 것.
• 이전의 안정자 상태 테스팅 방법이 국소 차원에 의존하는 한계를 해결하기 위해, 수용 확률에 대해 차원에 종속되지 않는 상한을 도입하는 것.
• 비안정자(매직) 자원의 양을 측정할 수 있고 정보 이론적으로 해석 가능한 척도인 '매직 엔트로피'를 제안하는 것.
• 클래식적 성질 테스팅(예: BLR 선형성 테스팅)과 양자 얽힘 엔트로피를 양자 컨볼루션과 안정자 불변성 개념과 통합하는 것.
• 표준 양자 회로와 측정을 사용하여 근접한 양자 장치에서 자원의 확장 가능하고 강건한 검증을 가능하게 하는 것.

제안 방법

• 단위기반 회로를 통해 정의된 양자 컨볼루션 연산을 사용하며, 이는 양자 상태와 채널의 자기 컨볼루션을 일반화한 것으로, 고전적 컨볼루션을 양자 시스템으로 확장한다.
• 스위치 테스트 기반 프로토콜을 통해 안정자 상태 테스팅을 실현하며, 상태의 2중 양자 컨볼루션의 순수도를 측정함으로써 안정자 상태가 자기 컨볼루션에 대해 불변임을 활용한다.
• 양자 컨볼루션 핵심을 Weyl-Heisenberg 연산자의 푸리에 변환을 통해 정의하여 큐비트 및 큼디트 시스템에서의 효율적 회로 구현을 가능하게 한다.
• 양자 컨볼루션의 제곱의 트레이스를 사용하여 테스트의 정확도를 상한으로 제시하며, 비안정자 상태에 대해 수용 확률에 대해 차원에 종속되지 않는 상한을 확보한다.
• 매직 엔트로피는 상태의 자기 2중 양자 컨볼루션의 바나흐-바나흐 엔트로피로 정의되며, 안정자 구조에서의 이격도를 측정하는 척도를 제공한다.
• Weyl-Heisenberg 군의 성질과 특성 합을 사용하여 이론적 상한을 유도하며, 상태가 안정자 상태에서 ε-거리에 있을 경우 제곱 컨볼루션의 트레이스가 1 − 6ε + O(ε²) 이하임을 보여준다.

실험 결과

연구 질문

• RQ1 수용 확률에 대해 차원에 종속되지 않는 상한을 확보할 수 있는가? 즉, 국소 큼디트 차원에 관계없이 수용 확률의 상한을 확보할 수 있는가?
• RQ2 클래식적 성질 테스팅의 선형성 테스팅 개념을 어떻게 양자 상태와 게이트에 대해 양자 컨볼루션을 통해 일반화할 수 있는가?
• RQ3 비물리적 양자 상태나 게이트의 '매직' 또는 비안정자 자원의 양을 측정할 수 있는 물리적으로 측정 가능한 양을 정의할 수 있는가?
• RQ4 양자 상태의 컨볼루션 순수도와 안정자 구조 사이의 관계는 무엇인가?
• RQ5 표준 양자 회로와 스위치 테스트를 사용하여 매직 엔트로피를 실험적으로 측정할 수 있는가?

주요 결과

• 논문은 안정자 상태 테스트의 수용 확률에 대해 차원에 종속되지 않는 상한을 확립한다: 안정자 상태에서 ε-거리에 있는 상태에 대해 수용 확률은 최대 1 − 6ε + O(ε²) 이하이다.
• 안정자 상태의 양자 컨볼루션은 순수하며, 이 성질이 스위치 테스트를 통해 컨볼루션된 상태에서 안정자 상태 테스팅 프로토콜의 기초로 사용된다.
• 양자 상태의 매직 엔트로피는 그 상태의 2중 양자 컨볼루션의 바나흐-바나흐 엔트로피로 정의되며, 비안정자 상태에서의 이격도를 측정할 수 있는 측정 가능하고 정보 이론적인 척도를 제공한다.
• 안정자 상태 테스팅 프로토콜은 제어 스위치(프레드킨) 게이트와 Weyl-Heisenberg 기저 연산을 포함하는 표준 양자 회로로 구현 가능하여 실험적 실현이 가능하다.
• 이론적 분석은 상태가 안정자 상태 집합에서 ε-거리에 있을 경우, 양자 컨볼루션의 제곱의 트레이스가 1 − 6ε + O(ε²) 이하임을 보여주며, 이는 강건한 테스팅을 가능하게 한다.
• 이 방법은 BLR 선형성 테스트와 분리성 테스팅을 양자 안정자 설정으로 일반화하며, 양자 컨볼루션과 안정자 불변성을 통해 고전적 및 양자 성질 테스팅 프레임워크를 통합한다.