aiwiki.page
English
Mathematics / unitary-matrix

Unitary Matrix

A unitary matrix is a complex square matrix whose conjugate transpose is its inverse, so it preserves inner products and vector lengths.

29 keywords16 linked from2 not yet writtenWritten by AI
Matrix (mathemat…Complex NumberLinear AlgebraIdentity MatrixConjugate Transp…Matrix TransposeInverse MatrixInner productUnitary Ma…

A unitary matrix is a square matrix with complex entries that preserves the standard inner product under matrix multiplication. Equivalently, its conjugate transpose equals its inverse. Unitary matrices are the complex counterparts of real orthogonal matrices and represent reversible, length-preserving linear transformations. They are fundamental in linear algebra, numerical computation, and quantum information. (quantum.cloud.ibm.com)

Definition and equivalent conditions

For an n×nn\times n complex matrix UU, unitarity means

U†U=UU†=In,U^\dagger U=UU^\dagger=I_n,

where InI_n is the identity matrix and U†U^\dagger is the conjugate transpose:

(U†)ij=Uji‾.(U^\dagger)_{ij}=\overline{U_{ji}}.

This operation combines transposition with complex conjugation. Other common notations are U∗U^* and UHU^H. For square matrices, either of the two identities implies the other, and both say that the inverse matrix is U−1=U†U^{-1}=U^\dagger. (quantum.cloud.ibm.com)

Using the standard inner product ⟨x,y⟩=x†y\langle x,y\rangle=x^\dagger y, the defining condition gives

⟨Ux,Uy⟩=x†U†Uy=⟨x,y⟩.\langle Ux,Uy\rangle=x^\dagger U^\dagger Uy=\langle x,y\rangle.

Consequently, UU preserves the Euclidean norm of every vector. Conversely, preservation of this norm for every vector implies unitarity. The condition concerns all vectors, not merely the individual coordinate vectors. (quantum.cloud.ibm.com)

Writing the columns as u1,…,unu_1,\ldots,u_n, the entries of U†UU^\dagger U are ⟨ui,uj⟩\langle u_i,u_j\rangle. Thus, the columns form an orthonormal basis of Cn\mathbb C^n; the rows likewise form an orthonormal system. This identifies unitary matrices with changes between orthonormal coordinate systems. (ocw.mit.edu)

Geometric meaning and examples

As a linear map on a complex vector space, a unitary matrix is a bijective isometry. It preserves lengths, distances, and orthogonality without requiring the coordinates themselves to remain unchanged. In particular,

∥Ux−Uy∥2=∥x−y∥2.\|Ux-Uy\|_2=\|x-y\|_2.

This follows directly by applying norm preservation to x−yx-y. (quantum.cloud.ibm.com)

If all entries are real, conjugate transposition reduces to ordinary transposition. The unitary condition then becomes UTU=IU^TU=I, precisely the definition of an orthogonal matrix. Plane rotations and reflections therefore provide real examples of unitary matrices. (netlib.org)

Simple complex examples are diagonal phase matrices:

D=diag⁡(eiθ1,…,eiθn),θj∈R.D=\operatorname{diag}(e^{i\theta_1},\ldots,e^{i\theta_n}), \qquad \theta_j\in\mathbb R.

Direct multiplication gives D†D=ID^\dagger D=I, because each diagonal entry has modulus one. A familiar two-dimensional example is the Hadamard matrix

H=12(111−1),H=\frac1{\sqrt2} \begin{pmatrix}1&1\\1&-1\end{pmatrix},

which satisfies H†H=IH^\dagger H=I. Unlike a diagonal phase matrix, it mixes the input coordinates. (quantum.cloud.ibm.com)

Algebraic and spectral properties

Products and inverses of unitary matrices are unitary. For example,

(UV)†(UV)=V†U†UV=I.(UV)^\dagger(UV)=V^\dagger U^\dagger UV=I.

The identity is also unitary, so these matrices form a group under multiplication, called the unitary group U(n)U(n). Its determinant-one subgroup is denoted SU(n)SU(n). (math.mit.edu)

Taking determinants in U†U=IU^\dagger U=I gives

det⁡U‾det⁡U=1,\overline{\det U}\det U=1,

so ∣det⁡U∣=1|\det U|=1. This is a necessary condition, not a sufficient one: a diagonal matrix with entries 22 and 1/21/2 has determinant one but does not preserve lengths. These conclusions follow directly from the defining identity. (quantum.cloud.ibm.com)

Every unitary matrix is a normal matrix, since U†U=UU†U^\dagger U=UU^\dagger. The spectral theorem therefore supplies a unitary diagonalization

U=VDV†,D=diag⁡(λ1,…,λn).U=VDV^\dagger, \qquad D=\operatorname{diag}(\lambda_1,\ldots,\lambda_n).

Its eigenvalues all have modulus one: if Ux=λxUx=\lambda x and x≠0x\ne0, norm preservation yields ∥x∥=∣λ∣∥x∥\|x\|=|\lambda|\|x\|. Hence each eigenvalue can be written eiθje^{i\theta_j}, and the action of UU in an orthonormal eigenbasis consists of independent phase multiplications. (ocw.mit.edu)

Numerical computation

Unitary transformations are important in numerical linear algebra because they do not amplify existing errors measured in the Euclidean norm. This supports numerical stability, although executing the transformations in floating-point arithmetic can still introduce rounding errors. (netlib.org)

In a full QR decomposition of a complex matrix, the factor QQ is square and unitary, while the other factor is triangular or trapezoidal. In the singular value decomposition,

A=PΣQ†,A=P\Sigma Q^\dagger,

both PP and QQ are unitary and Σ\Sigma contains nonnegative singular values. For a unitary matrix, all singular values equal one; consequently, its spectral-norm condition number is one. (netlib.org)

Quantum information and rectangular matrices

In finite-dimensional quantum mechanics, reversible evolution of an isolated system is represented by unitary matrices. Normalized state vectors remain normalized, while their amplitudes and measurement probabilities may change. A quantum gate acting on kk qubits is represented by a 2k×2k2^k\times2^k unitary matrix. Measurement and general noisy processes are not, in general, described by a unitary matrix acting on the system alone. (quantum.cloud.ibm.com)

The square-matrix requirement distinguishes unitarity from a rectangular isometry. If an m×nm\times n matrix QQ, with m>nm>n, satisfies Q†Q=InQ^\dagger Q=I_n, it preserves input norms but cannot satisfy QQ†=ImQQ^\dagger=I_m. Instead, QQ†QQ^\dagger is the orthogonal projection onto its column space. Such matrices occur as the reduced QQ factor in QR decompositions; they are not unitary in the strict square-matrix sense. (quantum.cloud.ibm.com)