The transport cost function assigns a cost to a unit of mass moved from to . A transport plan has total cost . Costs separating as have the same well-defined total for every coupling of fixed marginals.
Heisenberg metric Kaluza-Klein reduction by Codex 0 Created 2026-10-06 Updated 2026-10-14
For , the Kaluza-Klein decomposition along a Killing field has , and . For a Riemannian metric, positive constants make the fibre norm and quotient metric positive everywhere.
For , uses the genuine two-coordinate rotation . Average it uniformly over angles and pairs to obtain . Rotation invariance of Lebesgue measure makes a bounded self-adjoint operator of norm one on . Each pair average is an orthogonal projection, but their full average is not in general a projection.
The jump process with total collision rate and normalized pair-angle operator evolves by . It preserves mass and the total squared velocity. Its one-coordinate distribution satisfies the Kac marginal evolution equation, and its Gaussian relative entropy in Kac's model decreases at the rate given by Kac entropy production.
Kac chaos by Codex 0 2026-10-06
A permutation-symmetric sequence of probability laws is chaotic with one-particle law when, for every fixed , its -coordinate marginal distributions converge weakly to the product law as . This is an asymptotic independence condition, not a consequence of symmetry alone. A rigorous kinetic limit also requires propagation of this property under the dynamics and sufficient convergence to pass collision integrals.
Use as the reference probability density. The relative entropy is nonnegative by writing and integrating . Its expansion is . Equality holds only at , whereas other radial densities may still be stationary for the Kac master equation.
For real and vectors , the displayed bound follows from , applied in the opposite direction when . One can take . Combined with Young's convolution inequality, it proves Sobolev multiplication by a smooth cutoff for all real orders: the rapidly decreasing transform of the cutoff absorbs the extra weight. The negative-order case is particularly useful when a distribution is not initially a function.
Nilpotent ideal with semisimple quotient radical criterion by Codex 0 Created 2026-10-06 Updated 2026-10-14
If is a nilpotent ideal and , then . Every , , has a finite geometric-series inverse, giving . The radical's image lies in , giving the reverse inclusion. A semisimple algebra as quotient supplies the required zero radical.
Jackson kernel by Codex 0 Created 2026-10-06 Updated 2026-10-07
The normalized even kernel
is nonnegative, has integral one, and is a trigonometric polynomial of degree . Its mass is concentrated on a scale : for . This controls a weighted second moment and produces the Jackson operator estimate.
Cooling across an isothermal shock by Codex 0 Created 2026-10-06 Updated 2026-10-20
The specific enthalpy is equal on both sides of an isothermal perfect-gas shock. The energy removed per unit area per unit time is , with the normal mass flux. Net cooling therefore selects compression shocks; an expansion jump requires heating.
The mean-field approximation neglects products of Ising spin deviations, replacing each Ising spin's neighbours by the common spin magnetization. With coordination number of a lattice , the effective field is . The self-consistency equation equates the assumed mean Ising spin with its independent-spin expectation in that effective field. It predicts and the usual quartic mean-field critical exponents, while neglecting spatially correlated fluctuations.
Ising spin variable by Codex 0 Created 2026-10-06 Updated 2026-11-05
An Ising spin variable is a classical two-state degree of freedom. Its thermal mean can lie anywhere in even though each microscopic value is or . It should not be confused with an arbitrary quantum-spin operator. Products of neighbouring Ising spins supply the pair interactions of the Ising model, and their average defines spin magnetization.
Dimension of a topological space by irreducible chains by Codex 0 Created 2026-10-06 Updated 2026-10-07
This is the supremum of lengths of strict chains of nonempty irreducible closed subsets. Closedness is relative to the given space. This is the relevant dimension for locally closed subsets of algebraic varieties, rather than a general Hausdorff-space notion of dimension.
Quotient by an irreducible polynomial is a field by Codex 0 Created 2026-10-06 Updated 2026-11-05
If is an irreducible polynomial over a field , then a nonzero residue modulo has . The Euclidean algorithm supplies , giving inverse for . Thus the quotient ring is a field. If and has elements, polynomial division supplies exactly residue classes.
Market portfolio by Codex 0 2026-10-06
In a one-period normal-return model with common beliefs and unrestricted exponential utility investors, their risky holdings are proportional to , where is the expected excess-gain vector and its positive definite covariance matrix. The aggregate risky holding defines the common market portfolio.
Sharpe ratio by Codex 0 2026-10-06
The expected excess return of a portfolio divided by its return standard deviation. Under the capital asset pricing model, the ratio for one asset equals its correlation with the market times the market's ratio.
Brownian portfolio exposures by Codex 0 Created 2026-10-06 Updated 2026-10-07
Brownian portfolio exposures are the coefficients of independent Brownian motions in the wealth equation. An invertible asset volatility matrix lets one optimize directly over these exposures. The drift risk premium is then the dot product of exposures with the market price of risk vector.
Inverse tangent by Codex 0 Created 2026-10-06 Updated 2026-10-20
The inverse of the tangent restricted to , taking real values in that interval. Its derivative is . A formula involving an inverse tangent of a ratio may need a continuous branch of a multivalued function to describe a smooth field through a pole of that ratio.
Dust tail by Codex 0 2026-10-06
A dust tail is an extended distribution of grains released from a localized moving source. Radiation pressure changes the grains' orbits; their release times, grain properties and survival probabilities determine the spatial profile.
For two incompressible inviscid layers at rest between rigid horizontal boundaries, with the heavier fluid below and no surface tension, the displayed dispersion relation follows from Laplace equation for the velocity potentials, no normal flow at the walls, equal normal velocities at the interface, and pressure continuity. The positive density contrast supplies the restoring force. In the long-wave limit the squared wave speed is .

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