[논문 리뷰] Complexity of Graph State Preparation

Mehdi Mhalla, Simon Perdrix|ArXiv.org|2004. 12. 09.

Quantum Computing Algorithms and Architecture참고 문헌 15인용 수 11

한 줄 요약

이 논문은 측정 기반 양자 계산에서 그래프 상태를 준비하는 데 필요한 복잡도를 조사하며, 보조 큒비트 수, 기본 연산자의 크기, 논리적 깊이의 세 가지 매개변수에 중점을 둔다. 보조 큡비트 수와 연산자 크기를 최소화하는 최적 알고리즘을 제시하며, 어떤 그래프 상태라도 두 큅비트 측정과 상수 시간 내에 준비할 수 있음을 증명한다. 또한 보조 큡비트를 사용하지 않을 경우 측정 크기의 하한을 δ_loc(G)+1로 설정한다.

ABSTRACT

The graph state formalism is a useful abstraction of entanglement. It is used in some multipartite purification schemes and it adequately represents universal resources for measurement-only quantum computation. We focus in this paper on the complexity of graph state preparation. We consider the number of ancillary qubits, the size of the primitive operators, and the duration of preparation. For each lexicographic order over these parameters we give upper and lower bounds for the complexity of graph state preparation. The first part motivates our work and introduces basic notions and notations for the study of graph states. Then we study some graph properties of graph states, characterizing their minimal degree by local unitary transformations, we propose an algorithm to reduce the degree of a graph state, and show the relationship with Sutner sigma-game. These properties are used in the last part, where algorithms and lower bounds for each lexicographic order over the considered parameters are presented.

연구 동기 및 목표

• 측정 전용 양자 계산에서 그래프 상태 준비의 복잡도를 규명하는 것.
• 보조 큡비트 수, 기본 연산자 크기, 논리적 깊이의 세 가지 핵심 복잡도 매개변수 간의 상호 교환 관계를 분석하는 것.
• 이 매개변수들의 사전순서에 대해 엄밀한 상한과 하한을 설정하는 것.
• 국소 보완(지배)과 국소 보완 하에서의 최소 차수 δ_loc(G)이 준비 프로토콜 최적화에 미치는 역할을 탐색하는 것.
• 논리적 깊이와 측정 크기의 하한을 포함해 그래프 상태 준비의 완전한 복잡도 특성화를 제공하는 것.

제안 방법

• 그래프 G를 국소 보완 작용을 통해 최소 차수 δ_loc(G)를 갖는 형태로 변환함으로써 최적의 상태 준비를 가능하게 한다.
• d-국소로 균일하게 관찰된 집합의 개념을 적용하여 δ_loc(G)를 경계화함으로써 국소 유니터리 작용을 통한 최소 차수의 상한을 도출한다.
• 보조 큡비트를 사용하여 엣지를 동시에 추가하는 측정 기반 엣지 단위 준비 프로토콜을 개발함으로써 논리적 깊이를 감소시킨다.
• 두 단계 준비 알고리즘을 도입한다: 먼저 k개의 보조 큡비트를 사용해 인접하지 않은 엣지를 추가하고, 이후 남은 정점을 정점 단위로 추가한다.
• 양자 안정자 형식과 파울리 측정 기반 상태 준비를 활용하며, 서로 다른 측정 결과에 의해 안정화되는 수직 부분공간을 사용한다.
• 엣지 색칠과 매개변수 균형 조정(k)을 통한 최적화를 적용하여 논리적 깊이를 최소화하고, m개의 엣지와 n개의 정점을 가진 그래프에 대해 O(m/√n) 깊이를 달성한다.

실험 결과

연구 질문

• RQ1 모든 그래프 상태를 사영 측정만을 사용해 준비하기 위해 필요한 최소 보조 큡비트 수는 얼마인가?
• RQ2 보조 큡비트 없이 그래프 상태를 준비하기 위해 필요한 기본 연산자(측정 기저)의 최소 크기는 얼마인가?
• RQ3 그래프 상태 준비의 최적 논리적 깊이는 무엇이며, 그래프 매개변수에 따라 어떻게 변화하는가?
• RQ4 국소 보완 하에서의 최소 차수 δ_loc(G)는 그래프 상태 준비의 복잡도와 어떻게 관련되는가?
• RQ5 국소 보완 하에서 차수나 엣지 수를 최소화하는 그래프 매개변수 최소화 문제의 계산 복잡도는 어떻게 특성화될 수 있는가?

주요 결과

• 어떤 그래프 상태라도 두 큅비트 측정만을 사용하고 보조 큡비트 없이 상수 시간 내에 준비할 수 있다.
• 보조 큐비트 없이 준비할 경우 필요한 최소 측정 크기는 정확히 δ_loc(G) + 1이며, 여기서 δ_loc(G)는 국소 보완을 통해 달성 가능한 최소 차수이다.
• 보조 큐비트 없이 작동하는 준비 프로토콜이 존재하며, 이는 논리적 깊이가 O(m / √n) 이하로 제한된다. 여기서 m은 엣지 수, n은 정점 수이다.
• 측정 구성에 의해 생성된 상호 수직 안정자 상태의 수는 2^{|D|}이며, 이는 측정 기반 변환이 부분공간에서 항등원으로 작용함을 증명한다.
• d-국소로 균일하게 관찰된 집합의 존재는 δ_loc(G) ≤ d−1임을 의미하며, 이는 국소 유니터리 작용 하에서 그래프의 최소 차수를 감소시키는 데 필요한 구조적 조건을 제공한다.
• 그래프 상태 준비의 논리적 깊이 하한은 여전히 열려 있는 문제이지만, 본 논문은 보조 큐비트 수와 측정 크기의 엄밀한 하한을 확립하였다.