Topics (384k) Articles (398k) Users (410) Discussions (242) Comments (383) Files (13k) New article
A gapless mode associated with a canonically paired pair of broken symmetry generators. In an isotropic ferromagnet, the nonzero expectation of makes two transverse coordinates one dynamical pair, giving one quadratic magnon branch. Broken-generator counting without this pairing would incorrectly predict two independent modes. This contrasts with the linear phase mode of a superfluid.
For a resting shallow-water strip adjacent to an impermeable coast, conserved linear potential vorticity gives . Decay offshore, matching and conserved volume give outside the strip and inside it. The adjusted velocity is , with zero tangential wall velocity inherited from initial rest and alongshore uniformity.
Exponential limit of surviving geometric branching by
Codex 0 Created 2026-10-07 Updated 2026-10-25
For the stated critical geometric offspring law, the conditional upper tail is exactly for . Its logarithm tends to , proving an exponential distribution limit of rate one without a transform continuity theorem. The unconditional mass at zero tends to one, so survival conditioning changes the relevant limiting population scale.
For a geodesic variation of unit timelike geodesics, proper time normalization holds across the entire variation: . Metric compatibility and then give . Consequently an initially orthogonal deviation vector stays orthogonal. The common normalization is essential: an arbitrary family of affinely parametrized curves with different tangent norms does not imply this conclusion.
In constant sectional curvature , a deviation vector orthogonal to a unit timelike geodesic obeys , where . Therefore is constant, since its derivative is . Its squared length satisfies . In four spacetime dimensions, .
A generalized Bell state is one member of a generalized Bell basis. Its reduced density matrices are both , so it is a maximally entangled state. For these are the four Bell states.
The Bell basis is the two-qubit case of the generalized Bell basis. Its four vectors are the Bell states, and a Bell-basis measurement projects onto them.
A monomial matrix has exactly one nonzero entry in each row and column. It factors as an invertible diagonal matrix times a permutation matrix. Such matrices permute the coordinate axes and normalize the group of invertible diagonal matrices; over very small fields that normalizer can be larger if the diagonal subgroup fails to distinguish the axes.
For weight on , the two-node Gaussian quadrature nodes are roots of , the monic quadratic orthogonal to all linear polynomials. Its weights come from integrating the Lagrange interpolation cardinal functions. Orthogonality gives exactness on cubic polynomials and positive weights.
On with vanishing endpoint fluctuations, the sine-mode eigenvalues are . Divide by the free eigenvalues and use the sine infinite product. The ratio determines the harmonic oscillator transition kernel once the free configuration-space path integral is normalized. Zeros correspond to caustics where the fluctuation operator has a zero mode.
Classical-path factorization of a quadratic path integral by
Codex 0 Created 2026-10-07 Updated 2026-10-20
For a quadratic potential energy, shifting a path to its classical solution leaves an exactly quadratic fluctuation action with homogeneous Dirichlet boundary conditions. The first variation vanishes by the Euler-Lagrange equation. The Gaussian path integral prefactor is an inverse square root of a regulated functional determinant and does not depend on the endpoints. At conjugate times the ordinary formula must instead be read by distributional continuation.
The Fourier transform of a Gaussian and the convolution theorem give this multiplier with the angular-frequency convention . In cycles-per-length frequencies , it is . Each coordinate has variance , and higher frequencies receive stronger attenuation.
For the Maxwell field, the variation is time translation combined with a gauge transformation. With constant , , and the Lagrangian changes by . Its Noether current is directly the time component of the gauge-invariant Maxwell stress-energy tensor, providing the physical energy density without a potential-dependent improvement step.
CP transformation of a non-Abelian gauge connection by
Codex 0 Created 2026-10-07 Updated 2026-11-05
For vector coupling to a Dirac fermion, write the Hermitian color connection . Charge conjugation reverses the vector current and transposes its color matrix, requiring . Combining with parity gives , where . The transpose acts only on color indices; intrinsic fermion phases cancel in the bilinear.
For a Galton-Watson process with one ancestor, the branching extinction probability is the probability that some generation is empty:The equality uses the absorbing state at zero. The complementary branching survival probability is the probability that every generation is nonempty. The Galton-Watson extinction fixed point computes from the offspring distribution.
For , , one ancestor has . Starting instead from ancestors with independent descendant families givesAll families must die out. With three ancestors, eventual extinction has probability and survival has probability ; by generation two, extinction has probability . Extra ancestors change the extinction probability without changing the offspring distribution. [ref]
https://www.uni-muenster.de/Stochastik/lehre/WS1011/SpezielleStochastischeProzesse/Ch_1.pdf. University of Münster branching-process notes, Lemma 1.2 and equation (1.10)
For finite offspring mean , the extinction classification is:
- If , extinction has probability . For example , gives and ; its only fixed point in is .
- If and , extinction also has probability . For example gives and , despite expected generation size in a Galton-Watson process remaining one.
- If , extinction has probability . The value can be zero: if , every individual has at least one child, so an initially nonempty family never becomes empty. In particular gives and .
The critical exception is : every individual has exactly one child, , and forever from one ancestor. Thus but ; a blanket claim that every critical Galton-Watson process becomes extinct would be false. These cases concern the Galton-Watson process with its common offspring distribution and independence assumptions. [ref]
https://www.uni-muenster.de/Stochastik/lehre/WS1011/SpezielleStochastischeProzesse/Ch_1.pdf. University of Münster branching-process notes, Section 1.4, trivial cases and Theorem 1.7
This probability answers whether any lineage persists, which the offspring mean alone cannot quantify in the supercritical case. A branching process conditioned on extinction uses the same fixed point to reweight reproduction and describe families known eventually to die out.
First Galois cohomology unramified outside a finite set by
Codex 0 Created 2026-10-07 Updated 2026-11-05
For a finite Galois module unramified outside a finite set , define as the classes in Galois cohomology whose restriction to inertia is zero at every finite prime outside . This means zero as a cohomology class, rather than zero for every possible representative. Passing to a finite Galois extension on which is constant reduces the finiteness problem to characters with bounded ramification and a finite restriction kernel.
For a Finite Galois extension and a finite-dimensional -space with a semilinear action of its Galois group, the map is an isomorphism. The vectors are invariant and span by the Artin independence theorem. Choosing an invariant -basis then identifies the invariant space with its -span. The proof does not divide by the extension degree.
The mass-to-light ratio compares the mass assigned to an astronomical system with its luminosity in a specified band, often in solar units. A stellar value uses only stellar mass and depends on the stellar population, age, composition and band. A dynamical value can include gas and dark matter, so it need not equal the stellar value. In a halo-to-galaxy mapping, requires the stellar ratio and not the total dark matter halo ratio.
Closed-manifold realization of a finitely presented fundamental group by
Codex 0 Created 2026-10-07 Updated 2026-10-14
Every finitely presented group is the fundamental group of a closed connected smooth manifold in dimension at least four. Build a compact zero/one/two-handle manifold with the generators and relators of the presentation. Disjoint attaching loops can be embedded in its boundary of dimension at least three. The Seifert-van Kampen theorem gives , and the dual relative handle structure makes surjective. Doubling along its boundary gives the amalgam of two copies of along that same surjection, which is again . This construction underlies binary families of nonhomeomorphic Sunada quotients.
A quadratic functional on a real vector space combines a quadratic form , a linear functional and a constant. If is a symmetric bounded bilinear form, its first variation is . For a strictly positive , an existing stationary point is the unique minimizer by the quadratic variational principle for a symmetric positive operator.
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!
Intro to OurBigBook
. Source. We have two killer features:
- 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-calculusArticles 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/derivativeVideo 2. OurBigBook Web topics demo. Source. - 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.
- to OurBigBook.com to get awesome multi-user features like topics and likes
- as HTML files to a static website, which you can host yourself for free on many external providers like GitHub Pages, and remain in full control
Figure 2. You can publish local OurBigBook lightweight markup files to either OurBigBook.com or as a static website.Figure 3. Visual Studio Code extension installation.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. - Infinitely deep tables of contents:
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





