zbMATH — the first resource for mathematics

Commutativity of quantum weakest preconditions. (English) Zbl 1184.68258
Summary: The notion of quantum weakest precondition was introduced by E. D’Hondt and P. Panangaden [Math. Struct. Comput. Sci. 16, No. 3, 429–451 (2006; Zbl 1122.68058)], and they presented a representation of weakest precondition of a quantum program in the operator-sum form. In this Letter, we give an intrinsic characterization of the weakest precondition of a quantum program given in a system-environment model. Furthermore, some sufficient conditions for commutativity of quantum weakest preconditions are presented.

68Q10 Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)
81P68 Quantum computation
Full Text: DOI
[1] Betteli, S.; Calarco, T.; Serafini, L., Toward an architecture for quantum programming, Nov. 2001
[2] Chadha, R.; Mateus, P.; Sernadas, A., Reasoning about quantum imperative programs, Electronic notes in theoretical computer science, 158, 19-40, (2006) · Zbl 1273.03104
[3] D’Hondt, E.; Panangaden, P., Quantum weakest preconditions, Mathematical structures in computer science, 16, 429-451, (2006) · Zbl 1122.68058
[4] Y. Feng, R.Y. Duan, Z.F. Ji, M.S. Ying, Proof rules for correctness of quantum programs, Theoretical Computer Science, submitted for publication · Zbl 1137.68038
[5] Grover, L., A fast quantum mechanical algorithm for database search, (), 212-219 · Zbl 0922.68044
[6] Varadarajan, V.S., Geometry of quantum theory, (1985), Springer-Verlag New York · Zbl 0581.46061
[7] E.H. Knill, Conventions for quantum pseudocode, LANL report LAUR-96-2724, 1996
[8] Kozen, D., Semantics of probabilistic programs, Journal of computer and system science, 22, 328-350, (1981) · Zbl 0476.68019
[9] Nielsen, M.A.; Chuang, I.L., Quantum computation and quantum information, (2000), Cambridge University Press Cambridge · Zbl 1049.81015
[10] Ömer, B., A procedural formalism for quantum computing, Master’s thesis, department of theoretical physics, technical university of Vienna, (July 1998)
[11] Putnam, C.R., Commutation properties of Hilbert space operators and related topics, (1967), Springer-Verlag New York · Zbl 0149.35104
[12] Sanders, J.W.; Zuliani, P., Quantum programming, (), 80-99 · Zbl 0963.68037
[13] Selinger, P., Towards a quantum programming language, Mathematical structures in computer science, 14, 527-586, (2004) · Zbl 1085.68014
[14] Shor, P.W., Algorithms for quantum computation: discrete logarithms and factoring, (), 124-134
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.