[논문 리뷰] The Structure of Circle Graph States

Frederik Hahn, Rose McCarty외 2명|arXiv (Cornell University)|2026. 03. 09.

Quantum Computing Algorithms and Architecture인용 수 0

한 줄 요약

이 논문은 원형 그래프 상태를 분석하여 LU 동등성이 LC 동등성으로 축소되며 (LU=LC) 원형 그래프가 r-로컬 보완에 닫혀 있음을 보이고, 또한 이분 원형 그래프 상태가 평면 코드 상태와 연결되며 circle graph 상태에 대한 MBQC가 고전적으로 시뮬레이션 가능하고, LU-동등 그래프 상태를 개수화하는 데에 #P-난이도 결과가 있음을 보여준다.

ABSTRACT

Circle graph states are a structurally important family of graph states. The family's entanglement is a priori high enough to allow for universal measurement-based quantum computation (MBQC); however, MBQC on circle graph states is actually efficiently classically simulable. In this work, we paint a detailed picture of the local equivalence of circle graph states. First, we consider the class of all graph states that are local unitary (LU)-equivalent to circle graph states. In graph-theoretical terms, this LU-equivalence class is the set of all graphs reachable from the family of circle graphs by applying $r$-local complementations. We prove that the only graph states that are LU-equivalent to circle graph states are circle graph states themselves: circle graphs are closed under $r$-local complementation. Second, we show that bipartite circle graph states, i.e., 2-colorable circle graph states, are in one-to-one correspondence with planar code states, on which MBQC is known to be efficiently classically simulable. Leveraging this correspondence, we present alternative, simple proofs that (1) if a planar code state is LU-equivalent to a stabilizer state, they are in fact local Clifford (LC)-equivalent to it and that (2) MBQC on all circle graph states is efficiently classically simulable. Third and finally, we demonstrate that the problem of counting the number of graph states LU-equivalent to a given graph state is $\#\mathsf{P}$-hard.

연구 동기 및 목표

• 원형 그래프 상태를 측정 기반 양자 계산(MBQC)의 자원 클래스으로 연구하는 동기를 제시한다.
• 원형 그래프 상태가 가역적 로컬 작용하에서 어떻게 변환되는지 특징짓고 원형 그래프에 대해 LU=LC를 확립한다.
• 이분 원형 그래프 상태와 평면 코드 상태 간의 관계를 탐구하고 시뮬레이션 가능성에 대한 함의를 도출한다.
• 주어진 그래프 상태와 LU-동등한 그래프 상태의 개수화를 계산하는 것이 가진 계산적 난이도를 보여준다.
• 그래프 상태 이론의 broader한 시사점과 향후 방향에 대해 논의한다.

제안 방법

• r-로컬 보완을 통해 LU-동등성을 특징짓고 원형 그래프가 r-로컬 보완에 닫혀 있음을 증명한다(원형 그래프 상태에 대한 LU=LC).
• 이분 원형 그래프 상태와 평면 코드 상태(CSS on planar graphs) 간의 일대일 대응을 확립한다.
• 평면 코드 상태가 LU-동등하고 따라서 LC-동등하다는 결과와 관련 안정자 상태 결과를 도출하는 밀접한 시사점을 얻는다.
• 원형 그래프는 어떤 이분 원형 그래프의 꼭짓점 소거로부터 다항 오버헤드로 얻어지며 원형 그래프와 이분 원형 그래프를 연결한다.
• 독립집합, 트리, 기본 사이클과 같은 그래프 이론적 구성으로 기술 보조 정리와 주요 정리를 증명한다.
• 주어진 그래프 상태와 LU-동등한 그래프 상태를 세는 것이 #P-난해하다는 것을 보인다(원형 그래프에 대해서도).

Figure 1: Circle graphs $L_{5}$ and $L_{5}\star c$ and their chord representations.

실험 결과

연구 질문

• RQ1 원형 그래프 상태에 대해 LU-동등성이 LC 동등성으로 축소되는가(LU=LC) ?
• RQ2 이분 원형 그래프 상태는 평면 코드 상태와 일대일 대응하는가?
• RQ3 평면 코드 상태가 안정자 상태와 LU-동등하다면 이는 LC 동등성으로도 확장되는가, 그리고 이것이 원형 그래프에 확장되는가?
• RQ4 모든 원형 그래프가 다항 오버헤드로 이분 원형 그래프에서 얻어질 수 있는가, 그리고 이것이 MBQC 시뮬레이션 가능성에 어떤 함의를 주는가?
• RQ5 주어진 그래프 상태에 대해 LU-동등한 그래프 상태의 개수를 원형 그래프 내에서 구하는 복잡도는 어떤가(#P-난해성)는?

주요 결과

• 원형 그래프 상태에 대한 LU-동등성은 로컬 클리포드 동등성으로 축소되며; 원형 그래프는 r-로컬 보완에 닫혀 있다.
• 이분 원형 그래프 상태는 평면 코드 상태(CSS on planar graphs)와 일대일 대응 관계를 가진다.
• 평면 코드 상태는 LU-동등하고 따라서 LC-동등하며, 이는 평면 코드 상태에 대해 LU=LC를 시사한다.
• 모든 원형 그래프는 어떤 이분 원형 그래프의 꼭짓점 소거의 벡터로 다항 임의의 오버헤드로 얻을 수 있어 원형 그래프와 이분 원형 그래프를 연결한다.
• circle graph 상태에 대한 MBQC는 고전적으로 효율적으로 시뮬레이션 가능하며, 원형 그래프는 다항식 랭크-폭을 가지므로 보편성에 대한 함의가 있다.
• 주어진 그래프 상태에 대해 LU-동등한 그래프 상태의 수를 세는 것은 #P-난해하며, 원형 그래프 상태에 대해서도 마찬가지이다.

Figure 2: Circle graphs and bipartite circle graphs can both be characterized by excluded minors: A simple graph is a circle graph if and only if it does not have a vertex-minor isomorphic to any of the three graphs depicted in the violet box [ 6 ] . A simple graph is a bipartite circle graph if and