Manuscript En01-A@1 · En01-A.tex · proposition · 558b972b
Proposition: Additional copies screen the laboratory question
Frauchiger–Renner probabilities and parameter geometry › The real-positive family · lines 2241–2263 · proof included or linked
En01-A@1#prop:frcopies
Add one perfect copy of each record. On the original laboratory interface , all branch cross terms are screened, and Wigner's original effect has coherent probability . On all four qubits, the effect projecting onto
has coherent probability at the symmetric point.
Proof. Every differing class has a copy outside the laboratory interface. The reduced state is therefore its record-diagonal mixture. Each supported basis branch has overlap squared with .
The four-qubit effect has overlaps with the three encoded branches, reproducing the coherent amplitude .
Displayed formulas in this passage
unlabeled · line 2248