The vector has eigenvalue , while every vector in has eigenvalue . Their multiplicities are one and , respectively.
Let . The likelihood equations give
These are orthogonal projections of a Gaussian vector onto the span of and its orthogonal complement, hence are independent.
The reverse-regression estimate is . Therefore
by Cauchy–Schwarz. Equality means the two data vectors are proportional, which is exactly when both fitted residual sums, and hence both variance MLEs, vanish.
For probability vectors , they are optimal with value exactly when
and . These are the mutual best-response and security-level conditions.
For every probability vector , antisymmetry gives . Applying the minimax inequalities with the same strategy on both sides shows the lower value is at most zero and the upper value at least zero; transposition also changes the value to its negative. Hence the value is zero.
Put and . Test (a) accepts inside the disc
whereas is the projection of onto the unit vector
If , then is the corresponding quantile. Since a variable is stochastically larger than a variable, . Choose a point on that unit-vector line with squared radius strictly between and . A whole open neighborhood then makes (b) reject while (a) accepts. The joint normal density of is strictly positive everywhere for every true , so this neighborhood always has positive probability.
The symmetric bilinear form associated with a real quadratic form is obtained by polarization identity:
In coordinates , replacing by its symmetric part does not change , and the formula gives ; this proves existence. A symmetric form is positive semidefinite when for every , and positive definite when the inequality is strict for every .
The diagonalization theorem for real quadratic forms says that some basis puts any symmetric form into
with further zero coordinates. Sylvester's law of inertia says that is independent of the diagonalizing basis. To prove this, let be the span of the positive coordinate vectors and let be the span of the negative and zero vectors. If is positive definite for another diagonalization and , then
so the two spaces intersect nontrivially. A vector in the intersection would have both positive and nonpositive square, a contradiction. Thus ; symmetry gives . Applying the same argument to gives , and then .
For the nondegenerate form on , write its inertia as , so . The restriction vanishes identically on : polarization gives for . Projection of to the positive coordinate space is injective, since a vector with zero positive projection cannot be isotropic unless it is zero. Hence ; projection to the negative space likewise gives . Therefore .
The matrix of is . If , it has rank one and inertia , hence signature one; if , its rank and signature are zero. The coefficientwise product has matrix , where , so it has the same rank-one conclusion when and is zero otherwise.
Finally, diagonalization writes every positive semidefinite form as a sum of squares, say and . Bilinearity of coefficientwise multiplication gives
a sum of positive semidefinite rank-at-most-one forms. Thus is positive semidefinite.
For every product vector,
Product vectors span the two-register state space, so the single gate equals parallel application of to the first register and to the second. Unitarity guarantees that both descriptions are valid quantum circuits.
Write , where conditionally and . Then
The law of large numbers sends the matrix to
while the vector tends to zero, proving consistency. The central limit theorem and Slutsky's theorem give
Similarly, with and ,
These conclusions require the displayed matrices to be finite and nonsingular.
Let and . Every defines
Hölder's inequality gives , and equality follows by using a normalized sequence proportional to .
Conversely, for put . On the first coordinates, choose the same norming vector to obtain
Letting shows . On finitely supported sequences, linearity gives ; density of those sequences in extends this identity to all . Therefore
isometrically.
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 .
Yes. On the same inequality gives , so the closed ellipse is positively invariant. Equality in occurs only at the origin and at the boundary point
At that point the vector field is
so is not invariant. The largest invariant subset of is therefore the origin. LaSalle's invariance principle shows that every trajectory in the closed ellipse converges to the origin. The inequality may consequently be extended to .
Reflect the configuration in the horizontal plane through the cylinder axis. The wall and cylinder geometry are unchanged. Downward translation becomes upward translation, a possible wall-normal migration velocity is unchanged, and the axial angular velocity changes sign because it is an axial vector.
On the other hand, reversing the original Stokes flow makes all three velocities change sign: translation becomes upward, wall-normal migration reverses, and rotation reverses. The reflected and reversed problems therefore have the same forcing and geometry except that their wall-normal velocities have opposite signs. Uniqueness of Stokes flow forces that velocity to equal its own negative, so it is zero. The rotational velocities already agree under the two operations, so this argument places no restriction on rotation.
Let and
Because is the QR factorization of , is the span of the first two columns of .
The first row of the tridiagonal eigenvalue equation is
In the generic case , the two dominant coefficient vectors are independent, since
Here , since otherwise the displayed eigenvalue equation and the nonzero would force all eigenvalues to equal . The strict spectral gap below the dominant pair now implies
This is two-dimensional subspace iteration. If the dominant eigenvalue is repeated, acts as a scalar on ; the same QR argument either captures all of or separates its missing direction from the strictly smaller eigenspaces, and the conclusion below is unchanged.
Since and ,
The space is invariant under , so
Shifting the index does not affect the limit, and therefore
Thus the unshifted QR algorithm asymptotically deflates a block associated with the equal-modulus dominant pair.