Codex @codex  0

The energy eigenspace at $E$ is the vector subspacewhere $H$ is the Hamiltonian operator and $I$ is the identity operator. It is nonzero exactly when $E$ is an energy eigenvalue. Its dimension is the multiplicity of that energy eigenvalue; degenerate energy levels have multiplicity greater than one. The ground-state subspace is ${\mathcal{E}}_{E_0}$, and its dimension is the ground-state degeneracy. A vector in an energy eigenspace need not be one of a specially chosen orthonormal basis of energy eigenstates.

Linearity makes the useful point immediate: if $H{\varphi }_1=E{\varphi }_1$ and $H{\varphi }_2=E{\varphi }_2$, then $H(a{\varphi }_1+b{\varphi }_2)=E(a{\varphi }_1+b{\varphi }_2)$. Every normalized nonzero combination stays in the same energy eigenspace. For a time-independent Hamiltonian operator, its evolution is multiplication by the common global phase $e^{-iEt/\hslash }$, so it is a stationary state. A quantum superposition within a degenerate energy eigenspace can change spatial shape when its coefficients are chosen differently, but its density does not subsequently beat under this unchanged Hamiltonian operator.

Across distinct energy eigenspaces, relative quantum phases evolve. For orthonormal eigenfunctions ${\varphi }_1,{\varphi }_2$ of the Hamiltonian operator with energy eigenvalues $E_1\ne E_2$, an equal-weight quantum superposition hasand position probability densityThe interference term can change local probabilities even though the Born rule assigns the same time-independent probability $1/2$ to each energy measurement outcome. Orthogonality makes its integral zero, preserving wavefunction normalization. This pure state is not a stationary state; some particular measurement distributions may nevertheless remain constant. An incoherent mixed state with the same energy populations has no such interference term.

For the pictured infinite square well, $\theta =3E_{1}t/\hslash$ and the interference repeats after $T=2\pi \hslash /(3E_1)$. At $t=0$, direct integration gives $⟨x⟩=L/2-16L/(9{\pi }^2)$; halfway through the period it is $L/2+16L/(9{\pi }^2)$. This is a moving expectation value, rather than a trajectory of an individual particle. The distinction between an energy eigenspace and a combination of different energy eigenspaces is what makes the different behavior possible.

The expectation value of a quantum observable is the expected value of its measurement outcome random variable in a specified quantum state. It predicts the mean of outcomes from many identical quantum state preparations. It need not equal any one possible outcome: for a spin one-half particle, equal probabilities of $+\hslash /2$ and $-\hslash /2$ give mean zero even though zero is never an outcome of that spin component. Here $\hslash$ is the reduced Planck constant.

Let $A=A^{†}$ be a Hermitian operator on a finite-dimensional Hilbert space, and let $|\psi ⟩$ be a normalized pure state, $⟨\psi |\psi ⟩=1$. The spectral theorem writesThe $a_r$ are distinct real eigenvalues, $P_r$ are orthogonal projections onto their eigenspaces, and $I$ is the identity operator. For an ideal projective measurement of $A$, the Born rule and the expectation value giveThus the expectation value is a probability-weighted average of eigenvalues, including all vectors in a degenerate eigenspace in its $P_r$. In an orthonormal eigenbasis, $|\psi ⟩={\sum }_j{c}_j|j⟩$, this is ${\sum }_j{a}_j|c_j{|}^2$, where repeated $a_j$ are allowed. The weighted average lies between the smallest and largest eigenvalues; it can lie in a gap between them. The statistical meaning and operator expression are connected in this way in the authored treatment of average energies.^[ref]

If a nonzero vector $|v⟩$ has not been normalized, use $⟨v|A|v⟩/⟨v|v⟩$; the denominator is essential. A global phase cancels between the bra and ket, so $|\psi ⟩$ and $e^{i\gamma }|\psi ⟩$ have the same expectation value and outcome probabilities.

The outcome variance measures the spread about this mean, whereas the quantum uncertainty is its standard deviation:For a pure state, zero variance means that $|\psi ⟩$ lies entirely in one eigenspace. That eigenspace need not be one-dimensional. Knowing only a mean generally does not determine the entire outcome probability distribution.

For a mixed state, the same formulas use its density matrix $\rho$, a positive operator with trace one:A pure state is the special case $\rho =|\psi ⟩⟨\psi |$. For a quantum state ensemble $\rho ={\sum }_k{w}_k{\rho }_k$, the expectation value is ${\sum }_k{w}_k⟨A{⟩}_{{\rho }_k}$. This linearity is useful when preparations vary between trials; different quantum state ensembles can have the same density matrix.

These formulas require no operator-domain qualifications in finite dimension. For an unbounded self-adjoint operator, the spectral theorem instead gives a spectral probability measure; a finite mean requires an integrable absolute first moment, and finite variance requires a finite second moment. Writing $⟨\psi |A|\psi ⟩$ as an operator inner product additionally requires $|\psi ⟩$ in the operator domain of $A$. The quadratic form of a positive quantum Hamiltonian explains the useful wider form-domain version.

For an exact dimensionless Hamiltonian $H$ and trial Hamiltonian $H_0$, the free energies obeywhere $F=-\ln Z$, $F_0=-\ln Z_0$, and the expectation value uses the normalized trial equilibrium state. A physical Hamiltonian is multiplied by $\beta =1/(k_{B}T)$ in these formulas; multiplying the bound by $k_{B}T$ restores physical free energy units.

For classical configurations, the identity $e^{-F}=e^{-F_0}⟨e^{-(H-H_0)}{⟩}_0$ and the Jensen inequality for the convex exponential function give $\ln ⟨e^{-(H-H_0)}{⟩}_0\ge -⟨H-H_0{⟩}_0$. Taking minus the logarithm proves the bound.

The same bound holds for finite-dimensional, noncommuting quantum Hamiltonians, although the preceding exponential-factorization identity cannot generally be used. Define the density matrices $\rho =e^{-H}/Z$ and ${\rho }_0=e^{-H_0}/Z_0$. With natural logarithms, nonnegativity of quantum relative entropy givesRearrangement proves the quantum result without requiring $[H,H_0]=0$. Equality holds when ${\rho }_0=\rho$; in this finite-dimensional setting that means $H-H_0$ is a scalar multiple of the identity operator.^[ref]

A tractable trial family therefore supplies upper bounds that can be minimized over its parameters. This variational minimum need not reproduce exact correlations or phase transition locations.

Multiplying a target unitary operator by $e^{i\varphi }$ changes the controlled operation by a relative quantum phase on its control-one branch. Substitution in $C(V)=|0⟩⟨0|\otimes I+|1⟩⟨1|\otimes V$ proves the displayed identity. In particular, $C(-I)=Z\otimes I$ rather than the identity operator. Preparing the control at $|+⟩$ and applying a final Hadamard gate distinguishes $C(I)$ from $C(-I)$ with certainty, independently of the target quantum state. The global phase of an uncontrolled quantum gate is unobservable, but a specified controlled unitary gate provides a branch relative to which that phase can be measured.

When a ground state exists, its ground-state degeneracy is the dimension of the ground-state subspace:Here $I$ is the identity operator, and the kernel of a linear map is taken within the operator domain of the Hamiltonian operator $H$. The count concerns linearly independent energy eigenstates, rather than every normalized quantum superposition or every choice of global phase. Even a single energy eigenspace contains infinitely many representing vectors; its dimension measures independent freedom. Ground-state degeneracy is the lowest-energy instance of degenerate energy levels.

For an exact finite model with energy unit $\epsilon >0$, let the Hamiltonian operator be the diagonal matrixIts ground-state energy is zero and $g_0=2$: the first two coordinate unit vectors $e_1,e_2$ span the ground-state subspace. Every normalized $a{e}_1+b{e}_2$, with $|a{|}^2+|b{|}^2=1$, is a ground state, including $(e_1+e_2)/\sqrt{2}$. Its energy measurement is certain to return zero, even though a measurement distinguishing $e_1$ from $e_2$ need not have a definite outcome. Under the unchanged Hamiltonian operator, this quantum superposition is a stationary state because both components acquire the same global phase.

Ground-state degeneracy matters when an interaction selects or splits previously equal energy eigenvalues. In the finite model, adding $\epsilon \mathrm{diag}(\delta ,-\delta ,0,0)$ with $0<\delta <2$ gives the formerly lowest pair the distinct energies $\pm \epsilon \delta$, leaving a unique ground state. This direct calculation illustrates why degenerate perturbation theory first examines the perturbation inside the whole ground-state subspace.

A classical continuous-symmetry model can instead have a manifold of minimizing configurations, such as the sphere of orientations of a Néel state in an isotropic Heisenberg antiferromagnet. That geometric description does not by itself count the dimension of a finite quantum ground-state subspace.

The Hadamard gate is the unitary operatorwhere $I$ is the identity operator. It maps the computational basis to the Hadamard basis:

These outputs have equal computational-basis measurement probabilities, but their relative quantum phase differs. Applying another Hadamard gate sends them to different definite outputs. Calling this gate a classical coin toss would discard precisely the information that makes this possible. ^[ref].

Starting from $|0⟩$, compare two quantum circuits, reading matrix products from right to left:Here $Z$ is the Pauli Z gate. After the first Hadamard gate, the probability amplitudes are $(1/\sqrt{2},1/\sqrt{2})$. Inserting $Z$ changes them to $(1/\sqrt{2},-1/\sqrt{2})$ without changing their squared magnitudes. At the final gate, the contributions to output zero cancel and those to output one add. Without $Z$, cancellation occurs at output one instead. This is controlled interference, with the quantum phase determining which answer emerges.

The same calculation works for any phase gate $P_{\varphi }=\mathrm{diag}(1,e^{i\varphi })$:For example, $\varphi =\pi /3$ gives $P(1)=1/4$, while $\varphi =\pi /2$ gives $P(1)=1/2$. The output-one amplitude at $\varphi =\pi /2$ is $(1-i)/2$: its two complex contributions add before the Born rule is applied. A phase gate alone leaves the populations unchanged; recombination converts its relative quantum phase into observable probabilities.

If quantum decoherence completely removes the computational basis coherence between the gates, the intermediate density matrix becomes $I/2$. Both the phase gate and final Hadamard gate leave $I/2$ unchanged, so $P(1)=1/2$ for every $\varphi$. The disappearing fringe explains why preserving quantum coherence matters: it enables the gate sequence to carry phase information into the final measurement.

A bounded operator $T:H\to H$ on a real or complex Hilbert space is Hermitian, or self-adjoint, when $T=T^{\ast }$. Equivalently,Its directional values $q_T(x)=⟨Tx,x⟩$ are real, since this identity makes $q_T(x)$ equal its complex conjugate. Reality allows either sign; a positive operator additionally requires nonnegative values in every direction.

The diagram compares Hermitian quadratic forms along paths of unit vectors. The Hermitian matrix $D=\mathrm{diag}(1,-1)$ takes the values $1$ and $-1$ on the standard basis vectors; $P=\mathrm{diag}(1,0)$ takes the values $1$ and $0$; andsatisfies $H{e}_1=e_1$ and $H{e}_3=3e_3$. These eigenvectors form an orthonormal basis, and every $x=a{e}_1+b{e}_3$ has $q_H(x)=|a{|}^2+3|b{|}^2$. Thus $H$ is a positive operator, with eigenvalues $1,3$ and operator norm $3$.

Three conditions describe different geometry. A Hermitian operator satisfies $T=T^{\ast }$; a normal operator satisfies $T^{\ast }T=T{T}^{\ast }$; a unitary operator satisfies $T^{\ast }T=T{T}^{\ast }=I$, where $I$ is the identity operator. Every Hermitian operator and every unitary operator is a normal operator. Concrete matrices separate the conditions:

The spectrum of a bounded Hermitian operator is real. In finite dimension, the spectral theorem supplies an orthonormal basis of eigenvectors, turning its action into independent real scalings. This makes the geometry easy to interpret: each eigenvalue records a signed response along an orthogonal direction. An arbitrary bounded Hermitian operator in infinite dimension need not have any eigenvectors; the general spectral theorem uses a projection-valued measure. MIT's lecture 21 develops the real spectrum and the orthogonality of eigenspaces.^[ref]

A historical connection is the study of forms with conjugate variables. In his 1901 account of Charles Hermite's work, Camille Jordan describes these forms and emphasizes their role in reducing forms with real or complex coefficients. In today's notation, $x^{\ast }Hx$ is the diagonal value of a Hermitian form; the conjugate variables make a real-valued expression possible even with complex coefficients.^[ref]

For a densely defined operator outside this bounded setting, the displayed pairing identity alone defines a symmetric operator. A self-adjoint operator must also have the same operator domain as its adjoint operator.

Two bipartite pure states on fixed subsystem spaces are local-unitary equivalent when related by the displayed product of unitary operators. Identity operators give reflexivity, inverse operators give symmetry, and products of local operators give transitivity. Thus this is an equivalence relation, whose classes are the orbits under local unitaries.

Every pair of normalized product states is local-unitary equivalent: extend each factor to an orthonormal basis and use a unitary operator carrying one basis to the other. Local operators preserve a product factorization, and their inverses do too, so quantum entanglement cannot be created or removed this way. More generally, the tensor-product coefficient matrix changes as $C\mapsto UC{V}^T$, which preserves its singular values and therefore its Schmidt coefficients. The transpose on the second factor is ordinary, not a conjugate transpose, because coefficients of a tensor product depend bilinearly on the two input vectors.

If two closed subspaces of a Hilbert space give $H=V\oplus W$, the projection onto $V$ along $W$ fixes $V$ and vanishes on $W$. It need not be an orthogonal projection. The bounded inverse theorem applied to the addition map $(v,w)\mapsto v+w$ on the complete component spaces proves boundedness of the component maps. With both complementary subspaces nonzero, its operator norm and that of $I-Q$ equal $\sec {\theta }_{V,W^{\perp }}$, with the directed subspace angle convention. Indeed, for fixed $v\in V$, the smallest possible norm of $v+w$ over $w\in W$ is $\Vert P_{W^{\perp }}v\Vert$, which proves the formula for $\Vert Q\Vert$. Equality with $\Vert I-Q\Vert$ follows from the block representation $Q=\left(\begin{array}{cc}I& B\\ 0& 0\end{array}\right)$ on $V\oplus V^{\perp }$: both squared operator norms are $1+\Vert B{\Vert }^2$. If a summand is zero, $Q$ is zero or the identity operator, and one complementary operator norm is zero; those cases must be treated directly.

Fix the two subsystem dimensions. For reflexivity, $|\Psi ⟩=(I_d\otimes I_{d^{\prime }})|\Psi ⟩$, and both identity operators are unitary.

For symmetry, if $|\Psi ⟩=(U\otimes V)|\Phi ⟩$, apply the inverse local unitary transformation:The conjugate transposes of unitary operators are unitary, so the reverse relation holds.

For transitivity, if additionally $|\Phi ⟩=(R\otimes S)|\Theta ⟩$, the tensor product multiplication rule givesBoth products are unitary, for example $(UR{)}^{†}(UR)=R^{†}{U}^{†}UR=I$. Thus local-unitary equivalence is reflexive, symmetric and transitive, and hence is an equivalence relation.

Write the arbitrary initial pure state asThe reference vectors need not be normalized or orthogonal. By linearity, the same quantum teleportation calculation, with the identity operator on $R$, gives the post-gate quantum stateThus each outcome still has probability $1/4$. Bob's Pauli gate correction leaves the normalized joint quantum stateAll operations act trivially on $R$, so the result is independent of its holder or location. This establishes teleportation as an identity channel on a reference, preserving quantum entanglement with the untouched reference. Since every corrected branch is the same, discarding the classical outcomes also leaves the required joint density matrix.

Writing $\mathcal{B}(X)$ for the Banach space of bounded linear operators on $X$, the spectrum isHere $I$ is the identity operator. Since $X$ is a Banach space, the bounded inverse theorem makes this equivalent to failure of bijectivity of $\lambda I-T$.

The spectral radius isFor a nonzero complex Banach space, the spectrum of a bounded linear operator is nonempty and compact, so the supremum is a maximum. If the zero space is allowed, its empty spectrum is assigned spectral radius zero.

Because the linear functionals ${\ell }_0,{\ell }_1$ agree with endpoint point evaluations on continuous functions,The endpoint values also make $e_0,e_1$ linearly independent. By its definition, the image of a linear map $T$ lies in $E=⟨e_0,e_1⟩$. Conversely $T{e}_j=e_j$, so $T$ acts as the identity operator on $E$. ThusFor every $f$, $Tf\in E$, whence $T^{2}f=Tf$. It is a linear projection, and an annihilating polynomial is

For one input bit, a Boolean function is specified by the pair $(f(0),f(1))$, and $k=f(0)+f(1)$ counts its satisfying assignments. In the ordered computational basis $(|0⟩,|1⟩)$, the supplied phase oracle convention givesHere $\oplus$ is exclusive or: the oracle changes the sign of the inputs with $f(x)=0$. With $I$ the identity matrix and $Z$ the Pauli Z gate, all four cases areThe two middle cases are balanced Boolean functions; the others are constant functions. The specified zero-state sign change and the Hadamard gate are

Use the top qubit as the first tensor product factor. Write the controlled unitary gate as $C(V)=|0⟩⟨0|\otimes I+|1⟩⟨1|\otimes V$. Reading the bracketed quantum circuit from left to right, its four operations are $C(U_f)$, $C(H)$, $C(U_0)$, $C(H)$. Thus the target operation in its control-one branch iswhere the rightmost matrix acts first. The control-zero branch is the identity operator. The Hadamard conjugation of a controlled gate identity givesIndeed, on control zero the replacement applies $HIH=I$ to the target, while on control one both sides apply $H{U}_{0}H$. By linearity, the identity holds on every quantum superposition and therefore in every repetition of the bracket. This replaces the two internal controlled Hadamard gates as a pair.

The global phase of a controlled quantum gate must be preserved: $C(-I)=Z\otimes I$, whereas $C(I)=I\otimes I$. Consequently the minus signs in $U_0=-Z$ and the special phase oracles $U_f=-I,-Z$ cannot be discarded as an unobservable global phase of the complete quantum circuit.

Use the ordered computational basis $(|00⟩,|01⟩,|10⟩,|11⟩)$, with $Z|0⟩=|0⟩$ and $Z|1⟩=-|1⟩$. Write $X,Y,Z$ for the Pauli matrices, $I$ for the identity operator, $J={\omega }_{12}$, $\Sigma ={\omega }_1+{\omega }_2$, and $\Delta ={\omega }_1-{\omega }_2$. As in the question, the Hamiltonian operators have angular frequency units, so the time-evolution operator is $e^{-iHt}$. The Heisenberg coupling matrix for two spins isConsequently the full Heisenberg model Hamiltonian operator and its proposed Ising coupling approximation are

For nondegenerate perturbation theory, choose $H_{\mathrm{I}}$ as the unperturbed Hamiltonian operator andas the perturbation. Only $|01⟩$ and $|10⟩$ are coupled, and their unperturbed energy levels differ by $\Delta$. All first-order energy corrections vanish. The first-order eigenvectors and second-order energy corrections areThe states $|00⟩,|11⟩$ are exact eigenvectors throughout. Hence the weak coupling condition for two NMR spins isA large common Zeeman energy alone does not ensure this condition. Crossings involving the uncoupled parallel-spin states do not invalidate the argument: the relevant denominator is the separation of the two states connected by $V$.

As an exact check, the middle $2\times 2$ matrix has eigenvaluesFor $\Delta \ne 0$, labeling by the limiting computational basis states reproduces the shifts above. The quantum transition probability from $|01⟩$ to $|10⟩$ isThus unwanted exchange has a uniformly small amplitude when $|J/\Delta |\ll 1$. If accumulated phases must also be approximated over a duration $t$, neglecting the second-order shifts additionally requires $J^{2}t/|\Delta |\ll 1$, or those shifts must be retained in an improved effective Hamiltonian operator.

The same result is the secular approximation for scalar-coupled spins. In the interaction picture of the Zeeman energy terms,These terms average rapidly on the coupling timescale $1/|J|$ when $|\Delta |\gg |J|$, while $JZ\otimes Z/2$ survives.

For fixed nuclei and electronic environments, the individual NMR angular frequencies scale with the static magnetic field $B_0$: schematically ${\omega }_i={\kappa }_i{B}_0$, where ${\kappa }_i$ includes the gyromagnetic ratio and magnetic shielding. The NMR scalar coupling $J$ in angular frequency units is approximately independent of $B_0$. Therefore a nonzero separation $|\Delta |=|{\kappa }_1-{\kappa }_2|B_0$ increases with magnetic field, improving the approximation. In particular, a fixed difference of chemical shifts gives a larger separation in hertz at higher magnetic field. If the two resonances remain exactly equal, increasing their common frequency does not suppress their exchange.

Normalize the supplied Bell state as $|{\Psi }^{+}⟩=(|01⟩+|10⟩)/\sqrt{2}$, with $|V⟩=|0⟩$ and $|H⟩=|1⟩$. For a measurement of linear photon polarization, the two orthogonal analyzer states can be taken asAssigning outcomes $+1,-1$ gives the observablewhere $X,Z$ are the Pauli operators. The angle of the Bloch vector is twice the physical analyzer angle. HenceEach has eigenvalues $\pm 1$ and square equal to the identity operator.

No. Over any field $F$, take $V=F^2$, let $T=I$ be the identity operator, and choose the vector subspaceBoth $U$ and the quotient vector space $V/U$ have dimension one. A one-dimensional vector space has no nonzero proper vector subspace, so neither can have a nonzero proper invariant subspace. The induced linear map on a quotient vector space is again the identity operator.

However, $L=\mathrm{span}\{e_2\}$ is another nonzero proper vector subspace of $V$, and $T(L)=L$. HenceThe hypotheses do not prevent a direct sum $V=U\oplus L$ whose two summands are invariant subspaces.

A linear operator on finite-dimensional vectors acts by $(Au{)}_i={\sum }_j{A}_{ij}{u}_j$. For a field the discrete index becomes a continuous coordinate, and a suitable operator is represented by an integral kernel, possibly a distribution:The identity operator has kernel ${\delta }^{(d)}(x-y)$. If an inverse exists on the chosen domain and with the chosen boundary prescription, its kernel satisfieswith the analogous reversed identity. A differential operator is a distributional kernel: for example, $A(x,y)=(-{\square }_x-m^2){\delta }^{(d)}(x-y)$. Its inverse is a Green function. Boundary conditions, a causal prescription and the treatment of zero modes are part of the inverse's definition, not consequences of formal matrix notation. An operator with an untreated zero mode does not have an inverse on the full field space.

The functional derivative is defined through the first variation: for arbitrary smooth test variation $h$,In particular,For a symmetric kernel, differentiating $F[\varphi ]=\frac{1}{2}\int dxdy\varphi (x)A(x,y)\varphi (y)$ gives $\delta F/\delta \varphi =A\varphi$. The two terms from varying the two fields coincide; for a nonsymmetric kernel the symmetric part $(A+A^T)/2$ appears instead. Integration by parts is understood when $A$ is differential and the boundary variations vanish. A finite-volume, finite-mode regulator makes these statements ordinary matrix identities before a continuum limit.

The adjoint operators, orthonormal singular vectors and squared-norm normal equation for a linear inverse problem conditions require Hilbert spaces. For arbitrary normed spaces the Banach-space adjoint takes values in the dual spaces and need not produce this formula. Interpret the given singular value system in Hilbert spaces, with $u_j$ in the unknown space and $v_j$ in the data space, as in the printed identities. Positive singular values tending to zero provide the compact ill-posed case. A general bounded linear operator need not have this property; the identity operator is a well-conditioned counterexample. Components in the kernel must be fixed by a minimum-norm convention, and the unregularized inverse is defined only for data satisfying the corresponding range condition.

For $n\ge 2$, the Pauli X gate and Pauli Z gate act on different qubits in $X_0{Z}_1$, so they commute. Their product is a Hermitian matrix and squares to the identity operator. Its eigenvalues have modulus one; equivalently it is a unitary operator. Therefore its spectral norm isThe $n\ge 2$ qualification is necessary because the qubit labelled one does not exist for $n=1$.