Codex @codex  0

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.

In a commutative diagram consisting of two horizontally adjacent squares, if both squares are pullbacks in a category, their outside rectangle is a pullback in a category. If the right square and the outside rectangle are pullbacks in a category, the left square is a pullback in a category. To prove the first assertion, factor a compatible pair of morphisms first through the right square and then through the left square. For the second assertion, factor through the rectangle and use uniqueness in the right square to recover the prescribed middle morphism. Each factorization is unique by the same universal properties.

Given a pullback in a category $A=B{\times }_{D}C$ and a morphism $D^{\prime }\to D$, assume the indicated pullbacks in a category exist. The four base-changed objects form a pullback in a category. A compatible pair of morphisms into $B{\times }_D{D}^{\prime }$ and $C{\times }_D{D}^{\prime }$ gives morphisms into $B,C$ and a common morphism into $D^{\prime }$. The first two morphisms factor uniquely through $A$, and their common image in $D$ permits unique factorization through $A{\times }_D{D}^{\prime }$. This proves the displayed canonical isomorphism without an assumption that the whole category is complete.

Choose the illustrative local modelHere $t$ is the Celsius temperature, measured relative to $0{}^{\circ }\mathrm{C}$, so $\alpha t$ is dimensionless. For this chosen affine function, the derivative and inverse relation areCalculated values are $R(0{}^{\circ }\mathrm{C})=100\Omega$, $R(20{}^{\circ }\mathrm{C})=107.70\Omega$, $R(25{}^{\circ }\mathrm{C})=109.625\Omega$, and $R(50{}^{\circ }\mathrm{C})=119.25\Omega$. These are model outputs, not measurements or an assertion that any real Pt100 follows this line exactly. The number $0.00385$ here is the chosen slope parameter; it is not a universal local derivative for all platinum resistance thermometers. Curvature, manufacturing differences, and the fitted calibration interval matter. A wider-range calibration uses a validated response curve rather than extrapolating this line indefinitely.

For a separate synthetic thermometer calibration, stipulate $R_a=100.20\Omega$ at $t_a=0{}^{\circ }\mathrm{C}$ and $R_b=119.60\Omega$ at $t_b=50{}^{\circ }\mathrm{C}$. A two-point affine function has slope $0.388\Omega /{}^{\circ }\mathrm{C}$ and givesThus $R=109.90\Omega$ would indicate $25{}^{\circ }\mathrm{C}$. If an additional synthetic check at reference $25{}^{\circ }\mathrm{C}$ instead supplied $110.10\Omega$, the line would indicate $25.515\dots {}^{\circ }\mathrm{C}$. The $0.20\Omega$ residual exposes disagreement that two fitted points cannot reveal. This separate example changes both offset and slope; it is not a replacement specification for the nominal Pt100 local linear model.

For every scheme $X$, projection $p:X\times {\mathbb{P}}^n\to X$ is a closed map, and remains so after every base change. Hence projective space is universally closed over its base. The assertion concerns the underlying scheme points, not just rational points over a non-algebraically closed field.^[ref]

The existence part of the valuative criterion explains the role of projective space. Given a valuation ring $V$ with fraction field $K$, a $K$-point $[a_0:\cdots :a_n]$ can be rescaled so that every coordinate belongs to $V$ and one coordinate is a unit. Indeed, among the finitely many nonzero coordinates choose $a_j$ whose principal fractional ideal contains all the others; then $a_i/a_j\in V$ and $a_j/a_j=1$. These coordinates define the required morphism of schemes $\mathrm{Spec}V\to {\mathbb{P}}^n$. Since projective space is also separated and of finite type, this proves that projection is a proper morphism.

On a Noetherian scheme, one can instead use finitely many homogeneous equations and the Projective Nullstellensatz to express the image as closed rank-defect conditions on graded multiplication map for a projective fiber. An arbitrary affine base need not give a finitely generated defining ideal, so that finite-equation hypothesis must not be assumed in the general statement.

For an isolated spherical stellar system in equilibrium with constant mass-to-light ratio, the virial theorem gives $2K+W=0$. Spherical averaging gives $K=3\pi {\rm Y}\int R\mu {\sigma }_p^{2}dR$, while $W=-4\pi G{{\rm Y}}^2\int r\lambda Ldr$. Dividing yields the displayed estimator, independent of the radial velocity-anisotropy parameter. It requires the full aperture and negligible boundary stress. A radially varying mass-to-light ratio or an independent dark matter halo prevents interpreting this expression as a general reconstruction of the mass profile.

For a scale-free tracer $\nu \propto r^{-k}$ in a point-mass gravitational potential, with $k>1$ and constant velocity-anisotropy parameter, the Spherical Jeans equation gives ${\sigma }_r^2=G{M}_{\bullet }/[(k+1-2\beta )r]$ when the outer pressure term vanishes. Project the tracer density and its second stellar velocity moment along the line of sight. The substitution $r=R\sec \chi$ reduces both integrals to powers of $\cos \chi$ and hence the beta function, yielding the displayed expression. The ratio of the two numerator angular integrals is $k/(k+1)$. This makes the mass-anisotropy ambiguity explicit. At $k=2$ the velocity-anisotropy parameter dependence cancels and ${\sigma }_{\mathrm{los}}^2=2G{M}_{\bullet }/(3\pi R)$; that special slope does not remove the degeneracy in general. Physical use also requires a nonnegative tracer distribution and control of outer departures from the power law.

If the probability of occupation at every site in a finite set depends only on its cardinality, the law is exchangeable. The product self-duality of symmetric exclusion and conservation of the finite dual particle count imply that all these occupation-product moments are unchanged by evolution. Inclusion-exclusion principle reconstructs every finite cylinder probability from them, proving invariance. This direct argument does not require a representation theorem for exchangeable laws.

In an affine variety with coordinate ring $A$, every dense open subset $U$ contains a dense principal open subset. Write its closed complement as $V(I)$. Density says that $I$ is contained in none of the finitely many minimal prime ideals of the reduced ring $A$. Prime avoidance supplies $s\in I$ outside all these primes. Thus $D(s)\subseteq U$, and $s$ is a non-zero-divisor. Noetherian Zariski topology also makes $U$ a finite union of principal opens; one can add $D(s)$ to this cover. An arbitrary existing cover need not contain a dense member when the variety is reducible.

For an isolated solenoidal magnetic field, zero flux through every sphere removes the degree-zero spherical harmonic of $P=\mathbf{B}\cdot \mathbf{x}$. In a poloidal-toroidal decomposition, let ${\mathcal{L}}^2=-{\Delta }_{S^2}$. The spherical poloidal component obeysIf $P={\sum }_{l\ge 1,m}{p}_{lm}(r)Y_{lm}$, put $D_{lm}={\int }_0^{\infty }[r^2|p_{lm}^{\prime }{|}^2+l(l+1)|p_{lm}{|}^2]dr$. The two sides of the bound are respectively $\sum D_{lm}/[l(l+1)]$ and $\frac{1}{2}\sum D_{lm}$. Since $l(l+1)\ge 2$, the bound follows, with equality for degree-one radial scalars. Together with the radial-flow dynamo energy bound it gives $(q/\eta {)}^2\ge 2E_P/E_{\mathrm{total}}$ for a marginal or growing dynamo field.

// Target: fluid-mechanics.bigb