The Huffman coding merges may be chosen as
Resolving the tied weights so that the original symbol is merged only at the final step gives the code
Its lengths are and its expected length is
The Huffman coding theorem proves optimality, so an optimal coding with all but one word of the same length does exist. This is an instance of a nonunique optimal prefix code: a different resolution of the ties also gives the optimal profile .
An optimal code cannot have five distinct lengths. By the deepest sibling property of an optimal prefix code, at least two maximal-length codewords have the same length. Thus the answers are respectively
A binary code is a prefix code when no codeword is a proper prefix of another. If the source letters have probabilities and codeword lengths , the expected value of its codeword length is
It is an optimal prefix code when it minimizes among all binary prefix codes for that source.
Suppose but . Exchanging the codewords assigned to and leaves the set of words, and hence prefix-freeness, unchanged. The change in expected length is
contradicting optimality. Thus
which is the probability monotonicity of optimal prefix-code lengths.
Represent the code by its binary prefix tree and choose a codeword of maximal length, where . Its sibling is . If that sibling were not a codeword, it could not have a codeword below it either, since such a word would be longer than . Replacing by would then preserve prefix-freeness and strictly reduce . This is impossible for an optimal code, so is also a maximal-length codeword. The pair differs only in its last digit, proving the deepest sibling property of an optimal prefix code.
The steady incompressible Stokes flow equations are
Taking the curl eliminates the pressure gradient and commutes with the Laplacian, so for the vorticity ,
This is the vorticity part of Harmonic pressure and vorticity in Stokes flow.
For a two-dimensional incompressible flow, choose the stream function convention
Then
Applying the harmonic-vorticity equation gives
the Biharmonic stream function for planar Stokes flow equation.
Because the condition is local and covariant, choose normal coordinates at the point and a Lorentz frame in which the timelike observer is . Rescaling a timelike vector by a positive factor does not affect the sign, so it suffices to use this unit vector. With signature ,
The measured energy density is therefore
The value of , its time derivative, and its spatial first derivatives can be varied independently at a point. Nonnegativity for all such data is therefore equivalent to nonnegativity of all three coefficients:
Thus the most general constraints are
These conditions are also sufficient in every timelike frame, because any timelike vector can be brought to the chosen rest frame. This is the weak energy condition for a quadratic scalar stress-energy ansatz.
The conserved values from part (a),
satisfy these inequalities for real , as required.
Write the Einstein field equations in dimensions as
Taking the trace gives
Therefore the Trace-reversed Einstein field equations in D dimensions are
For the values from part (a), let . Then
and
Substitution cancels the terms and yields
For the convention , the prefactor is . This is the Ricci curvature sourced by a Klein-Gordon scalar field.
Put
Using metric compatibility and the symmetric Hessian of a scalar field, the divergence of the proposed tensor is
For this to vanish for arbitrary solutions and local field data, the two coefficients must vanish. Hence
The resulting tensor is the Conserved Klein-Gordon scalar stress-energy ansatz.
The spatial part of the Lorentz force is
Part (c), together with , gives
Writing and expanding the momentum derivative,
Substitution of gives the coordinate acceleration of a relativistic charged particle:
In the nonrelativistic limit , one has and the final term is smaller by order . Hence
which is precisely Newton's second law with the ordinary Lorentz force.
The four-velocity and particle energy are
With the conventions for the given metric, . The temporal component of the covariant Lorentz force is therefore
Since , cancellation of gives the relativistic electromagnetic work-energy theorem
The absence of reflects that magnetic force is perpendicular to the velocity and does no work.
Write
Since
its derivatives are
The Euler-Lagrange equation therefore gives
Using the electromagnetic field tensor
and dividing by gives
Raising the first index yields the equivalent requested form
This is the Lorentz-force equation from the worldline action.
For a timelike worldline, . Its square root is a Lorentz scalar, and
Thus the first term is the Lorentz-invariant free-particle action . Written as a line element, it is also invariant under a change of the worldline parameter .
The interaction is the scalar line integral
Under an electromagnetic gauge transformation
it changes only by
This endpoint term does not affect a fixed-endpoint variational problem. Hence both Lorentz invariance and gauge invariance select the displayed relativistic charged-particle action, with the expected free-particle and minimal-coupling terms.
The microcanonical ensemble describes an isolated system at fixed energy , volume , and particle number , assigning equal weight to accessible states in a narrow energy shell.
The canonical ensemble describes a system that can exchange energy with a heat reservoir at fixed temperature , while and remain fixed. A microstate has probability
The grand canonical ensemble allows exchange of both energy and particles at fixed , , and chemical potential . Its state weights are
The choice is irrelevant for bulk thermodynamic observables in the thermodynamic limit when the system is additive, has sufficiently short-range interactions, and lies away from singular phase-coexistence regimes. Then relative energy and particle-number fluctuations vanish as the system size grows. These are the standard conditions for equivalence of statistical ensembles.
For a potential of period , define the Floquet matrix for a one-dimensional periodic potential by
The Schrodinger equation has no first-derivative term, so the Wronskian is constant and . Its multipliers are therefore reciprocal. They lie on the unit circle precisely when
Those energies form continuous allowed bands of bounded Bloch theorem solutions. Values with have a growing and a decaying multiplier and form forbidden gaps. The band edges have , as in Floquet discriminant and energy bands.
For the delta-comb Kronig-Penney model, start immediately to the right of one delta function. Free propagation to the next delta and the derivative jump there are represented by
Thus
Consequently the Floquet discriminant of the delta-comb Kronig-Penney model is
All band edges are therefore determined by
In factorized form, the periodic edges obey
while the antiperiodic edges obey
To express the same edges through the single-barrier scattering data, the One-dimensional transfer matrix from scattering amplitudes gives
At an edge put and . Then
so the scattering-amplitude equations for one-dimensional band edges are
Explicitly,
For the delta barrier, and
which reproduces the four factorized edge equations above.
For a wave incident from the left, define the reflection and transmission amplitudes by
Reflection invariance gives the same amplitudes for incidence from the right. If the incoming amplitudes from the left and right are ordered first, and the outgoing amplitudes toward the left and right second, the One-dimensional S-matrix is
For , the wavefunction is continuous and its derivative has the jump
The scattering ansatz gives
With
we obtain the scattering by a delta potential amplitudes
They satisfy
Therefore
so the scattering matrix is unitary.

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