In the positive-support exponential family $q(\theta )=\int p(x)e^{-\theta x}dx$, a proper natural conjugate prior with zero endpoint density values has mean parameter strictly inside the essential convex support $(a,b)$. Updating that mean by a positive-weight average with supported observations keeps it inside $(a,b)$. At finite parameter endpoints, prior vanishing forces $q\to \infty$, so the increased posterior power $q^{-k-n}$ still vanishes. At positive infinity, positive base-measure mass below a point $d$ smaller than the updated mean bounds $q(\theta )$ below by $C{e}^{-d\theta }$, giving exponential decay of the posterior kernel. Mass above the updated mean gives the analogous bound at negative infinity. Thus the updated density is proper and has the boundary condition required to integrate its score.

On a three-node loss network, each pair offers direct calls of load $v$ to its link of capacity $C$. If blocked, the call tries the two-link path through the remaining node. The symmetric reduced-load approximation gives a link its direct load and two overflow contributions $vB(1-B)$, hence the displayed equation. For $C=1000$, $v=940$, its residual has alternating signs at $B=0,0.01,0.10,0.25$, giving at least three distinct roots. This multiplicity belongs to the Erlang fixed point approximation, not to the exact stationary law of a finite reachable Markov chain.

An M-set is a set carrying a monoid action. This terminology here uses left actions. Morphisms are equivariant maps of monoid sets, and the resulting functor category $[M,\mathbf{Set}]$ is an elementary topos.

An equivariant map $h:A\to B$ between left M-sets obeys $h(m\cdot a)=m\cdot h(a)$. These are the natural transformations of the corresponding functors from the one-object monoid category.

A right monoid action has $x1=x$ and $(xm)n=x(mn)$. It is a contravariant functor from the one-object category of the monoid to sets. The regular right action is multiplication on $M$ itself. Products of right actions use the diagonal action.

The self-dual circle mass equation and closed-string level matching exhaust the possibilities at level sum zero, one or two. Besides the usual neutral $(N,\tilde{N})=(1,1)$ states, charges $(n,w)=(\pm 1,\pm 1)$ supply singly excited chiral states, with the sector fixed by level matching. Ground-state charges $(\pm 2,0)$ and $(0,\pm 2)$ also become massless. Their compact energy cancels the uncompactified tachyon mass. With $d$ physical transverse components, these families have $d^2+4d+4$ independent polarizations.

The Kähler differentials of a polynomial ring are free on the differentials of its variables. Assigning arbitrary values to these generators uniquely defines a derivation. Applying the Conormal exact sequence for Kähler differentials to a quotient gives its presentation by the formal derivatives of its defining equations.

Kähler differentials commute with localization of a ring. The quotient rule $d(a/s)=(sda-ads)/s^2$ uniquely extends a derivation after inverting $s$; its universal property proves the displayed module isomorphism.

The Kähler differentials commute with extension of the base ring. A derivation of the base-changed algebra that kills $k^{\prime }$ is determined by its restriction to $A\otimes 1$, and the Leibniz rule provides its unique extension. No flatness hypothesis is required for this isomorphism.

For finite separable $L/F$, every $k$-derivation on $F$ into an $L$-module extends uniquely to $L$. Differentiate the minimal polynomial of each algebraic generator and divide by its nonzero derivative. Consequently the Transitivity exact sequence for Kähler differentials identifies ${\Omega }_{L/k}$ with $L{\otimes }_F{\Omega }_{F/k}$, and ${\Omega }_{L/F}=0$.

For an exponential distribution with positive rate $\lambda$, the mean is $1/\lambda$. A confidence interval $[{\lambda }_L,{\lambda }_U]$ with $0<{\lambda }_L\le {\lambda }_U$ for the rate transforms to one for the mean by reversing and inverting its endpoints. The monotonic transformation preserves the coverage event; it does not give a prediction interval for one realized holding time. A zero lower rate endpoint corresponds to an infinite upper mean endpoint.

For a Markov chain with transition matrix $P$, fix a directed transition $(u,v)$ with $P_{uv}>0$. Its transition-completion time isIt counts the successful final step. Merely visiting $v$ by another route does not complete this event. In a finite irreducible chain its mean $g_i={\mathbb{E}}_i{T}_{uv}$ is finite and first-step analysis givesThe subtracted continuation term removes exactly the case where the designated transition has just succeeded. An equivalent construction sends that transition to a new absorbing success state and computes its Expected hitting time.

For the two-state chain $P_{01}=p$, $P_{10}=q$, with $0<p,q\le 1$, the waiting time for $0\to 1$ has means $g_0=1/p$ and $g_1=1/q+1/p$. Starting at one, the hitting time of state one is zero, whereas the transition-completion time must first wait for $1\to 0$ and then $0\to 1$. This example makes the difference between an edge event and a state event explicit.

The time reversal of a Brownian motion conditioned to exit at a boundary point can be coupled to radial ${\mathrm{SLE}}_2$ so that its loop-erasure is the radial curve. The coupling requires the Brownian path's first hit of each initial radial segment to occur at its tip. It is an existence theorem for a coupling and does not assert that the Brownian trace equals the simple radial curve, or that an elementary deterministic finite-loop algorithm is defined for all continuum paths.

For the logarithmic-potential two-integral distribution, $q^2>1$ makes $A<0$. Accessible phase space satisfies $L_z^2{e}^{-2E/V^2}\le V^2/e$, attained by equatorial circular motion. Hence the galactic distribution function is nonnegative precisely when $B+A{V}^2/e\ge 0$, giving the displayed upper bound. A larger prolate flattening parameter produces negative phase-space density even though the spatial mass density remains positive.

At a point of a smooth algebraic curve, its local ring is a discrete valuation ring. A local parameter is a generator $t$ of its maximal ideal, equivalently an element of valuation one. It measures the order of a zero of a function or pole by expressing functions as powers of $t$ times units. Over the complex numbers its analytic counterpart is a local coordinate vanishing simply at the point. For an elliptic curve in a Weierstrass equation of an elliptic curve, $t=-x/y$ is the standard parameter at the identity.

The displayed smooth map from ${\mathbb{R}}^2$ to the punctured plane has Jacobian determinant one: in polar coordinates its radius is $e^s$ and its angle is $r{e}^{-2s}$, so the determinant is $e^{2s}{e}^{-2s}=1$. Nevertheless $a(0,2\pi k)=(1,0)$ for every integer $k$. Thus a local volume-preserving map need not be injective or have bounded weighted inverse multiplicity. Compactly supported data distributed over many inverse branches disprove a determinant-only dispersion with a nonlinear velocity map estimate.

For a finite extension of local fields $L/K$, restriction multiplies the local Brauer invariant by $[L:K]$ and corestriction preserves it. For restriction, the residue-character value multiplies by the residue degree and the parameter valuation by the ramification index. For corestriction, lift the residue character using divisibility of $\mathbb{Q}/\mathbb{Z}$ and use the norm projection formula for cyclic Brauer pairings.

For a radial mode with constant nonzero wavenumber in an inviscid razor-thin disc, eliminate velocity using continuity and the conserved linearized vortensity. The resulting oscillator has ${\omega }_k^2={\kappa }^2+c_s^2{k}^2-2\pi G{\Sigma }_0|k|$. The vortensity gives a constant forcing and hence the stationary balanced component when ${\omega }_k^2>0$. It is lost by an ansatz that divides every amplitude equation by a nonzero frequency. Negative squared frequency gives exponential instability; zero frequency allows secular growth.

A treatment contrast is a linear contrast of cell means comparing treatment responses, with coefficients adding to zero. Pairwise differences and marginal factorial differences are examples. Its variance depends on the true allocation units and their covariance matrix.

The solvable Lie algebra $\mathbb{C}x\oplus \mathbb{C}y$, with $[x,y]=y$, has an infinite-dimensional Irreducible Lie algebra representation on $\mathbb{C}[t]$: $xf(t)=tf(t)$ and $yf(t)=f(t-1)$. Indeed $[x,y]f=yf$. An invariant subspace is an ideal $p(t)\mathbb{C}[t]$ because it is invariant under multiplication by $t$. Shift invariance gives $p(t)\mid p(t-1)$, hence $p(t-1)=p(t)$ and $p$ is constant. This shows why the Lie theorem needs finite-dimensional representations, even when the algebra itself is finite-dimensional.