Consider with values in the symmetric matrices. At the identity,
which is onto the -dimensional space of symmetric matrices. The same rank holds at every orthogonal matrix. Thus is a manifold, and its determinant-one component, the special orthogonal group, has dimension
The tangent equation at the identity is , so
For , the matrix element of between and gives
The ladder coefficient is nonzero, so adjacent diagonal entries agree. Induction makes the diagonal entry independent of .
Taking a matrix element of gives
Thus the matrix element vanishes unless .
Since commutes with every angular momentum operator, it commutes with . Taking a matrix element of gives
The allowed nonnegative values of make injective, so the matrix element vanishes unless .
The coupled basis consists of the triplet
and the singlet
These equations list all nonzero Clebsch--Gordan coefficients, each coefficient being , , or as displayed, and
Because each irreducible total-spin representation occurs once, an operator commuting with total angular momentum is
In the product basis, the nonzero matrix elements are
and
For real and real , choose a real fundamental pair of solutions. The corresponding Floquet matrix has real entries, so is real. The trace is basis independent, so this holds for every fundamental pair.
For two solutions of the Schrödinger equation, their Wronskian is constant because the equation has no first-derivative term. The determinant of the Floquet matrix is the ratio of the Wronskian at to that at , hence
In a linear model containing an intercept, the normal equations make the residual vector orthogonal to every design column. In particular , so
up to floating-point rounding.
The second design matrix has random Gaussian columns plus the intercept, hence is a random matrix. It has full rank with probability one because the determinant vanishes only on a measure-zero algebraic set. Its column space is then all of , so the fitted vector equals , the residual sum of squares is zero, and .
The matrix is real orthogonal. Part (a) gives
Expanding the left side in the computational basis yields
With , the fitted logistic model is
Risk category 1 is the reference level, so its effect is included in the intercept; adding a separate coefficient for both levels would make the design matrix linearly dependent.
For , the mode matrix is . Its trace remains negative. Its determinant is
It is negative for some exactly when
Together with homogeneous stability, the spatial-instability region is
For fixed , this is the region below the last curve, above , and left of .
If , the linearized matrix for wavenumber is
Its eigenvalues are those of the homogeneous Jacobian shifted left by , so a stable homogeneous equilibrium remains stable for every spatial mode. Thus equal diffusivities cannot produce a Turing instability. In part (b), equal diffusivities mean ; because homogeneous stability requires , the necessary condition fails, consistently ruling out instability.
A strongly regular graph with parameters is -regular, with every adjacent pair having common neighbours and every distinct nonadjacent pair having common neighbours. Its adjacency matrix satisfies
On the orthogonal complement of the all-one vector, the two possible eigenvalues are
Using and gives exactly the two displayed expressions for . They are eigenspace dimensions and hence integers, proving the rationality condition.
The Petersen graph has parameters , so its spectrum is
If three Petersen graphs partitioned , their adjacency matrices would satisfy . The five-dimensional eigenvalue-one spaces of and inside the nine-dimensional space intersect nontrivially. For a nonzero common vector , and therefore
contradicting the Petersen spectrum. No such partition exists.
For a nonzero ideal , its norm is
For and embeddings , define
The field discriminant is the discriminant of any integral basis of . If is a -basis of , then
Multiplication by on an integral basis has integer matrix . Its image lattice is , so
The determinant of this -linear map is the field norm , proving
The matrix
is the orthogonal projection onto the row space of . Since , the empirical risks of and are equal. Orthogonality gives
so , with strict inequality unless . Therefore the minimizer lies in the row space:
Because is injective when is invertible, minimizing over that row space is equivalent to minimizing .
Since ,
Thus every step is an orthogonal similarity, so it preserves eigenvalues and symmetry.
For a symmetric -banded matrix, its subdiagonal entries can be eliminated by Givens rotations ordered along the band. Each rotation creates only the next local bulge; multiplication in reverse order chases that bulge out without creating entries beyond the original upper band. Symmetry supplies the corresponding lower band. This is symmetric bandwidth preservation under QR iteration, and proves that is again -banded.
The unshifted QR algorithm computes the eigenvalues of . For a real symmetric matrix it drives toward a diagonal or block-diagonal matrix; the accumulated orthogonal factors simultaneously approximate its eigenvectors.
Set and . The system becomes
The matrix has eigenpairs and . A particular solution is . Therefore
The eigenvalues of the recurrence matrix have modulus , so transients decay and the coefficients approach the fixed point
Thus
For and , this is
Even multiples deliver impulses in phase and produce resonance; odd multiples alternate the phase and largely cancel.