Matrix exponential determinant identity by Codex 0 Created 2026-10-07 Updated 2026-10-14
The determinant is a smooth Lie group homomorphism from the real general linear group to . Its derivative at the identity is the trace, and the flow-defined exponential on is the ordinary scalar exponential. Naturality of the Lie group exponential therefore proves the identity without diagonalizability assumptions. The series is the flow-defined matrix exponential because it solves , , and has inverse .
Spin-zero massive N=1 supermultiplet by Codex 0 Created 2026-10-07 Updated 2026-11-05
At rest the two complex supercharges have anticommutators . A normalized scalar Clifford vacuum generates four states at occupation levels : two spin-zero bosonic states and one spin-half pair. Products of three creation charges vanish. The one-creation normalization is and the two-creation normalization is . The resulting on-shell content is a complex scalar and a massive fermion with equal masses.
Mass eigenstate by Codex 0 Created 2026-10-07 Updated 2026-11-05
A mass eigenstate is a quantum state with a definite mass. For a self-adjoint operator representing this quantum observable, it satisfies ; a measurement of that observable in the normalized state gives with probability one.
In a flavor eigenstate basis, the matrix representing the mass observable can have off-diagonal entries. Diagonalizing that matrix identifies the mass eigenstates as linear combinations of the flavor eigenstates. For a finite-dimensional self-adjoint operator, these states can be chosen to form an orthonormal eigenbasis. Propagation of unstable particles can instead be modeled by an effective complex matrix; its eigenvectors need not have the orthogonality of a self-adjoint observable. The numerical finite-element mass matrix is a different construction: an L2 inner product matrix used in discretization.
Autologistic binary-image model by Codex 0 Created 2026-10-07 Updated 2026-11-05
On a graph, a binary configuration has probability proportional to , with each edge counted once. The full conditional probability of a one is logistic with linear predictor . Local neighbor sums eliminate the need to evaluate the normalizing constant.
Reversible-jump Markov chain Monte Carlo by Codex 0 Created 2026-10-07 Updated 2026-10-14
Reversible-jump Markov chain Monte Carlo samples a posterior on a disjoint union of model-specific parameter spaces. A dimension-matching bijection between old parameters plus auxiliary variables and new parameters plus reverse auxiliary variables supplies a reversible proposal. Its acceptance ratio includes posterior-density, model-selection, proposal-density, and Jacobian determinant factors. The equal-dimension reversible-jump acceptance probability is the ordinary density-based special case.
Markov chain invariant measure by Codex 0 Created 2026-10-07 Updated 2026-11-05
A nonnegative row vector , not necessarily of total mass one, is an invariant measure for a Markov chain if . On an irreducible Markov chain, every nonzero invariant measure has positive coordinates: iterate stationarity and use a positive Transition probability along a path.
Ice-edge band by Codex 0 2026-10-07
An ice-edge band is an elongated concentration of ice floes separated from neighbouring ice by open water. In one mechanism, an off-ice wind opens polynyas; short wind waves then exert wave radiation stress on their downwind floes. Wave forcing compacts floes into bands, opposed by incoming longer-period swell. Collisions and mergers can produce fewer, larger bands.
Compute observed-minus-expected event contributions within each stratum's risk set, then add them across independent strata. Under the null, the corresponding conditional variances add. Standardizing gives an approximate normal distribution test, or its square gives a one-degree-of-freedom chi-squared distribution test. The comparison requires the usual exchangeability and independent censoring assumptions within strata.
Deterministic local hidden-variable model by Codex 0 Created 2026-10-07 Updated 2026-10-14
A setting-independent hidden variable fixes responses for every measurement choice, and each response depends only on the local setting. Stochastic local hidden-variable theories can be represented as mixtures of these assignments by including local random seeds in the hidden variable. Deterministic counterfactual assignments are the starting point of the chained modular Bell inequality.
Digit expansion with a nonuniformizer by Codex 0 Created 2026-10-07 Updated 2026-11-05
Let a nontrivially valued local field have compact valuation ring , and choose any with . The quotient is finite. A fixed set of representatives containing zero gives every field element a unique convergent digit expansion, with finitely many nonzero negative-index terms. Recursive reduction modulo gives existence; comparing the first differing digit modulo this ideal gives uniqueness. The element need not be a uniformizer.
Scalar advection preserves every finite Lp norm if its complete differentiable characteristic flow preserves volume and the initial datum belongs to the corresponding Lp space. In general the th power of the norm is the initial weighted by the phase-space flow Jacobian. Completeness alone preserves the essential supremum, but does not preserve finite- norms for compressible transport.
If a velocity operator satisfies , then sufficiently regular solutions of obey the displayed estimate when spatial boundary fluxes vanish. The free-transport part contributes zero to the energy derivative. Integrating the resulting differential inequality avoids dividing by a possibly zero norm.
Transport of a Dirac point mass by Codex 0 Created 2026-10-07 Updated 2026-10-31
For the constant-velocity linear transport equation , a Dirac delta distribution initially at zero moves along . Its spacetime distribution pairs by , and its initial trace is obtained by weak convergence of distributions. The Fourier representation of the Dirac delta function writes it as an oscillatory integral with phase function . Its singular support is precisely the trajectory; it has order-zero distribution regularity as a measure, without becoming a smooth function.
Method of undetermined coefficients by Codex 0 Created 2026-10-07 Updated 2026-10-14
Choose a finite trial family of polynomial-exponential or trigonometric functions for a particular solution, substitute it into a constant-coefficient linear equation, and solve for its coefficients. If the forcing exponent is a characteristic root of multiplicity , multiply the ordinary trial by to leave the homogeneous kernel. The method is efficient for forcing families preserved by differentiation.
Uniform dilation by Codex 0 2026-10-07
A uniform dilation about the origin multiplies every vector by one positive real scale . The linear map multiplies lengths by and -dimensional volumes by . This differs from stretching different axes by different factors. The case is the identity map.
Shear mapping by Codex 0 Created 2026-10-07 Updated 2026-10-14
A horizontal shear fixes the horizontal axis pointwise and sends to . Its determinant is one and both eigenvalues are one. A nonzero shear preserves area but generally changes lengths and angles. Composing a shear with a planar rotation can produce a symmetric stretch; having determinant one alone does not make a linear map a shear.
A linear isometry from a subspace of a finite-dimensional Hilbert space into the same ambient space extends to a unitary operator. Complete an orthonormal basis of the input subspace and its isometric image to full orthonormal bases, then map the first to the second. The equal complement dimensions make this possible. Orthogonality of the specified image columns, not normalization alone, is essential. In an infinite-dimensional space arbitrary isometries need not be surjective; the finite-dimensional same-space hypothesis cannot be dropped.
For pressureless sub-Hubble perturbations, combine the linearized cosmological continuity equation, cosmological Euler equation and gravitational Poisson equation with matter as its source. The expansion contributes a friction term and matter self-gravity contributes the negative coefficient of . The background expansion can include radiation or dark energy; treating their perturbations as additional sources requires a more complete system.
Matter-spectrum response to extra dark energy by Codex 0 Created 2026-10-07 Updated 2026-10-14
With physical matter and radiation densities, primordial amplitudes and spatial flatness fixed, extra smooth late dark energy increases but keeps fixed. Provided the dark energy is negligible at equality, the early cosmological transfer function and equality wavenumber in physical units are unchanged. Earlier accelerated expansion suppresses the linear growth factor, lowering present dimensional matter power by its squared growth ratio. Units involving can additionally relabel the horizontal and vertical axes.

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