The positive operator in the polar decomposition $S=J{\Delta }^{1/2}$ of the Tomita operator. In a matrix-algebra standard representation with cyclic vector $D>0$, it is $\Delta (X)=D^{2}X{D}^{-2}$. For a tracial vector it is the identity.

Under cooperative initial memories, matches involving only Tit for tat and always cooperate contain only cooperation, so all four payoffs equal $R$. The two-condition criterion for evolutionary stability has both differences zero. Thus Tit for tat is not an evolutionarily stable strategy against a strategy space containing unconditional cooperation, even if it is a Nash equilibrium. This counterexample is valid for finite horizons and discounting as well as infinite averages.

For a reactive resident $(p,q)$ with $|p-q|<1$, let $z=q/(1-p+q)$ and $g(z)=R{z}^2+(S+T)z(1-z)+P(1-z{)}^2$. Its self-payoff and both ordered cross-payoffs against Tit for tat equal $g(z)$. At introduced Tit for tat frequency $ϵ$, its fitness difference is therefore the displayed expression. If $2R\ge S+T$, it is positive for $z<1$ because $R-g(z)=(1-z)[R-P+(R+P-S-T)z]$. Fully cooperative reached histories tie; the deterministic opposite-response strategy needs a separate cycle calculation. Initial advantage is order frequency rather than a positive invasion exponent at zero.

For independent channel bit flips of probability $p$ and the specified extraction fault of probability $q$, require recovery of an arbitrary input in the original encoded subspace. Every extraction-fault event leaves nonzero error syndrome; without that fault, channel errors are corrected exactly at weight zero or one. Thus success probability is $(1-q)[(1-p{)}^3+3p(1-p{)}^2]$. Compared with a single unencoded bit-flip channel, strict improvement for $0<p<1/2$ requires $q<p(1-2p)/[(1-p)(1+2p)]$. A different decoder or an added later ideal recovery changes the performance criterion and must be specified separately.

If no directed routing path returns from $k$ to $j$, the set of colonies reachable from $k$ has no outgoing edge to its complement. The complement is an autonomous open migration process, and the marked $j\to k$ transition is an exit from it. In time reversal of an open migration process, that exit is a state-independent Poisson immigration channel of rate ${\alpha }_j{p}_{jk}$. Reversing a stationary two-sided Poisson process preserves its law, proving the forward stream is Poisson. This argument does not assert Poisson internal streams for networks with feedback.

An integer interval is a disjoint union of aligned binary blocks with at most two of each length. On $[a{2}^j,(a+1)2^j)$ the Thue–Morse sequence sign factors as $f(a)f(r)$, so the Thue–Morse Fourier product bounds its exponential sum by $O(2^{\sigma j})$. Sum the geometric series over block lengths to obtain the uniform bound, for $\sigma =2-\frac{3}{4}{\log }_{2}3$.

Let $P$ be a once-punctured torus and let $c$ be a nonseparating essential curve. The annulus $c\times [0,1]$ is an incompressible surface in $P\times [0,1]$. Cutting gives a pair of pants times an interval. Both products are genus-two handlebodies, since a compact connected surface with boundary times an interval is a handlebody of genus $1-\chi (P)$.

In an orientable irreducible three-manifold, an incompressible cut is fundamental group-injective by the Loop theorem. Lift a three-manifold hierarchy to the universal cover. The terminal ball pieces are contractible and their gluing surfaces have contractible universal covers. The incidence graph is a tree, by the van Kampen theorem normal form for successive cuts. Finite subtrees are contractible by successively attaching a terminal piece along a contractible intersection. Every sphere map has compact image contained in a finite subtree, so all higher homotopy groups of the universal cover vanish.

A map between compact connected orientable irreducible 3-manifolds with nonempty boundaries, injective on the boundary and on the fundamental group, is homotopic to a homeomorphism relative to the boundary. The boundary determines degree $\pm 1$, and the cover corresponding to the image of the fundamental group consequently has one sheet. Straighten the preimage of an incompressible hierarchy surface, cut both manifolds, and repeat. At the terminal balls, extend the prescribed boundary homeomorphisms by coning. The homotopies and homeomorphisms glue across the straightened surface collars.

For $W$ started at a point of radius one, its radial process has the law of the inverse-clock process $e^{B_{J_t}+J_t/2}$, where $J$ inverts $H_s={\int }_0^s{e}^{2B_r+r}dr$. The logarithmic growth of an exponential Brownian clock with positive drift gives $\log H_s/s\to 1$, whereas $\log (e^{B_s+s/2})/s\to 1/2$. Substituting $s=J_t$ proves the displayed almost sure escape rate and divergence of the radius. Independently, Brownian scaling gives the same rate in probability; if an almost sure logarithmic rate is already known to exist, that identifies its value.

For an $h$-oriented rank-$r$ real vector bundle, its Thom class restricts on each fiber to the suspension of the coefficient unit under the oriented identification $h^r(D^r,S^{r-1})\cong h^0(\mathrm{pt})$. Cup product with this class gives the Thom isomorphism. The associated Euler class in a generalized cohomology theory is the pullback along the zero section after forgetting relative supports.

// Target: geometry-and-topology.bigb

An oriented normal bundle of a compact embedded submanifold has a Thom class. A tubular neighborhood and excision identify it with a relative class in $H^d(X,X\setminus Y)$. Its image in absolute cohomology is ${\epsilon }_Y$. It restricts to zero off Y and, in an oriented closed ambient manifold, represents the Poincare dual of Y with the normal-first induced orientation.

The logarithmic derivative is periodic under one and decreases by $2\pi i$ under tau. Integrating around a fundamental cell and applying the argument principle counts exactly one zero, with multiplicity. The displayed zero follows from translating the zero of $\theta [0,0]$ at $(1+\tau )/2$. It is consequently simple. For half-integer characteristics only the odd characteristic $(1/2,1/2)$ vanishes at the origin; the other three theta constants are nonzero.

Normal convergence allows termwise differentiation of the defining theta function with characteristics. A tau derivative multiplies a summand by $\pi i(n+\alpha {)}^2$, while its second spatial derivative multiplies it by $-4{\pi }^2(n+\alpha {)}^2$. This proves the displayed heat equation, linking its lattice-sum construction with diffusion and analytic continuation.

Translation of tau by one gives $\theta [\alpha ,\beta ](z,\tau +1)=e^{-\pi i\alpha (\alpha -1)}\theta [\alpha ,\beta +\alpha -1/2](z,\tau )$. Gaussian Poisson summation gives $\theta [\alpha ,\beta ](z/\tau ,-1/\tau )=\sqrt{-i\tau }{e}^{\pi i{z}^2/\tau +2\pi i\alpha \beta }\theta [\beta ,-\alpha ](z,\tau )$. The square root is the holomorphic branch positive at tau=i. These formulas keep the characteristic phase, which is lost if one states only the transformation of unshifted theta constants.

For the binary characteristic convention, each theta function with characteristics has one simple zero per lattice cell. The four zeros of the numerator, at the four half-periods, cancel those of ${\vartheta }_{11}(2z)$. Their quotient is an entire elliptic function, hence constant. Taking the limit at zero determines the factor one half. The product identity remains valid at the zeros, where the initial quotient requires removable extension.

Use the radian spatial convention ${\theta }_3(z,\tau )={\sum }_n{e}^{\pi i{n}^2\tau +2inz}$ and ${\theta }_4(z,\tau )={\theta }_3(z+\pi /2,\tau )$. Their ratio is unchanged by $\pi$ and changes sign under $\pi \tau$. The numerator has simple zeros at $\pi (1+\tau )/2+\pi \mathbb{Z}+\pi \tau \mathbb{Z}$, while the denominator has simple zeros at $\pi \tau /2+\pi \mathbb{Z}+\pi \tau \mathbb{Z}$. The two sets are disjoint, so any period must lie in $\pi \mathbb{Z}+\pi \tau \mathbb{Z}$, by translating the zero set. The sign rule then gives the displayed exact lattice. Squaring the ratio removes that sign and has precisely the smaller lattice $\pi \mathbb{Z}+\pi \tau \mathbb{Z}$.

A theta function with characteristics evaluated at spatial argument zero. Its dependence on $\tau \in \mathbb{H}$ remains holomorphic. Among the four half-integer characteristic choices, the odd one vanishes identically, whereas the three even constants are nonzero on the half-plane. The zeros of theta functions with characteristics locate their spatial zero away from the origin. Ratios of equal powers of even constants yield the modular lambda function and other modular-invariant functions.

An activity coefficient expresses departure from a chosen ideal-mixture activity convention. In a concentration-based convention,The thermodynamic activity $a_i$ and coefficient ${\gamma }_i$ are dimensionless; $c^{\circ }$ is the standard concentration. The reference convention fixes which ideal or limiting state has ${\gamma }_i=1$. A mole-fraction convention uses a different ideal activity and must not be mixed silently with the concentration convention.^[ref]

Substituting activities into an equilibrium constant separates concentration ratios from interaction corrections. For $AB\rightleftharpoons A+B$, the correction contains ${\gamma }_A{\gamma }_B/{\gamma }_{AB}$. Changing composition can therefore change an observed concentration quotient even when the thermodynamic constant at fixed temperature and reference state is unchanged. An activity coefficient can be greater or less than one; it is not a fraction of molecules assigned to an active population.

At $D=2$ and $n>2$, the weak-coupling renormalization-group flow obeys $dg/d\ell =(n-2)g^2/(2\pi )$. Integrating gives $1/g(\ell )=1/g_0-(n-2)\ell /(2\pi )$. The flow reaches order-one coupling at a length whose logarithm is $2\pi /[(n-2)g_0]+O(1)$ at this order. Restoring the microscopic scale ${\Lambda }^{-1}$ gives the displayed leading exponential correlation length. Higher loops affect its prefactor, and this conclusion does not apply to the compact $n=2$ model with its Berezinskii–Kosterlitz–Thouless transition.