Over a field of characteristic different from two, a quadratic homogeneous polynomial determines a unique symmetric bilinear coefficient tensor. An antisymmetric addition to its coefficient array gives zero contribution, so tensorial conditions on its coefficients must refer to this symmetric representative. In particular, the correspondence between quadratic geodesic first integrals and rank-two Killing tensors uses symmetric coefficients.

In the quark model, the light-flavour triplet and its antiquark conjugate give an octet and a singlet. A colour-singlet pair with orbital angular momentum zero and total spin zero has parity minus one, giving a pseudoscalar nonet. Its six outer weights are charged pions and four kaons. At the centre the octet contains the neutral pion and octet eta direction; the additional singlet direction gives a third state at the same weight.

A propositional formula is built from atomic propositions using logical connectives. Unlike a first-order formula, it has no quantifiers over individuals. A Boolean valuation interprets its atoms as truth values and evaluates its connectives recursively.

A propositional theory is a set of propositional formulas, sometimes identified with its deductive closure. It is a consistent set of formulae when contradiction is not derivable from it. The completeness theorem for propositional logic identifies consistency with existence of a satisfying Boolean valuation.

The product formula uses finite-place factors given by ideal norms, the ordinary modulus at real embeddings, and the modulus squared at complex places. The complex square accounts for the pair of conjugate embeddings. Equivalently ordinary complex modulus can be used with weight two in the product. These normalizations cancel the absolute global field norm.

Here simple random sampling means a random unordered subset $A$ of exactly $n$ distinct labels from $\{1,\dots ,N\}$, with every size-$n$ subset equally likely. The sample size is fixed in advance, $1\le n\le N$, and sampling without replacement prevents duplicate units. This is SRSWOR; some texts also use "simple random sampling" for independent uniform draws with replacement, which is a different design.^[ref]

Every label has inclusion probability $n/N$, but equal inclusion probabilities alone are insufficient. For example, from six labels choose either $\{1,2,3\}$ or $\{4,5,6\}$ with probability $1/2$. Each label is included with probability $1/2$, yet eighteen of the twenty size-three subsets are impossible: this is a two-group cluster sampling design. Unequal probability sampling deliberately changes inclusion probabilities, often to improve precision for a particular estimand, and generally requires an appropriately weighted estimator rather than the plain sample mean.

Consider the original mathematical population with labelled values $(2,4,6,8,10,12)$, and let $n=2$. The fifteen equiprobable subsets, followed by their sample means, areTheir sample means sum to $105$, giving expected value $105/15=7$. Their squared deviations from $7$ sum to $70$, giving variance $70/15=14/3$. This is an enumeration over hypothetical selections from six stipulated numbers, not measured survey data.

With independent uniform sampling with replacement, the $6^2=36$ ordered outcomes each have probability $1/36$. The two orders $(2,4)$ and $(4,2)$ are distinct outcomes, and $(2,2)$ is now possible. Forgetting order does not make the resulting unordered multisets equiprobable: $\{2,4\}$ has probability $2/36$ but $\{2,2\}$ has probability $1/36$. The thirty-six sample means still have expected value $7$, but their squared deviations sum to $210$, giving variance $210/36=35/6$. Avoiding duplicate labels improves precision for this fixed population.

Stratified sampling partitions a population into strata and samples separately within each. It guarantees specified representation and can improve precision when the strata describe population variation. Equal sampling fractions give equal unit inclusion probabilities; unequal fractions require appropriate weighting for population summaries.

Cluster sampling chooses groups of observational units, such as production days, rather than dispersed individual units. Testing every unit in a selected group is a one-stage cluster sample. Positive within-cluster intraclass correlation reduces the information supplied by a fixed number of sampled units, although collecting clustered observations can be cheaper.

With a weak conversion time proportional to $T^{-5}$ and a radiation-era age proportional to $g_{\ast }^{-1/2}{T}^{-2}$, cosmological weak freeze-out occurs at $T_f\propto g_{\ast }^{1/6}$. Extra radiation therefore raises the freeze-out temperature and the neutron-to-proton ratio $r_f=e^{-Q/T_f}$. Before decay, the primordial helium mass fraction is $Y_f=2r_f/(1+r_f)$, giving $\delta Y_f/Y_f=Q\delta \log T_f/[T_f(1+r_f)]$. A shorter delay through the deuterium bottleneck also leaves more neutrons. After freeze-out, conserve baryon number and evolve the neutron fraction to obtain $Y_p\simeq Y_f{e}^{-(t_N-t_f)/{\tau }_n}$. A precise abundance requires the weak rates and nuclear-burning history, not merely the number of relativistic species.

For a decidable coding of finite construction trees, the codes of arity-$i$ primitive recursive functions in intension are decidable. Check initial-function tags, then verify the child arities at each composition and recursion node. This is a terminating finite syntax check, distinct from asking whether an arbitrary program's extension happens to be primitive recursive.

Choose a conformal map from a proper simply connected domain to the unit disc and pull back the topology of the closed disc. The resulting compactification is independent of the chosen map, since disc automorphisms extend to its boundary. Its intrinsic boundary distinguishes different approaches to a slit. Every conformal map between such domains extends to their intrinsic compactifications. This boundary agrees with the prime-end description in the simply connected setting.

Every restriction is the identity. Its stalk at each point is $T$, and its étale space of a presheaf is $X\times T$ with $T$ discrete. It is generally not a sheaf; in particular its value on the empty open set is $T$. Its sheafification is the constant sheaf of sets.

The truncation error in effective field theory is the uncertainty from omitted orders of a stated energy, derivative or loop expansion. It is commonly estimated from the first omitted terms using an explicit assumption about Wilson coefficients. Small energy alone does not justify ignoring an anomalously large coupling or a nearby omitted pole.

The portion of a fluid system's potential energy that can be released by admissible rearrangement relative to a stable reference state. In a uniformly stratified incompressible fluid, the quadratic density is $A={\rho }_0{N}^2{\xi }_z^2/2={\rho }_0{b}^2/(2N^2)$, where ${\xi }_z$ is vertical fluid displacement and $b$ the buoyancy perturbation. It is positive for stable stratification and measures the restoring energy of internal gravity waves.

A buoyant phase beneath a sloping impermeable cap has a slope-driven Darcy velocity proportional to density deficit and slope. Far from thickness-adjustment regions, its uniform plateau speed is $K\Delta \rho g\sin \theta /\mu$. With thickness measured normal to the slope, buoyant cap overpressure is $\Delta \rho gh\cos \theta$. A complete depth model also includes the along-current gradient of thickness.

A total mapping $f$ with $x\in A$ exactly when $f(x)\in B$, computed by a deterministic logarithmic-work-space transducer with read-only input and write-only output. Such reductions compose, and are used for NL-completeness and P-completeness. The output can be polynomially larger than the work storage.

Varying the independent metric in the Polyakov action sets the worldsheet stress tensor to zero. For a nondegenerate timelike embedding in two worldsheet dimensions, the metric is proportional to the induced worldsheet metric. The conformal factor cancels from the action, which becomes the Nambu–Goto action. This elimination is classical; the quantum measure and worldsheet Weyl anomaly require separate treatment.

Functions $F_i$ for which $\{F_i,F_j\}=0$ for all pairs. Their Hamiltonian vector fields commute, and each is constant along the flows of the others. When they are integrals of motion of a Hamiltonian, they are first integrals in involution.

The $k$th correlation function is the density of the $k$th factorial moment measure: integrating a nonnegative test function against $R_k$ gives the expectation of its sum over ordered $k$-tuples of distinct points. For exactly $m$ exchangeably labelled points with symmetric joint density $f_m$, it is $m!/(m-k)!$ times the Marginal density of $k$ labels. It is not normalized to have total mass one.

A point process is determinantal with kernel $K$ relative to a specified reference measure if every correlation function of a point process is the indicated determinant. A rank-$m$ finite-rank projection kernel gives an exactly $m$-point process, whose symmetric joint density is $\det [K(x_i,x_j)]/m!$.