Write . Applying and then changing the summation variable from to gives
Hence this state is an eigenvector of with eigenvalue .
Let a projective measurement have mutually orthogonal projections satisfying . On a density operator , the Born rule and the Lüders rule give
conditional 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 form
so their subsequent unitary time evolution factorizes as .
The reduced density matrix of subsystem 1 is
where the partial trace is characterized by
for 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 is
For every , the cyclic property of the trace and give
Hence . 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 probability
is 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.
Set . The off-diagonal Hermiticity identity holds automatically, while
must be real. Thus
is necessary and sufficient. For , put . Since the two normalized spanning vectors are linearly independent, .
The normalized eigenvectors and eigenvalues are
Direct application of verifies the eigenvalue equations. Their unnormalized inner product is
so the distinct eigenvectors are orthogonal, as required for a Hermitian operator. If , and every vector is an eigenvector.
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
The power method starts from and iterates
If 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 solves
It applies the power method to and therefore finds an eigenvector whose eigenvalue is closest to .
Diagonalize the real Laplace-Lagrange secular matrix . Its eigenvalues are
and choose corresponding real eigenvectors . If , the initial complex eccentricity vector determines complex mode coefficients
The matrix exponential solution is
Thus
where 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.
The multiplicative order makes the states , , distinct and cyclic under . Therefore
Thus each is an eigenvector with
These are the Fourier eigenvectors of the cyclic modular-multiplication orbit.
The shift acts on a Fourier state as
Thus 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:
Over , the operator representing has an eigenvector with eigenvalue . The relation gives
Therefore is a nonzero -invariant subspace of dimension at most two. If is irreducible it equals this subspace, so .
If and , the spectral theorem gives eigenvalues . Thus is orthogonal projection onto a line and
for 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 .
The product states , , are exact eigenvectors, with
Thus the energies attached to are respectively
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.
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 of
gives 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 by
These are all the finite-dimensional irreducible representations.
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 .
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.
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.