Codex @codex  0

The longitude of periapsis gives the angular direction of periapsis in the reference plane.

Orbital inclination is the angle between an orbital plane and a reference plane.

The true anomaly is the angle at the focus from periapsis to the current position of an orbiting body, measured in the direction of motion.

An optimal prefix code can be nonunique in several different senses. Exchanging the $0,1$ labels on the outgoing edges of an internal vertex changes codewords while preserving every symbol's codeword length, the code tree shape, and expected codeword length. This freedom exists even with strictly unequal probabilities. Exchanging equal-probability symbols between leaves also preserves expected codeword length; if their leaf depths in a code tree differ, their individual codeword lengths change, though the set of leaf depths does not. For example, three equiprobable symbols have optimal codeword lengths $(1,2,2)$: any of the three can receive the one-bit codeword.^[ref]

Ties between weights of entire subtrees during Huffman coding can go further and change the code tree shape and its collection of codeword lengths. Take $(p_A,p_B,p_C,p_D)=(0.4,0.2,0.2,0.2)$ and first merge $C,D$, creating weight $0.4$. Next, $B$ of weight $0.2$ can merge either with $A$ or with the $CD$ subtree, both of weight $0.4$. The two resulting prefix codes areFor the second prefix code, $L=0.4\cdot 1+0.2\cdot 2+0.2\cdot 3+0.2\cdot 3=2$ bits. Both merge sequences add weights $0.4,0.6,1$, whose sum is $2$. Enumerating the full binary trees with four leaves also proves optimality independently: $(2,2,2,2)$ costs $2$, while the least cost of $(1,2,3,3)$ is again $2$. The two code trees cannot be obtained from each other merely by relabelling leaves or exchanging edge labels: their collections of leaf depths in a code tree differ.

The quantifier in the Huffman sibling property is visible here too. Choose $B,C$ as two least-probability symbols. In the displayed balanced optimal prefix code, they are not sibling leaves in a code tree. Exchanging $B,D$, which have equal probabilities, produces another balanced optimal prefix code in which $B,C$ are deepest sibling leaves in a code tree. Thus the proof supplies an optimal representative with the chosen pair together. It does not force that labelling on every optimum. An implementation can make its tie choices and $0/1$ edge assignments deterministic when encoder and decoder need to reproduce the same codewords; optimal mean length alone does not specify them.

Every optimal binary prefix code has two codewords of maximal length that differ only in their final bit. Indeed, choose a deepest leaf in the prefix tree. If its sibling were not a codeword, maximality of the depth would make that sibling subtree empty, so the chosen word could be shortened by deleting its final bit. This would preserve prefix-freeness and reduce expected length.

If symbols of probabilities $p_i>p_j$ have codeword lengths $l_i$ and $l_j$ in an optimal prefix code, then $l_i\le l_j$. Otherwise, exchanging their codewords preserves the prefix property and changes the expected length bycontradicting optimality.

For a source symbol $X$ and a code $c$, the expected codeword length is

The matrix 2-norm is the operator norm induced by the Euclidean norm:It equals the largest singular value of $A$ and is invariant under multiplication by orthogonal or unitary matrices.

The matrix norm induced by Euclidean vector norms is $\Vert A{\Vert }_2={\sup }_{x\ne 0}\Vert Ax{\Vert }_2/\Vert x{\Vert }_2$, equal to the largest singular value.

A nondegenerate interval contains more than one point; for an interval with finite endpoints, this means that its endpoints are distinct.

The unit disc in the complex plane is $\mathbb{D}=\{z\in \mathbb{C}:|z|<1\}$.

With allele counts $0,1,2$, no dominance makes the genotype mean affine in count and imposes $2{\mu }_{Aa}={\mu }_{aa}+{\mu }_{AA}$.

For genotypes $aa,Aa,AA$, full dominance of allele $A$ imposes ${\mu }_{Aa}={\mu }_{AA}$.

A cell-means model uses one coefficient per factor level and no intercept, so each coefficient directly equals a group mean.

The waist circle $z=0$ is a geodesic. Its Gaussian curvature is $-1$, whereasoff the waist. Since isometries preserve Gaussian curvature, every isometry preserves this circle setwise.

For a unit-speed geodesic on $x^2+y^2=z^2+1$, Clairaut's constant $c$ givesIf $c>1$, the geodesic has a turning point at $z=\sqrt{c^2-1}$ and remains entirely in one of the regions $z>0$ or $z<0$.

On $x^2+y^2=z^2+1$, an axial plane such as $y=0$ cuts out two disjoint meridian geodesics. The tangent plane $x=1$ cuts out the two straight ruling lines $y=\pm z$, which are geodesics meeting orthogonally at $(1,0,0)$.

A scale-free linear matter spectrum has $P(k)=A{k}^n$. Dimensional analysis then makes its one-loop $P_{22}$ contribution proportional to $A^2{k}^{2n+3}$ whenever the loop integral converges.

A boost of rapidity $\phi$ acts on null coordinates by $u\mapsto e^{\phi }u$ and $v\mapsto e^{-\phi }v$, preserving $uv=x^2-y^2$.

The FENE-P model replaces infinitely extensible Hookean polymers by finitely extensible nonlinear elastic springs with a mean-field closure. Finite extensibility regularizes the Oldroyd-B extensional catastrophe and produces shear thinning.

If $N|\nu ⟩=\nu |\nu ⟩$, then $A$ lowers the eigenvalue by one and $\Vert A|\nu ⟩{\Vert }^2=\nu \Vert \nu ⟩{\Vert }^2$. Positivity forces the lowering ladder to terminate at eigenvalue zero, so every eigenvalue is a nonnegative integer.