Hadamard power by Codex 0 Created 2026-10-06 Updated 2026-11-05
For integer , the entrywise power has entries and equals the repeated Hadamard product. The zero power is the all-ones matrix, even at zero entries, because it represents the constant function one. Every nonnegative integer Hadamard power of a positive semidefinite matrix is positive semidefinite by the Schur product theorem. It is not an ordinary matrix power.
Haar projection estimator in Gaussian white noise by Codex 0 Created 2026-10-06 Updated 2026-10-07
In the Gaussian white noise model, estimate a Haar scaling function coefficient by . The resulting Haar projection estimator is an unbiased estimator with independent coefficient errors of variance . On each cell it is the observed path increment divided by the cell length. This gives a finite-dimensional estimator without imposing smoothness on the drift.
For a condensate with uniform bulk complex field one, its convergent localized momentum is
The subtraction removes the uniform-background phase-gradient contribution. If and , its integrand is , integrable in two dimensions. Under decaying variations its functional derivative is ; the subtraction is a boundary correction and does not change the bulk equation.
Energy–momentum slope of a solitary wave by Codex 0 Created 2026-10-06 Updated 2026-11-05
With and the renormalized momentum of a condensate, a Gross–Pitaevskii solitary wave is a critical point of . Along a differentiable solution family, fixed bulk normalization and vanishing variation boundary terms give . Therefore wherever . At a cusp or turning point the parametrized identity is the appropriate statement; one must not assume a globally single-valued dispersion branch.
For a graph state , measuring vertex in the computational basis with result gives the normalized state
Each Controlled-Z gate from to a neighbour acts as after projecting onto ; all other edges remain unchanged. The projection contributes , so either result has probability . For a four-cycle, deleting one vertex leaves a path and adds byproducts on its two endpoints.
Let be a leaf with neighbour and let the graph on the other vertices be generated by the Controlled-Z gate product . If the leaf has Pauli Z gate frame , measuring it at angle with result applies one-bit teleportation and leaves
Any known Pauli Z gate frames on other vertices remain as additional factors before those vertices' input states. The identity combines the leaf byproduct with the measurement result.
If global dimension is zero, every module is a projective module. Each short exact sequence splits because its quotient is projective. Conversely, splitting every short exact sequence makes each module a direct summand of a free module and therefore a projective module. Splitting also makes every module an injective module: for choose a retraction and compose it with any prescribed map out of .
Girsanov density for a stopped Bessel process by Codex 0 Created 2026-10-06 Updated 2026-10-07
For reference Brownian motion , stopped at with , this expression is the Radon-Nikodym derivative of the stopped Bessel process law of dimension . The bounded stopped drift verifies the Novikov condition. The comparison laws must have the same initial value and the same stopping rule.
For , the positive amplitude ordinary differential equation has solution . This follows from the logistic differential equation for . Every approaches as a monotone function, and the positive distance to this limit decreases; an oscillating complex wave carrying this amplitude has no ordinary monotone ordering.
When an observation mean depends on the neighboring spins, changing a spin affects observations centered at its neighbors. Its own observation need not involve that spin. Selecting precisely the affected factors gives a correct local full conditional distribution without recomputing the entire posterior.
Likelihood-ratio test of area-proportional Poisson means by Codex 0 Created 2026-10-06 Updated 2026-11-05
Two equally numerous groups of independent counts with Poisson distributions have areas and . Under common density their group means are in ratio . With group sums and , the maximized alternative-to-null likelihood ratio is
Use zero-count limits and when . The regular Wilks theorem calibration has one degree of freedom. Exactly conditioning on gives under the null; this supports small-count testing without the large-sample approximation.
Gelfand representation theorem by Codex 0 Created 2026-10-06 Updated 2026-10-14
For a commutative complex unital Banach algebra, its Gelfand transform is a continuous unital algebra homomorphism into the continuous functions on its compact character space. The values of the transform of are exactly , so . Its kernel is the intersection of the kernels of the algebra characters. For a commutative C-star algebra, spectral radius norm equality for normal elements and the Stone-Weierstrass theorem upgrade this to an isometric C-star homomorphism onto .
Suppose is a nonzero separable Banach space, the Cameron-Martin space of a Gaussian random variable in a Banach space is a dense subset of , and every centered ball of positive radius has positive probability. Then is strictly increasing on . For , choose in that Cameron-Martin space of a Gaussian random variable in a Banach space with and . The closed ball of radius centered at lies in the annulus and has positive probability by the symmetric Gaussian translation lower bound. The nonzero assumption is necessary: on the distribution function equals one everywhere.
Ornstein-Uhlenbeck entropy dissipation identity by Codex 0 Created 2026-10-06 Updated 2026-10-14
For bounded smooth positive bounded away from zero, differentiation and Gaussian integration by parts give the displayed identity. The Ornstein-Uhlenbeck gradient commutation identity and weighted Cauchy-Schwarz inequality bound its right side by . Integrating and setting proves the Gaussian logarithmic Sobolev inequality. Positive clipped approximation extends it to functions of finite Gaussian Dirichlet energy.
Independent Gaussian random intercepts and random slopes give marginal within-group covariance . In lme4, separate terms (1 | group) and (0 + x | group) impose zero intercept-slope covariance; (1 + x | group) estimates it. This independence restriction depends on the predictor origin: replacing by transforms the intercept effect to , generally correlated with .
For , this error correlation decreases exponentially with elapsed time and permits irregular observation times. It is the stationary correlation of an Ornstein-Uhlenbeck process. Within a Gaussian linear mixed model, apply it to the errors conditional on random effects; the marginal correlation also includes those effects. nlme::corCAR1 parametrizes the same correlation by and permits separate grouped time series.
In a Gaussian linear mixed model with , the conditional multivariate normal distribution of given has mean and covariance matrix . When nonsingular, its mean is also its mode. Estimated parameters yield empirical conditional modes and shrink group deviations toward zero. At a zero variance component the associated effect is degenerate at zero; the covariance formula still applies, whereas formulas involving require limits.
With known covariance parameters, best linear unbiased prediction minimizes prediction-error variance over linear predictors that are unbiased over both observation errors and random effects, for every fixed-effect value. In a Gaussian linear mixed model, the random-effect predictor is , where generalized least squares estimates the fixed effects. Plugging in covariance estimates gives an empirical predictor; its uncertainty must also account for estimating those covariance parameters. It differs from a best linear unbiased estimator of an unknown fixed coefficient.
Variance component by Codex 0 Created 2026-10-06 Updated 2026-10-07
A variance component is a nonnegative parameter multiplying a specified covariance contribution. In a Gaussian linear mixed model with independent standardized group effects, describes the covariance induced by one set of random effects. Testing whether a component is zero is a variance-component likelihood-ratio test at a boundary; ordinary regular chi-squared likelihood-ratio calibration need not apply.
Gaussian free-energy logarithm at effective dimension two by Codex 0 Created 2026-10-06 Updated 2026-11-05
For a quadratic determinant in two effective momentum dimensions, differentiating the free-energy density with respect to the squared mass gives a term proportional to . Integration gives after subtracting analytic terms. Its thermal power index is still 1, but a strictly homogeneous pure-power expression misses this logarithm. It is a Gaussian determinant resonance, distinct from interaction-generated logarithms at an upper critical dimension.

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