For finite-valued discrete random variables, the conditional entropy is
The chain rule for information entropy in two orders gives
Therefore
using nonnegativity of conditional entropy and the fact that conditioning reduces entropy. This proves the required inequality.
For Fano's inequality, let take values in an alphabet of size , let be any estimator, and put
Because is determined by ,
Now . If , is determined by ; if , at most values remain possible. Hence
Combining the bounds yields
For a constant electromagnetic field tensor, the relativistic Lorentz force is a linear system with constant coefficients, so
Put
The initial four-velocity is . For parallel fields along , the field tensor has one hyperbolic block in the plane and one rotation block in the plane. With the orientation convention in the question,
Taking the initial spacetime point to be the origin and integrating gives the relativistic motion in parallel electric and magnetic fields
The expressions have their continuous or limits when one field vanishes; reversing the sign of reverses the electric acceleration and magnetic rotation.
Eliminating proper time between the first two equations yields
At early coordinate time,
which is uniformly accelerated motion with the transverse relativistic inertia factor . At late positive time,
so the longitudinal speed approaches the speed of light.
The - projection satisfies
It is therefore a circle of radius and proper-time period
For the pitch magnitude assume and put , , and
Number the th proper-time period as . Its longitudinal displacement is
Consequently, as ,
where
The canonical commutation relations are and . Substitution into the definitions of the creation and annihilation operators gives
The normalized ground state is defined by
Repeated use of gives the Cartesian number state of the three-dimensional isotropic harmonic oscillator
with energy eigenvalue
Inverting the ladder-operator definitions yields
The antisymmetry of the Levi-Civita symbol then cancels the two-creation and two-annihilation terms in , leaving the orbital angular momentum in oscillator ladder operators
Write . Then
Since the orbital angular momentum eigenvalue is , every first-excited state has
Finally,
Therefore the normalized magnetic quantum number state can be chosen as
which obeys and .

There are unlisted articles, also show them or only show them.