For a normalized state and a self-adjoint operator, the expectation value and dispersion areUse the physics convention that the inner product is conjugate-linear in its first argument, and assume the displayed products and second moments are defined. Self-adjointness gives , so the expectation is real. MoreoverIt vanishes exactly when is an eigenstate, with eigenvalue its expectation.
The product rule gives and , hence on their common differentiable domain. For general operators, put . ThenThe Cauchy-Schwarz inequality yieldsApply this to centered position and momentum operators, whose commutator is unchanged. Their squared norms are the variances, givingEquality requires both proportionality in Cauchy-Schwarz and a purely imaginary inner product. Thus for real means ,with real . Solving this first-order equation givesNormalizability on the real line forces . Writing , all normalized equality states are thereforeThey have and . A nonconstant quadratic phase would increase the product, so the full family here has a real positive Gaussian width and only a linear spatial phase.
Use an expansion for the eigenstate continuing the nondegenerate level, with intermediate normalization :Insert these expressions into the eigenvalue equation. At first order,Taking the inner product with eliminates the left side by self-adjointness. ThusFor , projection onto instead givesAt second order, projecting the eigenvalue equation onto gives . Expand in the orthonormal energy basis and use self-adjointness of :Nondegeneracy ensures the denominators for this level do not vanish; convergence and validity of the expansion are among the assumed perturbation-theory hypotheses.
For the cosine perturbation of the ground level in a one-dimensional box, write . The product-to-sum identity givesso, with the given common normalization of the sine eigenfunctions,The diagonal matrix element is , and the only nonzero off-diagonal matrix element out of the ground state is . Let . Since , the ground energy isThe second-order term is negative, as expected for a nondegenerate ground level: every excited-quantum state denominator is negative. The first-order shift is also negative for positive , because the ground-quantum state density is largest near the center, where this perturbing potential is negative.
Use the Dirac notation convention that the inner product is linear in the ket. Orthonormality of the computational basis givesThe finite geometric sum satisfies if in , and zero otherwise: in the second case it equals . ThereforeThere are such orthonormal vectors in an -dimensional space, so they form a basis. The inverse expansion is verified by the same sum:This is the unitary discrete Fourier transform and its inverse.
For the basis-copying isometry, the images are orthonormal, so is a linear isometry, with . Its matrix elements giveApplying the definition of the adjoint operator, the coefficient of in is exactly this expression. ThusEquivalently . The adjoint of basis copying acts as pointwise multiplication of coefficient functions.
For the Fourier transform of a basis-copying isometry, the normalization matters:Hence . Taking adjoint matrix elements, or expanding both output factors in the inverse Fourier basis, yieldsThe printed formula is missing the factor . There are mutually orthogonal terms in its sum, so without that factor its right side has norm , whereas its left side has norm one because is an isometry. The formula above is the normalized identity consistent with all the preceding definitions. For the distinction disappears, but the no-cloning assertion is substantive for .
The normalized output is not . Its coefficient matrix pairs every Fourier label with ; tracing out either factor gives . Thus it is a maximally entangled state, while two clones of a pure Fourier quantum state would have pure reduced quantum states. A copier for the computational basis therefore does not copy the Fourier basis.
More generally, suppose a linear isometry with a fixed blank input could clone every normalized quantum state. Its restriction to would define a linear map with on every computational basis quantum state. Linearity forces , which has just been shown to fail on Fourier quantum states. This proves the no-cloning theorem in the pure-quantum state isometric setting.
The inner-product proof makes the obstruction independent of the chosen basis. If an isometry cloned two quantum states with overlap , preservation of inner products would give , or, allowing irrelevant output phases, . Distinct nonorthogonal rays have , which is impossible. Even allowing an output environment does not help: unitary evolution would give , the same contradiction. Arbitrary unknown quantum states cannot be cloned, although any fixed orthonormal basis can be copied and a one-dimensional quantum state space is trivial.
A normalized quantum state satisfies . Its expectation value is . The conjugate symmetry of the inner product and self-adjointness giveso the expectation value is real. If with , normalize by dividing by its norm. ThenEvery eigenvalue of a self-adjoint operator is real.
The commutator of two linear operators is . Write for the adjoint operator, using the inner product convention linear in its second argument. Since and ,Thus the commutator is anti-self-adjoint. With , conjugation of the scalar givesAll products are understood on the stated common operator domain; for physical unbounded linear operators, the state must lie in the relevant product domains and have the finite moments used below.
The squared norm is obtained by moving the adjoint operator to the other side of the inner product:For an energy eigenstate, this isSince a squared norm is nonnegative, every nonzero energy eigenstate has . Moreover exactly when .
The operator is the midpoint parity operator about . The angle-subtraction identity givesConsequently . The sine functions form a complete orthonormal basis of , so the simultaneous diagonal action implies commutation on the Hamiltonian operator's operator domain. More directly, preserves the Dirichlet boundary conditions and ; hence whenever is defined. This checks the domain as well as the differential expressions.
For arbitrary , use in the inner product:Also , so is bounded and defined everywhere. The identity therefore proves , with no extra domain restriction. In particular is a self-adjoint operator; also makes it a unitary operator.
The requested energy eigenvalue is . By the Born rule, its probability amplitude is the inner product . Put and use :The first integral is ; the second is zero under . ThereforeFor the time-independent Hamiltonian operator, expand in its orthonormal basis of energy eigenstates:Unitary time evolution changes to , whose modulus is unchanged. Thus the same energy measurement probability holds at every time, even though relative quantum phases and other measurements can change.
Use the normalized eigenstates from part (ii). The quantum state found in part (iii) has the decompositionThere is no component. Equivalently, its inner product with contains . The Born rule therefore givesFor completeness the only outcomes are , each with probability . Thus does not mean that zero is a possible result in this state: its quantum uncertainty in is , even though is exactly zero.
The common Fock vacuum obeys . Put . By the commutator product rule and part (a),Moving through therefore givesDividing by provesThe constructed number state is nonzero: the relation follows from and . Commuting different modes and successively moving each creation operator across the inner product yieldsThus the given factorial denominator also gives unit norm, as expected for a number state.
In the ordered orthonormal basis , the Hamiltonian operator has matrixwhere is a Pauli matrix. Its symmetric and antisymmetric eigenvectors giveThe energy eigenstates are normalized and orthogonal; each energy eigenvalue is nondegenerate. Their full stationary states are and . Since they form an orthonormal basis, the general solution to the Time-dependent Schrödinger equation isFor a normalized quantum state, ; the constants are determined by its initial inner products with .
Past exam of the random matrix theory course of the University of Oxford 2025 2 a ii Solution 2026-10-25
Use the inner product for a standard normal random variable . The degree-zero monic polynomial is . Write and . The conditionsuse and . Hence these first three Probabilists' Hermite polynomials areThe Gaussian fourth moment is , so their squared norms are
Past exam of the relativity course of the University of Cambridge 2015 Paper 1 1 c Solution 2026-10-20
Use metric signature and four-velocities , with . Their Lorentz invariant inner product isIn the rest frame of either particle this same scalar is the relative Lorentz factor . HenceLet . The numerator after combining terms isUse to obtainThe two rest frames agree on the relative speed, although their velocity vectors are expressed in different spatial frames. Checks include equal velocities giving zero, collinear velocities giving , and low speeds reducing to the Galilean relative speed. For timelike particles the four-velocity inner product also ensures .
Past exam of the relativity course of the University of Cambridge 2015 Paper 1 2 c Solution 2026-10-20
Ordinary component differences at neighboring points depend on how the local bases vary. The covariant derivative corrects for that variation:Each upper tensor index adds a connection term and each lower index subtracts one. A scalar has , while the derivative of a tensor transforms as a tensor with one additional covariant index. The Christoffel symbols themselves are not tensor components; their inhomogeneous transformation cancels that of the ordinary derivative.
For the Levi-Civita connection,These express metric compatibility and zero torsion. Along , parallel transport is the initial value problemIt preserves inner products for the Levi-Civita connection. Parallel transport of the tangent itself gives the affinely parametrized geodesic equation, .
Transport generally depends on the path. On a round sphere, transport a tangent vector around the triangle bounded by two meridians degrees apart and the intervening equatorial arc. All three sides are geodesics; the enclosed spherical area is . The returning vector is rotated by degrees, with sign set by traversal orientation. Locally this holonomy is controlled by curvature, even though the connection can be made zero at a single point. A vector can therefore have changing coordinate components while remaining parallel, and constant components do not generally mean parallel transport.
Original spherical-triangle transport: a tangent initially pointing along the first meridian returns rotated by ninety degrees
. Details. An energy measurement selects the ground state with probability equal to the squared inner product with . Using and integration by parts,ThusThe full Fourier sine series has , so , an independent wavefunction normalization check. However for every , hence diverges. This explicitly verifies the infinite-energy expectation qualification in part (b), without invalidating the individual projection probabilities.
Past exam of the symmetry and relativity course of the University of Oxford 2021 4 b Solution 2026-10-25
For an active clockwise rotation of column vectors in the usual oriented plane, takeDirect matrix multiplication givesThus the rotation matrix is an orthogonal matrix, preserving the Euclidean inner product, with determinant .
For a passive one-dimensional Lorentz boost, use rapidity , :This is not unless . Hence a nontrivial Lorentz boost is not an orthogonal matrix for the Euclidean inner product. Instead it preserves the Minkowski metric:by . Thus it is pseudo-orthogonal. The zero-rapidity identity is the explicit exception to the assertion that a Lorentz boost is not orthogonal.
As written, the assertion needs a nonzero-vector assumption: the singleton set containing the zero vector is mutually orthogonal but is linearly dependent. For the linear independence of nonzero orthogonal vectors, suppose . Taking the inner product with givesSince , positive definiteness gives , hence . This holds for every , proving linear independence under the necessary assumption.
In the column convention used for QR factorization, an real matrix has orthonormal columns when . This says that each column has unit norm and distinct columns have zero inner product. If is square, then provides a left inverse; a square matrix with a left inverse is invertible, so , and also . Such a square matrix is an orthogonal matrix. A rectangular matrix with orthonormal columns generally has no two-sided inverse.
The first two columns are already orthogonal and have norms 15 and 5. Their normalized versions are and . Their inner products with the third column are 10 and 5. Subtracting these projections leaves , whose norm is 25. Thus an economy-size QR factorization isDirect multiplication gives and . If a full square is required, append and append a zero fourth row to ; the product is unchanged and the completed is an orthogonal matrix.
Collect the orthonormal vectors as columns and compute . This gives the thin QR decompositionThe inner products in part (e) prove ; the column identities , , prove .
