[논문 리뷰] Differentiating and Integrating ZX Diagrams with Applications to Quantum Machine Learning

Quanlong Wang, Richie Yeung외 1명|arXiv (Cornell University)|2022. 01. 31.

Quantum Computing Algorithms and Architecture인용 수 10

한 줄 요약

이 논문은 대수적 ZX-계산법 내에서 ZX 다이어그램의 미분과 적분을 체계화함으로써 ZX-계산법에 대한 새로운 분석 프레임워크를 제안한다. 이는 기울기와 분산의 다이어그램 기반 계산을 가능하게 하며, 하드웨어 효율적인 앤사트가 기울기 분산이 O(1/2^n)로 스케일링됨으로써 빈 테이블랜드에 빠지게 되는 것을 증명하는 데 응용된다. 이는 텐서 네트워크나 지수 합을 활용하지 않고도 완전히 다이어그램 기반의 효율적인 분석을 가능하게 한다.

ABSTRACT

ZX-calculus has proved to be a useful tool for quantum technology with a wide range of successful applications. Most of these applications are of an algebraic nature. However, other tasks that involve differentiation and integration remain unreachable with current ZX techniques. Here we elevate ZX to an analytical perspective by realising differentiation and integration entirely within the framework of ZX-calculus. We explicitly illustrate the new analytic framework of ZX-calculus by applying it in context of quantum machine learning for the analysis of barren plateaus.

연구 동기 및 목표

• 대수적 리라이팅을 초월해 미분과 적분과 같은 분석 도구를 도입함으로써 ZX-계산법을 확장하기.
• 특히 빈 테이블랜드 분석에서의 한계를 해결하기 위해 이전의 ZX 기반 접근법의 한계를 해결하기.
• 텐서 네트워크나 지수 합에 의존하지 않고 기울기 기대값과 분산을 계산하는 통합된 다이어그램 기반 프레임워크를 개발하기.
• 순수한 그래픽적 추론을 사용하여 양자 회로 최적화 문제의 효율적이고 확장 가능한 분석을 가능하게 하기.

제안 방법

• 다이어그램의 합을 단일 실체로 다룰 수 있도록 대수적 ZX-계산법을 도입하여 분석적 연산을 가능하게 하기.
• Z, X, W 스파이더를 사용하여 임의의 ZX 다이어그램을 다이어그램 기반의 통합 연쇄법칙과 곱셈 법칙으로 정의하기.
• 최대 세 개의 매개변수 발생을 갖는 회로 유사 다이어그램에 대해 정적 적분 규칙을 개발하기.
• 도함수의 구조를 유지하면서 도함수 과정에서 다이어그램의 위상 구조를 보존하기 위해 W 스파이더를 사용하기.
• 기울기 분산에 대한 폐쇄형 다이어그램 표현식을 유도하기 위해 프레임워크를 적용하기.
• 결과로 얻어진 다이어그램의 효율적 수치 평가를 위해 안정자 분해를 활용하기.

실험 결과

연구 질문

• RQ1 선형 대수학이나 텐서 네트워크에 의존하지 않고, ZX-계산법과 같은 그래픽적 계산법 내에서 완전히 미분과 적분을 체계화할 수 있는가?
• RQ2 빈 테이블랜드 분석을 위해 양자 회로 기대값의 기울기 분산을 어떻게 다이어그램적으로 계산할 수 있는가?
• RQ3 제안된 프레임워크는 다이어그램 복잡도의 지수적 증가 없이 대규모 앤사트를 효율적으로 처리할 수 있는가?
• RQ4 W 스파이더는 도함수의 구조를 어떻게 인코딩하고 다이어그램 곱셈 법칙을 가능하게 하는가?
• RQ5 이 프레임워크를 사용하여 새로운 매개변수 이동 규칙을 도출하거나 수치적 기울기 계산을 향상시킬 수 있는가?

주요 결과

• 논문은 임의의 대수적 ZX 다이어그램에 대해 완전한 다이어그램 기반 연쇄법칙과 곱셈 법칙을 확립하여, ZX 프레임워크 내에서 분석적 추론을 가능하게 한다.
• 최대 세 개의 매개변수 발생을 갖는 회로 유사 다이어그램에 대해 정적 적분 규칙을 제공함으로써, ZX-계산법을 분석 작업으로 확장한다.
• 양자 회로 기대값의 기울기 분산에 대한 폐쇄형 다이어그램 표현식을 도출하여 빈 테이블랜드의 직접적 분석을 가능하게 한다.
• 이 프레임워크를 통해 n-qubit 하드웨어 효율적 앤사트가 빈 테이블랜드에 빠지며 기울기 분산이 O(1/2^n)로 스케일링됨을 순수한 다이어그램 기반 증명으로 제시한다.
• 지수 합과 텐서 네트워크를 피함으로써 3차원 텐서 네트워크 대신 2차원 텐서 네트워크를 사용함으로써 수치적 우수성을 달성한다.
• 이 방법은 새로운 매개변수 이동 규칙을 도출하는 데 성공적으로 적용되었으며, 안정자 분해를 통한 효율적 수치적 빈 테이블랜드 탐지도 가능하게 한다.