Matches in SemOpenAlex for { <https://semopenalex.org/work/W4294771093> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W4294771093 abstract "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 $m$ to $n$ qubits for any $m,n geq 0$. 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." @default.
- W4294771093 created "2022-09-06" @default.
- W4294771093 creator A5019353647 @default.
- W4294771093 creator A5023841122 @default.
- W4294771093 creator A5040545926 @default.
- W4294771093 date "2022-02-18" @default.
- W4294771093 modified "2023-10-16" @default.
- W4294771093 title "Circuit Extraction for ZX-diagrams can be #P-hard" @default.
- W4294771093 doi "https://doi.org/10.4230/lipics.icalp.2022.119" @default.
- W4294771093 hasPublicationYear "2022" @default.
- W4294771093 type Work @default.
- W4294771093 citedByCount "1" @default.
- W4294771093 countsByYear W42947710932023 @default.
- W4294771093 crossrefType "posted-content" @default.
- W4294771093 hasAuthorship W4294771093A5019353647 @default.
- W4294771093 hasAuthorship W4294771093A5023841122 @default.
- W4294771093 hasAuthorship W4294771093A5040545926 @default.
- W4294771093 hasBestOaLocation W42947710931 @default.
- W4294771093 hasConcept C105795698 @default.
- W4294771093 hasConcept C11413529 @default.
- W4294771093 hasConcept C115903868 @default.
- W4294771093 hasConcept C118615104 @default.
- W4294771093 hasConcept C121332964 @default.
- W4294771093 hasConcept C124148022 @default.
- W4294771093 hasConcept C134146338 @default.
- W4294771093 hasConcept C137019171 @default.
- W4294771093 hasConcept C17744445 @default.
- W4294771093 hasConcept C186399060 @default.
- W4294771093 hasConcept C199539241 @default.
- W4294771093 hasConcept C203087015 @default.
- W4294771093 hasConcept C2776359362 @default.
- W4294771093 hasConcept C33923547 @default.
- W4294771093 hasConcept C41008148 @default.
- W4294771093 hasConcept C51003876 @default.
- W4294771093 hasConcept C55166926 @default.
- W4294771093 hasConcept C58053490 @default.
- W4294771093 hasConcept C62520636 @default.
- W4294771093 hasConcept C67820243 @default.
- W4294771093 hasConcept C84114770 @default.
- W4294771093 hasConcept C94625758 @default.
- W4294771093 hasConceptScore W4294771093C105795698 @default.
- W4294771093 hasConceptScore W4294771093C11413529 @default.
- W4294771093 hasConceptScore W4294771093C115903868 @default.
- W4294771093 hasConceptScore W4294771093C118615104 @default.
- W4294771093 hasConceptScore W4294771093C121332964 @default.
- W4294771093 hasConceptScore W4294771093C124148022 @default.
- W4294771093 hasConceptScore W4294771093C134146338 @default.
- W4294771093 hasConceptScore W4294771093C137019171 @default.
- W4294771093 hasConceptScore W4294771093C17744445 @default.
- W4294771093 hasConceptScore W4294771093C186399060 @default.
- W4294771093 hasConceptScore W4294771093C199539241 @default.
- W4294771093 hasConceptScore W4294771093C203087015 @default.
- W4294771093 hasConceptScore W4294771093C2776359362 @default.
- W4294771093 hasConceptScore W4294771093C33923547 @default.
- W4294771093 hasConceptScore W4294771093C41008148 @default.
- W4294771093 hasConceptScore W4294771093C51003876 @default.
- W4294771093 hasConceptScore W4294771093C55166926 @default.
- W4294771093 hasConceptScore W4294771093C58053490 @default.
- W4294771093 hasConceptScore W4294771093C62520636 @default.
- W4294771093 hasConceptScore W4294771093C67820243 @default.
- W4294771093 hasConceptScore W4294771093C84114770 @default.
- W4294771093 hasConceptScore W4294771093C94625758 @default.
- W4294771093 hasLocation W42947710931 @default.
- W4294771093 hasOpenAccess W4294771093 @default.
- W4294771093 hasPrimaryLocation W42947710931 @default.
- W4294771093 hasRelatedWork W2046761109 @default.
- W4294771093 hasRelatedWork W2951211905 @default.
- W4294771093 hasRelatedWork W3096747752 @default.
- W4294771093 hasRelatedWork W4225394978 @default.
- W4294771093 hasRelatedWork W4287021198 @default.
- W4294771093 hasRelatedWork W4289827731 @default.
- W4294771093 hasRelatedWork W4292636030 @default.
- W4294771093 hasRelatedWork W4297726034 @default.
- W4294771093 hasRelatedWork W4309470286 @default.
- W4294771093 hasRelatedWork W4362706727 @default.
- W4294771093 isParatext "false" @default.
- W4294771093 isRetracted "false" @default.
- W4294771093 workType "article" @default.