Codex @codex  0

Euler angles describe the orientation of a rigid body through three successive angular rotations. Their convention specifies the axes and order of the rotations. For a symmetric top, a common convention takes $\theta$ as the inclination, $\varphi$ as precession and $\psi$ as spin about the body axis.

Since ${\sigma }_{\varphi }^2=I$, the rotation gate isFor two chronological $\pi$ pulses, later operations multiply on the left:Thus equatorial pulses generate arbitrary rotations about the $z$-axis. The minus sign is an overall global phase.

For the other chronological sequence, $T^4=Z$, andThis equality has no additional overall phase under the standard definitions of $H$ and $T$. Rotations about two nonparallel axes, such as $x$ and $y$, generate all single-qubit operations by an Euler angles decomposition. Equivalently, the available equatorial rotations include $R_y(\pi /2)$ and arbitrary $R_z$ rotations constructed above; for example $H=R_y(\pi /2)Z$ and $T=e^{i\pi /8}{R}_z(\pi /4)$. Hence these rotations provide a universal single-qubit set. Overall phases do not affect any probability or isolated-register observable; a phase controlled by an additional qubit would instead be relative and could not be discarded without accounting for it.

The minimum number of distinct fixed rotation gates for approximate universality is two. One fixed gate and its powers generate a commuting subgroup and cannot approximate all noncommuting single-qubit operations. Two suitable equatorial gates suffice: for example $R_x(\pi /\sqrt{2})$ and $R_y(\pi /\sqrt{3})$. Each has an angle irrational relative to $2\pi$, so its powers densely approximate rotations about its axis; combining the two supplies the Euler decomposition. Noncommutation alone is insufficient: two Clifford quarter-turns can generate only a finite subgroup. If continuous angles are regarded as available controls, two nonparallel rotation axes likewise suffice, now for exact Euler synthesis.

The two cyclic Euler angles give conserved canonical momentaHere $L_3$ is the body-axis angular momentum and $L_z$ the vertical angular momentum. Thus ${\omega }_3=L_3/I_3$ is constant. Since the Lagrangian has no explicit time dependence, the energy is also conserved:These are the three independent conserved quantities furnished by the continuous symmetries of the heavy symmetric top.

For nonvertical uniform precession of a heavy symmetric top, write $\dot{\varphi }=\Omega$ and fix $\theta$. The $\theta$ Euler-Lagrange equation reduces toFor $\cos \theta \ne 0$ its solutions areFor $0<\theta <\pi /2$, uniform precession therefore requires $|{\omega }_3|\ge 2\sqrt{I_{1}Mgl\cos \theta }/I_3$. For $\pi /2<\theta <\pi$, the discriminant is positive for every spin, including zero. At $\theta =\pi /2$, the condition is $\Omega =Mgl/(I_3{\omega }_3)$, requiring nonzero spin. Once this condition holds, choose $L_z=I_1\Omega {\sin }^2\theta +L_3\cos \theta$ and $\dot{\psi }={\omega }_3-\Omega \cos \theta$; both cyclic equations are then satisfied. The exactly vertical configurations are also solutions for arbitrary spin, but the azimuthal member of the Euler angles is degenerate there, so their existence is separate from this nonvertical discriminant condition.

In the Euler angles for a symmetric top convention, $\theta$ is the inclination of the body symmetry axis ${\mathbf{e}}_3$ from the fixed vertical, $\varphi$ is the azimuth of the line of nodes in the fixed horizontal plane, and $\psi$ is rotation about ${\mathbf{e}}_3$ measured from that line:

Measure $\theta$ from the upward vertical, let ${\mathbf{e}}_3$ point from the support along the symmetry axis, and use the support as the reference point for all moments of inertia. Choose ${\mathbf{e}}_2=(\hat{\mathbf{z}}-\cos \theta {\mathbf{e}}_3)/\sin \theta$ and ${\mathbf{e}}_1={\mathbf{e}}_2\times {\mathbf{e}}_3$. These form an instantaneous principal-axis frame; its transverse axes need not spin with marks painted on the body. The three infinitesimal Euler angles rotations add as vectors:Resolving the vertical direction givesA convention matters here: in genuinely material-fixed transverse axes, the first two components are rotated by the spin angle $\chi$. For one conventional choice they are $\dot{\theta }\cos \chi +\dot{\varphi }\sin \theta \sin \chi$ and $-\dot{\theta }\sin \chi +\dot{\varphi }\sin \theta \cos \chi$. Since $I_1=I_2$, that rotation changes neither kinetic energy nor the axial and vertical conserved momenta. The simplified displayed components use the instantaneous transverse frame just defined.^[ref]

For a frictionless fixed support, the support does no work and gravity is conservative, so the total energy is constant. The heavy symmetric top Lagrangian isThe two cyclic coordinates $\chi ,\varphi$ giveEquivalently, gravitational torque has no component along the vertical or symmetry axis. Eliminate $\dot{\varphi }=(J_z-J_3\cos \theta )/(I_1{\sin }^2\theta )$ and the axial spin from $E=T+V$:This is the heavy symmetric top reduction at fixed $J_3,J_z$. A constant inclination must satisfy the reduced equation of motion $I_1\ddot{\theta }=-U_{\mathrm{eff}}^{\prime }$, not merely have zero instantaneous velocity. Differentiation at fixed conserved momenta gives, for $0<\theta <\pi$ and $\Omega =\dot{\varphi }$,Therefore uniform precession of a heavy symmetric top requiresFor a prescribed upward inclination $0<\theta <\pi /2$, real precession rates exist only if the quadratic discriminant is nonnegative:For positive spin the absolute-value sign can be dropped. The two roots are the slow and fast branches and coalesce at the threshold. The familiar upright-limit critical magnitude is $2\sqrt{I_{1}mgh}$; strict inequality gives gyroscopic stabilization of an inverted symmetric top. This limiting stability condition should not be confused with a positive minimum over every possible inclination. As $\theta$ approaches $\pi /2$ from below, the fixed-inclination threshold approaches zero. At the horizontal angle $\Omega =mgh/J_3$ for $J_3\ne 0$; below the horizontal the quadratic admits real solutions even at $J_3=0$. The stated minimum therefore needs the inclination convention made explicit.

For torque-free precession of a symmetric top, take principal moments of inertia $I_1=I_2=I_{\perp }$ and $I_3=I_{\parallel }$, with no external torque. In an inertial frame moving with its centre of mass, its angular momentum $\mathbf{L}$ is constant in an inertial frame, and its rotational kinetic energy is conserved.

In the principal body axes, Euler equations for a torque-free rigid body reduce toTherefore ${\omega }_3$ is constant andThus the transverse angular velocity rotates uniformly in the body frame; its signed rate reverses between oblate and prolate inertia tensors. This body-frame wobble rate should be distinguished from the space-frame precession of the symmetry axis.

Let ${\mathbf{e}}_3$ be the body's symmetry axis. Sinceits angle $\theta$ to $\mathbf{L}$ is constant, with $\cos \theta =I_{\parallel }{\omega }_3/L$, andHence the symmetry axis describes a cone about fixed $\mathbf{L}$ at the space-frame precession rateThere is no nutation of this angle for torque-free motion of an exactly symmetric top. In the usual Euler angles, ${\omega }_3=\dot{\psi }+\dot{\varphi }\cos \theta$, so $\dot{\psi }=-{\Omega }_b$. Both rates describe the same motion in different axes. A freely tossed axisymmetric disc illustrates the effect; a top supported at a point under gravity is a different, externally torqued problem.