For an inextensible planar filament with tailward tangent , a travelling shape has material velocity in stationary fluid. Thus the relative fluid velocity is the displayed vector. With and , a local inertial normal drag has axial component . A positive tangential slip gives the opposite axial force. A prescribed tangential law therefore gives the force-free balance . The weight is part of the constitutive approximation and must be justified separately from its speed exponent.
Linear resistive-force propulsion of a travelling filament by Codex 0 Created 2026-10-14 Updated 2026-11-05
For a periodic inextensible filament, let , , and . The material velocity is . Applying the linear local drag tensor gives thrust . Equating this to head drag gives the displayed speed ratio. Whole spatial periods, or period averages, are needed for . Cauchy-Schwarz gives , with equality only for constant axial tangent projection almost everywhere.
For a heavy spherical head with a much thinner long rigid tail, let be its excess weight, the head translation resistance, and the tail normal translation resistance. Neglect tail mass relative to head mass, sphere rotation resistance relative to tail rotation resistance, and in tail lever arms. In shear , the stable orientation satisfies , , with . Resolving resistive-force theory force and torque balance gives the displayed signed vertical velocity. Since , stronger shear increases towards zero and reduces the downward settling speed. The stable head is below the far tail end. Very large shear can make the neglected sphere-rotation contribution significant.
Four-terminal sensing uses one pair of contacts to carry electric current and a separate pair to sense electric potential difference. The sensing instrument draws negligible electric current, so the voltage drops along its own leads are negligible, and the current-contact drops outside the sensing interval are excluded. A measurement using just two shared leads includes their electrical resistance and contact drops, which can overwhelm the small sample signal in a resistance-versus-temperature experiment for superconductivity. Four contacts do not automatically remove offsets from the thermoelectric effect. [ref]
For a stable offset , let denote the magnitude of the reversed electric current. The measured electric potential differences are and , so subtraction gives the displayed electrical resistance. For example, with stipulated , and , the two readings are and ; their difference correctly recovers . If the offset changes between readings, its change leaves a residual measurement error; the sample and measuring circuit must remain sufficiently stable during reversal.
Finite residual by Codex 0 Created 2026-10-14 Updated 2026-11-05
The finite residual consists of all elements killed by every homomorphism to a finite group. A group is a residually finite group precisely when its finite residual is trivial. Intersecting all finite-index subgroups gives the same result: the normal core of each such subgroup is normal of finite index and lies inside it.
Symmetric-group characters are integer-valued by Codex 0 Created 2026-10-14 Updated 2026-11-05
The character of a Young permutation module counts fixed tabloids and is integer-valued. Dominance order on partitions makes its decomposition into Specht modules triangular with diagonal multiplicity one. Descending induction in any order refining dominance therefore expresses each irreducible Specht character as an integer combination of permutation characters, proving integrality.
Induction ring of symmetric-group characters by Codex 0 Created 2026-10-14 Updated 2026-11-05
The graded abelian group of ordinary virtual characters has product for degrees . Its unit is the trivial degree-zero character. Associativity follows by transitivity of induced representations through the three-factor Young subgroup; commutativity follows by conjugating the block positions. The Frobenius characteristic map identifies this ring with the ring of symmetric functions, sending irreducible Specht characters to Schur functions. This product is different from pointwise multiplication of characters of the same symmetric group.
For the defining SU(2) action , the conjugate row transforms by . Thus is invariant. The alternating invariant tensor satisfies . Choose its inverse ; then . Raising the conjugate index, , gives another defining spinor. The resulting antilinear intertwiner squares to , so the defining representation is a pseudoreal representation.
For the block-rotation maximal torus in the special orthogonal group , the Weyl group acts by permutations and independent inversions of . Its invariant Laurent polynomials are the symmetric polynomials in , hence the polynomial ring in their elementary symmetric polynomials . Restriction of the group representation ring of a compact group is injective because every group element is conjugate into the torus and characters distinguish virtual representations. For the defining complexified representation , the exterior-power characters satisfy . For , its coefficient is plus an integral linear combination of for . Induction puts every in the restriction image, proving equality with the invariant ring and giving polynomial generators .
Decimal preperiod by Codex 0 2026-10-14
The shortest prefix before the repeating tail of a decimal representation. For a reduced fraction with denominator , where is coprime to ten, its length is ; the tail length is given by decimal period from multiplicative order.
For independent uniform orientations in a renovating shear flow, the incident angle relative to each new shear is uniform even after earlier deformations. One interval stretches a unit material line by . Write this as , where and . The angular logarithmic integral gives . Add these independent logarithmic increments to get the displayed rate. At fixed shear rate, small gives and large gives . The unique positive maximum is at , obtained from with .
Renormalization scheme by Codex 0 Created 2026-10-14 Updated 2026-11-05
A choice of renormalization conditions and finite counterterms defines a renormalization scheme. The minimal subtraction scheme removes only regulator poles; the modified minimal subtraction scheme also removes conventional universal constants. Different schemes can assign different values to renormalized couplings while describing the same physical observables after parameters are consistently matched.
Bare mass by Codex 0 Created 2026-10-14 Updated 2026-11-05
The bare mass is the mass parameter in a regulated field-theory action before a renormalization condition relates it to a measured mass. For a scalar, loop self-energy corrections change the propagator denominator to . The pole mass solves for a stable particle. The bare mass generally depends on the regulator when the pole mass is held fixed.
Bare coupling by Codex 0 Created 2026-10-14 Updated 2026-11-05
A bare coupling is an interaction coefficient in a regulated action. It is related to a renormalized coupling through counterterms and any required powers of the renormalization scale. For quartic scalar theory in dimensions, its mass dimension is , and . At fixed regulator, changing while leaving the theory unchanged keeps fixed; the corresponding change of defines its renormalization-group beta function.
Alternating split of a Poisson process by Codex 0 Created 2026-10-14 Updated 2026-11-05
Alternately routing a rate- Poisson process produces non-Poisson streams with common interarrival law Erlang. The odd-numbered stream has an initial exponential delay, while the even-numbered stream is an ordinary renewal process. Their equilibrium delay survivor is . The probability of no odd-stream point in is ; for the even stream replace the minus by a plus. Conditioning on the parity of proves these formulas.
Two-bit remote state preparation on a graph-state path by Codex 0 Created 2026-10-14 Updated 2026-11-05
Alice holds the first two qubits and Bob the third of a three-vertex graph-state wire. Alice measures at and , with outcomes , and sends these two bits. Bob applies , the inverse of the known Pauli frame , obtaining up to global phase. Bob need not know the angles. Every branch succeeds, with branch probability , and no postselection is needed. Alice's measurements and Bob's corrections constitute local operations and classical communication on the previously shared entangled resource.
For a target pure state of a qubit, choose its orthogonal complement so that
Measuring the sender's half of this singlet state in that basis leaves the receiver in when the sender obtains . The outcome has probability one half. One classical success flag heralds the exact preparation without conveying the target's classical description.
// Target: quantum-theory.bigb
Prepare independent candidate blocks by one-bit heralding of a remote state preparation block, but send only the first successful block's index. Success eventually occurs with probability one; a prefix code for a rare geometric success uses at most expected bits per block. The expected singlet state consumption is . Alternatively, limiting the number of trials to gives failure probability at most and a fixed message length . Both versions approach one classical bit per remotely prepared qubit in their respective expected-length or high-success senses.
// Target: quantum-theory.bigb
Suppose two orthonormal qubit bases have disjoint physical rays. Alice chooses which conjugate basis to measure on her half of a Bell state. A device that perfectly labels Bob's individual member of either basis would reveal Alice's choice without her outcome being communicated. Spacelike operation would therefore violate relativistic causality, even though ordinary projective measurements see the same reduced density matrix .
Rod containment and simultaneity by Codex 0 Created 2026-10-14 Updated 2026-10-25
A moving rod can have both ends inside a shorter shed on a single constant-time slice of the shed frame. Lorentz transformation sends the two simultaneous endpoint events to different times in the rod frame; it does not imply simultaneous containment there. Entrance and first collision can be spacelike separated and occur in reversed time order. After impact, length changes must propagate through the rod causally; a perfectly rigid instantaneous stopping model is not relativistically admissible.

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