Assume that $\pi$ is the coupling of probability measures $\mu$ and $\nu$ on $[0,1]$. The hypothesis test for independence is that $$ H_0: \pi=\mu\times \nu \, , H_a: \pi\neq \mu\times \nu $$ The test statistic is $W(\hat{\pi}^N)$.
My question is how to get the power: $$\text{power}=1−P(\text{type II error})=1−P(H_0 \text{ accept}|H_0 \text{ false})$$ Can I take two dependent random data sets and for this one means conditional probability on $H_0$ false?
Also, I am confused about the meaning of this Corollary. Does it mean the $$P(\text{reject } H_0|H_0 \text{ is true})$$, which is the Type-1 error? But in the simulation result, the author calculates the power and assume the significance level $\alpha=0.1$.