A freezing degree-day accumulates air temperature below a declared reference freezing temperature, with time in days and temperature difference in degrees Celsius or kelvins. The reference temperature and averaging convention must match the empirical sea ice thermodynamics formula using it. Warming by a constant $\Delta T$ subtracts $\Delta T$ times the number of days only if those days remain below the reference threshold.

Melting a basal ice thickness $\Delta h$ consumes energy ${\rho }_i{L}_f\Delta h$ per unit area, ignoring sensible warming and salinity corrections. The corresponding time-averaged heat flux is this energy divided by $\Delta t$. The actual ocean heat flux also includes heat conducted into the ice.

// Target: geophysics.bigb

Every spherically symmetric vacuum solution of the Einstein field equation is locally a portion of Schwarzschild spacetime. In particular, a spherically symmetric body's exterior field depends only on its total mass.

Geodetic precession is the rotation of a parallel-transported gyroscope relative to the orbital radial direction in curved spacetime. For a circular Schwarzschild orbit its exact precession per revolution is $2\pi [1-\sqrt{1-3M/R}]$.

Inside the future black-hole region, the radius decreases along every future-directed timelike path. Its unit tangent obeys $|dr/ds|\ge \sqrt{2M/r-1}$ from the metric normalization, independently of radial acceleration or angular motion. Integrating from $r_0<2M$ to zero gives the displayed finite upper bound. The statement concerns future continuation within the black-hole region; reversing time in the white-hole region reverses the radial direction.

For radial timelike geodesic fall released from rest at $r_0>2M$, the Killing energy is $E=\sqrt{1-2M/r_0}$ and the proper time radial equation is $(dr/ds{)}^2=2M/r-2M/r_0$. The displayed parameterization integrates its inward branch, with $s=0$ at release. The Schwarzschild event horizon is reached at ${\eta }_H=\arccos (4M/r_0-1)$ in finite proper time, even though Schwarzschild time diverges.

// Target: general-relativity.bigb

A holomorphic self-map of the unit disc contracts its pseudohyperbolic distance. Conjugating by Möbius transformations that send one chosen source point and its image to zero reduces the statement to the Schwarz lemma. In the complex upper half-plane this givesIf $f(iY)=iY+o(Y)$ at infinity, multiply the equivalent inequality between one minus the squared distances by $Y$ and let $Y\to \infty$. It yields $\mathrm{Im}f(z)\ge \mathrm{Im}z$. Applied to the inverse mapping-out function of a compact H-hull, this proves the nonnegativity of its half-plane capacity.

If a holomorphic function $F$ on the unit disc has positive real part, the Cayley transform between the half-plane and disk $\varphi =(F-F(0))/(F+\overline{F(0)})$ maps the disc into itself and vanishes at zero. The Schwarz lemma gives the displayed derivative bound. Equality holds exactly when $\varphi (z)=\omega z$ with $|\omega |=1$, equivalently $F(z)=i\mathrm{Im}F(0)+\mathrm{Re}F(0)(1+\omega z)/(1-\omega z)$.

For a zero-free holomorphic function $f:\mathbb{D}\to \mathbb{D}$, put $c=f(0)$ and $\alpha =-\log |c|$. A holomorphic logarithm makes $-\log f$ have positive real part. The Carathéodory derivative bound for the right half-plane yields the displayed sharp bound. Equality functions are $f(z)=c\exp [-2\alpha \omega z/(1-\omega z)]$, $|\omega |=1$. The Harnack inequality on the unit disk also yields the sharp pointwise bounds $|c{|}^{(1+r)/(1-r)}\le |f(w)|\le |c{|}^{(1-r)/(1+r)}$ for $r=|w|$. Aligning $\omega w=\pm r$ attains the two endpoints.

Partition jobs between machines and choose an ordering on each machine. Machine $r$ has load $C_r$ equal to its processing times, initial setup and internal changeovers; the completion time of all jobs is the maximum of these loads. Minimize a variable $C_{\max }$ subject to $C_r\le C_{\max }$ for every machine. Branch and bound can combine machine-assignment decisions with route bounds; heuristic moves relocate jobs between machines, swap jobs, and reorder blocks. Minimizing the sum of route costs alone does not generally minimize the makespan.

Cosmic expansion is the increase of physical distances between comoving observers as the scale factor grows. Its instantaneous fractional rate is the Hubble parameter.

This first-order-in-time field theory has an annihilation-field expansion $\Psi =\int a_{\mathbf{p}}{e}^{-i{\mathbf{p}}^{2}t/(2m)+i\mathbf{p}\cdot \mathbf{x}}{d}^{3}p/(2\pi {)}^3$. Its adjoint creates particles; an antiparticle creation term is not required by a relativistic mass shell or Lorentz-invariant microcausality. It is often an effective low-energy sector of a relativistic charged theory after the antiparticle sector is omitted. This does not mean that antimatter cannot be treated nonrelativistically: one may introduce a separate nonrelativistic field for that species.

For real scalar fields with quartic potential energy density $V_4=\lambda ({\varphi }_1^4+{\varphi }_2^4)+2\mu {\varphi }_1^2{\varphi }_2^2$, nonnegativity in every direction is equivalent to the displayed conditions. Necessity follows on an axis and on ${\varphi }_1={\varphi }_2$. Sufficiency follows by writing $V_4=\lambda ({\varphi }_1^2-{\varphi }_2^2{)}^2+2(\lambda +\mu ){\varphi }_1^2{\varphi }_2^2$. With a positive quadratic mass term, equality cases still give a stable isolated classical vacuum at the origin. The quartic alone is strictly positive away from the origin precisely when $\lambda >0$ and $\mu >-\lambda$. Rotation symmetry additionally requires $\mu =\lambda$.

For a neutral formula unit, let ${\nu }_i$ count ions of type $i$ with electric charge $z_{i}e$, where $e$ is the elementary charge. The stoichiometry must satisfyFor ${\mathrm{Na}}^{+}$ and ${\mathrm{Cl}}^{-}$, the smallest positive counts are $1:1$. For ${\mathrm{Ca}}^{2+}$ and ${\mathrm{Cl}}^{-}$, they are $1:2$, giving calcium chloride $\mathrm{CaC}{\mathrm{l}}_2$: $1(2)+2(-1)=0$. The formula counts ions, not the number of nearest neighbours. A counterion is the oppositely charged partner needed to balance a charged species; its identity can change solubility and other properties without changing the identity of that species.^[ref]

A salt of potassium cations and permanganate anions, supplying permanganate in a redox titration.

This cubic smooth function has one isolated degenerate critical point at the origin, with three ascending and three descending sectors. Adding $-tx$ with $t>0$ replaces it by two nondegenerate saddle points at $(\pm \sqrt{t/3},0)$. The Hessians there have opposite diagonal entries $6x$ and $-6x$. It illustrates why the number of smooth critical points can be smaller than that required for a Morse function.

The maximum amount of CPU execution allotted in one turn by round-robin scheduling. A task can finish before consuming its scheduling quantum. When other tasks remain runnable, a shorter scheduling quantum provides more frequent turns at the cost of more frequent context switches.

A weak geometric $p$-rough path is a continuous path in the free step-N nilpotent Lie group, with $N=\lfloor p\rfloor$, whose increments have finite $p$-variation for the Carnot-Carathéodory distance. Its multiplicative increments are ${\mathbf{X}}_{s,t}={\mathbf{X}}_s^{-1}\otimes {\mathbf{X}}_t$. They obey the Chen identity and the algebraic symmetries of path signatures.

A geometric $p$-rough path is a limit, in the rough path metric, of path signatures of sufficiently regular paths. It is a weak geometric p-rough path. At the same exponent these definitions need not coincide; weak geometric paths can be approximated after slightly weakening the variation exponent. The Brownian enhancement is geometric for every $p>2$.

This inhomogeneous variation metric compares the tensor increments level by level. A common alternative is the Hölder metric ${\rho }_{\alpha }={\max }_k{\sup }_{s<t}|X_{s,t}^{(k)}-Y_{s,t}^{(k)}|/|t-s{|}^{k\alpha }$. On a finite interval convergence in this metric implies $p$-variation convergence whenever $p\alpha \ge 1$. Both topologies control the iterated integrals needed by the universal limit theorem.