Abstract
This paper formulates a notion of independence of subobjects of an object in a general (i.e., not necessarily concrete) category. Subobject independence is the categorial generalization of what is known as subsystem independence in the context of algebraic relativistic quantum field theory. The content of subobject independence formulated in this paper is morphism co-possibility: two subobjects of an object will be defined to be independent if any two morphisms on the two subobjects of an object are jointly implementable by a single morphism on the larger object. The paper investigates features of subobject independence in general, and subobject independence in the category of C*-algebras with respect to operations (completely positive unit preserving linear maps on C*-algebras) as morphisms is suggested as a natural subsystem independence axiom to express relativistic locality of the covariant functor in the categorial approach to quantum field theory.
Article PDF
Similar content being viewed by others
References
Araki, H.: Mathematical Theory of Quantum Fields, volume 101 of International Series of Monograps in Physics. Oxford University Press, Oxford (1999) [Originally published in Japanese by Iwanami Shoten Publishers, Tokyo (1993)]
Arveson, W.: Subalgebras of C *-algebras. Acta Math. 123, 141–224 (1969)
Awodey S.: Category Theory, 2nd edn. Oxford University Press, Oxford (2010)
Blackadar B.: Operator Algebras: Theory of C*-Algebras and von Neumann Algebras. Encyclopaedia of Mathematical Sciences, 1st edn. Springer, Berlin (2005)
Brunetti, R., Fredenhagen, K.: Algebraic approach to quantum field theory. In: Francoise, J.-P., Naber, G.L., Tsun, T.S. (eds.) Elsevier Encyclopedia of Mathematical Physics, pp. 198–204. Academic Press, Amsterdam (2006). arXiv:math-ph/0411072
Brunetti, R., Fredenhagen, K.: Quantum field theory on curved backgrounds. In: Bär, C., Fredenhagen, K. (eds.) Quantum Field Theory on Curved Spacetimes, volume 786 of Lecture Notes in Physics, chapter 5, pp. 129–155. Springer, Heidelberg (2009)
Brunetti R., Fredenhagen K., Paniz I., Rejzner K.: The locality axiom in quantum field theory and tensor products of C *-algebras. Rev. Math. Phys. 26, 1450010 (2014). arXiv:1206.5484 [math-ph]
Brunetti R., Fredenhagen K., Verch R.: The generally covariant locality principle—a new paradigm for local quantum field theory. Commun. Math. Phys. 237, 31–68 (2003) arXiv:math-ph/0112041
Buchholz, D.: Algebraic quantum field theory: a status report. In: Grigoryan, A., Fokas, A., Kibble, T., Zegarlinski, B. (eds.) XIIIth International Congress on Mathematical Physics, Imperial College, London, UK, pp. 31–46. International Press of Boston, Sommervile, MA, USA (2001). arXiv:math-ph/0011044
Buchholz D., Haag R.: The quest for understanding in relativistic quantum physics. J. Math. Phys. 41, 3674–3697 (2000) arXiv:hep-th/9910243
Buchholz D., Summers S.J.: Quantum statistics and locality. Phys. Lett. A 337, 17–21 (2005)
Franz, U.: What is stochastic independence? In: Obata, N., Matsui, T., Hora, A., Kenkyūjo, S.K., Daigaku, K. (eds.) Non-commutativity, Infinite-dimensionality and Probability at the Crossroads: Proceedings of the RIMS Workshop on Infinite-Dimensional Analysis and Quantum Probability: Kyoto, Japan, 20–22 November, 2001, QP–PQ Quantum Probability and White Noise Analysis, pp. 254–274. World Scientific (2002). arXiv:math/0206017
Fredenhagen K.: Lille 1957: the birth of the concept of local algebras of observables. Eur. Phys. J. H 35, 239–241 (2010)
Fredenhagen K., Reijzner K.: Quantum field theory on curved spacetimes: axiomatic framework and examples. J. Math. Phys. 57, 031101 (2016)
Fredenhagen, K., Rejzner K.: Local covariance and background independence. In: Finster, F., Müller, O., Nardmann, M., Tolksdorf, J., Zeidler, E. (eds.) Quantum Field Theory and Gravity. Conceptual and Mathematical Advances in the Search for a Unified Framework, pp. 15–24. Birkhäuser, Springer, Basel (2012). arXiv:1102.2376 [math-ph]
Haag R.: Local Quantum Physics: Fields, Particles, Algebras. Springer, Berlin (1992)
Haag, R.: Discussion of the ‘axioms’ and the asymptotic properties of a local field theory with composite particles. Eur. Phys. J. H. 35, 243–253 (2010) (English translation and re-publication of a talk given at the international conference on mathematical problems of the quantum theory of fields, Lille, June 1957)
Haag R.: Local algebras. A look back at the early years and at some achievements and missed opportunities. Eur. Phys. J. H 35, 255–261 (2010)
Haag R., Kastler D.: An algebraic approach to quantum field theory. J. Math. Phys. 5, 848–861 (1964)
Horuzhy S.S.: Introduction to Algebraic Quantum Field Theory. Kluwer Academic Publishers, Dordrecht (1990)
Kalmbach G.: Orthomodular Lattices. Academic Press, London (1983)
Kraus K.: States, Effects and Operations, volume 190 of Lecture Notes in Physics. Springer, New York (1983)
Maeda F.: Direct sums and normal ideals of lattices. J. Sci. Hiroshima Univ. Ser. A 14, 85–92 (1949)
Paulsen V.: Completely Bounded Maps and Operator Algebras, volume 78 of Cambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge (2003)
Pierce, R.S.: Introduction to the Theory of Abstract Algebras. Dover Publications, New York (2014) (Originally published by Holt, Rinehart and Winston, Inc., New York, 1968)
Rédei M.: Logical independence in quantum logic. Found. Phys. 25, 411–422 (1995)
Rédei M.: Logically independent von Neumann lattices. Int. J. Theor. Phys. 34, 1711–1718 (1995)
Rédei, M.: Quantum Logic in Algebraic Approach, volume 91 of Fundamental Theories of Physics. Kluwer Academic Publisher, Dordrecht (1998)
Rédei M.: Operational independence and operational separability in algebraic quantum mechanics. Found. Phys. 40, 1439–1449 (2010)
Rédei M.: A categorial approach to relativistic locality. Stud. Hist. Philos. Mod. Phys. 48, 137–146 (2014)
Rédei, M.: Categorial local quantum physics. In: Butterfield, J., Halvorson, H., Rédei, M., Kitajima, J., Buscemi, F., Ozawa, M. (eds.) Reality and Measurement in Algebraic Quantum Theory, Proceedings in Mathematics and Statistics (PROMS). Springer (2018) (forthcoming)
Rédei, M., Summers, S.J.: When are quantum systems operationally independent? Int. J. Theor. Phys. 49, 3250–3261 (2010)
Rédei, M., Valente, G.: How local are local operations in local quantum field theory? Stud. Hist. Philos. Mod. Phys. 41, 346–353 (2010)
Summers S.J.: On the independence of local algebras in quantum field theory. Rev. Math. Phys. 2, 201–247 (1990)
Summers S.J.: Subsystems and independence in relativistic microphysics. Stud. Hist. Philos. Mod. Phys. 40, 133–141 (2009). arXiv:0812.1517 [quant-ph]
Summers, S.J.: A perspective on constructive quantum field theory (2012). arXiv:1203.3991 [math-ph] (This is an expanded version of an article commissioned for UNESCO’s Encyclopedia of Life Support Systems (EOLSS))
Weinberg S.: The Quantum Theory of Fields, vol. 1: Foundations. Cambridge University Press, Cambridge (1995)
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by D. Buchholz, K. Fredenhagen, Y. Kawahigashi
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Gyenis, Z., Rédei, M. Categorial Subsystem Independence as Morphism Co-possibility. Commun. Math. Phys. 357, 447–465 (2018). https://doi.org/10.1007/s00220-017-2940-8
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00220-017-2940-8