Find Orthogonal Vectors in 4-Dimensions

inner-productsorthogonalityvector-spacesvectors

I have $4$ vectors in $\mathbb{R}^4$ as the following:
$$
a_1, a_2 \in \mathbb{R}^4 \text{ and } a_1 \perp a_2, \\
b_1, b_2 \in \mathbb{R}^4 \text{ and } b_1 \perp b_2. \\
$$

The way I have constructed them is, I took random vectors in $\mathbb{R}^4$ and ran Gram-Schmidt on pairs $(a_1, a_2)$ and $(b_1, b_2)$. Now, I want a situation where
$$
a_1 \perp b_1, a_2 \perp b_2.
$$

I can use Gram-Schmidt again on the pairs $(a_1, b_1)$ and $(a_2, b_2)$, but then I lose the property that $(a_1 \perp a_2)$ and $(b_1 \perp b_2)$. Is there a way to ensure the above-mentioned desiderata? Note that I could run Gram-Schmidt on $(a_1, a_2, b_1, b_2)$ to find $4$ orthogonal vectors, but that's not what I want. Notice that in my specification, I am not telling anything about the inner products between $a_1, b_2$ or $a_2, b_1$. Is there a way to do this? Or can I prove that it is impossible? Thanks!

Best Answer

Here is a simple example of such vectors, which yet manages to display all possible angles between the unconstrained pairs: \begin{eqnarray} &a_1 = e_1, & & a_2=e_3 \cos\alpha+e_4\sin\alpha,\\ & b_1 = e_3, & & b_2=e_1 \cos\beta+e_2\sin\beta, \end{eqnarray}

Then indeed $a_1\perp b_1\perp b_2\perp a_2\perp a_1$, but the angle between $a_2,b_1$ is $\alpha$ and the angle between $a_1,b_2$ is $\beta$. (This is of course a very simple example, but we can apply an arbitrary rotation to create a 'random' quartet with such relations.)

Related Question