[论文解读] Phase map decompositions for unitaries

Niel de Beaudrap, Vincent Danos+1 more|ArXiv.org|Mar 29, 2006

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

一句话总结

本文提出了一种通用的相位图分解方法，用于酉操作，使在一-way 量子计算模型中无需依赖电路模型即可直接实现。通过将酉操作分解为制备、对角相位和限制映射，并利用图论中的流条件，该方法在多项式时间内构建出高效且确定性的基于测量的量子模式。

ABSTRACT

We propose a universal decomposition of unitary maps over a tensorial power of C^2, introducing the key concept of "phase maps", and investigate how this decomposition can be used to implement unitary maps directly in the measurement-based model for quantum computing. Specifically, we show how to extract from such a decomposition a matching entangled graph state (with inputs), and a set of measurements angles, when there is one. Next, we check whether the obtained graph state verifies a "flow" condition, which guarantees an execution order such that the dependent measurements and corrections of the pattern yield deterministic results. Using a graph theoretic characterization of flows, we can determine whether a flow can be constructed for a graph state in polynomial time. This approach yields an algorithmic procedure which, when it succeeds, may produce an efficient pattern for a given unitary.

研究动机与目标

• 开发酉映射的通用分解，将其分解为三个部分：态制备、单位系数的对角相位操作和态限制，形成相位图分解。
• 完全绕过电路模型，直接从此类分解构造 one-way 量子模式。
• 确定给定相位图分解是否对应于具有有效执行顺序的确定性 one-way 模式，使用图论中的流条件。
• 提供一种算法流程，当成功时，可生成 one-way 模型中酉操作的高效测量模式实现。
• 研究通过验证底层纠缠图中是否存在流，来高效构建此类模式的可行性。

提出的方法

• 引入相位图分解的概念，作为酉映射的通用表示：U = R ∘ Φ ∘ P，其中 P 用于制备辅助量子比特，Φ 应用单位系数的对角相位移，R 将系统限制到输出空间。
• 提出一种算法（算法 1），通过求解对角映射 Φ 中的系数，枚举给定酉操作的所有有效相位图分解。
• 对每个分解，检查是否存在匹配的纠缠图态，包含输入和一组测量角度（算法 2），利用酉矩阵表示的结构。
• 应用图论中流的特征化（定理 1），验证模式是否存在确定性的执行顺序。
• 采用基于深度优先搜索的算法（算法 4），在多项式时间内确定流的存在性，通过状态追踪和路径覆盖上的上确界计算。
• 利用流条件定义测量和修正的依赖顺序，确保在所有计算分支中均实现确定性执行。

实验结果

研究问题

• RQ1 能否定义一种通用的酉映射分解方法，以绕过电路模型，并直接实现 one-way 量子模式的构造？
• RQ2 如何系统地生成给定酉操作的相位图分解？其存在性受哪些约束？
• RQ3 在何种条件下，相位图分解对应于具有有效执行顺序的确定性 one-way 模式？
• RQ4 能否高效地确定纠缠图中流的存在性？这是否能保证所生成模式的确定性执行？
• RQ5 验证给定分解是否导致高效且可实现的测量模式的计算复杂度是多少？

主要发现

• 相位图分解 U = R ∘ Φ ∘ P 对任意在量子比特张量积空间上的酉操作均具有通用性。
• 该方法可直接从酉操作构造 one-way 模式，无需通过电路模型中介，可能实现更高效的实现。
• 通过所提出的深度优先搜索算法（算法 4），可在多项式时间内验证纠缠图中流的存在性，时间复杂度为 O(km)，其中 k 为输入/输出数量，m 为边数。
• 有效的流可保证测量和修正的确定性执行顺序，确保所有计算分支均产生相同的酉变换。
• 该算法流程可应用于任意酉操作，当成功时，可生成标准形式的 one-way 模式，其中所有纠缠操作均首先执行。
• 该方法可通过将测量角度限制为特定值（例如 π/4 的倍数）实现潜在优化，尽管在这些情况下可能不存在精确解。