The closest point theorem in a Hilbert space states that every nonempty closed convex subset of a Hilbert space has a unique point nearest to any given .
Let and choose with . The parallelogram identity and convexity give
so is Cauchy. Completeness and closedness give a limit with . If were both minimizers, the same identity with their midpoint would force .
Apply the theorem to a closed subspace . For , let be closest and put . For every , minimality of at for real and imaginary gives . Hence
The intersection is zero, so .
If is a shift with orthonormal basis , it is an isometry,
Conversely, suppose these three properties hold. Choose a unit vector spanning and set . Isometry makes this sequence orthonormal. Iterating the orthogonal decomposition
gives
A vector orthogonal to every lies in every and is therefore zero. Thus is an orthonormal basis and , so is a shift. This is the wandering-vector characterization of a unilateral shift.
Write and . Since
the first fundamental form in the coordinate basis is
Now , so is real and
The perturbation is diagonal in this basis:
Hence the instantaneous eigenvalues are and with time-independent eigenvectors, so Hamiltonians at different times commute. In units , put
Expanding the initial state and evolving its two components gives
Taking its overlap with and simplifying gives the exact transition probability
With explicit , each phase in the final sine is divided by .
The operator maps the computational orthonormal basis to the orthonormal basis . It therefore preserves inner products and is surjective, so and is unitary.
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.
First apply , which sends to . Then measure in the computational basis. Because the phase has an exact -bit representation, exact quantum phase estimation returns
By part (a), each lies in the same two-dimensional eigenspace. Reality and conjugacy again force the coefficient matrix to have the form
Because and hence are periodic, commutes with translation by . Applying it to
gives
The basis is independent, so the periodic KdV transfer matrix obeys
Taking traces,
Hence is independent of time.
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.
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
The matrix is real orthogonal. Part (a) gives
Expanding the left side in the computational basis yields
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 Wronskian is . Abel's identity gives
If , the two column vectors in the displayed representation form a basis of at each . Differentiating the first component and comparing it with the second gives
Substitution in the differential equation gives
Solving this two-by-two system yields
The product topology has basis with open in and open in . Since and similarly for , both projections are continuous.
If is Hausdorff, a point off the diagonal has disjoint product neighborhoods, so the diagonal is closed. Conversely, if the diagonal is closed, its complement supplies disjoint neighborhoods of any two distinct points.
The graph is the inverse image of the diagonal under , so a continuous map into a Hausdorff space has closed graph. Conversely, if are compact Hausdorff and is closed, then is compact. Its projection onto is , compact and hence closed. Thus is continuous.
The function , for is discontinuous but has closed graph: a convergent graph sequence approaching cannot have and bounded second coordinate unless it eventually reaches the isolated graph point .
A Jordan block is , where has ones on the superdiagonal and zeros elsewhere. Since for , Taylor expansion gives
The Jordan normal form is the block-diagonal matrix, unique up to block order, to which is similar and whose blocks are Jordan blocks.
A block of size at least two for eigenvalue contributes a generalized eigenvector in . Thus the displayed equality for every is equivalent to every block having size one, which is diagonalizability.
The transpose of each Jordan block is similar to it by reversing its basis. Hence has the same Jordan form as .
Write . Let be block diagonal with the reversal matrix on each Jordan block. Both and are symmetric and is invertible. Therefore
where are symmetric and is nonsingular.