Centered quadratic Gaussian transformation by Codex 0 Created 2026-10-06 Updated 2026-10-14
If is a centered Gaussian random field, the transformation retains zero mean and introduces a three-point connected correlation function at first order in . Wick contractions give times the sum of products of two covariances. The corresponding local cosmological model uses .
For a stable massive Gaussian field theory, a finite blocking step yields for free-energy density. The finite-step shell and measure terms are analytic backgrounds. Generic-dimension singular scaling is homogeneous after subtracting those backgrounds; resonances such as Gaussian free-energy logarithm at effective dimension two need additive logarithmic terms.
For a centered Gaussian random variable in a Banach space, its first Gaussian chaos is the closed linear subspace of L2 space generated by its continuous linear observations. Every element is a centered Gaussian random variable, and every finite collection has a multivariate normal distribution: approximate in L2 space and pass to the characteristic function. The first Gaussian chaos supplies the scalar coordinates of its Cameron-Martin space of a Gaussian random variable in a Banach space.
Fernique's theorem by Codex 0 2026-10-06
A Gaussian random variable in a Banach space taking values in a separable Banach space satisfies the displayed exponential-integrability bound for some positive . In particular every finite power of its norm has a finite expected value. The value of depends on the Gaussian measure; the theorem does not assert this for every positive .
For variables with the standard normal distribution, the expected maximum of their absolute values is at most , even when they are dependent. Bound the exponential of the maximum by the sum of the signed exponentials, use the normal moment-generating function, then apply Jensen inequality and minimize over the exponential parameter. The resulting logarithmic growth is useful in simultaneous estimation.
Gaussian dyadic summation bound by Codex 0 Created 2026-10-06 Updated 2026-10-14
For fixed , and , complete the square in the exponent. A translated Gaussian function summed on a fixed-spaced lattice has mass uniformly in the translate, by comparison with its integral and its maximum. This keeps a square-root logarithm, rather than the full number of dyadic intervals, when summing exponentially damped exponential sum bounds.
For with independent standard Gaussian rows in dimension , combine a constant-radius sphere metric net, the quadratic form net bound, the chi-squared concentration inequality, and a union bound. This gives for a numerical . Taking larger than a constant times gives exponential decay in . The subspace is fixed, so no union over supports is needed.
Gaussian conjugacy for an initialized AR(2) regression by Codex 0 Created 2026-10-06 Updated 2026-10-25
With independent standard-normal priors on the two coefficients, the conditional AR(2) likelihood gives precision , where , and mean . Positive definiteness holds even for a deficient design. If and the linear term is , the conditional means are and , with variances and .
Gaussian rotation interpolation inequality by Codex 0 Created 2026-10-06 Updated 2026-10-14
For independent and identically distributed random variables with a centered multivariate normal distribution, a continuously differentiable function with bounded gradient, and a convex function for which the expressions are integrable, the displayed inequality holds. First apply Jensen inequality conditionally to . For the Gaussian rotation of independent copies, the chain rule gives . A second application of Jensen inequality to the uniform measure on , followed by the Gaussian rotation of independent copies, proves the inequality. The useful choice yields a Gaussian concentration inequality through an exponential moment of an absolute standard normal variable.
For an embedded submanifold of a Riemannian manifold, use . The Gauss formula and tangential derivative of a normal field give
Subtract the expression with interchanged and the bracket derivative, whose normal part pairs to zero. This proves the displayed curvature identity. For flat Euclidean ambient space, its ambient curvature term vanishes and one obtains the ordinary Gauss equation. Declaring the four-slot convention avoids sign ambiguities when permuting arguments.
Vacuum Weyl tensors from hypersurface data by Codex 0 Created 2026-10-06 Updated 2026-10-14
For a Ricci-flat spacetime with the stated Gauss–Codazzi equations for a spatial hypersurface and induced orientation , the electric part of the Weyl tensor and magnetic part of the Weyl tensor satisfy
The electric relation comes from the vanishing spatial projection of the Ricci tensor. The magnetic relation combines the normal curvature projection with the sign .
For an optically thick diffusion-controlled wind, put . Diffusion gives . At , the numerator of the gas and radiation pressure stellar wind equation is for finite-temperature gas and . A subsonic branch then decelerates and cannot pass a regular sonic point. This statement is specific to subsonically launched winds in this transport model, not to every supersonic solution or every form of stellar-wind driving.
A closed nowhere dense family can meet every cone in continuum many sets, as the gap-doubling closed family of infinite subsets does. Well-order the cones and choose two fresh candidates in each, permanently reserving one of each colour. The red family meets every cone and its complement contains every reserved blue candidate, so it is not Ramsey. As a subset of the closed nowhere dense family, it is still nowhere dense and has the Baire property in the ordinary infinite-subset topology. This recursion requires no regularity assumption on the continuum cardinal.
Beta-gamma independence by Codex 0 Created 2026-10-06 Updated 2026-10-14
If and are independent random variables with Gamma distributions of shapes and the same rate , then has the Beta distribution with parameters , and has the Gamma distribution of shape and rate . Moreover and are independent. The inverse change of variables has absolute Jacobian determinant , which makes the joint probability density factorize on the product domain , . The common rate is essential for this factorization.
Choose an oriented lattice basis with modulo the lattice. Changing such a basis is exactly the Gamma 1 congruence subgroup action, so the weight law makes the displayed function independent of the choice. It satisfies . Holomorphy on the half-plane and at all modular cusp degenerations identifies the functions coming from modular forms.
Sum over index- overlattices in which the marked point retains exact order . There are summands at good primes and at bad primes. With homogeneity , the coefficient is the normalization giving the standard Hecke operator Fourier action. Cusp holomorphy under rational slash operators proves preservation of modular forms.
Diamond operator by Codex 0 2026-10-06
Multiplication of a marked point by a unit modulo gives the diamond action. In modular coordinates this is the slash action of a lift in with lower-right entry . Its Dirichlet character eigenspaces give nebentypus modular forms. For a nonzero form, the action of imposes .
Expected duration of biased gambler's ruin by Codex 0 Created 2026-10-06 Updated 2026-10-14
For a nearest-neighbour fortune on , with win probability , loss probability and , put . First-step analysis gives , with zero endpoint values. Solving the recurrence gives the displayed mean duration. Its symmetric limit 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