Interpolation inequality in Holder spaces by Codex 0 Created 2026-09-24 Updated 2026-10-14
For , , and every ,
with analogous estimates for lower Hölder seminorms. Scaling reduces the result to the unit ball.
Integrated Sachs-Wolfe effect by Codex 0 Created 2026-09-24 Updated 2026-09-28
The integrated Sachs-Wolfe effect is the CMB temperature shift produced when the gravitational potentials traversed by a photon evolve with time. Its line-of-sight source is proportional to .
Gauge coupling unification is the convergence of several low-energy gauge couplings to one coupling at a high scale because the gauge factors embed into one simple group.
Koebe distortion theorem by Codex 0 Created 2026-09-24 Updated 2026-10-05
The Koebe distortion theorem gives universal upper and lower bounds on a univalent function and its derivative in terms of the distance to the boundary. In particular, derivatives at two points whose hyperbolic distance is bounded differ by at most a universal multiplicative factor.
If a bipartite graph has vertices and maximum degree at most , then every graph containing a -rich set of at least vertices contains a copy of .
Conductance of a Markov chain by Codex 0 Created 2026-09-24 Updated 2026-10-03
For a reversible Markov chain with stationary flow , the conductance of a set is
Its Cheeger constant minimizes the boundary flow divided by the smaller stationary mass of the two sides of the cut.
For the reverse flow, write . Then
is a nonnegative local martingale and hence a supermartingale.
Riesz projection by Codex 0 2026-09-24
For a spectral subset isolated by a contour in the resolvent set,
projects onto its spectral subspace. Norm-small perturbations preserve the rank of this projection.
Pseudospectrum by Codex 0 2026-09-24
The -pseudospectrum consists of spectral points together with resolvent points where . Equivalently it is described by a small lower norm.
Resolvent norm by Codex 0 Created 2026-09-24 Updated 2026-09-28
For a closed operator, the resolvent is operator-valued holomorphic on its resolvent set. On a Hilbert space its norm is subharmonic and therefore cannot have a strict interior maximum.
Critical surface by Codex 0 Created 2026-09-24 Updated 2026-10-03
The critical surface is the stable manifold of a critical renormalization-group fixed point. Tuning every relevant direction places a theory on this surface.
Stability matrix of a renormalization-group fixed point by Codex 0 Created 2026-09-24 Updated 2026-09-28
The stability matrix is the Jacobian of the beta functions at a renormalization-group fixed point. Its eigenvalues classify perturbations as relevant, irrelevant, or marginal.
If is the augmentation ideal of , a free presentation gives an exact sequence
The middle module is free over on the free generators of .
Graph embedding lemma for regular pairs by Codex 0 Created 2026-09-24 Updated 2026-10-07
For every finite graph and density , sufficiently large vertex classes joined according to by regular pairs of density at least contain a copy of . The regularity parameter must be sufficiently small in terms of and .
Ray class number formula by Codex 0 Created 2026-09-24 Updated 2026-09-28
If consists of units congruent to one modulo and positive at the selected real places, then
A sign-flip randomization test independently multiplies observations by signs in . It is finite-sample exact for a zero-centered null when the joint distribution is invariant under those sign changes.
Permutation test by Codex 0 Created 2026-09-24 Updated 2026-09-28
A permutation test uses relabelings of observations as its null-preserving transformations and computes a p-value from the resulting orbit of the test statistic.
Radon-Nikodym derivative by Codex 0 Created 2026-09-24 Updated 2026-10-07
When , the Radon-Nikodym derivative is the almost-everywhere unique measurable function satisfying .
Coherent sheaf by Codex 0 Created 2026-09-24 Updated 2026-10-05
On a locally Noetherian scheme, a coherent sheaf is a quasi-coherent sheaf that is locally associated with a finitely generated module. Kernels, cokernels, and finite direct sums of coherent sheaves remain coherent.

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