[논문 리뷰] Effects of quantum resources on the statistical complexity of quantum circuits

Kaifeng Bu, Dax Enshan Koh외 3명|arXiv (Cornell University)|2021. 02. 05.

Quantum Computing Algorithms and Architecture참고 문헌 61인용 수 11

한 줄 요약

이 논문은 라데마처 및 가우시안 복잡도 측정법을 사용하여 양자 회로의 통계적 복잡도에 영향을 주는 양자 자원—특히 T 및 CCZ 게이트—의 영향을 조사한다. 양자 채널을 추가했을 때 복잡도의 증가가 채널의 자유 강건성(free robustness)에 의해 상한으로 제한됨을 입증하며, 이는 양자 기계학습 모델의 일반화 오차에 대한 날카운 복잡도 경계를 제공한다.

ABSTRACT

We investigate how the addition of quantum resources changes the statistical complexity of quantum circuits by utilizing the framework of quantum resource theories. Measures of statistical complexity that we consider include the Rademacher complexity and the Gaussian complexity, which are well-known measures in computational learning theory that quantify the richness of classes of real-valued functions. We derive bounds for the statistical complexities of quantum circuits that have limited access to certain resources and apply our results to two special cases: (1) stabilizer circuits that are supplemented with a limited number of T gates and (2) instantaneous quantum polynomial-time Clifford circuits that are supplemented with a limited number of CCZ gates. We show that the increase in the statistical complexity of a quantum circuit when an additional quantum channel is added to it is upper bounded by the free robustness of the added channel. Finally, we derive bounds for the generalization error associated with learning from training data arising from quantum circuits.

연구 동기 및 목표

• 양자 자원의 추가가 양자 회로의 통계적 복잡도에 미치는 영향를 이해하는 것.
• T 및 CCZ 게이트와 같은 비안정자원의 자원이 양자 기계학습에서 학습 모델의 능력에 미치는 영향를 정량화하는 것.
• 통계적 복잡도 측정법을 사용하여 양자 회로 기반 학습 모델의 일반화 오차 경계를 유도하는 것.
• 자유 강건성(free robustness)을 통해 양자 자원 이론과 계산 학습 이론 사이의 연결 고리를 설정하는 것.

제안 방법

• 양자 회로 집합에서의 통계적 복잡도 측정으로서 라데마처 및 가우시안 복잡도를 사용한다.
• 양자 자원 이론을 적용하여, 채널의 자유 강건성을 핵심 매개변수로 사용해 양자 채널을 추가했을 때 복잡도 증가를 경계한다.
• 한정된 T 게이트를 가진 안정자 회로 및 한정된 CCZ 게이트를 가진 즉각적 양자 다항식(IQP) 회로에 대한 경계를 도출한다.
• 마사르트의 보조정리(Massart’s Lemma)와 복잡도 측정법의 볼록성 성질을 활용하여 표본 의존 및 분포 의존 경계를 유도한다.
• 절대값을 포함한 복잡도 정의의 대안을 고려하여, 다양한 정의 방식에 대해 결과의 강건성을 보여준다.
• 자유 강건도 측정법 γ(Ψ)를 사용하여 자원 비용을 정량화하고, 복잡도 증가에 대한 곱셈 경계를 도출한다.

실험 결과

연구 질문

• RQ1 단일 T 게이트의 추가가 안정자 회로의 통계적 복잡도에 어떤 영향을 미치는가?
• RQ2 CCZ 게이트는 즉각적 양자 다항식(IQP) 회로의 복잡도를 어느 정도 증가시키는가?
• RQ3 양자 채널의 자유 강건성은 통계적 복잡도 증가에 대해 날카운 상한으로 작용할 수 있는가?
• RQ4 양자 회로에서 비안정자원 게이트의 수에 따라 라데마처 및 가우시안 복잡도는 어떻게 변화하는가?
• RQ5 자원이 풍부한 회로를 사용할 경우 양자 기계학습에서 일반화 오차에 어떤 영향을 미치는가?

주요 결과

• 양자 채널 Ψ를 추가했을 때, 양자 회로의 통계적 복잡도는 최대 (1 + γ(Ψ))의 요소로 증가하며, 여기서 γ(Ψ)는 Ψ의 자유 강건성이다.
• 최대 k개의 T 게이트를 가진 안정자 회로의 경우, 라데마처 복잡도는 유계 출력 노름 조건 하에 O((k log n)^{1/2}) / √m 으로 경계된다.
• 최대 k개의 CCZ 게이트를 가진 IQP 회로의 경우, 회로 집합의 크기는 2^{O(n²)} n^{3k} 이하이며, 이에 따라 복잡도 경계는 O((n² + k log n)^{1/2}) / √m 의 비율로 스케일링된다.
• 유사한 경계가 가우시안 복잡도의 경우에도 성립하며, 자유 강건성과 회로 자원 수에 동일한 의존성을 보인다.
• 복잡도 정의에 절대값을 포함할 경우, 경계는 min{(1 + 2γ(Ψ))^k, 1 + 2γ_max,n} 의 요소로 스케일링되며, 여기서 γ_max,n은 n-qubit 채널들 중 최대 자유 강건성이다.
• 양자 회로 모델의 일반화 오차 경계가 유도되었으며, 이는 추가된 자원 채널의 자유 강건성과 스케일링됨을 보여준다.