[论文解读] Discrete-time quantum walks as generators of multipartite entanglement

Joshua Lockhart, Mauro Paternostro|arXiv (Cornell University)|Sep 18, 2015

Quantum Computing Algorithms and Architecture被引用 3

一句话总结

本文提出一种相互作用的离散时间量子行走，其中位于晶格上的行者通过与每个顶点处的量子比特之间的受控-Z相互作用，诱导多体纠缠。研究表明，在特定的酉操作算符下，四站点环形图上的该方案能够通过受控动力学和基于模拟的验证，生成完美的四量子比特簇态——这是测量型量子计算的关键资源。

ABSTRACT

We extend the idea of a discrete-time quantum walk on a graph by placing a qubit on each vertex, and allowing the walker to interact with the qubit at its current position. We show that allowing for a controlled-Z interaction at each time step between the walker and the vertex qubits generates multipartite entanglement between the qubits. We demonstrate that for particular coin operators the system generates a highly entangled cluster state, of use in measurement based quantum computation.

研究动机与目标

• 开发一种新型的量子行走框架，以在晶格上的量子比特之间产生多体纠缠，而不仅仅是行者与币空间之间的纠缠。
• 探究行者与顶点量子比特之间的受控相互作用是否能够产生如簇态等对测量型量子计算有用的纠缠态。
• 表征纠缠动力学，并确定高度纠缠且物理上相关的态（如图态）出现的条件。
• 评估在现有光子或超冷原子平台中，通过工程化受控相位相互作用实现该协议的可行性。

提出的方法

• 系统由图上的离散时间量子行走构成，行者的状态位于张量积希尔伯特空间中：位置空间（|v⟩）和币空间（|d⟩）。
• 在每个时间步，行者的币量子比特与当前位置顶点的量子比特之间应用受控-Z相互作用，从而将行者与晶格量子比特纠缠。
• 通过交替应用酉操作算符 Ĉ(θ, φ₁, φ₂) 和位移算符 Ŝ 实现行走演化，其中位移算符针对路径图（Lₙ）和环形图（Cₙ）进行定义，以保持幺正性。
• 通过数值模拟追踪顶点量子比特密度矩阵的演化，利用约化密度矩阵的冯诺依曼熵来量化纠缠。
• 利用迹距离 Δ(ρ,σ) = 1 - (1/2)‖ρ - σ‖₁ 评估生成态与目标纠缠态（GHZ、W、簇态和图态）的保真度。
• 该协议在四站点线性（L₄）和环形（C₄）晶格上均进行了测试，系统性地改变酉操作算符参数，以识别生成目标态的最佳条件。

实验结果

研究问题

• RQ1 具有行者与顶点量子比特之间受控相互作用的离散时间量子行走，能否在晶格量子比特之间生成多体纠缠？
• RQ2 在何种条件下，该相互作用量子行走能产生高保真度的簇态或其他有用的纠缠资源态？
• RQ3 图的拓扑结构（如线性与环形）如何影响纠缠生成以及生成特定目标态的能力？
• RQ4 生成的态是否接近GHZ或W态，还是更倾向于图态（如簇态）？
• RQ5 通过适当选择酉操作算符参数，该协议是否能在环形晶格上确定性地生成完美的四量子比特簇态？

主要发现

• 该相互作用量子行走成功在晶格上的量子比特之间生成了多体纠缠，纠缠程度随时间增加，如约化态的冯诺依曼熵所测量。
• 在四站点环形图（C₄）上，当使用酉操作算符 Ĉ(π/2, 0, π/2) 时，该协议在时间 t = 24 时生成了完美的四量子比特簇态 |C₄⟩，经验证迹距离 Δ = 0，与目标态完全一致。
• 迹距离度量 Δ(ρ, σ) 到目标簇态的最大值在 t = 24 时恰好达到 1.0，表明与 |C₄⟩⟨C₄| 的保真度完美。
• 无论酉操作算符参数或图的拓扑结构如何，系统从未生成接近GHZ或W态的态，表明其对图态类纠缠具有强烈偏好。
• 环形晶格（C₄）在生成高保真度纠缠态方面显著优于线性晶格（L₄），后者表现出明显更弱的纠缠，且与目标态无显著匹配。
• 结果表明，该相互作用协议具有鲁棒性和可调性，特定的酉操作算符参数可实现对测量型量子计算有用资源态的确定性制备。