2025-11-19T18:16:14.210450

Continuous-Time Quantum State Transfer with a Generalized Laplacian

Shi

Quantum walks generated by the adjacency matrix or the Laplacian are known to exhibit low transfer fidelity on general graphs. In this paper, we study continuous-time quantum walks governed by the generalized Laplacian operator L_k = A+kD, where A is the adjacency matrix, D is the degree matrix, and k is a real-valued parameter. Recent work of Duda, McLaughlin, and Wong showed that in the single-excitation Heisenberg (XYZ) spin model, one can realize walks generated by this family of operators on signed weighted graphs. Motivated by earlier studies on vertex-weighted graphs, we demonstrate that for certain graphs, tuning the parameter k can significantly enhance the fidelity of state transfer between endpoints.

academic

一般化ラプラシアンを用いた連続時間量子状態転送

基本情報

論文ID: 2509.05454
タイトル: Continuous-Time Quantum State Transfer with a Generalized Laplacian
著者: Yujia Shi (Department of Physics, Creighton University)
分類: quant-ph math.CO
発表日: 2025年10月13日（arXiv プレプリント）
論文リンク: https://arxiv.org/abs/2509.05454

要旨

隣接行列またはラプラシアン行列に基づく従来の量子ウォークは、一般的なグラフ上で低い伝送忠実度を示す。本論文では、一般化ラプラシアン演算子 $L_k = A + kD$ によって制御される連続時間量子ウォークを研究する。ここで $A$ は隣接行列、 $D$ は次数行列、 $k$ は実数値パラメータである。Duda、McLaughlin、Wongによる単一励起ハイゼンベルク(XYZ)スピンモデルでの研究に基づき、著者はパラメータ $k$ を調整することで、特定のグラフ上の端点間の状態伝送忠実度を大幅に向上させることができることを証明した。

研究背景と動機

中心的問題：従来の量子状態転送方法（隣接行列またはラプラシアン行列に基づく）は、一般的なグラフ構造、特に経路グラフの端点間での伝送忠実度が低いという問題を抱えている。
問題の重要性：量子状態転送は量子通信の重要なモデルであり、高忠実度の状態転送は量子情報処理と量子通信ネットワークにとって不可欠である。
既存方法の限界：
- 標準的な隣接行列およびラプラシアン行列ハミルトニアンは、長い経路上で端点間の伝送忠実度を悪化させる
- 完全状態転送(PST)は厳密な条件を必要とし、実際の応用では実現が困難である
研究動機：頂点加重グラフの研究に着想を得て、一般化ラプラシアン演算子族がパラメータ調整を通じて状態転送性能を改善できるかどうかを探索する。

核心的貢献

理論的枠組みの拡張：一般化ラプラシアン演算子 $L_k = A + kD$ を量子状態転送研究に導入し、パラメータ $k$ と伝送確率の明示的な関係を確立した。
高忠実度伝送条件：適切なパラメータ $k$ の調整により、特定のグラフクラス上で任意に1に近い伝送忠実度を実現できることを証明した。
実用性の向上：頂点加重グラフに関する以前の結果をすべての実数値 $k$ に拡張し、より柔軟なパラメータ選択を提供した。
具体的な応用例：完全二部グラフ $K_{2,n-2}$ および経路グラフ $P_n$ 上で方法の有効性を検証した。

方法の詳細

タスク定義

グラフ $G = (V,E)$ 上の連続時間量子ウォークを研究する。システムのヒルベルト空間は $\mathbb{C}^n$ であり、進化はシュレーディンガー方程式に従う： $i\frac{d}{dt}\psi(t) = H\psi(t)$

ここでハミルトニアン $H = -(A + kD)$ であり、目標は頂点 $u$ から頂点 $v$ への伝送確率を最大化するパラメータ $k$ を見つけることである。

モデルアーキテクチャ

1. 一般化ラプラシアン演算子 $L_k = A + kD$ ここで：

$A$ ：グラフの隣接行列
$D$ ：次数行列、 $D_{ii} = \deg(v_i)$
$k$ ：実数値パラメータ

2. 時間発展演算子 $U(t) = e^{-iL_k t}$

3. 伝送確率 時間 $t$ における頂点 $u$ から頂点 $v$ への伝送確率は： $P_{u \to v}(t) = |U(t)_{u,v}|^2 = \left|\sum_{j=1}^n e^{i\lambda_j t}\psi_j(u)\psi_j(v)\right|^2$

技術的革新点

1. 等価性変換（補題3.3）特殊な次数構造を持つグラフに対して、一般化ラプラシアン $L_k$ は以下と等価である： $A + Q(E_u + E_v)$ ここで $Q = k(d_1 - d_2)$ 、 $E_x$ は射影行列である。

2. 高忠実度条件 共スペクトル性理論に基づき、2つの頂点が $\text{co}(u,v) = \infty$ を満たす場合、固有ベクトル対は $(e_u \pm e_v)/\sqrt{2}$ の形に近似される。

3. パラメータ界 与えられた誤差許容度 $\varepsilon$ に対して、以下を満たす必要がある： $|k| > 16 \frac{1}{\varepsilon^{1/\min(2,c-d+1)}} m^{1+\max(1/2, d/(c-d+1))}$

実験設定

テストグラフクラス

完全二部グラフ $K_{2,n-2}$ ( $n \geq 5$ )
経路グラフ $P_n$
対合を持つ一般グラフ

評価指標

ピーク忠実度： $F(Q) := \sup_{t>0} |U(t)_{u,v}|$
伝送確率： $P_{u \to v}(t) = |U(t)_{u,v}|^2$

比較方法

隣接行列モデル： $H = -A$
ラプラシアンモデル： $H = -(A - D)$
符号なしラプラシアンモデル
一般化ラプラシアンモデル： $H = -L_k$

実験結果

主要な結果

定理3.1の応用：

$K_{2,n-2}$ ( $n \geq 5$ ) に対して： $|k| > 16\frac{(n-2)^{3/2}}{\sqrt{\varepsilon}(n-4)}$ のとき、端点伝送忠実度は少なくとも $1-\varepsilon$
経路 $P_n$ に対して： $|k| > \frac{32\sqrt{2}}{\sqrt{\varepsilon}}$ のとき、端点伝送忠実度は少なくとも $1-\varepsilon$