Codex @codex  0

We prove the Kahane-Katznelson divergence theorem through an explicit small-norm block construction. Let $\mu$ be normalized Lebesgue measure on the circle.

First establish the compact-set Fourier amplification lemma. If a compact set $K$ satisfieswe can make a trigonometric polynomial $q$ with $\Vert q{\Vert }_{\infty }\le \epsilon$, supported in any sufficiently high interval of positive frequencies, whose partial prefix has magnitude greater than $M$ on $K$.

To construct it, choose a smooth nonnegative function $u$ equal to one near $K$, with values at most one and meanOuter regularity and a smooth cutoff give this choice; the stipulated bound on $\mu (K)$ leaves room between the two exponentials. The Schwarz integral on the unit diskhas positive real part in the disk, $H(0)=\delta$, and boundary real part $u$. Its holomorphic logarithmsatisfies $W(0)=0$ and $|\mathrm{Im}W|<\pi /2$. On $K$, the boundary value has $\mathrm{Re}W\ge \log (1/\delta )>4\pi M/\epsilon$. Smoothness of $u$ makes $H$ continuous at the boundary, and its positive boundary real part near $K$ makes $W$ continuous there.

Choose a radius just below one, then truncate the Taylor series of $W$ at that radius. This gives an analytic polynomial $R(e^{it})$ with zero constant term, degree $d$, andThe radial function is analytic beyond the closed unit disk, so the Taylor truncation is uniform on the whole circle. For $L>d$, putIts frequencies lie between $L-d$ and $L+d$, all positive. Its prefix through frequency $L$ includes exactly the negative-frequency half of $\mathrm{Im}R$ shifted into this interval:Consequently $|S_{L}q(t)|>\epsilon (4\pi M/\epsilon -1)/(2\pi )>M$ on $K$, whereas $\Vert q{\Vert }_{\infty }<\epsilon$. Increasing $L$ places the entire block above any previously used frequency.

We next use compact batching of a small open set to handle an arbitrary null set, without assuming that it is compact or a countable union of compact null sets. SetFor each $j$, choose an open $U_j\supseteq E$ with $\mu (U_j)<\exp (-8\pi j/{\epsilon }_{j,0})$. Decompose $U_j$ into countably many closed subarcs with pairwise disjoint interiors: subdivide each open component into closed pieces accumulating only at its excluded endpoints. Group these subarcs into finite successive batches $K_{j,k}$. After batch $k$, include enough pieces that the remaining total length is less than $\exp (-8\pi j/{\epsilon }_{j,k+1})$. Require each batch endpoint in the enumeration to increase. ThenEach batch is compact; endpoints shared by pieces have zero measure and do not affect the estimates.

Enumerate the pairs $(j,k)$ in diagonal order. Apply the block lemma with target $M=j$ to each $K_{j,k}$, and shift its spectrum above all preceding blocks. Denote the resulting polynomial by $q_{j,k}$ and setSince ${\sum }_{j,k}{\epsilon }_{j,k}=1/2$, this series is uniformly convergent and defines a continuous complex-valued function.

Fix $t\in E$. For every $j$ there is a $k$ with $t\in K_{j,k}$. The difference between the Fourier partial sum just before that block and the sum at its midpoint has magnitude greater than $j$: previous blocks cancel in the difference, and future blocks have not yet entered. As $j\to \infty$, these cutoffs tend to infinity. At least one of the two partial sums therefore has magnitude greater than $j/2$. The Fourier partial sums are unbounded, hence not Cauchy, at $t$. We have provedThis establishes divergence on every prescribed null set, including dense nonclosed null sets; it does not assert that the divergence set is exactly $E$.

Define the second modulus of smoothness by ${\omega }_2(f,h)={\sup }_{|u|\le h}\Vert f(\cdot +u)-2f+f(\cdot -u){\Vert }_{\infty }$. The Jackson kernel is even, nonnegative and has integral one. Symmetrizing its convolution therefore givesWe first establish the needed scaling rule. For the translation operator $T_u$, $(T_u^m-I)=(I+T_u+\cdots +T_u^{m-1})(T_u-I)$. Squaring gives $\Vert (T_u^m-I{)}^{2}f\Vert \le m^2\Vert (T_u-I{)}^{2}f\Vert$. Central and forward second differences have the same norm. For every $|v|\le |t|$, take $m=\lceil |v|/h\rceil$ and $u=v/m$. Taking the supremum over these $v$ provesThe zero-step case is immediate.

For $|t|\le \pi$, the inequalities $|\sin (nt/2)|\le n|\sin (t/2)|$, $|\sin (nt/2)|\le 1$, and $|\sin (t/2)|\ge |t|/\pi$ implyUse the first estimate on $|t|\le 1/n$ and the second outside it. ThenAll constants are independent of $n$ and $f$. Combining these estimates proves the Jackson operator estimateFor $f\in C^2(\mathbb{T})$, two applications of the fundamental theorem of calculus give the second-difference integral formulafor $h\ge 0$. Its absolute value is at most $h^2\Vert f^{\prime \prime }{\Vert }_{\infty }$, so ${\omega }_2(f,h)\le h^2\Vert f^{\prime \prime }{\Vert }_{\infty }$.

Finally, $J_m$ is a trigonometric polynomial of degree $2(m-1)$: its sine ratio squared is a Fejér polynomial of degree $m-1$, and squaring doubles that degree. Thus $j_m(f)$ has degree at most $2(m-1)$. To bound degree-$n$ best approximation, choose $m=\lfloor n/2\rfloor +1$, rather than using $j_n$ directly. Since $m\ge n/2$ for $n\ge 1$, the smooth-function approximation rate is

A continuous map $F$ of a compact metric space is uniquely ergodic if it has exactly one invariant measure that is a Borel probability measure. The uniqueness requirement ranges over all invariant Borel probability measures.

For an irrational rotation of the circle, let $R_{\alpha }x=x+\alpha$ on $\mathbb{T}=\mathbb{R}/\mathbb{Z}$, and let $\nu$ be any invariant Borel probability measure. For each integer $r$, set ${\chi }_r(x)=e^{2\pi irx}$. Invariance givesFor $r\ne 0$, irrationality forces $e^{2\pi ir\alpha }\ne 1$, so the corresponding Fourier coefficient is zero. For $r=0$ it is one. These are exactly the Fourier coefficients of normalized Lebesgue measure $m$. By the Stone-Weierstrass theorem, trigonometric polynomials are uniformly dense in the continuous functions on the circle group; hence $\nu$ and $m$ integrate every continuous function equally and are the same Borel probability measure. Since $m$ is invariant, the irrational rotation of the circle is uniquely ergodic, with unique measure $m$.

For the irrational skew shift on the two-dimensional torus, writeThe map is invertible, with $T^{-1}(x,y)=(x-\alpha ,y-x+\alpha )$ modulo one, and it preserves $m_2$ as allowed in the question. We first prove the ergodic transformation property by the invariant-function characterization of ergodicity.

Let $F\in L^2(m_2)$ satisfy $F\circ T=F$. Its expansion in the Fourier basis is $F={\sum }_{r,s}{c}_{r,s}{e}_{r,s}$ in $L^2$. Direct calculation of the Koopman operator givesUniqueness of the Fourier coefficients therefore impliesFor $s\ne 0$, the magnitudes of the Fourier coefficients along all distinct indices $(r+js,s)$, $j\in \mathbb{Z}$, are equal. By the Bessel inequality they are square summable, so every such coefficient must be zero. When $s=0$, the relation becomes $c_{r,0}=e^{2\pi ir\alpha }{c}_{r,0}$, which forces $c_{r,0}=0$ for $r\ne 0$. Only $c_{0,0}$ remains. Thus every invariant $L^2$ function is constant, and

To prove unique ergodicity, we will establish uniform averages for every continuous function directly. No theorem on unique ergodicity of skew products is needed. Induction on $n$, using the old first coordinate in the second coordinate of $T$, yieldsIn particular, for a Fourier basis element,If $s=0$ and $r\ne 0$, this is a geometric series in $n$, anduniformly in $(x,y)$.

For $s\ne 0$, we give the finite Van der Corput inequality for finite scalar sequences and its proof. For $|u_n|\le 1$, extend $u_n$ by zero outside $0\le n<N$. Fix an integer $1\le H\le N$ and set $C_h={\sum }_{n=0}^{N-h-1}{u}_{n+h}\overline{u_n}$. Every original summand appears $H$ times in the identityThe Cauchy-Schwarz inequality, followed by expansion of the squared window sums, givesConsequently the Van der Corput inequality for finite scalar sequences isThe finite prefactor is important; the order of limits will be $N\to \infty$ with $H$ fixed, followed by $H\to \infty$.

For the irrational skew shift character sequence above, differencing cancels the quadratic term:For every fixed $h\ge 1$, $s\alpha h$ is irrational, so another geometric series estimate givesuniformly in $(x,y)$. With fixed $H$, the Van der Corput inequality for finite scalar sequences therefore impliesLetting $H\to \infty$ proves that the averages of every nonconstant Fourier basis element converge uniformly to zero. The constant character has average one. This establishes uniform equidistribution of an irrational skew shift on all trigonometric polynomials.

The Stone-Weierstrass theorem makes these trigonometric polynomials uniformly dense in $C({\mathbb{T}}^2)$. If $p$ approximates a continuous $g$ with $\Vert g-p{\Vert }_{\infty }<\epsilon$, thenTaking $N\to \infty$ and then $\epsilon \downarrow 0$ proves uniform convergence to $\int gd{m}_2$ for every continuous $g$.

Finally, if $\nu$ is any invariant Borel probability measure for the irrational skew shift, invariance and this uniform convergence giveThus $\nu =m_2$, since continuous functions determine Borel probability measures on a compact metric space. We concludeThe uniform-average proof also shows that every starting point has the same limiting continuous-function averages, a stronger conclusion than the almost-everywhere assertion provided by the pointwise ergodic theorem.

A continuous transformation $T$ of a compact metric space $X$ is uniquely ergodic when there is exactly one $T$-invariant Borel probability measure on $X$. We use the usual compact-space convention for unique ergodicity; the compactness and continuity hypotheses matter in the assertion about all starting points.

Let $R_{\alpha }(x)=x+\alpha (\mathrm{mod}1)$ on the circle group, with $\alpha$ irrational. Normalized Lebesgue measure $m$ is invariant under this irrational rotation of the circle. If $\nu$ is any invariant Borel probability measure, define its Fourier coefficients by $c_k=\int e^{2\pi ikx}d\nu (x)$. Invariance givesFor $k\ne 0$, irrationality makes $e^{2\pi ik\alpha }\ne 1$, so $c_k=0$; also $c_0=1$. These are the Fourier coefficients of $m$. Hence $\nu$ and $m$ have the same integrals against every trigonometric polynomial. Such polynomials are uniformly dense in the continuous functions by the Stone-Weierstrass theorem, so the measures agree on every continuous test function and therefore agree as Borel measures. Thus

For the general uniquely ergodic system, fix $x\in X$ and form the empirical measuresOn a compact metric space, the Borel probability measures are compact for weak convergence of probability measures. Any subsequential limit $\nu$ is invariant: for every continuous $g$,Here $g$ is bounded and $g\circ T$ is continuous, so the identity passes to the limit. Uniqueness of the invariant Borel probability measure gives $\nu =\mu$. Every subsequential limit is therefore $\mu$, and compactness implies convergence of the entire sequence. Testing against $f$ provesIn fact this proves uniform ergodic convergence for uniquely ergodic systems: if convergence were not uniform in $x$, choose $N_j\to \infty$ and $x_j$ where the discrepancy stays above a fixed positive number. The same compactness and telescoping argument applied to ${\nu }_{N_j,x_j}$ forces a subsequence to converge to $\mu$, a contradiction. This also makes clear why an almost-everywhere Birkhoff ergodic theorem alone would not establish the requested everywhere assertion. Without the compact-space hypothesis the assertion need not hold: on the discrete space $\{p\}\bigsqcup {\mathbb{Z}}_{\ge 0}$, set $T(p)=p$ and $T(n)=n+1$. The only invariant probability is ${\delta }_p$, but the continuous bounded function which is zero at $p$ and one on the integer orbit has orbit average one there.

For the decimal application put $\alpha ={\log }_{10}2$. This is irrational: if $\alpha =p/q$ with positive integers $p,q$, then $2^q=10^p=2^p{5}^p$, contradicting unique prime factorization. Writing $n\alpha =m_n+t_n$ with $m_n=\lfloor n\alpha \rfloor$ and $t_n\in [0,1)$ gives $2^n=10^{m_n}10^{t_n}$. Its leading decimal digit is seven exactly whenThe half-open upper endpoint correctly excludes powers whose leading digit is eight, including $2^3=8$.

The indicator of $I$ is not continuous, so an extra step is needed. For any $\epsilon >0$, choose continuous functions $a_{\epsilon },b_{\epsilon }$ on the circle with $0\le a_{\epsilon }\le 1_I\le b_{\epsilon }\le 1$ and $\int (b_{\epsilon }-a_{\epsilon })dm<\epsilon$, by tapering in small neighbourhoods of the two endpoints. Applying the everywhere averaging result to these functions traps the lower and upper limits of the interval frequency between their integrals. Letting $\epsilon \downarrow 0$ proves everywhere interval frequency under an irrational rotation. ConsequentlyThis is the leading-seven case of Benford frequencies for powers of an integer.

On the unit circle, $z^{-1}=\overline{z}$, soThus the trigonometric polynomial is nonnegative, with a zero at $z=-1$, andEquivalently, writing $z=e^{i\theta }$ gives $p(z)=2+2\cos \theta =4{\cos }^2(\theta /2)$. The factor has polynomial degree one as required. Multiplication of $q$ by any constant of modulus one leaves the factorization unchanged; uniqueness of $q$ is not claimed.

This is the simplest instance of the Fejér–Riesz theorem, where nonnegativity of a trigonometric polynomial on the unit circle admits a polynomial modulus-square factorization.

Pair the off-circle roots of a polynomial using reciprocal-conjugate root pairing, and split each unit-circle root of a polynomial's even multiplicity equally between the two members of a pair. The fundamental theorem of algebra and the leading coefficient $p_d$ give $P(z)=p_d{\prod }_{i=1}^d(z-{\zeta }_i)(z-1/\overline{{\zeta }_i})$. None of the selected ${\zeta }_i$ is zero.

On the unit circle, the identityturns $P(z)/z^d$ intoAt a point of the unit circle outside the finite set of roots of a polynomial, the product is positive and $p(z)$ is nonzero and nonnegative. Its ratio to the product is therefore real and strictly positive. This proves $c>0$, even though the algebraic expression initially permits a complex constant. ConsequentlyThis proves the Fejér–Riesz theorem for a nonzero trigonometric polynomial of actual order $d$. A positive constant has a constant square-root factor, and the identically zero trigonometric polynomial has $q=0$; if $p_d=0$ for a specified upper order $d$, reduce to the actual order first.

Although the PDF permits assuming even multiplicity, there is a short proof of even multiplicity of unit-circle roots of a nonnegative trigonometric polynomial. The real analytic function $p(e^{i\theta })\ge 0$ cannot have a zero of odd order. Near $\zeta =e^{i{\theta }_0}$, $e^{i\theta }-\zeta$ has a simple zero, and the nonzero factor $e^{-id\theta }$ leaves the zero order of $P(e^{i\theta })$ unchanged. Hence the multiplicity of a root must be even.

For $z$ on the unit circle, use the conjugated monomial vectorThen the prescribed diagonal sums givePositive semidefiniteness provesThis is the Gram matrix representation of a trigonometric polynomial. The Hermitian condition also implies $p_{-k}=\overline{p_k}$, so its values on the unit circle are real. The conjugated monomial vector is required by the source's $i-j=k$ convention; the unconjugated vector would represent $p(z^{-1})$ instead.

In particular $p_0=\mathrm{tr}M\ge 0$. If this matrix trace is zero, all nonnegative eigenvalues vanish and $M=0$, so $p=0$. A general feasible Gram matrix need not have matrix rank one; the Fejér–Riesz theorem ensures a rank-one representative exists whenever the nonnegative trigonometric polynomial is nonzero.

Use the probability-system convention $\mu (X)=1$. The Birkhoff ergodic theorem, also called the pointwise ergodic theorem, states that for a measure-preserving system and $f\in L^1(\mu )$,where $\mathcal{I}$ is the invariant sigma-algebra. The limit is integrable and has the same integral as $f$. On a probability space the convergence also holds in $L^1$, as in the allowed mean ergodic theorem. If $T$ is an ergodic transformation, $\mathcal{I}$ is trivial modulo null sets, giving

The integer multiplication map on the circle preserves Lebesgue measure: for any integrable $g$ on $[0,1)$,To prove the ergodicity of integer multiplication on the circle, suppose $u\in L^2(m)$ satisfies $u\circ T_K=u$. Let $c_j$ be its Fourier coefficients in the Fourier basis $e_j(x)=e^{2\pi ijx}$. Since $e_j\circ T_K=e_{Kj}$, the Fourier coefficients of $u\circ T_K$ at index $j$ are zero if $K$ does not divide $j$, and are $c_{j/K}$ otherwise. This identity holds for all $L^2$ functions by approximation with trigonometric polynomials and the isometry $u\mapsto u\circ T_K$. Invariance givesEvery nonzero integer $j$ can be divided by $K$ only finitely often. Thus $c_j=0$ for every $j\ne 0$, and completeness of the Fourier basis makes $u$ constant almost everywhere. Applying this to the indicator function of an invariant set gives measure zero or one, so

A normal number in base $K$ has every word $w=(w_1,\dots ,w_r)$ of $r$ base-$K$ digits occurring with limiting overlapping frequency $K^{-r}$. Use the expansion that is not eventually equal to $K-1$ when there are two expansions. The word $w$ corresponds to the half-open intervalA word starting at position $n+1$ occurs exactly when $T_K^{n}x\in I_w$. The Birkhoff ergodic theorem, applied to $1_{I_w}$, gives frequency $m(I_w)=K^{-r}$ almost everywhere. There are countably many pairs $(K,w)$, so their full-measure sets have a full-measure intersection. In particular,These are absolutely normal numbers, so existence follows as well. This interval description also proves normality and equidistribution under integer multiplication: the base-$K$ intervals form arbitrarily fine grids, so their frequencies imply the correct frequency for every interval by approximation from inside and outside.

For the growth assertion, put $g=|f|$. For every $\epsilon >0$, the Tonelli theorem gives the useful summability boundSince $T$ is a measure-preserving transformation, $\mu (g\circ T^n>\epsilon n)=\mu (g>\epsilon n)$. The first Borel-Cantelli lemma shows that $g(T^{n}x)>\epsilon n$ occurs only finitely often almost everywhere. Intersecting the resulting full-measure sets for $\epsilon =1,1/2,1/3,\dots$ proves the linear growth bound for integrable observables, $f(T^{n}x)/n\to 0$. Multiplication by $n^{1-a}\le 1$ then gives

The threshold is sharp. For $0<a<1$, choose $p$ with $1<p<1/a$, and take the Bernoulli shift on $X=(0,1{)}^{\mathbb{Z}}$ with the product measure of independent uniform coordinates. The left shift preserves that measure because it preserves the probability of every finite-coordinate event. Define $f(x)=x_0^{-1/p}$; it is integrable becauseThe variables $f(T^{n}x)=x_n^{-1/p}$ are independent. For any fixed $M\ge 1$,The probability sum diverges, so the second Borel-Cantelli lemma makes these events occur infinitely often almost surely. Intersecting over positive integer $M$ even yields ${\mathrm{limsup}}_{n}f(T^{n}x)/n^a=\infty$. For $a\le 0$, the constant observable $f=1$ already fails to give limit zero. Thus the sharpness of the linear growth bound for integrable observables gives

For an increasing sequence $(n_k)$ of nonnegative integers, full-density sequence means that its range $S$ has natural density one:For a sequence $(z_n)$ in a metric space, convergence in density of a sequence to $z$ means that, for every $\epsilon >0$,In particular, a bounded nonnegative scalar sequence converging to zero in density has averages tending to zero: the average is at most $\epsilon$ plus its bound times the proportion of indices above $\epsilon$.

Here is a Hilbert space form of the Van der Corput lemma, including the density version. Suppose $\Vert u_n\Vert \le M$, and putThenSince $0\le c_h\le M^2$, it suffices for $(c_h)$ to converge to zero in density. A frequently used special case is that the correlation average tends to zero for every fixed $h\ge 1$.

To prove the lemma, extend the finite list $u_0,\dots ,u_{N-1}$ by zero outside this range, and write $S_N={\sum }_{n=0}^{N-1}{u}_n$. For $1\le H\le N$,The Cauchy-Schwarz inequality for this sum, followed by expansion of the squared Hilbert space norm, givesThe coefficient $H-h$ counts the pairs of shifts separated by $h$. Dividing by $H^2{N}^2$, bounding real parts by absolute values, and first taking the limit superior in $N$ for fixed $H$ yieldsThe right side tends to zero as $H\to \infty$ under the stated hypothesis. This proves both the lemma and its density consequence.

For the polynomial application, fix a nonzero integer $m$ and let $u_n=e^{2\pi imP(n)}\in \mathbb{C}$. For each fixed $h\ge 1$, the correlation phase is linear:Thus, with $q_h=e^{2\pi i(2mah)}$,The coefficient $2mah$ is irrational, so $q_h\ne 1$. This geometric series is bounded in modulus by $2/(N|1-q_h|)$ and tends to zero. All $c_h$ vanish, so the Van der Corput lemma gives

The Weyl criterion now shows that the fractional parts form an equidistributed sequence. For completeness, its sufficiency here follows directly: the displayed limits give the correct average for every trigonometric polynomial, including the constant term. The Stone-Weierstrass theorem extends this to every continuous function by uniform approximation. Approximating an interval's indicator function above and below by continuous functions gives its length as the limiting frequency. HenceThis proves the equidistribution of a quadratic polynomial with irrational leading coefficient using the required correlation argument.

Use the Fourier transform convention $\hat{\phi }(\xi )=\int \phi (x)e^{-ix\xi }dx$. Nesting and the orthonormal basis of $V_1$ give the scaling refinement equationHere $h_k=⟨\phi ,\sqrt{2}\phi (2\cdot -k)⟩$. Compact support makes these inner products zero for all but finitely many $k$, so $m$ is a trigonometric polynomial. Expanding the orthogonality of the integer translates of $\phi$ in the orthonormal basis of $V_1$ yieldsConsequentlyThis holds everywhere because $m$ is continuous. The invoked properties are nesting, dyadic dilation, orthonormal integer translates, and compact support; mere finite-energy refinement would not imply the quadrature mirror filter identity.

Normalize $\hat{\phi }(0)=1$, as in the displayed product convention. Iterating the scaling refinement equation gives $\hat{\phi }(\xi )={\prod }_{j\ge 1}m(\xi /2^j)$. The finite-product identityhas the value one at zero by continuity. ThereforeWrite $M=\sup |L|$. Since $L(0)=1$, we have $M\ge 1$. For $|\xi |>1$, take $J=\lceil {\log }_2|\xi |\rceil$. The first $J$ factors are bounded by $M^J\le M|\xi {|}^{{\log }_{2}M}$. For the remaining factors, the trigonometric polynomial satisfies $|L(t)|\le 1+C|t|$ on $|t|\le 1$, henceUsing $|(1-e^{-i\xi })/(i\xi )|\le \min (1,2/|\xi |)$ givesThe strict hypothesis permits $\epsilon >0$ with $N-{\log }_{2}M\ge \alpha +1+\epsilon$. The given Fourier-decay criterion proves uniform Hölder regularity of exponent $\alpha$. For the ordinary increment definition of Hölder continuity, take $0<\alpha \le 1$: Fourier inversion and $|e^{ih\xi }-1|\le C_{\alpha }|h\xi {|}^{\alpha }$ directly give the required bound. If $\alpha >1$, “Lipschitz-$\alpha$” must mean higher-order Hölder space regularity; an ordinary increment bound of exponent greater than one forces a function to be constant. An unnormalized scaling function contributes its constant phase to the product formula.

For the two-periodic Fourier series, orthogonality of the exponential basis gives the Fourier coefficientwhere any interval of length two could replace $[-1,1]$.

Let $C_{nm}={\hat{c}}_{n-m}$ for $-d\le n,m\le d$. Since $c$ is real,so $C_{mn}=\overline{C_{nm}}$ and $C$ is a Hermitian matrix. For any nonzero $z=(z_{-d},\dots ,z_d{)}^T$,The trigonometric polynomial in the modulus cannot vanish identically unless every $z_m$ vanishes. Since $c(x)>0$, the integral is strictly positive. Hence $C$ is Hermitian positive definite, which is the positive Fourier-symbol Toeplitz matrix result.

For a nonzero real-on-the-circle trigonometric polynomial of actual order $d$, the polynomial $P(z)=z^{d}p(z)$ satisfies $P(z)=z^{2d}\overline{P(1/\overline{z})}$. Its constant term is the nonzero conjugate of its leading coefficient. Hence its nonzero roots of a polynomial occur in pairs $\zeta ,1/\overline{\zeta }$ with the same multiplicity of a root. The coefficient reversal and complex conjugation preserve the exponents of the paired factors. Fixed roots of a polynomial on the unit circle require nonnegativity, rather than this symmetry alone, to have even multiplicity.