There and back again: A circuit extraction tale

Backens, Miriam, Miller-Bakewell, Hector, de Felice, Giovanni, Lobski, Leo, et al. · 2021 · Quantum

| 编号 NA111 | 主题 线路综合与等价验证 | DOI 10.22331/q-2021-03-25-421 |

摘要

摘要保留原文（英文）

摘要取自 arXiv / 出版方元数据，未作翻译，以保证与原文一致。

2021 · Quantum Translations between the quantum circuit model and the measurement-based one-way model are useful for verification and optimisation of quantum computations. They make crucial use of a property known as gflow. While gflow is defined for one-way computations allowing measurements in three different planes of the Bloch sphere, most research so far has focused on computations containing only measurements in the XY-plane. Here, we give the first circuit-extraction algorithm to work for one-way computations containing measurements in all three planes and having gflow. The algorithm is efficient and the resulting circuits do not contain ancillae. One-way computations are represented using the ZX-calculus, hence the algorithm also represents the most general known procedure for extracting circuits from ZX-diagrams. In developing this algorithm, we generalise several concepts and results previously known for computations containing only XY-plane measurements. We bring together several known rewrite rules for measurement patterns and formalise them in a unified notation using the ZX-calculus. These rules are used to simplify measurement patterns by reducing the number of qubits while preserving both the semantics and the existence of gflow. The results can be applied to circuit optimisation by translating circuits to patterns and back again.

全文共 66 页；文本提取件位于 .extracted/papers/NA111.txt（不随站点发布）。

本站词条在引用该文献时，会以 wikilink（sources/NA111）链接到本页；右侧「反向链接」面板自动列出所有引用它的词条。