Related papers: Homogeneous quantum groups and their easiness leve…

A closed subgroup $G\subset_uU_N^+$ is called easy when its associated Tannakian category $C_{kl}=Hom(u^{\otimes k},u^{\otimes l})$ appears from a category of partitions, $C=span(D)$ with $D=(D_{kl})\subset P$, via the standard…

Let $I=[0,1)$ and $\mathcal{PC}(I)$ [resp. $\mathcal{PC}^+(I)$] be the quotient group of the group of all piecewise continuous [resp. piecewise continuous and orientation preserving] bijections of $I$ by its normal subgroup consisting in…

Associated to any closed quantum subgroup $G\subset U_N^+$ and any index set $I\subset\{1,\ldots,N\}$ is a certain homogeneous space $X_{G,I}\subset S^{N-1}_{\mathbb C,+}$, called affine homogeneous space. We discuss here the abstract…

This is an introduction to the quantum groups, or rather to the simplest quantum groups. The idea is that the unitary group $U_N$ has a free analogue $U_N^+$, whose standard coordinates $u_{ij}\in C(U_N^+)$ are allowed to be free, and the…

Given a quantum subgroup $G\subset U_n$ and a number $k\leq n$ we can form the homogeneous space $X=G/(G\cap U_k)$, and it follows from the Stone-Weierstrass theorem that $C(X)$ is the algebra generated by the last $n-k$ rows of coordinates…

A group $G$ is integrable if it is isomorphic to the derived subgroup of a group $H$; that is, if $H'\simeq G$, and in this case $H$ is an integral of $G$. If $G$ is a subgroup of $U$, we say that $G$ is integrable within $U$ if $G=H'$ for…

It is well-known that any compact Lie group appears as closed subgroup of a unitary group, $G\subset U_N$. The unitary group $U_N$ has a free analogue $U_N^+$, and the study of the closed quantum subgroups $G\subset U_N^+$ is a problem of…

One of the central issues in the hidden subgroup problem is to bound the sample complexity, i.e., the number of identical samples of coset states sufficient and necessary to solve the problem. In this paper, we present general bounds for…

We prove that the pure state space is homogeneous under the action of the group of asymptotically inner automorphisms for all the separable simple nuclear C*-algebras. If simplicity is not assumed for the C*-algebras, the set of pure states…

We propose a new approach to the half-liberation question, for the compact groups $T_N\subset G_N\subset U_N$, where $T_N=\mathbb Z_2^N$. Indeed, we can construct a quantum group $T_N^*\subset G_N^*\subset U_N^*$, simply by setting…

We study the intermediate quantum groups $H_N\subset G\subset U_N^+$. The basic examples are $H_N,K_N,O_N,U_N,H_N^+,K_N^+,O_N^+,U_N^+$, which form a cube. Any other example $G$ sits inside the cube, and by using standard operations, namely…

The hidden subgroup problem ($\mathsf{HSP}$) has been attracting much attention in quantum computing, since several well-known quantum algorithms including Shor algorithm can be described in a uniform framework as quantum methods to address…

Let $\mathscr{C}$ be a symmetric tensor category of moderate growth, and let $\mathcal{H}\subseteq\mathcal{G}$ be algebraic groups in $\mathscr{C}$. We prove that the homogeneous space $\mathcal{G}/\mathcal{H}$ exists and is of finite type…

We prove that the quantum group inclusion $O_n \subset O_n^*$ is "maximal", where $O_n$ is the usual orthogonal group and $O_n^*$ is the half-liberated orthogonal quantum group, in the sense that there is no intermediate compact quantum…

We study the intermediate liberation problem for the real and complex unitary and reflection groups, namely $O_N,U_N,H_N,K_N$. For any of these groups $G_N$, the problem is that of understanding the structure of the intermediate quantum…

In 2009, Banica and Speicher began to study the compact quantum subgroups of the free orthogonal quantum group containing the symmetric group S_n. They focused on those whose intertwiner spaces are induced by some partitions. These…

The permutation group $S_N$ has a quantum analogue $S_N^+$, which is infinite at $N\geq4$. We review the known facts regarding $S_N^+$, and notably its easiness property, Weingarten calculus, and the isomorphism $S_4^+=SO_3^{-1}$ and its…

The complexity of a homogeneous space $G/H$ under a reductive group $G$ is by definition the codimension of generic orbits in $G/H$ of a Borel subgroup $B\subseteq G$. We give a representation-theoretic interpretation of this number as the…

A semigroup is completely simple if it has no proper ideals and contains a primitive idempotent. We say that a completely simple semigroup $S$ is a homogeneous completely simple semigroup if any isomorphism between finitely generated…

We introduce the notion of confined subalgebras in the context of the group von Neumann algebra. We also define Uniformly Recurrent States -- an operator-algebraic analog of Uniformly Recurrent Subgroups. Using this framework, we show that…