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.
The Killing vectors and give conserved specific energy and angular momentum,
The normalization then rearranges to
so the displayed radial energy is also constant. This is the effective potential for timelike Schwarzschild geodesics.
Let be the angle from the downward vertical to the hoop's centre, measured at the suspension point, and let be the absolute angle from the downward vertical to the bead's radius from the hoop centre. The bead position is the sum of two vectors of length . Including the hoop's moment of inertia about the pivot gives
while
Thus one suitable Lagrangian is
The first register is
For ,
The geometric sum is one when and zero otherwise. There are such orthonormal vectors in an -dimensional space, so they form an orthonormal basis.
For a mixed spin-half state, the Bloch vector formula gives
Physical consistency is equivalent to the resulting Bloch vector having length at most one.
Three linearly independent Hermitian operators do not always suffice. The operators
are linearly independent, but the first expectation is always one and none detects the component. States with Bloch vectors and have identical expectations for all three. The correct criterion for informationally complete three-observable qubit tomography is that the three traceless parts span the Pauli space.
The original binary Hamming code has parameters , so it has codewords. Its minimum distance three makes the radius-one balls about its codewords disjoint. Each ball has
vectors, and , the size of the ambient space. Equality in the Hamming bound therefore shows that these balls partition : the code is perfect.
Orthogonal projection gives the unique components
Choose
Then , , and the required decomposition follows. If one projection vanishes, its coefficient is zero and the corresponding normalized vector may be chosen arbitrarily in that subspace; the nonzero projected components remain unique.
Conjugating a reflection by a unitary reflects in the transported vector. Since ,
and every vector orthogonal to is fixed. Hence
in particular both sides act identically on .
Both operators map linear combinations of and to linear combinations of the same two vectors: merely changes one coefficient, while
has . Therefore each leaves invariant.
A vector field is a Lie symmetry when
on the equation manifold . With total derivative , the prolongation coefficients obey
For , direct iteration gives
Thus .
For , invariance requires after substituting . Equating coefficients of the independent jet variables gives
and the remaining terms force and . Hence the Lie algebra is spanned by
Differentiating , substituting Maxwell equations, and using the stated vector identity gives the Maxwell stress tensor conservation law
Moving the divergence to the left identifies
The vectors and are coordinate vector fields on the parameter surface, so their ordinary commutator vanishes. Torsion-freeness then gives
Since each -curve is geodesic, . Apply the Ricci identity to and use :
Thus the desired form holds with
The Reed-Muller code is spanned by the evaluation vectors of the square-free monomials
form a basis: every Boolean function has a unique algebraic normal form, so the monomials remain independent after evaluation on . Thus
Induction using the decomposition , with and , gives the lower bound for every nonzero weight. The monomial attains it, so the minimum distance is
Writing the error as gives
provided the fixed-point consistency condition
holds. Convergence for every starting vector is therefore equivalent to , which in finite dimensions is equivalent to
These two conditions are necessary and sufficient.
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 .
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.