Multi-controlled Phase Gate Synthesis with ZX-calculus applied to Neutral Atom Hardware

Staudacher, Korbinian, Schmid, Ludwig, Zeiher, Johannes, Wille, Robert, et al. · 2024 · Electronic Proceedings in Theoretical Computer Science

| 编号 NA122 | 主题 线路综合与等价验证 | DOI 10.4204/eptcs.406.5 |

摘要

摘要保留原文（英文）

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

2024 · Electronic Proceedings in Theoretical Computer Science Quantum circuit synthesis describes the process of converting arbitrary unitary operations into a gate sequence of a fixed universal gate set, usually defined by the operations native to a given hardware platform. Most current synthesis algorithms are designed to synthesize towards a set of single qubit rotations and an additional entangling two qubit gate, such as CX, CZ, or the Molmer Sorensen gate. However, with the emergence of neutral atom based hardware and their native support for gates with more than two qubits, synthesis approaches tailored to these new gate sets become necessary. In this work, we present an approach to synthesize multi controlled phase gates using ZX calculus. By representing quantum circuits as graph like ZX diagrams, one can utilize the distinct graph structure of diagonal gates to identify multi controlled phase gates inherently present in some quantum circuits even if none were explicitly defined in the original circuit. We evaluate the approach on a wide range of benchmark circuits and compare them to the standard Qiskit synthesis regarding its circuit execution time for neutral atom based hardware with native support of multi controlled gates. Our results show possible advantages for current state of the art hardware and represent the first exact synthesis algorithm supporting arbitrary sized multi controlled phase gates.

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

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