I recently read about the PAAS as an alternative to Bonferroni. Unlike Bonferroni, where $\alpha$ is subdivided among multiple tests such that
$$ \alpha_1 + \alpha_2 + \ldots + \alpha_k = \alpha $$
where $\alpha$ is the overall alpha. It is shown that Bonferroni controls the FWER (Family-wise Error Rate). I understood this to mean the probability that any test falsely rejects the null when the null is true, that is literally the interpretation of $\alpha$ for a well controlled test. It is optimal when the tests are independent.
Alternately, there is the PAAS which constrains the true negative rate:
$$ (1-\alpha_1)(1-\alpha_2)\ldots(1-\alpha_k) = (1-\alpha)$$
Immediately (for $k=2$) you can see PAAS "spends" the alpha less conservatively, so that instead of 0.025 as a cutoff for an evenly-split alpha $1-|\sqrt{1-0.05}| = 0.0253\ldots$. Performing the same calculation gives me the familywise error rate as $\text{Pr}(\text{Test 1 false rejects}) + \text{Pr}(\text{Test 2 false rejects}) = 0.0506\ldots$.
Is the FWER defined differently than this? Is PAAS an FDR method then?