A credibility estimate combines a risk's individual experience with population information. In the basic equal-exposure form, the credibility factor $Z$ weights the observed sample mean, while $1-Z$ weights a prior or collective expected value. The Bühlmann credibility premium is the best affine estimate under mean squared error; an exact Bayesian posterior mean can also have this form, as in the natural conjugate credibility identity.

An acoustically rigid boundary has zero perturbation normal velocity. For a reflected acoustic plane wave, pressure amplitudes add in phase and the reflection coefficient is $+1$. It is the infinite-surface acoustic impedance limit. A pressure-release boundary instead fixes the pressure perturbation to zero and reflects with coefficient $-1$.

A brane is an extended object with $p$ spatial dimensions. Its history is a $(p+1)$-dimensional worldvolume embedded in target spacetime. A point particle has $p=0$, a string has $p=1$, and a membrane has $p=2$. Geometric brane actions depend on the induced worldvolume metric; D-branes also carry open-string endpoint and gauge-field data.

Superfluidity is a quantum-fluid response with phase stiffness and flow without viscous dissipation in an appropriate low-speed regime. A superfluid supports a phase-gradient current; defects and excitations can limit that flow. Bose-Einstein condensation concerns macroscopic one-particle occupation and is a distinct criterion: the Gaussian phase stiffness theory can have divergent absolute-phase fluctuations while retaining a cost for gradients.

Why does cooling a liquid make it flow more freely through a tiny gap? Helium-4 supplies an experimental entrance to this question: the helium slit-flow experiment compares the motion of liquid levels on opposite sides of the transition into superfluidity. A flow measurement probes resistance to motion; a measurement of Bose-Einstein condensation probes occupation of a quantum state. The two-fluid model of superfluidity and the Landau criterion connect these questions to entropy transport and to the energy required to create an excitation.

For isotropic planar photon emission in a rest frame, aberration of light maps its forward half of the angular directions into a lab cone of semi-angle $\alpha$ satisfying the displayed equation. This follows from $\cos \theta =(\cos {\theta }^{\prime }+\beta )/(1+\beta \cos {\theta }^{\prime })$ at ${\theta }^{\prime }=\pm \pi /2$. For a fast positive Lorentz boost, $\alpha \sim 1/\gamma$. The half fraction concerns photon count or directions: the relativistic Doppler effect changes the angular energy weights, so the cone need not contain half the radiant energy.

A quantum coordinate on a circle with kinetic Hamiltonian ${\ell }^2/(2I)$. Periodic wavefunctions have angular momentum $\hslash n$ and energy ${\hslash }^2{n}^2/(2I)$ for integer $n$. Its thermal trace has both a momentum-eigenstate sum and a topological winding-path representation. Twisted boundary conditions or flux would modify this spectrum and are separate models.

A limit of a theory or correlator as a mass parameter tends to zero. It can be singular because of infrared effects or changing degrees of freedom, so it must be justified before neglecting a running mass. The renormalization-group mass suppression criterion controls the mass-to-energy ratio but does not by itself prove existence of this limit.

A linear change of creation operators and annihilation operators is canonical when it preserves their defining brackets. For finitely many bosonic modes, the canonical commutation relations require $U{U}^{†}-V{V}^{†}=I$ and $U{V}^T-V{U}^T=0$. For fermions, the canonical anticommutation relations instead require $U{U}^{†}+V{V}^{†}=I$ and $U{V}^T+V{U}^T=0$. A Bogoliubov transformation uses such mixing to diagonalize a quadratic Hamiltonian or relate different vacuum descriptions. Infinite-mode unitary implementation has further conditions, as in bosonic mode mixing implementability.

A scalar field theory describes one or more Lorentz scalar fields through an action. The displayed Lagrangian density is a common classical normalization for a real scalar field; a complex scalar field has two real components. Canonical quantization turns these classical degrees of freedom into operators. The free real scalar field gives spin-zero particles, while interactions arise from the potential $V$.

A uniform circular disc of radius $a$ and mass $m$, pivoted on a perpendicular axis through its rim, has moment of inertia $I_A=3m{a}^2/2$ by the parallel axis theorem. Its hanging small oscillations have period $2\pi \sqrt{3a/(2g)}$. Measured from the upright position, the falling equation is $\ddot{\theta }=2g\sin \theta /(3a)$. Exact upright rest remains an unstable equilibrium; the energy level of that state describes a limiting separatrix after perturbation, with ${\dot{\theta }}^2=4g(1-\cos \theta )/(3a)$. The center acceleration and pivot reaction follow by resolving radial and tangential components.

A Fermat number is the positive integer $F_n=2^{2^n}+1$, indexed by a nonnegative integer $n$. The first five are $3,5,17,257,65537$, all prime numbers; the next is the composite number $F_5=4294967297=641\cdot 6700417$. This family offers a compact lesson in number theory: a very persuasive finite pattern can fail, while an exact divisibility relation settles a gigantic case with little computation.

Why does the exponent itself have the form $2^n$? Suppose $m=ab$ is a positive integer with an odd integer factor $b>1$. The polynomial factorization $x^b+1=(x+1)(x^{b-1}-x^{b-2}+\cdots -x+1)$ shows that $2^a+1$ is a proper divisor of $2^m+1$. Consequently, if $2^m+1$ is a prime number, $m$ must be a power of two. That is a necessary condition, rather than a promise that the surviving candidates are prime.

The Fermat number product identity makes distinct Fermat numbers coprime integers. Thus every term has a prime factor absent from all earlier terms, whether or not that term is itself a prime number. This gives an explicit route to infinitely many different prime numbers, without establishing that infinitely many terms of this particular sequence are prime. Meanwhile the prime divisor of a Fermat number criterion filters possible factors through a small multiplicative order calculation.

The family also links arithmetic to Euclidean geometry: a constructible regular polygon can have a number of sides equal to a power of two times a product of distinct Fermat primes. The Gauss-Wantzel theorem gives the precise criterion. For instance, $15=3\cdot 5$ and $17$ qualify, but $9=3^2$ does not. The word "distinct" matters. Carl Pomerance describes this connection in Primality testing: then and now by Carl Pomerance (slide 18).

Historically, Leonhard Euler records Pierre de Fermat's proposed primality pattern, then refutes it by finding the factor $641$ of $F_5$. His paper was presented in 1732 and published in 1738; those are different events, not competing dates for one publication.^[ref]

A short modern check needs only two representations of $641$:In modular arithmetic these give $5^4{2}^{28}\equiv 1$ and $5^4\equiv -2^4(\mathrm{mod}641)$. Substitution yields $2^{32}\equiv -1(\mathrm{mod}641)$, so $641\mid F_5$. This verifies the factor directly; it does not claim to reconstruct Euler's search process.

For a feasible set $K$ and a vector field $F$, a variational inequality asks for $x^{\ast }\in K$ satisfying the displayed inequality for every feasible $x$. If $K$ is convex and $F$ is the gradient of a differentiable convex function, it is the necessary and sufficient first-order condition for minimizing that function. It also describes Wardrop equilibria when no scalar objective has the route-cost vector as its gradient.

A constraint imposed with a specified probability when data or demands are random. Distributional assumptions can turn it into a deterministic condition on decision variables. The choice of strict versus non-strict event matters when the distribution has atoms, as in the deterministic boundary in an upper-tail chance constraint.

A perturbation function encodes a family of objectives and constraints indexed by a perturbation $u$, with the original problem at $u=0$. Extended-real values encode constraints. Its marginal $p(u)={\inf }_{x}f(x,u)$ measures the optimal value's response to perturbation; jointly convex data give convex perturbation duality.

A moving ice keel can gouge sediment when its draft exceeds water depth. In an exponential ridge-draft model, a point crossed by ice at relative speed $|V|$ experiences candidate encounters at rate $|V|\mu \exp [-(\max (D,h_0)-h_0)/(h_m-h_0)]$. Actual erosion also depends on grounding, deformation of the keel and sediment strength.

Climate change is a persistent alteration of the statistics of a planet's climate. External radiative forcing, internal variability and climate feedbacks all matter, and the timescale must be specified. A climate model connects mechanisms to observable changes; the radiative-convective climate column separates vertical heat transfer from whole-planet conservation of energy, while the Hasselmann stochastic climate model explains how fast weather can drive slow thermal variability.

Permafrost is ground that remains at or below its freezing threshold for at least two consecutive years. Thaw can expose previously frozen organic material to decomposition, with methanogenesis where conditions are anaerobic.

For positive smooth $A$, this Lorentzian manifold has flat $(t,x,y)$ slices scaled by $A(z{)}^2$. Translation in each slice coordinate gives a Killing vector field. An orthonormal coframe is $e^0=Adt$, $e^1=Adx$, $e^2=Ady$, $e^3=dz$. Its Levi-Civita connection and Ricci tensor are controlled by $a=A^{\prime }/A$ and $q=A^{\prime \prime }/A=a^{\prime }+a^2$.

A pathline records the motion of one identified fluid element: keep its starting position $\mathbf{a}$ and starting time $t_0$ fixed, and let physical time $t$ advance. In a velocity field $\mathbf{u}(\mathbf{x},t)$ its Lagrangian trajectory $\mathbf{X}(t;t_0,\mathbf{a})$ solves the initial value problemA streamline instead freezes the time argument of the velocity field; a streakline fixes the observation time and varies the release time of many fluid elements. A pathline is useful for answering where a particular parcel goes and how long it takes, rather than merely which way the fluid is moving now. ^[ref]

For a concrete analytical model, take spatial coordinates $x,y$ in metres, time $t\ge 0$ in seconds, and the spatially uniform but time-dependent velocity fieldIts numerical components in these units are $(1,t)$. A fluid element starting at the origin at $t_0=0$ has the pathlineAt $t=1\mathrm{s}$ it is at $(1,0.5)\mathrm{m}$; at $t=2\mathrm{s}$ it is at $(2,2)\mathrm{m}$. The parabola records earlier, shallower velocity directions as well as the final direction. Differentiating gives $(\dot{x},\dot{y})=(U,at)$ and acceleration $(0,a)$, so this curved pathline needs no spatial variation of the velocity field. More generally the chain rule along a pathline gives $df(\mathbf{X}(t),t)/dt={\partial }_{t}f+\mathbf{u}\cdot \nabla f$, the material derivative of a transported scalar field.

A motivating tracer demonstration appears in S. J. Kline's film notes: water passes through a contracting channel, and hydrogen bubbles mark a small element at a wire at time $t_0$. The illustrated element is shown again $4.7\mathrm{s}$ later, with its accumulated pathline superposed. Following that same marked element across successive film frames records a history; the entire bubble pattern in one frame has a different meaning. ^[ref]

For a modern version of the readout, use sparse small markers in a transparent water channel, illuminate the viewed plane, and keep an optical camera fixed with a ruler in that plane. Record timestamps and track the same isolated marker between frames; successive positions estimate its pathline and $[\mathbf{X}(t+\Delta t)-\mathbf{X}(t)]/\Delta t$ estimates its velocity. A long exposure records a pathline segment but loses the timing within it, so its total length divided by exposure time gives only mean speed. These are proposed measurement steps based on Jean Hertzberg's teaching guidance, rather than additional measurements from Kline's film. Markers leaving the viewed plane, overlapping tracks and perspective can break particle identification; repeat with a thinner viewed slice and a lower marker concentration. ^[ref]

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.