Discrete quantum structures II: Examples

  • Andre Kornell

    Tulane University, New Orleans, USA
Discrete quantum structures II: Examples cover
Download PDF

This article is published open access under our Subscribe to Open model.


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.

Cite this article

Andre Kornell, Discrete quantum structures II: Examples. J. Noncommut. Geom. 18 (2024), no. 2, pp. 411–450

DOI 10.4171/JNCG/533