Manuscript Oai365-A@1 · Oai365-A.tex · proposition · a3840e3d
Proposition: Repeated-block covariance obstruction
Quantum-process data and the event carrier › Faithful generated affine representations · lines 356–372 · proof included or linked
Oai365-A@1#prop:symmetry
Suppose infinitely many indistinguishable experiment blocks can be permuted arbitrarily while preserving the datum. There is no injective finite-dimensional representation that is covariant under all those permutations by affine maps.
Proof. Choose finitely many represented points that affinely span the representation's affine hull. Only finitely many blocks contain them. Transpose two indistinguishable blocks outside this finite set.
Its implementing affine map fixes every point of the chosen affine basis, hence is the identity on the affine hull. It must also exchange two distinct represented events, contradicting injectivity.