Analysis of quantum entanglement in quantum programs using stabilizer formalism

MaRDI QIDQ5015203zbMATH OpenFDO

Authors Kentaro Honda

Publication date 6 December 2021

Full work available at URL https://arxiv.org/abs/1511.01572, http://eptcs.web.cse.unsw.edu.au/paper.cgi?QPL2015.19

Mathematics Subject Classification ID

Quantum algorithms and complexity in the theory of computing (68Q12) Quantum coherence, entanglement, quantum correlations (81P40)

Recommendations

• Quantum Entanglement Analysis Based on Abstract Interpretation
• Reasoning about Entanglement and Separability in Quantum Higher-Order Functions
• Entanglement in phase estimation algorithm and quantum counting algorithm
• Simulation of entanglement generation and variation in quantum computation
• Superposition, entanglement and quantum computation

Cites work

• A hierarchy of quantum semantics
• Communication via one- and two-particle operators on Einstein-Podolsky-Rosen states
• scientific article; zbMATH DE number 1579275 (Why is no real title available?)
• scientific article; zbMATH DE number 5708040 (Why is no real title available?)
• Quantum Entanglement Analysis Based on Abstract Interpretation
• Quantum patterns and types for entanglement and separability
• Reasoning about Entanglement and Separability in Quantum Higher-Order Functions
• Specification and verification of quantum protocols
• Teleporting an unknown quantum state via dual classical and Einstein-Podolsky-Rosen channels
• Towards a quantum programming language

Cited in

(3)

• Reasoning about Entanglement and Separability in Quantum Higher-Order Functions
• Quantum Entanglement Analysis Based on Abstract Interpretation
• Gottesman types for quantum programs

Describes a project that uses

Uses Software

• QPL

This page was built for publication: Analysis of quantum entanglement in quantum programs using stabilizer formalism

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5015203)