
We show that, for a given compact or discrete quantum group $G$, the class of
actions of $G$ on C*algebras is firstorder 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.

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.

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.

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 selfcontained proof of the
aforementioned characterization of C*simplicity. This yields a new
characterization of C*simplicity in terms of the weak containment of
quasiregular 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.

The notion of an open quantum subgroup of a locally compact quantum group is
introduced and given several equivalent characterizations in terms of
grouplike 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 11 correspondence with normal compact quantum subgroups of the dual quantum
group.

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.

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 wellknown uncertainty principle for compact
groups, and generalize the relation to compact quantum groups of Kac type. We
also establish the complementarity of finitedimensional quantum group
algebras. In the nonunimodular 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.

For a discrete group G, we consider the minimal C*subalgebra of
$\ell^\infty(G)$ that arises as the image of a unital positive Gequivariant
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 Gboundary $\partial_F G$.
This operatoralgebraic construction of the Furstenberg boundary has a number
of interesting consequences. We prove that G is exact precisely when the
Gaction 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 Gaction on
the Furstenberg boundary. Specifically, we prove that a discrete group G is
C*simple if and only if the Gaction 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.

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 spreadout irreducible probability measure $\mu$ on $G$ to converge to
zero.

We prove that if $\rho$ is an adapted positive definite function in the
FourierStieltjes 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.

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 JungeNeufangRuan, 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.

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.

We present versions of several classical results on harmonic functions and
Poisson boundaries in the setting of locally compact quantum groups. In
particular, the ChoquetDeny theorem holds for compact quantum groups; also,
the result of KaimanovichVershik and Rosenblatt, which characterizes group
amenability in terms of harmonic functions, admits a noncommutative 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.

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.

We show that a regular locally compact quantum group $\mathbb{G}$ is discrete
if and only if $L^\infty(\mathbb{G})$ contains nonzero 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 RadonNikodym property.

We generalize the representation theorem of Junge, Neufang and Ruan [A
representation theorem for locally compact quantum groups, Internat. J. Math.
20(3) (2009) 377400], 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.

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 noncommutative $L^p$space ${L}^p(\G)$
associated to the Haar weight $\varphi$. The main result states that if $\mu$
is nondegenerate, then ${H}_\mu^p$ is trivial for all $1 \leq p < \infty$.

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 pointmasses, and is an invariant for the latter. We show
that "quantum pointmasses" 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 wellknown examples of
nonclassical 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}$.

In this paper we study various convolutiontype 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 RadonNikodym property
of the $L^1$algebra of locally compact quantum groups. In particular, we
obtain a criterion that distinguishes discreteness from the RadonNikodym
property in this setting.

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 subhypergroup problem for finite hypergroups and solve it for finite
commutative hypergroups. The given algorithm is efficient if the corresponding
QFT could be calculated efficiently.