Write , and . Then and . With and , the corrected matrix becomesThe scalar is a common propagation wave phase and the real rotation matrix rotates the input linear polarization through . There is no attenuation and no generated ellipticity: the field map is a unitary matrix. The two circular eigenmodes accumulate different wave phases, giving circular birefringence and optical activity.
The correct unfactored matrix remains finite where . In contrast, the printed form would give times the rotation matrix, including unphysical divergent gain in this stipulated lossless case. This provides a direct physical check on the correction in part (d).
Choose the first polarizer's pass axis as and write the second as . The positive signed rotation takes toward by the short angle. Let be signed according to . The Jones matrices of ideal polarizers are their orthogonal projection matrices,Removing the unimportant common propagation phase, the lossless glass block has the rotation matrixThe elements act from right to left, soWith the common optical phase retained, multiply this by . Extra scalar attenuation would also multiply the result, but none is supplied. A single Jones vector does not represent unpolarized light; the device's Jones matrix is nevertheless well defined for each incident component and can be applied to their statistical mixture.
Put and . They are nonzero vectors with the same Euclidean norm. Choose the rotation matrix taking the direction to ; equal lengths then give . DefineThis is a translation by followed by a rotation about , so it is an isometry. Direct substitution gives and .
Put and . They are nonzero vectors with the same Euclidean norm. Choose the rotation matrix taking the direction to ; equal lengths then give . DefineThis is a translation by followed by a rotation about , so it is an isometry. Direct substitution gives and .
A mass eigenstate has a definite neutrino mass and acquires a definite propagation phase at fixed momentum. An interaction eigenstate is the neutrino flavor selected by a weak charged current: is produced or detected together with an electron, and together with a muon. The two bases are related by a unitary matrix, here the real rotation matrix .
Inverting the supplied transformation gives and , where , . If , these bases coincide: each produced neutrino flavor propagates as one mass eigenstate, and there is no neutrino oscillation, even if the two masses differ. Conversely, equal masses also prevent vacuum neutrino oscillation, even when a nonzero basis-rotation angle is written down.
Write and . Since the supplied rotation matrix is real and orthogonal, . Direct matrix multiplication gives the flavor-basis HamiltonianThe common term produces only an overall quantum phase. The off-diagonal elements couple the two interaction eigenstates in the Schrödinger equation. Flavor change requires both and . For ultrarelativistic neutrinos in vacuum, , so a nonzero squared-mass difference is needed. Observable neutrino oscillation also requires coherent production and propagation of the two components and a resolvable nonzero relative phase; special propagation times can return the initial flavor even when these Hamiltonian conditions hold.
Past exam of the random matrix theory course of the University of Oxford 2025 3 a i Solution 2026-10-25
The characteristic polynomial of the rotation matrix isIts roots are , soFor example is an eigenvector for and for . At or the two eigenvalues coincide; these events have probability zero under the uniform distribution.
Past exam of the symmetry and relativity course of the University of Oxford 2021 4 b Solution 2026-10-25
For an active clockwise rotation of column vectors in the usual oriented plane, takeDirect matrix multiplication givesThus the rotation matrix is an orthogonal matrix, preserving the Euclidean inner product, with determinant .
For a passive one-dimensional Lorentz boost, use rapidity , :This is not unless . Hence a nontrivial Lorentz boost is not an orthogonal matrix for the Euclidean inner product. Instead it preserves the Minkowski metric:by . Thus it is pseudo-orthogonal. The zero-rapidity identity is the explicit exception to the assertion that a Lorentz boost is not orthogonal.
Translate the vertex centroid to the origin, rotate, and translate back:This follows the supplied rotation matrix, so positive rotates clockwise in the usual Cartesian axes. The opposite signs give the conventional counterclockwise matrix. Since the vertex centroid of the centered vertices is zero and a linear map commutes with their average, the final centroid remains
rotatePoly :: Polygon -> Double -> Polygon
rotatePoly ps theta =
(translate c . map turn . translate (-cx,-cy)) ps
where
c@(cx,cy) = centroid ps
turn (x,y) = (cos theta*x + sin theta*y,
-sin theta*x + cos theta*y)c.Rotate the specified line onto the horizontal axis, stretch horizontally by two while leaving the orthogonal component unchanged, then rotate back. With and counterclockwise rotation matrix , the requested product isThe rightmost rotation acts first. In particular, and . For the unit direction , the same transformation is . It sends to and fixes every orthogonal vector, verifying that the product is a directional stretch rather than a shear mapping or scaling in every direction. The constructed second panel in the geometric figure in Question 5 illustrates this separation.
Planar rotation Created 2026-10-07 Updated 2026-10-14
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.
Planar rotation as a one-parameter subgroup 2026-10-14
Differentiate the planar rotation matrix at angle zero:The even and odd powers in the matrix exponential therefore giveThis exact formula gives the whole one-parameter subgroup. Taking means unit angular velocity: at , sends to , a counterclockwise quarter-turn. At , it equals ; at , it returns to . Choosing reaches the quarter-turn at . Changing the generator changes the speed, while preserving the circular path.
For a moving vector , the ordinary differential equation says its velocity is perpendicular to its position. The beautiful compression is that one constant matrix specifies every angle of this endless family of rotations.
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-20
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.
Pythagorean trigonometric identity Created 2026-09-29 Updated 2026-10-14
For every real angle ,It is the equation of the unit circle written in terms of its sine and cosine coordinates. For an acute angle, dividing the Pythagorean theorem by the square of the hypotenuse gives the same relation in a right triangle. The circle interpretation explains why it remains true outside that first-quadrant triangle.
For example, if , the identity gives , so is either or . The sign needs the angle's location: it is positive in the first quadrant and negative in the second. Thus the identity determines the magnitude of the missing coordinate without determining the direction.
The relation is useful for eliminating one squared trigonometric function, checking that a coordinate pair has unit length, and checking that the columns of a rotation matrix are unit vectors. It also holds for complex arguments under the complex exponential definitions, although then the squares are algebraic squares rather than squared moduli.
Let be the plane rotation matrix through , generating a cyclic group of order four. A quadratic form has its two coefficients exchanged by a quarter-turn and unchanged by a half-turn. Thus the pullback action on this two-dimensional space gives the displayed group representation: , with . It is not a faithful representation, because its kernel of a group homomorphism is . Its two invariant coefficient lines correspond to and , on which a quarter-turn acts by and , respectively. Restricting to this diagonal space is valid for these signed coordinate permutations; a general linear transformation can introduce an term.
Real rotation matrices that are Hermitian Created 2026-10-18 Updated 2026-10-20
A real rotation matrix is a unitary matrix because it is an orthogonal matrix. It is a Hermitian matrix precisely when it is symmetric, equivalently when its square is the identity. Its eigenvalues are then . In three dimensions a proper rotation is therefore Hermitian only for the identity or a half-turn. A half-turn about a unit vector has matrix : it fixes and reverses the perpendicular plane. For every real rotation , the difference is anti-Hermitian; it is also Hermitian only in the zero case.
Rotational invariance of the Laplacian 2026-10-18
For a constant orthogonal matrix , the Laplacian is unchanged by the coordinate transformation . If is twice continuously differentiable, the chain rule givesbecause by orthogonality of the rows. Here is the Kronecker delta. In two dimensions, the rotation matrix with makes the mixed partial derivatives cancel explicitly. The same argument works for reflections and translations, so the Laplacian depends on the Euclidean geometry rather than the orientation or origin of the coordinates.
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
