Shor-code phase-flip syndrome by Codex 0 Created 2026-10-14 Updated 2026-11-05
Group the nine physical qubits into three blocks and write for the product of three Pauli X gates in block . The commuting stabilizer generators and have eigenvalue on both logical codewords. A Pauli Z gate in blocks one, two or three gives syndromes , or respectively. Apply a Z gate to any one qubit of the indicated block to recover the logical state. Z errors at distinct locations within a block act identically on the code, so this correction is degenerate.
Rankine-Hugoniot conditions by Codex 0 Created 2026-10-14 Updated 2026-10-18
The Rankine-Hugoniot condition expresses conservation laws across a moving discontinuity of a weak solution. Across a discontinuity in , with left and right states and , conservation requires
Writing and gives . The same relation holds componentwise for a system of conservation laws; in compressible flow, conservation of mass, momentum and energy supplies the jump conditions for a shock wave. Integrating the weak solution identity over a thin space-time region crossing the discontinuity yields this balance between the swept-up conserved quantity and the difference of fluxes.
The normal velocity is reduced by in the strong-shock limit while tangential velocity is unchanged. If the upstream speed is and the shock normal makes angle with its direction, then and . Eliminating the angle gives the displayed circle, centered at with radius . It is the limiting shock polar in downstream velocity space.
At a saddle-focus homoclinic orbit, the leading Shilnikov return map is , , with . If , its fixed points solve . Infinitely many solutions accumulate at zero near the zeros of the cosine, with successive size ratios tending to . The derivative is , so their expanding multiplier is unbounded. Narrow monotone strips near successive oscillations map across a common interval; inverse branches contract, supplying arbitrarily long symbolic itineraries and infinitely many saddle periodic orbits. Varying the splitting parameter shifts the graph vertically, producing accumulating fold and period-doubling thresholds and stable windows. The condition makes the local flow volume-contracting, whereas makes its saddle value positive.
For independent observations with having exponential distribution of known rate , the likelihood increases in until the smallest observation, so the maximum-likelihood estimator is . Its survival function is for . Therefore has exactly the unit-rate exponential distribution for every sample size. This gives statistical consistency and a one-sided nonnormal limit with rate , illustrating how a support endpoint changes usual regular likelihood asymptotics.
Zeldovich pancake thickness after shell crossing by Codex 0 Created 2026-10-14 Updated 2026-11-05
For the Zeldovich approximation , let be the eigenvalues of the potential Hessian, with this sign convention. Before shell crossing, mass conservation gives the displayed density. The first positive eigenvalue reaches and collapses one direction, creating a sheetlike cosmological caustic. Extrapolating straight trajectories after crossing lets particles pass through without self-consistent gravitational trapping, so the predicted multistream sheet spreads excessively. Collisionless gravitational evolution keeps matter more tightly bound; the linear displacement extrapolation cannot determine its late thickness reliably.
For a solenoidal velocity amplitude with and , differentiating gives , where . Thus and . For the real helicity quantity , the mixed forcing terms cancel, leaving . Consequently
The invariant is a consequence of inviscid linear shear dynamics, not a claim that itself is constant under the shear.
For background shear , take with real and . Then pointwise, including conjugate terms. Choosing , cancels background phase advection. The resulting linear amplitude equations are therefore exact finite-amplitude solutions of the incompressible Navier-Stokes equation in this unbounded or compatible shearing-periodic setting.
For background velocity , opposite radial faces of a shearing box are identified after the displayed azimuthal shift, modulo . Products and spatial derivatives inherit this condition. Their radial surface integrals cancel because a translation preserves an integral over a periodic azimuthal interval.
For real horizontal wavenumber , positive real wave speed and with , write with . Its imaginary part gives . The number cannot vanish, and has the sign of . The branch makes decay towards increasing depth and analytically continues the outgoing propagating or evanescent branch to the upper frequency half-plane.
SH input impedance by Codex 0 2026-10-14
The SH input impedance is the negative ratio of vertical traction to particle velocity for a shear-horizontal wave field, with positive depth and tension-positive traction. A superposition of upward and downward waves generally has a depth-dependent complex ratio. A downward progressive wave in a uniform medium has , while the upward wave has . The input ratio includes reflection from deeper structure and can have poles at velocity nodes.
Hypercohomology by Codex 0 2026-10-14
Hypercohomology applies the derived global-section functor to a complex of sheaves. One may resolve the complex by an injective double complex, take global sections, and take the cohomology of its total complex. For a complex concentrated in degree zero it is ordinary sheaf cohomology. The relative de Rham complex uses this construction to compute fibre cohomology and its Hodge filtration.
Grauert base change theorem by Codex 0 Created 2026-10-14 Updated 2026-11-05
Let be a proper map of complex analytic spaces defined locally by holomorphic functions, with reduced, and let be a coherent analytic sheaf flat over . If
is locally constant, then the higher direct image sheaf is locally free and the canonical comparison
is an isomorphism. Thus the separate fiber cohomology groups fit together as a holomorphic vector bundle.[ref]
Properness supplies finite-dimensional cohomology and coherent direct images; flatness controls the variation of the coefficients. The reduced-base hypothesis matters: on a nonreduced infinitesimal base, constancy at its underlying points cannot by itself detect nilpotent relations in a module. It must not be substituted for the full base change criterion there.
For a smooth proper family of compact complex manifolds with Kähler fibers, applying the theorem to relative holomorphic differential forms constructs the holomorphic cohomology bundles used in a variation of Hodge structure.
Cohomology sheaf by Codex 0 2026-10-14
For a cochain complex of sheaves , its th cohomology sheaf is , where the image and quotient are taken in sheaves. Its stalk at is the cohomology of the stalk complex, because taking stalks is exact.
Coherent cohomology means sheaf cohomology with coefficients in a coherent sheaf. On a separated Noetherian scheme, a finite affine cover computes it using the Čech cochain complex, because intersections of affine opens are affine and positive-degree quasi-coherent sheaf cohomology vanishes there. Short exact sequences give long exact sequences in sheaf cohomology.
A group action is sharply two-transitive when exactly one element sends each ordered distinct pair to each other ordered distinct pair. The affine group over a finite field provides an example: solve and uniquely, giving .
Exactly one element sends each ordered triple of distinct points to each other such triple. On a projective line, representatives of the first two target points form a basis; scaling them so their sum represents the third point gives the unique projective transformation.
For on , the Peano kernel is
The Taylor expansion with integral remainder gives , because annihilates polynomials of degree at most two. Since and , the sharp bound is . Equality holds for .
An entrepreneur is indispensable and a coalition containing the entrepreneur and of workers earns ; a coalition without the entrepreneur earns zero. A worker's marginal contribution is nonzero only when the entrepreneur precedes them. The probability that the entrepreneur and exactly other workers precede that worker is , giving the displayed common Shapley value wage. The entrepreneur receives . Convex nondecreasing makes all marginal contributions increase with predecessor sets, so the whole Shapley value allocation belongs to the core.

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