Suppose a self-dual set family has level proportions for . Subtract the binomial identity from its biased measure of a set family and pair levels . The difference is
Every term is nonnegative for . A self-dual intersecting family has the required level bounds by the Erdős-Ko-Rado theorem.
Self-dual frame in complex Euclidean coordinates by Codex 0 Created 2026-10-06 Updated 2026-10-14
For , and the standard oriented Euclidean metric, the real and imaginary parts of , together with , span the self-dual two-forms. The printed complex four-form is four times the metric volume form and gives the same orientation.
A densely defined linear operator on a complex Hilbert space is self-adjoint when its adjoint operator has exactly the same domain and agrees there. Symmetry only requires and does not guarantee self-adjointness. A self-adjoint operator is a closed operator with real spectrum. Domains matter for differential operators and unbounded multiplication operators.
Spectral Weyl sequence by Codex 0 Created 2026-10-06 Updated 2026-11-05
For a bounded self-adjoint operator , a spectral Weyl sequence at consists of unit vectors with . Such a sequence exists exactly at points of the spectrum of a bounded operator. If no sequence exists, the shifted operator is bounded below, with closed range and zero kernel. Self-adjointness then makes its range dense, so it is invertible. This spectral criterion is different from the equidistribution Weyl criterion.
Dust gravitational dispersion relation with gas drag by Codex 0 Created 2026-10-06 Updated 2026-11-05
Consider a pressured dust layer in a prescribed Keplerian shearing sheet gas flow, neglecting gas backreaction. Let be its unperturbed surface density, its constant effective random speed with pressure perturbation , and the local angular velocity. Linear gas drag damps dust velocity at rate , where is the aerodynamic stopping time.
For axisymmetric perturbations proportional to with , write and radial and azimuthal velocity amplitudes . The linear mass and momentum balances are
The razor-thin disk Poisson kernel supplies the self-gravity term. The azimuthal coefficient includes advection of the Keplerian shear. Taking the full amplitude determinant gives
At zero drag this factors as , with . The zero root is the branch from which secular gravitational instability can develop when drag is restored. Dividing by before evaluating the determinant would discard that physical mode.
Let , and . The objective
has the exact second-order cone program lift
The cone ordering here is with , matching second-order cone. The small cone is equivalent to . Hence every lifted feasible objective bounds the original one. Choosing , and proves equality. The sign is necessary for this bounding argument; a negative penalty coefficient would allow increasing to lower the lifted objective without bound.
Using a parameter-two barrier for each Lorentz block and a parameter-one logarithmic barrier for each scalar nonnegative slack gives total barrier parameter . The number of derivative rows is , which need not equal the signal dimension . The fidelity norm remains unsquared and negative derivative values remain unpenalized.
For a ring torus of radii , the Gaussian curvature is
It is positive on the outer side, negative on the inner side and zero on the top and bottom circles. The sign contrast expresses two principal curvatures of the same sign outside and opposite signs inside.
If with a deterministic periodic scale and strong white noise of variance , then . Its variance is , still seasonal when varies. A periodic scale model or variance standardization is more appropriate than blindly applying differencing.
Phase registration of screened charged sheets by Codex 0 Created 2026-10-06 Updated 2026-11-05
Two equally modulated charge sheets in identical full-space electrolyte have charging energy per area , where . Its phase-dependent interaction favors a half-wavelength offset, with opposite charge patches facing each other. For an electrolyte gap with negligible exterior displacement response, the energy is instead , with the same minimizing phase. Absolute energies require specified exterior electrostatic interface boundary conditions.
Take , and on . Set . Both functions are smooth and belong to L2 space, and . The strictly increasing reaction has , while
Consequently . This is a minimizer of the screened sine-Gordon energy: it solves the Euler-Lagrange equation and that energy is convex. Thus even the minimizing and smooth hypotheses do not justify the stronger source-size bound. The appropriate general estimate is maximum bound for a monotone reaction term.
A Schwartz-Bruhat function on a non-Archimedean local field is a locally constant, compactly supported complex-valued function, or an element of the Schwartz-Bruhat space. A sufficiently small open additive subgroup leaves it invariant under translation, and only finitely many cosets meet its support.
Scale-and-domain-Markov characterization of SLE by Codex 0 Created 2026-10-06 Updated 2026-10-07
Among Loewner chains with capacity , continuous real driver and initial driver zero, scale invariance and the centered domain Markov property of a chordal Loewner chain characterize Schramm–Loewner evolution with some . Driving-function reconstruction for a chordal Loewner chain turns the hull properties into stationary independent increments and Brownian scaling for the driver. The continuous Lévy process classification then gives , and scaling eliminates . Regularity and parametrization are essential hypotheses of this characterization.
A scaled Schoenfeld residual rescales a Schoenfeld residual using fitted information so that its trend can diagnose departures from a constant coefficient in a Cox proportional-hazards model. A smooth trend against transformed event time estimates a time-dependent coefficient pattern; a flat trend supports the working proportional hazards assumption test.
If the risk set has two subjects with covariate zero and one with covariate one, its hazard-weighted mean is . A zero-covariate event has Schoenfeld function , while a one-covariate event has function . At the true coefficient their probabilities are and , so the conditional expected function is zero.
Periodic-box phase-shift quantization by Codex 0 Created 2026-10-06 Updated 2026-10-20
For a reflectionless scattering wavefunction whose two asymptotic phases differ by , a large periodic box gives . Compared with the free value , away from thresholds. Discrete bound states and phase-branch changes alter mode indexing and must be counted when comparing complete spectra.
Repulsive spherical barrier scattering length by Codex 0 Created 2026-10-06 Updated 2026-10-18
For a barrier of radius and potential , matching the regular inner hyperbolic-sine wave to the outer sine wave gives . The low-energy -wave scattering amplitude is .
Mean-field scalar free-energy scaling by Codex 0 Created 2026-10-06 Updated 2026-10-20
For a scalar quartic Landau free energy with , rescaling gives this minimized scaling form, with and . The two functions minimize . In particular and . Below the transition the equilibrium field dependence has a cusp at zero; pure-phase derivatives are one-sided. The form gives order-parameter critical exponent and magnetic-susceptibility critical exponent .
A scalar spheroidal harmonic is a regular angular solution of ; with it is smooth at both axes. For real , regularity gives discrete eigenvalues . At it reduces to the angular part of a spherical harmonic, with . The sign of the term distinguishes the convention used here.
Shell-restricted scalar propagator by Codex 0 Created 2026-10-06 Updated 2026-11-05
The Gaussian contraction used while integrating out a momentum shell. Its Fourier support lies entirely in that shell. In particular, convolution with a purely low-momentum field is zero. This distinguishes shell Feynman diagrams from unrestricted loop diagrams.
Smooth-cutoff scalar propagator by Codex 0 Created 2026-10-06 Updated 2026-10-14
A smooth-cutoff scalar propagator is the inverse of a positive regulated quadratic kernel. It agrees with the unregulated scalar propagator at low momentum and decreases rapidly at high momentum. Smooth suppression is not identical to vanishing support. Its cutoff derivative is the line weight in an exact renormalization-group flow.

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