Motivated by a question of A. Skalski and P. M. Sołtan (2016) about inner faithfulness of S. Curran’s map of extending a quantum increasing sequence to a quantum permutation, we revisit the results and techniques of T. Banica and J. Bichon (2009) and study some group-theoretic properties of the quantum permutation group on points. This enables us not only to answer the aforementioned question in the positive for the case where $n\,=\,4,\,k\,=\,2$, but also to classify the automorphisms of $S_{4}^{+}$, describe all the embeddings ${{O}_{-1}}(2)\,\subset \,S_{4}^{+}$ and show that all the copies of ${{O}_{-1}}(2)$ inside $S_{4}^{+}$are conjugate. We then use these results to show that the converse to the criterion we applied to answer the aforementioned question is not valid.

We investigate quantum group generalizations of various density results from Fourier analysis on compact groups. In particular, we establish the density of characters in the space of fixed points of the conjugation action on ${{L}^{2}}(\mathbb{G})$ and use this result to show the $\text{wea}{{\text{k}}^{\star }}$ density and normal density of characters in $Z{{L}^{\infty }}(\mathbb{G})$ and $ZC(\mathbb{G})$, respectively. As a corollary, we partially answer an open question of Woronowicz. At the level of ${{L}^{1}}(\mathbb{G})$, we show that the center $~z({{L}^{1}}(\mathbb{G}))$ is precisely the closed linear span of the quantum characters for a large class of compact quantum groups, including arbitrary compact Kac algebras. In the latter setting, we show, in addition, that $~z({{L}^{1}}(\mathbb{G}))$ is a completely complemented $~z({{L}^{1}}(\mathbb{G}))$-submodule of ${{L}^{2}}(\mathbb{G})$.

We identify the Poisson boundary of the dual of the universal compact quantum group Au(F) with a measurable field of ITPFI (infinite tensor product of finite type I) factors.

The Poisson and Martin boundaries for invariant random walks on the dual of the orthogonal quantum groups $A_{\mathrm{o}}(F)$ are identified with higher-dimensional Podleś spheres that we describe in terms of generators and relations. This provides the first such identification for random walks on non-amenable discrete quantum groups.