×

On block structures in quantum computation. (English) Zbl 1334.68074

Kozen, Dexter (ed.) et al., Proceedings of the 29th conference on the mathematical foundations of programming semantics (MFPS XXIX), New Orleans, LA, USA, June 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 298, 233-255 (2013).
Summary: A block is a language construct in programming that temporarily enlarges the state space. It is typically opened by initialising some local variables, and closed via a return statement. The “scope” of these local variables is then restricted to the block in which they occur. In quantum computation such temporary extensions of the state space also play an important role. This paper axiomatises “logical” blocks in a categorical manner. Opening a block may happen via a measurement, so that the block captures the various possibilities that result from the measurement. Following work of Coecke and Pavlović we show that von Neumann projective measurements can be described as an Eilenberg-Moore coalgebra of a comonad associated with a particular kind of block structure. Closing of a block involves a collapse of options. Such blocks are investigated in non-deterministic, probabilistic, and quantum computation. In the latter setting it is shown that there are two block structures in the category of \(C^*\)-algebras, via copowers and via matrices.
For the entire collection see [Zbl 1310.68014].

MSC:

68Q10 Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)
18C20 Eilenberg-Moore and Kleisli constructions for monads
81P68 Quantum computation

Software:

QML; QPL
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Altenkirch, T.; Grattage, J., A functional quantum programming language, (In Logic in Computer Science (2005), IEEE, Computer Science Press), 249-259
[2] Bennett, C.; Wiesner, S. J., Communication via one- and two-particle operators on Einstein-Podolsky-Rosen states, Phys. Review Letters, 69, 20, 2881-2884 (1992) · Zbl 0968.81506
[3] Coecke, B.; Pavlović, D., Quantum measurements without sums, (Chen, G.; Kauffman, L.; Lamonaco, S., Mathematics of Quantum Computing and Technology (2008), Taylor and Francis), 559-596 · Zbl 1139.81307
[4] Dvurečenskij, A.; Pulmannová, S., New Trends in Quantum Structures (2000), Kluwer Acad. Publ.: Kluwer Acad. Publ. Dordrecht · Zbl 0987.81005
[5] Foulis, D. J.; Bennett, M. K., Effect algebras and unsharp quantum logics, Found. Physics, 24, 10, 1331-1352 (1994) · Zbl 1213.06004
[6] Furber, R.; Jacobs, B., From Kleisli categories to commutative \(C^\ast \)-algebras: Probabilistic Gelfand duality (2013), See · Zbl 1395.18005
[7] Gay, S., Quantum programming languages: survey and bibliography, Math. Struct. in Comp. Sci., 16, 581-600 (2006) · Zbl 1122.68021
[8] Giry, M., A categorical approach to probability theory, (Banaschewski, B., Categorical Aspects of Topology and Analysis. Categorical Aspects of Topology and Analysis, Lect. Notes Math., number 915 (1982), Springer: Springer Berlin), 68-85
[9] Heinosaari, T.; Ziman, M., The Mathematical Language of Quantum Theory. From Uncertainty to Entanglement (2012), Cambridge Univ. Press · Zbl 1243.81008
[11] Jacobs, B., Measurable spaces and their effect logic, (Logic in Computer Science (2013), IEEE, Computer Science Press) · Zbl 1433.03162
[12] Jacobs, B.; Mandemaker, J., Coreflections in algebraic quantum logic, Found. of Physics, 42, 7, 932-958 (2012) · Zbl 1259.81010
[13] Jacobs, B.; Mandemaker, J., Relating operator spaces via adjunctions, (Chubb Reimann, J.; Harizanov, V.; Eskandarian, A., Logic and Algebraic Structures in Quantum Computing and Information. Logic and Algebraic Structures in Quantum Computing and Information, Lect. Notes in Logic. (2013), Cambridge Univ. Press), See · Zbl 1355.81012
[14] Johnstone, P., Stone Spaces, Number 3 in Cambridge Studies in Advanced Mathematics (1982), Cambridge Univ. Press · Zbl 0499.54001
[15] Kraus, K., States, Effects, and Operations (1983), Springer Verlag: Springer Verlag Berlin
[16] Ludwig, G., Foundations of Quantum Mechanics I (1983), Springer Verlag: Springer Verlag New York · Zbl 0509.46057
[17] Maassen, H., Quantum probability and quantum information theory, (Benatti, F.; Fannes, M.; Floreanini, R.; Petritis, D., Quantum Information, Computation and Cryptography. Quantum Information, Computation and Cryptography, Lect. Notes Physics, number 808 (2010), Springer: Springer Berlin), 65-108 · Zbl 1208.81055
[18] Nielsen, M.; Chuang, I., Quantum Computation and Quantum Information (2000), Cambridge Univ. Press · Zbl 1049.81015
[19] Selinger, P., Towards a quantum programming language, Math. Struct. in Comp. Sci., 14, 4, 527-586 (2004) · Zbl 1085.68014
[20] Selinger, P.; Valiron, B., A lambda calculus for quantum computation with classical control, Math. Struct. in Comp. Sci., 16, 3, 527-552 (2006) · Zbl 1122.68033
[21] Selinger, P.; Valiron, B., Quantum lambda calculus, (Gay, S.; Mackie, I., Semantical Techniques in Quantum Computation (2010), Cambridge Univ. Press), 135-172 · Zbl 1344.68052
[22] Tomiyama, J., On the projection of norm one in \(W^\ast \)-algebras, Proc. Japan Acad., 10, 608-612 (1957) · Zbl 0081.11201
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. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.