Use the shallow-water approximation, a hydrostatic vertically mixed layer, a deep motionless ambient, and no ambient fluid entrainment. Particle loss changes reduced gravity but changes total layer volume only at the discarded dilute-particle order. Likewise thermal expansion changes the equation of state while the leading Boussinesq approximation retains volume conservation. Define
Depth integration of mass conservation, horizontal momentum balance, particle transport, and the heating law gives
Here the integrated excess hydrostatic pressure is . There is no particle source from the bed. Bed drag and the particle contribution to inertia are neglected at this order. The equivalent variable-buoyancy shallow water equations are
The term is necessary when heating or particle loss makes the reduced gravity vary horizontally.
For , the quasilinear system has
Its characteristic polynomial factors as
Thus the characteristic curves have slopes
On the two repeated contact characteristic curves, the particle and heating laws are and . Writing and , the gravity-wave compatibility relations are
For and , gravity-wave right eigenvectors can be taken as . The contact eigenspace has dimension two: and , with independent . Therefore has a full set of real eigenvectors.
The system is hyperbolic throughout strict static stability, but not strictly hyperbolic because the contact speed is repeated. At the eigenvalues coalesce and this diagonalizability is lost; when the gravity-wave speeds become complex, reflecting the loss of a statically stable lower layer.
An eigenvalue of a matrix is a scalar for which for some nonzero eigenvector . Its corresponding eigenspace is
Write . The displayed matrix is the outer product , so
Its column space is contained in and is nonzero because . Hence is a rank-one matrix.
The vector is an eigenvector with eigenvalue , and every vector in the orthogonal complement has eigenvalue . Thus
Since is a direct sum of these eigenspaces, has an eigenbasis and is therefore a diagonalizable.
Put and . The Pauli operators are Hermitian and satisfy and , so
Thus is a unitary operator. For every Pauli operator , according as commutes or anticommutes with and , expansion of gives one of or , up to the phase that makes it Hermitian. It is therefore another Pauli operator, so normalizes the Pauli group and is a Clifford operation. Finally,
which is the normalized projection onto the eigenvalue- eigenspace of . Hence maps the eigenvalue- eigenspace of onto the eigenvalue- eigenspace of .
Put and . After the first Hadamard gate and the two controlled Pauli gates, the joint state is
The final Hadamard gate changes this to
Conditioned on ancilla outcome , the normalized data state is therefore
Write the input in the two eigenspaces of as
where the displayed eigenstates are normalized. A direct PBC measurement gives
with probabilities and . Hence the ancilla circuit and the Pauli measurement have identical outcome distributions and conditional data states after identifying the Pauli outcome with .
With , direct expansion gives
Thus the eigenvalues are . Kernel calculation gives eigenspace dimensions , respectively.
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.
For and , with alternating between and for intervals of length , the monodromy matrix of a periodic linear system has determinant one and trace . Its reciprocal Floquet multipliers give positive dominant Floquet growth rate for , despite the zero mean of . An exceptional initial state in the stable eigenspace decays.
For closed manifolds with the product Riemannian metric, the positive Laplace-Beltrami operator is the sum of the two factor operators. Products of their orthonormal eigenbases form a complete basis, and eigenvalues add. Hence the product eigenspace at is the displayed finite orthogonal sum of tensor products. The discrete assertion requires a discrete spectral setting.
Suppose has distinct eigenvalues over a field and commutes with . Each eigenspace of is one-dimensional. Since commuting maps preserve eigenspaces, acts as a scalar on each of them. The eigenvectors of give a common eigenbasis and hence simultaneous diagonalization. For real matrices, the result gives a real eigenbasis only if the eigenvalues of are real; otherwise it applies over .
Spectral decomposition Created 2026-09-24 Updated 2026-10-03
A spectral decomposition expresses a linear operator through its eigenvalues and projections onto its eigenspaces.
For and normalized , filtering by succeeds with
The inequality follows by replacing each nonnegative by its minimum and using . Equality holds exactly when all occupied eigenvectors belong to the minimum-eigenvalue eigenspace. If , success is positive exactly for inputs outside the kernel of .
A weight-space decomposition expresses a Lie algebra representation as a direct sum of simultaneous eigenspaces for a Cartan subalgebra. Each summand is the weight space for its weight. In complex finite-dimensional representations of a semisimple Lie algebra, the simple coroots act as commuting diagonalizable operators, giving this decomposition.