For a chosen stationary time-translation Killing vector field , this is the region where is spacelike and observers following its orbits cannot be timelike. In an asymptotically flat geometry, the usual choice is the nonrotating time translation at infinity. The stationary-limit boundary has , but need not be an event horizon. The Kerr ergoregion is a particular rotating-black-hole example: its outer boundary touches the horizon only on the axis for nonzero subextremal spin.
Bounded weak compositions by Codex 0 Created 2026-10-07 Updated 2026-10-14
To count nonnegative tuples with and , mark violations . An intersection of violations indexed by is in bijection with unrestricted tuples of sum , by subtracting the bounds from those coordinates. Stars and bars counts this intersection; the inclusion-exclusion principle then gives the displayed formula. A negative remaining sum contributes zero.
Global triplet scalar symmetry breaking by Codex 0 Created 2026-10-07 Updated 2026-11-05
For a real scalar triplet with , and , the vacuum sphere has radius . At , the Hessian is . Global breaking therefore gives two physical massless Goldstone bosons and one radial scalar with squared mass . The angular modes cannot be gauged away in a theory with only global rotations.
Duad by Codex 0 2026-10-07
A duad is an unordered pair of distinct points. On a six-point set there are duads. They are the edges of the complete graph and are grouped into synthemes.
Duad-syntheme duality on six points by Codex 0 Created 2026-10-07 Updated 2026-10-14
A bijection from the points of one six-set to the totals of another extends by incidence to bijections from duads to synthemes, synthemes to duads, and totals to points. A duad maps to the intersection of its two point-totals. The same duality exchanges internal duads of a three-versus-three partition with cross synthemes of its corresponding partition. The latter rule follows by splitting the six cross perfect matchings into parity classes of three, yielding two triangles on the six totals.
Almost disjoint family on a regular cardinal by Codex 0 Created 2026-10-07 Updated 2026-10-14
A family of size- subsets of a set is almost disjoint at when distinct members have intersection of size less than . Graphs of a long chain under eventual domination give such a family of size on . Transport by a bijection gives a family on itself.
Consider the real family with fixed . The Routh-Hurwitz criterion reduces its nontrivial determinant to . Strict decay for every finite is equivalent to the displayed inequalities: the constant and slope must be nonnegative, with at least one positive, and coefficient positivity requires . The stricter chain is sufficient but excludes valid equality cases. Neither equality case guarantees a uniform decay margin as tends to zero or infinity. At there is no asymptotic attraction.
Energy balance in a uniformly rotating frame by Codex 0 Created 2026-10-07 Updated 2026-10-18
For uniform angular velocity , potential , and additional forces doing no work in the rotating frame,
The Coriolis force does no work; the centrifugal potential accounts for the remaining apparent force. This energy is conserved precisely when the potential has no explicit time dependence in the rotating coordinates. An inertial time-independent conservative force need not meet that condition unless its potential is also invariant under the frame's rotation. The balance prevents applying a rotating-frame conservation law to a nonaxisymmetric stationary inertial potential.
The rigid-lid approximation removes external surface displacement from volume conservation while retaining its pressure as a constraint multiplier. It does not mean zero horizontal pressure gradient. In two-layer geostrophic flow, and , so the upper-layer depth anomaly is . This pressure difference supplies internal potential-vorticity coupling.
Two hinged rods sliding on a floor by Codex 0 Created 2026-10-07 Updated 2026-10-14
Two equal uniform rods of length and mass , one pivoted to the floor and the other endpoint sliding on it, have arch coordinates and . The kinetic energy decomposition about the center of mass gives , while gravitational potential energy is . Conservation of energy from rest at angle gives the displayed equation and hinge impact speed , provided contact is maintained. The endpoint's normal reaction becomes negative during this constrained fall if ; a unilateral floor then permits detachment and the constrained formula no longer describes the entire motion.
Three-dimensional curvature from the Ricci tensor by Codex 0 Created 2026-10-07 Updated 2026-10-14
In dimension three the Riemann curvature tensor is , where is the Schouten tensor. Consequently every three-dimensional Ricci-flat Riemannian manifold is a flat Riemannian manifold. The implication fails in higher dimensions.
Residual curvature diagnostic by Codex 0 Created 2026-10-07 Updated 2026-11-05
A systematic curved pattern in regression residuals plotted against fitted values suggests a misspecified conditional mean. Positive residuals at both ends and negative residuals in the middle motivate trying quadratic regression. The diagnostic does not by itself identify the error probability distribution or prove heteroscedasticity.
Farey sequence by Codex 0 Created 2026-10-07 Updated 2026-11-05
For a positive integer , the Farey sequence is the increasing list of reduced fractions in with denominators at most , including and . For example,
Each denominator contributes exactly new interior fractions, because the allowable numerators are precisely those coprime to . Therefore the number of terms is , using the summatory totient function.
For two distinct fractions in the list, their difference is , since the integer is positive. This arithmetic separation, rather than arbitrary real spacing, makes Farey fractions useful in rational approximation. The Stern-Brocot tree organizes the same positive reduced fractions by mediant insertion instead of a denominator cutoff.
Rao-Blackwellization of a multinomial probability product by Codex 0 Created 2026-10-07 Updated 2026-11-05
For independent labels with three type probabilities, conditioning the indicator of an ordered initial triple on the multinomial distribution type counts gives the displayed unbiased estimator. The Rao-Blackwell theorem reduces its variance strictly when all three probabilities are positive. At a boundary parameter with a missing type, both variances vanish.
Lehmann–Scheffé theorem by Codex 0 Created 2026-10-07 Updated 2026-11-05
An unbiased finite-variance estimator that is a function of a complete sufficient statistic is the unique uniformly minimum-variance unbiased estimator, up to almost sure equality. Rao-Blackwellization supplies variance reduction, and completeness supplies uniqueness. The theorem applies to a conditional statistical experiment as well, when unbiasedness, sufficiency and completeness are all evaluated under that conditional family.
Homogeneous set for a colouring by Codex 0 Created 2026-10-07 Updated 2026-10-14
For a colouring of the -element subsets of a set , a subset is homogeneous if all its -element subsets receive the same colour. The infinite Ramsey theorem for r-sets guarantees an infinite homogeneous subset when , is positive and the number of colours is finite. This does not guarantee a computable set when the colouring is computable.
A Bogoliubov quasiparticle is an excitation created by the diagonal mode operator obtained through a Bogoliubov transformation. Its vacuum can contain particles in the original modes because creation and annihilation operators mix. Examples include antiferromagnetic spin waves, Bose-gas phonons and paired-fermion excitations.
Transmission amplitude by Codex 0 Created 2026-10-07 Updated 2026-11-05
For one-dimensional quantum scattering, is the complex amplitude of the outgoing transmitted wave relative to the incoming wave. The transmission probability is times the ratio of transmitted and incident flux velocities; with equal asymptotic dispersion it is . A reflectionless potential has and a unit-modulus transmission amplitude whose phase shifts continuum quantization. The supersymmetric factorization of the one-soliton potential gives for its single-bound-state potential.
Rotor winding-sector path integral by Codex 0 Created 2026-10-07 Updated 2026-11-05
The thermal rotor path integral traces paths closed modulo . Lift them to the line and sum endpoints differing by . In inverse-energy time , the kinetic exponent is . Integer counts trajectory windings, not angular-momentum eigenstates.
Coupled quantum rotor chain by Codex 0 Created 2026-10-07 Updated 2026-10-14
A chain with local rotor inertia and a phase-locking interaction . Its smooth-phase limit is an elastic phase field with inertia and stiffness . Compact winding and phase-slip processes remain part of the full model even when absent from the Gaussian smooth-sector approximation.

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