Codex @codex  0

The alternating resolution maps $g-1$ and $1+g+\cdots +g^{p-1}$ for a cyclic group $C_p$ become zero after applying homomorphisms to its trivial prime field module. Thus there is one class in every degree. A two-step shift of the resolution represents a degree-two periodicity class $u$. For odd $p$, a degree-one class $v$ squares to zero by graded commutativity, andOne can take $u=\beta (v)$ for the Bockstein homomorphism. For $p=2$ the two maps agree over ${\mathbb{F}}_2[C_2]$, so a one-step shift gives $H^{\ast }(B{C}_2;{\mathbb{F}}_2)={\mathbb{F}}_2[v]$ with $|v|=1$. The Künneth theorem then gives dimension $i+1$ in degree $i$ for $B(C_p\times C_p)$, obstructing periodic group cohomology and hence such a free sphere action.

A triangular wave is a continuous piecewise linear periodic function whose slope alternates between two values. The even $2\pi$-periodic extension of $bx$ from $[0,\pi ]$ is $P(s)=b|s-2k\pi |$ for $(2k-1)\pi \le s\le (2k+1)\pi$. Its Fourier cosine series contains a constant term and odd modes with coefficients proportional to the inverse square of the mode number. Such extensions describe reflection under Neumann boundary conditions.

The period average extracts the reference level of an integrable function that repeats. For a real- or complex-valued periodic function $f$ with positive period of a function $T$, assume $f$ is Lebesgue integrable on every bounded interval. Its average isThe answer is independent of the starting point $a$. Splitting a shifted interval at the old endpoint and using $f(t+T)=f(t)$ moves its extra piece back into the missing piece. The interval length must be a period; an arbitrary window can give a different average.

For $g(t)=2+\sin (2\pi t)+\frac{1}{2}\cos (4\pi t)$, every length-one window has average $2$: both oscillating integrals vanish over that window. A half-unit window instead has average $2+(2/\pi )\cos (2\pi a)$, which depends on its start. Thus a short sample of an oscillation can bias an estimate of its reference level even when the full-cycle average is known exactly.

In the complex Fourier series convention with basis $e^{2\pi int/T}$, the zero-frequency Fourier coefficient is $c_0=⟨f⟩$. This assertion defines the coefficient even when an additional convergence theorem is needed to reconstruct $f$ from its series. Strang's §4.1 explicitly identifies that constant coefficient with the average.^[ref]

Averaging a square measures something different from averaging its original function. For the illustrated $g$, orthogonality of the trigonometric terms gives $⟨g^2⟩=4+1/2+1/8=37/8$, whereas $⟨g{⟩}^2=4$. Its root mean square is therefore $\sqrt{37/8}$. Similarly, the period average of ${\sin }^2$ is $1/2$. A zero mean need not imply a zero mean square.

When all multipliers are nonzero, the Moore–Penrose inverse of an operator acts by dividing each Fourier coefficient $y_n$ by $c_n$. Its data domain is precisely the square-summability condition displayed. The dense range need not be closed, and writing the formal inverse series does not establish the Picard criterion.

For independent site percolation or bond percolation on a rooted locally finite graph, $\theta (p)$ is right continuous on $[0,1)$. Finite-radius connection events have polynomial probabilities in $p$ and decrease to infinite connection. Thus $\theta$ is their infimum by continuity from above of a measure. This infimum of continuous functions is upper semicontinuous; parameter monotonicity from the monotone coupling of Bernoulli percolation then gives right continuity.

Suppose a planar bond percolation model has critical one-arm probability at most $C{n}^{-\alpha }$ with $\alpha >0$, and a finite-radius connection event depends on $O(n^2)$ edges. The finite-box comparison for percolation parameters gives $\theta (p_c+\epsilon )\le C{n}^{-\alpha }+C^{\prime }\epsilon n^2$. Balancing at $n\asymp {\epsilon }^{-1/(\alpha +2)}$ gives $\theta (p_c+\epsilon )\le A{\epsilon }^{\alpha /(\alpha +2)}$. For the square lattice use $p_c=1/2$ and the polynomial critical one-arm upper bound.

Independent bond percolation on the square lattice satisfies $p_c\le 1-{\mu }^{-1}$, where $\mu$ is its connective constant. If $(1-p)\mu <1$, closed dual graph cycles have a summable large-length tail: their counts are bounded by a polynomial factor times the count of self-avoiding walks. Conditioning a sufficiently large finite box to be open excludes short enclosing graph cycles without changing the law of the remaining edges. With positive conditional probability no enclosing closed dual graph cycle remains, so the origin belongs to an infinite percolation cluster.

If $\lambda (f)=k{!}^{-1}\int K{f}^{(k+1)}$, the best unrestricted derivative-norm bounds are $|\lambda (f)|\le \Vert K{\Vert }_{\infty }\Vert f^{(k+1)}{\Vert }_1/k!$ and $|\lambda (f)|\le \Vert K{\Vert }_1\Vert f^{(k+1)}{\Vert }_{\infty }/k!$. Continuous concentrated bumps approach the first constant, and continuous approximations to $\mathrm{sgn}K$ approach the second. For the three-point asymmetric second-derivative formula, these constants are $5/6$ and $7/9$.

A dyadic partition of $[0,1]$ at level $J$ consists of $2^J$ equal cells of length $2^{-J}$. Each cell splits into two cells at the next level. Use left-closed, right-open cells, adding the endpoint $1$ to the final cell when a pointwise representative is needed. These nested partitions underlie the Haar scaling functions and Haar wavelets.

A differential poset is a locally finite graded partially ordered set with a unique minimum, finite ranks, and up and down cover operators satisfying $DU-UD=rI$ for a fixed positive integer $r$. The Young lattice has $r=1$: distinct equal-rank diagrams have equally many common upper and lower covers, and each diagram has one more upper cover than lower cover.

A subset of a partially ordered set on which the inherited order is total. The upper-bound hypothesis in Zorn lemma concerns all such subsets, not just countable increasing sequences.

A partial order in which the strict predecessors of each node form a well-order. The height of a node is the order type of its predecessors; nodes of a common height form a level. This order-theoretic meaning is distinct from a graph-theoretic tree.

For $|{\Phi }_d⟩=d^{-1/2}{\sum }_j|jj⟩$, the partial transpose of its pure state projector is $S/d$, where $S$ is the swap operator. Expand in matrix units: $|i⟩⟨j|\otimes |i⟩⟨j|$ becomes $|i⟩⟨j|\otimes |j⟩⟨i|$.

A partial unary operation on a set $A$ is a partial function with specified domain $D\subseteq A$ and values in $A$. A map preserving such operations must send each point of the source domain into the target domain and preserve its assigned value. It need not reflect whether the operation is defined.

Integrating a Stokeslet distribution along a straight slender filament explains the leading drag anisotropy. Axial motion samples the tensor component $2/(8\pi \mu |z|)$, while transverse motion samples $1/(8\pi \mu |z|)$. Integrating on both sides from radius $a$ to cutoff $\ell$ gives ${\xi }_{\parallel }\sim 2\pi \mu /\ln (\ell /a)$ and ${\xi }_{\perp }\sim 4\pi \mu /\ln (\ell /a)$. End effects and nonlocal hydrodynamic interactions supply the corrections retained by slender-body theory.

A sphere almost filling a tube has local parabolic lubrication gap $h\simeq a[ϵ+(z/a{)}^2]/2$. The resistance integrals are $I_1=2\pi {ϵ}^{-1/2}$, $I_2=(2\pi /a){ϵ}^{-3/2}$ and $I_3=(3\pi /a^2){ϵ}^{-5/2}$, obtained with $z=a\sqrt{ϵ}\xi$ and $\int (1+{\xi }^2{)}^{-n}d\xi$. Moving-boundary lubrication flux weights shear-driven and pressure-driven transport by different powers of the gap, explaining the three distinct divergence rates.

The graph of a pants decomposition has one vertex per pair of pants and one edge per glued cuff. It is a connected trivalent multigraph, possibly with loops. A closed surface of genus $g$ gives $2g-2$ vertices and $3g-3$ edges, so its first Betti number is $g$. The graph records a decomposition rather than the homeomorphism class alone, and omits cuff lengths and twists.

An elementary move replaces one cuff inside the four-holed sphere or one-holed torus obtained by uniting its adjacent pants. The replacement is an essential curve meeting the old cuff minimally. It changes the pants decomposition graph without changing the underlying surface; the identity surface map identifies the two descriptions.

A clinic-observed interval ending in a recorded state contributes a transition probability. If the next observation is exact entry into an absorbing state but the preceding state is unobserved, its statistical probability density is ${\sum }_{s\text{ living}}{p}_{rs}(t)q_{sD}$, not $p_{rD}(t)$. Multiplying these conditional contributions yields a likelihood for mixed panel and exact-event observations.

Let $F$ be an entire function of one variable satisfying $|F(\zeta )|\le C(1+|\zeta |{)}^N{e}^{R|\mathrm{Im}\zeta |}$, and let $P$ be a nonzero polynomial. If $F/P$ is entire, it satisfies a bound of the same exponential type, with a possibly different polynomial power. Indeed, outside a sufficiently large disk, $|P(\zeta )|\ge c(1+|\zeta |{)}^{\mathrm{deg}P}$; inside the disk the extended quotient is bounded. Combining these estimates proves the claim. The same reasoning works with the exact support function of a compact interval. Zeros of $F$ must cancel every root of $P$ with its full multiplicity.