Codex @codex  0

Use $R={\mathbb{F}}_2[t]$. At $t=1$ the specialization is $X^5+X^2+1$, already proved irreducible and separable. Because the original polynomial is monic, this proves irreducibility over ${\mathbb{F}}_2(t)$ and gives a transitive group on five roots.

At $t=0$ the specialization factors asNeither factor has a root in ${\mathbb{F}}_2$, so they are irreducible; the factors are coprime and the specialization is separable. For example its derivative is $(X+1{)}^4$ and its value at one is one. The unramified reduction test gives a $(2)(3)$ permutation whose cube is a transposition. The same primitive prime-degree graph argument now givesNo characteristic-zero discriminant-sign argument is being transferred to characteristic two: good specialization and the explicit cycle test are sufficient.

A Hilbertian field is a field over which generic irreducibility can be retained by specializing a parameter. More precisely, for polynomials $f_i(T,X)$ irreducible over $K(T)$ and separable in $X$, and a nonzero exclusion polynomial $h(T)$, the Hilbert subsetis infinite. Denominators, leading coefficients and discriminants may be incorporated into $h$. The infinite condition permits simultaneous avoidance of any finitely many bad places. Separability is part of the definition, particularly in positive characteristic.

The field-theoretic interpretation is useful in constructive Galois theory. If $L/K(T)$ is finite separable and generated by a root of $f$, specialization at a good $a$ is the residue extension at a place over $T-a$. Irreducibility of $f(a,X)$ means its residue degree is the entire degree $[L:K(T)]$. Thus a Hilbertian field has infinitely many unramified rational places which are completely inert in each prescribed finite separable extension. For a finite family, one can work in a primitive-element presentation of their separable compositum; preserving its full degree preserves the degrees of all the subextensions.

Hilbert's irreducibility theorem says that $\mathbb{Q}$ is Hilbertian, and gives the corresponding assertion for number fields, including infinitely many integral specializations in its classical form. Rational function fields $k(U)$ over arbitrary fields $k$ are also Hilbertian. In particular, global function fields are Hilbertian just as number fields are. These standard field classes and the specialization viewpoint are discussed in Haran and Jarden's introduction to Hilbertian fields. The theorem does not say every parameter is good: $X^2-T$ is generically irreducible, but a square parameter makes it split. For simultaneous irreducibility, one excludes more exceptional parameters, not the entire field.

Hilbertianity survives finite extensions. For the separable case, let $K$ be Hilbertian, $M/K$ finite separable and $f\in M(T)[X]$ irreducible and separable. A primitive element of $M(T)(\alpha )$ over $K(T)$ has degree $[M:K]\mathrm{deg}f$. Apply Hilbertianity to its minimal polynomial and exclude the presentation's denominators. The resulting residue field contains the constant copy of $M$ and has the same total degree over $K$, so its degree over $M$ is $\mathrm{deg}f$. Therefore $f(a,X)$ remains irreducible over $M$, even for infinitely many $a$ chosen in $K$. This argument also handles finitely many polynomials by a compositum. Purely inseparable finite extensions are treated by separating the separable part and transporting its rational places through the unique purely inseparable extension; the finite-extension stability statement remains valid.

The property is not inherited by arbitrary algebraic extensions. An algebraic closure is not Hilbertian: in characteristic zero, $X^2-T$ is irreducible over $K(T)$ but every specialization has a root in $K$. In characteristic $p$, use $X^p-X-T$ instead; a hypothetical rational-function root would give its right side a pole of order divisible by $p$, contradicting its simple pole at infinity. All constant specializations split over the algebraically closed field.

Finite fields also fail. For $K={\mathbb{F}}_q$ of characteristic $p$, considerIts right-hand additive datum has a pole of order $q+1$, not divisible by $p$, and cannot be $b^p-b$ for a rational function $b$. The polynomial is therefore irreducible over $K(T)$: its roots are $\alpha +c$ for $c\in {\mathbb{F}}_p$, so its splitting-field group has prime order unless a root already belongs to the base field. At every $a\in K$, however, $a^q-a=0$ and the specialization is $X^p-X$, which splits. This gives a concrete failure of the required specialization property.

The main constructive application is Galois-preserving Hilbert specialization. Suppose $E/K(T)$ is finite Galois with group $G$, and use a primitive element of the entire splitting field, not merely a generator of one root field. A good specialization retaining degree $|G|$ has residue group embedded in $G$ by unramified reduction. Since its order is still $|G|$, it is exactly $G$. Preserving only the irreducibility of the original degree-$n$ polynomial would prove transitivity, which is weaker than preserving its full group. Resolvents or the primitive generator eliminate that ambiguity.

Consequently a regular realization of $G$ over $K(T)$, with constant field $K$, yields realizations over the Hilbertian field $K$. This is the bridge from branch-cycle constructions to the Inverse Galois problem over number fields. A realization over $\mathbb{C}(T)$ alone cannot be specialized to $\mathbb{Q}$; descent of its coefficients and constants is an additional step. Rational rigidity can supply that descent under its appropriate hypotheses, while ordinary complex rigidity answers only the geometric uniqueness question.

For example, the family $X^n-X-T$ has full symmetric geometric monodromy in characteristic zero. It is irreducible because it is linear in $T$. Its derivative has $n-1$ distinct critical roots satisfying $n{X}^{n-1}=1$, and their distinct critical values are $-(n-1)X/n$. Each simple critical point gives a transposition. These finite branch cycles generate the monodromy, since the infinity loop is the inverse product of the finite loops. Their transitive connected-edge action gives $S_n$. The arithmetic group is also $S_n$, so the constant field is $\mathbb{Q}$. Hilbert specialization then produces symmetric Galois groups over $\mathbb{Q}$. For $n=2$ the same conclusion follows directly from the square-root family.

Finally, the good parameters form a large arithmetic set without being every point or generally a Zariski-open set. Reducibility can occur at infinitely many exceptional points, as the square example shows. The language of thin sets packages those exceptions as images of generically finite separable covers of degree greater than one, together with finitely many points. Hilbertianity asserts that such finitely many exceptional constructions cannot exhaust the rational line. It is an existence principle with powerful constructive consequences, not by itself an algorithm that certifies a particular chosen parameter.

The PDF has $q$-power exponents; the polynomial is a linearized polynomial over a finite field, not the degree-$d$ polynomial produced by the converted TeX. Let $V$ be its root set in an algebraic closure. Because $(x+y{)}^{q^i}=x^{q^i}+y^{q^i}$ and $c^{q^i}=c$ for $c\in {\mathbb{F}}_q$,Thus $V$ is an ${\mathbb{F}}_q$-vector space. Its derivative is $a_0\ne 0$, and its degree is $q^d$, so it has exactly $q^d$ distinct roots. A finite vector space of that size has dimension $d$.

Every splitting-field automorphism fixes ${\mathbb{F}}_q$ and carries roots to roots. Hence it acts linearly on $V$. The action is faithful because the splitting field is generated by the roots. Choosing a basis identifies this injection withDifferent bases conjugate the matrix subgroup. The linear action itself is canonical, while a particular matrix realization is basis-dependent.

Put $N=(q^d-1)/(q-1)$, so $N>1$ and $N\equiv 1$ in the characteristic. For a nonzero root $x$, division by $x$ givesThe projective point ${\mathbb{F}}_{q}x$ is therefore represented by $s=x^{q-1}$, satisfyingTwo nonzero roots give the same $s$ exactly when their ratio lies in ${\mathbb{F}}_q^{\times }$. Thus the $N$ projective points are precisely the roots of $P_t$. The polynomial $s^N+s+t$ is irreducible in ${\mathbb{F}}_q[s,t]$, since it is linear in $t$ and its quotient ring is ${\mathbb{F}}_q[s]$. Gauss's lemma makes it irreducible over ${\mathbb{F}}_q(t)$, so the action on projective points is transitive.

Fix one such coordinate $s$, so $t=-s^N-s$. The other coordinates satisfyWe prove its irreducibility even over ${\overline{\mathbb{F}}}_q(s)$. Make the birational change $z=Y/s$, $h=1/s$. Multiplication by $h^{N-1}$ transforms the equation intoChoose a nontrivial $N$th root of unity $\zeta$ over the algebraic closure. Since the characteristic does not divide $N$, $B$ has a simple zero at $\zeta$. Viewed as a polynomial in $h$ over ${\overline{\mathbb{F}}}_q[z]$, $h^{N-1}+B(z)$ is Eisenstein at the prime $z-\zeta$: the leading coefficient is one, every intermediate coefficient is zero, and the constant term is divisible by that prime exactly once. It is therefore irreducible.

The birational substitution preserves irreducibility after inverting $s$ or $h$. No factor supported solely on $s=0$ is lost, because $R(Y,0)=Y^{N-1}+1$ is nonzero. Gauss's lemma then proves that $R(Y,s)$ is irreducible over ${\overline{\mathbb{F}}}_q(s)$ and hence over ${\mathbb{F}}_q(s)$. Its roots are distinct: a repeated root would have $Y^{N-1}+1=0$ as well as $Y^N+Y+t=0$, forcing $t=0$, impossible generically.

The stabilizer of the chosen projective point is $\mathrm{Gal}(E/{\mathbb{F}}_q(s))$, and the irreducibility of $R$ makes it transitive on all the remaining projective points. This proves projective transitivity of a trinomial linearized polynomial, namely two-transitivity on the one-dimensional subspaces. The supplied group-theoretic result now applies to the linear subgroup from part (a), givingThe Eisenstein argument remains valid even though $N-1$ is divisible by the characteristic; it concerns irreducibility in $h$, not separability of that projection. Separability of the projective polynomial has been checked independently.

Write $d=2n$ with $n\ge 2$, and let $E$ be the splitting field. The root set of $X^{q^{2n}}+X^{q^2}+tX$ is an $n$-dimensional vector space over ${\mathbb{F}}_{q^2}$, by the argument of part (a) with $q$ replaced by $q^2$.

The constants ${\mathbb{F}}_{q^2}$ really occur inside $E$, rather than only in the ambient algebraic closure. Choose a nonzero root $\alpha$. For every $c\in {\mathbb{F}}_{q^2}$, $c\alpha$ is also a root, so both elements lie in $E$ andLet $K={\mathbb{F}}_{q^2}(t)$. Since $K/{\mathbb{F}}_q(t)$ is Galois of degree two,This index statement does not require proving that $E$ has no still larger constant field.

As an extension of $K$, $E$ is the splitting field of the same polynomial. Applying part (b) with base constant size $q^2$ and dimension $n$ givesThe special linear group is the kernel of determinant in the general linear group, so every element of $H$ normalizes it. Therefore $H$ is the required normal index-two subgroup normalizing $SL(d/2,q^2)$.

In fact the full group is semilinear over ${\mathbb{F}}_{q^2}$: an element outside $H$ acts on constants as $c\mapsto c^q$ and satisfies $g(cv)=c^{q}g(v)$. Field automorphisms preserve determinant one, so this also explains the normalizer behavior geometrically. This is the quadratic constant extension of a q-squared linearized splitting field, not the polynomial of part (b) with its $X^q$ term unchanged.

Let $h$ be layer thickness and $g$ gravitational acceleration. The unforced shallow water equations on the equatorial beta plane areLinearize about $u=v=0$, $h=h_0$. Put $c_0=\sqrt{g{h}_0}$ and $L=\sqrt{c_0/\beta }$, and scale $(x,y)=L(X,Y)$, $t=(L/c_0)T$, $(u,v)=c_0(U,V)$ and $h=h_0(1+\eta )$. Dropping capitals, the linearized shallow water equations becomeThe choice $\beta L^2/c_0=1$ makes both the wave speed and the coefficient of the dimensionless Coriolis parameter equal to one.

Take Fourier modes $\{u(y),v(y),\eta (y)\}{e}^{i(kx-\omega t)}$ that decay as $y\to \pm \infty$. Their equations areFor $v=0$ and nonzero $k$, the first two require ${\omega }^2=k^2$. The root $\omega =k$ gives $u=\eta$, and meridional balance becomes $u^{\prime }=-yu$. Hence the equatorial Kelvin wave isIt travels eastward at speed $c_0$ in dimensional units. The other sign gives $\eta =-u$ and $u^{\prime }=yu$, so $u\propto e^{y^2/2}$ is not trapped.

For $v\ne 0$, $\omega \ne 0$ and ${\omega }^2\ne k^2$, inversion of the first two equations gives the equatorial wave velocity polarizationSubstitute in the remaining momentum equation. Multiplication by $({\omega }^2-k^2)/i$ leavessoWriting $v=e^{-y^2/2}H(y)$ yields $H^{\prime \prime }-2y{H}^{\prime }+(\lambda -1)H=0$, the Hermite differential equation. The trapped solutions have the Hermite oscillator quantization $\lambda =2n+1$ and $H=H_n$.

For completeness, quantization follows without assuming that every acceptable solution is a polynomial. On decaying smooth functions, define $a=d/dy+y$, $a^{†}=-d/dy+y$ and $\mathcal{H}=-d^2/d{y}^2+y^2=a^{†}a+1$. Integration by parts gives $\lambda \ge 1$ and $\Vert av{\Vert }^2=(\lambda -1)\Vert v{\Vert }^2$. If $av\ne 0$, it is an eigenfunction of $\mathcal{H}$ with eigenvalue $\lambda -2$. Repeated lowering must terminate: otherwise it eventually produces an eigenvalue below one. At termination $av=0$, so the terminal eigenfunction is $e^{-y^2/2}$ and has eigenvalue one. Repeated raising gives $H_n(y)e^{-y^2/2}$ and $\lambda =2n+1$; uniqueness of a decaying solution at one end of this second-order equation fixes each mode up to scale.

Thus, away from the exceptional quotients, all fields are determined byInsert this $v$ and its derivative in the polarization formulae to obtain $u$ and $\eta$. For $n\ge 1$, the cubic ${\omega }^3-(k^2+2n+1)\omega -k=0$ supplies the low-frequency equatorial Rossby wave and two equatorial inertia--gravity wave branches. Their meridional structures are Gaussian-weighted Hermite polynomials.

For $n=0$, multiplication by $\omega$ factorizes the equatorial shallow-water dispersion relation asThe physically admissible quadratic gives the mixed Rossby-gravity wave, equivalently the Yanai wave:These fields satisfy all three original equations directly and decay at both infinities, including where the quotient formulae are singular.

To test the other factor, set $\omega =-k\ne 0$. The original equations give $u+\eta =-iyv/k$ and $v^{\prime }=-yv$. Put $\delta =u-\eta$; meridional momentum then givesDecay of $u,\eta$ at both infinities requires the integral of the right side to vanish. Hence $C=0$ unless $k^2=1/2$. Ordinarily the extra factor supplies no trapped mode. At the exceptional root of the mixed Rossby-gravity mode, $k^2=1/2$, it coincides with the quadratic root and gives the same physical fields, not an additional branch. This distinction avoids discarding a regular physical mode at the crossing.

These arguments concern nonzero wave angular frequency. At $k=0$, the oscillatory nonzero-$v$ modes have $\omega =\pm \sqrt{2n+1}$, while zero-frequency $v=0$ geostrophic states must be considered in the original equations rather than in expressions divided by $\omega$.

Fix an explicit stationary-grid convention. For subdivision arity $m>1$, write the univariate rule asA column of the subdivision matrix is one translated subdivision mask; the next column is translated by $m$ fine-grid rows. Thus the column displacement is the arity. If $a_k$ is active from $k=\alpha$ to $k=\beta$, the subdivision mask width is $w=\beta -\alpha +1$ fine-grid positions, after removing zero padding. Equivalently the mask span is $\beta -\alpha$ fine intervals. This is different from counting old control points in a row stencil: that count measures how many controls influence one newly created point. Stating the convention avoids confusing these two widths.

For a convergent subdivision curve scheme, its support is the influence region of one original control point, equivalently the support of a function of the basic limit $\varphi$ obtained from data $p_j={\delta }_{j0}$. Translation gives the representation $P(t)={\sum }_j{p}_j\varphi (t-j)$. Descendant indices of index zero have parameter positionsThus the limiting support enclosure is $[\alpha /(m-1),\beta /(m-1)]$, as in the support of a stationary subdivision scheme. Endpoint activity gives equality for the ordinary positive convergent masks under discussion.

The functional precision set of a subdivision scheme consists of functions exactly recovered from their uniformly sampled data using the scheme's consistent parameter placement. Polynomial precision records the exactly reproduced polynomial space. Sampling-grid spacing and origin must be specified; the usual arbitrary-grid precision requirement uses every spacing and shift, rather than merely membership in the fixed-grid reconstruction space.

Center the given mask at indices $-1,0,1$. Its binary linear interpolatory subdivision rule isEach new control point is either an old point or an edge midpoint. Hence every refined control polygon is the same curve with extra vertices. Starting from scalar impulse data, the limit is explicitlyThe mask width is three positions, its mask span is two, its largest row stencil uses two old control points, and its subdivision arity is two. Translating the mask indexing to $0,1,2$ translates the basic support to $[0,2]$; the support width remains two original grid intervals.

On $[j,j+1]$, reconstruction is $(j+1-t)p_j+(t-j)p_{j+1}$. Constant and affine samples are therefore recovered exactly. A non-affine polynomial cannot agree with a linear expression on a whole open interval. Thus its polynomial functional precision set of a subdivision scheme isFor continuous functions reproduced at every translated sampling grid, the same conclusion holds: agreement with all chord interpolants forces the affine interpolation identity, hence affinity. At one fixed grid, the larger exactly representable class is the space of linear splines with those spline knots; this is not a higher polynomial precision claim.

For arbitrary data, the one-sided derivatives at $j$ are $p_j-p_{j-1}$ and $p_{j+1}-p_j$. They need not coincide. Therefore the generic limit is $C^0$, not $C^1$. Its first derivative is piecewise constant; exceptional affine data, or individual matching neighboring slopes, can be smoother. This conclusion follows directly from the limit formula, not just from a heuristic mask-width test.

Work in the standard class of real constant-coefficient linear multistep methods using only first-derivative evaluations. Writewith ${\alpha }_s\ne 0$. The Dahlquist equivalence theorem states that such a method converges on each fixed finite time interval, for sufficiently regular Lipschitz initial value problems and every set of consistent starting values, if and only if it is consistent and zero-stable. Consistency means $\rho (1)=0$ and ${\rho }^{\prime }(1)=\sigma (1)$. Zero-stability means all roots of $\rho$ lie in $|z|\le 1$ and every root on $|z|=1$ is simple. In particular the consistency root at $1$ is simple.

Taylor expansion of the exact-solution residual gives the exponential-symbol order criterion for a multistep methodThis criterion packages the identities $\sum {\alpha }_j{j}^q=q\sum {\beta }_j{j}^{q-1}$ through $q=p$. We now derive the upper bound on $p$ from the root condition, rather than assuming the first Dahlquist barrier.

Use the Cayley transform $z=(1+x)/(1-x)$ and defineThe simple root at $z=1$ gives $P(0)\ne 0$, while $\mathrm{deg}P\le s-1$ and $\mathrm{deg}S\le s$. Each finite transformed root is $x=(z-1)/(z+1)$, with nonpositive real part when $|z|\le 1$. A possible root at $z=-1$ simply lowers the degree of $R$. Factor $P$ over the reals: a real root contributes $x+a$ with $a>0$, and a conjugate pair contributes $x^2+2ax+a^2+b^2$ with $a\ge 0$. Therefore, after reversing the overall sign if needed,Since $w=2\mathrm{arctanh}x$, the order criterion is equivalent toThe key coefficient sign lemma for the first Dahlquist barrier isHere is a proof of that sign assertion. Direct integration givesDifferentiate twice and pair the terms at $t$ and $1-t$ to obtainThe power series of $\mathrm{arctanh}x$ has positive odd coefficients. The even powers in the hyperbolic cosine therefore have nonnegative coefficients, and $(1-x^2{)}^{-3/2}$ has strictly positive even coefficients. Every even coefficient of $F^{\prime \prime }$ is consequently negative. Also $F$ is even and $F(0)=1$, proving the assertion.

If $s$ is odd and $p\ge s+2$, the coefficient of $x^{s+1}$ in $PF$ must vanish because $\mathrm{deg}S\le s$. But it iswhere out-of-range indices are zero and the sum includes the strictly positive ${\gamma }_{(s+1)/2}{P}_0$. This is impossible, so $p\le s+1$. If $s$ is even and $p\ge s+3$, exactly the same argument with the coefficient of $x^{s+2}$ gives a contradiction. Thus $p\le s+2$ in that case. This proves the Cayley coefficient proof of the first Dahlquist barrier:To prove that the bound is attainable for every $s$, let $L_j$ be the Lagrange polynomials for the nodes $0,1,\dots ,s$, and take $w_j={\int }_0^s{L}_j(t)dt$. The Newton-Cotes multistep methods attaining the first Dahlquist barrier areThe underlying Newton-Cotes closed quadrature is exact on all polynomials of degree at most $s$. For even $s$, the node polynomial $q(t)={\prod }_{j=0}^s(t-j)$ is odd about $s/2$, so ${\int }_0^{s}q(t)dt=0$. Dividing any degree-$s+1$ polynomial by $q$ shows that quadrature exactness extends one degree further. Integrating the exact derivative therefore gives method order at least $s+1$ for odd $s$ and at least $s+2$ for even $s$.

Finally $\rho (z)=z^s-1$ has only simple unit-circle roots, so these methods satisfy the root condition. The weights sum to $s={\rho }^{\prime }(1)$, proving consistency. The Dahlquist equivalence theorem gives convergence with consistent starts; the proved upper bound makes the attained formal orders exact; starting values accurate to those orders also give the corresponding global accuracy. Hence the highest convergent order is $2\lfloor (s+2)/2\rfloor$. This result concerns the stated linear first-derivative class, not unrestricted multiderivative or nonlinear formulas.