For radial SLE at parameter two, the normalized slit-domain Poisson kernel at the growing tip is a local martingale. This observable provides the coupling to loop-erasure of planar Brownian motion, oriented from the boundary point to the interior target. Its discrete counterpart is a loop-erased random walk.

In $\mathcal{E}/\Omega$, the generic truth mono $\top :1\hookrightarrow \Omega$ defines a quasi-closed Boolean subtopos. Its composite to $\mathcal{E}$ is surjective. If a predicate $p(x)$ pulled back from $\mathcal{E}$ becomes dense, then $((p(x)\Rightarrow u)\Rightarrow u)=1$ for the generic truth $u$. Substitution $u=p(x)$ yields $p(x)=1$, proving reflection of invertible monos and hence faithfulness.

The quartic double-well instanton has $L_I=-{\partial }_{\tau }^2+{\omega }^2[1-3{\mathrm{sech}}^2(\omega \tau /2)/2]$. For a positive regulator $\epsilon$ and $r=2\sqrt{1+\epsilon /{\omega }^2}$, the common infinite-line determinant ratio is $(r-1)(r-2)/[(r+1)(r+2)]$. Its zero-mode factor is $\epsilon /(12{\omega }^2)$ to leading order, giving the displayed primed ratio. Therefore the instanton fluctuation prefactor is $K=\omega \sqrt{6S_I/(\pi \hslash )}$ and the double-well tunneling splitting is $2\hslash K{e}^{-S_I/\hslash }$.

A zero-temperature energy-relaxation channel transfers the excited population of a qubit to its ground state. Its Kraus operators are $A_0=\mathrm{diag}(1,\sqrt{1-p})$ and $A_1=\sqrt{p}|0⟩⟨1|$ for $0\le p\le 1$. They satisfy ${\sum }_j{A}_j^{†}{A}_j=I$. The excited population is multiplied by $1-p$ and coherences by $\sqrt{1-p}$. For nonzero $p$, it is not a unital quantum channel.

Let $X$ be a continuous martingale on $[0,1]$ with $X_0=0$ and $|X_t|\le C$. For the dyadic squared-increment sums, including the unfinished increment at time $t$, set $A_t^{(n)}={\sum }_k(X_{k{2}^{-n}\wedge t}-X_{(k-1)2^{-n}\wedge t}{)}^2$. The associated martingale transform $M_t^{(n)}=(X_t^2-A_t^{(n)})/2$ satisfies $\mathbb{E}(M_1^{(n)}{)}^2\le C^4$ and $\mathbb{E}(A_1^{(n)}{)}^2\le 10C^4$. Discrete martingale orthogonality, the path modulus of continuity and the Cauchy-Schwarz inequality show that the terminal transforms are Cauchy in $L^2$. The Doob L2 maximal inequality then gives $\mathbb{E}{\sup }_{t\le 1}|A_t^{(n)}-A_t^{(m)}{|}^2\to 0$. The sums need not be increasing in time before taking the limit. This provides an elementary construction of quadratic variation under boundedness.

Let $X_i$ be an independent and identically distributed sample from probability density function $f$, take $n\ge 2$ and $b>0$, and write $L_b(x)=b^{-1}L(x/b)$. Assume the kernel for density estimation $L$ has square-integrable second derivative. DefineThis U-statistic obeys $\mathbb{E}{\hat{J}}_{2,b}=\Vert (L_b\ast f{)}^{\prime \prime }{\Vert }_2^2$ whenever differentiation and the displayed integrals are justified. Under the usual convolution regularity this is $\Vert L_b\ast f^{\prime \prime }{\Vert }_2^2$.

The exact relation to the second derivative kernel density estimator isIndeed, expand the square into ordered pairs; its diagonal terms are all $A(0)=\Vert L^{\prime \prime }{\Vert }_2^2$. Both subtracting this diagonal and changing the normalization from $n^2$ to $n(n-1)$ are needed for the displayed U-statistic. This removes the diagonal sampling contribution, while retaining smoothing bias of an estimator relative to $\int (f^{\prime \prime }{)}^2$. The corrected value can be negative in a finite sample even though its target is nonnegative.

The odd particle variables form an even antisymmetric tensor through their bilinear. Adding it to orbital angular momentum gives a conserved Lorentz Noether charge. The particle and odd-variable equations make the two time derivatives cancel. After spinning-particle Dirac quantization, the bilinear becomes the spinor Lorentz generator rather than an ordinary commuting classical spin vector.

Quantizing the odd Dirac brackets yields $\{{\hat{\zeta }}^m,{\hat{\zeta }}^n{\}}_{+}={\eta }^{mn}$. The constraint $p\cdot \zeta =0$ is then the massless Dirac equation on a spinor. Its square enforces $p^2=0$, matching the even constraint. The spin bilinear is represented by $-i[{\gamma }^m,{\gamma }^n]/4$ in this action convention.

In a pointed category with categorical kernels and categorical cokernels, where every monomorphism is normal, every $h$ factors through $i=\ker (\mathrm{coker}h)$ as $h=ie$, with $e$ a pseudo-epimorphism. If $te=0$, write $k=\ker t$. Then $e$ factors through $k$, and the monic $ik$ is a categorical kernel of some $q$ by normality. Since $qh=0$, the cokernel of $h$ forces $qi=0$. Hence $i$ factors through $ik$, forcing $k$ to be an isomorphism and therefore $t=0$. This establishes the factorization without assuming the stronger abelian category axioms.

An effective Proton–proton chain network can track protons, deuterium, helium-3, helium-4 and lithium-7 after eliminating a rapidly adjusting beryllium intermediate. Identical-reactant event rates include a factor one half. Stoichiometric changes must count both helium-4 products of lithium-7 proton capture. The weighted baryon mass density $n_1+2n_2+3n_3+4n_4+7n_7$ is conserved by the nuclear reactions at fixed volume.

Present solar hydrogen is most depleted in the central burning region and rises toward the envelope. helium-3 is efficiently destroyed in the hot centre, increases outward as its equilibrium abundance rises, and develops an off-centre maximum where equilibration becomes slow. Still farther out its production becomes weak, leaving a smaller envelope abundance. Convective mixing tends to flatten the outer profiles. This qualitative pattern is not itself a quantitative solar model.

Relative to a consistent propositional theory $T$, a nonprincipal propositional type has no formula consistent with $T$ that implies every member modulo $T$. Equivalently, for each finite condition $\theta$ consistent with $T$, some member $\sigma$ leaves $T\cup \{\theta ,\neg \sigma \}$ consistent. This is the local omission condition for the extended omitting types theorem for propositional logic.

If a consistent propositional theory locally omits every member of a countable family of propositional types, it has a Boolean valuation omitting them all. One may also impose any finite condition consistent with the theory. Successively extend the condition by a negated member of the next type; local omission preserves consistency. The propositional compactness theorem then supplies the valuation. Countability of the ambient language and decidability of consistency are not needed for this argument.

Suppose a nonconstant morphism of varieties $f:X\to Z$ has fiber $Y$ over $z_0$, where $X$ is normal, connected and projective. Choose an affine neighborhood $U$ of $z_0$ and a regular function on $U$ nonconstant on $f(X)\cap U$. Its pullback is a nonconstant rational function on $X$, so its pole Weil divisor is nonzero. A pole-free rational function on a normal variety is regular, and global regular functions on a connected projective variety are constant. The pole divisor avoids $f^{-1}(U)$, hence avoids $Y$. No projectivity assumption on $Z$ is needed.

Two distinct singular points would impose at least two zeros each on the restriction of the cubic to their joining line. A nonzero homogeneous polynomial of degree three cannot have total zero multiplicity four, so that restriction vanishes identically. The line would be a component, contradicting the irreducible polynomial hypothesis. This argument works in every characteristic.

For an adapted process with pathwise right continuity, fix $T$ and approximate its time argument by the next endpoint of a deterministic partition of $[0,T]$. Every approximation is jointly measurable for the terminal product sigma-algebra because all sampled values are ${\mathcal{F}}_T$-measurable. Right continuity makes them converge pointwise, proving progressive measurability. Sampling from the right need not preserve adaptedness at intermediate times, but that is not required in this proof.

Let a probability space have two sample points, one of probability zero and one of probability one, and give it the complete power-set sigma-algebra at every time. Let $A\subseteq [0,1]$ be non-Borel. Assign the stochastic process the path $1_A(t)$ at the null sample point and the zero path at the other point. Each fixed-time variable is measurable and the paths are càdlàg almost surely, but the stochastic process is not progressively measurable: a section in the time variable of a product-measurable function must be Borel measurable at every sample point. The zero stochastic process is an indistinguishable progressively measurable version. Completing the filtration does not complete the time-product sigma-algebra or remove this distinction.

For binary observations with success probability $\Phi (\beta x_i)$, introduce latent $Z_i\sim N(\beta x_i,1)$ and let the sign determine the observation. Given $\beta$ and the observed sign, each latent variable has a truncated normal distribution. With a standard normal prior, the full conditional distribution of $\beta$ is normal with precision $1+{\sum }_i{x}_i^2$ and mean ${\sum }_i{x}_i{Z}_i/(1+{\sum }_i{x}_i^2)$. Alternating these blocks is Gibbs sampling with the required marginal posterior.

For correct continuous conditional forecasts, the conditional probability integral transform is uniform given the entire past. Iterating conditional probabilities makes the transformed sequence independent and uniform. Uniformity and serial checks assess absolute predictive calibration using only the forecast distributions and observations.

A Sylow pro-$p$ subgroup of a profinite group is a closed pro-$p$ subgroup whose images are Sylow $p$-subgroups in every finite quotient. Such subgroups exist and are conjugate. Every open subgroup containing one has index prime to $p$. They allow prime-to-$p$ finite extensions to detect $p$-primary Galois cohomology.