[논문 리뷰] Graphical calculus for Gaussian pure states with applications to continuous-variable cluster states

Nicolas C. Menicucci, Steven T. Flammia외 1명|arXiv (Cornell University)|2010. 07. 05.

Quantum Computing Algorithms and Architecture인용 수 9

한 줄 요약

이 논문은 모든 가우시안 순수 상태를 위한 통합된 그래픽스 계산법을 제안하며, 국소적 및 반국소적 가우시안 연산과 측정에 대한 보편적인 그래프 변환 규칙을 통해 연속형 변수(CV) 클러스터 상태의 체계적 분석을 가능하게 한다. 이 형식은 유한한 압축을 고려하여 이전의 접근법을 일반화하며, 서로 다른 정의를 통합하여 양자 얽힘을 측정하고, 클러스터 상태를 근사하는 데 새로운 도구를 제공하며, 보손 해밀토니안과의 연결을 가능하게 한다.

ABSTRACT

We provide a unified graphical calculus for all Gaussian pure states, including graph transformation rules for all local and semi-local Gaussian unitary operations, as well as local quadrature measurements. We then use this graphical calculus to analyze continuous-variable (CV) cluster states, the essential resource for one-way quantum computing with systems. Current graphical approaches to cluster states are only valid in the unphysical limit of infinite squeezing, and the associated graph transformation rules only apply when the initial and final states are of this form. Our formalism applies to all Gaussian pure states and subsumes these rules in a natural way. In addition, the term CV graph currently has several inequivalent definitions in use. Using this formalism we provide a single unifying definition that encompasses all of them. We provide many examples of how the formalism may be used in the context of cluster states: defining the closest cluster state to a given Gaussian pure state and quantifying the error in the approximation due to finite squeezing; analyzing the optimality of certain methods of generating cluster states; drawing connections between this new graphical formalism and bosonic Hamiltonians with Gaussian ground states, including those useful for one-way quantum computing; and deriving a graphical measure of bipartite entanglement for certain classes of cluster states. We mention other possible applications of this formalism and conclude with a brief note on fault tolerance in one-way quantum computing.

연구 동기 및 목표

• 무한한 압축 근사에 국한되지 않는 모든 가우시안 순수 상태에 적용 가능한 종합적인 그래픽스 계산법을 개발하는 것.
• 연속형 변수 양자 계산에서 사용되는 서로 다른 정의의 CV 그래프를 통합하고 일반화하는 것.
• 유한한 압축 조건 하에서 CV 클러스터 상태의 근사화 분석과 그로 인한 오차 정량화를 가능하게 하는 것.
• 그래픽스 형식과 한 방향 양자 계산에 관련된 고유 상태를 갖는 가우시안 해밀토니안 간의 연결 고리를 설정하는 것.
• 특정 클래스의 클러스터 상태에 대해 이분자 얽힘의 그래픽스 측정법을 유도하는 것.

제안 방법

• 모드를 정점으로, 압축을 통해 발생하는 얽힘을 간선으로 하는 가중치가 부여된 그래프를 사용하여 가우시안 순수 상태의 그래픽스 표현을 도입한다.
• 이동, 위상 이동, 분할기 등을 포함한 모든 국소적 및 반국소적 가우시안 유니터리 연산에 대한 그래프 변환 규칙을 정의한다.
• 국소적 위상 측정에 대한 규칙을 설정하여 측정 기반 연산에 따른 상태의 진화를 추적할 수 있도록 한다.
• 유한한 압축 조건 하에서 주어진 가우시안 순수 상태에 가장 가까운 클러스터 상태 근사치를 분석하기 위해 형식을 활용한다.
• 그래프 표현의 구조에 기반한 이분자 얽힘의 그래픽스 측정법을 유도한다.
• 보손 해밀토니안과의 연결 고리를 설정하여, 그래프 구조가 물리적 시스템 특성을 어떻게 반영하는지 보여준다.

실험 결과

연구 질문

• RQ1 유한한 압축 조건을 포함한 모든 가우시안 순수 상태에 대해 통합된 그래픽스 계산법을 어떻게 구성할 수 있는가?
• RQ2 기존의 CV 그래프 형식은 어떻게 다를 수 있으며, 이를 하나의 일관된 정의로 통합할 수 있는가?
• RQ3 유한한 압축 조건 하에서 주어진 가우시안 상태를 클러스터 상태로 근사하는 최적의 방법은 무엇이며, 오차는 어떻게 정량화할 수 있는가?
• RQ4 그래픽스 형식은 가우시안 고유 상태를 갖는 보손 시스템의 물리적 특성과 어떻게 연결되는가?
• RQ5 특정 클래스의 CV 클러스터 상태에 대해 그래픽스 기반의 이분자 얽힘 측정법을 도출할 수 있는가?

주요 결과

• 그래픽스 계산법은 유한한 압축 조건을 포함한 모든 가우시안 순수 상태에 대한 정확한 분석을 가능하게 하여, 이전 방법이 무한한 압축 근사에 국한되었던 한계를 극복한다.
• 이 형식은 서로 다른 정의의 CV 그래프를 하나의 일관된 프레임워크로 통합한다.
• 유한한 압축 조건으로 인해 가우시안 순수 상태를 클러스터 상태로 근사화할 때 발생하는 오차는 그래픽스 표현을 통해 정량화할 수 있다.
• 가우시안 연산에 따른 그래프 변환을 분석함으로써 클러스터 상태의 최적 상태 준비 프로토콜을 식별할 수 있다.
• 특정 클래스의 클러스터 상태에 대해 그래프 구조에 기반한 이분자 얽힘의 그래픽스 측정법이 도출된다.
• 그래픽스 형식과 가우시안 해밀토니안 간의 연결 고리가 확립되어, 물리적 시스템의 매개변수가 그래프 성질로 어떻게 매핑되는지 드러난다.