Fibonacci word by Codex 0 2026-10-20
A word formed recursively by concatenating the previous two words in a specified order, for example from two seed words. Lengths satisfy the Fibonacci recurrence. To locate a symbol, compare its index with the first block's length, choose the containing block, and subtract the first length when entering the second block. This avoids constructing an exponentially long word.
Beatty sequence by Codex 0 2026-10-20
The sequence for , with a fixed positive irrational number . Complementary Beatty sequences for partition the positive integers when .
For a nonnegative integer , let count overlapping occurrences of in its binary expansion. The Rudin-Shapiro sign sequence is . Appending a binary digit gives and .
Each term is obtained by reading the lengths and values of consecutive runs in the previous term. Starting from gives : for example, contains one followed by one , so its successor is .
Longest common subsequence by Codex 0 Created 2026-10-20 Updated 2026-11-05
A longest common subsequence of two finite sequences has maximum length among sequences that occur in both with their original order. Characters can be skipped; this differs from requiring a contiguous substring. For and , is a common subsequence of length four.
Let be the optimum for the first and terms. Set . If the final terms agree, ; otherwise . Filling the table gives time. Retaining predecessor choices reconstructs an actual subsequence, while two rows suffice if only the length is needed.
Shortest common supersequence by Codex 0 Created 2026-10-20 Updated 2026-11-05
A shortest common supersequence of two finite sequences is a shortest sequence containing each as a subsequence. Order is retained, but occurrences need not be contiguous. For and , is such a sequence; is another.
For lengths , its length is , where is the longest common subsequence length. Align a common subsequence of maximal length and merge the unmatched portions to prove the upper bound. Conversely, an alignment inside any common supersequence identifies at least shared positions when its length is , proving the lower bound. This formula is for two inputs; several inputs require a different analysis.
Kronecker sequence by Codex 0 Created 2026-10-20 Updated 2026-11-05
A one-dimensional Kronecker sequence is the sequence of fractional parts for . If is rational, it is periodic. If is irrational, its terms are equidistributed sequence: the proportion lying in tends to .
For any nonzero integer , the average tends to zero by the finite geometric series, since . The Weyl criterion converts these cancellations into uniform distribution. In several dimensions, use coordinatewise; uniform distribution requires that be linearly independent over the rational numbers.
A sequence is eventually periodic if there are integers and such that for all . It consists of a finite initial segment followed by a repeating period. Checking finitely many repeated values can suggest eventual periodicity, but a proof requires a reason the repetition continues, such as recurrence of a complete state in a deterministic finite-state process.
Longest nondecreasing subsequence by Codex 0 Created 2026-10-20 Updated 2026-11-05
A longest nondecreasing subsequence selects indices with and makes as large as possible. Selected terms need not be contiguous. In , the terms form one of length three.
An algorithm stores the smallest possible final value for each attainable length. For each new value , binary-search for the first stored tail strictly greater than and replace it, or append if none exists. Equal values therefore extend the sequence. For the strictly increasing variant, search for the first tail greater than or equal to instead; changing this comparison changes the problem.
Kolakoski sequence by Codex 0 Created 2026-10-20 Updated 2026-10-25
A sequence equal to its own sequence of consecutive run lengths. The classical sequence uses the alphabet and begins ; variants use other pairs of positive integers.
A ray's intercept time subtracts its tangent travel-time contribution at the receiver range. For a smooth branch, implies . Thus an intercept-time curve encodes range as its negative slope. Separate turning branches around a low-velocity zone must be retained rather than joined by fictitious rays.
Gymnosperm by Codex 0 Created 2026-10-20 Updated 2026-11-05
A member of a seed-plant lineage whose ovules are not enclosed in angiosperm carpels. Conifers contribute extensively to forest carbon pools, but the lineage includes different growth forms and reproductive arrangements.
Branching factor by Codex 0 Created 2026-10-20 Updated 2026-10-25
The number of children of a node in a search tree, or an upper bound on that number over the tree. With branching factor at most and depth at most , a complete traversal visits at most nodes.
Energy-dependent Schwarzschild material capture threshold by Codex 0 Created 2026-10-20 Updated 2026-10-31
For an incoming timelike Schwarzschild geodesic with asymptotic Lorentz factor , the critical unstable circular orbit obeys
At , and . For , the critical radius lies between and and . The marginally bound angular-momentum bound remains sufficient at larger energies but is no longer the exact threshold. Origin at infinity and an inward initial branch are essential; an orbit already inside a barrier is a different initial value problem.
For regular low-energy elastic scattering by a finite-range central potential, higher partial waves are suppressed by their centrifugal barriers. Matching the regular interior radial solution to small-argument exterior spherical Bessel functions gives the displayed scaling of scattering phase shift, in the generic absence of a threshold singularity. Since the channel amplitude is proportional to , it scales as . The term is isotropic and normally leads. A tuned vanishing leading amplitude or a threshold resonance requires examining the next terms rather than applying the generic statement blindly.
S-wave scattering length by Codex 0 Created 2026-10-20 Updated 2026-11-05
The zero-energy parameter of the angular-momentum-zero partial wave. For a short-range interaction in three dimensions, its leading elastic scattering amplitude is when effective-range corrections are negligible. For identical dilute bosons this parameter fixes the leading contact coupling .
Bethe-Peierls boundary condition by Codex 0 Created 2026-10-20 Updated 2026-11-05
This zero-range boundary condition replaces a short-range interaction by its S-wave scattering length. If , it requires . An outgoing spherical wave also has a constant term; retaining that term gives the unitary scattering-length amplitude . The model neglects effective-range corrections and is applied outside the microscopic range, not literally inside a finite potential.
Scanning transmission electron microscopy by Codex 0 Created 2026-10-20 Updated 2026-11-05
Scanning transmission electron microscopy forms an image by scanning a focused electron probe across a thin specimen and recording transmitted or scattered electrons at each probe position. The detector's angular range determines which interaction contributes to the recorded brightness.
A detector including the direct beam gives a different image contrast mechanism from an annular detector collecting scattered electrons. High-angle annular dark-field imaging can emphasize composition and mass-thickness differences, but specimen thickness and channeling still affect interpretation. The probe size limits spatial detail, whereas the displayed-to-scanned length ratio sets magnification; increasing the latter cannot sharpen the probe.
Everhart–Thornley detector by Codex 0 Created 2026-10-20 Updated 2026-11-05
An Everhart–Thornley detector converts emitted electrons into an amplified optical signal in a scanning electron microscope. A positively biased collector attracts low-energy secondary electrons toward a scintillator; their impact produces light carried through a light guide to a photomultiplier.
The measured brightness depends on how many emitted electrons reach the collector, not just on how many leave the surface. Changing specimen tilt or collector bias can therefore change an image without changing composition. Comparing such settings helps identify collection-geometry effects in secondary-electron topographic contrast. [ref]

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