For uniform rotation, the Newtonian gravitational potential plus the centrifugal potential generates the non-Coriolis part of the equation of motion in a rotating frame. Stationary particles obey $\nabla {\Phi }_{\mathrm{eff}}=0$. The Coriolis force changes perturbation dynamics, so curvature of this potential alone is not a general rotating-frame stability criterion.

The Lorentz transformation changes the photon four-momentum and therefore its frequency, producing the displayed formula for a boost along the first axis. Here the primed ray angle is measured in the emitting frame and $\beta =v/c$. The angle and frequency transforms must be used together: aberration of light changes the direction, and a photon-number angular fraction need not equal the corresponding radiant-energy fraction.

Here $c$ is the vacuum speed of light, $\gamma$ is the Lorentz factor, and the two frequencies are measured in different inertial reference frames. Unlike the classical Doppler effect for sound, there is no material rest reference frame for light in vacuum. For small radial recession speed $v_r\ll c$, the wavelength shift satisfies $\Delta \lambda /\lambda \simeq v_r/c$. This small-speed limit underlies Doppler spectroscopy; it is not an exact sound formula.

The complete graph on six points has fifteen edges and fifteen perfect matchings. Its six one-factorizations organize a dual incidence geometry exchanging points with factorizations and edges with matchings. The classical names are duads, synthemes and totals of synthemes. This geometry supports duad-syntheme duality on six points and a construction of the small Witt design.

A Steiner system $S(t,k,v)$ is a $v$-point set with $k$-point blocks such that every $t$-point subset is contained in exactly one block. Necessarily the number of blocks is $\left(\genfrac{}{}{0ex}{}{v}{t}\right)/\left(\genfrac{}{}{0ex}{}{k}{t}\right)$. This count is a necessary consistency check, not a substitute for proving exact containment. The small Witt design is $S(5,6,12)$.

The geometric mean replaces a list of nonnegative real numbers by one repeated value that preserves their product of numbers. For $n\ge 1$ inputs,For two positive inputs, $G=\sqrt{x_1{x}_2}$ is their positive square root. The geometric mean of $1$ and $9$ is three: replacing $1\cdot 9$ by $3\cdot 3$ retains the same product. In contrast, their arithmetic mean five retains the sum $1+9=5+5$. The geometric mean is zero if any input is zero; the logarithm formula below requires every input to be positive. ^[ref].

Its usefulness becomes immediate for successive growth factors. Suppose a hypothetical positive quantity starts at $Q_0=1000$, is multiplied by $3/2$, then by $2/3$. It goes $1000\to 1500\to 1000$, so the geometric mean factor is $\sqrt{(3/2)(2/3)}=1$: a constant factor of one for both steps gives the same endpoint. The arithmetic mean factor is $13/12$; repeating it would give $1000(13/12{)}^2\approx 1173.61$, a different endpoint. A mean of factors summarizes multiplicative change; subtracting one afterwards gives the equivalent change per step. Equal-duration steps are necessary to interpret this as change per common time interval.

For positive inputs, logarithms turn multiplication into addition, soThus the geometric mean is an arithmetic mean in logarithmic coordinates, followed by the exponential function. For positive measurements with a common unit, one can use dimensionless ratios to a fixed reference $x_0$: $G=x_0\exp (n^{-1}{\sum }_i\log (x_i/x_0))$. Changing the common unit rescales $G$ by the same factor as the inputs. As a check, doubling one input and halving another retains $G$ while usually changing the arithmetic mean.

The arithmetic-geometric mean inequality gives $G\le A$. Apply that same inequality to the multiplicative inverses $1/x_i$ to obtain $H\le G$, where $H$ is the harmonic mean. Consequentlyfor positive inputs, with equality throughout exactly when all inputs agree. For $30$ and $60$, the three values are $H=40$, $G=30\sqrt{2}\approx 42.4264$, and $A=45$. They preserve, respectively, the sum of inverses, the product, and the sum. No one of these summaries preserves all three for unequal inputs.

For a compact continuous module over the Iwasawa algebra of a Zp-extension, lifts of a basis of $M/(p,T)M$ generate $M$. Their generated image is compact. The quotient $Q$ satisfies $Q=(p,T)Q$; in every finite continuous quotient, $(p,T)$ acts nilpotently, since the group action is pro-$p$. Thus all finite quotients of $Q$ vanish, and compactness gives $Q=0$.

Informed consent is voluntary agreement after receiving and understanding relevant information about an intervention or participation in research. In a clinical trial, the participant is informed about the study procedures, potential benefits and risks, alternatives and the option to decline or withdraw. Consent precedes randomization.

Image segmentation divides an image signal domain into regions according to a chosen criterion, such as approximately constant or smoothly varying intensity. The Mumford–Shah segmentation model balances fidelity, within-region smoothness and image edge length. An intensity segmentation need not coincide with semantic object identities.

The diatomic molecule containing one ordinary hydrogen nucleus and one deuterium nucleus is an isotopic form of molecular hydrogen. It has a weak electric dipole and can supply low-temperature molecular line cooling in primordial gas when its abundance is sufficient.

Sonar uses sound propagation and reflected signals to detect objects or measure distances. Upward-looking sonar can record sea-ice draft along a moving platform's track; beam width, return selection and processing affect the inferred profile.

A law or statistical object is scale invariant if its form is unchanged by rescaling lengths, with any specified scaling weight for the fields. A dimensionless field's three-dimensional nonzero-mode power spectrum obeys $P(\lambda k)={\lambda }^{-3}P(k)$ when its statistics have this scaling. The meaning of invariance must specify whether zero modes and regulators are being transformed.

A biological cell is a membrane-bounded basic unit of living organization. In a cell-level experiment it can be an experimental unit, provided that treatment assignment and relevant interactions are handled at that level.

The shared architecture of cellular life combines a selective cell membrane, internal cytoplasm, inherited information in DNA, and ribosomes that assemble proteins. Metabolism supplies transformations of matter and energy needed for maintenance and growth. These components form a coupled system: a boundary retains useful molecules, enzymes organize chemical reactions, and inherited information supports rebuilding the machinery. See Clark, Douglas and Choi, Biology 2e: prokaryotic cells.

A worked structural comparison: in a typical prokaryote, DNA occupies a region without a surrounding cell nucleus; in a typical nucleated eukaryote, much of the DNA lies inside a membrane-bounded cell nucleus. Both still have a cell membrane, cytoplasm and ribosomes. The extra boundary compartmentalizes processes; it does not create a different basic principle of living organization. See Clark, Douglas and Choi, Biology 2e: eukaryotic cells.

Shared architecture describes cellular life and its developmental machinery, rather than requiring every specialized biological cell to retain every component. A mature mammalian red blood cell, for example, lacks a cell nucleus, although it develops from nucleated precursors. See Clark, Douglas and Choi, Biology 2e: components of blood. This distinction makes cellular unity compatible with striking specialization.

For a potential already smooth on all of $\mathbb{C}$, the associated form is a Kähler form exactly when the displayed two positivity conditions hold. The first gives a positive metric coefficient off the origin; the second is positivity of $f_{z\bar{z}}(0)$. The associated real metric is $2f_{z\bar{z}}(d{x}^2+d{y}^2)$. Positivity away from the origin alone permits a degenerate metric at the origin.

On a Riemann surface, the quotient sheaf $\mathcal{P}={\mathcal{M}}_X/{\mathcal{O}}_X$ records the finite negative Laurent series tails of meromorphic germs. At $x$, a local coordinate $t$ identifies its stalk with ${⨁}_{m\ge 1}\mathbb{C}{t}^{-m}$. As a sheaf it is the direct sum of sheaves ${⨁}_x(i_x{)}_{\ast }{\mathcal{P}}_x$. Global sections prescribe locally finite families of principal parts, possibly infinite on a noncompact surface. The connecting homomorphism to $H^1(X,{\mathcal{O}}_X)$ is exactly the obstruction to a global meromorphic function with those parts and no extra poles.

The Kähler Laplacian identity ${\Delta }_d^{\mathrm{H}}=2{\Delta }_{\bar{\partial }}$ implies that every holomorphic function on a Kähler manifold is a harmonic function. On functions, $\bar{\partial }u=0$ and ${\bar{\partial }}^{\ast }u=0$ by degree, so both terms of the Dolbeault Laplacian vanish. Compactness is unnecessary. Changing the sign convention for the scalar Laplacian does not change this conclusion.

For a tensor product of Lie algebra representations with weight-space decompositions, the weights add and their weight multiplicities convolve. A diagram must sum contributions landing at the same weight, rather than treating coincident points as distinct positions.

With the graded shift convention $S(n{)}_d=S_{n+d}$, this is the sheaf associated with a graded module $S(n)$. Under the degree-one generation condition for Proj, it is an invertible sheaf: on $D_{+}(f)$ with $\mathrm{deg}f=1$, multiplication by $f^n$ freely generates its local module for every integer $n$. Without that hypothesis, it need not be invertible. The twisting sheaf on projective space is the standard special case. Stacks Project, Section 27.10 records the hypotheses and local trivializations.

Under the degree-one generation condition for Proj, cover $X=\mathrm{Proj}S$ by degree-one charts. The degree-one localization of a graded module identifies the two local modules in the displayed formula, using localization commutes with tensor products. The maps are natural and agree on overlaps, so they glue to an isomorphism of sheaves of modules. The analogous assertion can fail for general positively graded rings.

The leading scalar spectrum is proportional to $V^3/V^{\prime 2}$. Along a slow-roll trajectory, $d\varphi /d\ln a\simeq -M_{\mathrm{pl}}^2{V}^{\prime }/V$ and $d\ln k/d\ln a=1-{ϵ}_H$. Differentiating at horizon exit and keeping first order gives $n_s-1=-6{ϵ}_V+2{\eta }_V$. The derivative-factor correction contributes at second order.

For an elliptic curve with good reduction over ${\mathbb{Q}}_2$, let $E_1$ be the reduction kernel and $E_2$ its formal subgroup with parameter in $4{\mathbb{Z}}_2$. The deep logarithm subgroup of a formal group makes $E_2$ torsion-free, while $[E_1:E_2]=2$. Thus the torsion of the reduction kernel has order at most $2$. Combined with the Hasse theorem for elliptic curves, rational torsion of order $16$ forces bad reduction at $2$.