[논문 리뷰] Complexity of quantum circuits via sensitivity, magic, and coherence

Kaifeng Bu, Roy J. Garcia외 3명|arXiv (Cornell University)|2022. 04. 26.

Quantum Computing Algorithms and Architecture참고 문헌 87인용 수 7

한 줄 요약

이 논문은 양자 회로 복잡도와 민감도, 마법, 혼돈이라는 세 가지 핵심 양자 자원 간의 기초적 연관성을 설정하기 위해 양자 버전의 푸리에 엔트로피-영향(FeI) 추측을 도입한다. 영향력이 0인 유니터리 연산자는 정확히 매치게이트임을 증명함으로써, 민감도가 양자 우월성에 필수적임을 시사하고, 마법과 혼돈을 통해 회로 복잡도에 대한 경계를 도출하여, 양자 가속과 시뮬레이션 한계를 이해하는 데 새로운 도구를 제공한다.

ABSTRACT

Quantum circuit complexity-a measure of the minimum number of gates needed to implement a given unitary transformation-is a fundamental concept in quantum computation, with widespread applications ranging from determining the running time of quantum algorithms to understanding the physics of black holes. In this work, we study the complexity of quantum circuits using the notions of sensitivity, average sensitivity (also called influence), magic, and coherence. We characterize the set of unitaries with vanishing sensitivity and show that it coincides with the family of matchgates. Since matchgates are tractable quantum circuits, we have proved that sensitivity is necessary for a quantum speedup. As magic is another measure to quantify quantum advantage, it is interesting to understand the relation between magic and sensitivity. We do this by introducing a quantum version of the Fourier entropy-influence relation. Our results are pivotal for understanding the role of sensitivity, magic, and coherence in quantum computation.

연구 동기 및 목표

• 민감도, 마법, 혼돈이 양자 회로 복잡도에서 차지하는 역할를 이해하기 위해.
• 양자 부울 함수를 위한 고전적 푸리에 엔트로피-영향(FeI) 추측의 양자 유사체를 수립하기 위해.
• 민감도가 0인 유니터리 연산자를 특성화하고, 이를 고전적으로 시뮬레이션 가능한 매치게이트의 클래스와 연결하기 위해.
• 마법, 비안정자원을 측정하는 척도를 회로 복잡도와 민감도와 연결하기 위해.
• 혼돈과 민감도를 사용하여 양자 회로 복잡도에 대한 새로운 하한을 제공하기 위해.

제안 방법

• Carlen과 Lieb의 노이즈 연산자를 사용하여 부울 함수에서의 민감도 개념을 유니터리 연산으로 일반화한다.
• 푸리에 엔트로피-영향(FeI) 관계의 양자 버전을 도입하여, 위그너 함수의 엔트로피와 양자 관측량의 영향을 연결한다.
• 이산 위그너 함수와 심플렉틱 푸리에 변환을 사용하여 양자 상태와 연산자를 표현함으로써, 민감도와 마법의 분석을 가능하게 한다.
• 회로 비용을 곡률이 있는 기하학에서의 지오데식 거리로 적용하여 회로 복잡도의 경계를 설정한다.
• 평균 스캐러빙과 평균 민감도 사이의 관계를 유도하여, 동적 복잡도와 구조적 민감도를 연결한다.
• 고트스만-크닐 정리와 안정자 형식론을 활용하여, 민감도가 0인 오직 매치게이트만이 유니터리 연산임을 특성화한다.

실험 결과

연구 질문

• RQ1 양자 회로 복잡도와 유니터리 연산의 민감도 사이의 관계는 무엇인가?
• RQ2 양자 푸리에 엔트로피-영향(FeI) 추측은 마법과 회로 복잡도를 어떻게 연결하는가?
• RQ3 민감도가 0인 유니터리 연산은 무엇이며, 그들의 계산적 의의는 무엇인가?
• RQ4 민감도는 양자 계산 가속을 위한 필수 조건이 될 수 있는가?
• RQ5 혼돈과 마법은 어떻게 상호작용하여 양자 회로의 복잡도를 결정하는가?

주요 결과

• 민감도가 0인 회로, 즉 안정 유니터리 연산자는 정확히 고전적으로 시뮬레이션 가능한 매치게이트의 클래스이다.
• 민감도는 양자 계산 우월성에 필수적인 조건이며, 민감도가 0인 오직 매치게이트만이 존재하기 때문이다.
• 논문은 위그너 함수의 푸리에 엔트로피와 관측량의 영향을 연결하는 양자 FeI 추측의 버전을 수립하였다.
• 양자 상태의 마법을 통해 회로 복잡도의 경계를 도출하였으며, 높은 마법이 높은 복잡도와 관련 있음을 보였다.
• 양자 회로의 평균 민감도는 평균 스캐러빙과 관련이 있으며, 이는 민감도의 동적 해석을 제공한다.
• 이산 위그너 함수와 심플렉틱 푸리에 변환은 위상공간 분포를 통해 양자 회로 복잡도를 표현하는 프레임워크를 제공한다.