[논문 리뷰] Efficient Preparation of Graph States using the Quotient-Augmented Strong Split Tree

Nicholas Connolly, S. Nishio외 3명|arXiv (Cornell University)|2026. 03. 25.

Quantum Computing Algorithms and Architecture인용 수 0

한 줄 요약

논문은 LC 혹은 거리-전승 그래프의 LC 궤도를 분류하고 확장된 QASST 프레임워크를 제시하여 LC 이 equivalence를 활용한 대형 그래프 상태 준비를 가능하게 하며, DH 그래프에 대해 분할-융합(split-fuse)과 탐욕적 삼각형 기반 전략으로 CZ 게이트, 시간 스텝, 보조 큐빗의 선형 확장을 달성합니다.

ABSTRACT

Graph states are a key resource for measurement-based quantum computation and quantum networking, but state-preparation costs limit their practical use. Graph states related by local complement (LC) operations are equivalent up to single-qubit Clifford gates; one may reduce entangling resources by preparing a favorable LC-equivalent representative. However, exhaustive optimization over the LC orbit is not scalable. We address this problem using the split decomposition and its quotient-augmented strong split tree (QASST). For several families of distance-hereditary (DH) graphs, we use the QASST to characterize LC orbits and identify representatives with reduced controlled-Z count or preparation circuit depth. We also introduce a split-fuse construction for arbitrary DH graph states, achieving linear scaling with respect to entangling gates, time steps, and auxiliary qubits. Beyond the DH setting, we discuss a generalized divide-and-conquer split-fuse strategy and a simple greedy heuristic for generic graphs based on triangle enumeration. Together, these methods outperform direct implementations on sufficiently large graphs, providing a scalable alternative to brute-force optimization.

연구 동기 및 목표

• LC 동등성 및 구조적 그래프 분해를 활용한 대형 그래프 상태의 효율적 준비 동기 부여.
• QASST를 사용하여 거리-전승 그래프의 LC 궤도를 특징짓고 CZ 게이트 수를 최소화하거나 회로 깊이를 줄인 LC 대표자를 식별.
• CQASST 기반의 DH 계열(예: 전체 이분 그래프, 전체 다부분 그래프, 클리크-스타, 재전송자 그래프)에 대한 LC 궤도 대표를 도출하고 CZ 게이트, 시간 스텝, 보조 큐빗의 선형 확장을 갖는 대상 DH 그래프 상태를 구성하는 분할-융합(split-fuse) 구성 도입.
• DH 그래프를 넘어 일반 그래프에 대해 별-완전 분할 그래프를 이용한 일반화된 split-fuse 전략과 프라임 빠진 그래프를 다룰 때의 간단한 탐욕적 삼각형 기반 휴리스틱을 도입.
• 그래프-상태 준비의 확장 가능한 최적화를 가능하게 하는 실용 도구(예: 파이썬 스크립트)와 LC-전이 클래스에 대한 명시적 지시를 제공.

제안 방법

• QASST를 사용하여 그래프를 강한 분할-트리로 연결된 분 quotient 그래프로 설명합니다.
• QASST 프레임워크 내에서 로컬로 동등한 몯의 분 quotient 그래프를 분석하여 거리-전승 그래프의 LC 궤도를 분류합니다.
• DH 계열(예: 완전 이분 그래프, 완전 다부분 그래프, 클리크-스타, 재피처 그래프)에 대해 최소 간선 수나 최대 정점 차수를 갖는 LC 궤도 대표를 해석적으로 도출합니다.
• Split-fuse를 도입: Type-II 융합을 통해 quotient 그래프 상태를 구성하고 선형 시간에 분해를 계산하여 목표 DH 그래프 상태를 준비하는 프로토콜.
• 일반 그래프에 대해 별/완전 quotient 그래프를 활용한 일반화 split-fuse를 제안하고, 프라임 quotient 그래프를 다룰 때는 간단한 탐욕적 삼각형 열거 휴리스틱을 적용합니다.
• 전체 LC-궤도 탐색 없이도 간선 수를 줄이는 삼각형 기반의 탐욕적 최적화(Algorithm 1)를 제시합니다.]

Figure 2 : (a) The effect of local complement on a graph $G$ with respect to vertex $1\in V(G)$ (green vertex). The edges between the neighbors of 1 (yellow vertices) are complemented: existing edges are deleted, and missing edges are added. (b) The LC orbit of the complete graph on three vertices,

실험 결과

연구 질문

• RQ1 거리-전승 그래프의 LC 궤도를 전체 LC 열거 없이 효율적으로 특징지을 수 있는 방법은 무엇인가?
• RQ2 QASST 프레임워크가 완전 이분 그래프, 완전 다부분 그래프, 클리크-스타와 같은 DH 그래프 계열에 대해 분석적 LC 최적 대표자를 도출할 수 있는가?
• RQ3 Split-fuse 구성으로 CZ 게이트, 시간 스텝, 보조 큐빗의 선형 확장을 갖는 대형 그래프 상태를 준비하는 것이 가능한가?
• RQ4 DH 구조가 없는 일반 그래프를 다룰 때 일반화된 split-fuse와 단순 휴리스틱으로 어떻게 처리할 수 있는가?
• RQ5 LC-동등 클래스 간 그래프 상태 준비의 확장 가능한 최적화를 가능하게 하는 실용 도구(예: 알고리즘, 스크립트)는 무엇인가?

주요 결과

QASST-sym.	count	Q2 sym.	count	total	|E(G)|	Δ(G)	Trans. from K_{n,m}
star-center	1	star-center	1	1	nm	max{n,m}	id
star-center	1	complete	1	1	nm+ m(m-1)/2	n+m-1	c_{i^{n}}
complete	1	star-center	1	1	nm+ n(n-1)/2	n+m-1	c_{i^{m}}
star-spoke	n	complete	1	n	nm-1 + m(m-1)/2	n+m-1	c_{i^{n}}
complete	1	star-spoke	m	m	n+m-1 + n(n-1)/2	n+m-1	c_{i^{m}}
star-spoke	n	star-spoke	m	nm	n+m-1	max{n,m}	c_{i^{n}}∘ c_{i^{m}}⨀ c_{i^{n}}

• 완전 이분 그래프 K_{n,m}에 대해 LC 궤도 크기는 nm+n+m+3이고 궤도 전체에서 최소 간선 수는 n+m-1(바이너리-스타로 달성), 최대 차수 Δ(G)=max{n,m}이다.
• QASST 기반 분류는 완전 다부분 그래프와 클리크-스타로 확장되며, 이러한 DH 계열에 대한 명시적 LC-궤도 분석 및 최적 대표자 식별이 가능하다(부록 D에 상세).
• 분할-융합(split-fuse) 구성은 qoutient 그래프로 구성되어 DH 그래프 상태의 CZ 게이트, 시간 스텝, 보조 큐빗의 선형 확장을 달성하며, 선형 시간의 분해와 Type-II 융합을 이용한다.
• DH 그래프를 넘어 일반 그래프에 대해서도 별/완전 quotient 그래프를 활용한 일반화 split-fuse로 비-DH 그래프를 다룰 수 있으며, 간단한 탐욕적 삼각형 열거 휴리스틱으로 간선 수를 줄일 수 있다.
• 삼각형 기반의 탐욕적 알고리즘 1은 최악의 경우 비용이 O(|E(G)|^{1.5} + |V(G)|^{3})이고 사전 LC-궤도 지식이 없어도 효과적으로 간선을 줄일 수 있다.
• 이 접근은 구조적 LC-궤도 인사이트와 확장 가능한 준비 방법을 함께 제공하여 충분히 큰 그래프에 대해 무작위 탐색보다 더 나은 성능을 보인다.

Figure 3 : The split decompositions for the three special families of DH graph that we consider. $K_{n,m}$ splits into two quotient graphs, while $K_{n_{1},\cdots,n_{k}}$ and $CS^{r}_{n_{1},\cdots,n_{k}}$ always split into $k+1$ quotient graphs. We adopt the convention of labeling the central quotie