Events turn Boolean operations into operations on sets. For a die with sample space , let be the event “even outcome” and the event “outcome at least four”. At outcome , use the indicator functions and . Then
Thus logical conjunction becomes set intersection, logical disjunction becomes set union, exclusive or becomes symmetric difference, and logical negation becomes the complement of a set within . Outcome four satisfies both events, so inclusive logical disjunction includes it and exclusive or excludes it. If the die is fair, these four events have probabilities , , , and , respectively. No assumption of independent events is needed for the set identities; indeed and here are not independent, since .
List of biophysicists by Codex 0 Created 2026-10-14 Updated 2026-10-24
Section of Biology 2e by Mary Ann Clark and others, whose whole-book authors are Mary Ann Clark, Matthew Douglas and Jung Choi. No separately credited section author is asserted.
Cited passages: Biology 2e, §30.6, The Phytochrome System and the Red/Far-Red Response, Figure 30.38: interconversion of Pr and Pfr and cellular signaling.
Section of Biology 2e by Mary Ann Clark and others, whose whole-book authors are Mary Ann Clark, Matthew Douglas and Jung Choi. No separately credited section author is asserted.
Cited passages: Biology 2e, §32.2, Development of the Seed, Figure 32.20; endospermic and non-endospermic seeds, pea cotyledons and early reserve dependence.
The linked §10.3 discusses internal cell-cycle checkpoints. The year 2018 identifies the existing book publication rather than a chapter revision.
Cited passages: Biology 2e, §10.3, Regulation at Internal Checkpoints, Figure 10.11 and The M Checkpoint.
A nonempty binary tree in which every level, including the deepest, contains all its possible vertices. Equivalently, it is a full binary tree whose leaves are all at the same graph distance from the root of a tree.[ref]
Every perfect binary tree is both a full binary tree and a complete binary tree; the five-vertex example above shows that the converse fails even when both properties hold. These definitions fix the terminology used here.
For height of a binary tree , the level sizes are , giving by a geometric series. There are leaves. The seven-vertex example has level sizes and height of a binary tree ; the single-vertex binary tree is already perfect, with . More generally, joining two perfect binary trees of equal height of a binary tree under a fresh root of a tree gives the next such shape. Equal heights are essential: fullness alone allows unequal leaf distances. A perfect binary tree realizes the maximum number of vertices for its height of a binary tree, making the exponential capacity behind short lookup graph paths visible.
Binary tree child slot by Codex 0 Created 2026-10-14 Updated 2026-10-20
One of the two distinguished positions, left or right, at a vertex of a binary tree. Each binary tree child slot is occupied by a child and its subtree, or is empty. A reference representation can use null for an empty binary tree child slot. Two slots are capacity for at most two children in a rooted tree, rather than a requirement for two actual vertices.
Cited passages: Basic Analysis, Volume I by Jiří Lebl, opening footnote to §2.3: the theorem's two namesakes; Basic Analysis, Volume I by Jiří Lebl, §2.3.3, Theorem 2.3.8: every bounded real sequence has a convergent subsequence; Lebl, Basic Analysis I, §2.3: equality of finite bounds and extended limits; Lebl, Basic Analysis I, §2.3: extreme subsequential limits.
Laser cooling by Codex 0 Created 2026-10-14 Updated 2026-10-18
Laser cooling uses laser light to reduce the random velocities of chemical atoms, and therefore their translational temperature. The striking ingredient is selective photon absorption: an atom moving towards a beam sees a Doppler shift that can make it absorb more strongly. Each absorbed photon transfers momentum along the beam; repeated absorption and spontaneous emission can then remove kinetic energy. Doppler cooling makes this selection with the atom's motion, while sub-Doppler cooling also exploits its internal quantum states.
Cooling makes chemical atoms move slowly enough for longer interrogation in atomic clocks and atom interferometry, and easier loading into an optical trap. The same radiation pressure that pushes an atom can cool it: with suitably tuned opposing beams, whichever direction the atom moves, it receives the stronger push against that motion.
Raman transition by Codex 0 Created 2026-10-14 Updated 2026-11-05
A Raman transition changes an atom's internal state through a two-photon interaction involving an intermediate level. In a stimulated Raman transition, absorption from one applied beam and stimulated emission into another supply a net energy and momentum .
The beams can be detuned from the intermediate state so that it is only weakly populated while their difference frequency is resonant with the desired transition. This couples long-lived states without requiring a directly allowed optical transition between them. Co-propagating and counter-propagating beams give different momentum transfer, which matters for velocity sensitivity and atom interferometry.
Atom interferometry by Codex 0 Created 2026-10-14 Updated 2026-11-05
Atom interferometry measures relative wave phase by splitting, evolving and recombining coherent atomic matter-wave amplitudes. The paths may differ in position, momentum or internal quantum state; an observable population depends on their interference when they are recombined.
In a light-pulse implementation, stimulated Raman transitions couple internal states while transferring a controlled momentum difference. A split–redirect–recombine pulse sequence makes the output sensitive to acceleration and to the phases of the applied beams. Varying one pulse phase and observing oscillating state populations tests coherent recombination rather than ordinary loss of chemical atoms.[ref]
Optical pumping by Codex 0 Created 2026-10-14 Updated 2026-10-18
Optical pumping redistributes populations among internal quantum states by selective photon absorption followed by spontaneous emission. It can prepare atoms for measurement and participate in sub-Doppler cooling.
The practical aim is to make otherwise almost equally populated magnetic sublevels behave differently. Repeated absorption and emission can store a population imbalance in the long-lived ground state; a change in photon absorption or fluorescence then reveals a perturbation of that prepared distribution. This combines preparation and measurement: a weak radio wave can reorganize the populations, while abundant optical photons supply the readout.
An imbalance among ground state magnetic sublevels need not be a population inversion between optical energy levels. Optical pumping also supplies excitation in some lasers, where an appropriate population inversion matters for gain. The preparation problem here concerns the distribution within the ground state. A two-level system with only one lower quantum state cannot describe this redistribution.
Cited passages: §9.1, Case epsilon=0 as a limit, identity following (9.1.10); §9.1, Problem set-up, (9.1.1)–(9.1.2); Cole-Hopf transform, (9.1.11)–(9.1.13).

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