arXiv subjects

Teodor Banica

Publications and source records attributed to Teodor Banica.

At least 73 records · Page 4Linked to original sources

arXiv2011

Quantum isometry groups of duals of free powers of cyclic groups

We study the quantum isometry groups of the noncommutative Riemannian manifolds associated to discrete group duals. The basic representation theory problem is to compute the law of the main character of the relevant quantum group, and our main result here is as follows: for the group Z_s^{*n}, with s>4 and n>1, half of the character follows the compound free Poisson law with respect to the measure $\underlineε$/2, where $ε$ is the uniform measure on the s-th roots of unity, and $ε\to\underlineε$ is the canonical projection map from complex to real measures. We discuss as well a number of technical versions of this result, notably with the construction of a new quantum group, which appears as a "representation-theoretic limit", at s equal to infinity.

math.OA↗

arXiv2011

Finite quantum groups and quantum permutation groups

We give examples of finite quantum permutation groups which arise from the twisting construction or as bicrossed products associated to exact factorizations in finite groups. We also give examples of finite quantum groups which are not quantum permutation groups: one such example occurs as a split abelian extension associated to the exact factorization $\mathbb S_4 = \mathbb Z_4 \mathbb S_3$ and has dimension 24. We show that, in fact, this is the smallest possible dimension that a non quantum permutation group can have.

math.QA↗

arXiv2011

Combinatorial aspects of orthogonal group integrals

We study the integrals of type $I(a)=\int_{O_n}\prod u_{ij}^{a_{ij}}\,du$, depending on a matrix $a\in M_{p\times q}(\mathbb N)$, whose exact computation is an open problem. Our results are as follows: (1) an extension of the "elementary expansion" formula from the case $a\in M_{2\times q}(2\mathbb N)$ to the general case $a\in M_{p\times q}(\mathbb N)$, (2) the construction of the "best algebraic normalization" of $I(a)$, in the case $a\in M_{2\times q}(\mathbb N)$, (3) an explicit formula for $I(a)$, for diagonal matrices $a\in M_{3\times 3}(\mathbb N)$, (4) a modelling result in the case $a\in M_{1\times 2}(\mathbb N)$, in relation with the Euler-Rodrigues formula. Most proofs use various combinatorial techniques.

math.CO↗

arXiv2010

On polynomial integrals over the orthogonal group

We consider integrals of type $\int_{O_n}u_{11}^{a_1}... u_{1n}^{a_n}u_{21}^{b_1}... u_{2n}^{b_n} du$, with respect to the Haar measure on the orthogonal group. We establish several remarkable invariance properties satisfied by such integrals, by using combinatorial methods. We present as well a general formula for such integrals, as a sum of products of factorials.

math-ph↗

arXiv2010

Decomposition results for Gram matrix determinants

We study the Gram matrix determinants for the groups $S_n,O_n,B_n,H_n$, for their free versions $S_n^+,O_n^+,B_n^+,H_n^+$, and for the half-liberated versions $O_n^*,H_n^*$. We first collect all the known computations of such determinants, along with complete and simplified proofs, and with generalizations where needed. We conjecture that all these determinants decompose as $D=\prod_πϕ(π)$, with product over all associated partitions.

math.QA↗

arXiv2010

Two-parameter families of quantum symmetry groups

We introduce and study natural two-parameter families of quantum groups motivated on one hand by the liberations of classical orthogonal groups and on the other by quantum isometry groups of the duals of the free groups. Specifically, for each pair (p,q) of non-negative integers we define and investigate quantum groups O^+(p,q), B^+(p,q), S^+(p,q) and H^+(p,q) corresponding to, respectively, orthogonal groups, bistochastic groups, symmetric groups and hyperoctahedral groups. In the first three cases the new quantum groups turn out to be related to the (dual free products of) free quantum groups studied earlier. For H^+(p,q) the situation is different: we show that H^+(p,0) is isomorphic to the quantum isometry group of the C*-algebra of the free group and it can be viewed as a liberation of the classical isometry group of the p-dimensional torus.

math.OA↗

arXiv2010

Quantum automorphisms of twisted group algebras and free hypergeometric laws

We prove that we have an isomorphism of type $A_{aut}(\mathbb C_σ[G])\simeq A_{aut}(\mathbb C[G])^σ$, for any finite group $G$, and any 2-cocycle $σ$ on $G$. In the particular case $G=\mathbb Z_n^2$, this leads to a Haar-measure preserving identification between the subalgebra of $A_o(n)$ generated by the variables $u_{ij}^2$, and the subalgebra of $A_s(n^2)$ generated by the variables $X_{ij}=\sum_{a,b=1}^np_{ia,jb}$. Since $u_{ij}$ is "free hyperspherical" and $X_{ij}$ is "free hypergeometric", we obtain in this way a new free probability formula, which at $n=\infty$ corresponds to the well-known relation between the semicircle law, and the free Poisson law.

math.QA↗

arXiv2009

Hopf images and inner faithful representations

We develop a general theory of Hopf image of a Hopf algebra representation, with the associated concept of inner faithful representation, modelled on the notion of faithful representation of a discrete group. We study several examples, including group algebras, enveloping algebras of Lie algebras, pointed Hopf algebras, function algebras, twistings and cotwistings, and we present a Tannaka duality formulation of the notion of Hopf image.

math.QA↗

arXiv2009

The orthogonal Weingarten formula in compact form

We present a compact formulation of the orthogonal Weingarten formula, with the traditional quantity $I(i_1,...,i_{2k}:j_1,...,j_{2k}) = \int_{O_n}u_{i_1j_1} ... u_{i_{2k}j_{2k}} du$ replaced by the more advanced quantity $I(a)=\int_{O_n}Πu_{ij}^{a_{ij}} du$, depending on a matrix of exponents $a\in M_n(\mathbb N)$. Among consequences, we establish a number of basic facts regarding the integrals $I(a)$: vanishing conditions, possible poles, asymptotic behavior.

math.CA↗

arXiv2009

Invariants of the half-liberated orthogonal group

The half-liberated orthogonal group $O_n^*$ appears as intermediate quantum group between the orthogonal group $O_n$, and its free version $O_n^+$. We discuss here its basic algebraic properties, and we classify its irreducible representations. The classification of representations is done by using a certain twisting-type relation between $O_n^*$ and $U_n$, a non abelian discrete group playing the role of weight lattice for $O_n^*$, and a number of methods inspired from the theory of Lie algebras. We use these results for showing that the discrete quantum group dual to $O_n^*$ has polynomial growth.

math.QA↗

arXiv2009

Stochastic aspects of easy quantum groups

We consider several orthogonal quantum groups satisfying the easiness assumption axiomatized in our previous paper. For each of them we discuss the computation of the asymptotic law of Tr(u^k) with respect to the Haar measure, u being the fundamental representation. For the classical groups O_n, S_n we recover in this way some well-known results of Diaconis and Shahshahani.

math.OA↗

arXiv2009

Quantum isometries and noncommutative spheres

We introduce and study two new examples of noncommutative spheres: the half-liberated sphere, and the free sphere. Together with the usual sphere, these two spheres have the property that the corresponding quantum isometry group is "easy", in the representation theory sense. We present as well some general comments on the axiomatization problem, and on the "untwisted" and "non-easy" case.

math.OA↗

arXiv2009

Liberation of orthogonal Lie groups

We show that under suitable assumptions, we have a one-to-one correspondence between classical groups and free quantum groups, in the compact orthogonal case. We classify the groups under correspondence, with the result that there are exactly 6 of them: $O_n,S_n,H_n,B_n,S_n',B_n'$. We investigate the representation theory aspects of the correspondence, with the result that for $O_n,S_n,H_n,B_n$, this is compatible with the Bercovici-Pata bijection. Finally, we discuss some more general classification problems in the compact orthogonal case, notably with the construction of a new quantum group.

math.QA↗

arXiv2009

On orthogonal matrices maximizing the 1-norm

For $U\in O(N)$ we have $||U||_1\leq N\sqrt{N}$, with equality if and only if $U=H/\sqrt{N}$, with $H$ Hadamard matrix. Motivated by this remark, we discuss in this paper the algebraic and analytic aspects of the computation of the maximum of the 1-norm on O(N). The main problem is to compute the $k$-th moment of the 1-norm, with $k\to\infty$, and we present a number of general comments in this direction.

math.FA↗

arXiv2009

Representations of quantum permutation algebras

We develop a combinatorial approach to the quantum permutation algebras, as Hopf images of representations of type $π:A_s(n)\to B(H)$. We discuss several general problems, including the commutativity and cocommutativity ones, the existence of tensor product or free wreath product decompositions, and the Tannakian aspects of the construction. The main motivation comes from the quantum invariants of the complex Hadamard matrices: we show here that, under suitable regularity assumptions, the computations can be performed up to $n=6$.

math.OA↗

arXiv2008

Growth estimates for discrete quantum groups

We discuss the notion of growth for discrete quantum groups, with a number of general considerations, and with some explicit computations. Of particular interest is the quantum analogue of Gromov's estimate regarding polynomial growth: we formulate the precise question, and we verify it for the duals of classical Lie groups.

math.OA↗

arXiv2008

Fusion rules for quantum reflection groups

We find the fusion rules for the quantum analogues of the complex reflection groups $H_n^s=\mathbb Z_s\wr S_n$. The irreducible representations can be indexed by the elements of the free monoid $\mathbb N^{*s}$, and their tensor products are given by formulae which remind the Clebsch-Gordan rules (which appear at $s=1$).

math.OA↗

arXiv2008

Free Bessel laws

We introduce and study a remarkable family of real probability measures $π_{st}$, that we call free Bessel laws. These are related to the free Poisson law $π$ via the formulae $π_{s1}=π^{\boxtimes s}$ and $π_{1t}=π^{\boxplus t}$. Our study includes: definition and basic properties, analytic aspects (supports, atoms, densities), combinatorial aspects (functional transforms, moments, partitions), and a discussion of the relation with random matrices and quantum groups.

math.PR↗