[논문 리뷰] Vertex-Minor Universal Graphs for Generating Entangled Quantum Subsystems

Maxime Cautrès, Nathan Claudet외 4명|arXiv (Cornell University)|2024. 01. 01.

Quantum Computing Algorithms and Architecture인용 수 1

한 줄 요약

이 논문은 그래프 이론에서 정점 부분그래프 관계를 이용하여, 임의의 k 큒비트에서 어떤 안정자 상태든 LOCC 프로토콜을 통해 생성할 수 있는 k-안정자 보편 그래프 상태—즉, k-큐비트에서의 모든 안정자 상태를 생성할 수 있는 양자 상태—를 소개한다. 이는 Θ(k²) 큐비트로 존재함을 증명하고, 유한 체 Fq 위의 사영 평면의 인cidenc 그래프를 이용하여 명시적인 가족을 구성함으로써 실현된다. 이로써 O(k⁴) 큐비트로 k-페어러블성을 달성하였으며, 이는 이전의 지수적 구성 방식에 비해 근본적인 개선이다.

ABSTRACT

We study the notion of k-stabilizer universal quantum state, that is, an n-qubit quantum state, such that it is possible to induce any stabilizer state on any k qubits, by using only local operations and classical communications. These states generalize the notion of k-pairable states introduced by Bravyi et al., and can be studied from a combinatorial perspective using graph states and k-vertex-minor universal graphs. First, we demonstrate the existence of k-stabilizer universal graph states that are optimal in size with n = Θ(k²) qubits. We also provide parameters for which a random graph state on Θ(k²) qubits is k-stabilizer universal with high probability. Our second contribution consists of two explicit constructions of k-stabilizer universal graph states on n = O(k⁴) qubits. Both rely upon the incidence graph of the projective plane over a finite field 𝔽_q. This provides a major improvement over the previously known explicit construction of k-pairable graph states with n = O(2^{3k}), bringing forth a new and potentially powerful family of multipartite quantum resources.

연구 동기 및 목표

• LOCC를 통해 임의의 k 큐비트에서의 안정자 상태를 생성할 수 있도록 k-페어러블성을 k-안정자 보편성으로 일반화하기.
• 그래프 상태에서 정점 부분그래프 관계를 이용한 조합론적 특성화를 통한 k-안정자 보편성의 기초 마련.
• k-큐비트 정점 부분그래프 보편성을 가지며, 큐비트 수가 k에 대해 다항식 스케일링을 보이는 명시적 결정론적 가족의 구성.
• 이전의 지수 크기의 k-페어러블 상태 구성(n = O(2³ᵏ))를 초월하여 다항식 스케일링을 달성함으로써 기존의 구성 방식을 개선하기.

제안 방법

• 양자 LOCC 프로토콜을 그래프 연산, 특히 정점 삭제 및 국소 보완에 대응시키기 위해 그래프 상태 형식을 사용한다.
• k-정점 부분그래프 보편성 정의: 그래프 G가 k-정점 부분그래프 보편성이 있음은 G의 정점 부분그래프로 모든 k-정점 그래프가 존재함을 의미한다.
• 유한 체 Fq 위의 사영 평면의 인cidenc 그래프를 이용하여 두 가지 명시적 k-정점 부분그래프 보편 그래프 가족을 구성한다.
• 사영 평면의 성질을 활용하여, 국소 보완 및 정점 삭제의 제어된 순서를 통해 모든 k-정점 그래프를 정점 부분그래프로 얻을 수 있음을 보장한다.
• 정점 부분그래프 연산과 파울리 측정 및 클리포드 게이트를 사용하는 LOCC 프로토콜 간의 등가성을 이용하여, 결과 그래프 상태가 k-안정자 보편임을 증명한다.
• 점점 증가하는 스케일링을 분석하여, 이중 및 축소된 그래프 구성 모두 O(k⁴) 큐비트 상태를 얻음을 보이며, 이중 버전이 略적으로 더 효율적임을 밝힌다.

실험 결과

연구 질문

• RQ1 k-안정자 보편 그래프 상태는 큐비트 수가 k에 대해 다항식일 수 있는가, 지수적일 것인가?
• RQ2 이론적 하한선인 O(k²) 큐비트와 일치하는, 결정론적이고 명시적인 k-정점 부분그래프 보편 그래프의 구성이 가능한가?
• RQ3 유한 사영 평면의 인cidenc 그래프는 LOCC를 통해 k 큐비트에서의 어떤 안정자 상태든 체계적으로 생성할 수 있는가?
• RQ4 각 당사자가 단 한 개의 큐비트만 가질 때, k-페어러블성이 다항식 수준의 큐비트로 달성될 수 있는가? 이는 Bravyi 등이 제기한 열린 문제를 해결하는가?
• RQ5 k-안정자 보편성은 k-페어러블성보다 엄밀히 강력한가? 그리고 k-페어러블 상태 중에서 2k-안정자 보편성이 아닌 것은 존재하는가?

주요 결과

• 논문은 n = Θ(k²) 큐비트로 존재하는 k-정점 부분그래프 보편 그래프의 존재를 증명하며, 이는 이론적 최소 크기임을 보였다.
• 랜덤 그래프 상태가 Θ(k²) 큐비트에서 k-안정자 보편성을 높은 확률로 가짐을 보여주는 확률적 구성이 제시되었다.
• 두 가지 명시적 구성이 제공되었으며, 하나는 사영 평면의 인cidenc 그래프(이중 버전)를, 다른 하나는 축소된 그래프를 사용한다. 이들 모두 n = O(k⁴)의 순서를 가진 k-정점 부분그래프 보편 그래프를 생성한다.
• 이중 구성은 n₂ = 2(q₂² + q₂ + 1) ∼ 49/8 k⁴를 달성하고, 축소된 그래프 구성은 n₁ = q₁² + q₁ + 1 ∼ 25/4 k⁴를 달성하며, 후자는 渐近적으로 더 효율적이다.
• 이중 구성에 해당하는 그래프 상태 |Gq₂⟩는 CSS 상태와 동치이며, 고장 내성 양자 정보 처리에서 잠재적인 이점을 제공할 수 있다.
• 모든 원하는 k-큐비트 안정자 상태를 생성하기 위한 LOCC 프로토콜은 정점 부분그래프 구성 단계에서 명시적으로 유도되었으며, 이는 완전한 운영 프레임워크를 제공한다.