Toys can't play: physical agents in Spekkens' theory
arXiv:2207.07445 · doi:10.1088/1367-2630/acb3ef
Abstract
Information is physical, and for a physical theory to be universal, it should model observers as physical systems, with concrete memories where they store the information acquired through experiments and reasoning. Here we address these issues in Spekkens' toy theory, a non-contextual epistemically restricted model that partially mimics the behaviour of quantum mechanics. We propose a way to model physical implementations of agents, memories, measurements, conditional actions and information processing. We find that the actions of toy agents are severely limited: although there are non-orthogonal states in the theory, there is no way for physical agents to consciously prepare them. Their memories are also constrained: agents cannot forget in which of two arbitrary states a system is. Finally, we formalize the process of making inferences about other agents' experiments and model multi-agent experiments like Wigner's friend. Unlike quantum theory or box world, in the toy theory there are no inconsistencies when physical agents reason about each other's knowledge.
arXiv comment18 + 19 pages, Added pedagogical review of the toy theory for small systems. Version accepted for publication
References in corpus (21)
- In defense of the epistemic view of quantum states: a toy theory
- Contextuality for preparations, transformations, and unsharp measurements
- How Quantum Mechanics can consistently describe the use of itself
- Quantum theory cannot consistently describe the use of itself
- A strong no-go theorem on the Wigner's friend paradox
- A no-go theorem for observer-independent facts
- Reconstruction of Gaussian quantum mechanics from Liouville mechanics with an epistemic restriction
- Phase groups and the origin of non-locality for qubits
- Inadequacy of Modal Logic in Quantum Settings
- Logical pre- and post-selection paradoxes are proofs of contextuality
- A possibilistic no-go theorem on the Wigner's friend paradox
- Stabilizer notation for Spekkens' toy theory
- Exact rings and semirings
- Testing quantum theory with thought experiments
- Weak values in a classical theory with an epistemic restriction
- Multi-agent paradoxes beyond quantum theory
- Spekkens' toy model in all dimensions and its relationship with stabilizer quantum mechanics
- Quantum information vs.\ epistemic logic: An analysis of the Frauchiger-Renner theorem
- A complete graphical calculus for Spekkens' toy bit theory
- A Graphical Calculus for Lagrangian Relations
- A consolidating review of Spekkens' toy theory