Matches in SemOpenAlex for { <https://semopenalex.org/work/W3183311586> ?p ?o ?g. }
- W3183311586 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.
- W3183311586 created "2021-08-02" @default.
- W3183311586 creator A5035888204 @default.
- W3183311586 creator A5048620730 @default.
- W3183311586 date "2021-07-26" @default.
- W3183311586 modified "2023-09-27" @default.
- W3183311586 title "Quantum Information Effects" @default.
- W3183311586 cites W1501824644 @default.
- W3183311586 cites W1515648542 @default.
- W3183311586 cites W1531323685 @default.
- W3183311586 cites W1541400212 @default.
- W3183311586 cites W1556604985 @default.
- W3183311586 cites W1571102086 @default.
- W3183311586 cites W1631356911 @default.
- W3183311586 cites W1976985540 @default.
- W3183311586 cites W1999626800 @default.
- W3183311586 cites W2068967633 @default.
- W3183311586 cites W2086141674 @default.
- W3183311586 cites W2086724512 @default.
- W3183311586 cites W2105259569 @default.
- W3183311586 cites W2116435685 @default.
- W3183311586 cites W2160347025 @default.
- W3183311586 cites W2166351442 @default.
- W3183311586 cites W2293974772 @default.
- W3183311586 cites W2295398892 @default.
- W3183311586 cites W2463458990 @default.
- W3183311586 cites W2563269605 @default.
- W3183311586 cites W2568653835 @default.
- W3183311586 cites W28199043 @default.
- W3183311586 cites W2912120411 @default.
- W3183311586 cites W2950262429 @default.
- W3183311586 cites W2964880323 @default.
- W3183311586 cites W2965438805 @default.
- W3183311586 cites W2980404066 @default.
- W3183311586 cites W3033997567 @default.
- W3183311586 cites W3105827074 @default.
- W3183311586 cites W3114657538 @default.
- W3183311586 cites W3134406394 @default.
- W3183311586 hasPublicationYear "2021" @default.
- W3183311586 type Work @default.
- W3183311586 sameAs 3183311586 @default.
- W3183311586 citedByCount "0" @default.
- W3183311586 crossrefType "posted-content" @default.
- W3183311586 hasAuthorship W3183311586A5035888204 @default.
- W3183311586 hasAuthorship W3183311586A5048620730 @default.
- W3183311586 hasConcept C105295557 @default.
- W3183311586 hasConcept C119857082 @default.
- W3183311586 hasConcept C121332964 @default.
- W3183311586 hasConcept C136119220 @default.
- W3183311586 hasConcept C156772000 @default.
- W3183311586 hasConcept C169699857 @default.
- W3183311586 hasConcept C190474826 @default.
- W3183311586 hasConcept C202444582 @default.
- W3183311586 hasConcept C2779904274 @default.
- W3183311586 hasConcept C33923547 @default.
- W3183311586 hasConcept C41008148 @default.
- W3183311586 hasConcept C43682372 @default.
- W3183311586 hasConcept C5274069 @default.
- W3183311586 hasConcept C58053490 @default.
- W3183311586 hasConcept C62520636 @default.
- W3183311586 hasConcept C80444323 @default.
- W3183311586 hasConcept C84114770 @default.
- W3183311586 hasConcept C98912367 @default.
- W3183311586 hasConceptScore W3183311586C105295557 @default.
- W3183311586 hasConceptScore W3183311586C119857082 @default.
- W3183311586 hasConceptScore W3183311586C121332964 @default.
- W3183311586 hasConceptScore W3183311586C136119220 @default.
- W3183311586 hasConceptScore W3183311586C156772000 @default.
- W3183311586 hasConceptScore W3183311586C169699857 @default.
- W3183311586 hasConceptScore W3183311586C190474826 @default.
- W3183311586 hasConceptScore W3183311586C202444582 @default.
- W3183311586 hasConceptScore W3183311586C2779904274 @default.
- W3183311586 hasConceptScore W3183311586C33923547 @default.
- W3183311586 hasConceptScore W3183311586C41008148 @default.
- W3183311586 hasConceptScore W3183311586C43682372 @default.
- W3183311586 hasConceptScore W3183311586C5274069 @default.
- W3183311586 hasConceptScore W3183311586C58053490 @default.
- W3183311586 hasConceptScore W3183311586C62520636 @default.
- W3183311586 hasConceptScore W3183311586C80444323 @default.
- W3183311586 hasConceptScore W3183311586C84114770 @default.
- W3183311586 hasConceptScore W3183311586C98912367 @default.
- W3183311586 hasLocation W31833115861 @default.
- W3183311586 hasOpenAccess W3183311586 @default.
- W3183311586 hasPrimaryLocation W31833115861 @default.
- W3183311586 hasRelatedWork W1183538153 @default.
- W3183311586 hasRelatedWork W1610218046 @default.
- W3183311586 hasRelatedWork W1980172188 @default.
- W3183311586 hasRelatedWork W1980468446 @default.
- W3183311586 hasRelatedWork W2060800401 @default.
- W3183311586 hasRelatedWork W2064104907 @default.
- W3183311586 hasRelatedWork W2076218011 @default.
- W3183311586 hasRelatedWork W2104582269 @default.
- W3183311586 hasRelatedWork W2105273359 @default.
- W3183311586 hasRelatedWork W2208573426 @default.
- W3183311586 hasRelatedWork W2338028966 @default.
- W3183311586 hasRelatedWork W2467451650 @default.
- W3183311586 hasRelatedWork W2499197361 @default.
- W3183311586 hasRelatedWork W2761502568 @default.
- W3183311586 hasRelatedWork W2904459623 @default.
- W3183311586 hasRelatedWork W2950007059 @default.