Manuscript Oai283-A@1 · Oai283-A.tex · proposition · 6fb75895

Proposition: Indistinguishable-trial symmetry obstruction

Finite futures, three-relation typing, and cone obstructions › Faithful generation cannot be skipped · lines 1390–1404 · proof included or linked

Oai283-A@1#prop:symmetry

Back to manuscript

Suppose infinitely many indistinguishable experiment blocks may be permuted arbitrarily while preserving the same datum. No injective finite-dimensional affine representation of all their events can be covariant under every such permutation.

Proof. Choose finitely many represented points forming an affine basis of the representation's affine hull. They occupy finitely many blocks. Transpose two indistinguishable blocks outside them. Its implementing affine map fixes the basis, hence is the identity, but must exchange distinct represented events, a contradiction.

Nearby in this section