المفاهيم الأساسية
本稿では、グラフの連結性を判断するための新しい量子アルゴリズムを紹介する。このアルゴリズムは、一定数の測定で連結性を判断し、線形数の測定で連結成分を見つけることができる。ただし、状態の減衰という課題があり、アンシラ量子ビットを用いることで改善できる可能性がある。
本稿では、グラフの連結性を判断するための新しい量子アルゴリズムが提案されています。このアルゴリズムは、ZX計算から得られた非ユニタリ・アーベルゲートを用いることで、一定数の測定で連結性を判断することができます。
グラフの各ノードは量子ビットに、各エッジは対応する量子ビット間の2量子ビットゲートにマッピングされます。
エッジを表すゲートには、ZX計算の非ユニタリ・スパイダーが用いられます。
スパイダーは、基底状態からパラメータ化されたGHZ状態へのプロジェクターとして機能し、可換性を維持します。
接続されたグラフフラグメントに対応するスパイダーの集合は、融合した単一のスパイダーと同等です。
各接続グラフフラグメントには、その中のすべての量子ビットを接続する1つのスパイダーが、等価な縮約ステートメントとして存在します。