<!-- Generated from https://www.teclamairme.com/#group-T15 by readviews.py; never edited by hand. -->

# Glossary cards — Chapter ᚍ(K): The listening room

*Teclam Áirme, the Mathematical Compendium — a copy for AI readers of https://www.teclamairme.com/#group-T15, as of 2026-09-30. Links are relative to https://www.teclamairme.com/fortheaireaders/.*

[Guide for AI readers](index.md) · [The chapter](ch15.md)

*Quantum mechanics and Fourier analysis: Hilbert space, Dirac’s brackets, Grassmann’s sign, and the waves that cannot see each other. Each card: its symbol, type, one-line headline, the longer note, the reference entries it cites and the cards it links to.*

### the letter nGéadal — `ᚍ` {#g-og-getal}

*Ogham letter*

Ogham letter name meaning ‘killing’; the medieval glossators read it as broom or fern, and modern lists as the reed.

Gétal is not a tree name. The kennings give it the sense ‘killing’, and it is perhaps cognate with gonid, ‘slays’; its Primitive Irish value was accordingly a voiced labiovelar. The three Old Irish word-oghams, the Bríatharogaim ascribed to Morann mac Moín, to Mac ind Óc, and to Cú Chulainn, give lúth lego, “sustenance of a leech”; étiud midach, “raiment of physicians”; and tosach n-échto, “beginning of slaying.” The Auraicept glosses cilcach, read as broom or fern: “a leech’s sustenance is getal, that is, broom.” In modern Irish that gloss word is giolcach, which also means reed, the plant the letters table carries. Modern tree lore and ogham divination descend from the medieval plant glosses by way of Robert Graves’s The White Goddess of 1948, which read the letter order as an ancient seasonal calendar of tree magic. Celtic scholarship rejects that reconstruction; the associations in circulation today are modern, not ancient.

Cites: [2.15](ch02-refs.md#r-2.15), [2.16](ch02-refs.md#r-2.16), [2.17](ch02-refs.md#r-2.17), [2.19](ch02-refs.md#r-2.19)

### inner product of orthogonal states — `⟨0|1⟩` {#g-braket}

*Integer or rational*

0 in Dirac notation; orthogonal pure states can be perfectly distinguished.

Dirac’s 1939 paper introduced bra-ket notation, in which ⟨a|b⟩ is an inner product. The computational basis states |0⟩ and |1⟩ are orthonormal, so ⟨0|1⟩ = 0. Orthogonal pure states can be distinguished perfectly, whereas non-orthogonal states cannot; that distinction is part of the no-cloning limit. The value is the complex number 0, handed home as an integer.

Cites: [15.20](ch15-refs.md#r-15.20), [15.3](ch15-refs.md#r-15.3), [15.4](ch15-refs.md#r-15.4)

### norm of a basis state — `⟨0|0⟩` {#g-norm00}

*Integer or rational*

1: a normalized state’s overlap with itself, the rule every state obeys.

A normalized state has inner product 1 with itself. The Born rule turns squared amplitudes into measurement probabilities, so normalization makes the probabilities of all outcomes add to one. Thus ⟨0|0⟩ = 1, an integer.

Cites: [15.3](ch15-refs.md#r-15.3), [15.5](ch15-refs.md#r-15.5)

See also: [the Born rule](ch15-cards.md#g-born)

### overlap of the plus state with zero — `⟨+|0⟩` {#g-plus0}

*Algebraic irrational*

1/√2: the equal superposition |+⟩ has amplitude 1/√2 along |0⟩, so the chance of reading 0 is ½.

The Hadamard gate sends |0⟩ to the equal superposition |+⟩ = (|0⟩ + |1⟩)/√2. Its overlap with |0⟩ is 1/√2, whose square gives probability 1/2 for the outcome 0. It is algebraic, a root of 2x² − 1.

Cites: [15.6](ch15-refs.md#r-15.6)

See also: [square root of two](ch04-cards.md#g-sqrt2)

### a Pauli-X matrix element — `⟨1|σ_{x}|0⟩` {#g-sigx}

*Integer or rational*

1, because σx flips 0 to 1.

The Pauli X matrix sends |0⟩ to |1⟩ and is the single-qubit NOT gate, so ⟨1|σ_{x}|0⟩ = 1. Pauli introduced the three matrices in 1927 in his work on electron spin. An integer.

Cites: [15.7](ch15-refs.md#r-15.7)

### the Grassmann anticommutator — `θ₁θ₂ + θ₂θ₁` {#g-grass}

*Integer or rational*

Anticommuting variables obey θ₁θ₂ = −θ₂θ₁, so the sum is 0; this is the sign rule used for fermion variables.

Grassmann variables anticommute: θ₁θ₂ = −θ₂θ₁, so θ₁θ₂ + θ₂θ₁ = 0 and each Grassmann variable squares to zero. They are the variables used in fermionic path integrals. Their anticommutation is that of Pauli’s 1925 exclusion principle, which says that two identical fermions cannot occupy the same quantum state. The value is the zero of the Grassmann algebra, handed home as the integer 0.

Cites: [15.20](ch15-refs.md#r-15.20), [15.8](ch15-refs.md#r-15.8)

See also: [Pauli’s exclusion principle](ch15-cards.md#g-exclusion)

### compatible observables commute — `[x̂, p̂_{y}]` {#g-commxpy}

*Integer or rational*

0: position along x and momentum along y can be known together, because their operators commute.

The canonical relations are [x̂_{i}, p̂_{j}] = iℏδ_{ij}I. Different Cartesian components therefore commute: [x̂, p̂_{y}] = 0. Born and Jordan’s 1925 work supplied the canonical matrix-mechanics relation. The value is the zero operator, handed home as the integer 0.

Cites: [15.20](ch15-refs.md#r-15.20), [15.23](ch15-refs.md#r-15.23), [15.9](ch15-refs.md#r-15.9)

### the expected spin of a superposition — `⟨+|σ_{z}|+⟩` {#g-sigzplus}

*Integer or rational*

0: measure σz on the equal superposition |+⟩ and you get +1 or −1 with equal chance, averaging to nothing.

The Pauli matrix σ_{z} sends |+⟩ = (|0⟩ + |1⟩)/√2 to |−⟩ = (|0⟩ − |1⟩)/√2. Since ⟨+|−⟩ = 0, the expectation ⟨+|σ_{z}|+⟩ vanishes; measuring σ_{z} gives +1 and −1 with equal probability. Exactly 0, an integer.

Cites: [15.10](ch15-refs.md#r-15.10), [15.20](ch15-refs.md#r-15.20)

See also: [square root of two](ch04-cards.md#g-sqrt2)

### the canonical commutator — `[x̂, p̂]/(iℏ)` {#g-commxp}

*Integer or rational*

The identity: [x̂, p̂] = iℏ times the identity operator, and dividing by iℏ leaves that operator, which comes home as the number 1.

The canonical relation is [x̂, p̂] = iℏI, where I is the identity operator. Dividing by iℏ leaves I. No finite matrices can obey this relation, because the trace of every commutator is zero while tr(iℏI) is not. Under the chapter’s homecoming rule I contributes the integer 1.

Cites: [15.21](ch15-refs.md#r-15.21), [15.9](ch15-refs.md#r-15.9)

### the trace of a Pauli matrix squared — `tr(σ_{x}²)` {#g-trsx2}

*Integer or rational*

2: every Pauli matrix squares to the identity, whose trace in two dimensions is 2.

Each Pauli matrix squares to the 2 × 2 identity, so tr(σ_{x}²) = tr(I) = 2. An integer.

Cites: [15.20](ch15-refs.md#r-15.20), [15.7](ch15-refs.md#r-15.7)

### the uncertainty bound — `min ΔxΔp / ℏ` {#g-kennard}

*Integer or rational*

½: Kennard’s 1927 form of Heisenberg’s principle, ΔxΔp ≥ ℏ/2, with equality for a Gaussian wavepacket.

Heisenberg gave his qualitative uncertainty argument in 1927; later that year Kennard proved ΔxΔp ≥ ℏ/2, and Robertson generalized the inequality to arbitrary observables in 1929. Gaussian wavepackets attain equality. Dividing the minimum by ℏ gives 1/2, a rational.

Cites: [15.12](ch15-refs.md#r-15.12)

See also: [a Hermitian operator](ch15-cards.md#g-hermitian)

### Tsirelson’s bound — `2√2` {#g-tsirelson}

*Algebraic irrational*

For CHSH correlations, local hidden-variable models are bounded by 2 and quantum theory by 2√2.

The CHSH inequality bounds local hidden-variable correlations by 2. Quantum theory can reach 2√2 and cannot exceed that value; experiments have approached the quantum bound. Bell-test experiments, including loophole-free tests reported in 2015, underlie the 2022 Nobel Prize to Clauser, Aspect, and Zeilinger. The number 2√2 is algebraic, a root of x² − 8.

Cites: [15.13](ch15-refs.md#r-15.13), [15.14](ch15-refs.md#r-15.14)

See also: [the CHSH inequality](ch15-cards.md#g-chshineq)

### Dirac’s bra-ket notation — `⟨a|b⟩` {#g-diracnot}

*Function or operator*

Dirac’s 1939 notation for an inner product: the bra ⟨a| and the ket |b⟩ close into ⟨a|b⟩.

Dirac’s 1939 paper A new notation for quantum mechanics introduced the notation this chapter is written in: ⟨a|b⟩ denotes an inner product, split into the bra ⟨a| and the ket |b⟩. Orthogonal vectors have inner product zero, and the computational basis states of a qubit are orthonormal, so ⟨0|1⟩ = 0 and ⟨0|0⟩ = 1. Every overlap term in this chapter—the quantum numerator’s ⟨0|1⟩ and ⟨+|σz|+⟩, the quantum denominator’s ⟨0|0⟩, ⟨+|0⟩, and ⟨1|σx|0⟩, and the Fourier numerator’s ⟨sin|cos⟩ — is written in it. A notation, not a number.

Cites: [15.3](ch15-refs.md#r-15.3)

See also: [inner product of orthogonal states](ch15-cards.md#g-braket), [sine and cosine are orthogonal](ch15-cards.md#g-fourier), [norm of a basis state](ch15-cards.md#g-norm00), [overlap of the plus state with zero](ch15-cards.md#g-plus0), [a Pauli-X matrix element](ch15-cards.md#g-sigx), [the expected spin of a superposition](ch15-cards.md#g-sigzplus)

### Pauli’s exclusion principle {#g-exclusion}

*Function or operator*

No two identical fermions can occupy the same quantum state: Wolfgang Pauli, 1925.

Pauli formulated the exclusion principle in 1925: two identical fermions cannot occupy the same quantum state. It is a statement about the half-integer-spin particles, the fermions, and not about the integer-spin bosons. The chapter’s Grassmann variables carry the same antisymmetric pattern, the minus sign that appears when two of them are swapped. A principle, not a number.

Cites: [15.8](ch15-refs.md#r-15.8)

See also: [the Schrödinger equation](ch15-cards.md#g-schrod)

### the CHSH inequality — `S ≤ 2` {#g-chshineq}

*Function or operator*

The CHSH inequality bounds a combination of four correlation measurements by 2 for any local hidden-variable theory; quantum mechanics can reach 2√2.

Named for Clauser, Horne, Shimony, and Holt, who published it in 1969, the CHSH inequality combines four correlations measured between two separated observers, each choosing between two possible settings, into a single number S. Any theory of local hidden variables forces |S| ≤ 2; entangled quantum states can reach |S| = 2√2, the value fixed by Tsirelson’s bound, and experiments have approached that quantum limit. Violating the inequality is the standard modern form of a Bell test.

Cites: [15.25](ch15-refs.md#r-15.25)

See also: [Tsirelson’s bound](ch15-cards.md#g-tsirelson)

### sine and cosine are orthogonal — `⟨sin|cos⟩` {#g-fourier}

*Integer or rational*

∫₀^(2π) sin x cos x dx = 0: the inner product that makes Fourier series work.

Fourier presented his heat memoir in 1807 and published the Théorie analytique de la chaleur in 1822. Fourier coefficients rest on the orthogonality of sines and cosines over a full period; in particular ∫₀^{2π} sin x cos x dx = 0. Read as an L² inner product, this is ⟨sin|cos⟩ = 0. Exactly 0, an integer.

Cites: [15.15](ch15-refs.md#r-15.15)

### Plancherel’s identity — `‖f̂‖_{2}^{2}−‖f‖_{2}^{2}` {#g-plancherel}

*Integer or rational*

Exactly 0: the Fourier transform preserves L² energy when normalized with 2π in the exponent.

With f̂(ξ) = ∫f(x)e^{−2πixξ}dx, Plancherel’s theorem makes the Fourier transform unitary on L², so ‖f̂‖_{2} = ‖f‖_{2} and the displayed difference of squared norms is 0. Plancherel established the theorem in 1910. The result is an integer zero after evaluation.

Cites: [15.16](ch15-refs.md#r-15.16)

See also: [the Fourier transform](ch15-cards.md#g-fourierT)

### the Gibbs overshoot — `Si(π)/π − ½` {#g-gibbs}

*Status open*

About 0.0895: the limiting Fourier overshoot at a jump is about nine percent of the jump; the spike narrows but does not shrink in height.

At a jump, Fourier partial sums have a limiting overshoot of Si(π)/π − 1/2 ≈ 0.089489872; increasing the number of terms narrows the spike without reducing its limiting relative height. Wilbraham described the phenomenon in 1848 and Gibbs reported it in 1899. No rational or irrational classification appears in the standard references checked for this chapter, so the piece leaves its arithmetic status open.

Cites: [15.17](ch15-refs.md#r-15.17)

### Hilbert space — `ℋ` {#g-hilbert}

*Function or operator*

A vector space with an inner product, complete in the distance it defines: the arena of quantum mechanics and of Fourier analysis.

A Hilbert space is a complete inner-product space; l² and L² are standard examples. When von Neumann set down his axioms he required infinitely many dimensions on purpose and said so by name, because that choice made his space unique, and uniqueness is what let him show that matrix mechanics and wave mechanics were one theory wearing two faces. His reason is not my reason, so this book takes the wider road and lets a finite space count: ℂ², the whole world of one qubit, is a Hilbert space. Hilbert’s integral-equation work around 1909 established the basis for the infinite-dimensional space that bears his name, and von Neumann made abstract Hilbert space the rigorous setting for quantum mechanics. A structure, not a number.

Cites: [15.1](ch15-refs.md#r-15.1), [15.2](ch15-refs.md#r-15.2), [15.24](ch15-refs.md#r-15.24)

### the Schrödinger equation — `iℏ ∂|ψ⟩/∂t = Ĥ|ψ⟩` {#g-schrod}

*Function or operator*

How a quantum state changes in time, Erwin Schrödinger, 1926: the wave equation that the states of this chapter obey.

Schrödinger published his wave equation in 1926, initially in the time-independent eigenvalue form Ĥψ = Eψ, and recognized the equivalence of wave and matrix mechanics. The Hamiltonian is the self-adjoint operator representing energy. An equation, not a number.

Cites: [15.11](ch15-refs.md#r-15.11)

### a Hermitian operator — `Â = Â^{†}` {#g-hermitian}

*Function or operator*

An operator equal to its own conjugate transpose; its eigenvalues are real, which is why observables are Hermitian and measurements give real numbers.

A self-adjoint operator has real spectrum, and eigenvectors belonging to distinct eigenvalues are orthogonal. Quantum observables are represented by self-adjoint operators, with spectral values as possible measurement outcomes. In finite dimensions this becomes unitary diagonalization; in infinite dimensions the spectral theorem uses a resolution of the identity. A property, not a number.

Cites: [15.11](ch15-refs.md#r-15.11)

See also: [the real numbers](ch01-cards.md#g-reals), [the spectral theorem](ch10-cards.md#g-spectralthm)

### the Fourier transform — `f̂(ξ) = ∫ f(x) e^{−2πixξ} dx` {#g-fourierT}

*Function or operator*

A signal as a sum of waves, named for Fourier (his book of 1822), and the reason position and momentum are a conjugate pair.

The Fourier transform writes a function in terms of complex exponentials. It extends to a unitary map on L² by Plancherel’s theorem, carries position-space wavefunctions to momentum space, and sends Gaussians to Gaussians. Fourier’s 1822 book grew from his work on trigonometric series. An operator, not a number.

Cites: [15.15](ch15-refs.md#r-15.15), [15.16](ch15-refs.md#r-15.16), [15.19](ch15-refs.md#r-15.19)

See also: [Plancherel’s identity](ch15-cards.md#g-plancherel)

### the space of square-integrable functions — `L²(ℝ)` {#g-l2space}

*Function or operator*

Functions with a finite total ∫|f|²: the Hilbert space where wavefunctions live; its one-period version, from 0 to 2π, is where sine and cosine are orthogonal.

L² consists of measurable functions with finite ∫|f|², identified when they differ only on a set of measure zero; it is a complete inner-product space. Riesz and Fischer’s independent 1907 results connect L² Fourier coefficients with square-summable sequences. The Fourier numerator’s ⟨sin|cos⟩ is an inner product in the same kind of space, taken over one period from 0 to 2π. A space, not a number.

Cites: [15.1](ch15-refs.md#r-15.1), [15.18](ch15-refs.md#r-15.18)

See also: [sine and cosine are orthogonal](ch15-cards.md#g-fourier), [Hilbert space](ch15-cards.md#g-hilbert)

### the Born rule — `P = |⟨φ|ψ⟩|²` {#g-born}

*Function or operator*

The probability of finding state ψ in state φ is the squared overlap; Max Born, 1926, and the reason ⟨0|1⟩ = 0 means perfect distinguishability.

The Born rule assigns an outcome probability from the squared modulus of its amplitude. Born proposed the statistical interpretation in 1926 and received half of the 1954 Nobel Prize for that work. Thus ⟨0|1⟩ = 0 gives probability zero, while |⟨+|0⟩|² = 1/2 gives a fair quantum coin. A rule, not a number.

Cites: [15.5](ch15-refs.md#r-15.5)

See also: [inner product of orthogonal states](ch15-cards.md#g-braket), [overlap of the plus state with zero](ch15-cards.md#g-plus0)