The vector of Riemann constants is the parameter-independent class obtained from the zeros of $p\mapsto \theta (u(p)-z)$ using the displayed formula. Under this sign convention the theta divisor is $W_{g-1}-\kappa$. It depends on the base point and normalized symplectic marking; some accounts use its negative. Changing the marking or sign convention must also change the translation formula consistently.

If $p\mapsto \theta (u(p)-z)$ is not identically zero, its zero divisor $D_z$ has these properties. The logarithmic derivative changes by $-2\pi i{\omega }_j$ across the paired $b_j$ translation, giving zero count $g$. For a variation of $z$, the logarithm changes there by $2\pi i\delta z_j$; integrating by parts in the first-moment contour integral gives $\delta \mathrm{AJ}(D_z)=\delta z$. Thus the difference is constant. Weighted zero divisors, rather than a distinct-zero assumption, make the statement valid at collisions.

The tangent cone to a theta divisor at a degree-$g-1$ line bundle $L$ is cut out in $H^1({\mathcal{O}}_X)$ by the determinant of $\xi ⌣-:H^0(L)\to H^1(L)$. Under Serre duality its matrix entries are $⟨\xi ,s_i{t}_j⟩$ for bases of $H^0(L)$ and $H^0(K_X\otimes L^{-1})$. For $h^0(L)=1$, its tangent hyperplane is annihilated by the nonzero holomorphic differential form $s_1{t}_1$.

For a square evaluation matrix representing a degree-$g-1$ line bundle $L$, remove an invertible minor of size $N-h^0(L)$. Holomorphic row and column operations leave a square matrix $M$ of size $r=h^0(L)$ with zero constant term. Its linear part in a tangent direction $\xi \in H^1({\mathcal{O}}_X)$ is $\xi ⌣-:H^0(L)\to H^1(L)$. The invertible cup-product direction for a line bundle on a curve makes the leading degree-$r$ determinant nonzero, establishing order exactly $r$ rather than just a lower bound.

The null deviance is the unscaled deviance of the intercept-only mean model relative to the saturated model at a common dispersion parameter $\varphi$, retaining any known generalized linear model offset. It supplies a baseline against which predictor terms improve the fit. Its difference from a fitted model's residual deviance, divided by $\varphi$, is the statistic for a likelihood-ratio test of those added terms, with nuisance parameters handled consistently in both fits. In Poisson and binomial families, $\varphi =1$.

For a torsion Spin-c structure, the relative grading of Heegaard Floer homology lifts canonically to a rational absolute grading, normalized by the bottom plus generator of $S^3$ having degree zero. Multiplication by $U$ has degree $-2$, and a Heegaard Floer cobordism map has degree $(c_1^2-2\chi -3\sigma )/4$. The correction term $d(Y,\mathfrak{s})$ is the lowest grading of the image of $H{F}^{\infty }$ in $H{F}^{+}$ for a rational homology sphere. A pure tower then has bottom plus degree $d$ and top minus degree $d-2$ in the $i<0$ minus convention. Keeping that shift explicit prevents errors of two in surgery and mixed-invariant calculations.

In a strictly cold flow governed by ideal magnetohydrodynamics the sound speed vanishes, so the slow magnetosonic wave speed is zero. A nonzero-speed outflow therefore has no ordinary finite interior slow crossing. For the cold radial magnetohydrodynamic wind integral, $f_y=-\alpha (x-x^{-1}{)}^2/(y-1{)}^3-\beta /(x^4{y}^3)<0$ on the sub-Alfvénic branch $y>1$, assuming $\beta >0$. A small retained specific enthalpy is needed to locate a finite slow point; the zero-temperature limit can move it to the launch boundary. The usual simultaneous numerator and denominator regularity conditions still apply to nondegenerate critical points.

In the reduced theory the product of colors a and b decomposes with multiplicity one into colors c satisfying $|a-b|\le c\le \min (a+b,2r-4-a-b)$ and $a+b+c$ even. These rules follow by iterating $1\otimes j=(j-1)\oplus (j+1)$, with color $r-1$ set to zero. The closure traces give $d_a{d}_b={\sum }_c{N}_{ab}^c{d}_c$, and self-duality makes the multiplicities symmetric in all three colors.

The Jones-Wenzl idempotent recursion decomposes $f_j\otimes 1$ into the orthogonal $f_{j+1}$ and $f_{j-1}$ channels. The Jones-Wenzl partial trace supplies the nonzero scalar normalizing the cap-cup channel. At the highest surviving color the $f_{r-1}$ channel is zero. Induction therefore decomposes every tensor power into the surviving colors. A planar matching between different projected colors has a turnback on the larger side and vanishes; between equal colors only the identity matching remains. Their endomorphism spaces are consequently one-dimensional, and the resulting finite matrix blocks split. Taking direct sums and splitting these idempotents produces a semisimple category, supplying the complete resolutions needed in fusion of Jones-Wenzl colors and the Kirby color handle-slide identity.

A surviving color denotes $j$ parallel framed strands equipped with the Jones-Wenzl idempotent $f_j$. Its closed trace is its quantum dimension. The semisimplicity of the reduced Temperley-Lieb category identifies these colors with the simple objects; their tensor products decompose according to fusion of Jones-Wenzl colors.

For every earlier node and rational cap above its label, an extension at each later level remains below the cap. In the rationally labelled Aronszajn tree construction this reserves space for limit-stage unions. Choosing an intermediate rational and forcing successive values toward it ensures a rational supremum and strictly increasing labels even at limit levels.

For real $w>1$, the finite Rankin–Selberg integral $I(f,f,w)$ has a nonnegative integrand. Tonelli theorem unfolds it without an a priori bound on the Dirichlet series. Integration over $x$ gives ${\int }_0^1|f(x+iy){|}^{2}dx={\sum }_{n\ge 1}|a_n{|}^2{e}^{-4\pi ny}$. A second application of Tonelli theorem gives the finite sum in the displayed identity with $s=w+k-1$. Positivity, rather than analytic continuation alone, proves absolute convergence.

For two level-one weight-$k$ cusp forms, $F(s)=\sum a_n{\overline{b}}_n{n}^{-s}$. Unfolding against the nonholomorphic lattice sum normalized by ${\pi }^{-w}\Gamma (w)$ gives the displayed completion as the integral of $f\overline{g}{y}^k$ against that Eisenstein series. Its functional equation is $\mathcal{R}(s)=\mathcal{R}(2k-1-s)$, and its only possible simple poles are at $k-1,k$. The raw series is obtained by dividing out the gamma and zeta factors, so it does not inherit the same unqualified pole statement; zeros of the denominator zeta factor can yield additional possible poles. The raw series is regular at $k-1$ and can have a simple pole at $k$.

For normalized level-one Hecke eigenforms, let ${\alpha }_p+{\beta }_p=a_p$, ${\alpha }_p{\beta }_p=p^{k-1}$, and similarly ${\gamma }_p+{\delta }_p=b_p$, ${\gamma }_p{\delta }_p=p^{k-1}$. The Hecke multiplication relations give $a_{p^r}=({\alpha }_p^{r+1}-{\beta }_p^{r+1})/({\alpha }_p-{\beta }_p)$, with the repeated-root case obtained by continuity. Multiplying the two expressions and summing four geometric series proves the displayed local factor. Multiplicativity gives an Euler product; multiplying by $\zeta (2s-2k+2)$ cancels its local numerator and produces the degree-four convolution factors.

The displayed qubit quantum channel is completely positive for $0\le q\le 4/3$. Indeed its Pauli channel probabilities are $1-3q/4$ for the identity and $q/4$ for each nonidentity Pauli operator. In the range $q>1$ the coefficient $1-q$ is negative, so the displayed expression is not a convex mixture of the unchanged and maximally mixed states, even though the Pauli representation is a valid random unitary channel. Its Bloch vector is contracted and reversed by the factor $1-q$. The Holevo capacity of a qubit depolarizing channel remains $1-h_2(q/2)$ throughout this interval.

For the quantum depolarizing channel applying the identity with probability $1-p$ and each nonidentity Pauli operator with probability $p/3$, the entanglement-assisted classical capacity is the displayed number of bits per use. Here $H_4$ is Shannon entropy of the four listed probabilities. Its unassisted product-state capacity is $1-h_2(2p/3)$. Both vanish at $p=3/4$. If $q$ instead denotes replacement by $I/2$, then $p=3q/4$ and complete depolarization is at $q=1$. The original entanglement-assisted capacity paper gives the depolarizing-channel formula.

For pure input $|\psi ⟩$, squared quantum fidelity after the bit-flip channel is $(1-p)+p|⟨\psi |X|\psi ⟩{|}^2$. The last factor is the square of the input's Bloch $x$ component. Rotational symmetry of the uniform pure-qubit average gives $⟨r_x^2⟩=1/3$, because $r_x^2+r_y^2+r_z^2=1$. Hence the average squared fidelity is $1-2p/3$. Averaging an unsquared fidelity or over a different ensemble gives a different quantity.

// Target: quantum-mechanics.bigb

In the square-class group of a p-adic field, the unit subgroup consists of classes of even valuation. The unramified subgroup consists of the trivial class and the unique nonsquare class defining an unramified extension of degree two. For odd $p$, the two subgroups coincide with $\{1,u\}$ for a nonsquare unit $u$. For $p=2$, they are $\{1,-1,5,-5\}$ and $\{1,5\}$. Norms from an unramified quadratic local field extension have even valuation, and every unit is a norm. The norm characterization of the quadratic Hilbert symbol therefore gives both displayed annihilator identities. Over ${\mathbb{Q}}_2$, the unramified class is $5$ because $(1+\sqrt{5})/2$ satisfies $T^2-T-1$, whose reduction modulo two is irreducible and separable.

For odd $p$ and p-adic units $u,v$, the quadratic Hilbert symbol isThe Legendre symbols record the two unit square classes. For $p=2$, put $ϵ(u)=(u-1)/2\mathrm{mod}2$ and $\omega (u)=(u^2-1)/8\mathrm{mod}2$. ThenThe basis $-1,2,5$ of the square-class group of the 2-adic numbers gives this formula: its only negative basis pairings are $(-1,-1{)}_2$ and $(2,5{)}_2=(5,2{)}_2$. The first is obstructed by sums of squares modulo four, the second by $x^2-2y^2$ modulo eight; the remaining pairings have explicit field norm representatives.

Use ${\mathrm{ch}}_{q}V={\mathrm{tr}}_V{q}^{2{\rho }^{\vee }}$. The positive roots of a root system of the G2 root system have simple-root heights $1,1,2,3,4,5$. Each root space has dimension one, and the zero weight space has dimension two. ConsequentlyBy the classification of finite-dimensional sl2 representations, restriction to the Principal sl2 subalgebra is $L_{10}\oplus L_2$, of dimensions eleven and three. If the grading uses ${\rho }^{\vee }$ instead, divide every exponent by two.