arXiv subjects
Publications and source records attributed to Teodor Banica.
We prove that the Pauli representation of the quantum permutation algebra $A_s(4)$ is faithful. This provides the second known model for a free quantum algebra. We use this model for performing some computations, with the main result that at the level of laws of diagonal coordinates, the Lebesgue measure appears between the Dirac mass and the free Poisson law.
We study the free complexification operation for compact quantum groups, $G\to G^c$. We prove that, with suitable definitions, this induces a one-to-one correspondence between free orthogonal quantum groups of infinite level, and free unitary quantum groups satisfying $G=G^c$.
We find explicit formulae for the circular spectral measures of $E_7,E_8$. This leads to a number of general observations regarding the ADE circular measures: these are linear combinations of measures supported by the roots of unity, with real density given by certain degree 3 polynomials.
We classify the compact quantum groups acting on 4 points. These are the quantum subgroups of the quantum permutation group $\mathcal Q_4$. Our main tool is a new presentation for the algebra $\rm C(\mathcal Q_4)$, corresponding to an isomorphism of type $\mathcal Q_4\simeq SO_{-1}(3)$. The quantum subgroups of $\mathcal Q_4$ are subject to a McKay type correspondence, that we describe at the level of algebraic invariants.
We consider the hypercube in $\mathbb R^n$, and show that its quantum symmetry group is a $q$-deformation of $O_n$ at $q=-1$. Then we consider the graph formed by $n$ segments, and show that its quantum symmetry group is free in some natural sense. This latter quantum group, denoted $H_n^+$, enlarges Wang's series $S_n^+,O_n^+,U_n^+$.
This is a presentation of recent work on quantum permutation groups. Contains: a short introduction to operator algebras and Hopf algebras; quantum permutation groups, and their basic properties; diagrams, integration formulae, asymptotic laws, matrix models; the hyperoctahedral quantum group, free wreath products, quantum automorphism groups of finite graphs, graphs having no quantum symmetry; complex Hadamard matrices, cocycle twists of the symmetric group, quantum groups acting on 4 points; remarks and comments.
We study quantum automorphism groups of vertex-transitive graphs having less than 11 vertices. With one possible exception, these can be obtained from cyclic groups ${\mathbb Z}_n$, symmetric groups $S_n$ and quantum symmetric groups $\mathcal Q_n$, by using various product operations. The exceptional case is that of the Petersen graph, and we present some questions about it.
To any complex Hadamard matrix we associate a quantum permutation group. The correspondence is not one-to-one, but the quantum group encapsulates a number of subtle properties of the matrix. We investigate various aspects of the construction: compatibility to product operations, characterization of matrices which give usual groups, explicit computations for small matrices.
We find a combinatorial formula for the Haar measure of quantum permutation groups. This leads to a dynamic formula for laws of diagonal coefficients, explaining the Poisson/free Poisson convergence result for characters.
We consider circulant graphs having $p$ vertices, with $p$ prime. To any such graph we associate a certain number $k$, that we call type of the graph. We prove that for $p>>k$ the graph has no quantum symmetry, in the sense that the quantum automorphism group reduces to the classical automorphism group.
We find a combinatorial formula for the Haar functional of the orthogonal and unitary quantum groups. As an application, we consider diagonal coefficients of the fundamental representation, and we investigate their spectral measures.
The principal graph $X$ of a subfactor with finite Jones index is one of the important algebraic invariants of the subfactor. If $Δ$ is the adjacency matrix of $X$ we consider the equation $Δ=U+U^{-1}$. When $X$ has square norm $\leq 4$ the spectral measure of $U$ can be averaged by using the map $u\to u^{-1}$, and we get a probability measure $ε$ on the unit circle which does not depend on $U$. We find explicit formulae for this measure $ε$ for the principal graphs of subfactors with index $\le 4$, the (extended) Coxeter-Dynkin graphs of type $A$, $D$ and $E$. The moment generating function of $ε$ is closely related to Jones' $Θ$-series.
Associated to a finite graph $X$ is its quantum automorphism group $G(X)$. We prove a formula of type $G(X*Y)=G(X)*_wG(Y)$, where $*_w$ is a free wreath product. Then we discuss representation theory of free wreath products, with the conjectural formula $μ(G*_wH)=μ(G)\boxtimesμ(H)$, where $μ$ is the associated spectral measure. This is verified in two situations: one using free probability techniques, the other one using planar algebras.
The quantum permutation group of the set $X_n=\{1,..., n\}$ corresponds to the Hopf algebra $A_{aut}(X_n)$. This is an algebra constructed with generators and relations, known to be isomorphic to $\cc (S_n)$ for $n\leq 3$, and to be infinite dimensional for $n\geq 4$. In this paper we find an explicit representation of the algebra $A_{aut}(X_n)$, related to Clifford algebras. For $n=4$ the representation is faithful in the discrete quantum group sense.
Associated to a finite graph $X$ is its quantum automorphism group $G$. The main problem is to compute the Poincaré series of $G$, meaning the series $f(z)=1+c_1z+c_2z^2+...$ whose coefficients are multiplicities of 1 into tensor powers of the fundamental representation. In this paper we find a duality between certain quantum groups and planar algebras, which leads to a planar algebra formulation of the problem. Together with some other results, this gives $f$ for all homogeneous graphs having 8 vertices or less.
We study actions of ``compact quantum groups'' on ``finite quantum spaces''. According to Woronowicz and to general $\c^*$-algebra philosophy these correspond to certain coactions $v:A\to A\otimes H$. Here $A$ is a finite dimensional $\c^*$-algebra, and $H$ is a certain special type of Hopf *-algebra. If $v$ preserves a positive linear form $ϕ:A\to\c$, a version of Jones' ``basic construction'' applies. This produces a certain $\c^*$-algebra structure on $A^{\otimes n}$, plus a coaction $v_n :A^{\otimes n}\to A^{\otimes n}\otimes H$, for every $n$. The elements $x$ satisfying $v_n(x)=x\otimes 1$ are called fixed points of $v_n$. They form a $\c^*$-algebra $Q_n(v)$. We prove that under suitable assumptions on $v$ the graded union of the algebras $Q_n(v)$ is a spherical $\c^*$-planar algebra.
To any finite metric space $X$ we associate the universal Hopf $\c^*$-algebra $H$ coacting on $X$. We prove that spaces $X$ having at most 7 points fall into one of the following classes: (1) the coaction of $H$ is not transitive; (2) $H$ is the algebra of functions on the automorphism group of $X$; (3) $X$ is a simplex and $H$ corresponds to a Temperley-Lieb algebra; (4) $X$ is a product of simplexes and $H$ corresponds to a Fuss-Catalan algebra.
The categories of representations of compact quantum groups of automorphisms of certain inclusions of finite dimensional C*-algebras are shown to be isomorphic to the categories of Fuss-Catalan diagrams.