Matches in SemOpenAlex for { <https://semopenalex.org/work/W3203551220> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W3203551220 abstract "We study the two dual quantum information effects to manipulate the amount of information in quantum computation: hiding and allocation. The resulting type-and-effect system is fully expressive for irreversible quantum computing, including measurement. We provide universal categorical constructions that semantically interpret this arrow metalanguage with choice, starting with any rig groupoid interpreting the reversible base language. Several properties of quantum measurement follow in general, and we translate quantum flow charts into our language. The semantic constructions turn the category of unitaries between Hilbert spaces into the category of completely positive trace-preserving maps, and they turn the category of bijections between finite sets into the category of functions with chosen garbage. Thus they capture the fundamental theorems of classical and quantum reversible computing of Toffoli and Stinespring." @default.
- W3203551220 created "2021-10-11" @default.
- W3203551220 creator A5035888204 @default.
- W3203551220 creator A5048620730 @default.
- W3203551220 date "2021-09-26" @default.
- W3203551220 modified "2023-09-27" @default.
- W3203551220 title "Quantum Information Effects" @default.
- W3203551220 hasPublicationYear "2021" @default.
- W3203551220 type Work @default.
- W3203551220 sameAs 3203551220 @default.
- W3203551220 citedByCount "0" @default.
- W3203551220 crossrefType "proceedings-article" @default.
- W3203551220 hasAuthorship W3203551220A5035888204 @default.
- W3203551220 hasAuthorship W3203551220A5048620730 @default.
- W3203551220 hasConcept C105295557 @default.
- W3203551220 hasConcept C119857082 @default.
- W3203551220 hasConcept C121332964 @default.
- W3203551220 hasConcept C136119220 @default.
- W3203551220 hasConcept C156772000 @default.
- W3203551220 hasConcept C169699857 @default.
- W3203551220 hasConcept C190474826 @default.
- W3203551220 hasConcept C202444582 @default.
- W3203551220 hasConcept C2779904274 @default.
- W3203551220 hasConcept C33923547 @default.
- W3203551220 hasConcept C41008148 @default.
- W3203551220 hasConcept C43682372 @default.
- W3203551220 hasConcept C5274069 @default.
- W3203551220 hasConcept C58053490 @default.
- W3203551220 hasConcept C62520636 @default.
- W3203551220 hasConcept C80444323 @default.
- W3203551220 hasConcept C84114770 @default.
- W3203551220 hasConcept C98912367 @default.
- W3203551220 hasConceptScore W3203551220C105295557 @default.
- W3203551220 hasConceptScore W3203551220C119857082 @default.
- W3203551220 hasConceptScore W3203551220C121332964 @default.
- W3203551220 hasConceptScore W3203551220C136119220 @default.
- W3203551220 hasConceptScore W3203551220C156772000 @default.
- W3203551220 hasConceptScore W3203551220C169699857 @default.
- W3203551220 hasConceptScore W3203551220C190474826 @default.
- W3203551220 hasConceptScore W3203551220C202444582 @default.
- W3203551220 hasConceptScore W3203551220C2779904274 @default.
- W3203551220 hasConceptScore W3203551220C33923547 @default.
- W3203551220 hasConceptScore W3203551220C41008148 @default.
- W3203551220 hasConceptScore W3203551220C43682372 @default.
- W3203551220 hasConceptScore W3203551220C5274069 @default.
- W3203551220 hasConceptScore W3203551220C58053490 @default.
- W3203551220 hasConceptScore W3203551220C62520636 @default.
- W3203551220 hasConceptScore W3203551220C80444323 @default.
- W3203551220 hasConceptScore W3203551220C84114770 @default.
- W3203551220 hasConceptScore W3203551220C98912367 @default.
- W3203551220 hasLocation W32035512201 @default.
- W3203551220 hasOpenAccess W3203551220 @default.
- W3203551220 hasPrimaryLocation W32035512201 @default.
- W3203551220 hasRelatedWork W1183538153 @default.
- W3203551220 hasRelatedWork W1538658575 @default.
- W3203551220 hasRelatedWork W1610218046 @default.
- W3203551220 hasRelatedWork W1627439680 @default.
- W3203551220 hasRelatedWork W1925988739 @default.
- W3203551220 hasRelatedWork W1980172188 @default.
- W3203551220 hasRelatedWork W2034043900 @default.
- W3203551220 hasRelatedWork W2064104907 @default.
- W3203551220 hasRelatedWork W2073128269 @default.
- W3203551220 hasRelatedWork W2105273359 @default.
- W3203551220 hasRelatedWork W2208573426 @default.
- W3203551220 hasRelatedWork W2761502568 @default.
- W3203551220 hasRelatedWork W2770496093 @default.
- W3203551220 hasRelatedWork W2795547157 @default.
- W3203551220 hasRelatedWork W2950262429 @default.
- W3203551220 hasRelatedWork W2964880323 @default.
- W3203551220 hasRelatedWork W3183311586 @default.
- W3203551220 hasRelatedWork W58260654 @default.
- W3203551220 hasRelatedWork W62528541 @default.
- W3203551220 hasRelatedWork W164988565 @default.
- W3203551220 isParatext "false" @default.
- W3203551220 isRetracted "false" @default.
- W3203551220 magId "3203551220" @default.
- W3203551220 workType "article" @default.