FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2962822640> ?p ?o ?g. }

• W2962822640 endingPage "1700" @default.
• W2962822640 startingPage "1679" @default.
• W2962822640 abstract "This paper develops verification methodology for quantum programs, and the contribution of the paper is two-fold. Sharir, Pnueli and Hart [M. Sharir, A. Pnueli, S. Hart, Verification of probabilistic programs, SIAM Journal of Computing 13 (1984) 292–314] presented a general method for proving properties of probabilistic programs, in which a probabilistic program is modeled by a Markov chain and an assertion on the output distribution is extended to an invariant assertion on all intermediate distributions. Their method is essentially a probabilistic generalization of the classical Floyd inductive assertion method. In this paper, we consider quantum programs modeled by quantum Markov chains which are defined by super-operators. It is shown that the Sharir–Pnueli–Hart method can be elegantly generalized to quantum programs by exploiting the Schrödinger–Heisenberg duality between quantum states and observables. In particular, a completeness theorem for the Sharir–Pnueli–Hart verification method of quantum programs is established. As indicated by the completeness theorem, the Sharir–Pnueli–Hart method is in principle effective for verifying all properties of quantum programs that can be expressed in terms of Hermitian operators (observables). But it is not feasible for many practical applications because of the complicated calculation involved in the verification. For the case of finite-dimensional state spaces, we find a method for verification of quantum programs much simpler than the Sharir–Pnueli–Hart method by employing the matrix representation of super-operators and Jordan decomposition of matrices. In particular, this method enables us to compute easily the average running time and to analyze some interesting long-run behaviors of quantum programs in a finite-dimensional state space." @default.
• W2962822640 created "2019-07-30" @default.
• W2962822640 creator A5022869475 @default.
• W2962822640 creator A5023088481 @default.
• W2962822640 creator A5085553689 @default.
• W2962822640 creator A5088217238 @default.
• W2962822640 date "2013-09-01" @default.
• W2962822640 modified "2023-09-23" @default.
• W2962822640 title "Verification of quantum programs" @default.
• W2962822640 cites W1972203711 @default.
• W2962822640 cites W1999626800 @default.
• W2962822640 cites W2001097638 @default.
• W2962822640 cites W2004330986 @default.
• W2962822640 cites W2005059149 @default.
• W2962822640 cites W2044357043 @default.
• W2962822640 cites W2044912742 @default.
• W2962822640 cites W2053660378 @default.
• W2962822640 cites W2053836944 @default.
• W2962822640 cites W2071548870 @default.
• W2962822640 cites W2079572249 @default.
• W2962822640 cites W2092314333 @default.
• W2962822640 cites W2101697221 @default.
• W2962822640 cites W2104812648 @default.
• W2962822640 cites W2121087903 @default.
• W2962822640 cites W2121369607 @default.
• W2962822640 cites W2126098510 @default.
• W2962822640 cites W2138408756 @default.
• W2962822640 cites W2141008943 @default.
• W2962822640 cites W2151670874 @default.
• W2962822640 cites W2155544688 @default.
• W2962822640 cites W3007889862 @default.
• W2962822640 cites W3105690832 @default.
• W2962822640 doi "https://doi.org/10.1016/j.scico.2013.03.016" @default.
• W2962822640 hasPublicationYear "2013" @default.
• W2962822640 type Work @default.
• W2962822640 sameAs 2962822640 @default.
• W2962822640 citedByCount "40" @default.
• W2962822640 countsByYear W29628226402013 @default.
• W2962822640 countsByYear W29628226402014 @default.
• W2962822640 countsByYear W29628226402015 @default.
• W2962822640 countsByYear W29628226402016 @default.
• W2962822640 countsByYear W29628226402017 @default.
• W2962822640 countsByYear W29628226402018 @default.
• W2962822640 countsByYear W29628226402019 @default.
• W2962822640 countsByYear W29628226402020 @default.
• W2962822640 countsByYear W29628226402021 @default.
• W2962822640 countsByYear W29628226402022 @default.
• W2962822640 countsByYear W29628226402023 @default.
• W2962822640 crossrefType "journal-article" @default.
• W2962822640 hasAuthorship W2962822640A5022869475 @default.
• W2962822640 hasAuthorship W2962822640A5023088481 @default.
• W2962822640 hasAuthorship W2962822640A5085553689 @default.
• W2962822640 hasAuthorship W2962822640A5088217238 @default.
• W2962822640 hasBestOaLocation W29628226401 @default.
• W2962822640 hasConcept C11413529 @default.
• W2962822640 hasConcept C119857082 @default.
• W2962822640 hasConcept C121332964 @default.
• W2962822640 hasConcept C134306372 @default.
• W2962822640 hasConcept C154945302 @default.
• W2962822640 hasConcept C177148314 @default.
• W2962822640 hasConcept C199360897 @default.
• W2962822640 hasConcept C32848918 @default.
• W2962822640 hasConcept C33923547 @default.
• W2962822640 hasConcept C40422974 @default.
• W2962822640 hasConcept C41008148 @default.
• W2962822640 hasConcept C49937458 @default.
• W2962822640 hasConcept C62520636 @default.
• W2962822640 hasConcept C80444323 @default.
• W2962822640 hasConcept C84114770 @default.
• W2962822640 hasConcept C98763669 @default.
• W2962822640 hasConceptScore W2962822640C11413529 @default.
• W2962822640 hasConceptScore W2962822640C119857082 @default.
• W2962822640 hasConceptScore W2962822640C121332964 @default.
• W2962822640 hasConceptScore W2962822640C134306372 @default.
• W2962822640 hasConceptScore W2962822640C154945302 @default.
• W2962822640 hasConceptScore W2962822640C177148314 @default.
• W2962822640 hasConceptScore W2962822640C199360897 @default.
• W2962822640 hasConceptScore W2962822640C32848918 @default.
• W2962822640 hasConceptScore W2962822640C33923547 @default.
• W2962822640 hasConceptScore W2962822640C40422974 @default.
• W2962822640 hasConceptScore W2962822640C41008148 @default.
• W2962822640 hasConceptScore W2962822640C49937458 @default.
• W2962822640 hasConceptScore W2962822640C62520636 @default.
• W2962822640 hasConceptScore W2962822640C80444323 @default.
• W2962822640 hasConceptScore W2962822640C84114770 @default.
• W2962822640 hasConceptScore W2962822640C98763669 @default.
• W2962822640 hasIssue "9" @default.
• W2962822640 hasLocation W29628226401 @default.
• W2962822640 hasLocation W29628226402 @default.
• W2962822640 hasLocation W29628226403 @default.
• W2962822640 hasOpenAccess W2962822640 @default.
• W2962822640 hasPrimaryLocation W29628226401 @default.
• W2962822640 hasRelatedWork W1497573972 @default.
• W2962822640 hasRelatedWork W1971753667 @default.
• W2962822640 hasRelatedWork W2035364689 @default.
• W2962822640 hasRelatedWork W2117053435 @default.
• W2962822640 hasRelatedWork W2767681984 @default.
• W2962822640 hasRelatedWork W2790322839 @default.

• next