Quantum sets

TL;DR

This paper introduces quantum sets as collections of finite-dimensional Hilbert spaces, forming a dagger compact category that generalizes classical sets and functions, with applications to quantum graph coloring.

Contribution

It defines quantum sets and functions within a dagger compact category framework, connecting noncommutative mathematics to quantum information theory.

Findings

Quantum sets form a dagger compact category.

Functions between quantum sets are characterized as binary relations.

Quantum graph coloring aligns with existing quantum information theory concepts.

Abstract

A quantum set is defined to be simply a set of nonzero finite-dimensional Hilbert spaces. Together with binary relations, essentially the quantum relations of Weaver, quantum sets form a dagger compact category. Functions between quantum sets are certain binary relations that can be characterized in terms of this dagger compact structure, and the resulting category of quantum sets and functions generalizes the category of ordinary sets and functions in the manner of noncommutative mathematics. In particular, this category is dual to a subcategory of von Neumann algebras. The basic properties of quantum sets are presented thoroughly, with the noncommutative dictionary in mind, and with an eye to convenient application. As a motivating example, a notion of quantum graph coloring is derived within this framework, and it is shown to be equivalent to the notion that appears in the quantum information theory literature.