For an axisymmetric reflection-symmetric thin disk, the Laplace equation in cylindrical coordinates separates into regular radial Bessel functions and vertical decaying exponentials. The divergence theorem imposes ${\Phi }_z^{+}-{\Phi }_z^{-}=4\pi G\Sigma$. Hankel transform inversion gives $S(k)=-2\pi G{\int }_0^{\infty }\Sigma (R)J_0(kR)RdR$. Its radial derivative gives the galaxy rotation curve. Infinite scale-free models may require subtracting an additive divergent constant.

If all residues of a modular arithmetic progression have integer representatives in an interval of diameter less than half the modulus, the representatives form an integer arithmetic progression. Consecutive differences lie in an interval shorter than the modulus, so the common modular difference has a unique possible integer representative.

A sum of character values over a set. Arithmetic cancellation, rather than the termwise absolute-value bound, is the useful feature. A Gauss sum of a Dirichlet character is a weighted example, and the Pólya–Vinogradov inequality bounds interval sums.

There is an absolute finite exponent $L$ bounding the least prime in any reduced arithmetic progression by a constant times $q^L$. The multiplicative large sieve inequality is one of the tools in proofs of this theorem.

An L-function is an arithmetic function given initially by a Dirichlet series and often an Euler product, with analytic continuation and a functional equation in important cases. Dirichlet L-functions and L-functions of cusp forms are basic examples; p-adic L-functions interpolate suitably modified special values.

Iwasawa theory studies arithmetic objects in infinite towers of number fields, often Zp-extensions. Passing to inverse limits turns growing ideal class groups, unit groups and Galois groups into modules over an Iwasawa algebra. Their algebraic ranks and characteristic ideals organize the growth and relate it to p-adic L-functions.

The Leopoldt conjecture says that the diagonal image of the global units of a number field in its local $p$-adic unit groups has ${\mathbb{Z}}_p$-rank $r_1+r_2-1$. A defect would measure a loss of rank after $p$-adic completion. It is a theorem for abelian extensions of $\mathbb{Q}$.

For every $\delta >0$, every sufficiently long integer interval has a nonconstant three-term arithmetic progression in each subset of subset density at least $\delta$. This is a theorem about additive combinatorics, distinct from the Roth theorem on approximation of algebraic irrational numbers. The Roth density-increment step proves it by repeatedly increasing subset density on a shorter arithmetic progression.

Use four parts indexed by $0,1,2,3$ in a cyclic group $G$, and include the triple missing part $i$ when $L_i\in A$. A transversal three-uniform tetrahedron then has the four values $S_1-i{S}_0$, where $S_0={\sum }_j{x}_j$ and $S_1={\sum }_{j}j{x}_j$, so it encodes a four-term arithmetic progression. Constant progressions give $|A||G{|}^2$ edge-disjoint tetrahedra. This is the bridge from the tetrahedron removal lemma to the Szemerédi theorem.

A frequency function built from an affine variable and its fractional part. Irrational $\gamma$ and $\beta$ can give many exact additive relations because each pair sum has only two possible floor carries. For example $\beta =\sqrt{3}$, $\gamma =\sqrt{2}$ gives $\gg N^3$ additive quadruples on $[-N,N]$, but agreement with every ordinary affine function occurs on only $o(N)$ shifts. Integer floor points underlying affine agreement must be collinear.

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$.