[论文解读] Weak limit theorem of a two-phase quantum walk with one defect

Shimpei Endo, Takako Endo+3 more|arXiv (Cornell University)|Dec 14, 2014

Quantum Computing Algorithms and Architecture参考文献 37被引用 4

一句话总结

该论文首次为具有单一缺陷的两相量子行走建立了弱极限定理，采用生成函数法分析了其弹道扩展行为。推导出一种非对称的弱极限测度，捕捉了系统的非平衡动力学，揭示了尽管时间平均下具有对称性，但空间非均匀性如何打破对称性，给出了以量子比特参数和初始态表示的概率密度的显式表达式。

ABSTRACT

We attempt to analyze a one-dimensional space-inhomogeneous quantum walk (QW) with one defect at the origin, which has two different quantum coins in positive and negative parts. We call the QW "the two-phase QW", which we treated concerning localization theorems [10]. The two-phase QW has been expected to be a mathematical model of the topological insulator [16] which is an intense issue both theoretically and experimentally [3,5,11]. In this paper, we derive the weak limit theorem describing the ballistic spreading, and as a result, we obtain the mathematical expression of the whole picture of the asymptotic behavior. Our approach is based mainly on the generating function of the weight of the passages. We emphasize that the time-averaged limit measure is symmetric for the origin [10], however, the weak limit measure is asymmetric, which implies that the weak limit theorem represents the asymmetry of the probability distribution.

研究动机与目标

• 推导一维空间非均匀量子行走（在原点处存在一个缺陷）的弱极限定理。
• 分析两相量子行走的渐近弹道扩展行为，该模型用于描述拓扑绝缘体。
• 证明弱极限测度是非对称的，与对称的时间平均极限测度形成对比。
• 将生成函数方法扩展至正负半轴使用不同量子比特的非均匀量子行走。
• 提供渐近行为的完整数学描述，结合局域化与弹道扩展。

提出的方法

• 使用量子行走路径权重的生成函数来分析渐近行为。
• 通过识别生成函数的奇点，提取概率分布的主导贡献。
• 该方法涉及计算生成函数的逆傅里叶变换，重点关注临界点附近的平稳相位近似。
• 通过分析生成函数在奇点附近的特性，推导出弱极限测度。
• 推导过程中结合了初始量子比特态以及缺陷两侧量子比特的相位差。
• 所得测度包含一个位于原点的狄拉克函数（对应局域化）和一个依赖于量子比特参数与初始态的连续密度函数。

实验结果

研究问题

• RQ1 具有单一缺陷的两相量子行走的弱极限行为与均匀量子行走的行为有何不同？
• RQ2 为何弱极限测度是非对称的，尽管时间平均极限测度是对称的？
• RQ3 两相量子行走中弹道扩展分量的数学形式是什么？
• RQ4 生成函数方法能否成功扩展至缺陷两侧使用不同量子比特的非均匀量子行走？
• RQ5 量子比特参数和初始态如何影响渐近概率分布？

主要发现

• 弱极限测度是非对称的，反映了由于正负半轴使用不同量子比特而导致的空间对称性自发破缺。
• 弹道扩展分量由密度函数 $ f_K(x; 1/\rho) $ 描述，其中 $ \rho = \sqrt{2} $，且 $ f_K $ 定义如公式 (2) 所示。
• 弱极限的概率密度函数显式地以量子比特参数 $ \sigma_+ $、$ \sigma_- $ 和初始态 $ \alpha, \beta $ 表示，其依赖于 $ \sin k \cos k $ 的符号。
• 该测度包含一个位于原点的狄拉克函数分量（对应局域化），其权重 $ C \in [0,1) $，与先前的局域化定理一致。
• 推导表明，非对称性源于量子比特相位差与初始态之间的相互作用，即使时间平均测度是对称的，该非对称性依然存在。
• 最终的弱极限测度表示为 $ \mu(dx) = C\delta_0(dx) + w(x)f_K(x;1/\sqrt{2})dx $，其中 $ w(x) $ 依赖于量子比特参数和初始态。