Free quantum analogue of Coxeter group \(D_4\) (Q2136923)

In this article, a free quantum version \(D_4^+\) of the Coxeter group of type \(D_4\) is constructed. It is defined as a compact matrix quantum group in the sense of [\textit{S. L. Woronowicz}, Commun. Math. Phys. 111, 613--665 (1987; Zbl 0627.58034)] corresponding to a certain partition category via the Tannaka-Krein duality from [\textit{S. L. Woronowicz}, Invent. Math. 93, No. 1, 35--76 (1988; Zbl 0664.58044)]. The author also provides a combinatorial description of the representation category of \(D_4^+\) using the framework of bi-labeled graphs introduced in [\textit{L. Mančinska} and \textit{D. E. Roberson}, ``Quantum isomorphism is equivalent to equality of homomorphism counts from planar graphs'', in: Proceedings of the 61st annual IEEE symposium on foundations of computer science, FOCS 2020, virtual conference, November 16--19, 2020. Los Alamitos, CA: IEEE Computer Society. 661--672 (2020; \url{doi:10.1109/FOCS46700.2020.00067})].