Suppose I have the m-dimensional unitary B to prepare the ancillary state:
\begin{align} B|0\rangle=\frac{1}{\sqrt s}\sum_{j=0}^{m-1}\sqrt{\beta_j}|j\rangle, \text{ where } s\equiv\sum_{j=0}^{m-1}\beta_j \end{align}
Suppose there's some $|\Phi\rangle$ whose ancillary state is supported in the subspace orthogonal to $|0\rangle$, I'm wondering is there a way I can infer/calculate the representation of $B|\Phi\rangle$? Do $B|0\rangle$ orthogonal to $B|\Phi\rangle$? Thanks!!