Abstract
We pursue the principles of duality and symmetry building upon Pratt’s idea of the Stone Gamut and Abramsky’s representations of quantum systems. In the first part of the paper, we first observe that the Chu space representation of quantum systems leads us to an operational form of state-observable duality, and then show via the Chu space formalism enriched with a generic concept of closure conditions that such operational dualities (which we call “T1-type” as opposed to “sober-type”) actually exist in fairly diverse contexts (topology, measurable spaces, and domain theory, to name but a few). The universal form of T1-type dualities between point-set and point-free spaces is described in terms of Chu spaces and closure conditions. From the duality-theoretical perspective, in the second part, we improve upon Abramsky’s “fibred” coalgebraic representation of quantum symmetries, thereby obtaining a finer, “purely” coalgebraic representation: our representing category is properly smaller than Abramsky’s, but still large enough to accommodate the quantum symmetry groupoid. Among several features, our representation reduces Abramsky’s two-step construction of his representing category into a simpler one-step one, thus rendering the Grothendieck construction redundant. Our purely coalgebraic representation stems from replacing the category of sets in Abramsky’s representation with the category of closure spaces in the light of the state-observable duality telling us that closure is a right perspective on quantum state spaces.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Abramsky, S.: Coalgebras, Chu spaces, and representations of physical systems. In: Proc. of LICS 2010, pp. 411–420 (2010)
Abramsky, S.: Big toy models: representing physical systems as Chu spaces. Synthese 186, 697–718 (2012)
Adámek, J., Herrlich, H., Strecker, G.E.: Abstract and Concrete Categories, John Wiley and Sons, Inc. (1990)
Bonsangue, M.M., Jacobs, B., Kok, J.N.: Duality beyond sober spaces: topological spaces and observation frames. Theor. Comput. Sci. 151, 79–124 (1995)
Coekce, B., Moore, D.J.: Operational Galois adjunctions. In: Current Research in Operational Quantum Logic, pp. 195–218 (2000)
Gierz, G., Hofmann, K.H., Keimel, K., Lawson, J.D., Mislove, M.W., Scott, D.S.: Continuous Lattices and Domains. Cambridge University Press (2003)
Hartshorne, R.: Algebraic Geometry. Springer (1977)
Jacobs, B.: Convexity, duality and effects. In: Calude, C.S., Sassone, V. (eds.) TCS 2010. IFIP AICT, vol. 323, pp. 1–19. Springer, Heidelberg (2010)
Johnstone, P.T.: Stone Spaces. Cambridge University Press
Klin, B.: Coalgebraic modal logic beyond sets. Electr. Notes Theor. Comput. Sci. 173, 177–201 (2007)
Kurz, A.: Coalgebras and their logics. ACM SIGACT News 37 (2006)
Maruyama, Y.: Fundamental results for pointfree convex geometry. Ann. Pure Appl. Logic 161, 1486–1501 (2010)
Maruyama, Y.: Natural duality, modality, and coalgebra. Journal of Pure and Applied Algebra, 565–580 (2012)
Moore, D.J.: On state spaces and property lattices. Stud. Hist. Phil. Mod. Phys. 30, 61–83 (1999)
Porst, H.E., Tholen, W.: Concrete dualities. In: Category Theory at Work, pp. 111–136 (1991)
Pratt, V.R.: The Stone Gamut: a coordinatization of mathematics. In: Proc. of LICS 1995, pp. 444–454 (1995)
Rutten, J.J.M.M.: Universal coalgebra: a theory of systems. Theor. Comput. Sci. 249, 3–80 (2000)
van de Vel, M.L.J.: Theory of Convex Structures. North-Holland (1993)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Maruyama, Y. (2013). From Operational Chu Duality to Coalgebraic Quantum Symmetry. In: Heckel, R., Milius, S. (eds) Algebra and Coalgebra in Computer Science. CALCO 2013. Lecture Notes in Computer Science, vol 8089. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-40206-7_17
Download citation
DOI: https://doi.org/10.1007/978-3-642-40206-7_17
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-40205-0
Online ISBN: 978-3-642-40206-7
eBook Packages: Computer ScienceComputer Science (R0)