Discrete quantum structures. II: Examples (Q6123803)
From MaRDI portal
scientific article; zbMATH DE number 7828323
Language | Label | Description | Also known as |
---|---|---|---|
English | Discrete quantum structures. II: Examples |
scientific article; zbMATH DE number 7828323 |
Statements
Discrete quantum structures. II: Examples (English)
0 references
8 April 2024
0 references
Summary: Part I of this paper established the basic properties of quantum predicate logic as the internal logic of discrete quantum structures. We now show that a majority of the established quantum generalizations of discrete structures are naturally axiomatizable within this internal logic. In particular, we axiomatize the quantum graphs of Duan, Severini, and Winter, the quantum metric spaces of Kuperberg and Weaver, the quantum isomorphisms of Atserias, Mančinska, Roberson, Šámal, Severini, and Varvitsiotis, and the quantum groups of Woronowicz. In each instance, we consider only those structures that are discrete in the sense that the underlying von Neumann algebra is hereditarily atomic. For Part I, see [\textit{A. Kornell}, J. Noncommut. Geom. 18, No. 1, 337--382 (2024; \url{doi:10.4171/JNCG/531})].
0 references
quantum graph
0 references
quantum group
0 references
quantum isomorphism
0 references
quantum metric
0 references
quantum relation
0 references
quantum set
0 references
0 references