Fact-checked by Grok 2 weeks ago

Unitary operator

In linear algebra and functional analysis, a unitary operator is a bounded linear operator U on a complex Hilbert space \mathcal{H} that satisfies U^\dagger U = U U^\dagger = I, where U^\dagger denotes the adjoint operator and I is the identity operator.^[1] This condition ensures that U is invertible with inverse U^{-1} = U^\dagger, making unitary operators isometries that preserve the norm and inner product of vectors: for all \psi, \phi \in \mathcal{H}, \|\psi\| = \|U\psi\| and \langle U\psi, U\phi \rangle = \langle \psi, \phi \rangle.^[2]^[3] Unitary operators form a group under composition, known as the unitary group U(\mathcal{H}), which generalizes the orthogonal group for real inner product spaces.^[1] They are normal operators, meaning they commute with their adjoint, and thus admit a spectral decomposition into eigenvalues of modulus one.^[1] In finite-dimensional spaces, unitary operators correspond to unitary matrices, which play a central role in diagonalizing Hermitian matrices via the spectral theorem.^[2] In quantum mechanics, unitary operators are fundamental for describing reversible transformations and time evolution of quantum states, as the time-evolution operator e^{-iHt/\hbar} (where H is the Hamiltonian) is unitary, ensuring probability conservation and the unitarity of quantum dynamics.^[3] They represent symmetries such as rotations in Hilbert space and are essential in quantum information theory for quantum gates and error correction.^[2]

Definition

Formal Definition

A complex Hilbert space H is a complete inner product space over the field of complex numbers, where completeness is with respect to the norm induced by the inner product \langle \cdot, \cdot \rangle.^[4] For a bounded linear operator U: H \to H, the adjoint operator U^\dagger (also denoted U^*) is the unique bounded linear operator satisfying \langle U x, y \rangle = \langle x, U^\dagger y \rangle for all x, y \in H.^[4] A unitary operator U on a complex Hilbert space H is a bounded linear operator satisfying U^\dagger U = I and U U^\dagger = I, where I is the identity operator on H.^[4] In the context of operators on Hilbert spaces, linearity means preserving vector addition and scalar multiplication, while boundedness ensures continuity and definition on the entire space.^[4] This definition equivalently requires U to be invertible with inverse equal to its adjoint, U^{-1} = U^\dagger.^[4] Standard notation uses \dagger or * for the adjoint and I or \mathbf{1} for the identity.^[4]

Equivalent Formulations

A unitary operator U on a Hilbert space \mathcal{H} can equivalently be defined as a surjective isometry, meaning U is a bounded linear operator satisfying \|Ux\| = \|x\| for all x \in \mathcal{H} and U is onto.^[5] This characterization follows from the fact that norm preservation implies U^*U = I, and surjectivity ensures UU^* = I, aligning with the standard adjoint condition.^[6] Another equivalent formulation is that U preserves the inner product, i.e., \langle Ux, Uy \rangle = \langle x, y \rangle for all x, y \in \mathcal{H}.^[7] This property directly implies both norm preservation and the adjoint relation, providing a geometric interpretation of unitarity as an isometry that maintains the structure of the space. In the special case of real Hilbert spaces, unitary operators coincide with orthogonal operators, which are bounded linear operators satisfying the same inner product preservation condition.^[7] Distinct from unitary operators are anti-unitary operators, which preserve norms but conjugate the inner product as \langle Ux, Uy \rangle = \overline{\langle x, y \rangle}; these arise in physics contexts such as time-reversal symmetries in quantum mechanics.^[8]

Examples

Finite-Dimensional Examples

In finite-dimensional Hilbert spaces, unitary operators are represented by unitary matrices, which are complex square matrices U satisfying U^\dagger U = I, where U^\dagger denotes the conjugate transpose of U and I is the identity matrix.^[9] This condition is equivalent to the columns of U (or rows) forming an orthonormal basis with respect to the standard inner product.^[10] For real matrices, the unitary condition reduces to orthogonality, U^T U = I.^[9] A simple example is the identity matrix I, which satisfies I^\dagger I = I and represents the trivial unitary operator that leaves all vectors unchanged.^[11] Another basic case is a phase shift operator on a qubit, represented by the diagonal matrix \begin{pmatrix} 1 & 0 \\ 0 & e^{i\phi} \end{pmatrix} for some real \phi, which is unitary because its conjugate transpose is its inverse, preserving the norm of state vectors in quantum mechanics.^[12] Rotation matrices provide concrete real examples in \mathbb{R}^2. The 2×2 rotation matrix by angle \theta, given by

\begin{pmatrix} \cos \theta & -\sin \theta \\ \sin \theta & \cos \theta \end{pmatrix},

is orthogonal and thus unitary, as its transpose equals its inverse, corresponding to a rotation in the plane that preserves lengths and angles.^[13] To verify, multiplying by a vector \begin{pmatrix} x \\ y \end{pmatrix} yields a rotated vector of the same Euclidean norm. In quantum mechanics, the Pauli matrices serve as fundamental unitary operators on \mathbb{C}^2. These are

\sigma_x = \begin{pmatrix} 0 & 1 \\ 1 & 0 \end{pmatrix}, \quad \sigma_y = \begin{pmatrix} 0 & -i \\ i & 0 \end{pmatrix}, \quad \sigma_z = \begin{pmatrix} 1 & 0 \\ 0 & -1 \end{pmatrix},

each satisfying \sigma_j^\dagger = \sigma_j and \sigma_j^2 = I for j = x,y,z, confirming their unitarity as they are Hermitian with eigenvalues \pm 1.^[14] They generate rotations in spin space and form a basis for single-qubit gates up to phases. Householder reflection matrices offer another class of unitary examples, used in numerical linear algebra for QR decompositions. For a unit vector u \in \mathbb{C}^n, the matrix H = I - 2 u u^\dagger is unitary because H^\dagger = H and H^2 = I, reflecting vectors across the hyperplane orthogonal to u.^[15] The discrete Fourier transform (DFT) matrix provides a multidimensional example. For dimension N, the unitary DFT matrix has entries F_{jk} = \frac{1}{\sqrt{N}} \exp\left( -2\pi i j k / N \right) for j,k = 0, \dots, N-1, satisfying F^\dagger F = I and enabling efficient signal processing via fast algorithms.^[16]

Infinite-Dimensional Examples

In infinite-dimensional Hilbert spaces, unitary operators often arise in the context of function spaces like L^2 spaces, where they preserve the inner product structure while acting on continuous or infinite sequences. A prominent example is the multiplication operator on L^2(X, \mu), where X is a measure space and \mu is a \sigma-finite measure. For a measurable function f: X \to \mathbb{C} with |f(x)| = 1 almost everywhere, the operator M_f defined by (M_f g)(x) = f(x) g(x) for g \in L^2(X, \mu) is unitary. This follows because M_f is bounded with \|M_f\| = \esssup |f| = 1, and its adjoint is multiplication by the complex conjugate \overline{f}, so M_f^* M_f = M_{|f|^2} = I almost everywhere, ensuring M_f is an isometry with dense range, hence unitary on the whole space.^[17] Another key example is the bilateral shift operator on the Hilbert space \ell^2(\mathbb{Z}), consisting of square-summable bi-infinite sequences. Defined by (U \xi)_n = \xi_{n-1} for \xi = (\xi_n)_{n \in \mathbb{Z}}, or equivalently in the standard basis \{e_n\}_{n \in \mathbb{Z}} by U e_n = e_{n+1}, this operator is unitary because its adjoint is the left shift U^* e_n = e_{n-1}, satisfying U U^* = U^* U = I. The bilateral shift is normal, as it commutes with its adjoint, but variants such as unilateral shifts on \ell^2(\mathbb{N}) or weighted bilateral shifts may fail to be normal while remaining isometric or unitary under specific weight conditions.^[18] The Fourier transform provides a canonical unitary operator on L^2(\mathbb{R}). Defined initially on the Schwartz space \mathcal{S}(\mathbb{R}) by \hat{f}(\xi) = \int_{-\infty}^{\infty} f(x) e^{-2\pi i x \xi} \, dx and extended by density and continuity, it satisfies the Plancherel theorem: \|\hat{f}\|_{L^2(\mathbb{R})} = \|f\|_{L^2(\mathbb{R})} for all f \in L^2(\mathbb{R}), making it an isometry. Moreover, it is surjective onto L^2(\mathbb{R}), hence unitary, with the inverse given by the adjoint transform \check{g}(x) = \int_{-\infty}^{\infty} g(\xi) e^{2\pi i x \xi} \, d\xi. This unitarity underpins the Parseval relation \langle f, g \rangle = \langle \hat{f}, \hat{g} \rangle.^[19] In quantum mechanics, the momentum operator generates a family of unitary translation operators on L^2(\mathbb{R}). The translation operator T(a) for a \in \mathbb{R} acts as (T(a) \psi)(x) = \psi(x - a), which is unitary since it preserves the L^2 norm and is invertible with inverse T(-a). This group of translations is generated by the momentum operator P = -i \hbar \frac{d}{dx} via T(a) = e^{-i a P / \hbar}, where the exponential is defined through the Stone's theorem for strongly continuous unitary groups, ensuring unitarity as the generator P is self-adjoint. This representation highlights how infinitesimal translations correspond to momentum shifts in the position representation.

Properties

Preservation Properties

Unitary operators preserve the norm of vectors in the underlying Hilbert space. For any vector x and unitary operator U satisfying U^\dagger U = I, the norm preservation follows directly from

\| U x \|^2 = \langle U x, U x \rangle = \langle x, U^\dagger U x \rangle = \langle x, x \rangle = \| x \|^2,

implying \| U x \| = \| x \| for all x.^[20] This property holds in both finite- and infinite-dimensional settings for bounded unitary operators on Hilbert spaces. Building on norm preservation, unitary operators also preserve inner products. For vectors x and y,

\langle U x, U y \rangle = (U x)^\dagger U y = x^\dagger U^\dagger U y = x^\dagger y = \langle x, y \rangle.

This direct computation relies on the adjoint property and the defining relation U^\dagger U = I. Alternatively, in spaces where the inner product is real-valued or via the polarization identity, norm preservation implies inner product preservation, as

\langle x, y \rangle = \frac{1}{4} \left( \| x + y \|^2 - \| x - y \|^2 \right)

for real inner products, with analogous forms for complex cases.^[21] These preservation properties establish unitary operators as isometries of the Hilbert space, meaning they preserve distances \| U x - U y \| = \| x - y \| derived from the norm.^[22] Moreover, unitarity ensures invertibility, with the inverse given by the adjoint U^{-1} = U^\dagger, since U U^\dagger = I as well. Consequently, unitary operators map orthogonal sets to orthogonal sets: if \langle x_i, x_j \rangle = 0 for i \neq j, then \langle U x_i, U x_j \rangle = 0, preserving the geometric structure of orthogonality.^[22]

Spectral Properties

Unitary operators possess eigenvalues that lie exclusively on the unit circle in the complex plane. Specifically, if U is a unitary operator on a Hilbert space and v is an eigenvector with U v = \lambda v where v \neq 0, then |\lambda| = 1. This follows from the unitarity condition U^* U = I, which implies |\lambda|^2 \|v\|^2 = \|U v\|^2 = \|v\|^2, hence |\lambda| = 1.^[23] Unitary operators are normal, satisfying U U^* = U^* U, and thus admit a spectral decomposition via the spectral theorem. In finite dimensions, this means U is unitarily diagonalizable, with eigenvalues on the unit circle. In infinite-dimensional separable Hilbert spaces, the spectral theorem asserts the existence of a spectral measure E supported on the unit circle \mathbb{T} = \{ z \in \mathbb{C} : |z| = 1 \}, such that U = \int_{\mathbb{T}} \lambda \, dE(\lambda), where the integral is understood in the weak operator topology. The spectrum \sigma(U) \subseteq \mathbb{T}, and the operator is diagonalized in a direct integral representation over L^2(\mathbb{T}, \mu) for some measure \mu.^[24]^[23] The functional calculus for unitary operators extends this decomposition to Borel functions on the unit circle. For a bounded Borel measurable function f: \mathbb{T} \to \mathbb{C}, the operator f(U) is defined by f(U) = \int_{\mathbb{T}} f(\lambda) \, dE(\lambda), which is a bounded normal operator with \|f(U)\| = \|f\|_\infty. If |f(\lambda)| = 1 for all \lambda \in \mathbb{T}, then f(U) is unitary, as its spectrum lies on the unit circle and it preserves the Hilbert space norm. This calculus arises from the continuous functional calculus for normal operators, extended via the Riesz representation theorem to Borel functions.^[23]^[24] In infinite-dimensional Hilbert spaces, the spectrum of a unitary operator decomposes into three mutually singular parts with respect to the spectral measure: the pure point spectrum (corresponding to eigenvalues and eigenspaces), the absolutely continuous spectrum (where the spectral measure is absolutely continuous with respect to Lebesgue measure on \mathbb{T}), and the singular continuous spectrum (where the measure is singular but has no atoms). This decomposition, analogous to that for self-adjoint operators, classifies the dynamical behavior: the pure point part yields periodic orbits, the absolutely continuous part ergodic mixing, and the singular continuous part anomalous diffusion, often arising in quantum systems with quasiperiodic potentials.^[25]

Unitary Groups and Representations

Unitary Groups

The unitary group of a complex Hilbert space H, denoted U(H), consists of all bounded linear operators U on H that are unitary, meaning they satisfy U^* U = U U^* = I, where I is the identity operator and U^* is the adjoint of U. This set forms a group under the operation of composition of operators, with the identity operator serving as the group identity and the inverse of each U \in U(H) given by U^*, since unitarity implies invertibility.^[26] In the finite-dimensional case, where H = \mathbb{C}^n, the unitary group U(n) is the set of all n \times n complex matrices M such that M^* M = I, where M^* denotes the conjugate transpose. This group is a compact Lie group, endowed with the subspace topology inherited from the space of all complex n \times n matrices, making it a closed subgroup of the general linear group GL(n, \mathbb{C}). The compactness arises from the fact that U(n) is bounded in the operator norm and closed, ensuring it is a compact topological space.^[26]^[27] A important subgroup of U(n) is the special unitary group SU(n), defined as \{ U \in U(n) \mid \det U = 1 \}. This subgroup is also a compact Lie group and plays a central role in the classification of compact Lie groups and their representations.^[28] For infinite-dimensional separable Hilbert spaces H, such as \ell^2(\mathbb{N}), the unitary group U(H) is equipped with the strong operator topology, in which convergence of a net of operators \{U_\alpha\} to U means U_\alpha \xi \to U \xi for every \xi \in H. In this topology, U(H) forms a Polish group, meaning it is a separable completely metrizable topological group. This topology ensures continuity of the group operations, distinguishing U(H) from its non-compact behavior in the infinite-dimensional setting.^[29]^[30]

Irreducible Representations

In the context of unitary groups, irreducible representations refer to the irreducible unitary representations of compact Lie groups such as U(n), where the group acts by unitary operators on finite-dimensional complex Hilbert spaces. Since U(n) is compact, all its irreducible unitary representations are finite-dimensional and completely reducible.^[31] These representations play a central role in harmonic analysis and quantum mechanics, decomposing the regular representation via the Peter–Weyl theorem, which states that the space of continuous functions on U(n) decomposes as a direct sum \bigoplus_{W \in \mathrm{Irr}\, U(n)} W^* \otimes W, where \mathrm{Irr}\, U(n) denotes the set of equivalence classes of irreducible representations and each summand appears with multiplicity equal to its dimension.^[31] The classification of these irreducible representations relies on highest weight theory for the Lie algebra \mathfrak{u}(n). Each irreducible representation is uniquely determined by a dominant integral weight \lambda = (m_1, m_2, \dots, m_n) \in \mathbb{Z}^n satisfying m_1 \geq m_2 \geq \dots \geq m_n. For each such \lambda, there exists a unique irreducible representation V_\lambda of highest weight \lambda, realized on a subspace of the tensor algebra generated by the standard n-dimensional representation of U(n).^[31] The highest weight vector is fixed by the unipotent radical of the Borel subgroup and transforms under the maximal torus according to the character e^{i \langle \lambda, \theta \rangle}, where \theta parameterizes the torus. This construction ensures the representation is irreducible, as any proper invariant subspace would contradict the uniqueness of the highest weight vector.^[31] Key properties include the Schur orthogonality relations, where matrix elements of distinct irreducibles are orthogonal with respect to the Haar measure on U(n), facilitating decompositions of tensor products via Clebsch–Gordan coefficients. For example, the exterior power \bigwedge^k \mathbb{C}^n is the irreducible representation with highest weight (1, 1, \dots, 1, 0, \dots, 0) (k ones), illustrating how polynomial representations arise from symmetrizers and antisymmetrizers in tensor methods.^[32] The dimension of V_\lambda is given by the Weyl dimension formula:

\dim V_\lambda = \prod_{1 \leq i < j \leq n} \frac{m_i - m_j + j - i}{j - i},

which quantifies the "size" of the representation and underscores its combinatorial nature tied to Young tableaux.^[31] For the special unitary group SU(n), a normal subgroup of U(n), the irreducible representations correspond to dominant weights with \sum m_i = 0, obtained by restricting U(n)-representations and projecting out the trivial U(1)-action. In infinite-dimensional settings, such as representations of the unitary group U(\mathcal{H}) on a separable Hilbert space \mathcal{H}, the theory extends but loses compactness; finite-dimensional irreducibles embed, yet infinite-dimensional irreducible unitary representations exist and their full classification remains an active area, often involving admissible representations and Harish-Chandra modules for reductive groups.^[33]

References

[1]
[PDF] Section 4.5. Invertible, Normal, Isometric, and Unitary Operators
Apr 22, 2019 · A bounded linear operator T on a Hilbert space H is a unitary operator if T∗T = TT∗ = I on H. Note. Trivially, every unitary operator is normal ...
[2]
Linear Algebra for Quantum Mechanics - Galileo
We construct a unitary operator V by making this the first column, then filling in with n−1 other normalized vectors to construct, with |a1〉, an n -dimensional ...
[3]
[PDF] Representations and Quantum Systems
May 21, 2022 · Definition (Unitary Operator). An operator U is said to be unitary if ... Definition (Unitary Operator). An operator U is said to be ...
[4]
[PDF] FUNCTIONAL ANALYSIS - ETH Zürich
Jun 8, 2017 · These are notes for the lecture course “Functional Analysis I” held by the second author at ETH Zürich in the fall semester 2015.
[5]
[PDF] Lecture 3.26. Hermitian, unitary and normal matrices - Purdue Math
A matrix U is called unitary if. U∗U = I. So a real unitary matrix is the same as orthogonal. Examples: A =
[6]
ALAFF Unitary matrices - UT Computer Science
If an orthonormal matrix is square, then it is called a unitary matrix. 🔗. Definition 2.2.4.1. Unitary matrix. Let ...
[7]
[PDF] MATH-UA 148 Honors Linear Algebra Hermitian Vector Spaces ...
▷ If M is unitary, then M is invertible and M−1 = M∗ is unitary. ▷ The identity map is unitary. ▷ The identity matrix is unitary. 14 / 24. Page 15. Unitary ...
[8]
Chapter 2 - Qubits and Collections of Qubits - Qunet
Aug 9, 2022 · 3.9, Unitary Matrices). These unitary matrices, or unitary transformations, as well as their generalization to many qubits, transform one ...
[9]
ALAFF Examples of unitary matrices - UT Computer Science
We conclude that the matrix that represents a rotation should be a unitary matrix. 🔗. Let us compute the matrix that represents the rotation through an angle θ.
[10]
[PDF] Vectors and Matrices
The Pauli matrices, also known as the spin matrices, are: σx = 0 1. 1 0. , σy = 0 −i i 0. , σz = 1 0. 0 −1 . They are also denoted by σ1,σ2 and σ3, respectively ...
[11]
[PDF] Householder transformations - Cornell: Computer Science
Householder transformations are orthogonal transfor- mations (reflections) that can be used to similar effect. Reflection across the plane orthogonal to a unit ...Missing: unitary | Show results with:unitary
[12]
[PDF] The Discrete Fourier Transform (Bretherton notes): 1 Definition
It is easily verified that F is a unitary matrix (i. e. FF† = F†F = I). From this representation it is easy to derive Parseval's theorem. N. ∑ m=1.
[13]
[PDF] Groups, Hilbert Space and Differential Geometry
Exercise: Show that if U is a unitary operator then U = 1. Exercise: Show that the multiplication operator Aα on L2(X) is unitary iff |α(x)| = 1 for all x ∈ X ...
[14]
[PDF] Shift Operators - ISI Bangalore
Jun 4, 2014 · The bilateral shift U on l2(Z) is defined by Uen = en+1, where en is the sequence with 1 in the nth position and zero elsewhere for all n ∈ Z.
[15]
[PDF] Fourier Transforms 2 - UNL Math
An operator that preserves inner products is called unitary. Since. hFu,Fvi = hu,vi the Fourier transform is a unitary operator on L2(Rn). 6. Let ε > 0 and ξ ∈ ...
[16]
[PDF] 6 Norms and Inner Products
A matrix U ∈ Cn×n is unitary if and only if k Ux k2=k x k2 for every x ∈ C n. Proof. If U is unitary we have k Ux k2. 2= (Ux)HUx = xHUHUx =k x k2. 2 because ...
[17]
[PDF] 21 Norms, seminorms and inner products - OSU Math
Conversely, the polarization Proof. If U is unitary, then ||ux||2 identity shows that any isometry preserves the inner product.
[18]
[PDF] Inner Product Spaces and Orthogonality - HKUST Math Department
Proof. Consider the function y = y(t) := (u + tv, u + tv), t ∈ R. Then y(t) ≥ 0 by the third property of inner product. Note that y(t) is a quadratic function ...
[19]
None
### Summary of Functional Calculus for Unitary Operators
[20]
[PDF] 1. The spectral theorem for unitary operators
The spectral theorem for unitary operators. In this section we give a simple proof of the spectral theorem for unitary operators. We.
[21]
[PDF] Introduction - Harvard Mathematics Department
Singular continuous spectrum occurs often in solid state physics. The dynamics of U onthe singular continuous subspace is the least understood. It follows from ...
[22]
unitary group in nLab
May 10, 2025 · The unitary group U ( n ) U(n) is compact topological space, hence in particular a compact Lie group. Homotopy groups. Proposition 2.2. For n ...Definition · Properties · Relation to special unitary group · Relation to orthogonal...
[23]
Topology of Lie groups - Jonny Evans
Unitary groups Definition: 11.00 Define the unitary group U(n)={M∈GL(n,𝐂):M†M=I} . Here, M†:=ˉMT (i.e. you transpose your matrix and take the complex-conjugate ...
[24]
[PDF] 1 The Classical Groups - UCSD Math
The unitary group of rank n is the group U(n) = {A ∈ Mn(C)|A∗A = I}. The special unitary group is U(n) ∩ SL(n,C). Let Ip,q be as in 1.1.4. We define the.
[25]
[PDF] unitary.pdf
In this topology U becomes a Polish space, i.e., a separable space whose topology is induced by a complete metric. Actually U is a Gδ in B(`2) under this ...
[26]
Topological properties of the unitary group - NASA/ADS
We show that the strong operator topology, the weak operator topology and the compact-open topology agree on the space of unitary operators of a infinite ...
[27]
[PDF] Representation theory of U(n) - Joshua Mundinger
Nov 29, 2019 · Let IrrU(n) denote the set of irreducible representations of U(n). For W ∈ IrrU(n), let θW : W∗ ⊗ W → C(U(n),C) be defined by the following ...
[28]
Unitary Groups: Representations and Decompositions
We review the basic definitions and the construction of irreducible representations using tensor methods, and indicate the connection to the infinitesimal ...
[29]
[PDF] Unitary Representation Theory
Jan 22, 2024 · pact Lie group G, the irreducible unitary representations correspond precisely. 2Roughly the argument proceeds as follows. First we observe ...