Matches in SemOpenAlex for { <https://semopenalex.org/work/W4297816892> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W4297816892 abstract "Fidelity is one of the most widely used quantities in quantum information that measure the distance of quantum states through a noisy channel. In this paper, we introduce a quantum analogy of computation tree logic (CTL) called QCTL, which concerns fidelity instead of probability in probabilistic CTL, over quantum Markov chains (QMCs). Noisy channels are modelled by super-operators, which are specified by QCTL formulas; the initial quantum states are modelled by density operators, which are left parametric in the given QMC. The problem is to compute the minimumfidelity over all initial states for conservation. We achieve it by a reduction to quantifier elimination in the existential theory of the reals. The method is absolutely exact, so that QCTL formulas are proven to be decidable in exponential time. Finally, we implement the proposed method and demonstrate its effectiveness via a quantum IPv4 protocol." @default.
- W4297816892 created "2022-10-01" @default.
- W4297816892 creator A5022036342 @default.
- W4297816892 creator A5035327803 @default.
- W4297816892 creator A5059764251 @default.
- W4297816892 creator A5071969266 @default.
- W4297816892 date "2021-01-13" @default.
- W4297816892 modified "2023-09-29" @default.
- W4297816892 title "An Algebraic Method to Fidelity-based Model Checking over Quantum Markov Chains" @default.
- W4297816892 doi "https://doi.org/10.48550/arxiv.2101.04971" @default.
- W4297816892 hasPublicationYear "2021" @default.
- W4297816892 type Work @default.
- W4297816892 citedByCount "0" @default.
- W4297816892 crossrefType "posted-content" @default.
- W4297816892 hasAuthorship W4297816892A5022036342 @default.
- W4297816892 hasAuthorship W4297816892A5035327803 @default.
- W4297816892 hasAuthorship W4297816892A5059764251 @default.
- W4297816892 hasAuthorship W4297816892A5071969266 @default.
- W4297816892 hasBestOaLocation W42978168921 @default.
- W4297816892 hasConcept C11413529 @default.
- W4297816892 hasConcept C118615104 @default.
- W4297816892 hasConcept C119857082 @default.
- W4297816892 hasConcept C121332964 @default.
- W4297816892 hasConcept C121864883 @default.
- W4297816892 hasConcept C137019171 @default.
- W4297816892 hasConcept C154945302 @default.
- W4297816892 hasConcept C33923547 @default.
- W4297816892 hasConcept C41008148 @default.
- W4297816892 hasConcept C49937458 @default.
- W4297816892 hasConcept C58053490 @default.
- W4297816892 hasConcept C62520636 @default.
- W4297816892 hasConcept C80444323 @default.
- W4297816892 hasConcept C84114770 @default.
- W4297816892 hasConcept C98763669 @default.
- W4297816892 hasConceptScore W4297816892C11413529 @default.
- W4297816892 hasConceptScore W4297816892C118615104 @default.
- W4297816892 hasConceptScore W4297816892C119857082 @default.
- W4297816892 hasConceptScore W4297816892C121332964 @default.
- W4297816892 hasConceptScore W4297816892C121864883 @default.
- W4297816892 hasConceptScore W4297816892C137019171 @default.
- W4297816892 hasConceptScore W4297816892C154945302 @default.
- W4297816892 hasConceptScore W4297816892C33923547 @default.
- W4297816892 hasConceptScore W4297816892C41008148 @default.
- W4297816892 hasConceptScore W4297816892C49937458 @default.
- W4297816892 hasConceptScore W4297816892C58053490 @default.
- W4297816892 hasConceptScore W4297816892C62520636 @default.
- W4297816892 hasConceptScore W4297816892C80444323 @default.
- W4297816892 hasConceptScore W4297816892C84114770 @default.
- W4297816892 hasConceptScore W4297816892C98763669 @default.
- W4297816892 hasLocation W42978168921 @default.
- W4297816892 hasOpenAccess W4297816892 @default.
- W4297816892 hasPrimaryLocation W42978168921 @default.
- W4297816892 hasRelatedWork W1497573972 @default.
- W4297816892 hasRelatedWork W1794870400 @default.
- W4297816892 hasRelatedWork W1967578724 @default.
- W4297816892 hasRelatedWork W2092152945 @default.
- W4297816892 hasRelatedWork W2152221608 @default.
- W4297816892 hasRelatedWork W2155794351 @default.
- W4297816892 hasRelatedWork W2161082718 @default.
- W4297816892 hasRelatedWork W2757133052 @default.
- W4297816892 hasRelatedWork W4353086852 @default.
- W4297816892 hasRelatedWork W2793281072 @default.
- W4297816892 isParatext "false" @default.
- W4297816892 isRetracted "false" @default.
- W4297816892 workType "article" @default.