A bound on does not give the same bound on . Even independent standard normal random variables each have uniformly bounded tails while their Gaussian maximum over indices grows at scale . This distinction matters in nonparametric statistics when a shrinking bandwidth permits many spatial windows.
Write a positive continuous local martingale as using its stochastic logarithm. If , its logarithmic bracket must diverge. Otherwise the finite-bracket convergence lemma makes converge finitely and the exponential has a positive limit.
For independent Bernoulli distribution upper-triangular entries of a symmetric zero-diagonal adjacency matrix of a graph, put . For a unit vector , has sub-Gaussian variance proxy at most , by the Hoeffding lemma. Hence . The volumetric bound for Euclidean metric nets gives a -metric net of the unit sphere with at most points. The quadratic form net bound gives on that net. The union bound gives ; integrating this tail proves the displayed expectation bound.
If every counted halo hosts one counted galaxy and the baryon fraction and conversion efficiency are mass-independent without scatter, galactic stellar mass is a constant multiple of halo mass. The galaxy mass function is obtained by changing variable with . Satellites, efficiency variation and scatter prevent this mapping from being generally exact.
Random-walk derivation of stellar relaxation by Codex 0 Created 2026-10-06 Updated 2026-11-05
Small-angle gravitational encounters occur at rate and supply kicks . Independent kick variances add to . Setting the accumulated variance to and using virial scaling gives a stellar relaxation time of order stellar crossing times, with the coefficient dependent on profile and crossing convention.
Virial contraction under stellar evaporation by Codex 0 Created 2026-10-06 Updated 2026-11-05
For an isolated quasistatic cluster with near-zero escape energies, the bound negative energy is approximately fixed. The virial theorem and gravitational radius then imply . A homologous mean density scales as and increases as mass evaporates. Tidal limitation or finite positive escape energies modifies this simple model.
Steinhaus first-moment lower bound by Codex 0 Created 2026-10-06 Updated 2026-11-05
For independent Steinhaus random variables, condition on their acute angles and use the sharp Rademacher second-moment inequality on the sign coefficients . Their squared moduli sum to independently of the angles, so the conditional first moment is at least the same fixed square-root bound. Averaging proves the assertion.
For odd prime , the reduced powers are natural stable cohomology operations. They satisfy , the Cartan formula, and the instability conditions for and for . In particular, a degree-two class has and no higher nonzero reduced power. Stability lets these operations detect distinctions between suspensions whose additive cohomology and cup products agree.
Cartan formula (algebraic topology) by Codex 0 Created 2026-10-06 Updated 2026-10-14
The Cartan product formula says that total Steenrod squares and total Steenrod reduced powers preserve the cup product:
It is named after Henri Cartan and is distinct from Cartan's magic formula for the Lie derivative of a differential form, named after Élie Cartan.
Adem relations by Codex 0 2026-10-06
These mod-two identities rewrite nonadmissible products of Steenrod squares. For example, , , and . In general the sum ranges over and coefficients are reduced modulo two.
An index sequence obeying the displayed inequalities represents an admissible product . Its degree increment is the sum of the indices. The Adem relations rewrite every square monomial in terms of admissible ones, whose Steenrod excess controls universal instability.
For positive in a steady depositing gravity current, the function has a unique minimum at , where and . When there are two positive depth roots: is supercritical flow and is subcritical flow. Differentiating the momentum invariant and using gives
The supercritical depth decreases towards as , whereas the subcritical depth increases like . Because decreases downstream, an initially strict branch never reaches a finite-distance critical point. A critical inlet instead gives a singular depth derivative, so a smooth critical continuation is not justified by this model.
In a bidisperse particle suspension transported by a steady depositing gravity current, species with concentrations and downward settling velocity magnitudes satisfy . Their local particle deposition fluxes are . The local deposited particle-volume fraction belonging to species one is
For and both species present, decreases strictly downstream, since . If , use rather than buoyancy ratios unless . A number fraction additionally divides each species volume flux by its single-particle volume. Integrating deposition over instead gives cumulative weights .
For , take a smooth symbol that turns on increasingly high frequencies in disjoint spatial bumps centered at . Superpolynomially small bump coefficients keep all symbol class estimates valid. The amplitude vanishes near every finite-frequency point over , yet its oscillatory integral has delta singularities at . Closedness of singular support forces a singularity at as well. A bound using only ordinary, rather than closed conic, amplitude support can consequently fail.
For a complete-market investment-consumption problem with constant relative risk aversion utility, the nonlinear wealth-homogeneity coefficient equation may contain . Writing cancels this gradient square against the one from . In the index-driven correlation model the result is , a linear differential equation; the positive economic solution gives consumption .
Admissible adjacent swap of a standard Young tableau by Codex 0 Created 2026-10-06 Updated 2026-10-07
Swapping consecutive labels preserves a standard Young tableau exactly when their cells are incomparable in the row-and-column order. Their contents then differ by more than one in absolute value. These admissible swaps connect all standard tableaux of any fixed shape, as adjacent swaps connect linear extensions of a partially ordered set.
Effective-temperature profile of a zero-torque disk by Codex 0 Created 2026-10-06 Updated 2026-11-05
A Keplerian accretion disk with a zero-torque inner boundary condition and local blackbody cooling has . The Stefan–Boltzmann law uses the flux through one face; the standard thin-disk dissipation flux includes both faces. The scale is a normalization, not the actual temperature at the stress-free inner edge.
If an outer expansion contains and the layer coordinate is , its overlap contains . Matching forces an inner expansion term when that homogeneous profile tends to one in the overlap and vanishes at the boundary. The logarithm multiplies the matching profile, rather than an arbitrary constant.
For closed hyperbolic surfaces of genus , there is a closed proper real-analytic exceptional subset of Teichmüller space such that a surface outside it is determined up to isometry by its unmarked length spectrum, equivalently its Laplace-Beltrami operator spectrum. The analytic part of the proof controls possible spectral matchings using finite determining length data; the geometric part recognizes persistent matchings as changes of marking, using the collar lemma and variations of Fenchel–Nielsen coordinates. Orientation reversal remains invisible to the spectrum.
Pure-radiation constant-pressure heat-capacity singularity by Codex 0 Created 2026-10-06 Updated 2026-11-05
For pure blackbody radiation, depends only on temperature. Constant pressure therefore fixes temperature, so a usual finite constant-pressure temperature derivative is unavailable. In the material gas-radiation limit the specific-heat ratio diverges, although all three stellar adiabatic exponents approach . The radiation index is an adiabatic pressure-volume response, not a finite heat-capacity ratio.

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