Write . Applying and then changing the summation variable from to givesHence this state is an eigenvector of with eigenvalue .
Past exam of the mathematics course of the University of Cambridge 2024 iii Paper 325 1 Solution Created 2026-09-28 Updated 2026-10-03
Let a projective measurement have mutually orthogonal projections satisfying . On a density operator , the Born rule and the Lüders rule giveconditional on outcome . On the first part of a bipartite quantum system, replace by .
The subsystems are isolated when there is no interaction term coupling them. Their Hamiltonian operator has the formso their subsequent unitary time evolution factorizes as .
The reduced density matrix of subsystem 1 iswhere the partial trace is characterized byfor every local observable . Thus contains exactly the statistics accessible by measurements on subsystem 1.
Suppose a projective measurement is performed on subsystem 2 and its outcome is not communicated. The resulting nonselective state isFor every , the cyclic property of the trace and giveHence . No local projective measurement on subsystem 1 can reveal whether the remote unreported measurement occurred. This is quantum no-signalling, which prevents a choice made at a spacelike separation from transmitting information faster than light and makes the measurement formalism compatible with relativistic causality.
The proposed nondisturbing device would violate no information without disturbance. In an ordinary quantum instrument, let be the Kraus operators associated with classical output . If every pure state remains unchanged even conditional on the displayed outcome, every nonzero must be parallel to . A linear operator for which every vector is an eigenvector is a scalar multiple of the identity, so . Its output probabilityis independent of the state. It cannot equal for arbitrary projectors. Equivalently, repeated nondisturbing samples would permit quantum state tomography of one specimen and then quantum cloning, contradicting ordinary quantum theory.
Such devices would not necessarily enable superluminal signalling. One consistent operational extension could make every sequence of outputs depend only on the local reduced density matrix and local settings. Since an unreported remote measurement leaves that matrix unchanged, all local device statistics would remain unchanged too. Other extensions could add nonlocal outcome-dependent rules and permit signalling, but that behavior is additional to the device specification rather than forced by it.
Past exam of the mathematics course of the University of Cambridge 2024 ii Paper 1 34B a Solution Created 2026-09-24 Updated 2026-09-25
Set . The off-diagonal Hermiticity identity holds automatically, whilemust be real. Thusis necessary and sufficient. For , put . Since the two normalized spanning vectors are linearly independent, .
The normalized eigenvectors and eigenvalues areDirect application of verifies the eigenvalue equations. Their unnormalized inner product isso the distinct eigenvectors are orthogonal, as required for a Hermitian operator. If , and every vector is an eigenvector.
Past exam of the mathematics course of the University of Cambridge 2024 ii Paper 4 22G b ii Solution Created 2026-09-24 Updated 2026-10-03
This is the unilateral left shift. It is not compact because . For every ,is an eigenvector with eigenvalue . The norm bound and closedness then give
Past exam of the mathematics course of the University of Cambridge 2024 ii Paper 4 40A a Solution Created 2026-09-24 Updated 2026-09-25
The power method starts from and iteratesIf the eigenvalue of largest modulus is separated by a spectral gap and the initial vector is nonorthogonal to a corresponding eigenvector, the iterates converge in direction to that eigenvector.
Inverse iteration with shift instead solvesIt applies the power method to and therefore finds an eigenvector whose eigenvalue is closest to .
Past exam of the mathematics course of the University of Cambridge 2025 iii Paper 316 3 ii Solution Created 2026-09-24 Updated 2026-09-25
Diagonalize the real Laplace-Lagrange secular matrix . Its eigenvalues areand choose corresponding real eigenvectors . If , the initial complex eccentricity vector determines complex mode coefficientsThe matrix exponential solution isThuswhere a negative eigenvector component may equivalently be made positive by adding to its phase. The are secular precession frequencies, each eigenvector fixes the planets' eccentricity ratio and relative apsidal orientation, and fixes the phase selected by the initial conditions.
Past exam of the mathematics course of the University of Cambridge 2025 iii Paper 324 1 b ii Solution Created 2026-09-24 Updated 2026-09-25
The multiplicative order makes the states , , distinct and cyclic under . ThereforeThus each is an eigenvector withThese are the Fourier eigenvectors of the cyclic modular-multiplication orbit.
Past exam of the mathematics course of the University of Cambridge 2025 iii Paper 324 3 b Solution Created 2026-09-24 Updated 2026-09-25
The shift acts on a Fourier state asThus is an eigenvector of with eigenphase . Apply the unitary part of exact quantum phase estimation for to a zeroed control register and this Fourier state. It writes the eigenphase label coherently:
Past exam of the mathematics course of the University of Cambridge 2025 ii Paper 1 19J a Solution Created 2026-09-24 Updated 2026-10-03
Over , the operator representing has an eigenvector with eigenvalue . The relation givesTherefore is a nonzero -invariant subspace of dimension at most two. If is irreducible it equals this subspace, so .
Past exam of the mathematics course of the University of Cambridge 2025 ii Paper 1 26I c i Solution Created 2026-09-24 Updated 2026-09-25
If and , the spectral theorem gives eigenvalues . Thus is orthogonal projection onto a line andfor a unit vector ; the only choices are and .
The smooth map , , has image and fibers . Near , restrict to the hemisphere ; there is one-to-one and has smooth inverse obtained by choosing the positive local unit eigenvector. Combining this with a chart of supplies two-dimensional local parametrizations. Hence is a two-dimensional submanifold, diffeomorphic to .
Past exam of the mathematics course of the University of Cambridge 2025 ii Paper 1 34C b i Solution Created 2026-09-24 Updated 2026-10-03
Past exam of the mathematics course of the University of Cambridge 2026 ib Paper 4 8G Solution Created 2026-09-24 Updated 2026-09-25
For , is real, so is real. The spectral theorem writes positive definite ; taking positive square roots gives . For , eigenvalues are with normalized eigenvectors and , so these columns form a suitable . Finally expand in an orthonormal eigenbasis: the Rayleigh quotient is a weighted average of eigenvalues, bounded above by and attaining it on a top eigenvector.
Past exam of the mathematics course of the University of Cambridge 2026 iii Paper 102 1 ii Solution Created 2026-09-24 Updated 2026-09-25
Let represent . Since is central, commutes with and . Over the complex number field , has an eigenvalue , and its corresponding eigenspace is invariant under all three operators. The irreducibility of therefore makes this eigenspace all of , so . Taking the trace ofgives by the cyclic property of the trace; hence .
The remaining operators and commute. Two commuting operators on a nonzero finite-dimensional complex vector space have a common eigenvector, whose span is invariant. Irreducibility therefore forces . Conversely, every pair defines a one-dimensional irreducible representation byThese are all the finite-dimensional irreducible representations.
Past exam of the mathematics course of the University of Cambridge 2026 ii Paper 1 41B b Solution Created 2026-09-24 Updated 2026-09-25
The real spectral theorem gives real eigenvalues and orthogonal distinct eigenspaces. Constructively, a Householder reflection sends an eigenvector to ; symmetry makes the remaining block symmetric. Induction diagonalizes that block, producing orthogonal with . Multiplying by gives .
Perpendicular fast magnetosonic simple wave 2026-10-07
For a one-dimensional velocity perpendicular to a transverse magnetic field, . The primitive-variable characteristic matrix has two advective eigenvalues and the two speeds . Integrating the fast eigenvectors keeps and constant. The state parameter obeys , so the characteristic speed satisfies the Inviscid Burgers equation.
Perron–Frobenius theorem 2026-10-05
The strictly positive case states that a real square matrix with has a positive simple eigenvalue and positive left and right eigenvectors, with all other eigenvalues strictly smaller in modulus. The Brouwer fixed-point theorem applied to on the nonnegative unit simplex gives and . For another eigenvector , maximize ; the triangle inequality gives . Equality forces every modulus ratio and complex argument to agree because every entry is positive, so is proportional to and . Apply the same argument to for a positive left eigenvector; its positive pairing with rules out a generalized eigenvector at , establishing algebraic simplicity. For merely nonnegative matrices a nonnegative leading eigenvector exists. An irreducible nonnegative matrix has a positive leading eigenvector and simple Perron eigenvalue; a primitive nonnegative matrix has the strict modulus gap.