Householder transformation explained

In linear algebra, a Householder transformation (also known as a Householder reflection or elementary reflector) is a linear transformation that describes a reflection about a plane or hyperplane containing the origin. The Householder transformation was used in a 1958 paper by Alston Scott Householder.^[1]

Its analogue over general inner product spaces is the Householder operator.

Definition

Transformation

The reflection hyperplane can be defined by its normal vector, a unit vector $v$ (a vector with length $1$) that is orthogonal to the hyperplane. The reflection of a point $x$ about this hyperplane is the linear transformation:

x - 2 \langle x, v\rangle v = x - 2 v\left(v ^{*} x\right),

where $v$ is given as a column unit vector with conjugate transpose $v^\backslash textsf$.

Householder matrix

The matrix constructed from this transformation can be expressed in terms of an outer product as:

P = I - 2 vv ^{*}

is known as the Householder matrix, where $I$ is the identity matrix.

Properties

The Householder matrix has the following properties:

• it is Hermitian: $P\; =\; P^*$,
• it is unitary: $P^\; =\; P^*$,
• hence it is involutory: $P\; =\; P^$.
• A Householder matrix has eigenvalues $\backslash pm\; 1$. To see this, notice that if $u$ is orthogonal to the vector $v$ which was used to create the reflector, then $Pu\; =\; u$, i.e., $1$ is an eigenvalue of multiplicity $n\; -\; 1$, since there are $n\; -\; 1$ independent vectors orthogonal to $v$. Also, notice $Pv\; =\; -v$, and so $-1$ is an eigenvalue with multiplicity $1$.
• The determinant of a Householder reflector is $-1$, since the determinant of a matrix is the product of its eigenvalues, in this case one of which is $-1$ with the remainder being $1$ (as in the previous point).

Applications

Geometric optics

In geometric optics, specular reflection can be expressed in terms of the Householder matrix (see ).

Numerical linear algebra

Householder transformations are widely used in numerical linear algebra, for example, to annihilate the entries below the main diagonal of a matrix,^[2] to perform QR decompositions and in the first step of the QR algorithm. They are also widely used for transforming to a Hessenberg form. For symmetric or Hermitian matrices, the symmetry can be preserved, resulting in tridiagonalization.^[3]

QR decomposition

Householder reflections can be used to calculate QR decompositions by reflecting first one column of a matrix onto a multiple of a standard basis vector, calculating the transformation matrix, multiplying it with the original matrix and then recursing down the $(i,\; i)$ minors of that product. To accomplish this, a hermitian unitary matrix Q is sought which takes a complex vector x into a complex multiple of a complex vector e. For the QR decomposition, e will be a unit coordinate vector, say for the kth coordinate. A complex matrix Q having the form Q = I - u u* with u* u = 2 has the desired property of being hermitian unitary. Here * denotes the conjugate transpose. Since the only two vectors involved are x and e, the vector u must have the form u = a x + b e, where a and b are complex coefficients to be determined. Since an overall phase factor for u does not matter, the coefficient a can be chosen to be positive real. Now Q x = x (1 – a (u* x)) - e (b (u* x)). For the coefficient of the vector x to be zero, the two terms in u* x must have the same phase within a multiple of 180 degrees, so we must have arg(b) = arg(e* x) within a multiple of 180 degrees. There are two solutions according to whether an even or odd multiple of 180 degrees is chosen. So for the complex coefficient of the vector x to be zero, two linear equations in the moduli of a and b must be solved. The phases of a and b have already been determined. Suppose e to be the kth unit coordinate vector so that e* e = 1 and x_k= e* x and let |x|= sqrt(x* x). Then a and b may be expressed simply either as a =1/sqrt (|x| (|x|+ |x_k|)) and b = a |x| exp(i*arg(x_k)) or as a =1/sqrt (|x| (|x|- |x_k|)) and b = - a |x| exp(i*arg(x_k)). The multiplier of e is -b/a for both solutions. The first solution is better because the denominator cannot be near zero compared to |x|.

Tridiagonalization

See main article: Tridiagonal matrix. This procedure is presented in Numerical Analysis by Burden and Faires. It uses a slightly altered

\operatorname{sgn} function with \operatorname{sgn}( 0 ) = 1 .^[4] In the first step, to form the Householder matrix in each step we need to determine $\backslash alpha$ and $r$, which are:\begin{align} \alpha & = - \operatorname{sgn}\left(a _{21} \right)\sqrt{\sum ^{n} _{j =2} a ^{2 };} _{j 1} \\ r & = \sqrt{ (1)/(2) \left(\alpha ^{2} - a _{21} \alpha\right)}; \end{align}

From $\backslash alpha$ and $r$, construct vector $v$:

v ^{(1)} = \begin{bmatrix} v _{1} \ v _{2} \ \vdots \ v _{n} \end{bmatrix},

where $v\_1\; =\; 0$, $v\_2\; =\; \backslash frac$, and

v _{k} = (a _{k1})/(2 r) for each k = 3 , 4 \ldots n

Then compute:

\begin{align} P ^{1} & = I - 2 v ^{(1)} \left(v ^{(1)} \right) ^{sf{T}\\} A ^{(2)} & = P ^{1} AP ^{1 \end{align}}

Having found $P^1$ and computed $A^$ the process is repeated for $k\; =\; 2,\; 3,\; \backslash ldots,\; n\; -\; 2$ as follows:

\begin{align} \alpha & = - \operatorname{sgn}\left(a ^{k} _{k +1 ,k} \right)\sqrt{\sum ^{n} _{j = k +1} \left(a ^{k} _{jk} \right) ^{2}} \\[ 2 pt] r & = \sqrt{ (1)/(2) \left(\alpha ^{2} - a ^{k} _{k +1 ,k} \alpha\right)} \\[ 2 pt] v ^{k} _{1} & = v ^{k} _{2} = … = v ^{k} _{k} = 0 \\[ 2 pt] v ^{k} _{k +1} & = (a ^{k} _{k +1 ,k} - \alpha)/(2 r) \\ v ^{k} _{j} & = (a ^{k} _{jk})/(2 r) for j = k + 2 , k + 3 , \ldots, n \\ P ^{k} & = I - 2 v ^{(k)} \left(v ^{(k)} \right) ^{sf{T}\\} A ^{(k+1)} & = P ^{k} A ^{(k)} P ^{k \end{align}}

Continuing in this manner, the tridiagonal and symmetric matrix is formed.

Examples

In this example, also from Burden and Faires, the given matrix is transformed to the similar tridiagonal matrix A₃ by using the Householder method.

A = \begin{bmatrix} 4 & 1 & -2 & 2 \\ 1 & 2 & 0 & 1 \\ -2 & 0 & 3 & -2 \\ 2 & 1 & -2 & -1 \end{bmatrix},

Following those steps in the Householder method, we have:

The first Householder matrix:

\begin{align} Q _{1} & = \begin{bmatrix} 1 & 0 & 0 & 0 \\ 0 & - (1)/(3) & (2)/(3) & - (2)/(3) \\ 0 & (2)/(3) & (2)/(3) & (1)/(3) \\ 0 & - (2)/(3) & (1)/(3) & (2)/(3) \end{bmatrix}, \\ A _{2} = Q _{1} A Q _{1} & = \begin{bmatrix} 4 & -3 & 0 & 0 \\ -3 & (10)/(3) & 1 & (4)/(3) \\ 0 & 1 & (5)/(3) & - (4)/(3) \\ 0 & (4)/(3) & - (4)/(3) & -1 \end{bmatrix}, \end{align}

Used $A\_2$ to form

\begin{align} Q _{2} & = \begin{bmatrix} 1 & 0 & 0 & 0 \\ 0 & 1 & 0 & 0 \\ 0 & 0 & - (3)/(5) & - (4)/(5) \\ 0 & 0 & - (4)/(5) & (3)/(5) \end{bmatrix}, \\ A _{3} = Q _{2} A _{2} Q _{2} & = \begin{bmatrix} 4 & -3 & 0 & 0 \\ -3 & (10)/(3) & - (5)/(3) & 0 \\ 0 & - (5)/(3) & - (33)/(25) & (68)/(75) \\ 0 & 0 & (68)/(75) & (149)/(75) \end{bmatrix}, \end{align}

As we can see, the final result is a tridiagonal symmetric matrix which is similar to the original one. The process is finished after two steps.

Computational and theoretical relationship to other unitary transformations

See also: Rotation (mathematics). The Householder transformation is a reflection about a hyperplane with unit normal vector $v$, as stated earlier. An $N$-by-$N$ unitary transformation $U$ satisfies $UU^*\; =\; I$. Taking the determinant ($N$-th power of the geometric mean) and trace (proportional to arithmetic mean) of a unitary matrix reveals that its eigenvalues $\backslash lambda\_i$ have unit modulus. This can be seen directly and swiftly:

\begin{align} (\operatorname{Trace)/(\left(UU) ^{*\right)}{N}} & = (\sum ^{2} _{j\right|})/(N) = 1 , & \operatorname{det}\left(UU ^{*\right)} & = \prod ^{N} _{j =1} \left| λ ^{2} _{j\right|} = 1 . \end{align}

Since arithmetic and geometric means are equal if the variables are constant (see inequality of arithmetic and geometric means), we establish the claim of unit modulus.

For the case of real valued unitary matrices we obtain orthogonal matrices, $UU^\backslash textsf\; =\; I$. It follows rather readily (see orthogonal matrix) that any orthogonal matrix can be decomposed into a product of 2 by 2 rotations, called Givens Rotations, and Householder reflections. This is appealing intuitively since multiplication of a vector by an orthogonal matrix preserves the length of that vector, and rotations and reflections exhaust the set of (real valued) geometric operations that render invariant a vector's length.

The Householder transformation was shown to have a one-to-one relationship with the canonical coset decomposition of unitary matrices defined in group theory, which can be used to parametrize unitary operators in a very efficient manner.^[5]

Finally we note that a single Householder transform, unlike a solitary Givens transform, can act on all columns of a matrix, and as such exhibits the lowest computational cost for QR decomposition and tridiagonalization. The penalty for this "computational optimality" is, of course, that Householder operations cannot be as deeply or efficiently parallelized. As such Householder is preferred for dense matrices on sequential machines, whilst Givens is preferred on sparse matrices, and/or parallel machines.

See also

• Block reflector
• Givens rotation
• Jacobi rotation

Notes

1. A. S. . Householder . Alston Scott Householder . Unitary Triangularization of a Nonsymmetric Matrix . . 5 . 4 . 1958 . 339 - 342 . 10.1145/320941.320947 . 0111128. 9858625 .
2. Web site: Taboga . Marco . Householder matrix, Lectures on matrix algebra..
3. Schabauer. Hannes. Pacher. Christoph. Sunderland. Andrew G.. Gansterer. Wilfried N.. 2010-05-01. Toward a parallel solver for generalized complex symmetric eigenvalue problems. Procedia Computer Science. en. 1. 1. 437–445. 10.1016/j.procs.2010.04.047. free.
4. Book: Burden . Richard . Faires . Douglas . Burden . Annette . Numerical analysis . 2016 . Thomson Brooks/Cole . 9781305253667 . 10th.
5. Renan Cabrera . Traci Strohecker . . The canonical coset decomposition of unitary matrices through Householder transformations . . 51 . 8 . 082101 . 2010 . 10.1063/1.3466798 . 1008.2477. 2010JMP....51h2101C. 119641896 .

References

• C.D. . LaBudde . The reduction of an arbitrary real square matrix to tridiagonal form using similarity transformations . . 17 . 84 . 1963 . 433 - 437 . 0156455 . 10.2307/2004005 . 2004005 . American Mathematical Society.
• D.D. . Morrison . Remarks on the Unitary Triangularization of a Nonsymmetric Matrix . . 7 . 2 . 1960 . 185 - 186 . 10.1145/321021.321030 . 0114291. 23361868 . free.
• Cipra . Barry A. . Barry A. Cipra. The Best of the 20th Century: Editors Name Top 10 Algorithms. 33 . 4 . 2000 . 1. SIAM News. (Herein Householder Transformation is cited as a top 10 algorithm of this century)
• Book: Press . WH . Teukolsky . SA . Vetterling . WT . Flannery . BP . 2007 . Numerical Recipes: The Art of Scientific Computing . 3rd . Cambridge University Press . New York . 978-0-521-88068-8 . Section 11.3.2. Householder Method . http://apps.nrbook.com/empanel/index.html#pg=578 .