이 논문은 양자 회로 컴파일링에 필수적인 계산적으로 어려운 추론 작업들이 #P와 그 결정 버전인 PP 내에 있다는 점을 보여준다. 특히 일반 양자 회로의 고전적 시뮬레이션이 대표적인 예이다.
저자들은 안정기 형식과 안정기 상태가 밀도 연산자의 기저를 형성한다는 사실을 활용하여, 가중치 모델 카운팅을 통해 범용 양자 회로의 강력한 시뮬레이션을 효율적으로 수행할 수 있는 선형 인코딩 방법을 제시한다.
이를 통해 기존의 ZX 계산법과 결정 다이어그램 기반 시뮬레이션 기법보다 우수한 성능을 보여준다. 이 연구는 기존의 강력한 고전 추론 도구들을 활용하여 양자 회로 컴파일링을 실현할 수 있는 길을 열어준다. 이는 양자 우월성 달성을 위한 장애물 중 하나를 극복하는 데 기여할 것이다.
To Another Language
from source content
arxiv.org
Key Insights Distilled From
by Jingyi Mei,M... at arxiv.org 03-13-2024
https://arxiv.org/pdf/2403.07197.pdfDeeper Inquiries