zxcalc/pyzx

해결하는 문제

PyZX는 대규모 양자 회로를 단순화하고 최적화합니다. 양자 프로그램의 복잡성을 줄이는 과제를 해결하기 위해 회로를 다이어그램 표현( ZX-계산)으로 변환하여 자동으로 재작성하고 단순화한 후 다시 회로로 변환합니다.

작동 방식

이 도구는 ZX-계산을 사용합니다. ZX-계산은 양자 연산을 '스파이더'(Z-스파이더와 X-스파이더)의 텐서 네트워크로 표현하는 그래픽 언어입니다. PyZX는 QASM, Quipper, Quantomatic 등의 형식에서 양자 회로를 이러한 그래프로 변환하고, 특히 클리포드 부분에 특화된 일련의 재작성 규칙을 적용하여 그래프를 가상 정규형으로 줄인 후, 결과에서 새로운 단순화된 회로를 추출합니다.

대상 사용자

양자 회로의 성능 향상이나 시각화를 위해 최적화가 필요한 양자 컴퓨팅 연구자 및 개발자에게 적합합니다.

주요 기능

• 다양한 형식 지원: QASM, QC, QUIPPER 형식의 회로를 읽고 출력할 수 있습니다.
• 자동 재작성: 클리포드 다이어그램에 대한 완전한 재작성 규칙 세트를 사용하여 회로를 단순화합니다.
• 시각화: Matplotlib, Quantomatic, 또는 LaTeX용 TikZ를 통해 그래프를 렌더링할 수 있습니다.
• 통합성: Python 모듈, 명령줄 도구, 또는 Jupyter 노트북에서 사용 가능합니다.