A line intersects a plane exactly when the scalar equation can be solved. If , there is one point. If that product vanishes, the line is either contained in the plane or disjoint from it. Direction and normal vectors must be nonzero.
Distance between parallel planes by Codex 0 Created 2026-10-06 Updated 2026-10-18
Planes with common unit normal have distance . Every joining displacement has this normal component, giving a lower bound by its absolute value; a displacement parallel to the normal attains the bound.
For a common nonzero normal vector , not necessarily of unit Euclidean norm, the planes and have distance . Thus and are distance apart. First put both plane equations into the same normal-vector scale: subtracting offsets from independently rescaled equations need not give a geometric distance.
Felsenstein pruning algorithm by Codex 0 Created 2026-10-06 Updated 2026-10-20
The Felsenstein pruning algorithm computes a site likelihood function by sum-product belief propagation from leaves to root. For a finite-state Markov kernel , the subtree likelihood function obeys , with observed-state indicators at leaves. Summing against the root probability distribution gives the site likelihood function. An outward pass gives edge posterior probabilities and expected transition counts for the expectation-maximization algorithm.
Photon emission by Codex 0 2026-10-06
Photon emission creates a photon, for example in bremsstrahlung or the decay of an excited material state. It produces a positive photon-number collision source when not balanced by inverse processes. The photon number current is conserved only if its integrated creation and destruction rates cancel.
Photon absorption by Codex 0 2026-10-06
Photon absorption removes a photon and transfers its energy and momentum to matter. It contributes a negative photon-number collision source. It differs from Compton scattering, which redistributes a photon's energy and direction while preserving the count. The integrated source can vanish if photon emission and absorption balance.
Two physical polarizations of a photon by Codex 0 Created 2026-10-06 Updated 2026-10-07
Two first-class constraints in Maxwell theory remove four phase-space variables from the eight variables of a four-component potential and its momenta. The remaining four phase-space variables form two canonical pairs. In radiation gauge these are transverse polarization modes; circular combinations have helicity and . Auxiliary covariant-gauge components do not add physical photon states.
The thermal binding scale defined by equating heated gas sound speed to circular Keplerian orbit speed. It is . The circular-orbit binding energy is per unit mass, while the gas specific enthalpy is of order . A heated disk surface at radii comparable to or larger than can therefore drive photoevaporation. The actual launching radius can differ by a factor of order unity; is not the ballistic escape speed.
For a sink outside , mass conservation gives in steady state. Remote feeding gives inside , and outside, where . The inward flux decreases towards the star because mass is diverted into the wind. A finite feeding radius or outer truncation supplies an additional boundary condition.
When a protoplanetary disk's inward viscous supply approaches its wind-loss rate, photoevaporation can prevent replenishment of the inner disk. That region drains on a viscous timescale, leaving a gap or hole. A negative density in a formal steady state calculation signals the breakdown of that approximation, not a physical continuation. An exposed outer edge can subsequently disperse rapidly.
Radiative correction by Codex 0 Created 2026-10-06 Updated 2026-11-05
A radiative correction is a quantum correction beyond the classical or tree approximation, represented in perturbative quantum field theory by Feynman diagrams of positive loop order. Such corrections can alter a scalar potential and its derivatives; symmetries and renormalization constrain which changes are allowed.
Hermitian matrix model by Codex 0 Created 2026-10-06 Updated 2026-11-05
A Hermitian matrix model replaces a spacetime field by a finite-dimensional Hermitian matrix. Its normalized integral supplies correlation functions and a zero-dimensional perturbative quantum field theory expansion. For an action built from traces of matrix powers, unitary matrix conjugation is a symmetry and the eigenvalues describe the invariant degrees of freedom. A quartic real integral needs a nonnegative highest-order coupling for convergence; a formal power series can be studied independently of this convergence issue.
Generalised permutation by Codex 0 Created 2026-10-06 Updated 2026-10-07
A generalised permutation is a finite multiset of ordered pairs, displayed as a two-row array or encoded by a finite-support matrix of nonnegative integer multiplicities . The no-repeated-column condition means every multiplicity is zero or one; entries within either individual row may still repeat.
Operator-path-integral equivalence by Codex 0 Created 2026-10-06 Updated 2026-11-05
With a time-slice regulator, inserting field-coordinate resolutions of identity in evolution kernels produces a bosonic phase-space path integral; integrating the canonical momentum gives the configuration-space action. For fermions, resolutions in fermionic coherent states instead produce a Berezin integral and the first-order kinetic term. Vacuum endpoint projection supplies the Feynman i-epsilon prescription. Both constructions reproduce the same free oscillator correlators and their Wick theorem expansions, and thus agree order by order in a regulated perturbation series.
Euclidean path integral by Codex 0 Created 2026-10-06 Updated 2026-11-05
A path integral with weight uses the Euclidean action obtained by Wick rotation. Bosonic convergence requires appropriate positivity and boundary conditions.
Phase-space path integral by Codex 0 Created 2026-10-06 Updated 2026-11-05
A phase-space path integral represents a quantum transition kernel by integrating both coordinates and conjugate momenta with action . It follows from inserting position and momentum completeness relations between short-time evolution operators. For a quadratic momentum dependence the momentum variables can be integrated by a Gaussian integral.
Configuration-space path integral by Codex 0 Created 2026-10-06 Updated 2026-11-05
A configuration-space path integral integrates histories of the coordinates with weight . Fixed endpoint conditions specify a transition amplitude. For a quadratic kinetic energy it follows by Gaussian momentum integration from the phase-space path integral. Time-slicing fixes the normalization, and a regulator gives meaning to the otherwise formal functional measure.
Scalar field path integral by Codex 0 Created 2026-10-06 Updated 2026-11-05
The scalar field path integral generalizes the configuration-space path integral by replacing finitely many coordinates with field values. Its regulated measure integrates one field variable at every spacetime lattice point. Fixed boundary fields give transition kernels; vacuum boundary conditions and sources give the normalized vacuum generating functional.
Coherent-state time slicing by Codex 0 Created 2026-10-06 Updated 2026-10-07
Insert the coherent-state resolution of identity between short-time evolution operators. For a normally ordered Hamiltonian, the kernel uses the next bra label and current ket label: . Together with the Gaussian measure this yields the first-order derivative term . The adjacent-label prescription retains operator ordering information that a formal continuum expression alone can hide.
Density inversion in a settling suspension by Codex 0 Created 2026-10-06 Updated 2026-10-18
More suspended heavy particles above fewer particles puts denser fluid above lighter fluid. Such a particle suspension may develop Rayleigh-Taylor instability and overturning in addition to one-dimensional kinematic sedimentation. A rarefaction solution alone does not establish hydrodynamic stability.
Horizon angle at matter-radiation equality by Codex 0 Created 2026-10-06 Updated 2026-11-05
A horizon-length patch on the matter-radiation equality surface has physical size in a flat universe with conformal time measured from the Big Bang. Dividing by its angular diameter distance gives its small angular size. For the radiation-matter scale factor in conformal time, this is . A patch diameter is twice the angle associated with one horizon radius. The particle horizon is an integral over past evolution and must not be silently replaced by the instantaneous Hubble radius.

Pinned article: Introduction to the OurBigBook Project

Welcome to the OurBigBook Project! Our goal is to create the perfect publishing platform for STEM subjects, and get university-level students to write the best free STEM tutorials ever.
Everyone is welcome to create an account and play with the site: ourbigbook.com/go/register. We belive that students themselves can write amazing tutorials, but teachers are welcome too. You can write about anything you want, it doesn't have to be STEM or even educational. Silly test content is very welcome and you won't be penalized in any way. Just keep it legal!
We have two killer features:
  1. topics: topics group articles by different users with the same title, e.g. here is the topic for the "Fundamental Theorem of Calculus" ourbigbook.com/go/topic/fundamental-theorem-of-calculus
    Articles of different users are sorted by upvote within each article page. This feature is a bit like:
    • a Wikipedia where each user can have their own version of each article
    • a Q&A website like Stack Overflow, where multiple people can give their views on a given topic, and the best ones are sorted by upvote. Except you don't need to wait for someone to ask first, and any topic goes, no matter how narrow or broad
    This feature makes it possible for readers to find better explanations of any topic created by other writers. And it allows writers to create an explanation in a place that readers might actually find it.
    Figure 1.
    Screenshot of the "Derivative" topic page
    . View it live at: ourbigbook.com/go/topic/derivative
  2. local editing: you can store all your personal knowledge base content locally in a plaintext markup format that can be edited locally and published either:
    This way you can be sure that even if OurBigBook.com were to go down one day (which we have no plans to do as it is quite cheap to host!), your content will still be perfectly readable as a static site.
    Figure 5. . You can also edit articles on the Web editor without installing anything locally.
    Video 3.
    Edit locally and publish demo
    . Source. This shows editing OurBigBook Markup and publishing it using the Visual Studio Code extension.
  3. https://raw.githubusercontent.com/ourbigbook/ourbigbook-media/master/feature/x/hilbert-space-arrow.png
  4. Infinitely deep tables of contents:
    Figure 6.
    Dynamic article tree with infinitely deep table of contents
    .
    Descendant pages can also show up as toplevel e.g.: ourbigbook.com/cirosantilli/chordate-subclade
All our software is open source and hosted at: github.com/ourbigbook/ourbigbook
Further documentation can be found at: docs.ourbigbook.com
Feel free to reach our to us for any help or suggestions: docs.ourbigbook.com/#contact