• ### Rokhlin dimension for compact quantum group actions(1703.10999)

March 3, 2018 math.OA, math.LO
We show that, for a given compact or discrete quantum group $G$, the class of actions of $G$ on C*-algebras is first-order axiomatizable in the logic for metric structures. As an application, we extend the notion of Rokhlin property for $G$-C*-algebra, introduced by Barlak, Szab\'{o}, and Voigt in the case when $G$ is second countable and coexact, to an arbitrary compact quantum group $G$. All the the preservations and rigidity results for Rokhlin actions of second countable coexact compact quantum groups obtained by Barlak, Szab\'{o}, and Voigt are shown to hold in this general context. As a further application, we extend the notion of equivariant order zero dimension for equivariant *-homomorphisms, introduced in the classical setting by the first and third authors, to actions of compact quantum groups. This allows us to define the Rokhlin dimension of an action of a compact quantum group on a C*-algebra, recovering the Rokhlin property as Rokhlin dimension zero. We conclude by establishing a preservation result for finite nuclear dimension and finite decomposition rank when passing to fixed point algebras and crossed products by compact quantum group actions with finite Rokhlin dimension.
• ### Stationary C*-dynamical systems(1712.10133)

Jan. 8, 2018 math.OA, math.GR
We introduce the notion of stationary actions in the context of C*-algebras. We develop the basics of the theory, and provide applications to several ergodic theoretical and operator algebraic rigidity problems.
• ### Induction for locally compact quantum groups revisited(1701.00344)

Jan. 2, 2017 math.OA
In this paper we revisit the theory of induced representations in the setting of locally compact quantum groups. In the case of induction from open quantum subgroups, we show that constructions of Kustermans and Vaes are equivalent to the classical, and much simpler, construction of Rieffel. We also prove in general setting the continuity of induction in the sense of Vaes with respect to weak containment.
• ### C*-simplicity and the unique trace property for discrete groups(1410.2518)

Oct. 26, 2016 math.OA, math.GR
A discrete group is said to be C*-simple if its reduced C*-algebra is simple, and is said to have the unique trace property if its reduced C*-algebra has a unique tracial state. A dynamical characterization of C*-simplicity was recently obtained by the second and third named authors. In this paper, we introduce new methods for working with group and crossed product C*-algebras that allow us to take the study of C*-simplicity a step further, and in addition to settle the longstanding open problem of characterizing groups with the unique trace property. We give a new and self-contained proof of the aforementioned characterization of C*-simplicity. This yields a new characterization of C*-simplicity in terms of the weak containment of quasi-regular representations. We introduce a convenient algebraic condition that implies C*-simplicity, and show that this condition is satisfied by a vast class of groups, encompassing virtually all previously known examples as well as many new ones. We also settle a question of Skandalis and de la Harpe on the simplicity of reduced crossed products. Finally, we introduce a new property for discrete groups that is closely related to C*-simplicity, and use it to prove a broad generalization of a theorem of Zimmer, originally conjectured by Connes and Sullivan, about amenable actions.
• ### Open quantum subgroups of locally compact quantum groups(1511.03952)

Aug. 12, 2016 math.OA
The notion of an open quantum subgroup of a locally compact quantum group is introduced and given several equivalent characterizations in terms of group-like projections, inclusions of quantum group C*-algebras and properties of respective quantum homogenous spaces. Open quantum subgroups are shown to be closed in the sense of Vaes and normal open quantum subgroups are proved to be in 1-1 correspondence with normal compact quantum subgroups of the dual quantum group.
• ### The classification problem for finitely generated operator systems and spaces(1411.0512)

April 15, 2015 math.OA, math.LO
The classification of separable operator spaces and systems is commonly believed to be intractable. We analyze this belief from the point of view of Borel complexity theory. On one hand we confirm that the classification problems for arbitrary separable operator systems and spaces are intractable. On the other hand we show that the finitely generated operator systems and spaces are completely classifiable (or smooth); in fact a finitely generated operator system is classified by its complete theory when regarded as a structure in continuous logic. In the particular case of operator systems generated by a single unitary, a complete invariant is given by the spectrum of the unitary up to a rigid motion of the circle, provided that the spectrum contains at least 5 points. As a consequence of these results we show that the relation on compact subsets of $\mathbb{C}^{n}$, given by homeomorphism via a degree 1 polynomial, is smooth.
• ### An uncertainty principle for unimodular quantum groups(1404.1276)

Nov. 2, 2014 quant-ph, math-ph, math.MP, math.OA
We present a generalization of Hirschman's entropic uncertainty principle for locally compact abelian groups to unimodular locally compact quantum groups. As a corollary, we strengthen a well-known uncertainty principle for compact groups, and generalize the relation to compact quantum groups of Kac type. We also establish the complementarity of finite-dimensional quantum group algebras. In the non-unimodular setting, we obtain an uncertainty relation for arbitrary locally compact groups using the relative entropy with respect to the Haar weight as the measure of uncertainty. We also show that when restricted to normal central states of discrete quantum groups, the relative entropy with respect to the Haar weight reduces to the canonical entropy of the random walk generated by the central state.
• ### Boundaries of reduced C*-algebras of discrete groups(1405.4359)

Oct. 9, 2014 math.OA, math.GR
For a discrete group G, we consider the minimal C*-subalgebra of $\ell^\infty(G)$ that arises as the image of a unital positive G-equivariant projection. This algebra always exists and is unique up to isomorphism. It is trivial if and only if G is amenable. We prove that, more generally, it can be identified with the algebra $C(\partial_F G)$ of continuous functions on Furstenberg's universal G-boundary $\partial_F G$. This operator-algebraic construction of the Furstenberg boundary has a number of interesting consequences. We prove that G is exact precisely when the G-action on $\partial_F G$ is amenable, and use this fact to prove Ozawa's conjecture that if G is exact, then there is an embedding of the reduced C*-algebra $\mathrm{C}_r^*(G)$ of G into a nuclear C*-algebra which is contained in the injective envelope of $\mathrm{C}_r^*(G)$. It is a longstanding open problem to determine which groups are C*-simple, in the sense that the algebra $\mathrm{C}_r^*(G)$ is simple. We prove that this problem can be reformulated as a problem about the structure of the G-action on the Furstenberg boundary. Specifically, we prove that a discrete group G is C*-simple if and only if the G-action on the Furstenberg boundary is topologically free. We apply this result to prove that Tarski monster groups are C*-simple. This provides another solution to a problem of de la Harpe (recently answered by Olshanskii and Osin) about the existence of C*-simple groups with no free subgroups.
• ### A note on concentration functions on transformation groups(1408.3482)

Aug. 15, 2014 math.DS
In this note, we consider the concentration function problem for a continuous action of a locally compact group $G$ on a locally compact Hausdorff space $X$. We prove a necessary and sufficient condition for the concentration functions of a spread-out irreducible probability measure $\mu$ on $G$ to converge to zero.
• ### On iterated powers of positive definite functions(1407.1308)

July 4, 2014 math.OA
We prove that if $\rho$ is an adapted positive definite function in the Fourier--Stieltjes algebra $B(G)$ of a locally compact group $G$ with $\|\rho\|_{B(G)}=1$, then the iterated powers $(\rho^n)$ converge to zero in the weak* topology $\sigma(B(G) , C^*(G))$. Moreover, if $\rho$ is irreducible, we prove that $(\rho^n)$ as a sequence of u.c.p. maps on the group $C^*$-algebra converges to zero in the strong operator topology.
• ### Realization of quantum group Poisson boundaries as crossed products(1407.1324)

July 4, 2014 math.OA
For a locally compact quantum group $\mathbb{G}$, consider the convolution action of a quantum probability measure $\mu$ on $L_\infty(\mathbb{G})$. As shown by Junge--Neufang--Ruan, this action has a natural extension to a Markov map on $\mathcal{B}(L_2(\mathbb{G}))$. We prove that the Poisson boundary of the latter can be realized concretely as the von Neumann crossed product of the Poisson boundary associated with $\mu$ under the action of $\mathbb{G}$ induced by the coproduct. This yields an affirmative answer, for general locally compact quantum groups, to a problem raised by Izumi (2004) in the commutative situation, in which he settled the discrete case, and unifies earlier results of Jaworski, Neufang and Runde.
• ### Harmonic Operators of Ergodic Quantum Group Actions(1404.5594)

April 22, 2014 math.OA
In this paper we study the harmonic elements of (convolution) Markov maps associated to (ergodic) actions of locally compact quantum groups on ($\sigma$-finite) von Neumann algebras. We give several equivalent conditions under which the harmonic elements are trivial.
• ### Poisson boundaries over locally compact quantum groups(1111.5828)

April 5, 2014 math.OA
We present versions of several classical results on harmonic functions and Poisson boundaries in the setting of locally compact quantum groups. In particular, the Choquet--Deny theorem holds for compact quantum groups; also, the result of Kaimanovich--Vershik and Rosenblatt, which characterizes group amenability in terms of harmonic functions, admits a non-commutative analogue in the separable case. We also explore the relation between classical and quantum Poisson boundaries by investigating the spectrum of the quantum group. We apply this machinery to find a concrete realization of the Poisson boundaries of the compact quantum group $SU_{q}(2)$ arising from measures on its spectrum.
• ### A Limit Theorem for Discrete Quantum Groups(1304.4117)

April 15, 2013 math.OA
We consider the {\it concentration functions problem} for discrete quantum groups; we prove that if $\mathbb{G}$ is a discrete quantum group, and $\mu$ is an irreducible state in $l^1(\mathbb{G})$, then the convolution powers $\mu^n$, considered as completely positive maps on $c_0(\mathbb{G})$, converge to zero in strong operator topology.
• ### Compact Operators in Regular LCQ Groups(1304.4140)

April 15, 2013 math.OA
We show that a regular locally compact quantum group $\mathbb{G}$ is discrete if and only if $L^\infty(\mathbb{G})$ contains non-zero compact operators on $L^2(\mathbb{G})$. As a corollary we classify all discrete quantum groups among regular locally compact quantum groups $\mathbb{G}$ where $L^1(\mathbb{G})$ has the Radon--Nikodym property.
• ### Representation of left centralizers for actions of locally compact quantum groups(1304.4142)

April 15, 2013 math.OA
We generalize the representation theorem of Junge, Neufang and Ruan [A representation theorem for locally compact quantum groups, Internat. J. Math. 20(3) (2009) 377-400], and some of the important results which were used in its proof, to the case of actions of locally compact quantum groups on von Neumann algebras.
• ### On Harmonic Noncommutative $L^p$-Operators on Locally Compact Quantum Groups(1203.2594)

March 12, 2012 math.OA
For a locally compact quantum group $\G$ with tracial Haar weight $\varphi$, and a quantum measure $\mu$ on $\G$, we study the space ${H}_\mu^p$ of $\mu$-harmonic operators in the non-commutative $L^p$-space ${L}^p(\G)$ associated to the Haar weight $\varphi$. The main result states that if $\mu$ is non-degenerate, then ${H}_\mu^p$ is trivial for all $1 \leq p < \infty$.
• ### From Quantum Groups to Groups(1110.5129)

Oct. 24, 2011 math.OA
In this paper we use the recent developments in the representation theory of locally compact quantum groups, to assign, to each locally compact quantum group $\mathbb{G}$, a locally compact group $\tilde \mathbb{G}$ which is the quantum version of point-masses, and is an invariant for the latter. We show that "quantum point-masses" can be identified with several other locally compact groups that can be naturally assigned to the quantum group $\mathbb{G}$. This assignment preserves compactness as well as discreteness (hence also finiteness), and for large classes of quantum groups, amenability. We calculate this invariant for some of the most well-known examples of non-classical quantum groups. Also, we show that several structural properties of $\mathbb{G}$ are encoded by $\tilde \mathbb{G}$: the latter, despite being a simpler object, can carry very important information about $\mathbb{G}$.
• ### Duality, Cohomology, and Geometry of Locally Compact Quantum Groups(1110.4933)

Oct. 22, 2011 math.FA
In this paper we study various convolution-type algebras associated with a locally compact quantum group from cohomological and geometrical points of view. The quantum group duality endows the space of trace class operators over a locally compact quantum group with two products which are operator versions of convolution and pointwise multiplication, respectively; we investigate the relation between these two products, and derive a formula linking them. Furthermore, we define some canonical module structures on these convolution algebras, and prove that certain topological properties of a quantum group, can be completely characterized in terms of cohomological properties of these modules. We also prove a quantum group version of a theorem of Hulanicki characterizing group amenability. Finally, we study the Radon--Nikodym property of the $L^1$-algebra of locally compact quantum groups. In particular, we obtain a criterion that distinguishes discreteness from the Radon--Nikodym property in this setting.
• ### Hidden Subhypergroup Problem(quant-ph/0609220)

Sept. 28, 2006 quant-ph
The Hidden Subgroup Problem is used in many quantum algorithms such as Simon's algorithm and Shor's factoring and discrete log algorithms. A polynomial time solution is known in case of abelian groups, and normal subgroups of arbitrary finite groups. The general case is still open. An efficient solution of the problem for symmetric group $S_n$ would give rise to an efficient quantum algorithm for Graph Isomorphism Problem. We formulate a hidden sub-hypergroup problem for finite hypergroups and solve it for finite commutative hypergroups. The given algorithm is efficient if the corresponding QFT could be calculated efficiently.