Manuscript I-B@1 · I-B-v1.tex · proposition · 5357688f

Proposition: Finite-dimensional CCR obstruction

What destructive clock reading does and does not do › No finite canonical commutator · lines 869–881 · proof included or linked

I-B@1#prop:no-ccr

For nonzero finite-dimensional $H_{C}$ and $ℏ > 0$ , no matrices $A, H$ satisfy

[A, H] = i ℏ I_{C} .

Proof. The trace of a matrix commutator is zero. The trace of the right side is $i ℏ D \neq = 0$ .

Displayed formulas in this passage