A greenhouse gas absorbs and emits planetary thermal radiation and therefore contributes to the greenhouse effect. Its climatic impact depends on absorption spectrum, concentration, lifetime and chemical effects. Carbon dioxide, methane and water vapour are important examples.

Evaluating the potential of a razor-thin disk at height $ϵ$ gives a softened horizontal force. Its Fourier multiplier is $e^{-kϵ}$ times the razor-thin disk Poisson kernel. This suppresses short wavelengths while retaining the long-wave potential. A real finite-thickness profile generally has a different full reduction factor.

The parity grading records whether a homogeneous element has even or odd Grassmann degree. Homogeneous elements obey $XY=(-1{)}^{|X||Y|}YX$. An odd differential uses the graded Leibniz rule; this is the sign bookkeeping behind left-acting BRST differential calculations.

A natural number coding a finite syntactic object under a fixed Gödel numbering. For program descriptions it records a function in intension; different codes may denote the same function in extension.

The graph of the factorial function has a fixed-length first-order formula in the language of ordered rings interpreted on the natural numbers. A remainder code records $a_0=1$, $a_n=y$, and $a_{i+1}=(i+1)a_i$ for every $i<n$. Uniqueness of remainders proves $y=n!$; sufficiently large pairwise-coprime moduli and the Chinese remainder theorem supply a code for every input. Formula length is independent of the input variable's value, although substituting a numeral adds its encoding length.

For an onto strategyproof rule on unrestricted strict preference orders, rank-raising monotonicity implies unanimity and respect for unanimous pairwise preference. Promote each alternative pair to the top two positions in all reports. The selected member depends only on each voter's comparison of that pair. These binary choices form a strict transitive social order: a directed three-cycle would contradict the rule's choice when that triple is placed above all other alternatives, because the chosen member must win both of its binary comparisons. The original outcome is the top of this order. This creates a social ordering with pairwise independence without presuming it as an axiom of the original choice rule.

With Hermitian $b_0,c_0$ and $\{b_0,c_0\}=1$, a ket annihilated by $b_0$ has zero bare full-ghost norm. Nonzero amplitudes need FP ghost zero-mode saturation. Low-level Virasoro descendant calculations can instead normalize the highest-weight coefficient and compute $L_n{L}_{-n}|\Omega ⟩$ algebraically. Such normalized contravariant coefficients are not positive-definite Hilbert norms. The pairing convention must be stated before using FP ghost descendants in a norm argument.

Objects are geometric formulas in context modulo provable equivalence. Morphisms are provably total, single-valued geometric relations; composition is existential conjunction. Conjunction and equality give finite limits. Interpreting formulas in a model gives a finite-limit-preserving functor, with the additional continuity condition supplied by the geometric syntactic topology.

A geometric quotient adds geometric sequents over the same signature. Quotients are compared modulo provable equivalence. In a syntactic site the extra sequents become additional covers, giving a subtopos of the original classifying topos. Stronger axioms correspond to a larger site topology and a smaller subtopos.

For $0<p<1$ and $\beta >0$, let the summands have gamma distribution with shape two and rate $\beta$, and let the independent positive-support geometric distribution count have parameter $p$. Put $a=\beta (1-\sqrt{1-p})$ and $b=\beta (1+\sqrt{1-p})$. The aggregate moment-generating function factors as $ab/((a-t)(b-t))$, so it is the sum of two independent exponential distributions of rates $a,b$. Its probability density function is $ab(e^{-as}-e^{-bs})/(b-a)$ for $s>0$, nonnegative and integrating to one. This contrasts with the geometric sum of exponential variables, which is itself exponential.

For example, $p=3/4$ and $\beta =2$ give $a=1$, $b=3$, and probability density function $3(e^{-s}-e^{-3s})/2$. Its mean is $1+1/3=4/3$, agreeing with the summand mean $1$ times the expected count $4/3$. At the endpoint $p=1$, the count is exactly one and $a=b=\beta$: the displayed difference quotient must be replaced by its limit ${\beta }^{2}s{e}^{-\beta s}$, the original shape-two gamma distribution density.

A subtopos is a Grothendieck topos embedded by a geometric embedding, considered up to equivalence over the ambient topos. On a site $(\mathcal{C},J)$, subtoposes correspond to Grothendieck topologies $J^{\prime }\supseteq J$. On a classifying topos this is the duality between geometric quotients and subtoposes.

For a positive-integer geometric distribution $P(N=j)=p{q}^{j-1}$ with $q=1-p$, the capped time has masses $p{q}^{j-1}$ for $1\le j<k$ and $q^{k-1}$ at $k$. The last mass includes all later arrivals, not only $N=k$. Its probability generating function and expected value areThe expectation follows either by differentiating the PGF or summing the tail probabilities up to $k$.

For a geodesic variation $F(s,\tau )$, the deviation vector $S=F_{\ast }{\partial }_s$ describes infinitesimal separation at equal parameter values. With $T=F_{\ast }{\partial }_{\tau }$, commuting parameter derivatives give $[S,T]=0$. A torsion-free connection then gives ${\nabla }_{T}S={\nabla }_{S}T$. For an affinely parametrized variation, geodesic deviation states ${\nabla }_T^{2}S=R(T,S)T$ with the convention $R(X,Y)Z={\nabla }_X{\nabla }_{Y}Z-{\nabla }_Y{\nabla }_{X}Z-{\nabla }_{[X,Y]}Z$.

An exponential generating function encodes a sequence using $A(z)={\sum }_{n\ge 0}{a}_n{z}^n/n!$. For labelled counting, $a_n$ is the number of structures on a fixed set of $n$ distinct labels. Labels distinguish otherwise similar objects: changing which person belongs to a group can change the structure. Recover the count by coefficient extraction as $a_n=n![z^n]A(z)$. The raw coefficient is $a_n/n!$, not $a_n$.

The factorial makes multiplication account automatically for distributing labels. To combine an $A$-structure on $k$ labels and a $B$-structure on the remaining $n-k$, choose the first label subset in $\left(\genfrac{}{}{0ex}{}{n}{k}\right)$ ways, then choose the two structures. The binomial coefficient counts how the two groups of labels interleave within the full label set. ThusThe normalization works because $1/(k!(n-k)!)=\left(\genfrac{}{}{0ex}{}{n}{k}\right)/n!$. This explains the usefulness of exponential generating functions for labelled counting: an ordinary Cauchy product would omit the choices of labels. See Peter Magyar, Math 482, notes for 2/7, labelled product principle.

For a concrete example, there is one undecorated set on any given collection of labels. Its exponential generating function is the exponential function $E(z)=e^z={\sum }_{n\ge 0}{z}^n/n!$. Combine a red set and a blue set, allowing either to be empty:Every label independently receives one of two colours, giving $2^n$ assignments by the rule of product. With three labels, the counts by number of red labels are $1,3,3,1$, totalling eight. Choosing only the two group sizes would give the four possibilities $(0,3),(1,2),(2,1),(3,0)$; it would forget which labels are red.

Indeed, the ordinary generating function for the constant sequence $a_n=1$ is the geometric series $1/(1-z)$. Its square has coefficient $[z^n](1-z{)}^{-2}=n+1$, counting pairs of nonnegative sizes. Both encodings are correct for their respective questions. The decision is whether identity matters when objects are combined.

For unordered sets of labelled components of positive size, an exponential generating function $B(z)$ becomes $e^{B(z)}$: the term $B(z{)}^m/m!$ forgets the ordering of $m$ components. The existing rooted-tree generating function develops the richer example $T=z{e}^T$. A labelled rooted tree consists of its root of a tree and an unordered set of smaller labelled rooted trees, connecting the same label-distribution mechanism to recursive counting.

The maximal time on which the coefficient solution of the exponential-quadratic transform stays finite. For $R^{\prime }=2R^2-2R+1$, $R(0)=0$, the solution is $R=(1+\tan (\tau -\pi /4))/2$ and explodes at $3\pi /4$. Thus local solvability of the coefficient ordinary differential equations does not imply an unrestricted global moment formula. For payoff exponent $0\le \theta \le 1$, the Riccati forcing is nonpositive and a negative equilibrium bounds the solution.

Expanding the Hamiltonian about a static classical solution removes the linear term by its Euler-Lagrange field equation. For a canonical real scalar field with potential $U$, the quadratic fluctuation operator is $\mathcal{H}=-{\partial }_X^2+U^{\prime \prime }({\phi }_{\mathrm{cl}})$. Positive-frequency normal modes become quantum harmonic oscillators under canonical quantization, yielding the Gaussian contribution to a one-loop soliton mass correction. A negative eigenvalue signals an instability, while a physical zero mode in field theory must be replaced by a collective coordinate.

For the positive quadratic kernel $\tilde{\Delta }(p)={\kappa }^{-1}{p}^2+m^2$, $\kappa ,m>0$, the connected correlation function is its inverse. Fourier inversion gives $G(r)=\kappa (\sqrt{\kappa }m/r{)}^{D/2-1}{K}_{D/2-1}(\sqrt{\kappa }mr)/(2\pi {)}^{D/2}$. The Modified Bessel function of the second kind has an exponentially decaying large-argument tail, so the correlation length is $1/(\sqrt{\kappa }m)$ at fixed positive gradient coefficient. In three dimensions this becomes $\kappa e^{-\sqrt{\kappa }mr}/(4\pi r)$. The statement concerns the continuum long-distance theory; regulator-dependent contact terms do not define the physical correlation length.

The uniform mode of a pure Gaussian field theory with negative squared mass has an unbounded quadratic energy. Its partition function diverges even with a finite-volume ultraviolet regulator, so it supplies no stable ordered branch. At positive squared mass the zero-source average is zero. Thus the scaling dimension of the field can yield a formal order-parameter critical exponent without establishing a negative-reduced-temperature magnetization law. A stabilizing quartic interaction is relevant below four dimensions and ordinarily changes the critical theory to the Wilson-Fisher fixed point; above four its coefficient is a dangerously irrelevant coupling for the ordered phase.

Two thermal derivatives of a regulated Gaussian determinant produce this integral. For $0<D<4$, rescaling $p=\sqrt{t}q$ yields a divergent power $t^{D/2-2}$ and heat-capacity critical exponent $\alpha =(4-D)/2$. At four dimensions the singularity is logarithmic, with power exponent zero. Above four the leading heat capacity is a finite cutoff-dependent background; its leading bounded-power convention has exponent zero, although the background-subtracted singular Gaussian contribution retains the negative index $2-D/2$. In a stable quartic theory the mean-field ordered free energy proportional to $-t^2/u$ instead produces a heat-capacity jump. This is why a dangerously irrelevant coupling qualifies naive hyperscaling relation.

For independent Poisson distributions with means $u{e}^{{\eta }_k}$ and a shape–rate Gamma distribution prior on $u$, integrating $u$ adds $a$ to the total-count exponent and $b$ to the sum of relative rates. This distinguishes gamma mixing from conditioning on the total count, which gives a multinomial distribution.