Arxiv:1710.06123V1 [Math.OA] 17 Oct 2017 Prtralgebra

arXiv:1710.06123v1 [math.OA] 17 Oct 2017 prtralgebra. operator h uhri upre yT akSineFellowship. Science Park TJ by supported is author The ut fteter frno ore eis ti nipoeeto improvement an is [Lit26]. It circle series. on Fourier work random of theory the [Pis of sults analysis harmonic of f topics space-valued been various Banach has to for it [Rid75]. applied Moreover, and valid be can be [MP81]. studies and to these [Kwa76] out [FTR66], turned [MP7 groups and results compact [Mar78] [Fer75], the [Dud67], of [Hun51], most [SZ54], [Kah93], [PZ32], time of and qiaetirdcbeuiayrpeettoso opc group compact a of representations unitary irreducible equivalent h ore-tete eisof series Fourier-Stieltjes the rdc group product atclr rgeshsbe aei eerho admFourier random on research in made been has progress particular, ore offiinsof coefficients Fourier o any for ae K0] Ks1,[V3 n amncaayi nqatmgroup [FHL quantum [Cas13], b on in has analysis studied groups harmonic vigorously and quantum been [KV03] topological [Kus01], of [KV00], theory vated the groups, quantum hoe 1.1 Theorem f HOE O ADMFUIRSRE NCOMPACT ON SERIES FOURIER RANDOM FOR THEOREM A P 2010 hogotti ae,w eoeb Irr by denote we o paper, one this is Throughout paper, this of subject a is which [Hel57], Helgason of theorem A for studied extensively been has theory series Fourier random The e od n phrases. and words Key fe h ok fSWrnwc,wihae[o8a,[o8b for [Wor87b] [Wor87a], are which S.Woronowicz, of works the After M n π p G ahmtc ujc Classification. Subject Mathematics stedmninof dimension the is U r in are group sa prtralgebra. s comp operator to of an results algebras as obtained convolution the for apply problem and representability groups quantum compact of Abstract. q ups htteeexists there that Suppose . p “ M U G π π SHlao,[Hel57]) (S.Helgason, p hudb in be should P G q ź Irr π q P eepoeantrlaaou ftetermi h framewor the in theorem the of analogue natural a explore We . egsnsoe htagvnmeasure given a that showed Helgason p G p G q P f U U P p admFuirsre,cmatqatmgop o self-adj non group, quantum compact series, Fourier Random n Then . M π π f q L UNU GROUPS QUANTUM π p ÿ 2 G P P where „ p f G p G q Irr . AGGU YOUN SANG-GYUN 1. n π q P P π p uoaial falrno ore eisof series Fourier random all if automatically Irr ÿ tr G Introduction M µ U p . p q G U f lo ednt by denote we Also, . p p p Let G rmr 68,Scnay2G2 43A30. 20G42, Secondary 46L89, Primary q p d P n π q q 1 π ` q where , M stegopo ntr arcso size of matrices unitary of group the is ˚ tr G 7,[M1] JP1]ad[o1] In [You18]. and [JPPP17] [JMP14], 17], f p p p p p G f eacmatgopadfi measure a fix and group compact a be G p π p q qă8 ă qq q π uhthat such q aia aiyo uulyin- mutually of family maximal a π p f p p x p π qq f . qq P π M P c unu groups quantum act µ Irr U p G p „ G q uycomplete tudy q nacompact a on π ÿ stesqec of sequence the is P h Littlewood’s the f G p G e ral ele- greatly een n eis[Wan17]. series π n by and ogperiod long a tr ucin on functions 7,[Pis78] 77], p U udthat ound a also has s f k π compact h re- the f f p ]and 8] p U π q oint the π p d x qq The main purpose of this paper is to generalize Theorem 1.1 in the framework of compact quantum groups in a natural manner through mobilizing well-known studies on stochastic behavior of some special vector-valued random variables(e.g. Rademacher and Gaussian variables), namely the non-commutative Khintchine inequalities [LP86], [LPP91] and (co-)type studies [TJ74], [Fac87]. The Fourier analysis on compact quantum groups has been developed in respect of traditional philosophy of the Fourier analysis on compact groups to large extent. However, a visible difference appears in the Fourier expansion. In fact, our random Fourier series of f M G will be described as P p q α fU dαtr Uαf α Qαu „ p p q q α Irr G Pÿp q p for any U Uα αPIrrpGq U. We will explain the details of the above expansion in Section 2. “ p q P As in the classical setting, f L2 G will imply that all of random fourier series 2 1 P p q fU are in L G L G by the Plancherel identity on compact quantum groups (Propositionp 2.1).q Ď Accordinglyp q what we have to do is to demonstrate the converse direction and main results of this paper are as follows.

Theorem 1.2. In the above notation, let us suppose that fU M G for all U P p q “ Uα Irr G U. p qαP p q P (1) If G is of Kac type, then we have ˚ nαtr f α f α . p p q p qqă8 α Irr G Pÿp q (2) For general compact quantum groups,p p we have

dα ˚ tr Qαf α f α . nα p p q p qq ă8 α Irr G Pÿp q Moreover, we will apply the obtained resultsp p to a problem determining whether the associated convolution algebra L1 G can be completely isomorphic to a closed subalgebra of B H , in which H is a Hilbertp q space (See Section 4). In this case, we will say that L1pGq is completely representable as an operator algebra. p q Corollary 1.3. Let G A, ∆ be a compact quantum group. Then L1 G is completely representable as“ an p operatorq algebra if and only if A is ﬁnite dimensional.p q

2. Preliminaries 2.1. Compact quantum group. A compact quantum group is a pair G A, ∆ ˚ “ p q where A is a unital C -algebra and ∆ : A A min A is a unital homomorphism satisfying Ñ b ˚´ (1) ∆ id ∆ id ∆ ∆ and (2)p spanb ∆q˝a b “ p1 :ba,bq˝A and span ∆ a 1 b : a,b A are dense in t p qp b q P u t p qp b q P u A min A. b Let us describe the basic representation theory and the Schur’s orthogonality relation on compact quantum groups. A finite dimensional unitary representation of n ˚ G is u ui,j 1 i,j n Mn A such that ∆ ui,j ui,k uk,j and u u i,j “ p q ď ď P p q p q “ b p q “ k“1 n n ÿ ˚ ˚ ˚ u uk,j δi,j 1A ui,ku uu i,j for all 1 i, j n. We say that a uni- k,i “ “ j,k “ p q ď ď k“1 k“1 ÿ ÿ tary representation u Mn A is irreducible if X Mn : Xu uX C Idn and α α P p q t P “ u“ ¨ denote by u u 1 a maximal family of mutually inequivalent i,j ďi,jďnα αPIrrpGq “ p q G unitary irreducible representations( of . 2 Every compact quantum group allows the analogue of the Haar measure, namely the Haar state, which is the unique state h on A such that id h ∆ a h a 1A p b qp p qq “ p q “ h id ∆ a for all a A and h 1A 1. p b qp p qq P p q“ 1 1 G 2 α ´ 2 For each α Irr , there exists a unique mathrix Qα Mnα such that Qα u Qα P p q ´1 α α P˚ is unitary and tr Qα tr Qα where u : ui,j 1ďi,jďnα . We call dα ´1 p q “ p q “ pp q q “ tr Qα tr Q the quantum dimension of α Irr G . For any α, β Irr G , p q “ p α q P p q P p q 1 i, j nα and 1 s,t nβ, we have the Schur’s orthogonality relation as follows.ď ď ď ď ´1 β ˚ α δα,βδj,t Qα i,s β α ˚ δα,βδi,s Qα j,t h us,t ui,j p q and h us,t ui,j p q . pp q q“ tr Qα p p q q“ tr Qα p q p q Moreover, we may assume that the matrices Qα are diagonal [Daw10]. Also, we G G say that is of Kac type if Qα Idnα for all α Irr or equivalently if the Haar state h is tracial. “ P p q We define the space of matrix coefficients as α Pol G span u : α Irr G , 1 i, j nα p q“ i,j P p q ď ď and then the Haar state h is faithful on Pol G . We denote by(L2 G the closure p q ˚p q of Pol G with respect to the pre-inner product a,b L2pGq h b a for all a,b p q 2 x y “ p q P Pol G and denote by Λ : Pol G ã L G , a Λ a the natural embedding. p q p q Ñ p q ÞÑ p q 2 Also, we define Cr G as the norm-closure of Pol G in B L G under the GNS representation ι ap qΛ x : Λ ax for all a, x p Polq G pandp Lqq8 G as weak - r p qsp p 2qq “ p q P p q p q ˚ closure of Cr G in B L G . The haar statep q h extendsp p qq to L8 G as a normal faithful state and we will denote p q 1 8 it by h again. We consider the predual L G of L G and the dual M G of Cr G respectively. Then we have a contractivep embeddingq p qL8 G ã L1 Gp, xq hp xq and the isometric formal identity from L1 G into M G .p Noteq Ñ thatp Polq G ÞÑis densep¨ q in L1 G . p q p q p q p q 2.2. Fourier analysis on compact quantum groups. It is known that every compact quantum group admits the dual discrete quantum group G with a natural quantum group structure under the generalized Pontrjagin duality. Although we will not mention its quantum group structure, we will specificallyp explain some of non-commutative ℓp-spaces on the discrete quantum group G. The associated von Neumann algebra of G is given by p 8 G p ℓ Xα αPIrrpGq Mnα : sup Xα p q“ $p q P Irr G } }ă8, α Irr G αP p q & Pźp q . p with the norm Xα α Irr G 8 sup Xα . %P p q ℓ pGq Mnα - p q “ αPIrrpGq } } › › G G ˚ 8 G We define the› Fourier-Stieltjes› p transform by F : M Cr ℓ , p q“ p q Ñ p q α ˚ µ µ α Irr G with µ α µ u 1 i,j n , ÞÑ p p qqαP p q p q “ p pp j,iq qq ď ď α p to follow the standard notations of Fourier analysis on compact groups. Then the Fourier expansion of µp M G is givenp by P p q nα α α µ dαtr µ α Qαu dα µ α Qα i,j u . „ p p q q“ p p q q j,i α Irr G α Irr G i,j“1 Pÿp q Pÿp q ÿ Indeed, if f Pol G , thenp we have p P p q α f dαtr f α Qαu . “ p p q q α Irr G Pÿp q 3 p The associated ℓ2 and ℓ1 spaces on G are

p 2 8 ˚ ℓ G Xα Irr G ℓ G : dαtr QαX Xα , p q“ $p qαP p q P p q p α qă8, α Irr G & Pÿp q . p p 1 % 8 - ℓ G Xα Irr G ℓ G : dαtr XαQα p q“ $p qαP p q P p q p| |qă8, α Irr G & Pÿp q . p p with the norm structures% -

1 ˚ 2 Xα Irr G 2 dαtr QαX Xα , p qαP p q ℓ pGq “p p α qq αPIrrpGq › › ÿ › › p Xα Irr G 1 dαtr XαQα p qαP p q ℓ pGq “ p| |q αPIrrpGq › › ÿ › › p respectively. When we restrict the domain of the Fourier-Stieltjes transform to L2 G , we have the isometry F : L2 G ℓ2 G [Wan17], which is called the Plancherelp q identity. p q Ñ p q p 2.3. Random Fourier series. From now on, we call formal series

α dαtr Uαf α Qαu p p q q α Irr G Pÿp q p G the random Fourier series of f M for U Uα αPIrrpGq U. The main question of this paper is to ﬁnd outP whenp q all of the“ p randomq FourierP series are in M G simultaneously. It can be seen that one direction on our question can be solvedp q simply from the Plancherel identity.

2 2 Proposition 2.1. If f L G , all of random fourier series fU are in L G . P p q p q Proof.

2 ˚ ˚ fU 2 G dαtr Qαf α U Uαf α } }L p q “ p p q α p qq α Irr G Pÿp q p ˚ p 2 dαtr Qαf α f α f 2 G . “ p p q p qq “} }L p q α Irr G Pÿp q p p

α Lemma 2.2. For µ dαtr µ α Qαu M G and f Pol G , „ p p q qP p q P p q α Irr G Pÿp q p ˚ ˚ µ,f G G dαtr µ α Qαf α . x yMp q,Crp q “ p p q p q q α Irr G Pÿp q p nα p α Proof. For f dα f α Qα i,j u Pol G , “ p p q q j,i P p q α Irr G i,j“1 Pÿp q ÿ p nα ˚ α ˚ f dα f α Qα i,j u “ p p q q p j,iq α Irr G i,j“1 Pÿp q ÿ 4 p and nα ˚ α ˚ µ,f G G dα f α Qα i,j µ, u G G x yMp q,Crp q “ p p q q x p j,iq yMp q,Crp q α Irr G i,j“1 Pÿp q ÿ nα p dα f α Qα i,j µ α i,j “ p p q q r p qs α Irr G i,j“1 Pÿp q ÿ nα p p ˚ dα f α Qα i,j µ α j,i “ p p q q r p q s α Irr G i,j“1 Pÿp q ÿ p ˚ p dαtr f α Qαµ α “ p p q p q q α Irr G Pÿp q p ˚ dαtr µ α Qαfp α . “ p p q p q q α Irr G Pÿp q p p

Proposition 2.3. Fix a family of matrices Xα Irr G . Then p qαP p q α µU dαtr UαXαQαu M G „ p qP p q α Irr G Pÿp q for all U Uα Irr G U if and only if “ p qαP p q P α µB dαtr BαXαQαu M G „ p qP p q α Irr G Pÿp q 8 G for all B Bα αPIrrpGq ℓ . In this“ case, p theq map P p q 8 p α Φ: ℓ G M G ,B Bα Irr G µB dαtr BαXαQαu , p q Ñ p q “ p qαP p q ÞÑ „ p q α Irr G Pÿp q is automaticallyp a bounded map by the closed graph theorem.

Proof. One direction is trivial. On the other direction, pick B Bα Irr G “ p qαP p q P Ball ℓ8 G and take an arbitrary f Pol G . Then p p qq P p q ˚ ˚ µB,f G G dαtr BαXαQαf α . p x yMp q,Crp q “ p p q q α Irr G Pÿp q For each α Irr G , there exist unitaries vj with j 1, p , 4 such that P p q α “ ¨ ¨ ¨ 4 j j“1 vα Xα “ ř 2 by considering the following decomposition ˚ ˚ Xα Xα Xα Xα Xα ` i ´ : h1 ih2 “ 2 ` 2i “ ` and 2 2 hj i 1 hj hj i 1 hj hj ` ´ | | ´ ´ | | for j 1, 2. “ p b2 ` b2 q “ j We deﬁne Vj v Irr G U for j 1, , 4 and then “ p αqαP p q P “ ¨ ¨ ¨ 4 4 ˚ 1 j ˚ 1 ˚ µB,f G G dαtr v AαQαf α µV ,f G G . x yMp q,Crp q “ 2 p α p q q“ 2 x j yMp q,Crp q j“1 α Irr G j“1 ÿ Pÿp q ÿ Since Pol G is dense in Cr G , we get the conclusionp p q p q 4 j“1 µVj µB M G . “ 2 P p q ř 5

2.4. Vector valued probabilistic methods. In this subsection, we gather some probabilistic techniques, namely non-commutative Khintchine inequality and cotype 2 condition, to be used in this study. First of all, let us write down the non-commutative Khintchine inequality in the context of the present compact quantum group setting. For more details, see [Pis12]. n 1 For a sequence xj 1 L G , we set p qj“ Ď p q n 8 n n xj 1 1 sup xj ,yj 1 G 8 G : yj L G , max yj 1 , yj 1 1 ~p qj“ ~ “ x yL p q,L p q P p q p qj“ C p qj“ R ď !ÿ n !n› › › › ) ) 1 › 1› › › y n y˚y 2 y n y y˚ 2 where j j“1 C j j and j j“1 R j j . p q “ ›p 1 q › p q “ ›p 1 q › › j“ ›L8pGq › j“ ›L8pGq › n › › ÿ › › › › ÿ › Let ›gj j“1 be› an› independent› and identically› distributed(in› › short, i.i.d.)› sequece of realp valuedq Gaussian› random› variables with mean zero› and varianc›e 1. Then a part of the Khintchine inequality for non-commutative L1-spaces is as follows: Theorem 2.4 (Theorem 9.1, [Pis12]). If G is of Kac type, there exists a universal constant C 0 such that ą n 1 n n x 1 g w x dP w x 1 C j j“1 j j j j“1 ~p q ~ ď ›j“1 p q › p qď~p q ~ ż › ÿ › n 1 › › for any finite set xj 1 L G ›. › p qj“ Ď p q› › Also, we will make use of a cotype study on non-commutative L1-spaces. In general, we say that a Banach space is of cotype 2 if there is a constant K 0 such n ą that for all finite sets xj 1 B we have p qj“ Ď n n 2 1 2 ǫj w xj dP w K xj , › 1 p q › p qě p 1 } } q ż ›j“ ›B j“ ›ÿ › ÿ ǫ › › where j j is a family› of i.i.d. Rademacher› variables. It is known that every predualp ofq von Neumann algebra is of cotype 2 [TJ74] and it is possible to replace the Rademacher varialbes ǫj to the Gaussian variables gj [LT13]. Theorem 2.5. There exists a universal constant K 0 such that ą n n 2 1 P 2 gj w xj d w K xj L1pGq › 1 p q › p qě p 1 } } q ż ›j“ ›L1pGq j“ › ÿ › ÿ › n 1 › for any finite sets xj 1 L G . p› qj“ Ď p› q 3. The main results 3.1. Affirmative answer on Kac cases. In this subsection, we will make use of 1 n n n n random matrices Gn g 1 Mn where g 1 is a family of indepen- “ p?n i,jqi,j“ P p i,j qi,j“ dent real valued Gaussian random variables with mean zero and variance 1. Lemma 3.1 (Proposition 1.5, Chapter 5, [MP81]). There exist universal constants C1, C2 0, which are independent of n, such that ą

C1 Gn w dP w C2, ď } p q} p qď ż where is the operator norm of matrices. }¨} 6 Theorem 3.2. Let G be a compact quantum group of Kac type and suppose that α all random fourier series fU nαtr Uαf α u of f M G are in M G „ p p q q P p q p q α Irr G Pÿp q for all U Uα αPIrrpGq U. Then we have p “ p q P

˚ nαtr f α f α . p p q p qqă8 α Irr G Pÿp q p p Proof. By Proposition 2.3, there exists a universal constant K 0 such that ą

α K B 8 fB nαtr Bαf α u } }ℓ pGq ě › „ p p q q› › αPIrrpGq › › ÿ ›MpGq p › p › › › 8 › › for any B Bα Irr G ℓ G . Now we ﬁx a ﬁnite subset S Irr G and natu- “ p qαP p q P p q Ď p q 1 α nα rally takes into account a family of random matrices Gnα αPS gi,j i,j“1 αPS p p q “ pp?nα q q in ℓ8 G . Then from the estimate above and Theorem 2.4, we have p q p nα α α (3.1) K sup Gn dP w ?nαg w f α u j,i dP w α i,j p qp p q q p q αPS } } p qě › 1 › 1 ż ż ›αPS i,j“ ›L pGq › ÿ ÿ › 1 › α p › › ?nα f α u j,i α,i,j 1 › ě C ~p p p q q q ~ 1 α α sup p xi,j ,yi,j L1pGq,L8pGq “ C α x y pyi,j qα,i,j ÿ

α α α 8 G where xi,j ?nα f α u j,i and the supremum runs over all yi,j α,i,j L such that “ p p q q p q Ď p q p

nα nα 1 1 α ˚ α 2 α α ˚ 2 max yi,j yi,j , yi,j yi,j 1. $›p 1p q q › ›p 1 p q q › , ď &› αPS i,j“ ›L8pGq › αPS i,j“ ›L8pGq. › ÿ ÿ › › ÿ ÿ › › › › › %› › › ˚ › - For arbitrary A α α S such that nαtr A α A α 1, we can ﬁnd that p p qq P p p q p qq ď αPS α α ˚ ÿ the family y ?nα A α u j,i satisﬁes the condition above. Indeed, p i,j q “ p rp p q q s q

nα nα α ˚ α α α ˚ y y nα A α u j,i A α u j,i p i,j q i,j “ p p q q rp p q q s αPS i,j“1 αPS i,j“1 ÿ ÿ ÿ ÿ nα α α ˚ ˚ nα A α u j,i u A α i,j “ p p q q rp q p q s αPS i,j“1 ÿ ÿ α α ˚ ˚ nαtr A α u u A α “ p p q p q p q q αPS ÿ ˚ nαtr A α A α 1A “ p p q p q q αPS ÿ ˚ nαtr A α A α 1A “ p p q p qq αPS ÿ 7 and

nα nα α α ˚ α ˚ α y y nα A α u j,i A α u j,i i,j p qi,j “ rp p q q s p p q q αPS i,j“1 αPS i,j“1 ÿ ÿ ÿ ÿ nα α α t t nα A α u j,i u A α i,j “ p p q q rp q p q s αPS i,j“1 ÿ ÿ α α t t nαtr A α u u A α “ p p q p q p q q αPS ÿ t nαtr A α A α 1A “ p p q p q q αPS ÿ ˚ nαtr A α A α 1A, “ p p q p qq αPS ÿ so that we have

nα nα 1 1 max yα ˚yα 2 , yα yα ˚ 2 $ p p i,j q i,j q p i,j p i,j q q , › αPS i,j“1 › 8 › αPS i,j“1 › 8 &› ÿ ÿ ›L pGq › ÿ ÿ ›L pGq. › 1 › › › ˚ 2 ›nαtr A α A α › 1 › › ď p %› p p q p qqq ď› › › - αPS ÿ

Finally, by Lemma 3.1, we have

nα 1 α α ˚ KC2 sup ?nα f α u j,i, ?nα A α u j,i 1 G 8 G ě C x p p q q rp p q q s yL p q,L p q pApαqqαPS αPS i,j“1 ÿ ÿ nα nαp 1 α α ˚ sup nα f α j,kA α j,l u , u 1 G 8 G “ C p q p q x k,i p l,iq yL p q,L p q pApαqqαPS αPS i,j“1 k,l“1 ÿ ÿ ÿ nα nα 1 δk,lp sup nα f α j,kA α j,l “ C nα p q p q pApαqqαPS αPS i,j k,l“1 ÿ ÿ ÿ 1 ˚p sup nαtr f α A α “ C p p q p q q pApαqqαPS αPS ÿ 1 1 ˚ p 2 nαtr f α f α “ C p p p q p qqq αPS ÿ p p

˚ since the supremum runs over all A α α S such that nαtr A α A α 1. p p qq P p p q p qq ď αPS Now we reach the conclusion since the ﬁnite set S is chosenÿ to be arbitrary.

Remark 3.3. In the category of compact groups, it seems that some experts already have their own way to understand Theorem 1.1 through the Khintchine inequality. Indeed, the arguments below (3.1) are simpliﬁed as follows. 8 nπ π ?nπg w f π π x j,i dP w i,j p qp p q p qq p q › 1 › 1 ż ›πPS i,j“ ›L pGq › ÿ ÿ › › nπ p › › π › ?nπg w f π π x j,i dP w dx “ i,j p qp p q p qq p q G ˇπPS i,j“1 ˇ ż ż ˇ ÿ ÿ ˇ ˇ nπ ˇ p 2 1 ˇ 2 ˇ ˇ nπ f π π x j,i dx ˇ Á p p p q p qq q G πPS i,j“1 ż ÿ ÿ ˇ ˇ ˇ p ˇ 1 ˇ ˚ ˇ ˚ 2 nπtr f π π x π x f π dx “ p p p q p q p q p q qq żG πPS ÿ 1 ˚ 2 nπtr f πp f π . p “ p p p q p qqq πPS ÿ Remark 3.4. Let G be a compactp p quantum group of Kac type. If we suppose that ˚ nαtr X Xα , then the multiplier p α qă8 α Irr G Pÿp q p 1 Φ: L G ℓ G ,f Xαf α Irr G , p q Ñ p q ÞÑ p p qqαP p q is bounded for all 2 p since Lp G L2 G for such p. The converse is also true thanks to Theoremď ď8 3.2. Indeed,p boundednessp qĎ p qp of Φ implies that the multiplier 8 ˚ α Ψ: ℓ G M G , Aα Irr G dαtr AαX u p q Ñ p q p qαP p q ÞÑ p α q α Irr G Pÿp q is bounded. Then, byp Proposition 2.3 and Theorem 3.2, we can conclude that the space of such multipliers from Lp G into ℓ1 G can be identiﬁed with L2 G inde- pendently of the choice of 2 p p q. p q p q ď ď8 3.2. A partial answer on general cases.pIn spite of the complete answer on the Kac case, the proof of Theorem 3.2 could not be applied for the general case for now. However, using the cotype 2 property of L1 G , we are able to achieve a convincing conclusion for non-Kac cases. p q

Lemma 3.5. (1) For any α Irr G and any 1 i, j nα, we have P p q ď ď nα nα 1 1 1 α ˚ 2 ´ 2 2 2 Aik uk,j Qα j,j AαQα i,k . › 1 p q › 8 ď p q p 1 |p q | q ›k“ ›L pGq k“ › ÿ › ÿ (2) For any› α Irr G and› any 1 i, j nα, we have › P p q › ď ď1 nα ´ 2 nα Qα 1 1 α j,j 2 2 2 BQα i,kuk,j p q BQα i,k . p q ě dα p |p q | q ›k“1 › 1 G k“1 › ÿ ›L p q ÿ › 1 1› › 2 α ´ 2› Proof. (1)› Since Qα u Qα ›is a unitary representation, we have

1 nα ´ 2 α ˚ Qα j,j Ai,k u p q p k,j q ›k“1 › 8 G › ÿ ›L p q n › › α › 1 1 1› ´ 2 2 ´ 2 AQ›α i,k Qα uQα › k,j “ p q r s ›k“1 › 8 G › ÿ ›L p q ›nα nα › › 1 1 1 › 1 1 1 1 ´ 2 2 2 2 ´ 2 ˚ 2 ´ 2 2 › AQα i,k Qα uQ› α Qα uQα k,j ď p |p q | q p r sk,j r s q k“1 k“1 ÿnα ÿ 1 1 ´ 2 2 2 AQα i,k . “p |p q | q k“1 ÿ 9 1 ´ 2 (2) Deﬁne wi,k AQα i,k for all 1 i, k nα for convenience. Then, by 1 , we can see“ p that q ď ď p q nα α BQα i,ku p q k,j ›k“1 › 1 G › ÿ ›L p q › › nα 1 nα › › α ´ 2 α ˚ › sup › BQα i,kuk,j , Qα j,j Ai,k uk,j L1pGq,L8pGq ě 1 x p q p q p q y p nα |w |2q 2 ď1 k“1 k“1 k“1 i,k ÿ ÿ ř 1 nα 1 ´ 2 2 α ˚ α Qα j,j sup BQα i,kwi,k Qα k,kh uk,j uk,j “ p q 1 p q p q pp q q p nα |w |2q 2 ď1 k“1 k“1 i,k ÿ 1 1 ř nα 2 ´ 2 BQα i,k Qα j,j sup p q wi,k “ p q 1 dα p nα |w |2q 2 ď1 k“1 k“1 i,k ÿ 1 1 řnα 2 2 ´ 2 nα 1 BQ 1 Q 1 1 ´ 2 α i,k 2 α j,j 2 2 2 Qα j,j |p q | p q BQα i,k “ p q p d2 q “ d p |p q | q k“1 α α k“1 ÿ ÿ

α Theorem 3.6. Suppose that all random Fourier series fU dαtr Uαf α Qαu „ p p q q αPIrrpGq G ÿ are in M for all U Uα αPIrrpGq U. Then we have p p q “ p q P dα ˚ tr Qαf α f α . nα p p q p qq ă8 α Irr G Pÿp q Proof. As in the proof of Theorem 3.2, therep existsp a universal constant K 0, which is independent of the choice of ﬁnite subset S Irr G , such that ą Ď p q nα nα dα α α P K gj,i w f α Qα i,kuk,j d w ě ?nα p q p p q q p q ›αPS i,j“1 k“1 › 1 ż › ÿ ÿ ÿ ›L pGq α › p › where g w Irr› G 1 is a i.i.d. family of Gaussian› variables with mean p j,ip qqαP ›p q, ďi,jďnα › zero and variance 1. 1 α 2 Let vi be the i-th row vector of the matrix f α Qα . Then, by Lemma 3.5 and Theorem 2.5, we have that p q 2 nα 2 nα p d 1 1 α α 2 K K f α Qα i,kuk,j ě p nα p p q q q αPS i,j“1 ›k“1 › 1 G ÿ ÿ › ÿ ›L p q nα ´›1 p α 2 › Q › j,j v 1 › K1 p α› q } i } 2 › ě p nα q αPS i,j“1 ÿ ÿ d 1 α ˚ 2 tr Qαf α f α . “ p n p p q p qqq αPS α ÿ Since S Irr G is arbitrary, wep can concludep that Ď p q dα ˚ tr Qαf α f α . nα p p q p qq ă8 α Irr G Pÿp q p p

Remark 3.7. Although Theorem 3.6 does not give the complete conclusion for d non-Kac cases, we can expect that the quantity α gets very close to the desired nα quantity of dα. At least in certain cases, nα is signiﬁcantly smaller than the quantum dimension dα. Indeed, if the function α nα has subexponential growth and if G 10ÞÑ is of non-Kac type, then the function α dα is of exponential growth [DPR16]. ÞÑ In particular, the Drinfeld-Jimbo deformations Gq with 0 q 1 are important ă ă non-Kac type compact quantum groups. In this case, the function α nα is of subexponential growth. ÞÑ

Let us clarify what Remark 3.7 implies for concrete example G SUq 2 . “ p q Corollary 3.8. Let G SUq 2 with 0 q 1 and suppose that all random fourier “ p q α ă ă series fU dαtr Uαf α Qαu are in M G for all U Uα Irr G U. „ p p q q p q “ p qαP p q P α Irr G Pÿp q Then we have p 1´ǫ ˚ d tr Qαf α f α for each ǫ 0. α p p q p qqă8 ą α Irr G Pÿp q p p Proof. It is known that Irr G is identiﬁed with 0 N and nk k 1 for all p q ´k ´k`2 t uY k ´k“ ` k Irr G 0 N. Also, dk q q q q for all k 0. Therefore,P p q“t for eachuYǫ 0, “ ` `¨¨¨` ě ě ą 1´ǫ ˚ nk dk ˚ d tr Qkf k f k tr Qkf k f k k p p q p qq ď dǫ n p p q p qq kě0 kě0 k k ÿ ÿ p p k 1 d p p k Q f k ˚f k ´`ǫk tr k ď q nk p p q p qq kě0 ÿ 1 dk p p ˚ tr Qkf k f k . ď 1 qǫ 2 n p p q p qqă8 kě0 k p ´ q ÿ p p

3.3. A remark on central forms. While Theorem 3.6 clearly contains insufficient points to reach the conclusion, we conjecture that the ultimate conclusion might turn out to be positive. The reason is that if the starting measure f M G has a specific form, the so-called central form, it can offset the deficit considerably.P p q Throughout this subsection, we will consider a sub von Neumann algebra N 8 generated by χα Irr G in L G . Then the restriction of Haar state to N is a t uαP p q p q finite tracial state since

˚ ˚ h χαχβ h χ χβ δα,β δ h χ ,χα h χβχα for all α, β Irr G . p q“ p α q“ “ β,α “ p β q“ p q P p q

Lemma 3.9. Let G be a compact quantum group satisfying inf h χα 0. αPIrrpGq p| |q ą Then there exists a universal constant K satisfying the following: for any sequence 2 8 aα Irr G with aα 1, there exists Ti i Pol G K Ball L G p qαP p q | | ď p q Ď p qX ¨ p p qq αPIrrpGq ÿ˚ G such that lim h Tiχα aα for all α Irr . i | p q| ě | | P p q Proof. By [Theorem 5, [LP97]], there exists a universal constant K 0 and for any ą such sequence aα Irr G , there exists T K Ball N such that T cαχα p qαP p q P ¨ p q „ α Irr G Pÿp q with cα aα for all α Irr G . Lastly,| | ě since | | A PolPG p Nq is a unital -algebra and dense in N under the weak -topology, Ball(“ A pisqX dense in Ball N ˚by the Kaplansky’s density theorem. ˚ q p q 8 Thus, we obtain a net Ti i Pol G K Ball L G satisfying p q Ď p qX ¨ p p qq ˚ ˚ cα h Tχα lim h Tiχα aα | |“ p q“ i | p q| ě | | for all α Irr G . P p q 11 Theorem 3.10. Let G be a compact quantum group such that inf h χα 0 αPIrrpGq p| |q ą α aud suppose that all random Fourier series fU dαtr Uαf α Qαu are in „ p p q q αPIrrpGq G ÿ M for all U Uα αPIrrpGq U. Then we have p p q “ p q P tr f α 2 . p| p q|q ă8 α Irr G Pÿp q p 2 Proof. Let aα Irr G be a sequence with aα 1. Then we have a fam- p qαP p q | | ď αPIrrpGq G 8 G ÿ ily Ti i Pol K Ball L coming from Lemma 3.9. Let us write Ti t u Ď p qX ¨ p p qqi i cα G as cαχα. Then Ti α Qα Idnα for all α Irr . Therefore, using p q “ dα P p q α Irr G Pÿp q Proposition 2.3, there existsp a universal constant K1 0 such that ą 1 ˚ K sup sup fU ,Ti L1pGq,L8pGq 8ą ě U i x y ˚ sup sup dαtr Uαf α QαTi α “ U i p p q p q q α Irr G Pÿp q i p p sup sup cαtr Uαf α “ U i p p qq α Irr G Pÿp q i p sup cα tr f α “ i p p q q αPIrrpGq ÿ ˇ ˇ ˇ ˇ ˇ ˇ ˇ p ˇ cα tr f αˇ ˇ ě | | p p q q α Irr G Pÿp q ˇ ˇ ˇ p ˇ aα tr ˇf α ˇ . ě | | p p q q α Irr G Pÿp q ˇ ˇ ˇ p ˇ The conclusion can be reached as stated aboveˇ ˇ since aα is arbitrary. p q

Corollary 3.11. Let G be a compact quantum group such that inf h χα 0 αPIrrpGq p| |q ą and ﬁx a central element f cαχα M G . If all random Fourier series „ P p q αPIrrpGq α ÿ fU dαtr Uαf α Qαu are in M G for all U Uα Irr G U, then we „ p p q q p q “ p qαP p q P α Irr G Pÿp q have p ˚ 2 dαtr Qαf α f α cα . p p q p qq “ | | ă8 α Irr G α Irr G Pÿp q Pÿp q p p Proposition 3.12. The quantum groups listed in the following list are known to satisfy the condition of Corollary 3.11: Free orthogonal quantum groups O` ‚ F Quantum automorphism group Gaut B, ψ with a δ-form ψ ‚ p q Drinfeld-Jimbo q deformations Gq with 0 q 1 ‚ ă ă Proof. Let G1 and G2 be compact quantum groups. If there exists a bijective map Φ : Irr G1 Irr G2 such that p q Ñ p q n n Φ π1 π2 Φ π1 Φ π2 and Φ 1πi 1Φ πi p b q“ p qb p q p‘i“ q“‘i“ p q for all πi Irr G1 and n 1, then the map Φ extends to a bijective -homomorphism P p q ě j ˚ 8 G Φ: N1 N2 where Nj is the weak -closure of span χα Irr G in L j for Ñ ˚ αP p j q p q each j 1, 2. Also, recall that the Haar states h are tracial on N respectiely. j ( j “ 12 Moreover, Φ is trace-preserving by repeating the proofs of [Proposition 6.7, [Wan17]] and [Lemma 4.7, [You18]]. Therefore, we can conclude that

1 2 h1 χ h2 χΦ for all α Irr G . p α q“ p pαq q P p q ˇ ˇ On the other hand, inˇ [Pri75],ˇ itˇ is shownˇ that ˇ ˇ ˇ ˇ inf χπ L1pGq 0 πPIrrpGq } } ą for any compact connected Lie group. The existence of the bijective map Φ : Irr G Irr G is known for G, G ` G p q Ñ p q p q “ ON ,SU 2 , aut B, ψ , SO 3 and Gq, G . Refer to [Bra13], [NT13] and [Tim08] forp details.p qq p p q p qq p q

4. Application to complete representability problem In the category of Banach algebras, C˚-algebras are in a special position. One of typical examples that are not C˚-algebras is the convolution algebra L1 G of a locally compact group. Moreover, it turned out that L1 G is isomorphicp toq a closed subalgebra of B H for some Hilbert H as Banach algebrasp q if and only if G is finite. This fact is basedp q on the study of the Arens irregularity for convolution algebras L1 G [You73], which shows L1 G is Arens regular only if G is finite. In the frameworkp q of locally compact quantump q groups, the Fourier algebra A G is understood as a dual object of the convolution algebra L1 G in view ofp theq generalized Pontrjagin duality. Very recently, it has shown thatp theq Fourier algebra is completely isomorphic to a closed subalgebra of B H for some Hilbert space if and only if G is finite ([LY17] for discrete groups andp [LSS16]q for general cases). Here, complete isomorphism is the natural isomorphism in the category of operator spaces. Some terminologies of operator space theory required in this section will be explained in the below. To my knowledge, prior to [LY17], all conclusions in this direction were based on Arens regularity studies. In the quantum group setting, the situation is similar. Thanks to [HNR12] investigating Arens irregularity for convolution algebras L1 G of locally compact quantum groups, we know that the convolution algebra L1 Gp isq completely isomorphic to a closed subalgebra of B H if and only if L8 G isp finiteq dimensional for G a co-amenable compact quantump group.q p q Our contribution in this direction is the following fact, which removes the addi- tional condition of co-amenability in the category of compact quantum groups. Theorem 4.1. Let G A, ∆ be a compact quantum group. Then L1 G is completely representable“ as anp operatorq algebra, i.e. L1 G is completely isomorphicp q to a closed subalgebra of B H for some Hilbert spacepHq if and only if A is finite dimensional. p q An abstarct operator space is a vector space E equipped with a matrical norm structure on Mn E Mn E for which p q“ b (1) v1 v2 max v1 , v2 for all v1 Mm E and v2 } ‘ }Mm`npEq ď t} }m } }nu P p q P Mn V and p q (2) avb a v b for all a Mm,n,b Mn,m and } }MmpEq ď } }Mm,n } }MnpEq } }Mn,m P P v Mn E . P p q We say that a linear map L : E F between the two operator spaces E and F Ñ is completely bounded if sup idn L : Mn E Mn F . nPN } b p q Ñ p q}ă8 The two operator spaces that are noted in this section are the convolution algebra 1 8 8 L G and the extended Haagerup tensor product space L G eh L G . Each p q 13 p qb p q spaces has a natural operator space structure. Let us present equivalent description of those operator spaces. n 1 G First of all, for F fi,j i,j“1 Mn L , the natural matricial norm structure is given by “ p q P p p qq

n m F 1 sup sup fi,j , xk,l 1 G 8 G 1 1 , MnpL pGqq L p q,L p q i,j“ k,l“ M } } “ mPN X px y q mn › › › m 8›G where the supremum runs over all X xk,l k,l“1 Ball Mm L under the 8 “2 p q P2 p p 2p qqq identiﬁcation Mm L G Mm B L G B L G L G . Secondly, p p qq Ď p p p qqq – p p q‘¨¨¨‘ p qq

8 G 8 G ˚ ˚ L eh L ai bi : aiai and bi bi converges p qb p q“ # i b i i + ÿ ÿ ÿ with respect to the weak -topologies and the matricial norm structure comes from the completely isometric˚ embedding into CBσ B L2 G ,B L2 G . More pre- i,j i,j n p p p qq p8 Gp qqq 8 G cisely, the matricial norm for ak bk i,j“1 Mn L eh L is p k b q P b p p qb p qq given by ÿ

i,j s,t i,j n m sup sup ak T b i,j“1 s,t“1 , m N s,t m p q P T “pT qs,t“1 › k › 2 G › ›MmnpBpL p qqq › ÿ › › › s,t 2 where the supremum runs over› all T T 1 s,t m ›Ball Mm B L G . “ p q ď ď P p p p p qqqq Note that the restricted comultiplication ∆ extends to a normal -homomorphism PolpGq ˚ ∆ : L8 G L8 G L8 G and it induces theˇ natural Banach algebraic structure 1 p q Ñ p qb 1 p q ˇ on L G . For f1,f2 L G , we deﬁne the convolutionˇ product of f1 and f2 by p q P p q 8 f1 f2,a 1 G 8 G f1 f1 ∆ a for all a L G . x ˚ yL p q,L p q “ p b qp p qq P p q Moreover, the convolution product extends to a completely contractive map m 1 1 1 “ ∆˚ : L G L G L G where is the projective tensor product in the categoryp ofq operatorb p q spaces.Ñ p Referq to [Pis03]b or [ER00] for details. The result of [Ble95], whichp actually covers general completelyp contractive Banach algebras, is written as follows in our setting:

Proposition 4.2. The convolution algebra L1 G is completely isomorphic to a closed subaglebra of B H for some Hilbert spacep Hq if and only if the comultiplica- 8 8p q 8 tion ∆ : L G L G eh L G is completely bounded. p q Ñ p qb p q 8 Lemma 4.3. Given B Bα αPIrrpGq Ball ℓ G , deﬁne an operator TB “ p q Pnα p p qq P 2 G α ´1 α ˚ ´1 α ˚ B L by uj,i Qα u Bα j,i Qα j,jpup,j Bα p,i. Then TB is a p p qq ÞÑ r p q s “ p“1p q p q p q contraction. ÿ

nα Proof. Take v cα uα . Then “ i,j j,i α Irr G i,j“1 Pÿp q ÿ

nα nα α ´1 α ˚ TBv c Q j,j Bα p,i u . “ r i,j p α q p q sp p,jq αPIrrpGq j,p“1 i“1 ÿ ÿ ÿ 14 α Also, put Cα c 1 i,j n . Then “ p i,j q ď ď α nα nα 2 α ´1 2 Qα j,j TBv L2pGq ci,j Qα j,j Bα p,i p q } } “ | p q p q | dα α Irr G j,p“1 i“1 Pÿp q ÿ ÿ nα ´1 α α 1 Qα j,j ci,j Bα p,ici1,j Bα p,i1 “ p q p q p q dα α Irr G j,p,i,i1“1 Pÿp q ÿ ´1 ˚ ˚ 1 tr Qα Cα BαBαCα “ p qdα α Irr G Pÿp q ´1 ˚ 1 tr Qα Cα Cα ď p qdα α Irr G Pÿp q nα ´1 α 2 1 2 Qα j,j ci,j v L2pGq . “ p q | | dα “} } α Irr G i,j“1 Pÿp q ÿ

Proof of Theorem 4.1. One direction is trivial. For the other direction, suppose 8 8 8 that ∆ : L G L G eh L G is completely bounded. Then, for any p q Ñ p qb p q nα α f dα f α Qα i,j u Pol G , “ p p q q j,i P p q α Irr G i,j“1 Pÿp q ÿ nα nα p α α 8 8 ∆ f dα f α Qα i,j u u L G eh L G . p q“ p p q q j,k b k,i P p qb p q α Irr G i,j“1 k“1 Pÿp q ÿ ÿ 8pG For each Bα αPIrrpGq Ball ℓ , pick TB of Lemma 4.3. Then ∆ f TB p2 q P p p qq p p qqp q sends 1A L G to P p q nα p ´1 α α ˚ 2 x : dα f α Qα i,j Q k,k Bα p,iu u L G . “ p p q q p α q p q j,kp p,kq P p q α Irr G i,j,k,p“1 Pÿp q ÿ Then p

∆ f 8 G x 2 G } }cb } }L p q ě} }L p q h x ě | p q| nα 1 dα f α Qα i,j Bα j,i “ | p p q q dα p q | α Irr G i,j,k“1 Pÿp q ÿ p nαtr f α QαBα . “ | p p q q| α Irr G Pÿp q p 1 Since Bα is arbitrarily chosen, we have a bounded map Φ˚ : Cr G ℓ G ,f nα 8 p q Ñ p q ÞÑ f α αPIrrpGq and it induces the bounded dual map Φ : ℓ G M G deter- p dα p qq p q Ñ p pq mined by p p f, Φ A G G nαtr f α QαA α . x p qyCrp q,Mp q “ p p q p qq α Irr G Pÿp q 8 p Now, we can ﬁnd that the map Ψ : ℓ G M G , A A α Irr G µA p q Ñ p q “ p p qqαP p q ÞÑ „ nα α G dαtr Aα Idnα Qαu , is bounded since for any f Pol we have p p dα q q P p q α Irr G p Pÿp q ˚ ˚ f , Ψ A C G ,M G f, Φ A G G x p qy rp q p q “ x p qyCrp q,Mp q by Lemma 2.2. 15 Finally, Proposition 2.3 and Theorem 3.6 say that 2 dα nα tr Qα 2 Idnα nα , nα p d q“ ă8 α Irr G α α Irr G Pÿp q Pÿp q so that A should be ﬁnite dimensional.

Acknowledgement. The author is grateful to Professor Hun Hee Lee for his encouragement and to Professor Gilles Pisier for his helpful comments, particularly on Remark 3.3.

References

[Ble95] David P Blecher. A completely bounded characterization of operator algebras. Mathe- matische Annalen, 303(1):227–239, 1995. [Bra13] Michael Brannan. Reduced operator algebras of trace-perserving quantum automorphism groups. Doc. Math., 18:1349–1402, 2013. [Cas13] Martijn Caspers. The lˆp -fourier transform on locally compact quantum groups. J.Operator Theory, 2013. [Daw10] Matthew Daws. Operator biprojectivity of compact quantum groups. Proceedings of the American Mathematical Society, 138(4):1349–1359, 2010. [DPR16] Alessandro D’Andrea, Claudia Pinzari, and Stefano Rossi. Polynomial growth for compact quantum groups, topological dimension and ˚-regularity of the fourier algebra. Preprint, arXiv:1602.07496, 2016. [Dud67] Richard M Dudley. The sizes of compact subsets of hilbert space and continuity of gaussian processes. Journal of Functional Analysis, 1(3):290–330, 1967. [ER00] Edward G.. Effros and Zhong-Jin Ruan. Operator spaces. Clarendon Press, 2000. [Fac87] Thierry Fack. Type and cotype inequalities for non commutative l p-spaces. Journal of Operator Theory, pages 255–279, 1987. [Fer75] Xavier Fernique. Des resultats nouveaux sur les processus gaussients. In Séminaire de Probabilités IX Universitéde Strasbourg, pages 318–335. Springer, 1975. [FHL`17] Uwe Franz, Guixiang Hong, Francois Lemeux, Michael Ulrich, and Haonan Zhang. Hypercontractivity of heat semigroups on free quantum groups. Journal of Operator Theory, 77(1):61–76, 2017. [FTR66] Alessandro Figà-Talamanca and Daniel Rider. A theorem of littlewood and lacunary series for compact groups. Pacific Journal of Mathematics, 16(3):505–514, 1966. [Hel57] Sigurdur Helgason. Topologies of group algebras and a theorem of littlewood. Transac- tions of the American Mathematical Society, 86(2):269–283, 1957. [HNR12] Zhiguo Hu, Matthias Neufang, and Zhong-Jin Ruan. Module maps over locally compact quantum groups. Studia Mathematica, 211:111–145, 2012. [Hun51] GA Hunt. Random fourier transforms. Transactions of the American Mathematical Society, 71(1):38–69, 1951. [JMP14] Marius Junge, Tao Mei, and Javier Parcet. Smooth fourier multipliers on group von neumann algebras. Geom. Funct. Anal, 24(6):1913–1980, 2014. [JPPP17] Marius Junge, Carlos Palazuelos, Javier Parcet, and Mathilde Perrin. Hypercontractiv- ity in group von neumann algebras. 2017. [Kah93] Jean-Pierre Kahane. Some random series of functions, volume 5. Cambridge University Press, 1993. [Kus01] Johan Kustermans. Locally compact quantum groups in the universal setting. Internat. J. Math., 12(3):289–338, 2001. [KV00] Johan Kustermans and Stefaan Vaes. Locally compact quantum groups. Ann. Sci. Ecole´ Norm. Sup. (4), 33(6):837–934, 2000. [KV03] Johan Kustermans and Stefaan Vaes. Locally compact quantum groups in the von Neumann algebraic setting. Math. Scand., 92(1):68–92, 2003. [Kwa76] S Kwapień. A theorem on the rademacher series with vector valued coefficients. Prob- ability in Banach spaces, pages 157–158, 1976. [Lit26] JE Littlewood. On the mean values of power series. Proceedings of the London Mathe- matical Society, 2(1):328–337, 1926. [LP86] Fran¸coise Lust-Piquard. Inégalités de khintchine dans cp (1¡ p¡). CR Acad. Sci. Paris, 303:289–292, 1986. [LP97] Fran¸coise Lust-Piquard. On the coefficient problem: a version of the kahane– katznelson–de leeuw theorem for spaces of matrices. journal of functional analysis, 149(2):352–376, 1997. 16 [LPP91] Fran¸coise Lust-Piquard and Gilles Pisier. Non commutative khintchine and paley inequalities. Arkiv för matematik, 29(1):241–260, 1991. [LSS16] Hun Hee Lee, Ebrahim Samei, and Nico Spronk. Similarity degree of Fourier algebras. J. Funct. Anal., 271(3):593–609, 2016. [LT13] Michel Ledoux and Michel Talagrand. Probability in Banach Spaces: isoperimetry and processes. Springer Science & Business Media, 2013. [LY17] Hun Hee Lee and Sang-Gyun Youn. New deformations of convolution algebras and fourier algebras on locally compact groups. Canad.J.Math., 69(2):434–452, 2017. [Mar78] Michael B Marcus. Continuity and the central limit theorem for random trigonometric series. Probability Theory and Related Fields, 42(1):35–56, 1978. [MP78] Michael B Marcus and Gilles Pisier. Necessary and sufficient conditions for the uniform convergence of random trigonometric series. 1978. [MP81] Michael B Marcus and Gilles Pisier. Random Fourier Series with Applications to Har- monic Analysis.(AM-101), volume 101 of Annals of Mathematics Studies. Princeton University Press; University of Tokyo Press, 1981. [NT13] Sergey Neshveyev and Lars Tuset. Compact quantum groups and their representation categories, volume 20 of Cours Spécialisés [Specialized Courses]. SociétéMathématique de France, Paris, 2013. [Pis77] G Pisier. Sur l’espace de banach des séries de fourier aléatoires presque sûrement con- tinues. Séminaire Analyse fonctionnelle (dit, pages 1–33, 1977. [Pis78] Gilles Pisier. Ensembles de sidon et processus gaussiens. CR Acad. Sci. Paris, 286(15):A671–A674, 1978. [Pis03] GillesPisier. Introduction to operator space theory, volume 294 of London Mathematical Society Lecture Note Series. Cambridge University Press, Cambridge, 2003. [Pis12] Gilles Pisier. Grothendiecks theorem, past and present. Bulletin of the American Math- ematical Society, 49(2):237–323, 2012. [Pri75] JF Price. On local central lacunary sets for compact lie groups. Monatshefte für Math- ematik, 80(3):201–204, 1975. [PZ32] REAC Paley and A Zygmund. On some series of functions,(3). In Mathematical Pro- ceedings of the Cambridge Philosophical Society, volume 28, pages 190–205. Cambridge University Press, 1932. [Rid75] Daniel Rider. Randomly continuous functions and sidon sets. Duke Math. J, 42(4):759– 764, 1975. [SZ54] Raphael Salem and Antoni Zygmund. Some properties of trigonometric series whose terms have random signs. Acta Mathematica, 91(1):245–301, 1954. [Tim08] Thomas Timmermann. An invitation to quantum groups and duality. EMS Textbooks in Mathematics. European Mathematical Society (EMS), Zürich, 2008. From Hopf algebras to multiplicative unitaries and beyond. [TJ74] N Tomczak-Jaegermann. On the rademacher averages and the moduli of convexity and smoothness of the schatten classes sp. Studia Math, 50:163–182, 1974. [Wan17] Simeng Wang. Lacunary fourier series for compact quantum groups. Communications in Mathematical Physics, 349(3):895–945, 2017. [Wor87a] Stanis law L. Woronowicz. Compact matrix pseudogroups. Comm. Math. Phys., 111(4):613–665, 1987. [Wor87b] Stanis law L. Woronowicz. Twisted SUp2q group. An example of a noncommutative differential calculus. Publ. Res. Inst. Math. Sci., 23(1):117–181, 1987. [You73] NJ Young. The irregularity of multiplication in group algebras. The Quarterly Journal of Mathematics, 24(1):59–62, 1973. [You18] Sang-Gyun Youn. Hardy-littlewood inequalities on compact quantum groups of Kac type. Analysis & PDE, 11(1):237–261, 2018. DOI 10.2140/apde.2018.11.237.

Sang-Gyun Youn : Department of Mathematical Sciences, Seoul National University, San56-1 Shinrim-dong Kwanak-gu, Seoul 151-747, Republic of Korea E-mail address: [email protected]