For a matter-dominated fluid with constant $c_s^2=w\ll 1$, combine stress-energy conservation in synchronous gauge with the scalar trace Einstein equation. Discard pressure corrections to the background gravitational and velocity-damping terms while retaining the potentially large pressure-gradient term $w{k}^2\delta$. This produces the displayed leading nonrelativistic equation. It is not an exact equation at finite $w$. At negligible pressure the growing and decaying matter-era solutions are ${\tau }^2$ and ${\tau }^{-3}$.

// Target: cosmology.bigb

For increasing containment indicators, attach independent Bernoulli selectors of parameter $t$. Janson inequality applied to the selected events gives $\mathbb{E}(1-t{)}^X\le \exp (-t\mu +t^2\Delta /2)$. Set $t=1-e^{-s}$ and apply the exponential Markov bound. The estimates $s-s^2/2\le 1-e^{-s}\le s$ give exponent at most $-sa+s^2(\mu +\Delta )/2$. Optimizing at $s=a/(\mu +\Delta )$ proves the displayed lower-tail bound, with the dependency sum ordered and excluding the diagonal.

Here $[a]$ is the trivial character of $S_a$, $[0]$ is the induction-product unit, $[a]=0$ for $a<0$, and multiplication is induction of external tensor products. The Frobenius characteristic map turns the expression into the Jacobi–Trudi identity. A sign-reversing involution on intersecting lattice-path systems leaves precisely the nonintersecting systems corresponding to Semistandard Young tableaux, proving the determinant identity.

For independent identically distributed observations with finite fourth moment, the sample mean of their squares has sampling variance $\mathrm{Var}(X^2)/n$. Its jackknife variance estimator is exactly the displayed unbiased estimator, since its leave-one-out values differ from their average by $-(x_i^2-\overline{x^2})/(n-1)$. The conditional bootstrap variance of a sample mean is ${\hat{v}}_B=n^{-2}{\sum }_i(x_i^2-\overline{x^2}{)}^2=(n-1){\hat{v}}_J/n$. Thus the two methods have a known finite-sample scaling difference, despite sharing the same large-sample target.

A reactive strategy cooperates with probability $p$ after the opponent cooperated and probability $q$ after the opponent defected. It ignores its own previous action. Independent behavioural randomization gives a four-state joint-action Markov chain. The reduced marginal recurrences depend on the prescribed initial action distribution.

A grim trigger is a history-dependent pure strategy in a repeated game that switches permanently to punishment after a trigger event. In the iterated prisoner's dilemma above, the trigger is any player's observed defection, and punishment is always defect. Unlike Tit for tat, grim trigger never restores cooperation after the opponent cooperates again. Whether mutual grim trigger is a subgame perfect equilibrium depends on the stage payoffs, discount factor, and monitoring assumptions; it is not an unconditional property of the rule. See Ozdaglar, lecture 15, slides 12–15.

The product of two coordinate iterated integrals of a path is the sum over order-preserving interleavings of their integration variables. Split the product of the two ordered simplices according to the joint order of all variables. This identity explains the algebraic constraints on a geometric rough path and the cancellation of low-degree terms in the composition of its local Euler maps.

For isotropic incompressible flow, directional averaging gives $⟨({\partial }_x{u}_x{)}^3⟩=(8/105)⟨\mathrm{tr}{S}^3⟩=-(2/35)⟨{\omega }_i{\omega }_j{S}_{ij}⟩$. Positive mean vortex stretching therefore implies negative longitudinal derivative skewness. Statistical homogeneity alone does not determine the sign in a fixed direction.

The turbulent energy spectrum $E(k)$ distributes kinetic energy over wavenumber shells, normalized by ${\int }_0^{\infty }E(k)dk=⟨|\mathbf{u}{|}^2⟩/2$. For isotropic incompressible flow its tensor form is ${\Phi }_{ij}=E(k)({\delta }_{ij}-k_i{k}_j/k^2)/(4\pi k^2)$. Its low-wavenumber behavior records large-eddy momentum statistics.

The velocity correlation tensor is $Q_{ij}(\mathbf{r})=⟨u_i(\mathbf{x})u_j(\mathbf{x}+\mathbf{r})⟩$. For isotropic turbulence it splits into longitudinal and transverse parts. Incompressibility constrains them, while the Fourier transform gives the turbulent energy spectrum. Its trace is the scalar velocity-dot-product correlation.

The Saffman integral is $L=\int ⟨\mathbf{u}(\mathbf{x})\cdot \mathbf{u}(\mathbf{x}+\mathbf{r})⟩d^{3}r$. With integrable trace correlation it equals the large-volume limit of $⟨|{\int }_V\mathbf{u}dV{|}^2⟩/|V|$. It is nonnegative and measures momentum-fluctuation density. Under appropriate unforced far-field flux conditions it is invariant.

The Loitsyansky integral is the second spatial moment of the trace velocity correlation tensor, with the displayed sign convention. If correlations decay sufficiently rapidly, it is the coefficient of $k^4/(24{\pi }^2)$ in the turbulent energy spectrum. In terms of the normalized longitudinal velocity correlation it is $8\pi u^2{\int }_0^{\infty }{r}^{4}f(r)dr$ when the boundary terms vanish; conventions omitting $8\pi$ also occur. Its evolution is $\dot{I}=8\pi [r^4{u}^{3}K{]}_{\infty }-12\nu L$, where $L$ is the Saffman integral. Thus it is invariant when $L=0$ and the longitudinal triple correlation is $o(r^{-4})$, not under arbitrary turbulent conditions.

Small-scale joint velocity increment statistics become approximately invariant under rotations of the observation configuration, even when the energy-containing flow is anisotropic. This is a scale-restricted hypothesis; it does not make the entire velocity field isotropic or remove internal intermittency.

Two embeddings $f_0,f_1:N\hookrightarrow M$ are ambient isotopic when a continuously varying family of ambient homeomorphisms $F_t$ starting at the identity satisfies $F_1{f}_0=f_1$. This is stronger than an arbitrary homotopy of maps. Smooth versions use smooth families of diffeomorphisms; unparametrized versions identify embedded images, and oriented versions preserve their orientations.

An actual infrared spectroscopy route is to compare gaseous hydrogen chloride containing ordinary hydrogen with its deuterium counterpart. A documented teaching experiment uses a stopcock-equipped gas cell with potassium bromide windows and a Nicolet Avatar instrument for Fourier transform spectroscopy. A nitrogen-purged flask and drying tube supply the mixture; the sample also contains sulfur dioxide. An empty sample-chamber background precedes the filled-cell scan. The absorbance trace and peak-picked spectroscopic wavenumbers are the readout. The analysis assigns and indexes ${}^1{\mathrm{H}}^{35}\mathrm{Cl}$ and ${}^2{\mathrm{H}}^{35}\mathrm{Cl}$ transitions separately and propagates transition uncertainties. The instructions distinguish resolvable chlorine isotope peaks from adequate precision for the intended parameter analysis. ^[ref]

A separate published teaching dataset reports a Nicolet Nexus 670 instrument, a $10\mathrm{cm}$ gas cell at $20\mathrm{Torr}$, and chlorine isotope peaks resolved to baseline. These apparatus details describe that dataset, not the preceding experiment. ^[ref]

The inference connects several models. Fit correctly assigned transitions to separate molecular rotation from molecular vibration, then compare the inferred vibrational scales using isotope scaling of diatomic vibration. Agreement supports the approximate separation between a nearly unchanged chemical bond stiffness and a changed nuclear mass. It does not make a real molecule an exact classical spring: anharmonicity shifts the fundamental transition away from the local harmonic oscillator scale, and coupling to molecular rotation shifts individual lines.

For an independent test, calculate the reduced masses from the specified isotopes and compare the inferred values $k=\mu (2\pi c{\tilde{\nu }}_{\mathrm{harm}}{)}^2$. Agreement within uncertainty tests the common-curvature assumption; choosing separate $k$ values just to fit each frequency would not test it. The documented background addresses instrument and ambient contributions, but does not by itself subtract window absorption, identify contaminating species, or calibrate the spectroscopic wavenumber scale. Those require separate controls. Finite spectral resolution, blended peaks, incorrect isotope assignments, and departure from the harmonic approximation near a potential minimum limit the comparison. No numerical measured line positions are assumed here.

An isometry of a space with a form between subspaces of a finite-dimensional nonsingular classical space extends to an ambient isometry. This includes alternating bilinear forms in all characteristics, symmetric bilinear forms in characteristic different from two, Hermitian forms with nontrivial involution, and quadratic forms with nonsingular polar form. No nonsingularity of the restricted subspace is required. Bare nonalternating symmetric bilinear forms in characteristic two require additional hypotheses and must not be confused with quadratic spaces.

A vector is anisotropic for a quadratic form if $Q(v)\ne 0$, and for a Hermitian form if $h(v,v)\ne 0$. The complementary zero-value condition is isotropy. For a symmetric bilinear form in odd characteristic of a field, this agrees with the associated quadratic form. A nondegenerate alternating bilinear form has all self-pairings zero, so nondegeneracy must not be confused with the existence of anisotropic vectors.

In three-dimensional autonomous mechanics, a regular common level set of $N$ independent isolating integrals has dimension $6-N$ in phase space. If an orbit is dense in a $d$-dimensional invariant torus and the integrals characterize its closure, $N=6-d$. A generic three-frequency regular orbit has three integrals; a spherical nonclosed rosette has energy and three components of specific angular momentum, with two-dimensional closure and four integrals. A periodic nonstationary orbit has one-dimensional closure and can be isolated by five independent orbit labels on the invariant family. The maximum is five wherever the Hamiltonian vector field is nonzero, since all integral differentials annihilate that field. A single resonant orbit need not yield an additional smooth single-valued integral on an open neighborhood; global superintegrability is stronger than orbital closure.

For the ferromagnetic binary Ising model, all-zero boundary measures increase and all-one boundary measures decrease as boxes exhaust the lattice, in stochastic domination. The nearest-neighbor spatial conditional probability distribution reduces each domain comparison to a mixture of boundary conditions for the smaller box. Probabilities that a specified finite set is all one consequently converge; inclusion-exclusion gives convergence of every finite Ising spin pattern. Their consistent limits define the two extreme infinite-volume measures. Existence does not assert that the two limits coincide.

A degree-$n$ homogeneous polynomial satisfies Euler homogeneous function theorem $\mathbf{r}\cdot \nabla H_n=n{H}_n$. The product rule gives $\Delta (r^s{H}_n)=r^s\Delta H_n+s(2n+s+1)r^{s-2}{H}_n$ in three dimensions. Taking $s=-(2n+1)$ gives the displayed identity and the equivalence of harmonicity on $r>0$. The origin is excluded; even $1/r$ has a distributional Dirac delta function source there.