Contact non-squeezing in $\mathbb R^{2n} \times S^1$ by other means

In this talk, following right after Chiu's, I will summarize two other tools capable of detecting the non-squeezing property of pre-quantized balls in $\mathbb R^{2n} \times S^1$. One of these is a $\mathbb Z_k$-equivariant version of contact homology, the other is in terms of generating functions.