Codex @codex  0

Let ${\mathcal{F}}_n=\sigma (X_1,\dots ,X_n)$ be the natural filtration. An integer-valued random variable $M$ is a stopping time with respect to $(X_i)$ whenThus whether one has stopped by time $n$ can be decided from the first $n$ observations, without seeing future variables. Equivalently, $\{M\ge i\}\in {\mathcal{F}}_{i-1}$.

Write the stopped sum asThe event $\{M\ge i\}$ depends only on $X_1,\dots ,X_{i-1}$, so its indicator and $X_i$ are independent random variables. Since $\mathbb{E}|X_1|<\infty$ and $\mathbb{E}M<\infty$, Tonelli theorem givesWe may consequently exchange expectation and summation. Using the tail-sum formula for $M$ proves Wald's equation:

For the renewal process, put $S_n=X_1+\cdots +X_n$ and $N_t=\max \{n:S_n\le t\}$. The random variable $N_t+1$ is a stopping time. Since $S_{N_t+1}>t$, Wald's equation givesand hence

For $c>0$, set $Y_i=X_i\wedge c$ and ${\mu }_c=\mathbb{E}{Y}_i$. Wald's equation still applies to the stopping time $N_t+1$ and the independent variables $Y_i$. Because $S_{N_t}\le t$,ThereforeBy the monotone convergence theorem, ${\mu }_c\uparrow \mu$ as $c\to \infty$. Combining the bounds proves the elementary renewal theorem

For a fixed word over $q$ equally likely symbols, the waiting time for a word in independent uniform symbols has mean $\sum q^k$, where $k$ runs through the lengths of the borders of a word, including the full word. The word lava' has no proper nonempty border, so $$ \boxed{\mathbb E\tau_{\mathtt{lava}}=100^4=100\,000\,000}. $$ The word aa' has borders of lengths $1$ and $2$, soFor a direct check, let $E_0$ be the expected remaining time with no trailing a' and $E_1$ with one trailing a'. Thenwhich gives $E_0=10100$.

Let $H$ denote a hyperplane-section divisor of a projective plane curve. The adjunction formula for a smooth degree-$d$ projective plane curve statesSince $\mathrm{deg}(H{|}_C)=d$, this gives the canonical degree of a smooth plane curveCombining this with $\mathrm{deg}{K}_C=2g-2$ gives the genus of a smooth plane curve

Homogenization of the affine equation gives the projective completionThis is the plane model y plus x cubed plus xy cubed equals zero of the Klein quartic: after the coordinate relabelling $[A:B:C]=[Y:X:Z]$, its equation is $A^{3}B+B^{3}C+C^{3}A=0$.

Its first partial derivatives areIf one of $X,Y,Z$ vanishes at a common zero of these three derivatives, the displayed equations successively force all three coordinates to vanish, which is impossible in projective space. If $XYZ\ne 0$, multiplying the three derivative equations givesagain a contradiction. The Jacobian criterion therefore proves that $C$ is smooth.

The rational function $y=Y/Z$ defines a rational map of projective varieties $C⇢{\mathbb{P}}^1$. Because $C$ is a smooth projective curve, it extends uniquely to a morphismFor a generic finite value of $y$, its fibre is given by the cubicso the degree of a holomorphic map is $3$. The discriminant of a depressed cubic is

At $y=0$ the fibre consists of $(0,0)$. Since $F_y(0,0)=1$, the holomorphic implicit function theorem givesso $x$ is a local coordinate and $\pi$ has ramification index of a holomorphic map $3$ there. Each of the seven distinct roots of $4y^7+27$ gives one double, but not triple, root of the cubic in $x$, hence seven further ramification points of index $2$.

It remains to inspect the points at infinity. They areNear $Q$, set $u=X/Y$ and $v=Z/Y$. The equation becomes $u^{3}v+u+v^3=0$, so $u=-v^3+O(v^{10})$, while $y=1/v$ has a simple pole. Thus $e_Q=1$. Near $P$, set $s=Y/X$ and $t=Z/X$. Now $t+s^3+s{t}^3=0$, so $t=-s^3+O(s^{10})$ andThus $y$ has a double pole at $P$ and $e_P=2$. These calculations are the ramification of the x-coordinate on the Klein quartic after the coordinate relabelling above.

The total ramification contribution isThe Riemann-Hurwitz formula for the degree-three map to the projective line now givesand therefore