# Chapter ᚍ(K): The listening room
*Teclam Áirme, the Mathematical Compendium — a copy for AI readers of https://www.teclamairme.com/#ch-T15, as of 2026-09-30. Links are relative to https://www.teclamairme.com/fortheaireaders/.*
[Guide for AI readers](index.md) · [Its glossary cards](ch15-cards.md) · [Its references](ch15-refs.md) · [Previous chapter](ch14.md) · [Next chapter](ch16.md)
*A footnote such as [r-15.3] is reference entry 15.3 and links to it. Section 15 of 28; chapters are named by their Ogham letter, never by number.*
ᚍ – [nGéadal](ch15-cards.md#g-og-getal): associated with the reed, Section 15
## Chapter ᚍ(K): The listening room
> “I think I can safely say that nobody understands quantum mechanics.”
> — Richard Feynman · *The Character of Physical Law*, 1965, chapter 6 [r-15.22](ch15-refs.md#r-15.22)
Formula: ([⟨0|1⟩](ch15-cards.md#g-braket) + ([θ₁θ₂ + θ₂θ₁](ch15-cards.md#g-grass)) + [[x̂, p̂y]](ch15-cards.md#g-commxpy) + [⟨+|σz|+⟩](ch15-cards.md#g-sigzplus))/(([⟨0|0⟩](ch15-cards.md#g-norm00) + [⟨+|0⟩](ch15-cards.md#g-plus0) + [⟨1|σx|0⟩](ch15-cards.md#g-sigx)) {brace: [overlaps](ch15-cards.md#g-hilbert)} · ([[x̂, p̂]/(iℏ)](ch15-cards.md#g-commxp) + [tr(σx²)](ch15-cards.md#g-trsx2) + [min ΔxΔp / ℏ](ch15-cards.md#g-kennard) + [2√2](ch15-cards.md#g-tsirelson)) {brace: bounds} ) {brace: [quantum mechanics](ch15.md#ch-T15-quantum-mechanics)} · ([⟨sin|cos⟩](ch15-cards.md#g-fourier) + [‖f̂‖22−‖f‖22](ch15-cards.md#g-plancherel))/([Si(π)/π − ½](ch15-cards.md#g-gibbs)) {brace: [Fourier analysis](ch15.md#ch-T15-fourier-analysis)}
#### Type of number
Algebraic irrational · Status open ·
Key concepts: Quantum mechanics and Fourier analysis. It includes symbols you may not have seen before, such as: [⟨ | ⟩](ch15-cards.md#g-braket), [[x̂, p̂]](ch15-cards.md#g-commxp), and [θ](ch15-cards.md#g-grass). Zero here is perpendicularity: quantum states that cannot be confused, and a sine and cosine that cannot see each other.
Stay here for a moment and listen to that held note. This is the museum’s fifth room, where we can hear a wave before asking how to describe it. A nearby quantum exhibit uses some of the same mathematical tools for a different purpose. In both, an inner product measures overlap. We have already met perpendicular arrows; now whole functions and quantum states can have their own version of that right angle.
[A Hilbert space](ch15-cards.md#g-hilbert) provides inner products, lengths, and a completeness property that keeps convergent approximations within the space. The objects may have finitely many coordinates or be whole functions. We need only a two-state example and a pair of familiar waves to begin. Sharing this geometry does not turn the sound in the room into a quantum experiment; the two exhibits use the common language in different ways. [r-15.1](ch15-refs.md#r-15.1) [r-15.2](ch15-refs.md#r-15.2)
Field notes
### [quantum mechanics](ch15.md#ch-T15-quantum-mechanics) {#ch-T15-quantum-mechanics}
A two-state system: write |0⟩ = (1, 0) and |1⟩ = (0, 1), and let |+⟩ = (|0⟩ + |1⟩)/[√2](ch04-cards.md#g-sqrt2) be their equal superposition. [Dirac’s bracket](ch15-cards.md#g-diracnot) ⟨a|b⟩ is the inner product of two states. The [Pauli matrices](ch22-cards.md#g-pauli) σx and σz below, with their partner σy, keep the promise made at the end of Chapter ᚌ(G): multiply each by i and you have the three generators of the [su(2)](ch14-cards.md#g-su2) we counted there, so the [algebra of rotations](ch14-cards.md#g-su2) is the algebra of this two-state system. Most of this brace lives in that two-state world. Three things step outside it: position and momentum need infinitely many dimensions, the [Bell bound](ch15-cards.md#g-chshineq) needs two separated systems, and Grassmann variables are an algebra of their own.
#### Numerator
[⟨0|1⟩](ch15-cards.md#g-braket) = 0; the most basic quantum fact: two states that cannot be confused.
|0⟩ and |1⟩ are perpendicular, so their inner product is 0. The labels name states; neither state is the zero vector, and both have length 1. Orthogonal states can be perfectly distinguished by a suitable measurement. [r-15.3](ch15-refs.md#r-15.3) [r-15.4](ch15-refs.md#r-15.4)
[θ₁θ₂ + θ₂θ₁](ch15-cards.md#g-grass) = 0; Grassmann’s sign rule, the algebra behind [fermions](ch15-cards.md#g-exclusion), from the same Grassmann whose wedge we met one room back.
Grassmann variables change sign when you swap them, θ₁θ₂ = −θ₂θ₁, so the sum cancels. Put the same variable in both places, θθ = −θθ, and it must equal its own negative, so each one squares to zero. That sign rule is the pattern of Pauli’s exclusion principle: no two identical fermions can share a quantum state. [r-15.8](ch15-refs.md#r-15.8)
[[x̂, p̂y]](ch15-cards.md#g-commxpy) = 0; two [observables](ch15-cards.md#g-hermitian) that can be known together.
The square bracket is the one from Chapter ᚌ(G), [A, B] = AB − BA, which measures how far two things fail to commute; here it compares quantum quantities, which wear hats. Position and momentum along *different* directions commute: for position along x and momentum along y, x̂p̂y − p̂yx̂ = 0, so their order makes no difference, and that is why the two can be measured together. [r-15.9](ch15-refs.md#r-15.9) [r-15.23](ch15-refs.md#r-15.23)
[⟨+|σz|+⟩](ch15-cards.md#g-sigzplus) = 0; a balanced measurement that averages to nothing.
σz gives +1 on |0⟩ and −1 on |1⟩. For |+⟩, [the Born rule](ch15-cards.md#g-born) squares each amplitude, |1/[√2](ch04-cards.md#g-sqrt2)|² = 1/2, so the two outcomes are equally likely and the mean is ½(+1) + ½(−1) = 0. A single measurement gives +1 or −1, never the average. [r-15.5](ch15-refs.md#r-15.5) [r-15.10](ch15-refs.md#r-15.10)
#### Denominator
Two groups, multiplied: overlaps and a transition, then a commutator, a trace, and two bounds. The first uses our two-state example; the second reaches beyond it.
Overlaps and a transition
[⟨0|0⟩](ch15-cards.md#g-norm00) = 1; normalization, the rule every state obeys.
A state has length 1, so its overlap with itself is 1.
[⟨+|0⟩](ch15-cards.md#g-plus0) = 1/[√2](ch04-cards.md#g-sqrt2); the superposition’s overlap with a basis state.
|+⟩ has amplitude 1/[√2](ch04-cards.md#g-sqrt2) along each basis state; squared, that is the ½ chance of reading 0. [r-15.6](ch15-refs.md#r-15.6)
[⟨1|σx|0⟩](ch15-cards.md#g-sigx) = 1; the quantum NOT gate at work.
Pauli X exchanges the two basis states, σx|0⟩ = |1⟩, so the transition amplitude is 1. [r-15.7](ch15-refs.md#r-15.7)
A commutator, a trace, and two famous bounds
[[x̂, p̂]/(iℏ)](ch15-cards.md#g-commxp) = 1; the canonical commutator, the heart of quantum mechanics.
Position and momentum along the same direction do not commute: reversing their order changes the result by i[ℏ](ch03-cards.md#g-hbar) times the identity. Dividing by i[ℏ](ch03-cards.md#g-hbar) leaves the identity, which comes home as 1. This is the contrast with the cross-direction zero above. [r-15.21](ch15-refs.md#r-15.21)
[tr(σx²)](ch15-cards.md#g-trsx2) = 2; flip twice and you are home.
σx² is the two-dimensional identity, whose trace is 2.
[min ΔxΔp / ℏ](ch15-cards.md#g-kennard) = 1/2; Kennard’s form of the uncertainty principle.
The product of the standard deviations of position and momentum is at least ℏ/2, and suitable Gaussian states attain it. This limit belongs to the quantum state itself, not to clumsy instruments. [r-15.12](ch15-refs.md#r-15.12)
[2√2](ch15-cards.md#g-tsirelson) ≈ 2.828; Tsirelson’s bound, the ceiling on how far quantum correlations can outrun any local model.
In a Bell experiment, two separated parties each choose between two ±1 measurements, and the correlations are combined in the four-term [CHSH expression](ch15-cards.md#g-chshineq). A local hidden-variable model explains the correlations by something the particles carry from their common source: each side’s result depends only on its own setting and on that shared something, never on the other side’s choice. Every such model keeps that combination at 2 or below. Quantum mechanics allows up to 2√2 and no more, and experiments have come within a thousandth of it. [r-15.13](ch15-refs.md#r-15.13) [r-15.25](ch15-refs.md#r-15.25)
The first fraction is 0/(positive product): both sums in (2 + 1/[√2](ch04-cards.md#g-sqrt2))(1 + 2 + 1/2 + 2√2) are positive.
**Fine print.** An amplitude and a probability are different quantities; the squaring is essential. Grassmann variables are not ordinary numbers but symbols in an algebra of their own. Position and momentum are operators acting on well-behaved wavefunctions, and the commutators hold there. The cross-direction commutator is the zero operator and comes home as 0; the same-direction quotient is the identity operator and comes home as 1; the Grassmann sum is the zero of its own algebra and comes home as 0.
### [Fourier analysis](ch15.md#ch-T15-fourier-analysis) {#ch-T15-fourier-analysis}
The cooling rod in Chapter ᚉ(C) used a single sine-shaped pattern. Fourier’s larger idea was to express complicated patterns, like a complicated sound in this room, as combinations of simple waves. To measure how much of each wave is present, we need an overlap for functions. [r-15.15](ch15-refs.md#r-15.15)
#### Numerator
[⟨sin|cos⟩](ch15-cards.md#g-fourier) = 0; the waves that cannot see each other, the foundation of Fourier series.
For functions, the overlap multiplies the two waves point by point and adds up the products over one full period: ∫₀2π f(x)g(x) dx. The product sin x cos x is positive exactly as much as it is negative, so the parts cancel and the overlap is zero. That right angle between the waves is what lets us measure how much of each wave is in a sound without the others getting in the way. [r-15.15](ch15-refs.md#r-15.15)
[‖f̂‖22−‖f‖22](ch15-cards.md#g-plancherel) = 0; Plancherel’s theorem: changing to frequencies keeps the energy.
[The Fourier transform](ch15-cards.md#g-fourierT) reorganizes a signal by frequency. Written with the 2π up in the exponent, f̂(ξ) = ∫ f(x)e−2πixξ dx, it keeps a signal’s total energy, its squared size added up along the whole line, exactly the same before and after, so the difference is zero. This holds for every signal of finite energy: the [square-integrable functions](ch15-cards.md#g-l2space). [r-15.16](ch15-refs.md#r-15.16)
#### Denominator
[Si(π)/π − ½](ch15-cards.md#g-gibbs) ≈ 0.0895; the Gibbs phenomenon, the persistent overshoot of Fourier partial sums near a jump.
Build a sudden jump out of finitely many smooth waves, a Fourier partial sum, and the sum overshoots just beside the jump. Adding more waves narrows the spike but does not shrink its height: that height settles at about 0.089489872 of the jump, just under nine percent, a positive number. Here Si(x) = ∫₀ˣ (sin t)/t dt. [r-15.17](ch15-refs.md#r-15.17)
The second and final fraction is 0/([Si(π)/π − ½](ch15-cards.md#g-gibbs)): the overshoot is positive.
**Fine print.** The overshoot is a pointwise approximation effect; it does not contradict the transform’s preservation of the L² norm. Si takes the integrand’s continuous value, 1, at t = 0.
What this chapter adds to the formula: 0/(positive product) · 0/([Si(π)/π − ½](ch15-cards.md#g-gibbs)) = 0
In one exhibit, zero helped distinguish states; in the other, it helped separate waves. The five rooms have given us different ways to look at motion, shape, uncertainty, symmetry, and overlap. Notice what carried the waves in that last transform: e−2πixξ. Complex numbers have been doing quiet work in this room, in the pentagon of fifth roots next door, and as far back as ii in the garden; the road ahead circles their plane.
This museum has so many rooms we could spend days here, but I want to hit the open road! While you rent us some mopeds from the museum’s garage, I want to look on the map and plot us a course.
Watch and read
- [Some light quantum mechanics (with minutephysics)](https://www.youtube.com/watch?v=MzRCDLre1b4) 3Blue1Brown and minutephysics; superposition as vector addition, which is the orthogonality that ⟨0|1⟩ = 0 records
- [But what is a Fourier series? From heat flow to circle drawings](https://www.youtube.com/watch?v=r6sGWTCMz2k) 3Blue1Brown; why sines and cosines can be added to represent a wide class of signals, which rests on their being orthogonal
- [Hilbert space](https://en.wikipedia.org/wiki/Hilbert_space) Wikipedia
- [Bra–ket notation](https://en.wikipedia.org/wiki/Bra%E2%80%93ket_notation) Wikipedia