The hypotheses. X is self-adjoint with X² = 1 on a complex inner-product space, and C(θ) = cos θ · 1 + i sin θ · X for real θ. Then C(θ) keeps lengths and C(θ)C(θ′) = C(θ + θ′); and X applied an even number of times is 1, so a state crossed twice has not been crossed.
When X moves the state. Let P be an orthogonal projector with PXP = 0 and ψ = Pψ. Then C(θ)ψ = cos θ ψ + i sin θ Xψ: the first term is cos θ times ψ itself, unchanged, with squared length cos²θ ‖ψ‖²; the second, orthogonal to it, has squared length sin²θ ‖ψ‖².
When X keeps it. Let P commute with X and ψ = Pψ. Then C(θ)ψ = eiθ Π+ψ + e−iθ Π−ψ, with Π± = ½(1 ± X): both parts stay where they were, and their lengths do not depend on θ. If Xψ = sψ with s = ±1, then C(θ)ψ = eisθψ for every θ.
Which case a register is in. On the record’s working statement the crossing X acts on a register by the sign of the register’s own moves times a flip on the channel the posting came from Working statement. Which case holds for the register itself turns on a count the paper leaves open, the number of the register’s own moves in a window of the clock; the record’s working reading puts the register in the second case: a held register stays among its held states, the set the paper calls its code, and a contact reads the sign of its moves and nothing else. On the channel that touched it, when the channel starts in a state that its flip takes to one with no overlap, the first case holds under either reading: with squared length cos²θ the channel stands where it stood and the register is exactly as it was, and with squared length sin²θ the channel is flipped and the register carries the sign. That the case turns on this count, and which case each count gives, is proved in work not yet published; the count itself is open.
The weights. Throughout, the weight of a part is its squared length. For sets of a register’s positions the paper proves it, the square read (the Born rule), from five premises, one of them owed: the position read, that a read weighs each position by the value held there and by nothing else; for parts like these, which are not sets of a register’s positions, it is a hypothesis of the paper’s section.