[論文レビュー] Fundamentals of fractional revival in graphs

Ada Chan, Gabriel Coutinho+7 more|arXiv (Cornell University)|Apr 2, 2020

Quantum Computing Algorithms and Architecture被引用数 4

ひとこと要約

本稿は、グラフ上の量子スピンネットワークにおける分数再結合を分析するためのスペクトル枠組みを構築する。これは、任意の頂点部分集合へのコスペクトル性の一般化であり、強分数コスペクトル性を必要条件として導入する。本稿は、分数再結合がモノゴニズムでないことを示すことで未解決の問題を解決し、3つ以上の頂点が互いに再結合を示す可能性があることを示す。また、任意の $K \geq 2$ に対して、所望の $K$-分数再結合を実現するグラフを構成するための構成的手段を提供する。この枠組みにより、指定された遷移行列を有する特定の時刻で適切な分数再結合を示す重み付きグラフの設計が可能になる。

ABSTRACT

We develop a general spectral framework to analyze quantum fractional revival in quantum spin networks. In particular, we introduce generalizations of the notions of cospectral and strongly cospectral vertices to arbitrary subsets of vertices, and give various examples. This work resolves two open questions of Chan et.~al. ["Quantum Fractional Revival on graphs". Discrete Applied Math, 269:86-98, 2019.]

研究の動機と目的

• 完全な状態転送で用いられるスペクトルツールを、より広範な量子スピンネットワークにおける分数再結合の文脈へ一般化すること。
• 2つの未解決問題を解消すること：(1) 非コスペクトルな頂点間でも分数再結合が生じ得るか、(2) 3つ以上の頂点において、対ごとの再結合が同時に生じ得るか。
• 任意の頂点部分集合 $K$ に対して $K$-分数再結合を特徴付ける一般化されたスペクトル枠組みを構築すること。
• 指定された頂点集合の間で、所定の時刻に分数再結合を示す重み付きグラフを構成するための構成的手段を提供すること。
• $K$-分数再結合が発生するための必要条件（分解可能性、強分数コスペクトル性など）を確立すること。

提案手法

• 任意の頂点部分集合 $K$ に対するコスペクトル性および強コスペクトル性の一般化概念を導入し、完全な状態転送から得られる概念を拡張する。
• $U(t)e_a$ がすべての $a \in K$ に対して $K$ のみにサポートされるという条件により $K$-分数再結合を定義する。ここで $U(t) = e^{-itA}$ は量子ウォークの時間発展演算子である。
• スペクトル分解 $A = \sum_r \theta_r E_r$ を用いて $U(t) = \sum_r e^{-it\theta_r} E_r$ を表現し、固有空間への射影演算子の構造を分析する。
• 固有値 $\theta_1, \dots, \theta_n$ と実固有ベクトルの正規直交基底を行列 $P$ を用いて指定し、$A = PDP^T$ を定義することでグラフを構成する。
• 最小射影 $P_{\min}^K$ が固有値の比に関する条件を満たすように保証し、分数再結合を保証する。これは整数 $\sigma, \omega$ を用いた固有値シフトによって達成される。
• 任意の $|K| \times |K|$ 対称ユニタリ行列 $H$ と時刻 $\tau$ に対して、$\widetilde{U(\tau)} = H$ が $K$ 上で成り立つような重み付きグラフを構成できることを示す。

実験結果

リサーチクエスチョン

• RQ1 任意の頂点部分集合 $K$ に対して、$K$-分数再結合が発生するためのスペクトル的必要条件は何か？これは、ペアを超えたコスペクトル性の一般化を含む。
• RQ2 非コスペクトルな頂点間でも分数再結合が生じ得るか？その場合、どのような条件下で生じるか？
• RQ3 分数再結合はモノゴニズム的か？すなわち、一度に1組の頂点のみが再結合を示すのか、それとも複数のペアが同時に存在できるのか？
• RQ4 サイズが2より大きい部分集合 $K$ に対して、$K$ のすべてのペアが再結合を示すようなグラフを構築できるか？
• RQ5 指定された遷移行列 $H$ を実現するための固有値および固有空間の構造的制約は何か？

主な発見

• 本稿は、非コスペクトルな分数再結合に関する未解決問題を解決し、古典的コスペクトル性とは異なる状況において、強分数コスペクトル性が必要条件であることを示した。
• 分数再結合がモノゴニズムではないことを証明した。サイズが3以上の部分集合 $K$ に属するすべての頂点ペアが、互いに分数再結合を示すようなグラフが存在する。
• 任意の $K \geq 2$ に対して、所定の時刻 $\tau$ と $|K| \times |K|$ 対称ユニタリ行列 $H$ を与えた場合、$K$-分数再結合を示す重み付きグラフを構成するための構成的手段が提供された。
• 本枠組みにより、$A$ の固有値が等差数列にない場合でも $K$-分数再結合が可能であることが示され、従来の仮定を超えた拡張が達成された。
• 任意の $\tau > 0$ および非対角成分を含む任意の対称ユニタリ行列 $H$ に対して、$\widetilde{U(\tau)} = H$ が $K$ 上で成り立つような重み付きグラフ $X$ を明示的に構成可能である。ここで $U(\tau)$ はブロック対角構造を持つ。
• 整数 $\sigma, \omega$ を用いた固有値シフトにより、最小射影 $P_{\min}^K$ が固有値の比に関する条件を満たすように保証され、分数再結合のスペクトル的基準を満たす。