Twist: Sound Reasoning for Purity and Entanglement in Quantum Programs
Quantum programming languages enable developers to implement algorithms for quantum computers that promise computational breakthroughs in classically intractable tasks. Programming quantum computers requires awareness of entanglement, the phenomenon in which measurement outcomes of qubits are corre...
Main Author: | Yuan, Chenhui |
---|---|
Other Authors: | Carbin, Michael |
Format: | Thesis |
Published: |
Massachusetts Institute of Technology
2022
|
Online Access: | https://hdl.handle.net/1721.1/144705 https://orcid.org/0000-0002-4918-4467 |
Similar Items
-
Twist: Sound Reasoning for Purity and Entanglement in Quantum Programs
by: Yuan, Charles, et al.
Published: (2022) -
Noise effects on purity and quantum entanglement in terms of physical implementability
by: Yuchen Guo, et al.
Published: (2023-02-01) -
Subsystem purity as an enforcer of entanglement.
by: Bose, S, et al.
Published: (2001) -
Reexamination of the purity entanglement measure: Peculiarities of a truly thermodynamic quantum correlation measure
by: Batle, J., et al.
Published: (2015) -
Negativity vs. purity and entropy in witnessing entanglement
by: James Schneeloch, et al.
Published: (2023-03-01)