[论文解读] Limit Theorems for the Fibonacci Quantum Walk

Clement Boateng Ampadu|arXiv (Cornell University)|Aug 25, 2011

Quantum Computing Algorithms and Architecture参考文献 15被引用 3

一句话总结

本文研究由斐波那契替代序列控制的一维离散时间量子行走。通过谱分析和特征函数方法，证明了局域化不发生，并建立了描述渐近概率分布的弱极限定理，该分布收敛于一个非高斯、对称且具有紧致支集的分布。

ABSTRACT

We study the discrete-time quantum walk in one-dimension governed by the Fibonacci transformation .We show localization does not occur for the Fibonacci quantum walk by investigating the stationary distribution of the walk, in addition, we obtain the weak limit theorem.

研究动机与目标

• 分析一维斐波那契量子行走的长时间行为。
• 确定该行走的稳态分布中是否发生局域化。
• 推导一个弱极限定理，以描述行走者位置的渐近概率分布。
• 利用谱方法表征极限分布的形状与支集。

提出的方法

• 使用斐波那契替代序列在每个位置定义量子行走的币操作算符。
• 利用谱理论及关联酉演化算符的谱测度分析行走的动力学。
• 应用特征函数技术推导位置分布的弱极限定理。
• 通过谱测度研究稳态分布以排除局域化。
• 证明分布收敛于一个在紧区间上支持的极限密度函数。
• 使用迹方法及斐波那契哈密顿量的性质分析渐近行为。

实验结果

研究问题

• RQ1 斐波那契量子行走是否在长时间极限下表现出局域化？
• RQ2 斐波那契量子行走中行走者位置的渐近分布是什么？
• RQ3 斐波那契量子行走的极限分布与标准量子行走中常见的高斯分布有何不同？
• RQ4 斐波那契哈密顿量的谱测度在决定行走长时间行为中起什么作用？
• RQ5 能否为具有准周期币序列的量子行走严格建立弱极限定理？

主要发现

• 在斐波那契量子行走中不发生局域化，因为稳态分布不会集中在任何单个站点上。
• 弱极限定理表明，归一化后的位置分布收敛于一个非高斯、对称且具有紧致支集的概率密度函数。
• 通过斐波那契哈密顿量的谱测度推导出极限分布，并证明其为连续且有界的。
• 极限分布的支集为一紧区间，表明行走具有有限速度包络的弹道扩展。
• 特征函数方法证实了分布收敛，并提供了极限密度的显式积分表示。
• 通过证明谱测度无原子（即无点质量），严格证明了局域化的缺失，从而说明稳态分布中无点质量。