Let $x\in\mathbb{R}^{d}$ and $W\in \mathbb{R}^{d\times d}$ so $M(x)=I-2\frac{x^TW^Tx}{\|Wx\|^2}W\in\mathbb{R}^{d\times d}$.
I'd like to show $M(x)$ is invertible for all $x$ under as few constraints on $W$ as possible, e.g., it would be interesting if $M(x)$ is invertible for triangular, symmetric or positive/negative definite $W$.
Observations.
- Scale invariance: $M(c\cdot x)=M(x)$ for all $c\neq 0$.
- $x^TW^Tx/\|Wx\|^2$ resembles the generalized rayleigh quotient.
- Eigenvalues are $\lambda_i(M(x))=1-2\frac{x^TW^Tx}{\|Wx\|^2}\lambda_i(W)$. If $\lambda_i(M(x))\neq 0$ then $M(x)$ is invertible. This happens when the eigenvalues of $W$ satisfies $\lambda_i(W)\neq 1/2 \frac{\|Wx\|^2}{x^TWx}$.
- Skew symmetric $W^T=-W$ implies $M(x)=I$ which is not interesting.
- Diagonal $cI$ is implies $M(x)=-I$ which is not interesting.