BZPEERSource author record
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
Catalog footprint
Published work
Associated to any complex Wishart matrix W of parameters (dn,dm) and any linear map φ:Mn(C)→Mn(C) is the "block-modified" matrix W~=(id⊗φ)W. Following some previous work with Nechita, we study here the asymptotic ∗-distribution of W~, in the d→∞ limit, in the case where the modification map φ is "easy", or more generally super-easy, in the quantum algebra/representation theory sense. Under suitable assumptions on φ we obtain in this way a compound free Poisson law.
We study the matrix models π:C(SN+)→MN(C(X)) which are flat, in the sense that the standard generators of C(SN+) are mapped to rank 1 projections. Our first result is a generalization of the Pauli matrix construction at N=4, using finite groups and 2-cocycles. Our second result is the construction of a universal representation of C(SN+), inspired from the Sinkhorn algorithm, that we conjecture to be inner faithful.
We discuss a general duality principle, between noncommutative analogues of the standard cube Z2N, and nonocommutative analogues of the standard sphere SRN−1. This duality is by construction of algebraic geometric nature, and conjecturally connects the corresponding quantum isometry groups, taken in an affine sense.
We study the 10 noncommutative spheres obtained by liberating, twisting, and liberating+twisting the real and complex spheres SRN−1,SCN−1. At the axiomatic level, we show that, under very strong axioms, these 10 spheres are the only ones. Our main results concern the computation of the quantum isometry groups of these 10 spheres, taken in an affine real/complex sense. We formulate as well a proposal for an extended formalism, comprising 18 spheres.
The real sphere SRN−1 appears as increasing union, over d∈{1,...,N}, of its "polygonal" versions SRN−1,d−1={x∈SRN−1∣xi0...xid=0,∀i0,...,id distinct}. Motivated by general classification questions for the undeformed noncommutative spheres, smooth or not, we study here the quantum isometries of SRN−1,d−1, and of its various noncommutative analogues, obtained via liberation and twisting. We discuss as well a complex version of these results, with SRN−1 replaced by the complex sphere SCN−1.
We study the discrete quantum groups Γ whose group algebra has an inner faithful representation of type π:C∗(Γ)→MK(C). Such a representation can be thought of as coming from an embedding Γ⊂UK. Our main result, concerning a certain class of examples of such quantum groups, is an asymptotic convergence theorem for the random walk on Γ. The proof uses various algebraic and probabilistic techniques.
The partial isometries of RN,CN form compact semigroups ON,UN. We discuss here the liberation question for these semigroups, and for their discrete versions HN,KN. Our main results concern the construction of half-liberations HN×,KN×,ON×,UN× and of liberations HN+,KN+,ON+,UN+. We include a detailed algebraic and probabilistic study of all these objects, justifying our "half-liberation" and "liberation" claims.
It is known that, under strong combinatorial axioms, ON⊂ON∗⊂ON+ are the only orthogonal quantum groups. We prove here similar results for the noncommutative spheres SRN−1⊂SR,∗N−1⊂SR,+N−1, the noncommutative projective spaces PRN−1⊂PCN−1⊂P+N−1, and the projective orthogonal quantum groups PON⊂PON∗⊂PON+.
Associated to a complex Hadamard matrix H∈MN(C) is the complex probability measure μ∈P(C) describing the distribution of φ(a,b)=<a,Hb>, where a,b∈TN are random. This measure is called "glow" of the matrix, due to the analogy with the Gale-Berlekamp switching game, where H,a,b are real. We prove here that: (1) μ becomes complex Gaussian in the N→∞ limit, (2) the universality holds as well at order 2, (3) the order 3 term seems to be quite interesting, particularly for the master Hadamard matrices, (4) in the Fourier matrix case, some of the higher order terms control counting problems for circulant Hadamard matrices.
Given an Hadamard matrix H∈MN(±1) we consider the function φ:Z2N×Z2N→Z given by φ(a,b)=∑ijaibjHij, which sums the entries of the various conjugates of H, obtained by switching signs on rows and columns. Our claim is that φ, or just its probabilistic distribution μ∈P(Z), that we call "glow" of the matrix, should encode important information about H. We present here a number of results and conjectures in this direction, notably with a general decomposition result for μ.
The glow of an Hadamard matrix H∈MN(C) is the probability measure μ∈P(C) describing the distribution of φ(a,b)=<a,Hb>, where a,b∈TN are random. We prove that φ/N becomes complex Gaussian with N→∞, and that the universality holds as well at order 2. In the case of a Fourier matrix, FG∈MN(C) with ∣G∣=N, the universality holds up to order 4, and the fluctuations are encoded by certain subtle integrals, which appear in connection with several Hadamard-related questions. In the Walsh matrix case, G=Z2n, we conjecture that the glow is polynomial in N=2n.
Associated to an Hadamard matrix H∈MN(C) is the spectral measure μ∈P[0,N] of the corresponding Hopf image algebra, A=C(G) with G⊂SN+. We study here a certain family of discrete measures μr∈P[0,N], coming from the idempotent state theory of G, which converge in Cesàro limit to μ. Our main result is a duality formula of type ∫0N(x/N)pdμr(x)=∫0N(x/N)rdνp(x), where μr,νr are the truncations of the spectral measures μ,ν associated to H,Ht. We prove as well, using these truncations μr,νr, that for any deformed Fourier matrix H=FM⊗QFN we have μ=ν.
We investigate the problem of counting the real or complex Hadamard matrices which are circulant, by using analytic methods. Our main observation is the fact that for ∣q0∣=...=∣qN−1∣=1 the quantity Φ=∑i+k=j+lqjqlqiqk satisfies Φ≥N2, with equality if and only if q=(qi) is the eigenvalue vector of a rescaled circulant complex Hadamard matrix. This suggests three analytic problems, namely: (1) the brute-force minimization of Φ, (2) the study of the critical points of Φ, and (3) the computation of the moments of Φ. We explore here these questions, with some results and conjectures.
The N×N complex Hadamard matrices form a real algebraic manifold CN. The singularity at a point H∈CN is described by a filtration of cones TH×CN⊂TH∘CN⊂THCN⊂THCN, coming from the trivial, affine, smooth and first order deformations. We study here these cones in the case where H=FN is the Fourier matrix, (wij) with w=e2πi/N, our main result being a simple description of THCN. As a consequence, the rationality conjecture dimR(THCN)=dimQ(THCN∩MN(Q)) holds at H=FN.
This paper has been withdrawn by the authors, the main result being known since Lam and Leung, J. Algebra 2000.
We find an elementary proof for Voiculescu's theorem on the polar decomposition of circular variables.
The N×N complex Hadamard matrices form a real algebraic manifold CN. We have CN=MN(T)∩NUN, and following Tadej and Życzkowski we investigate here the computation of the enveloping tangent space THCN=THMN(T)∩THNUN, and notably of its dimension d(H)=dim(THCN), called undephased defect of H. Our main result is an explicit formula for the defect of the Fourier matrix FG associated to an arbitrary finite abelian group G=ZN1×...×ZNr. We also comment on the general question "does the associated quantum permutation group see the defect", with a probabilistic speculation involving Diaconis-Shahshahani type variables.
We develop a general theory of "almost Hadamard matrices". These are by definition the matrices H∈MN(R) having the property that U=H/N is orthogonal, and is a local maximum of the 1-norm on O(N). Our study includes a detailed discussion of the circulant case (Hij=γj−i) and of the two-entry case (Hij∈x,y), with the construction of several families of examples, and some 1-norm computations.
In our previous work, we introduced the following relaxation of the Hadamard property: a square matrix H∈MN(R) is called "almost Hadamard" if U=H/N is orthogonal, and locally maximizes the 1-norm on O(N). We review our previous results, notably with the formulation of a new question, regarding the circulant and symmetric case. We discuss then an extension of the almost Hadamard matrix formalism, by making use of the p-norm on O(N), with p∈[1,∞]−2, with a number of theoretical results on the subject, and the formulation of some open problems.
We study the partial transposition WΓ=(id⊗t)W∈Mdn(C) of a Wishart matrix W∈Mdn(C) of parameters (dn,dm). Our main result is that, with d→∞, the law of mWΓ is a free difference of free Poisson laws of parameters m(n±1)/2. Motivated by questions in quantum information theory, we also derive necessary and sufficient conditions for these measures to be supported on the positive half line.
We study the random matrices of type W~=(id⊗φ)W, where W is a complex Wishart matrix of parameters (dn,dm), and φ:Mn(C)→Mn(C) is a self-adjoint linear map. We prove that, under suitable assumptions, we have the d→∞ eigenvalue distribution formula δmW~∼πmnρ⊠ν, where ρ is the law of φ, viewed as a square matrix, π is the free Poisson law, ν is the law of D=φ(1), and δ=tr(D).
We study sequences of noncommutative random variables which are invariant under "quantum transformations" coming from an orthogonal quantum group satisfying the "easiness" condition axiomatized in our previous paper. For 10 easy quantum groups, we obtain de Finetti type theorems characterizing the joint distribution of any infinite quantum invariant sequence. In particular, we give a new and unified proof of the classical results of de Finetti and Freedman for the easy groups S_n, O_n, which is based on the combinatorial theory of cumulants. We also recover the free de Finetti theorem of Köstler and Speicher, and the characterization of operator-valued free semicircular families due to Curran. We consider also finite sequences, and prove an approximation result in the spirit of Diaconis and Freedman.
Given a quantum subgroup G⊂Un and a number k≤n we can form the homogeneous space X=G/(G∩Uk), and it follows from the Stone-Weierstrass theorem that C(X) is the algebra generated by the last n−k rows of coordinates on G. In the quantum group case the analogue of this basic result doesn't necessarily hold, and we discuss here its validity, notably with a complete answer in the group dual case. We focus then on the "easy quantum group" case, with the construction and study of several algebras associated to the noncommutative spaces of type X=G/(G∩Uk+).
We study the discrete groups Λ whose duals embed into a given compact quantum group, Λ^⊂G. In the matrix case G⊂Un+ the embedding condition is equivalent to having a quotient map ΓU→Λ, where F={ΓU∣U∈Un} is a certain family of groups associated to G. We develop here a number of techniques for computing F, partly inspired from Bichon's classification of group dual subgroups Λ^⊂Sn+. These results are motivated by Goswami's notion of quantum isometry group, because a compact connected Riemannian manifold cannot have non-abelian group dual isometries.
This is a presentation of recent work on quantum permutation groups, complex Hadamard matrices, and the connections between them. A long list of problems is included. We include as well some conjectural statements, about matrix models.
Motivated by the work of Goswami on quantum isometry groups of noncommutative manifolds we define the quantum symmetry group of a unital C*-algebra A equipped with an orthogonal filtration as the universal object in the category of compact quantum groups acting on A in a filtration preserving fashion. The existence of such a universal object is proved and several examples discussed. In particular we study the universal quantum group acting on the dual of the free group and preserving both the word length and the block length.
We study the integrals of type I(a)=∫On∏uijaijdu, depending on a matrix a∈Mp×q(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∈M2×q(2N) to the general case a∈Mp×q(N), (2) the construction of the "best algebraic normalization" of I(a), in the case a∈M2×q(N), (3) an explicit formula for I(a), for diagonal matrices a∈M3×3(N), (4) a modelling result in the case a∈M1×2(N), in relation with the Euler-Rodrigues formula. Most proofs use various combinatorial techniques.
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 S4=Z4S3 and has dimension 24. We show that, in fact, this is the smallest possible dimension that a non quantum permutation group can have.
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 ε/2, where ε is the uniform measure on the s-th roots of unity, and ε→ε 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.
We study the Gram matrix determinants for the groups Sn,On,Bn,Hn, for their free versions Sn+,On+,Bn+,Hn+, and for the half-liberated versions On∗,Hn∗. 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=∏πϕ(π), with product over all associated partitions.
We prove that we have an isomorphism of type Aaut(Cσ[G])≃Aaut(C[G])σ, for any finite group G, and any 2-cocycle σ on G. In the particular case G=Zn2, this leads to a Haar-measure preserving identification between the subalgebra of Ao(n) generated by the variables uij2, and the subalgebra of As(n2) generated by the variables Xij=∑a,b=1npia,jb. Since uij is "free hyperspherical" and Xij is "free hypergeometric", we obtain in this way a new free probability formula, which at n=∞ corresponds to the well-known relation between the semicircle law, and the free Poisson law.
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.
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.
The half-liberated orthogonal group On∗ appears as intermediate quantum group between the orthogonal group On, and its free version On+. 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 On∗ and Un, a non abelian discrete group playing the role of weight lattice for On∗, 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 On∗ has polynomial growth.
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.
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.
We present a compact formulation of the orthogonal Weingarten formula, with the traditional quantity I(i1,...,i2k:j1,...,j2k)=∫Onui1j1...ui2kj2kdu replaced by the more advanced quantity I(a)=∫OnΠuijaijdu, depending on a matrix of exponents a∈Mn(N). Among consequences, we establish a number of basic facts regarding the integrals I(a): vanishing conditions, possible poles, asymptotic behavior.
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→A⊗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⊗n, plus a coaction vn:A⊗n→A⊗n⊗H, for every n. The elements x satisfying vn(x)=x⊗1 are called fixed points of vn. They form a $\c^*$-algebra Qn(v). We prove that under suitable assumptions on v the graded union of the algebras Qn(v) is a spherical $\c^*$-planar algebra.
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.