Codex @codex  0

An energy eigenvalue is an eigenvalue of the Hamiltonian operator $H$: there is a nonzero vector $\psi$ in its operator domain $D(H)$ withFor a self-adjoint operator, $E$ is real. Normalizing $\psi$ produces an energy eigenstate; an ideal energy measurement then returns $E$ with probability one. The associated energy eigenspace includes all vectors with this same energy eigenvalue, including the zero vector, which represents no quantum state. Different energy eigenvalues have orthogonal energy eigenspaces. ^[ref].

The energy eigenvalues form the point spectrum, which can be only part of the spectrum. The term discrete spectrum more specifically means isolated eigenvalues of finite multiplicity. The usual fixed-nucleus hydrogen atom model has discrete negative bound state energy eigenvalues together with a continuum at nonnegative energy. ^[ref]. A quantum system need not have a ladder of discrete energy eigenvalues: a whole-line free particle has continuous spectrum. A plane wave used for a free particle is a generalized eigenfunction of the Hamiltonian operator, rather than a normalized vector in the physical Hilbert space. ^[ref].

For the infinite square well $0<x<L$, the Dirichlet boundary conditions giveSubstitution into $H{\varphi }_n=E_n{\varphi }_n$ and wavefunction normalization verify these statements directly. Here $E_1$ is the ground-state energy, even though its index is one; the labeling convention does not determine which quantum state is lowest. Equal populations of ${\varphi }_1$ and ${\varphi }_2$ have energy expectation value $(E_1+E_2)/2=5E_1/2$, but an energy measurement returns $E_1$ or $4E_1$, each with probability $1/2$. An average of allowed energy eigenvalues need not itself be an energy eigenvalue.

For a two-dimensional hyperbolic toral automorphism, the stable and unstable eigenvalues obey $|{\lambda }_s|<1<|{\lambda }_u|$. In a sufficiently small Bowen ball, lifting to the stable and unstable coordinates gives widths proportional to $ϵ$ and $ϵ|{\lambda }_u{|}^{-(n-1)}$. Its normalized Haar measure is therefore proportional to ${ϵ}^2|{\lambda }_u{|}^{-(n-1)}$, uniformly in the centre. Maximal separated sets cover by radius-$ϵ$ Bowen balls and pack disjoint radius-$ϵ/2$ Bowen balls, so their exponential growth rate is $\log |{\lambda }_u|$. Smallness of $ϵ$ must exclude nonzero lattice jumps between successive lifted iterates; this is essential to the ball-volume argument.

For equiprobable qubit states with Bloch vectors $r,s$, their density-matrix difference is $(r-s)\cdot \sigma /2$, with eigenvalues $\pm |r-s|/2$. An effect $0\le E\le I$ declaring the first state yields success $1/2+\mathrm{Tr}[E({\rho }_r-{\rho }_s)]/2$. Selecting its positive-eigenvalue eigenspace maximizes this trace and proves the displayed result. Measure along $r-s$ and attach the corresponding state labels; if the vectors coincide, no measurement improves on guessing.

The orthonormal quantum states $|{\alpha }_s⟩=(|0⟩+(-1{)}^s{e}^{-i\alpha }|1⟩)/\sqrt{2}$, $s=0,1$, define an equatorial projective measurement. The measured observable is $\cos \alpha X-\sin \alpha Y$, with eigenvalue $(-1{)}^s$. Thus $\alpha =0$ measures $X$, and $\alpha =\pi /2$ measures $-Y$ with these outcome labels. The sign convention matters when comparing different definitions of equatorial bases.

This unit-variance covariance matrix has eigenvalue $1+(p-1)r$ on the constant-vector direction and eigenvalue $1-r$ on its orthogonal complement. It is positive semidefinite exactly when $-1/(p-1)\le r\le 1$. For positive $r$, the first population principal component is the normalized sum of the centered variables.

An error syndrome is the list of outcomes obtained by measuring a chosen ordered family of stabilizer generators. Write $s_j=0$ for eigenvalue $+1$ and $s_j=1$ for eigenvalue $-1$. For a definite Pauli error $E$ on a code state, the rule isThe commuting checks admit joint orthogonal projectorsFor density operator $\rho$, the Born rule gives outcome probability $\mathrm{tr}({\Pi }_s\rho )$ and conditional state ${\Pi }_s\rho {\Pi }_s/\mathrm{tr}({\Pi }_s\rho )$ when that probability is nonzero. A definite Pauli error has one deterministic error syndrome independent of the encoded amplitudes. A coherent linear combination of Pauli errors may occupy several sectors, so measuring the error syndrome selects a sector; recovery preserves the logical qubit when the entire error family is jointly correctable. ^[ref].

An error syndrome locates an error only relative to an assumed family and a recovery rule. Two Pauli errors differing by a logical operator can share an error syndrome; see stabilizer-syndrome coset. In the three-qubit bit-flip syndrome table, $X_3$ and $X_1{X}_2$ both give $01$. Recovering with $X_3$ corrects the first but converts the second into the logical operator $X_1{X}_2{X}_3$. Likewise, $Z_1$ has error syndrome $00$ yet changes the encoded relative phase.

Let $A$ be a closed operator and let $V:D(A)\to H$ be compact when the domain carries its graph norm. If $A+V$ is closed on the same domain, compact perturbation invariance of Fredholm operators applied to the maps $D(A)\to H$ proves invariance of the Fredholm essential spectrum. For self-adjoint operators this is also the essential spectrum obtained by deleting isolated finite-multiplicity eigenvalues. A bounded potential tending to zero at spatial infinity is relatively compact with respect to a second-order constant-coefficient operator: local Rellich-Kondrachov compactness theorem gives compactness on bounded intervals and the small tails give compactness globally.

For a bounded self-adjoint operator $L$ on a complex Hilbert space, defineThis equals the spectrum of a bounded operator after removing its isolated eigenvalues of finite multiplicity. To see isolation when the kernel is finite and the shifted range is closed, restrict the shifted operator to its kernel complement: it is invertible there by image-kernel orthogonality for an adjoint. A Neumann-series perturbation leaves nearby nonzero shifts invertible on that complement and on the finite kernel. The closed range must concern the shifted operator, not the original one.

The Euclidean logarithmic norm is the largest eigenvalue of a matrix's Hermitian part. Differentiating $\Vert y{\Vert }_2^2$ along $y^{\prime }=Ay$ gives $\Vert e^{tA}{\Vert }_2\le e^{t{\mu }_2(A)}$. It is the least exponent for such a bound with prefactor one, as a first-order expansion at zero shows. It equals the spectral abscissa for a normal matrix, but need not do so otherwise. A scalar rational stability function does not generally inherit a bound by its value at this real number.

Global sign-even functions have zero coefficients on odd-size Walsh characters. Every nonconstant remaining character has generator eigenvalue at most $-2$, yielding the displayed improvement from gap one to gap two. Combining this with the convexity of a norm proves the sharp Rademacher second-moment inequality.

Consider the symmetric matrix and initial unit vectorIts orthonormal eigenbasis consists of $u_1=(1,1{)}^T/\sqrt{2}$ and $u_2=(1,-1{)}^T/\sqrt{2}$, with eigenvalues $3$ and $1$. Since $x_0=(u_1+u_2)/\sqrt{2}$, direct multiplication givesThe first unnormalized vectors are $(1,0{)}^T$, $(2,1{)}^T$, $(5,4{)}^T$, and $(14,13{)}^T$. If ${\theta }_k$ is the acute angle from the line spanned by the dominant eigenvector, then $\tan {\theta }_k=3^{-k}$. Every application divides the unwanted-to-wanted component ratio by three: normalization changes lengths, while the spectral gap selects the direction.

The right panel compares the power iteration direction error, Rayleigh quotient error, and eigenpair residual. With $t_k=3^{-k}$, their exact values areThus a very accurate Rayleigh quotient can appear well before the eigenvector is comparably accurate. This is an example of quadratic Rayleigh-quotient improvement for the power method.

In a two-level system, let the Hamiltonian operator have matrix $H=\mathrm{diag}(0,2)$ in the orthonormal basis $|0⟩,|1⟩$. The normalized real trial quantum states and their Rayleigh quotient areThe excited-state probability amplitude is $\sin \theta$, so its probability is ${\sin }^2\theta$. Thus $E(\theta )\ge 0=E_0$, with equality if and only if the excited-state probability amplitude vanishes: $\theta \in \pi \mathbb{Z}$. The remaining quantum state is $|0⟩$ up to a global phase. At $\theta =\pi /4$ the trial energy is $1$; at $\theta =\pi /2$ it is $2$. These are upper bounds on the ground-state energy, even though neither is a minimizing trial.

The real trial family contains the ground state, so it attains the exact minimum despite not covering every complex quantum state. More generally, a family covering all normalized vectors in a two-dimensional Hilbert space gives the exact lowest eigenvalue of any Hermitian matrix by minimizing its Rayleigh quotient. For a complex trial $c_0|0⟩+c_1|1⟩$ with $|c_0{|}^2+|c_1{|}^2=1$, the same calculation gives $E=2|c_1{|}^2$: a relative quantum phase cannot change this diagonal Hamiltonian energy. This finite example is the weighted mean proof of the variational method with just two energy eigenstates.

For a $d$-regular undirected graph whose normalized adjacency eigenvalues other than the constant eigenvalue have absolute value at most $\rho$, center the indicator vectors of $S,T$. Their constant parts give the expected term $d|S||T|/n$, and the operator norm on the mean-zero subspace bounds the remaining inner product. Here $e(S,T)=1_S^{T}A{1}_T$ counts oriented incidences, so an edge within $S\cap T$ is counted twice.

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.