[論文レビュー] Continuous Time Quantum Walks on Graphs: Group State Transfer

Luke C. Brown, William J. Martin+1 more|arXiv (Cornell University)|Mar 16, 2021

Quantum Computing Algorithms and Architecture被引用数 4

ひとこと要約

本稿は、グラフ上の連続時間量子ウォークにおけるグループ状態転送（GST）を導入し、1つの頂点からの状態転送や分数再結合を一般化して、ある頂点集合から別の頂点集合への量子状態転送を許容する。主な貢献は、双対的GSTが単独性を持ち、まれであることを示す構造定理であり、非自明な例は対称二重星、整数固有値をもつ二部グラフ、およびカルテシアン積によるグラフ結合において得られている。

ABSTRACT

We introduce the concept of group state transfer on graphs, summarize its relationship to other concepts in the theory of quantum walks, set up a basic theory, and discuss examples. Let $X$ be a graph with adjacency matrix $A$ and consider quantum walks on the vertex set $V(X)$ governed by the continuous time-dependent unitary transition operator $U(t)= \exp(itA)$. For $S,T\subseteq V(X)$, we says $X$ admits "group state transfer" from $S$ to $T$ at time $τ$ if the submatrix of $U(τ)$ obtained by restricting to columns in $S$ and rows not in $T$ is the all-zero matrix. As a generalization of perfect state transfer, fractional revival and periodicity, group state transfer satisfies natural monotonicity and transitivity properties. Yet non-trivial group state transfer is still rare; using a compactness argument, we prove that bijective group state transfer (the optimal case where $|S|=|T|$) is absent for almost all $t$. Focusing on this bijective case, we obtain a structure theorem, prove that bijective group state transfer is "monogamous", and study the relationship between the projections of $S$ and $T$ into each eigenspace of the graph. Group state transfer is obviously preserved by graph automorphisms and this gives us information about the relationship between the setwise stabilizer of $S\subseteq V(X)$ and the stabilizers of naturally defined subsets obtained by spreading $S$ out over time and crudely reversing this process. These operations are sufficiently well-behaved to give us a topology on $V(X)$ which is likely to be simply the topology of subsets for which bijective group state transfer occurs at that time. We illustrate non-trivial group state transfer in bipartite graphs with integer eigenvalues, in joins of graphs, and in symmetric double stars. The Cartesian product allows us to build new examples from old ones.

研究の動機と目的

• 単一頂点からの状態転送を越えて、頂点の集合への状態転送の概念を形式化・一般化すること。
• 部分集合間での量子状態転送が発生する条件、すなわちグループ状態転送（GST）を調査すること。
• GSTの構造的・トポロジカル特性、特に単調性、推移性、および非自明な双対的GSTのまれさを確立すること。
• グラフの隣接行列の固有構造とGST発生の関係、特に対称的および二部グラフにおける関係を調査すること。
• 結合やカルテシアン積などのグラフ演算を用いて、GSTの新しい例を構成し、そのスペクトル的性質を分析すること。

提案手法

• 時間 $\tau$ における集合 $S$ から集合 $T$ へのGSTを、$U(\tau) = \exp(itA)$ の部分行列で、行が $T$ に属さないものと列が $S$ に属するもの全体がゼロである条件として定義する。
• 隣接行列 $A$ のスペクトル分解を用いて $U(\tau)$ を分析し、固有空間への射影を用いて表現する。
• コンパクト性の議論を適用して、任意の区間内で双対的GST（$|S| = |T|$）が発生するのは有限個の時間 $t$ のみであることを示す。
• 双対的GSTが単独性であることを証明する：集合 $S$ は、同じサイズの他に高々1つの集合 $T$ にしか転送されない。
• グラフの自己同型と固有空間への射影を活用して、GST配置の対称性と不変量を導出する。
• 対称二重星、グラフの結合、およびカルテシアン積を用いて具体的な例を構成し、固有値および射影解析によりGSTを検証する。

実験結果

リサーチクエスチョン

• RQ1 どのグラフ積がグループ状態転送を保存するか。また、既知の例から系統的に新しいGST例を構成可能か。
• RQ2 パスグラフにおいて、すべての頂点部分集合のペア $S, T$ で双対的GSTが成立するものを完全に分類可能か。
• RQ3 すべての $t$-閉じた頂点部分集合は双対的GSTから生じるか。このような集合のトポロジカル構造はいかなるものか。
• RQ4 重み付き商グラフがGST配置から完全状態転送をどのように継承するか。
• RQ5 集合 $S$ と $T$ 間でGSTが成立するグラフの頂点数は、最小距離 $\delta$ に対して指数関数的に増加するか。

主な発見

• 双対的グループ状態転送は単独性を持つ：集合 $S$ は、同じサイズの他に高々1つの集合 $T$ にしか転送されない（自明な場合を除く）。
• コンパクト性の議論により、任意の有限区間内で、$t$ が有限個を除いては、自明なGSTペア $(\emptyset,\emptyset)$ および $(V(X),V(X))$ のみが最大であることが示された。
• 次数1の頂点が $m$ 個ある対称二重星では、$S = \{1,2\}$ に対して、$\tau = 2\pi / \sqrt{4k+1}$ で $(S,S)$-GSTが成立し、固有値および射影解析により検証された。
• $m \geq 3$ の2つの完全グラフ $K_m$ の結合では、非自明なGSTが時間 $\tau = 2\pi / \sqrt{4k+1}$ で発生し、$S$ と $T$ はそれぞれ2つの頂点集合である。
• グラフのカルテシアン積はGSTを保存するため、既存の例から新しい例を構成可能である。
• 整数固有値をもつ二部グラフでは、非自明なGSTが可能であり、固有値構造により特定の射影項が特定の時刻で消えることが保証され、GSTを可能にする。