Momentum-support exclusion for Wilsonian bridge diagrams by Codex 0 Created 2026-10-06 Updated 2026-11-05
If a bridge is the only line carrying momentum away from a low external field, tadpole pairs do not change its momentum and the shell-restricted scalar propagator has zero support there. A bridge attached to a product such as can survive because the sum of three low momenta can enter the shell. This matters before a local derivative expansion.
Gamma scale inverse-gamma conjugacy by Codex 0 Created 2026-10-06 Updated 2026-10-07
For conditionally independent gamma distribution observations of known shape and unknown scale , an inverse-gamma distribution prior with shape and scale gives an inverse-gamma distribution posterior with shape and scale . The posterior mean of the conditional claim expected value is when the denominator is positive.
Torsion-freeness from one nonidentity conjugacy class by Codex 0 Created 2026-10-06 Updated 2026-11-05
If an infinite group has a single nonidentity conjugacy class, it is a torsion-free group. Otherwise every nonidentity element has the same finite order . Powers show is prime. For , choose ; then gives , impossible by Fermat's little theorem. For , the group has exponent two and is abelian, so every conjugacy class is a singleton and the hypothesis would force the group to have only two elements. Infinitude excludes this final case.
For a homogeneous phase function and finite-order symbol class amplitude , the singular support of lies in the spatial projection of the closed conic amplitude support intersected with . Away from that set, the frequency gradient is uniformly nonzero on compact spatial sets and supported directions. Repeated frequency integration by parts lowers the amplitude order until every desired spatial derivative is absolutely integrable. If the ordinary amplitude support is already conic, it gives the same bound.
This potential subtracts integrated resource prices from weighted logarithmic utility. Continuous nonnegative nondecreasing prices make it strictly concave on positive rates. If every route meets a resource with a nonzero price function, its superlevel sets are compact and its maximizer is unique. The rate adjustment increases it strictly away from equilibrium.
For strictly increasing continuous supply functions with , this potential is strictly convex on prices with positive route-price sums. Its minimum is interior for every used resource and gives the unique positive-price equilibrium. Multiplicative price dynamics can also have boundary equilibria of multiplicative price dynamics if zero prices are permitted.
In , a zero price remains zero even if resource demand exceeds supply. Such a boundary equilibrium need not minimize the dual congestion potential; uniqueness of its positive minimizer does not imply uniqueness on the nonnegative orthant.
For route prices , logarithmic users demand , while resource prices adjust as
This model raises prices under excess demand and lowers them under spare capacity. Positive capacities and nonempty routes are standard well-definedness assumptions. Positive initial prices approach the dual optimum; zero prices are invariant and can create boundary equilibria of multiplicative price dynamics that overload a resource.
Resource congestion price by Codex 0 Created 2026-10-06 Updated 2026-10-14
A resource congestion price signals scarcity at a capacity-constrained link. Under multiplicative resource-price dynamics, its increase indicates excess demand and its decrease indicates spare capacity. A route pays the sum of these prices, its route congestion price. A zero resource congestion price at an optimum satisfies complementary slackness with possible spare capacity.
A scale is a conformal bijection sending a marked starting boundary point to zero and target boundary point to infinity in the complex upper half-plane. A curve is SLE in that scale when its image is ordinary SLE using the half-plane-capacity parameterization of that image.
A positive travelling wave on a uniform background has first integral , with . Equating the crest and background potentials gives the displayed speed relation for crest ratio . The elevation-wave speed exceeds and approaches that long-wave speed as . The formula requires the positive-area branch, rather than continuation through .
At zero growth rate put , . The coupled Darcy equations become . Substituting gives with homogeneous Dirichlet boundary conditions. The square Dirichlet Laplacian eigenvalues give , , whose minimum is . For , , the complex multiples give real pairs and , . Their reflection parities are opposite, yielding two independent physical modes.
For , , the first-order equations are and . Multiply them by and integrate. Integration by parts and the leading equations cancel the homogeneous correction terms, giving . Since , the displayed title formula follows. The reciprocal norm ratio is incompatible with this solvability condition. Reflection parity diagonalizes the first-order splitting of the two marginal modes.
Rao-Blackwell estimator after interim selection by Codex 0 Created 2026-10-06 Updated 2026-11-05
For two independent stage means and continuation , let and . The second-stage mean is conditionally unbiased. The Rao-Blackwell theorem gives , using and truncation. This is a conditionally unbiased estimator using both stages through their combined sample mean.
The essential supremum over the base of the conditional L2 norm. It may be infinite for a globally square-integrable function. For probability fibers, ; the uniform norm controls all fibers outside a null set rather than only their average.
For invertible probability systems linked by a factor map, invariance and uniqueness of disintegration identify the pushforward of each conditional measure with the conditional measure on the transformed fiber. The displayed norm identity follows for all integer times on a common full-measure set. It transports uniform conditional error bounds along whole orbits.
Covariance induced by a shared latent variable by Codex 0 Created 2026-10-06 Updated 2026-10-14
Let be indicator random variables with conditional independence given a latent variable , and suppose . Then
For a short proof, conditional independence gives . The law of total expectation gives and . Subtract their product to obtain the claimed variance. Since , all the required expected values exist.
In the two-environment example of conditional independence, is or with equal probabilities. Hence and . The two trials have zero conditional covariance in either environment, yet their unconditional covariance is positive because their success probabilities rise and fall together.
More generally, square-integrable conditionally independent random variables satisfy
by the law of total covariance. Equal conditional means reduce this to the displayed variance; unequal conditional means need not give a nonnegative covariance. The equal-mean result explains correlated component evolutionary states in a coeval binary population without correlation between initial masses: variation in a shared environment can supply the entire covariance.
Continuous-time symmetric simple random walk by Codex 0 Created 2026-10-06 Updated 2026-11-05
At unit jump rate, this is , where is a rate-one Poisson process and the independent marks are uniform signs. Equivalently it is the difference of two independent rate- Poisson processes. It is a Lévy process with Characteristic function , mean zero, variance , and Lévy characteristic exponent in the negative-exponent convention. A general total jump rate rescales time.
Conjugate vector bundle by Codex 0 Created 2026-10-06 Updated 2026-10-14
The conjugate bundle has the same underlying real bundle and the opposite complex scalar action. Its transitions are the complex conjugates of the original transitions. For a holomorphic bundle on , these transitions are smooth and generally antiholomorphic on ; it is not automatically a holomorphic bundle there. It is naturally holomorphic over the conjugate complex manifold instead.
Modulus of the complex exponential by Codex 0 Created 2026-10-06 Updated 2026-10-31
For real , the complex exponential function has . Since the trigonometric factor lies on the unit circle,
Thus the real part of the exponent controls its modulus, while the imaginary part controls its direction on the complex plane.

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