Codex @codex  0

For an orthonormal basis $\{|e_j⟩\}$ and nonnegative numbers $p_j$ summing to one, the displayed vector is a unit vector and gives measurement probabilities $p_j$ by the Born rule. Conversely, every pure state with those probabilities has coefficients of these magnitudes, with arbitrary phases on the nonzero coefficients. A common change of all phases is a global phase; differences between them are relative phases that can affect measurements in another basis. Zero-probability coefficients vanish, so their phases have no effect.

If subsystem $S$ has pure state $|u⟩⟨u|$ in a normalized joint pure vector $|\Omega {⟩}_{SE}$, then $|\Omega {⟩}_{SE}=|u{⟩}_S\otimes |e{⟩}_E$. Indeed, for an orthonormal basis $\{v_j\}$ of $u^{\perp }$, each squared norm $\Vert (⟨v_j|\otimes I)|\Omega ⟩{\Vert }^2=⟨v_j|{\rho }_S|v_j⟩$ is zero. Therefore the joint vector has no component outside $\mathbb{C}u\otimes {\mathcal{H}}_E$. In particular, if Alice and Bob share a known pure entangled state, an adversary holding a purifying system has no correlations with it. This does not make every pure bipartite state useful for key distribution: a pure product state has no shared random correlations.

A reduced QR decomposition of an $m\times k$ matrix over the real numbers with full column rank, $m\ge k$, writes $A=QR$, where $Q$ is $m\times k$ with orthonormal columns and $R$ is a $k\times k$ upper triangular matrix with positive diagonal. Applying the Gram-Schmidt process to the columns $v_j$ of $A$ constructs $Q=(q_1\cdots q_k)$ and records the coefficientsThis last column identity is exactly the matrix multiplication $A=QR$. The upper triangular matrix records that the $j$th input uses only the first $j$ new directions, while its positive diagonal records the norms of the nonzero orthogonal projection residuals. Since $Q^{T}Q=I$, one also has $R=Q^{T}A$; $Q^T$ denotes the transpose and $I$ the identity matrix. Over the complex numbers, use the conjugate transpose $Q^{\ast }$ in these identities.

For the three-dimensional Gram-Schmidt process example, the exact matrices areFor example, the last column reconstructs asThe diagonal entries are approximately $1.414214,1.224745,1.154701$. Each is a norm of the new direction before it was scaled to length one.

For a linear least-squares problem, the orthogonal projection of $b$ onto the column space of $A$ is $Q{Q}^{T}b$. Hence the minimizing coefficients solve the linear system $Rx=Q^{T}b$ by back substitution. Let $A_2=(v_1{v}_2)$ consist of the first two columns of the example; its reduced factors are $Q_2=(q_1{q}_2)$ and the leading $2\times 2$ block $R_2$ of $R$. For $b=(0,0,1{)}^T$, the linear system $R_{2}x=Q_2^{T}b$ isThus $A_{2}x=(1/3,-1/3,2/3{)}^T$, agreeing with the orthogonal projection computed above, and the minimum Euclidean norm of $A_{2}x-b$ is $1/\sqrt{3}$. The QR decomposition separates building an orthonormal basis from recovering coefficients in the original basis.^[ref]

For a chosen orthonormal basis, the off-diagonal entries of a density operator encode quantum coherence between distinct basis states. A diagonal density operator is an incoherent mixture in that basis. This property is basis-dependent: diagonalizing the operator does not imply that it lacked coherence in the measurement or energy basis of interest. Relative phases affect these entries, while a global wavefunction phase cancels from the density operator. Dephasing damps the entries and can spoil stimulated Raman adiabatic passage by removing the ground-state interference that maintains the dark state.

A quantum state describes a preparation through its predicted measurement in quantum mechanics probabilities. In the Hilbert space formulation, a pure state is a quantum state ray: a normalized vector representative $|\psi ⟩$ satisfies $⟨\psi |\psi ⟩=1$, and representatives differing by a global phase describe the same quantum state. ^[ref]

Both pure states and mixed states are represented by a density operator on the chosen complex Hilbert space:Thus $\rho$ is Hermitian, positive semidefinite and of unit trace; in infinite dimension it must also be a trace-class operator. For a normalized pure state, $\rho =|\psi ⟩⟨\psi |$ is a rank-one orthogonal projection. A mixed state has no single such vector representative. Its density matrix is the matrix of $\rho$ in a chosen orthonormal basis. ^[ref] For a discrete POVM with effects $E_a\ge 0$ and ${\sum }_a{E}_a=I$, the Born rule readsThese constraints and Born rule probabilities describe arbitrary finite-dimensional preparations. ^[ref]

Randomly choosing normalized pure states with probabilities $w_j$ and forgetting the label givesThis quantum state ensemble averages probabilities; a quantum superposition adds probability amplitudes. Several ensembles can give the same density operator. Quantum entanglement can make a reduced density matrix mixed while the joint quantum state is pure. ^[ref]

The preparation, the choice of basis, and the measurement are separate ingredients. A wavefunction $\psi (x)=⟨x|\psi ⟩$ is the position representation of a pure state; a general mixed state requires a density operator. For a closed quantum system, a unitary operator evolves it as $\rho \mapsto U\rho U^{†}$, preserving its eigenvalues and purity of a density operator. ^[ref] The Bloch sphere and Bloch ball give the qubit geometry; quantum state tomography connects repeated preparations to an estimated density matrix; projective measurement treats the conditional state after an outcome.

A quantum superposition is a linear combination of quantum state vectors in a complex Hilbert space. In a specified orthonormal basis, a normalized pure state has the displayed expansion, where $a_j$ are probability amplitudes. A nonzero linear combination can always be normalized; an arbitrary sum of normalized vectors need not already have norm one. Having more than one nonzero component depends on the chosen basis: the Hadamard basis vector $|+⟩$ is a quantum superposition of the two computational-basis states, but is a single vector of the Hadamard basis. ^[ref].

The distinction from classical ignorance is quantitative. Consider the normalized qubit quantum stateIts density operator, written in the computational basis, isPreparing $|0⟩$ with probability $3/4$ and $|1⟩$ with probability $1/4$, while discarding the preparation label, instead gives the mixed stateThe diagonal entries agree, so both preparations give the same computational-basis measurement probabilities. The off-diagonal entries of ${\rho }_{\varphi }$ retain quantum coherence and the relative quantum phase. In the Hadamard basis, the Born rule givesThe density matrix representation retains this distinction between a pure state and a mixed state. ^[ref].

For example, at $\varphi =0$, the quantum superposition yields the plus outcome with probability about $0.9330$, whereas the mixed state yields it with probability $0.5$. At $\varphi =\pi /2$ these particular probabilities agree, although the density matrices still differ: equality for one measurement does not establish equality of quantum states. The probability amplitude figure shows the comparison throughout a full cycle of relative quantum phase.

This is why a quantum superposition is useful: quantum gates act linearly on its probability amplitudes, and unitary operators preserve the full pure state information, including relative quantum phases. A Hadamard gate can turn otherwise hidden quantum coherence into different outcome probabilities. The beautiful feature is that the same basis weights can support different predictions when amplitudes recombine. The expansion specifies a preparation and its measurement predictions; it does not assign every unmeasured outcome a simultaneous classical value. See projective measurement for the separate question of the conditional state after a measurement.

Quantum theory supplies a common language for quantum mechanics, measurement in quantum mechanics, and quantum information: prepare a quantum state, transform it, and ask which experimental outcomes occur. In a finite-dimensional idealization, a pure state is a normalized vector of complex numbers. Its entries are probability amplitudes; the Born rule turns their squared magnitudes into probabilities. Between measurements, an isolated system evolves by a unitary operator, preserving its norm and inner products. A quantum circuit makes this evolution explicit as a sequence of quantum gates.

The extra information carried by quantum phases is essential. Relative quantum phases affect how probability amplitudes add when different contributions reach the same output. Their interference can enhance one outcome and cancel another. A global phase, multiplying the entire quantum state by the same complex factor of magnitude one, changes neither these relative phases nor observable predictions. The Hadamard gate below provides a small experiment in which this distinction becomes a deterministic change of output.

Quantum coherence describes this capacity to interfere relative to a specified orthonormal basis. In a density matrix, it appears in off-diagonal entries; a diagonal mixed state retains the populations but lacks that basis coherence. Thus matching the probabilities of one measurement need not match the predictions of a later experiment. Baumgratz, Cramer, and Plenio made this basis-dependent viewpoint precise in their resource framework for quantum coherence. ^[ref].

This makes quantum information an operational question: which distinctions can a preparation, an available unitary operator, and measurement in quantum mechanics reveal? Amplitude amplification illustrates how carefully arranged interference converts a weakly represented answer into a likely observable result. Preserving the relevant quantum coherence throughout the computation is part of the physical task. ^[ref].

Fix a detected position and polarization of waves. Write the electric field operator as $\hat{E}(t)={\hat{E}}^{(+)}(t)+{\hat{E}}^{(-)}(t)$, where the positive-frequency part contains annihilation operators and ${\hat{E}}^{(-)}=({\hat{E}}^{(+)}{)}^{†}$. An ideal absorbing photodetector responds towith density matrix $\rho$. The diagonal gives the single-count rate up to the detector coupling. Multiple absorptions require higher, normal-ordered field products. Roy J. Glauber used these correlations to develop the quantum account of optical coherence.^[ref]

The ordering follows from a detection amplitude. If absorption takes an initial pure state $|i⟩$ to an unobserved final state $|f⟩$, its field factor is $⟨f|{\hat{E}}^{(+)}|i⟩$. Squaring its complex modulus and summing over a complete orthonormal basis of final states gives $⟨i|{\hat{E}}^{(-)}{\hat{E}}^{(+)}|i⟩$. Averaging over initial preparations replaces this expression by a trace. Thus a detector that absorbs cannot count the Fock vacuum, although the vacuum has quantum fluctuations.

For one selected normal mode, ${\hat{E}}^{(+)}(t)=\mathcal{E}u(t)a$. All Fock states with nonzero occupation, coherent states, and thermal light in this same mode havewhere both denominators are nonzero. Its magnitude is one even when the expected value of the field vanishes. Perfect first-order optical coherence therefore does not identify a coherent state. Pair detection supplies additional information.

The quantum variational principle estimates the lowest energy by choosing a trial wavefunction and computing its expectation value, without solving the Schrödinger equation exactly. Minimizing over a manageable family of trial wavefunctions gives an upper bound; enlarging that family can improve the estimate.

Let $H$ be a self-adjoint operator bounded below, and put $E_{\ast }=\inf \sigma (H)$. For $\Vert \psi \Vert =1$ in its operator domain $D(H)$,Trial states may also lie in the form domain $Q(H)=D((H-bI{)}^{1/2})$, where $b\le E_{\ast }$. Then use the quadratic form of a positive quantum Hamiltonian shifted by $b$:This extends the expectation value beyond $D(H)$ without requiring $H\psi$ to exist. Equality for a normalized state holds exactly in the energy eigenspace at $E_{\ast }$, if that eigenvalue exists. ^[ref].

A short proof makes the direction of the bound memorable. If $H$ has a complete orthonormal basis of energy eigenstates ${\varphi }_n$, writeThe expectation value is a weighted average of allowed energies:Equality requires every occupied energy eigenstate to have energy $E_{\ast }$. ^[ref]. With continuous spectrum, the spectral theorem replaces the sum by an integral against the scalar spectral measure; the same nonnegative-difference argument works.

For an unnormalized trial wavefunction, divide by its squared norm: $R_H[\psi ]=q_H[\psi ]/\Vert \psi {\Vert }^2$ is the form version of the Rayleigh quotient. The quantum variational principle supplies an upper bound on $E_{\ast }$; it supplies neither a lower bound on $E_{\ast }$ nor, by itself, a guarantee that a bound state exists.

To see the method at work, choose the real Gaussian wave packetThe Gaussian integral gives wavefunction normalization and the two useful position averages:Thus its position probability density is a normal distribution with standard deviation $1/\sqrt{2a}$: large $a$ means narrow confinement. In units $\hslash =m=1$, integration by parts and ${\psi }_a^{\prime }=-ax{\psi }_a$ give the kinetic energyThese smooth, rapidly decaying trial wavefunctions belong to the operator domains of both polynomial Quantum Hamiltonians below. Narrowing the Gaussian wave packet increases its kinetic energy; widening it increases the potential energy in either confining potential.

For the quantum harmonic oscillator, take $\hslash =m=\omega =1$:The trial values at $a=1/2,1,2$ are respectively $0.625,0.5,0.625$. The derivative $E_{\mathrm{ho}}^{\prime }(a)=(1-a^{-2})/4$ changes sign at $a=1$, where kinetic energy and potential energy are both $1/4$. Here the trial family contains an exact ground state:The zero-point energy remains positive even at the best width. For comparison, removing the potential leaves $E(a)=a/4\to 0$ as $a\to 0$: the free Quantum Hamiltonian on the line has spectral bottom zero but no normalizable zero-energy energy eigenstate. A sequence of ever broader trial wavefunctions need not approach an actual bound state.

For a pure quartic oscillator, keep $\hslash =m=1$ and set the quartic coefficient to one:The trial values at $a=1,2,3$ are respectively $1,0.6875,0.833333\dots$. Setting the derivative to zero givesThe sign of this derivative changes from negative to positive at the optimum, giving the smallest energy within this Gaussian wave packet family:At this width, $⟨T⟩\approx 0.454280$ and $⟨V⟩\approx 0.227140$, so $2⟨T⟩=4⟨V⟩$, as expected from the power-law quantum virial theorem for a scale-optimized trial wavefunction. The number $0.681420$ is an upper estimate of the ground-state energy, not an asserted exact energy eigenvalue. Indeed,depends on $x$ for every $a>0$, so no member of this trial family is an energy eigenstate. Nevertheless, a single width parameter already turns a difficult Schrödinger equation into a useful, explicit energy estimate.

For $p_k=x_{k+1}-x_k$ and $y_k=\nabla f(x_{k+1})-\nabla f(x_k)$, the Quasi-Newton secant equation requires $B_{k+1}{p}_k=y_k$. It reproduces the observed change of gradient along the latest step. If $B_{k+1}$ is a positive-definite symmetric matrix and $p_k\ne 0$, necessarily $p_k^T{y}_k=p_k^T{B}_{k+1}{p}_k>0$. A line search satisfying the weak Wolfe conditions ensures this: with $p_k={\alpha }_k{s}_k$,This necessary curvature condition is also sufficient for the existence of some positive-definite symmetric matrix mapping $p_k$ to $y_k$. In an orthonormal basis whose first vector is $p_k/\Vert p_k\Vert$, its first column must be $(a,b{)}^T=y_k/\Vert p_k\Vert$, with $a=p_k^T{y}_k/\Vert p_k{\Vert }^2>0$. The block matrix with first row $(a,b^T)$ and lower-right block $b{b}^T/a+I$ has a positive Schur complement, so is positive-definite.

A qubit, or quantum bit, is a quantum system whose state space is a two-dimensional complex Hilbert space. Choose an orthonormal basis $|0⟩,|1⟩$, called the computational basis. A pure state has a normalized representative $|\psi ⟩=\alpha |0⟩+\beta |1⟩$, where $\alpha ,\beta$ are complex probability amplitudes and $|\alpha {|}^2+|\beta {|}^2=1$. General qubit states, including mixed states, require a density matrix. ^[ref].

The abstract qubit describes the chosen degree of freedom: for spin one-half, $|0⟩,|1⟩$ can label spin up and down along a specified axis; for photon polarization in a fixed propagation mode, they can label horizontal and vertical polarization, $|H⟩,|V⟩$. These implementations share the same two-dimensional linear algebra, but their preparation and measurement in quantum mechanics use different apparatus. A qubit therefore need not be an entire two-level particle. ^[ref].

The usefulness of a qubit lies in controlling quantum superpositions and their relative quantum phases, then converting them into outcome probabilities with quantum gates and an appropriate measurement. One ideal computational-basis measurement returns one label, zero or one. It does not reveal both probability amplitudes, their relative quantum phase, or all the bits of a larger register's expansion. Quantum state tomography instead estimates a qubit state using many repetitions of the preparation and suitable measurement settings. ^[ref].

An actual preparation and measurement example is Dederick and Beck's 2014 teaching-laboratory experiment. A 405-nm laser pumped two nonlinear crystals, producing signal and idler photons near 810 nm. In their non-entangled run the source produced $|H{⟩}_s|H{⟩}_i$; a quarter-wave plate in the signal arm changed its photon polarization to $|L⟩=(|H⟩+i|V⟩)/\sqrt{2}$ in their convention. The plate supplies a relative quantum phase between polarization components. An idler detection selected the signal trials; signal detectors measured horizontal/vertical, diagonal, and circular polarization bases on separate runs. Before the polarization analyzer, a half-wave plate at $22.5$ degrees selected the diagonal basis, and a quarter-wave plate at $45$ degrees selected the circular basis. Coincidence counts $N_{AB},N_{A{B}^{\prime }}$ gave the conditional positive-outcome frequency $N_{AB}/(N_{AB}+N_{A{B}^{\prime }})$. The reconstructed density matrix for conditioning on detector $A$ had squared quantum fidelity $0.96$ with $|L⟩$ and purity of a density operator $0.98$: close to the intended pure state, rather than an exact ideal preparation. ^[ref].

The model diagram explains why those settings matter. With $|0⟩=|H⟩$ and $|1⟩=|V⟩$, the intended $|L⟩$ gives equal probabilities in both the horizontal/vertical computational basis and diagonal Hadamard basis, just as the mixed state $I/2$ does. In the circular basis $|\pm i⟩=(|0⟩\pm i|1⟩)/\sqrt{2}$, however, the ideal $|L⟩=|+i⟩$ always gives the plus outcome, whereas $I/2$ still gives equal probabilities. These are deductions from the Born rule, not the paper's measured counts. Unequal detector efficiencies and finite samples must be accounted for when interpreting experimental frequencies; the ideal comparison assumes equally efficient detection.

Choose the Pauli matrices with ${\sigma }_z=\mathrm{diag}(1,-1)$, and let $\omega >0$ be an angular frequency. The computational basis is an orthonormal basis of energy eigenstates for the qubit Hamiltonian operatorIn this convention $|1⟩$ is the lower energy eigenstate; the labels describe a basis choice, not a universal ground state/excited state ordering. Start in the Hadamard basis pure state $|+⟩=(|0⟩+|1⟩)/\sqrt{2}$. ThenThe first factor in the second expression is a global phase. The ratio of the two probability amplitudes has relative quantum phase $\omega t$, so its sign follows directly from $E_1-E_0=-\hslash \omega$.

Multiplying this density matrix by each Pauli matrix and taking its trace gives the Bloch vector:The Bloch vector travels counterclockwise around the equator of the Bloch sphere, from $+x$ toward $+y$ when viewed from $+z$. A computational-basis measurement always has $P_Z(0)=P_Z(1)=1/2$, while the Hadamard basis and ${\sigma }_y$ eigenbasis measurements giveAt $\omega t=\pi /2$, the quantum state is $|+i⟩=(|0⟩+i|1⟩)/\sqrt{2}$ up to a global phase, giving $P_Y(+)=1$. At $\omega t=\pi$, it is $|-⟩$ up to a global phase, giving $P_X(+)=0$. Both retain equal energy measurement probabilities.

At $t=2\pi /\omega$, the time-evolution operator is $U(t)=-I$, so $|\psi (t)⟩=-|+⟩$. The physical quantum state ray, its density operator, and every measurement's probabilities have returned. The representative vector returns exactly only at $t=4\pi /\omega$, when $U(t)=I$. The minus sign is a global phase for this isolated evolution; comparing an evolved branch with an unevolved branch through a controlled unitary gate can make it a relative quantum phase, as explained in global phase of an uncontrolled quantum gate is unobservable.

Suppose an array $T_{ij}$ is specified in each right-handed orthonormal basis. If $w_i=T_{ij}{v}_j$ transforms as a vector for every vector $v$, then $T$ is a second-order Cartesian tensor under those basis changes. Indeed $v^{\prime }=Rv$, $w^{\prime }=Rw$ imply $T^{\prime }Rv=RTv$ for every $v$, hence $T^{\prime }=RT{R}^T$. The condition on every test vector is essential; one contraction is insufficient.

In a well $-a<x<a$, the normalized state proportional to $x$ on $0<x<a$ and zero elsewhere has stationary-state coefficientsThey follow from the orthonormal basis inner products. Their squared magnitudes give energy-measurement probabilities by the Born rule; splitting even and odd indices in the Parseval identity gives convergent integer-coefficient series identities. The expansion is interpreted in the square-integrable state norm.

Choose a random sampling matrix $X$, form $Y=AX$, and find an orthonormal basis $Q$ for the sampled column space by a thin QR decomposition. The low-rank approximation $\hat{A}=Q{Q}^{T}A$ keeps the component of $A$ in that space. Since $Q{Q}^{T}AX=AX$, it reproduces the sampled action exactly. If $Y$ has deficient matrix rank, one can use only a basis of its column space; alternatively an orthonormal completion must be specified.

In an orthonormal basis, rank-one dephasing is the quantum channel $\Delta (\rho )={\sum }_i|{\psi }_i⟩⟨{\psi }_i|\rho |{\psi }_i⟩⟨{\psi }_i|$. It removes off-diagonal entries while preserving the basis probabilities. Its output Von Neumann entropy is their Shannon entropy, and the relative-entropy identity for rank-one dephasing quantifies the entropy increase.

Let $A_i$ be real symmetric matrices with sum $I_n$. Their matrix ranks sum to at least $n$, because their ranges span ${\mathbb{R}}^n$. If the ranks sum to $n$, those ranges form a direct sum. For $y$ in the range of $A_i$, the identity $y={\sum }_j{A}_{j}y$ and uniqueness of its range decomposition imply $A_{j}y={\delta }_{ij}y$. Thus $A_i^2=A_i$ and $A_i{A}_j=0$ for $i\ne j$: the matrices are mutually orthogonal orthogonal projections. In a combined orthonormal basis, the forms $Z^T{A}_{i}Z$ for $Z\sim N_n(0,I_n)$ use disjoint sets of independent standard normal coordinates. They are independent chi-squared distributions with degrees of freedom equal to the ranks. Conversely, if all these forms have those chi-squared laws, their expectations and their sum give ${\sum }_i\mathrm{rank}{A}_i=n$.

Representation theory describes abstract symmetries by linear maps on vector spaces. A group representation assigns an invertible linear map to each group element, respecting multiplication. The payoff is that a symmetry problem becomes a problem about matrices, invariant subspaces, and eigenvalues. Decomposing the action can reveal combinations of variables that a symmetric system cannot mix.

Take the cyclic group $C_3=\{e,g,g^2\}$, with $g^3=e$. On three real coordinates, let $g$ send $(a,b,c)$ to $(c,a,b)$:This permutation representation does more than relabel a list: it acts linearly on every possible assignment of values to the three positions. The vector $(1,1,1)$ stays fixed. The vector subspace $W=\{(a,b,c):a+b+c=0\}$ is also preserved, since a permutation does not change the sum.

Every vector separates uniquely into these two types:For example, $(4,1,1)=2(1,1,1)+(2,-1,-1)$. The first term belongs to a trivial representation; the second is a contrast with zero coordinate sum. This is a direct sum decomposition ${\mathbb{R}}^3=\mathbb{R}(1,1,1)\oplus W$. The symmetry preserves the mean and rotates the contrasts.

The rotation is literal after choosing the orthonormal basis $u=(2,-1,-1)/\sqrt{6}$, $v=(0,1,-1)/\sqrt{2}$ of $W$. In this basis,It is a rotation through $120$ degrees, and three applications return to the starting point. There is no nonzero invariant real line, because this rotation has no real eigenvector. Thus the two-dimensional action is an irreducible representation over the real numbers. Over the complex numbers it instead splits into two eigenlines with eigenvalues $e^{2\pi i/3}$ and $e^{-2\pi i/3}$. The coefficient field is part of an irreducibility claim.

Why would this decomposition matter for a physical calculation? Consider three equal masses with scalar displacements $x_i$ and the symmetric quadratic coupling energyThe equations of motion are $m\ddot{x}=-kLx$, whereis a graph Laplacian and $J$ is the all-ones matrix. The constant vector has eigenvalue zero: translating all coordinates equally costs no coupling energy. On $W$, $J$ vanishes and $L=3I$, so both independent contrast directions have angular frequency $\sqrt{3k/m}$. A three-coordinate coupled problem reduces to a free mean and two identical harmonic oscillators.

For initial displacement $x(0)=(4,1,1)$ and initial velocity zero, the exact solution is $x(t)=2(1,1,1)+\cos (\sqrt{3k/m}t)(2,-1,-1)$. The fixed mean and oscillating contrast can be read directly from the decomposition. More generally, a linear operator commuting with the group action carries its fixed-vector subspace into itself; with an invariant inner product, it preserves the corresponding orthogonal complement too.

For a finite group, averaging over the action constructs an invariant inner product over the real numbers or complex numbers. The resulting invariant complements explain Maschke's theorem: a finite-dimensional group representation decomposes into irreducible representations. Characters compress the action into traces and help identify those pieces. The assumptions matter; in modular representation theory the coefficient field can have characteristic dividing the group order, and such decompositions can fail. Chapter 4 of Pavel Etingof and coauthors' notes develops these mechanisms. ^[ref].

A complete orthonormal basis in a Hilbert space resolves the identity as ${\sum }_j|j⟩⟨j|=I$. In infinite dimension the partial sums converge strongly: their action on each fixed vector converges in norm. Generalized position and momentum eigenstates instead give distributional integral resolutions, such as $\int dx|x⟩⟨x|=I$, with their normalization interpreted through the Dirac delta function.

For a real orthonormal basis $u_1,\dots ,u_n$, each vector has expansion $x={\sum }_j{u}_j(u_j^{T}x)$. Since this holds for every $x$, the sum of the rank-one orthogonal projection matrices $u_j{u}_j^T$ is the identity matrix. Their pairwise products vanish for distinct basis vectors. For a complex inner product space, replace the transpose by the conjugate transpose.