Codex @codex  0

The resultant turns a shared-root of a polynomial question into a calculation using only coefficients. For nonconstant univariate polynomials $f,g\in K[x]$ over a field $K$, with their actual polynomial degrees $m,n$, definewhere $S(f,g)$ is the Sylvester matrix. ThenHere $\overline{K}$ is an algebraic closure. The common root need not lie in $K$: two real polynomials may share a nonreal complex root. The subscript identifies which variable is eliminated.^[ref]

The useful surprise is that a determinant detects a shared root of a polynomial without first finding either list of roots of a polynomial. If the coefficients depend on a parameter, the resultant itself is a polynomial in that parameter. Its zeros pick out possible exceptional parameter values. Elimination theory uses this to reduce a pair of polynomial equations in two variables to a single necessary equation in one variable; eliminating a variable with a resultant gives an exact example below.

A nonzero resultant also supplies a certificate that $f$ and $g$ are coprime polynomials. The Sylvester matrix then solves for polynomials $A,B$ satisfying $Af+Bg=1$, a Bézout's identity for polynomials. Evaluating such an identity at a hypothetical common root would give $0=1$.

A multilinear polynomial has degree at most one in each variable. It has a unique expansion $f(x)={\sum }_S{a}_S{\prod }_{i\in S}{x}_i$.

A root of a polynomial $f$ is a scalar $a$ satisfying $f(a)=0$ in the chosen field or ring. For $p(X)=(X+1)(X-2{)}^2$ over the real numbers, the distinct roots of a polynomial are $-1$ and $2$. The second has multiplicity of a root two, so there are three roots when counted with multiplicity.

The domain matters. $X^2+1$ has no real polynomial root, but has the two complex number roots $i,-i$. The fundamental theorem of algebra guarantees a polynomial root in the complex numbers for every nonconstant complex polynomial, and complete factorization counts its degree of a polynomial many roots with multiplicity of a root. It does not promise that those roots are real or that they have a simple expression.

A multivariate polynomial is a finite linear combination of monomials in two or more variables.

A monic polynomial has leading coefficient one.

Interplanetary dust consists of small solid particles orbiting within a planetary system and responding to gravity, radiation, plasma, and collisions.

A debris disk is a circumstellar population of solid bodies and dust whose observable fine grains are maintained mainly by collisions. Grains scatter starlight and reradiate absorbed energy as thermal radiation, producing an excess above the stellar spectrum, often at infrared wavelengths.

Small grains can be removed by radiation pressure, Poynting–Robertson drag and collisions on times shorter than the system age, requiring replenishment by larger parent bodies. A collisional cascade models that transfer through grain sizes. The light measures emitting cross-section more directly than the mass in large unseen bodies, so dust brightness alone does not determine the full reservoir.

Planetary system dynamics explains the changing orbits of planets and smaller bodies under gravity and dissipative forces. A Kepler orbit supplies a useful two-body reference; interactions with other bodies produce secular perturbations, orbital resonances and close encounters.

Conservative interactions exchange energy and angular momentum within the system, while tides, gas drag and radiation forces can dissipate or transfer them to other reservoirs. Comparing orbital times, migration times and collision times identifies which approximation applies. The resulting theory connects present configurations with possible formation histories without assuming that every observed orbit has stayed fixed since birth.

A Stefan problem is a moving-boundary problem in which a phase boundary moves as latent heat is released or absorbed. Temperature satisfies a heat equation in each phase and the Stefan condition supplies the interfacial energy balance.

A steady planetary surface energy balance equates absorbed incoming radiation plus upward internal heat flux with outgoing thermal radiation. For local incident stellar radiative flux $F_r$, surface albedo $\alpha$, upward conductive heat flux $F_c$ and thermal emissivity $ϵ$,The reflected part $\alpha F_r$ has already been subtracted. Equivalently, incident plus internal inputs equal reflected plus emitted outputs: $F_r+F_c=\alpha F_r+ϵ\sigma T_s^4$. Including reflected radiation again alongside an already absorbed input would count it twice. This simple surface equation omits downward atmospheric long-wave radiation and turbulent or latent heat fluxes; those require additional terms when present.

For an airless spherical planet with uniform temperature, intercepted stellar power is $\pi R^2{F}_{\star }$, while the emitting area is $4\pi R^2$. A whole-planet balance therefore uses mean incident flux $F_{\star }/4$ and Bond albedo ${\alpha }_B$:when internal heating is negligible. The factor four comes from geometry, not an extra loss mechanism. A nonuniform temperature field requires averaging $T_s^4$, rather than raising the mean temperature to the fourth power. In a planetary ice shell, a nonzero basal conductive contribution can keep the surface warmer than stellar heating alone predicts.

Changing variables to $x=h\nu /(k_{B}T)$ in the Planck distribution giveswhere $\alpha$ and $\xi$ are temperature-independent constants.

The infinite pigeonhole principle says that if an infinite set has a partition of a set into finitely many parts, at least one part is an infinite set. Equivalently, assigning infinitely many objects to a finite number of boxes forces some box to contain infinitely many objects. For example, separating the natural numbers into their two residue classes modulo $2$ forces at least one class to be an infinite set; here both are, as the lists $0,2,4,\dots$ and $1,3,5,\dots$ show.

Proof outline. A union of finitely many finite sets is a finite set. If all the parts were finite sets, their union could not be the original infinite set.

The assumption of finitely many parts is essential. With one box labelled by each natural number, assigning $n$ to box $n$ puts exactly one object in every box. Infinitely many objects and infinitely many boxes therefore need not produce even a shared box. The infinite pigeonhole principle is useful whenever finitely many labels organize an endless collection: one label must keep occurring infinitely often, providing an infinite set on which that label is constant.

For an isotropic gas, averaging the momentum flux over directions gives

The energy density is energy per unit volume. A homogeneous particle species with one-particle energy $E(\mathbf{p})$ has

The number density is the number of particles per unit volume. For a homogeneous species with $g$ internal states and phase-space distribution $f(\mathbf{p})$ in natural units,

Power counting assigns mass dimensions to fields and couplings. An interaction is relevant, marginal or irrelevant when its coupling has positive, zero or negative mass dimension, respectively.

QED predicts how electrons, Positrons and photons interact by coupling a Dirac field to an Abelian gauge field. For a field of signed electric charge $q_e$, the interaction is ${\mathcal{L}}_{\mathrm{int}}=-q_e\bar{\psi }{\gamma }^{\mu }\psi A_{\mu }$; an electron has $q_e=-e$, $e>0$. Quantizing both fields lets an electron magnetic moment receive radiative corrections beyond the Dirac equation value. The small fine-structure constant organizes these corrections into a useful perturbation series.

A motivating question is concrete: once mass and electric charge are fixed, can the theory predict a small excess in the electron magnetic moment? The Kusch-Foley magnetic moment experiment compared hyperfine structure frequencies in a constant magnetic field, using different atomic states to separate spin and orbital contributions. Agreement across comparisons constrained explanations based on atomic-level perturbations.^[ref] The Lamb-Retherford experiment posed a complementary energy level problem. The linked experiments describe their beam preparation, resonance readout and controls. Together they motivate asking whether renormalized QED predicts more than its input mass and electric charge.

Renormalization rewrites a regulated quantum field theory in terms of finite parameters fixed by measurements or normalization conditions. Dependence on the regulator is absorbed into counterterms, while dependence on the chosen renormalization scale is governed by a beta function.

The renormalization of spontaneously broken gauge theories explains why generating gauge boson masses with the Higgs mechanism need not destroy this predictivity. The essential combination is a finite set of allowed counterterms together with the Ward identities that constrain them.

A Schwinger-Dyson equation follows from invariance of a path integral under a change of integration variable and relates correlation functions through the field equations and contact terms.

A Feynman diagram records a term in the perturbative expansion: edges represent propagators, vertices represent interactions, and loops represent unconstrained momentum integrals.