next up previous contents
Next: The structure of eigenspaces Up: The Structure of the Previous: Structure of the circulant   Contents

The diagonal blocks

Let $J$ be the counteridentity matrix. That is, $(x_1,x_2,\ldots,x_m)J=(x_m,x_{m-1},\ldots,x_1)$. We note $J^2=I$.

We form the diagonal block


\begin{displaymath}P_1=A_1+A_2+A_2^t+A_3\end{displaymath}

and find the structure


\begin{displaymath}
P_1=
\left(
\begin{array}{l\vert l}
q_1 & \hat q_s \\ \hline
\hat q_s^t & \tilde Q_1
\end{array}\right)
\end{displaymath}

where $\hat q_s$ is an even row vector, or $\hat q_s J = \hat q_s$ and

\begin{displaymath}JQ_1J=Q_1.\end{displaymath}

We form the diagonal block


\begin{displaymath}P_3=A_1-A_2-A_2^t+A_3\end{displaymath}

and find the structure


\begin{displaymath}P_3=
\left(
\begin{array}{l\vert l}
q_3 & \hat q_a \\ \hline
\hat q_a^t & \tilde Q_3
\end{array}\right)
\end{displaymath}

where $\hat q_a$ is an odd row vector, or $\hat q_a J = -\hat q_a$ and

\begin{displaymath}JQ_3J=Q_3.\end{displaymath}

We form the diagonal block


\begin{displaymath}P_2=A_1+\imath (A_2+A_2^t) -A_3\end{displaymath}

and find the structure


\begin{displaymath}P_2=
\left(
\begin{array}{l\vert l}
q_2 & \hat e_2 \\ \hline
\hat e_2^* & \tilde Q_2
\end{array}\right)
\end{displaymath}

where

\begin{displaymath}\hat e_2= \Re(\hat e_2)(I-\imath J).\end{displaymath}

and

\begin{displaymath}JQ_2J=\overline{Q}_2.\end{displaymath}

We recall that $P_4=\overline{P}_2.$

Now form unitary matrices


\begin{displaymath}R_1=
\left(
\begin{array}{ll}
1 & \\
& J
\end{array}\right)
\end{displaymath}


\begin{displaymath}R_3=
\left(
\begin{array}{ll}
-1 & \\
& J
\end{array}\right)
\end{displaymath}


\begin{displaymath}R_2=
\left(
\begin{array}{ll}
\imath & \\
& J
\end{array}\right)
\end{displaymath}


\begin{displaymath}R_1^2=R_3^2=R_2*\overline{R}_2=I\end{displaymath}

From the above properties of the diagonal blocks


\begin{displaymath}R_1P_1R_1=P_1\end{displaymath}


\begin{displaymath}R_3P_3R_3=P_3\end{displaymath}


\begin{displaymath}R_2P_2\overline{R}_2=\overline{P}_2\end{displaymath}


next up previous contents
Next: The structure of eigenspaces Up: The Structure of the Previous: Structure of the circulant   Contents
John Edward Weiss 2002-09-30