Circuit Extraction for ZX-Diagrams Can Be p-hard
de Beaudrap, Niel, Kissinger, Aleks, van de Wetering, John · 2022 · LIPIcs, Volume 229, ICALP 2022
| 编号 NA112 | 主题 线路综合与等价验证 | DOI 10.4230/lipics.icalp.2022.119 |
摘要
摘要保留原文（英文）
摘要取自 arXiv / 出版方元数据，未作翻译，以保证与原文一致。
2022 · LIPIcs, Volume 229, ICALP 2022 The ZX-calculus is a graphical language for reasoning about quantum computation using ZX-diagrams, a certain flexible generalisation of quantum circuits that can be used to represent linear maps from to qubits for any . Some applications for the ZX-calculus, such as quantum circuit optimisation and synthesis, rely on being able to efficiently translate a ZX-diagram back into a quantum circuit of comparable size. While several sufficient conditions are known for describing families of ZX-diagrams that can be efficiently transformed back into circuits, it has previously been conjectured that the general problem of circuit extraction is hard. That is, that it should not be possible to efficiently convert an arbitrary ZX-diagram describing a unitary linear map into an equivalent quantum circuit. In this paper we prove this conjecture by showing that the circuit extraction problem is p-hard, and so is itself at least as hard as strong simulation of quantum circuits. In addition to our main hardness result, which relies specifically on the circuit representation, we give a representation-agnostic hardness result. Namely, we show that any oracle that takes as input a ZX-diagram description of a unitary and produces samples of the output of the associated quantum computation enables efficient probabilistic solutions to NP-complete problems.
全文共 20 页；文本提取件位于 .extracted/papers/NA112.txt（不随站点发布）。
本站词条在引用该文献时，会以 wikilink（sources/NA112）链接到本页；右侧「反向链接」面板自动列出所有引用它的词条。