[論文レビュー] The Structure of Circle Graph States

Frederik Hahn, Rose McCarty+2 more|arXiv (Cornell University)|Mar 9, 2026

Quantum Computing Algorithms and Architecture被引用数 0

ひとこと要約

この論文はサークルグラフ状態を分析し、LU同値性がLC同値性に縮約されること（LU=LC）と、サークルグラフがr-局所補完で閉じていることを証明し、さらに二部サークルグラフと平面コード状態の関係を結びつけ、サークルグラフ状態に対するMBQCの古典的な可計算性を示し、LU同値グラフ状態の個数計測の #P-hard性を示す。

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 を確立する。
• 二部サークルグラフ状態と平面コード状態の関係を探り、可 simulability への影響を導出する。
• LU に同等なグラフ状態の個数計算が計算量的に難しいことを示す。
• グラフ状態理論全体へのより広い含意と将来の方向性について議論する。

提案手法

• r-局所補完による LU 同値性を特徴づけ、サークルグラフが r-局所補完で閉じていることを証明する（サークルグラフ状態の LU=LC）。
• 二部サークルグラフ状態と平面コード状態（ planar CSS on planar graphs ）との一対一の対応を確立する。
• 平面コード状態が LU 同値であり、従って LC 同値であることから得られる推論を示す（平面コード状態に対する LU=LC の含意）。
• 各サークルグラフが二部サークルグラフの頂点ミニマル子として、円滑に関連付けられることを、二次的オーバーヘッドを持って示す。
• 独立集合・木・基本回路といったグラフ理論的構成を用いて、技術的補題と主定理を証明する。
• 与えられたグラフ状態に対して LU 同値なグラフ状態を数えることが、サークルグラフに制限しても #P-hard であることを証明する。

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の可 simulability に何を意味するか？
• RQ5 サークルグラフに限定して、与えられたグラフ状態に LU 同値なグラフ状態の個数を数える計算の複雑さはどうなるか（#P-hard か）？

主な発見

• サークルグラフ状態の LU 同値性は局所クリフォード同値に収束する；サークルグラフは r-局所補完に対して閉じている。
• 二部サークルグラフ状態は平面コード状態（平面グラフ上の CSS）と一対一対応している。
• 平面コード状態は二部サークルグラフ状態に LU 同値であり、したがって LC 同値でもある；すなわち平面コード状態に対して LU=LC が成り立つ。
• すべてのサークルグラフは二部サークルグラフの頂点ミニマルとして、二次オーバーヘッドで得られる。これによりサークルグラフと二部サークルグラフの関係が示される。
• MBQC をサークルグラフ状態上で実行すると古典的に効率的にシミュレーション可能であり、サークルグラフは多項式のランク幅をもち、普遍性に関する含意がある。
• グラフ状態の LU 同値性を数える問題は、与えられたグラフ状態に対して #P-hard であり、サークルグラフに制限しても同様である。

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