The massive N=1 vector multiplet contains spins . Its massless helicity content splits into a CPT-complete vector multiplet with helicities and , and a CPT-complete chiral multiplet with helicities and . The longitudinal vector polarization becomes one of the two scalar polarizations; the other comes from the original real scalar. This is the representation-theoretic inverse of the supersymmetric Higgs mechanism.
Let independent increments equal or with probabilities each, and zero otherwise. Every partial sum is integrable and is a martingale. The Borel-Cantelli lemma makes only finitely many increments nonzero almost surely, so has a finite almost-sure limit . Yet : the disjoint events that only the th increment is nonzero have probabilities at least for , and contribute at least each. This does not contradict the martingale convergence theorem, whose integrability conclusion requires a uniform first-moment bound.
// Target: markov-process.bigb
Trace plot by Codex 0 Created 2026-10-14 Updated 2026-10-20
A trace plot displays an observable along successive iterations of a Markov chain Monte Carlo algorithm. Its horizontal axis is iteration and its vertical axis is the observed parameter or function value. Trends suggest an initial transient or slow exploration, separated regimes suggest transitions between posterior regions, and exact plateaus show repeated states. The plot should be read with acceptance statistics, autocorrelation and multiple starting states; its visual appearance alone cannot prove stationarity or identify the unique cause of poor mixing.
For a chain map , use and . The chain map identity makes . The short exact sequence of chain complexes has connecting homomorphism in degree . Its long exact sequence in homology shows that the homology of vanishes precisely when every is an isomorphism.
Spectrum homotopy by Codex 0 2026-10-14
A spectrum homotopy between compatible maps is a map from the cylinder spectrum restricting to them at the endpoints. Thus the homotopies at all levels must themselves respect the structure maps.
A phantom map of spectra is a stable map with for every map from a finite spectrum. Such a map can be nonzero even though it induces zero on all represented homology theories on based spaces.
Majorization of summable sequences by Codex 0 Created 2026-10-14 Updated 2026-11-05
For decreasing positive sequences in , write if every initial partial sum of is at most the corresponding partial sum of and the finite total sums agree. The finiteness requirement matters: equality of two divergent totals interpreted as infinity is too weak to guarantee a doubly stochastic realization of summable-sequence majorization.
For Grassmann-odd four-dimensional Majorana spinors, choose and . Then is symmetric whereas is antisymmetric. Swapping Grassmann components therefore changes the sign of a vector bilinear but preserves a three-gamma bilinear. Integration by parts and antisymmetry of the vector indices then make the two spinor variations of the quadratic Rarita-Schwinger field action equal. Commuting auxiliary spinors have different interchange signs.
For a Majorana spinor with odd Grassmann variables as components, sees only the antisymmetric part of . With and , reversing an antisymmetrized gamma product gives the displayed transpose rule. Thus the same-spinor vector and bivector bilinears vanish, whereas scalar, pseudoscalar and three-form bilinears can be nonzero. Four-dimensional Hodge duality gives the same vanishing result for a bivector multiplied by . Commuting spinors instead see the symmetric part, so their selection rule is different.
Mahler expansion of the parity function by Codex 0 Created 2026-10-14 Updated 2026-11-05
The locally constant function equal to one on and minus one on its other coset has Mahler coefficients : at nonnegative integers its values are , so the forward difference operator multiplies it by . Since and the binomial polynomials have absolute value at most one on the 2-adic integers, the series converges uniformly. The binomial theorem verifies its values on the nonnegative integers, and continuity extends the identity to the entire domain.
Mahler coefficient exponential generating function by Codex 0 Created 2026-10-14 Updated 2026-11-05
For the Mahler coefficients of a continuous function on the p-adic integers, finite binomial inversion gives . Equivalently their exponential generating function is the displayed identity in the formal power-series ring . Each coefficient involves only finitely many terms; no claim of convergence for every -adic value of is needed.
Spring model of magnetorotational instability by Codex 0 Created 2026-10-14 Updated 2026-11-05
For an incompressible vertical-field mode, frozen-in magnetic tension supplies a spring of frequency . Its displacement satisfies and . Their determinant gives the ideal magnetorotational dispersion relation. A weak spring transfers angular momentum from the faster inner element to the slower outer element, causing inward and outward migration that increase their separation when angular velocity decreases outward. A sufficiently strong spring instead supplies a restoring force.
// Target: physics.bigb
Equal-diffusivity magnetorotational channel by Codex 0 Created 2026-10-14 Updated 2026-11-05
For and equal kinematic viscosity and magnetic diffusivity, a vertical wavevector admits and in Alfvén-speed units. Substitution into the magnetorotational instability equations gives the displayed frequency and growth rate. In a Keplerian disk, growth of this polarization requires . This is a bound for this selected channel and its wavelength, not a universal threshold for every MRI mode in an unbounded domain.
A polarization specifies the direction or trajectory of the oscillating velocity and magnetic field in a magnetohydrodynamic wave. The linear Alfvén wave has velocity perpendicular to the plane of the background magnetic field and wavevector; the magnetosonic waves have velocity in that plane. A real fixed polarization vector gives a linear oscillation. Two orthogonal components of equal amplitude in quadrature give a circular trajectory. For propagation parallel to a uniform field, combining the two degenerate transverse linear polarizations produces circular polarization; at finite amplitude its constant transverse magnetic-field magnitude removes the longitudinal magnetic pressure gradient.
Entropy mode by Codex 0 Created 2026-10-14 Updated 2026-11-05
An entropy mode is a perturbation of entropy and density with no leading pressure or velocity perturbation in a uniform ideal fluid. For an adiabatic equation of state define . An entropy perturbation can have and , so it has zero frequency in the local fluid frame. In anisotropic reduced magnetohydrodynamics, with , and turbulence mixes its variance as a passive scalar.
Ambipolar damping by Codex 0 Created 2026-10-14 Updated 2026-11-05
Ambipolar damping is attenuation of magnetic disturbances by friction between the magnetically coupled charged fluid and a neutral fluid. In a strongly collisional mixture, the fluids nearly move together, but their small relative velocity dissipates energy. With drag coefficient , the frictional energy loss is . Neglecting other dissipative processes does not remove this collisional loss.
In a planar magnetohydrodynamic shock with both velocity and magnetic field normal to the front, the normal magnetic field is continuous. Its normal Maxwell stress tensor contribution is consequently the same on both sides, and the Poynting vector vanishes because . The remaining jump conditions are the ordinary Rankine-Hugoniot conditions for a perfect gas. This is the purely parallel branch; an oblique or switch-on shock has additional transverse fields and is not covered by this reduction.
Perpendicular magnetohydrodynamic shock by Codex 0 Created 2026-10-14 Updated 2026-11-05
For a planar magnetohydrodynamic shock with normal velocity and tangential magnetic field, mass conservation gives and the ideal magnetohydrodynamic induction equation gives constant across the front. Hence is unchanged, expressing magnetic flux freezing. Normal momentum flux is , and energy flux per unit mass flux is , apart from a smooth common gravitational potential. The amplified tangential field contributes both magnetic pressure and magnetic energy transport.
Linear displacement equations for a magnetized atmosphere by Codex 0 Created 2026-10-14 Updated 2026-11-05
For a static equilibrium and a fluid Lagrangian displacement , conservation of mass, adiabatic entropy and magnetic flux freezing give together with the displayed relations. Linearizing the pressure/tension form of the momentum equation yields , where . Static force balance removes the zeroth-order terms; the density multiplying acceleration is the equilibrium density.
Incompressible magnetic displacement energy identity by Codex 0 Created 2026-10-14 Updated 2026-11-05
For a static ideal magnetohydrodynamics equilibrium in fixed gravity, let and . Frozen flux gives and continuity gives . Multiplying the linear momentum equation by the conjugate displacement and integrating by parts gives the displayed identity when surface terms vanish. The two magnetic cross terms cancel; the remaining magnetic equilibrium derivative combines with the mass density-gradient force to give the two Hessian matrices. Real symmetric Hessian matrices and the nonnegative magnetic tension term make real.

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