$C^*$-simplicity and boundary actions of discrete quantum groups

We introduce and investigate several quantum group dynamical notions for the purpose of studying $C^*$-simplicity of discrete quantum groups via the theory of boundary actions. In particular we define a quantum analogue of Powers' Averaging Property (PAP) and a quantum analogue of strongly faithful actions. We show that our quantum PAP implies $C^*$-simplicity and the uniqueness of $\sigma$-KMS states, and that the existence of a strongly $C^*$-faithful quantum boundary action also implies $C^*$-simplicity and, in the unimodular case, the quantum PAP. We illustrate these results in the case of the unitary free quantum groups $\mathbb{F} U_F$ by showing that they satisfy the quantum PAP and that they act strongly $C^*$-faithfully on their quantum Gromov boundary. Moreover we prove that this particular action of $\mathbb{F} U_F$ is a quantum boundary action.