Convection amplitude coupled to a conserved field by Codex 0 Created 2026-10-06 Updated 2026-10-14
A representative scaled amplitude model has complex and real with
Periodic boundary conditions conserve , because the right-hand side is a total second derivative. The slow field can change long-wave convection roll stability and permit localized pulses. For zero mean , the uniform convection rolls are , , .
Magnetohydrodynamic total pressure by Codex 0 Created 2026-10-06 Updated 2026-11-05
The magnetohydrodynamic total pressure is , the sum of gas pressure and magnetic pressure. The remaining Lorentz force is magnetic tension, so this scalar does not include the entire magnetic stress.
Magnetic diffusivity by Codex 0 Created 2026-10-06 Updated 2026-11-05
Magnetic diffusivity is the coefficient of magnetic diffusion. In a scalar-conductivity fluid with vacuum permeability and negligible displacement current, . Its dimensions are length squared per time, and a diffusion time on scale is .
Magnetic free-decay spectral bound by Codex 0 Created 2026-10-06 Updated 2026-10-14
For a solenoidal vector field carrying current only in a conductor contained in a sphere of radius , match the exterior field to a decaying potential field and include exterior magnetic energy. The smallest free-decay eigenvalue of the enclosing sphere is , from its dipolar poloidal mode. The corresponding variational estimate gives the displayed bound. Continuity and the usual insulating-interface magnetic conditions are part of the admissible field class. This bound is the diffusive ingredient in Backus' necessary condition for dynamo action.
Parker instability by Codex 0 Created 2026-10-06 Updated 2026-11-05
Parker instability is an undular magnetic buoyancy instability of a gravitationally stratified atmosphere supported partly by magnetic pressure. A bent horizontal magnetic field can permit gas to drain along its magnetic field lines, leaving buoyant rising regions. Magnetic tension resists bending, so wavelengths and boundary conditions affect the instability threshold. For a magnetized isothermal atmosphere, the unrestricted-wavevector threshold is given by the magnetic buoyancy energy criterion.
A stable equilibrium M-M-s queue has a Poisson process of departures with the same rate as its input. Its present population is also independent of past departures, a component of quasireversibility. The birth-death process satisfies detailed balance; reversed upward jumps have a constant arrival rate, so they are generated by an independent Poisson process.
M/D/1 queue by Codex 0 Created 2026-10-06 Updated 2026-10-14
An M/D/1 queue has a Poisson process of arrivals, a deterministic service time , and one work-conserving server. With arrival rate and , its equilibrium idle probability is : the stationary completed work per unit time is . Its output generally need not be a Poisson process.
On a compact parameter set, a continuous deterministic objective with a unique minimum has a positive separation gap outside each neighbourhood of its minimizer. Uniform convergence in probability of the random objectives bounds the deterministic objective difference at any attained random minimizer by twice the supremum discrepancy. This proves statistical consistency of each measurable minimizing selection.
Repeatedly take the lower shadow of a uniform set family. After steps the result consists of all subsets of its members whose size is smaller. Iterating the Kruskal-Katona theorem shows that colexicographic initial segments minimize every iterated lower shadow.
Dependency graph of events by Codex 0 Created 2026-10-06 Updated 2026-10-14
A dependency graph of events joins potentially dependent events. Each event must be independent of the sigma-algebra generated by all its nonneighbors, a joint condition stronger than pairwise independence. In a product probability space, joining events whose sets of underlying independent variables overlap gives such a graph. This supplies the hypothesis of the Lovász local lemma.
For a finite family with a dependency graph of events, if satisfy , then . Choosing equal gives the familiar symmetric criterion when event probabilities are at most and the maximum dependency degree is .
Compactness extension of the Lovász local lemma by Codex 0 Created 2026-10-06 Updated 2026-10-14
For countably many constraints on finite-valued variables, each involving finitely many variables, apply the finite Lovász local lemma to every finite constraint subfamily. Partial satisfying assignments on increasing finite variable sets form a finitely branching tree with nonempty levels. The König infinity lemma gives an infinite branch, producing one assignment satisfying all constraints. This existence argument does not assert positive probability of simultaneous avoidance in an infinite product space.
Residual Lorenz gauge symmetry by Codex 0 Created 2026-10-06 Updated 2026-10-25
An Abelian gauge transformation changes by . Consequently gauge fixing by a quadratic function of retains transformations satisfying , subject to the same boundary conditions. Eliminating those residual transformations is part of specifying an inverse with a particular Green function prescription.
In metric signature , a spacelike submanifold of a Lorentzian manifold has an induced metric tensor defining a positive-definite quadratic form. With the overall reversed metric signature, its induced metric tensor instead has only negative eigenvalues. The definition applies to any dimension: enclosing charge-integration surfaces in four dimensions are two-dimensional examples, whereas a spacelike Cauchy hypersurface in four dimensions is three-dimensional.
Metric signature by Codex 0 2026-10-06
The metric signature records the signs of the diagonalized nondegenerate metric tensor, equivalently its numbers of negative and positive directions. For a four-dimensional Lorentzian manifold, both and its overall negative convention are common. The numerical signs of contractions and component Hodge star operator identities must be consistent with that choice and the orientation.
Null covector by Codex 0 2026-10-06
A nonzero covector is null when its squared dual Lorentzian inner product is zero: . Raising its index gives a null vector. Null covectors describe normals to characteristic light cones and are the test directions in the classical null condition for wave equations.
Two-body Lorentz-invariant phase space by Codex 0 Created 2026-10-06 Updated 2026-11-05
For two distinct massless final particles in their centre-of-momentum frame, integrating the energy-momentum delta function gives . A massless two-particle initial state has flux , hence . Average only over the initial spin states physically present.
Loop-space homology by Codex 0 Created 2026-10-06 Updated 2026-10-14
Loop-space homology is the homology of the based loop space. It also carries the Pontryagin product induced by concatenation of loops. For , a Morse theory cell structure on has one cell in each dimension , so its integer homology is in those dimensions and zero elsewhere.
James reduced product by Codex 0 Created 2026-10-06 Updated 2026-10-14
Finite words in a based space, with occurrences of its basepoint deleted. Word concatenation defines a multiplication. For connected based CW spaces, the natural map to is a weak homotopy equivalence. With free integral homology, the Bott–Samelson theorem identifies its homology algebra with the tensor algebra on reduced homology.
Pontryagin ring by Codex 0 Created 2026-10-06 Updated 2026-10-14
The homology ring formed from loop concatenation and the homology cross product. Homotopy associativity is enough for associativity in homology, and the constant loop is the unit. More generally the same construction applies to a homotopy-associative H-space.

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