Spatial homogeneity says that the velocity of relative to depends only on their separation. Comparing both galaxies with gives
Thus , so continuity of the macroscopic velocity field turns this Cauchy functional equation into a linear map:
Isotropy requires for every rotation matrix . The only such rank-two tensor is a scalar multiple of the identity, and hence
This is the Hubble law. A comoving galaxy has physical position , so
The rotation matrix commutes with and is orthogonal, so
Since ,
Let be the orthogonal projection onto the good linear subspace , and let be a prepared unit vector with . For , define
The amplitude amplification theorem states that, if the reflection operators about the initial state and the good subspace can be implemented, the iteration
satisfies
To prove it, the two reflections preserve the linear span of . In this ordered orthonormal basis, direct multiplication gives
Multiplying this rotation matrix by replaces by , proving the formula by mathematical induction.
For known , choose to be a nearest nonnegative integer to . Then , so measurement finds the good subspace with probability at least , using iterations. For , measurement of the initial state already has constant success probability. If success is certain; if these reflections cannot create any good component. If , the initial-state reflection is , implemented using quantum state preparation and its inverse quantum circuit.
Figure 1. . Each iteration adds the angle in the good-bad plane. The probability rises near one and then falls again, so the stopping time matters.
Because ,
which is the reflection operator in the line spanned by . Meanwhile changes the sign of every good basis state and fixes every bad basis state; on
it is the reflection in the axis. Both reflections preserve , so their product does too.
Write
In Euclidean geometry, the composition of reflections in two lines through the origin has a rotation matrix through twice the oriented angle between the lines. Hence rotates the good-bad plane by from toward . In particular, the Grover rotation angle formula is
Write , , and . On the jet space of a scalar ordinary differential equation, define
where the total derivative operator is
The order- prolongation of a vector field is
In the coordinates , the given action of the special orthogonal group is
Differentiating at gives the infinitesimal generator of a Lie point symmetry
so and . The recursive formula gives
and
Therefore the second prolongation of the rotation generator for plane graphs is
For ,
which vanishes when . For
we obtain
which likewise vanishes on the equation. This is the infinitesimal invariance criterion for both equations.
Geometrically, describes straight lines. The signed curvature of a plane graph is
so the second equation says and describes consistently oriented arcs of unit circles. Rotation preserves straight lines, circles, and signed curvature, explaining both invariances.
A plane reflection has determinant , while a rotation matrix has determinant . The determinant of their product, in either order, is therefore . Since every rotation has determinant , such a product can never be another rotation.
An anticlockwise rotation matrix and reflection in the -axis are
The columns of are the images of the standard coordinate vectors, while .
Let a change of orthonormal coordinates be represented by a rotation matrix . Since both angular momentum and angular velocity are vectors,
Using in both frames gives
for every vector . Multiplication by yields
which is exactly the transformation law for a rank-two tensor. Thus is a rank-two tensor.
Put . The vector triple product gives
Therefore
At the centre of mass,
Expanding the first formula, the terms linear in vanish because the centre of mass is the origin, while . Hence the parallel axis theorem in tensor form is
Put and , where . In the ordered basis , the product of the two reflections is
The leading minus sign is a physically irrelevant global phase. The remaining rotation matrix rotates the good-bad plane through , where
Equivalently, one iterate changes the initial angle to .
Planar rotation 2026-10-07
A planar rotation about the origin is the linear map represented by the rotation matrix . It preserves inner products, lengths, oriented angles and area, with positive angles measured anticlockwise. Its inverse is and its determinant is one.
Pseudotensor 2026-10-06
Under an orthogonal coordinate transformation , a Cartesian pseudotensor has the usual tensor transformation law multiplied by . Thus proper rotation matrices act as on ordinary tensors, while an orientation-reversing change contributes an extra minus sign. Interpreted as a rank-three pseudotensor, the Levi-Civita symbol has the same numerical components in every orthonormal frame, because its ordinary three-index transformation already contributes a factor .
Pseudovector Created 2026-09-28 Updated 2026-10-06
An axial vector transforms as under an orthogonal matrix . It agrees with a polar vector under a proper rotation matrix and has the additional determinant sign under an orientation-reversing transformation. Angular momentum and angular velocity are axial vectors.
Under rotation by a rotation matrix, a symmetric second-rank tensor transforms by conjugation, so its traces of powers are invariant. For a three-dimensional traceless second-rank tensor, the Cayley-Hamilton theorem implies . In two dimensions its eigenvalues are , so . These identities organize the Landau-de Gennes free energy.
Rotational symmetry Created 2026-09-24 Updated 2026-10-06
An object has rotational symmetry when a nontrivial rotation matrix leaves it unchanged.
The determinant transformation formula for the Levi-Civita symbol shows that it is invariant under every proper rotation matrix, for which . Under an orthogonal reflection its sign reverses. This distinguishes proper-rotation isotropy from the pseudotensor transformation convention when both orientations are included.
Every factors into an upper triangular determinant-one matrix and a rotation matrix. This follows because the triangular subgroup acts transitively on the complex upper half-plane, a group orbit of the full group, while is the stabilizer subgroup of . The intersection of the two subgroups is , giving exactly two matrix pairs and . Requiring the diagonal of to be positive gives uniqueness. For and , the positive branch is and .