[论文解读] An Infinite Family of Circulant Graphs with Perfect State Transfer in Discrete Quantum Walks

Hanmeng Zhan|arXiv (Cornell University)|Jul 20, 2017

Quantum Computing Algorithms and Architecture参考文献 21被引用 5

一句话总结

本文對正則圖上弧反向格羅弗量子行走中的完美態制備提供了完整的譜特徵分析，並構造了首個無限多項式 4-正則循環圖族——具體而言，$X(\bbZ_n,  au)$，其中 $n \equiv 2 \pmod{4}$ 且生成集對稱——在對蹠點之間實現完美態制備。此結果超越了以往僅限於環狀圖與鑽石鏈的範例。

ABSTRACT

We study perfect state transfer in Kendon's model of discrete quantum walks. In particular, we give a characterization of perfect state transfer purely in terms of the graph spectra, and construct an infinite family of $4$-regular circulant graphs that admit perfect state transfer. Prior to our work, the only known infinite families of examples were variants of cycles and diamond chains.

研究动机与目标

• 提供柯登弧反向格羅弗行走模型中完美態制備的完整譜特徵分析。
• 識別並構造新的圖類型，支持完美態制備，超越已知的環狀圖與鑽石鏈等範例。
• 建立在正則圖中完美態制備發生的條件，利用特徵值支撐與譜分解。
• 探討圖對稱性與循環結構在實現確定性量子態傳輸中的作用。
• 透過將轉移動態與代數圖論及酉矩陣譜連結，深化對離散量子行走的理解。

提出的方法

• 採用弧反向格羅弗行走模型，其轉移矩陣定義為 $U = R(I \otimes G)$，其中 $R$ 負責反轉弧，$G$ 為格羅弗量子幣算子。
• 應用兩次反射酉矩陣的譜分解技術，利用投影 $P$ 和 $Q$ 分析 $U$ 的譜結構。
• 透過頂點的特徵值支撐與矩陣 $S = L^*K$ 的結構，推導完美態制備的譜特徵。
• 構造了一個無限多項式 4-正則循環圖族 $X(\bbZ_n, \tau)$，其中 $n \equiv 2 \pmod{4}$ 且生成集 $\tau$ 對稱。
• 採用條件：$\frac{d}{2}(z + z^{-1})$ 必須為單位根，並將其與切比雪夫多項式及分圓多項式因子連結。
• 透過 $n = 6, 10, 14$ 的具體範例驗證構造，顯示在特定時間點對蹠點之間實現完美態制備。

实验结果

研究问题

• RQ1 在正則圖中，什麼譜條件可保證弧反向格羅弗行走模型中實現完美態制備？
• RQ2 能否構造一個無限多項式 4-正則循環圖族，使其在對蹠點之間實現完美態制備？
• RQ3 循環圖中生成集 $\tau$ 的結構如何影響完美態制備的發生？
• RQ4 是否存在圖形在離散量子行走中實現「良好態制備」但不實現「完美態制備」的情況？
• RQ5 能否僅以圖譜為基礎，獨立於初始態分佈，完全表徵完美態制備？

主要发现

• 弧反向格羅弗行走中實現完美態制備的條件，是源點頂點的特徵值支撐需滿足涉及單位根的特定譜條件。
• 對於 $n \equiv 2 \pmod{4}$ 且生成集 $\tau$ 對稱的無限多項式 4-正則循環圖 $X(\bbZ_n, \tau)$，其對蹠點之間可實現完美態制備。
• 對於 $n = 6, 10, 14$，具體構造顯示在時間 $k = n/2$ 時，對蹠點之間的保真度恰好為 1，實現完美態制備。
• 該構造超越環狀圖與鑽石鏈，提供首個已知的非環狀圖基礎的無限多項式範例，實現完美態制備。
• 完美態制備的譜條件可簡化為檢查 $\frac{d}{2}(z + z^{-1})$ 是否為單位根，進而將此現象與切比雪夫多項式及分圓域連結。
• 該方法提供了以圖譜為基礎的完美態制備的完整特徵分析，使任何正則圖的驗證均可透過演算法實現。