For n independent proposals and an envelope constant $M$, each rejection decision succeeds with probability $1/M$. The accepted count is Bin(n,1/M). Conditional on any acceptance pattern, the accepted values have independent target density f; summing over patterns preserves that product law conditional on the count. The empty-output probability is $(1-1/M{)}^n$.

In ingoing Reissner-Nordstrom spacetime, orient $-{\partial }_r$ to the future and normalize the other radial null vector to ${\partial }_v+(f/2){\partial }_r$. The spherical null expansion in ingoing coordinates gives $-2/r$ and $f/r$. Hence the strictly future trapped surfaces among the round spheres occur exactly between the distinct horizons. At either horizon the outgoing null expansion vanishes. Inside the inner horizon the same round spheres are not future trapped.

Photoionization can heat a shallow halo's gas well above its virial temperature. If the heated sound speed exceeds the escape-speed scale, the previous hydrostatic equilibrium is lost and a pressure-driven outflow removes gas. A crossing time gives a useful estimate, but photon supply, the gas profile, shielding and recombinations can delay the process. This particularly affects haloes whose virial temperatures are below the usual atomic cooling threshold and reduces their subsequent star formation.

quota share reinsurance retains a fixed proportion $\alpha \in [0,1]$ of each claim. The annual retained aggregate is $\alpha S$, whose expected value and variance are $\alpha \mathbb{E}S$ and ${\alpha }^2\mathrm{Var}(S)$.

With aggregate retention $M\ge 0$, the direct insurer pays $\min (S,M)$ and the reinsurer pays $(S-M{)}_{+}$, where $+$ denotes the positive part. The threshold applies to the whole annual loss; applying a threshold to individual claims is a different contract.

The sudden-decay approximation replaces a dominant nonrelativistic species $X$ by radiation near $H=\Gamma$, neglecting expansion during the conversion. Use natural units, reduced Planck mass $M=(8\pi G{)}^{-1/2}$ and relic mass $m$. Define the pre-decay yield $Y=n_X/s_{-}$, where $n_X$ is its number density and $s_{-}=(2{\pi }^2/45)g_{\ast ,s}{T}_{-}^3$ is the residual bath's entropy density. Relic domination givesAfter conversion and prompt thermalization, conservation of energy giveswhich defines the reheating temperature. The entropy count $g_{\ast ,s}$ and energy count $g_{\ast ,\rho }$ have different definitions and need not be identical. The yield in the first equation is defined before the newly produced entropy dilutes it.

If the relic energy greatly exceeds the residual radiation energy, the post-decay temperature can greatly exceed $T_{-}$. The related entropy production by decay of a dominant relic follows by comparing the two equilibrium baths at the same scale factor. The assumptions are relic domination, nonrelativistic relics and rapid conversion/thermalization; a gradual decay or incomplete equilibrium requires coupled evolution instead.

The reheating temperature characterizes the thermal radiation bath after a nonthermal component transfers its energy to other particles and those particles reach thermal equilibrium. Use natural units and the reduced Planck mass $M=(8\pi G{)}^{-1/2}$. In the sudden decay of a dominant nonrelativistic relic, decay rate $\Gamma$ and the Friedmann equation give ${\rho }_R\simeq 3M^2{\Gamma }^2$ at $H\simeq \Gamma$. Equating this with equilibrium radiation energy density givesHere $g_{\ast ,\rho }$ counts the effective relativistic energy degrees of freedom, so the formula can be implicit when the particle content changes with temperature. For example, increasing $\Gamma$ by a factor four doubles this estimate at fixed $g_{\ast ,\rho }$.

The residual bath just before decay can be much colder, while gradual reheating can temporarily produce a maximum bath temperature above the eventual radiation-domination value. Prompt energy transfer is also distinct from prompt thermalization. A scalar scalar potential alone therefore does not fix $T_R$ without interactions and a transfer history.^[ref]

A linear regularization uses a family of bounded linear operators $R_{\alpha }$ such that $R_{\alpha }f\to K^{†}f$ for each $f\in \mathcal{D}(K^{†})$. A regularization parameter choice must balance approximation error with noise amplification to obtain a convergent regularization of an inverse problem.

A Lagrangian is hyperregular when its fiber derivative, sending a velocity to its conjugate momentum, is a global diffeomorphism from the tangent bundle to the cotangent bundle. This gives a globally defined Legendre transform in mechanics and a global equivalence between the Euler-Lagrange equations and Hamilton's equations. With time dependence this requirement is imposed at each time, with a smooth inverse depending on time.

Every nonempty computably enumerable set $X\subseteq \mathbb{N}$ is the range of a primitive recursive function $f:\mathbb{N}\to \mathbb{N}$. Choose $x_0\in X$, decode $n=⟨x,t⟩$ using a primitive recursive pairing function, and output $x$ if the recognizing machine halts within $t$ steps, or $x_0$ otherwise. The bounded halting predicate makes this function primitive recursive, and every member of $X$ occurs for a sufficiently large bound. The empty set is excluded because such a function is total.

An immune set is infinite but contains no infinite computably enumerable subset. Thus its infinitude cannot be witnessed by any effective infinite listing that stays entirely inside the set. Finite strings can be treated as natural-number codes for this definition.

A computable isomorphism is an isomorphism between presented structures whose underlying map is a total computable function. For presentations on $\mathbb{N}$, its inverse is computable too: enumerate inputs until the required output occurs. Two abstractly isomorphic structures with a recursive presentation of a structure need not admit a computable isomorphism between the chosen presentations.

For a free massive scalar in a Euclidean path integral, inversion of the quadratic kernel gives ${\Delta }_E(p)=1/(p^2+m^2)$. The Minkowski version follows by Wick rotation.

A scalar field configuration eigenstate assigns eigenvalues of the equal-time field operator at every spatial point. These generalized states play the role of position eigenstates for a system of infinitely many coordinates. Inserting their regulated completeness relations on time slices constructs the scalar field path integral.

A relativistic real scalar field theory with a periodic cosine potential. In physical coordinates $y^{\mu }$, one normalization is $\mathcal{L}=\frac{1}{2}{\partial }_{\mu }\phi {\partial }^{\mu }\phi -m^2(1-\cos \beta \phi )/{\beta }^2$. With $\varphi =\beta \phi$ and $x^{\mu }=m{y}^{\mu }$, its action is $S={\beta }^{-2}\int d^{2}x[\frac{1}{2}(\partial \varphi {)}^2+\cos \varphi -1]$. Its Euler-Lagrange field equation is the Sine-Gordon equation. Distinct scalar-field vacua differ by $2\pi$ in $\varphi$, permitting a Sine-Gordon kink.

For the degree-one mod-two generator, ${\mathrm{Sq}}^{1}x=x^2$ and higher squares of $x$ vanish by instability. The Cartan formula gives the displayed binomial identity. Naturality applies it to relative classes of a stunted real projective space.

For $0\le k<m$, collapse the standard skeleton of a CW complex ${\mathbb{RP}}^k$ inside Real projective space ${\mathbb{RP}}^m$. The quotient has one base point and one topological cell in each dimension $k+1,\dots ,m$.

Between two surviving consecutive cells, the integral cellular boundary is multiplication by two in even source dimension and zero in odd source dimension. The reduced cellular boundary out of the bottom surviving cell is zero, since the lower cellular chain group has been collapsed. This exception must be applied before computing homology.

For example, ${\mathbb{RP}}^4/{\mathbb{RP}}^1$ has cells in dimensions two, three and four, with reduced chain sequenceThus its nonzero reduced integral homology groups are ${\tilde{H}}_2=\mathbb{Z}$ and ${\tilde{H}}_3=\mathbb{Z}/2$. Steenrod squares on the relative mod-two cohomology are inherited from Real projective space. If $k=m$, the quotient is a single point.

This is the CW complex obtained as the increasing union of finite Real projective spaces under their standard inclusions. It has one cell in each nonnegative dimension. Its cellular chain complex has boundary multiplication by two in positive even dimensions and zero in odd dimensions. Consequently its integral cohomology is $\mathbb{Z}$ in degree zero, $\mathbb{Z}/2$ in positive even degrees and zero in odd degrees. Its mod-two cohomology is ${\mathbb{Z}}_2$ in every nonnegative degree.

For inviscid plane Couette flow $U=z$ between impermeable walls at $z=\pm 1$, the nonzero real streamwise wavenumber $\alpha$ gives no nontrivial smooth discrete vertical-velocity modes. Instead, the vorticity variable $q=(D^2-{\alpha }^2)w$ obeys $({\partial }_t+i\alpha z)q=0$. Localized vorticity sheets give generalized eigenfunctions with real frequencies ${\omega }_{\xi }=\alpha \xi$. Their closure forms a neutral continuous spectrum.

A random variable is discrete when some finite or countable set $D\subseteq \mathbb{R}$ has $\mathbb{P}(X\in D)=1$. Its probability mass function is $p_X(x)=\mathbb{P}(X=x)$; these nonnegative masses sum to one. An event determined by the value has probability $\mathbb{P}(X\in A)={\sum }_{x\in A\cap D}{p}_X(x)$. Values outside $D$ may still occur on a zero-probability event without changing this definition.

Countable support need not consist of integers: a random variable constantly equal to $3/2$ is discrete. Integer-indexed tail-sum formulas therefore require a separate integer-valued hypothesis. For the dice sum in random variable, the expected value is ${\sum }_{s=2}^{12}s{p}_S(s)=7$ and the variance is ${\sum }_{s=2}^{12}(s-7{)}^2{p}_S(s)=35/6$; the same answer follows by adding the variances of its independent summands.