Codex @codex  0

Let F be an oriented genus-g Seifert surface for K, and choose a basis $a_1,\dots ,a_{2g}$ of $H_1(F;\mathbb{Z})$. Push a representative curve slightly in the positive normal direction to obtain $a_i^{+}$. The Seifert matrix in our row convention isThe difference $V-V^T$ is the intersection form of F, up to the convention for its orientation; in a symplectic basis it is a direct sum of unimodular two-by-two skew blocks.

Write $X=S^3\setminus \mathrm{int}N(K)$ for the knot exterior. Linking number with K gives the epimorphism ${\pi }_1(X)\to \mathbb{Z}$ sending a positive meridian to one. Let $\tilde{X}$ be the associated infinite cyclic cover, with deck transformation t. The Alexander module of a knot is ${\mathcal{A}}_K=H_1(\tilde{X};\mathbb{Z})$, regarded as a module over the Laurent polynomial ring $\Lambda =\mathbb{Z}[t,t^{-1}]$. Its order, the greatest common divisor of the maximal presentation minors, is the Alexander polynomial of a knot, defined up to $\pm t^k$. Equivalently these minors generate its zeroth Fitting ideal; we will obtain a square presentation, so its determinant gives the order. No assertion that $\Lambda$ is a principal ideal domain is needed.

Here is the Seifert-matrix presentation of the Alexander module with its topological justification. Cut X along F, obtaining a connected manifold Y with two boundary copies $F^{+}$ and $F^{-}$. Up to collars this is the complement of a thickening of F in $S^3$. Alexander duality gives $H_1(Y;\mathbb{Z})\cong {\mathbb{Z}}^{2g}$ and the perfect linking pairing with $H_1(F;\mathbb{Z})$. Choose generators $b_j$ satisfying $\mathrm{lk}(b_j,a_i)={\delta }_{ij}$. This homology statement does not require Y to be a handlebody. The two inclusions satisfyIndeed the first coefficients are the defining positive linking numbers; for the second, moving the two curves to opposite sides and using symmetry of linking gives $\mathrm{lk}(a_i^{-},a_j)=\mathrm{lk}(a_j^{+},a_i)$.

Stack copies of Y, identifying the positive copy of F in one layer with the negative copy in the next. This is $\tilde{X}$. The Mayer–Vietoris sequence, with all translates collected into Laurent modules, containsThe last map is injective because $\Lambda$ is an integral domain. Thus the entire Alexander module is presented by the row relations $tV-V^T$ (transpose the matrix if using column vectors). At $t=1$ its determinant is $\det (V-V^T)=1$, so the determinant is nonzero and the module is torsion. Consequentlywhere $\doteq$ denotes equality up to a Laurent unit. The second conclusion follows because a determinant of size $2g$ with entries linear in t has breadth at most $2g$; minimize over Seifert surfaces.

For the displayed knot we give a reproducible diagram calculation. Label its ten crossings A through J as follows: A and B are the two upper crossings from left to right; C,D,E are the next three crossings in descending order; F is the crossing below E on the almost vertical strand; G is the left crossing of the bottom loop; H,I,J are the remaining three bottom crossings from left to right. With one traversal direction the over/under record isThe crossings have the same sign. Choose the meridian/deck convention giving the conjugation relation below; the opposite convention replaces t by $t^{-1}$ and gives the same reciprocal polynomial up to a unit.

Number the undercrossings in the order $B,I,F,H,J,C,D,A,E,G$, starting at zero, and let $x_k$ be the incoming arc at undercrossing k. The overpassing arc numbers areThe Wirtinger presentation has $x_{k+1}=x_{o_k}{x}_k{x}_{o_k}^{-1}$, with indices modulo ten. Its lifted cellular boundaries, or equivalently Fox derivatives, give the Alexander relation matrixDelete the redundant final relation and the last column: the resulting matrix presents the Alexander module on the nine relative arc generators. To make the determinant check transparent, set $h=2t^2-3t+2$, $k=4t^2-7t+5$, and $\ell =2t^2-2t+1$. Eliminating unit pivots reduces this nine-generator presentation toFor example, writing the relative generators as $z_0,\dots ,z_8$, the eliminated relations give $z_3=t{z}_2$, $z_4=(t^2-t+1)z_2$, $z_1=(t^2-2t+2)z_2$, $z_5=h{z}_2$, $z_7=(1-t)h{z}_2+t{z}_6$, $z_0=t^{-1}(t^2-2t+2-(1-t{)}^{2}h)z_2-(1-t)z_6$, and $z_8=(1-t)k{z}_2+(2t-1)z_6$. The two remaining relations are precisely the rows of N. HenceAs a second determinant check, the unreduced nine-by-nine cofactor of M is $t^2\det N$. The polynomial has value one at $t=1$ and is reciprocal, as required.

For the genus upper bound, the oriented smoothing has seven Seifert circles. This can also be checked from the traversal record: number its twenty entries starting at one; smoothing sends an incoming visit to the entry following its other visit to the same crossing. The cycles are $(1,17,13,19,7)$, $(2,16)$, $(3,11,15)$, $(4,10)$, $(5,9)$, $(6,20,8)$, and $(12,18,14)$. The Seifert algorithm therefore gives seven disks and ten bands, so $\chi (F)=7-10=-3=1-2g(F)$ and $g(F)=2$. The Alexander breadth is four, so the Alexander breadth bound on Seifert genus gives the matching lower bound. Thus $\boxed{g_s(K)=2}$.

Finally, modulo two the primitive polynomial becomes $t^4+t^3+t^2+t+1$. It has neither zero nor one as a root. The only monic irreducible quadratic over ${\mathbb{F}}_2$ is $t^2+t+1$, whose square is $t^4+t^2+1$, so the quartic is irreducible. Reduction modulo two therefore proves irreducibility over the rationals and, by primitivity, over $\mathbb{Z}$ and $\Lambda$. If K were a sum of two nontrivial knots, additivity of Seifert genus would force both summands to have genus one. Their Alexander polynomials multiply, so irreducibility would make one polynomial a unit and the other equal to this breadth-four polynomial, contradicting the breadth-at-most-two bound for genus one. This uses the full-degree irreducible Alexander polynomial implies a prime knot criterion, rather than irreducibility alone. Therefore K is prime.

The Wirtinger presentation assigns a meridian generator to each arc between undercrossings. At a crossing the outgoing underarc meridian is the conjugate of the incoming one by the overarc meridian, with the exponent determined by the crossing sign. One crossing relation is redundant for a connected knot diagram. This gives a presentation of the knot group, the fundamental group of its exterior.

For the trefoil knot, choose three arcs x,y,z so that two crossing relations are $z=xy{x}^{-1}$ and $x=yz{y}^{-1}$. The third follows from these. Substituting for z gives $xyx=yxy$, henceWe use the relator $r=xyx{y}^{-1}{x}^{-1}{y}^{-1}$.

Here is the Fox free differential calculus, including its connection with the covering-space chain complex. Let F be the free group on $x_1,\dots ,x_n$, let $\mathbb{Z}F$ be its group ring, and let $\epsilon :\mathbb{Z}F\to \mathbb{Z}$ be augmentation. Define additive maps $D_j:\mathbb{Z}F\to \mathbb{Z}F$ byFor group words u,v the product rule reads $D_j(uv)=D_j(u)+u{D}_j(v)$. Differentiating $x_i{x}_i^{-1}=1$ forces $D_j(x_i^{-1})=-{\delta }_{ij}{x}_i^{-1}$. Thus for a reduced word one sums its prefixes at positive occurrences of $x_j$, and subtracts the prefix including $x_j^{-1}$ at negative occurrences. Inserting or deleting $x_i{x}_i^{-1}$ makes two cancelling contributions, proving that this definition is independent of word reduction. Linear extension proves the group-ring product rule and uniqueness.

The fundamental identity isIt holds on generators and inverses. If it holds for u and v, then $uv-1=(u-1)+u(v-1)$ proves it for their product, so induction proves it for every word. These Fox derivatives form the matrix $(D_j{r}_i{)}_{i,j}$ for any chosen presentation.

Let $\varphi :G\to \mathbb{Z}$ be knot-group abelianization and put $a_j=\varphi (x_j)$. Apply the ring map $\alpha :\mathbb{Z}F\to \Lambda$ sending $x_j$ to $t^{a_j}$, and set $J_{ij}=\alpha (D_j{r}_i)$. Build the presentation two-complex P with one vertex, n oriented edges, and m two-cells attached along the relators. Its infinite cyclic cover has cellular chain complexTo verify the second boundary, lift an attaching word starting at deck level zero. An occurrence $x_j$ after prefix u traverses the jth edge at level $\varphi (u)$, contributing $t^{\varphi (u)}{e}_j$. An occurrence $x_j^{-1}$ traverses it backwards starting at level $\varphi (u{x}_j^{-1})$, contributing $-t^{\varphi (u{x}_j^{-1})}{e}_j$. Their sum is exactly the evaluated Fox derivative. The fundamental identity, with $\alpha (r_i)=1$, gives $d_1{J}^T=0$.

The cover of P and the cover of the knot exterior both have fundamental group $\ker \varphi$. Their first homology is the abelianization of that group, with the same deck action induced by conjugation. Thus no assumption that the presentation complex is aspherical is needed, and the complete relation with the Alexander module of a knot isFor meridian generators all $a_j=1$. Then $\ker d_1$ consists of vectors with coefficient sum zero, with basis $e_j-e_n$, $j<n$. Each Fox row has coefficient sum zero, so deleting its nth entry gives its coordinates in this basis. Deleting one column of J therefore presents the Alexander module; if a Wirtinger relator is redundant it can also be deleted. This proves the matrix procedure used for the displayed knot above. For arbitrary generators, the exponent vector is primitive because the generators map onto $\mathbb{Z}$; elementary changes of free generators implement the Euclidean algorithm and reduce it to $(1,0,\dots ,0)$. In that basis $\ker d_1$ is free on the last $n-1$ edges, and their relator coefficients give a presentation. This explains the general case rather than treating the full Fox cokernel as the Alexander module.

For the trefoil relator, with $\alpha (x)=\alpha (y)=t$, direct differentiation givesThe first boundary is $(t-1,t-1)$, whose kernel is generated by $(1,-1)$. The relator boundary is $f(t)(1,-1)$, whenceFor a connected sum of knots, join Seifert surfaces in separated balls. Their Seifert matrix is block diagonal, so the Alexander module of a connected sum is a direct sum. Thus ${\mathcal{A}}_{T\#T}\cong (\Lambda /(f){)}^2$.

This module is not cyclic. The polynomial f is irreducible modulo two, since it has no root in ${\mathbb{F}}_2$, so $\mathfrak{m}=(2,f)$ is a maximal ideal of $\Lambda$ with residue field ${\mathbb{F}}_4$. The quotient ${\mathcal{A}}_{T\#T}/\mathfrak{m}{\mathcal{A}}_{T\#T}$ has dimension two over that field, whereas the corresponding quotient of a cyclic module has dimension at most one.

Every two-generator knot group, however, has a cyclic Alexander module, regardless of its number of relators. Indeed its primitive abelianization vector can be changed to $(1,0)$ as above. The covering boundary is then $(t-1,0)$; its kernel is the free rank-one module on the second edge, and any quotient by lifted relators is cyclic. This proves the two-generator knot groups have cyclic Alexander modules obstruction. Consequently the group of the connected sum of two trefoils cannot even be generated by two elements, and in particular it has no two-generator, one-relator presentation.

The determinant-one cyclic quotient of the affine plane has the closed embeddingHere ${\mu }_n$ denotes the cyclic group generated by the given diagonal matrix. We establish the presentation of the polynomial invariant ring and verify that its fibres really are the group orbits.

On the coordinate ring $A=\mathbb{C}[x,y]$, the inverse-pullback action multiplies $x^a{y}^b$ by ${\zeta }^{b-a}$. Since these monomials are a basis, a polynomial is invariant precisely when each of its nonzero monomials satisfies $a-b\equiv 0(\mathrm{mod}n)$. If $a\ge b$, such a monomial is $(x^n{)}^{(a-b)/n}(xy{)}^b$; if $b\ge a$, it is $(y^n{)}^{(b-a)/n}(xy{)}^a$. ThereforeThese generators give a surjective homomorphism $\mathbb{C}[u,v,w]\to A^{{\mu }_n}$, and $uv-w^n$ lies in its kernel of a ring homomorphism. To prove there are no further relations, reduce any monomial using $uv=w^n$. The result is a linear combination ofTheir images are respectively $x^j{y}^j$, $x^{ni+j}{y}^j$ and $x^j{y}^{ni+j}$. All have distinct exponent pairs, so they are linearly independent in $A$. Any polynomial in the kernel of a ring homomorphism has zero reduced expression and hence belongs to $(uv-w^n)$. ConsequentlyThis proves the claimed closed subvariety embedding of the affine quotient.

For surjectivity of $\pi$, if $u\ne 0$ choose $x^n=u$ and set $y=w/x$. Then $y^n=w^n/u=v$. If $u=0$, the relation forces $w=0$; choose $x=0$ and any $n$th root of $v$ for $y$. If two points have the same image and $x\ne 0$, equality of their $n$th powers gives $x^{\prime }={\zeta }^{k}x$ and equality of $xy$ gives $y^{\prime }={\zeta }^{-k}y$. If $x=0$, both first coordinates vanish, and the same argument using $y^n$ gives the orbit relation; the case $x=y=0$ has only that one point in its fibre. Thus every fibre is exactly one group orbit.

The map is finite: $x$ and $y$ satisfy the monic equations $T^n-u=0$ and $T^n-v=0$, and the finitely many monomials $x^a{y}^b$, $0\le a,b<n$, span $A$ as a module over its polynomial invariant ring. A finite morphism is closed when it is surjective as here and therefore gives the quotient topology. For a principal open subset defined by an invariant $h$, its regular functions pull back to $A_h$ andIndeed, because $h$ is invariant, an invariant fraction with denominator $h^k$ has invariant numerator. These principal open subsets cover the affine hypersurface, proving the required local equality of invariant regular functions. Together with the orbit fibres, this verifies the geometric quotient, not merely a bijection of underlying sets.

Using the printed convention that the projective points represent lines of binary quartics, the locus of GIT stable points isThe root at infinity is included. We determine stability by calculating every relevant algebraic one-parameter subgroup weight.

Use the natural action $(g\cdot f)(X,Y)=f(g^{-1}(X,Y))$. Every nontrivial algebraic one-parameter subgroup of $S{L}_2$ is conjugate to ${\lambda }_m(t)=\mathrm{diag}(t^m,t^{-m})$ for some integer $m>0$: its two integral weights of a representation sum to zero, and a basis of weight vectors can be rescaled to have determinant one. WriteIf $r=\min \{j:a_j\ne 0\}$, then $r$ is the multiplicity of a root at the projective point $[1:0]$: in the local coordinate $Y/X$, the polynomial begins with a nonzero multiple of $(Y/X{)}^r$.

The Hilbert-Mumford criterion for projective stability, with $\mu =-\min$(active weights), now givesBeing a GIT stable point requires this number to be strictly positive for every nontrivial subgroup. Conjugating the subgroup lets $[1:0]$ range over the entire projective line. Thus the root-multiplicity criterion for stable binary forms becomes $r_p(f)<2$ at every point $p$. A nonzero degree-four form over $\mathbb{C}$ has four projective roots counted with multiplicity, so this means precisely four distinct roots. This is equivalently nonvanishing of its discriminant.

The boundary cases show why a weak inequality would give the wrong answer. A triple or quadruple root can be moved to $[1:0]$, leaving only strictly positive weights; its affine representative tends to zero under that subgroup, so it is unstable. If all root multiplicities are at most two, all Hilbert-Mumford values are nonnegative and the point is a GIT semistable point. A double root gives a zero value for a suitable subgroup, so never represents a GIT stable point. More concretely, after putting that double root at $[1:0]$ one hasand ${\lambda }_1(t)\cdot f\to a{X}^2{Y}^2$. When there are three distinct roots, this limiting form, representing a GIT semistable point with two distinct roots, is outside the original group orbit, so that group orbit is not closed in the semistable locus. When there are two double roots, a change of coordinates gives $X^2{Y}^2$, which has the positive-dimensional diagonal torus as stabilizer. Neither case represents a GIT stable point.

For a form with four distinct roots, the projective stabilizer is finite: it permutes the four roots, and a Möbius transformation fixing three distinct points is the identity. Thus its image in $PG{L}_2$ injects into the finite permutation group on the roots. The kernel of a group homomorphism for $S{L}_2\to PG{L}_2$ is $\{\pm I\}$, also finite. This agrees with the finite-stabilizer condition in geometric invariant theory. The weight calculation already supplies the required strict stability condition for every conjugate subgroup.

Put $A=\mathbb{C}[V]={⨁}_{d\ge 0}{A}_d$ and $R=A^G$. The linear action preserves polynomial degree, so $R={⨁}_{d\ge 0}{R}_d$ with $R_0=\mathbb{C}$. We prove Hilbert finite generation for reductive invariants by combining finite ideal generation in $A$ with a degree-lowering argument in $R$.

Over $\mathbb{C}$, representations of a reductive algebraic group are completely reducible. On each finite-dimensional $A_d$, project its isotypic component for the trivial representation onto itself and its nontrivial summands onto zero. These projections together form a degree-preserving Reynolds operator $\mathcal{R}:A\to R$, with $\mathcal{R}{|}_R=\mathrm{id}$. The crucial additional property isHere is why it holds rather than being an arbitrary projection property. For a homogeneous invariant $a$, multiplication by $a$ is a $G$-equivariant linear map $A_d\to A_{d+\mathrm{deg}a}$. It sends invariant vectors to invariant vectors. On a nontrivial irreducible summand, its composition with projection onto the target's trivial summand is zero, since there is no nonzero equivariant map from a nontrivial irreducible representation to the trivial representation. It therefore commutes with the Reynolds operators. Summing the homogeneous components of $a$ and $h$ proves the displayed module property in general.

Let $R_{+}={⨁}_{d>0}{R}_d$ and form the ideal $I=A{R}_{+}$ in the ambient polynomial ring. The Hilbert basis theorem makes $A$ a Noetherian ring, so $I$ is generated by finitely many homogeneous positive-degree invariants $f_1,\dots ,f_s$. To justify choosing the generators from this particular set, start with any finite ideal generating set; each of its members is a finite sum of multiples of homogeneous members of $R_{+}$, and the union of those finitely many invariants then generates $I$. If $I=0$, there are no positive-degree invariants and the answer is simply $R=\mathbb{C}$.

Otherwise consider a homogeneous invariant $f$ of degree $d>0$. Since $f\in I$, writewith $h_i=0$ when that degree is negative. Taking the degree-$d$ component of any ideal expression gives exactly such an expression. Apply the Reynolds operator and its module property:Each coefficient $\mathcal{R}(h_i)$ is invariant and has degree strictly smaller than $d$, because every $f_i$ has positive degree. Induction on $d$, starting from $R_0=\mathbb{C}$, now shows that every homogeneous invariant lies in $\mathbb{C}[f_1,\dots ,f_s]$. An arbitrary invariant is a finite sum of invariant homogeneous components, soThis proves finite generation as an algebra. No Noetherian property of the polynomial invariant ring was assumed in obtaining the generators.

For $g\in G{L}_n(q)$, make $V={\mathbb{F}}_q^n$ a module over the polynomial ring $R={\mathbb{F}}_q[t]$ by $t\cdot v=gv$. The structure theorem for finitely generated modules over a principal ideal domain and primary decomposition giveHere $f$ ranges over monic polynomials that are irreducible polynomials, and $t$ is excluded because $g$ is invertible. Associate the integer partition ${\lambda }_f$ having $m_j(f)$ parts equal to $j$. It has finite support and satisfies ${\sum }_f\mathrm{deg}(f)|{\lambda }_f|=n$. Two matrices are conjugate exactly when their R-modules are isomorphic, so this gives a bijective parameterization of conjugacy classes.

The centralizer is the R-module automorphism group. Homomorphisms between distinct primary components vanish: coprimeness of their annihilating polynomials makes each such map zero. Fix one $f$ of degree $d$, put $Q=q^d$, and write $m_j=m_j(f)$. A map $R/(f^a)\to R/(f^b)$ is determined by an image killed by $f^a$, so its space has dimension $d\min (a,b)$ over ${\mathbb{F}}_q$. Consequently the endomorphism algebra $E$ haswhere ${\lambda }^{\prime }$ is the conjugate partition.

Its semisimple quotient is ${\prod }_j{M}_{m_j}({\mathbb{F}}_Q)$: reduce the maps between the equal-length summands modulo $f$ and discard the maps between unequal lengths. Composition through a different length acquires a factor of $f$ when it returns to the original length, so these reductions define an algebra homomorphism. It is onto, and its kernel is nilpotent. One can see the latter directly by expanding a sufficiently long product into paths through the finitely many possible summand lengths: repeated returns through unequal lengths or equal-length kernel factors accumulate powers of $f$, while a strictly monotone path has bounded length. Eventually every path vanishes in every summand.

An element is invertible exactly when its image in that quotient is invertible, since a nilpotent error is inverted by a finite geometric series. The fraction of units is therefore ${\prod }_j|G{L}_{m_j}(Q)|/Q^{m_j^2}={\prod }_j{\prod }_{r=1}^{m_j}(1-Q^{-r})$. Multiplying the independent primary contributions gives the primary matrix centralizer formula:

For $\theta >0$, the one-parameter Poisson-Dirichlet distribution is a probability distribution on decreasing random mass sequences. A precise construction uses a Poisson random measure $\Xi$ on $(0,\infty )$ with intensityArrange its points as $J_1>J_2>\cdots$ and put $T={\sum }_i{J}_i$. The intensity is diffuse, so there are almost surely no ties. There are infinitely many points because the intensity has infinite mass near zero, but their sum is finite almost surely: the Campbell first-moment formula gives $\mathbb{E}T=\int u{\rho }_{\theta }(du)=\theta <\infty$. Also $T>0$ almost surely, since the probability of having no points is zero. DefineIts law is $PD(\theta )$, also written $PD(0,\theta )$. In particular, $p_1$ is the largest component; the ordering is part of the definition.

The Laplace functional of a Poisson random measure determines the total:For the integral identity, differentiate the integral with respect to $s$, obtaining $1/(1+s)$, and use its value zero at $s=0$. Thus $T$ has the Gamma distribution with shape $\theta$ and rate one, and density $t^{\theta -1}{e}^{-t}/\Gamma (\theta )$.

We use the Mecke formula for a Poisson random measure in its point-removal formHere the process inside the expectation on the right has the original law. To justify this identity, first take finite intensity. Conditional on a Poisson count $n$, its points are independent samples from normalized intensity. Expanding the expectation as a sum over $n$ and singling out one of the $n$ points replaces $n/n!$ by $1/(n-1)!$; the remaining points have the original Poisson law. For sigma-finite intensity, restrict the selected point to a finite-intensity set, condition on the independent outside process, and then exhaust the space. monotone convergence theorem proves the formula for nonnegative $H$; absolute integrability allows signed $H$.

Apply it with $H(u,\eta )=\phi (u/(u+\int v\eta (dv)))$. For the polynomial in question, $|\phi (x)|\le Cx$ on $[0,1]$, so ${\sum }_i|\phi (p_i)|\le C$ and all signed interchanges are justified. Integrating over the gamma law of the remaining total givesSet $s=u+t$ and $x=u/s$, so $u=sx$, $t=s(1-x)$ and the Jacobian is $s$. The integrand factors as $\phi (x)x^{-1}(1-x{)}^{\theta -1}{s}^{\theta -1}{e}^{-s}$. The integral defining the Gamma function cancels $\Gamma (\theta )$, yieldingFor example, setting $\phi (x)=x^k$ gives $\mathbb{E}{\sum }_i{p}_i^k=\theta B(k,\theta )=\Gamma (k)\Gamma (\theta +1)/\Gamma (k+\theta )$ for integers $k\ge 1$.

The same nonnegative calculation identifies the mean measure of Poisson-Dirichlet components for arbitrary nonnegative test functions. Write $N_a=\#\{i:p_i>a\}$. If $1/2\le a<1$, at most one component exceeds $a$, so $N_a=1_{\{p_1>a\}}$. Hence the identity directly gives the upper part of the probability distribution of the largest component of a Poisson-Dirichlet partition:Its density on $(1/2,1)$ is $\theta x^{-1}(1-x{)}^{\theta -1}$. For $\theta =1$, this tail is $-\log a$, and $\mathbb{P}(p_1>1/2)=\log 2$. On the other hand, selecting index $I$ with conditional probabilities $\mathbb{P}(I=i\mid (p_j))=p_i$ weights the mean measure of a point process by $x$. Thus $p_I$ has density $\theta (1-x{)}^{\theta -1}$, the $\mathrm{Beta}(1,\theta )$ law of a size-biased distribution. That beta law describes the selected component.

For completeness, the whole probability distribution of $p_1$ can also be specified; below one half the expected count $\mathbb{E}{N}_a$ is not itself the tail probability. Repeating the point-removal formula for $m$ ordered distinct jumps gives the factorial moment densities of Poisson-Dirichlet components:Indeed, integrate over $m$ selected jumps $u_i$ and the remaining gamma total $t$, then put $s=t+{\sum }_i{u}_i$, $x_i=u_i/s$. The Jacobian is $s^m$; the factors ${\prod }_i{u}_i^{-1}{t}^{\theta -1}$ and the Jacobian leave $s^{\theta -1}$, whose Gamma function again cancels the normalizing constant. Since $N_a<1/a$, the finite binomial identity for the indicator of $N_a=0$ now gives, for $0<a<1$,The $m=0$ term is one; an empty integration region contributes zero. This is inclusion-exclusion, since $1_{\{N_a=0\}}={\sum }_m(-1{)}^m(N_a{)}_m/m!$. Extend this cumulative distribution function by zero for $a\le 0$ and one for $a\ge 1$. For $a\ge 1/2$ only the terms $m=0,1$ can contribute, recovering the simpler formula above.

Use the standard sl2 Lie algebra relations $[h,e]=2e$, $[h,f]=-2f$ and $[e,f]=h$. The classification of finite-dimensional sl2 representations says that every finite-dimensional complex module is a direct sum of $L(m)$, $m\in {\mathbb{Z}}_{\ge 0}$, where $L(m)$ has weights $m,m-2,\dots ,-m$. The raising operator $e$ and lowering operator $f$ move weights by two and minus two. On $L(m)$ each therefore has $(m+1)$st power zero. There is consequently one integer $N$ such that $e^N=f^N=0$ on all of $V$.

The matrix exponentials are thus finite polynomials in nilpotent operators:Each is a well-defined endomorphism, and its inverse is obtained by negating the argument. Their product is therefore a linear automorphism,This Weyl reflection lift in an sl2 representation is algebraically defined by finite sums; no choice of topology or convergence of an infinite series is needed.

Let $q=|B|$ and choose $h$ uniformly from the finite family $H$. All bounds below must hold for every pair of distinct inputs $x,y\in A$.

A universal hash family, also called universal2, satisfies $P[h(x)=h(y)]\le 1/q$. A strongly universal hash family satisfiesThus the two outputs are independent and uniform; summing over $u=v$ gives the collision condition. An almost strongly universal hash family permits a larger conditional guessing bound. In the $\epsilon$-almost-strongly-universal convention used here,equivalently $P[h(y)=v\mid h(x)=u]\le \epsilon$. Necessarily $\epsilon \ge 1/q$, with $\epsilon =1/q$ giving strong universality. Stating this normalization matters because the name alone does not specify the allowed forgery probability.

Here is an explicit polynomial almost strongly universal hashing construction and a one-use message authentication protocol. Use a publicly specified finite field ${\mathbb{F}}_q$, where $q=2^t$. Encode a fixed-length $n$-bit message as $L=\lceil n/t\rceil$ field elements $m_1,\dots ,m_L$, padding the final block in a fixed way. Both parties know the length, so this encoding is injective. They share independent uniform secret field elements $a,b$, requiring $2t$ shared secret bits. DefineFor every message, the output is uniform because of $b$. For distinct messages $m,m^{\prime }$ and prescribed tags $u,v$, the condition $h(m)=u$ determines exactly one value of $b$ for each $a$. The remaining condition isIts left-hand side has a nonzero coefficient of positive degree, so subtracting the specified constant gives a nonzero polynomial of degree at most $L$. By the root bound for a polynomial, there are at most $L$ possible field elements $a$. Consequentlyand this is an $\epsilon$-almost-strongly-universal family with $\epsilon =L/q$, provided $L<q$. The powers start at one deliberately: a message coefficient at power zero could give a known constant tag shift, allowing a deterministic substitution.

Alice sends the message and its tag $u=h_{a,b}(m)$ over the public channel. Bob accepts only if his independently computed tag agrees. An attacker who has seen no tag guesses one with probability $1/q$. After seeing a valid pair $(m,u)$, an attacker substituting a different message $m^{\prime }$ and any chosen tag $v$ succeeds with conditional probability at most $L/q$. This remains true when the choice of $m^{\prime },v$ depends on the observed pair: the bound is uniform over all those choices. More explicitly, the observed tag leaves $a$ uniform because each possible $a$ has exactly one compatible secret mask $b$.

For a desired forgery bound $\eta$, choose $t=\lceil {\log }_2(n/\eta )\rceil$. Since $L\le n$ and $q\ge n/\eta$, the substitution bound is at most $\eta$. The secret requirement isFor a long message this is much shorter than its $n$ bits. This is Wegman–Carter authentication: a keyed hash plus a fresh secret one-time pad on the tag. It authenticates the message rather than concealing its contents. Use the key once for the guarantee just established; multiple authenticated messages require fresh masks and a reuse security analysis. Authenticate lengths and sequence identifiers too if variable lengths or replay protection are required.

The equilibrium isothermal equation of state is $p=c_s^2\rho$. Hydrostatic equilibrium gives $p_z=-\rho {\Omega }^{2}z$, henceHere $\Omega \ne 0$ is assumed. This is the same local harmonic-gravity balance as isothermal vertical structure in stellar gravity.

For $\gamma >1$, this equilibrium is stably stratified under adiabatic fluid perturbations. Its squared buoyancy frequency isA general perturbation can therefore support acoustic waves restored by compression and internal gravity waves restored by buoyancy, with nonoscillatory entropy or vortical disturbances also possible. The prescribed velocity is purely vertical and horizontally uniform. It describes vertical acoustic waves; it does not contain the horizontally varying circulation required for an oscillatory internal-gravity branch. For zero horizontal wavenumber, that branch has zero frequency. An isothermal equilibrium must not be confused with an isothermal perturbation: the latter would remove the buoyancy restoring force.

Introduce the fluid Lagrangian displacement $\xi (z)e^{i\sigma t}$, so $w=i\sigma \xi$. Use $\delta \rho ,\delta p$ for fluid Eulerian perturbations and $\Delta \rho ,\Delta p$ for fluid Lagrangian perturbations. The continuity equation and the adiabatic relation areThe fixed external gravitational potential is not perturbed. The vertical linearized Euler equations consequently giveSubstituting the preceding relations, and using $p_z=-\rho g$ and $p_{zz}=-{\rho }_{z}g-\rho g_z$, reduces its right-hand side toSince $g={\Omega }^{2}z$ and $g_z={\Omega }^2$, the same equation holds for $w$:The rigid fixed base supplies the essential condition $w(0)=0$. At infinity the condition is finite kinetic energy, not bounded velocity amplitude; a polynomial can grow while the Gaussian mass density makes its energy finite.

Put $x=z/H$ and $\lambda =({\sigma }^2/{\Omega }^2-1)/\gamma$. The equation becomes the Hermite differential equation in its probabilists' convention,For $w={\sum }_{j\ge 0}{a}_j{x}^j$, its recurrence isThe base condition makes $a_0=0$ and therefore every even coefficient zero. An odd series terminates at degree $2n+1$ when $\lambda =2n+1$. It remains to prove that a nonterminating odd solution cannot have finite energy; termination alone would not establish the requested exhaustion of modes.

For that purpose, set $y=e^{-x^2/4}w$. The finite-energy condition is $y\in L^2(0,\infty )$, and its equation isBecause the coefficients are even and the solution is odd at the base, extend $y$ oddly to the whole real line. Define lowering and raising operatorsIntegration by parts gives $\Vert ay{\Vert }^2=\lambda \Vert y{\Vert }^2$, so $\lambda \ge 0$. These identities apply to the square-integrable solution: multiplying its equation by a compactly cut off conjugate and taking larger cutoffs bounds $y^{\prime }$ and $xy$ in $L^2$, and removes the endpoint terms. The same argument applies to each lowered eigenfunction.

If $\lambda$ is not a nonnegative integer, repeatedly apply $a$. Each application lowers $\lambda$ by one and remains nonzero whenever its current value is positive, by the norm identity. After finitely many applications it would yield a nonzero square-integrable eigenfunction with negative $\lambda$, contradicting that identity. Thus $\lambda =N$ is a nonnegative integer. At $N=0$, $ay=0$ gives $y\propto e^{-x^2/4}$, which is even. Lowering reverses parity, so an initially odd eigenfunction can reach this even ground state only if $N$ is odd. Consequently $N=2n+1$. The recurrence then terminates and uniquely determines the odd solution from $a_1$.

The complete adiabatic vertical modes of a Gaussian atmosphere are thereforeHere ${\mathrm{He}}_j$ is the Probabilists' Hermite polynomial. For example the first shapes are $x$, $x^3-3x$, and $x^5-10x^3+15x$, with frequencies squared ${\Omega }^2(1+\gamma )$, ${\Omega }^2(1+3\gamma )$, and ${\Omega }^2(1+5\gamma )$. Either sign of each real frequency gives a time-harmonic solution. Gaussian moments make every displayed polynomial have finite kinetic energy. Without the fixed-base condition, finite energy alone would also admit even polynomials, which is why that condition is necessary.