[논문 리뷰] Binary Matroids and Quantum Probability Distributions

Dan Shepherd|arXiv (Cornell University)|2010. 05. 11.

Quantum Computing Algorithms and Architecture인용 수 10

한 줄 요약

이 논문은 이종하는 양자 회로(IQP/X-프로그램)에 의해 생성되는 확률 분포를 이진 매트로이드와 선형 부호를 사용하여 특성화하며, 기저 매트로이드 구조가 단순할 경우(특히 측정된 큐비트 수가 시스템 크기의 로그 비례일 경우) 그 상관 계수와 근사 분포가 효율적으로 고전적으로 시뮬레이션될 수 있음을 보여준다. 핵심 기여는 양자 회로 시뮬레이션과 이진 매트로이드의 조합적 불변량 사이의 연결고리로, 특정 구조 조건 하에서 효율적인 고전적 샘플링을 가능하게 한다.

ABSTRACT

We characterise the probability distributions that arise from quantum circuits all of whose gates commute, and show when these distributions can be classically simulated efficiently. We consider also marginal distributions and the computation of correlation coefficients, and draw connections between the simulation of stabiliser circuits and the combinatorics of representable matroids, as developed in the 1990s.

연구 동기 및 목표

• 모든 게이트가 상호 작용하는 양자 회로, 특히 IQP 회로에서 유래하는 확률 분포를 특성화하는 것.
• 이러한 분포가 고전 컴퓨터에서 효율적으로 시뮬레이션될 수 있는 조건을 규명하는 것.
• 스테이블라이저 회로의 시뮬레이션과 표현 가능한 이진 매트로이드의 조합 수학 간의 공식적 연결 고리를 설정하는 것.
• 매트로이드 이론적 도구를 사용하여 이러한 양자 회로에서의 근사 분포와 상관 계수를 분석하는 것.
• 양자 우월성이 고전적 효율적 시뮬레이션으로 인해 상실되는 구조적 조건을 특정하는 것.

제안 방법

• 논문은 𝔽₂ 위의 이진 행렬을 사용하여 IQP 회로를 모델링하고, 이를 이진 선형 부호와 표현 가능한 이진 매트로이드와 연관시킨다.
• 부호와 매트로이드 사이의 동형성을 이용하여 양자 회로의 성질을 매트로이드의 조합적 불변량으로 변환한다.
• 상관 계수는 쌍대 공간에 대한 기대값과 부분부호 내 코드어 무게의余弦 변환을 통해 계산된다.
• 근사 분포는 프로젝터를 사용하여 전체 분포를 부분공간에 투영하고 매트로이드의 랭크 함수의 구조를 활용하여 유도된다.
• 이중 그래프에서 한 쪽에 최대 두 개의 정점이 있는 경우의 투테 다항식을 계산하는 다항시간 알고리즘을 구축하여 확률의 효율적 계산을 가능하게 한다.
• 작은 측정 집합(|m| = O(log n))에 대해, 다항 개수의 조건부 분포에 대한 균일 평균을 취함으로써 정확한 고전적 샘플링을 달성한다.

실험 결과

연구 질문

• RQ1 이종하는 양자 회로의 출력 확률 분포는 언제 효율적으로 고전적으로 시뮬레이션될 수 있는가?
• RQ2 회로의 행렬 표현에서 어떤 조합적 구조가 그 출력 분포의 시뮬레이션 가능성을 결정하는가?
• RQ3 이러한 양자 회로에서의 상관 계수는 기저 매트로이드 불변량과 어떻게 관련되는가?
• RQ4 어떤 조건에서 특정 큐비트 부분집합에 대한 근사 분포가 여전히 효율적으로 시뮬레이션 가능한가?
• RQ5 이중 매트로이드의 구조를 활용함으로써 시뮬레이션 복잡도를 줄일 수 있는가?

주요 결과

• IQP 회로의 확률 분포는 그 회로 행렬과 관련된 이진 매트로이드에 의해 완전히 결정되며, 결과는 해당 선형 부호의 코드어 무게와 관련된다.
• 상관 계수는 코드어 무게의 코시누스 함수를 포함한 기대값으로 계산되며, 매트로이드가 저랭크 구조일 경우 닫힌 형태의 표현식을 도출할 수 있다.
• 측정된 큐비트 수가 O(log n)일 경우, 다항 개수의 조건부 분포에 대한 평균을 취함으로써 근사 분포를 다항 시간 내에 정확히 고전적으로 시뮬레이션할 수 있다.
• 시뮬레이션 효율성은 한 쪽에 최대 두 개의 정점이 있는 이중 그래프의 투테 다항식 계산 능력에 의존하며, 이 경우 다항시간 알고리즘이 존재한다.
• 논문은 고전적 시뮬레이션 가능성이 스테이블라이저 회로와 이중 매트로이드의 투테 다항식을 계산하는 버티간의 알고리즘 간의 직접적인 연결고리를 확립한다.
• 결과적으로, 기저 매트로이드 구조가 충분히 단순할 경우, 회로가 비트란하지만 양자 우월성이 상실됨을 시사한다.