Quantum Programming With Mixed States

Authors:
Paolo Zuliani
Affiliations:
Department of Computer Science, Princeton University, Princeton, NJ 08544, USA
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2007

Citing 6
Cited 1

Quantum circuits with mixed states

STOC '98 Proceedings of the thirtieth annual ACM symposium on Theory of computing
Guarded commands, nondeterminacy and formal derivation of programs

Communications of the ACM
Quantum Programming

MPC '00 Proceedings of the 5th International Conference on Mathematics of Program Construction
Logical reversibility

IBM Journal of Research and Development
Logical reversibility of computation

IBM Journal of Research and Development
Quantum Computation and Quantum Information: 10th Anniversary Edition

Quantum Computation and Quantum Information: 10th Anniversary Edition

Quantum predicative programming

MPC'06 Proceedings of the 8th international conference on Mathematics of Program Construction

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we offer a programming approach to quantum computation using mixed states. Mixed-state quantum systems generalise standard (pure) quantum systems by allowing the state of the system to be a probabilistic distribution of pure states. We build on previous work by Aharonov et al. and generalise their results from quantum circuits to probabilistic (and quantum) programs.