RECORD
A model-theoretic interpretation of environmentally-induced superselection
Quantum Physics · Submitted 5 Feb 2012
abstract compiled · 2026-09-23 · no language-model review
The authors' main claim It is shown that einselection can only generate classical systems if the "environment" is assumed \textit{a priori} to be classical; einselection therefore does not provide an observer-independent mechanism by which classicality can emerge from quantum dynamics.
The compiled record
The paper's own sentences, arranged. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.
Open the compiled record
The abstract, sentence by sentence
Environmentally-induced superselection or "einselection" has been proposed as an observer-independent mechanism by which apparently classical systems "emerge" from physical interactions between degrees of freedom described completely quantum-mechanically. It is shown that einselection can only generate classical systems if the "environment" is assumed \textit{a priori} to be classical; einselection therefore does not provide an observer-independent mechanism by which classicality can emerge from quantum dynamics. Einselection is then reformulated in terms of positive operator-valued measures (POVMs) acting on a global quantum state. It is shown that this re-formulation enables a natural interpretation of apparently-classical systems as virtual machines that requires no assumptions beyond those of classical computer science.
background contribution method result interpretation main claim
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| s0 | Environmentally-induced superselection or "einselection" has been proposed as an observer-independent mechanism by which apparently classical systems "emerge" from physical interactions between degrees of freedom described completely quantum-mechanically. | background 1.00 | 0.04 | 0.03 | asserted 0.86 |
| s1 | It is shown that einselection can only generate classical systems if the "environment" is assumed \textit{a priori} to be classical; einselection therefore does not provide an observer-independent mechanism by which classicality can emerge from quantum dynamics. | result 0.98 | 0.88 | 0.89 | asserted 1.00 |
| s2 | Einselection is then reformulated in terms of positive operator-valued measures (POVMs) acting on a global quantum state. | method 0.61 | 0.85 | 0.05 | asserted 0.98 |
| s3 | It is shown that this re-formulation enables a natural interpretation of apparently-classical systems as virtual machines that requires no assumptions beyond those of classical computer science. | interpretation 0.59 | 0.87 | 0.26 | asserted 1.00 |
What was examined, and what was not
- arXiv listing abstract v2
- full text
- figures and tables
- references and citing sentences
- relations to other papers
- P abstract
- S sections
- T body sentences
- C citations
- R cross-paper relations
The paper
Original abstract
Environmentally-induced superselection or "einselection" has been proposed as an observer-independent mechanism by which apparently classical systems "emerge" from physical interactions between degrees of freedom described completely quantum-mechanically. It is shown that einselection can only generate classical systems if the "environment" is assumed \textit{a priori} to be classical; einselection therefore does not provide an observer-independent mechanism by which classicality can emerge from quantum dynamics. Einselection is then reformulated in terms of positive operator-valued measures (POVMs) acting on a global quantum state. It is shown that this re-formulation enables a natural interpretation of apparently-classical systems as virtual machines that requires no assumptions beyond those of classical computer science.
Human review
How the literature uses it
5 arXiv papers cite this in 10 sentences
Papers citing it · 8 sentences without a confident label
Cites it as support 2 papers
-
It is suggested in [ref] , and shown in detail in [ref] that decoherence can be self-consistently and without circularity viewed as a purely informational process, a model-theoretic or semantic mapping from quantum states to classical information.
Implementation of classical communication in a quantum world · Decoherence as implemented by a POVM · 0.97
-
Nothing makes $|𝐅 ⟩$ specific to $|𝐒 ⟩$; indeed $|𝐅 ⟩$ equally encodes the states of every collection of degrees of freedom outside of $𝐅$ [ref] .
Imposing system-observer symmetry on the von Neumann description of measurement · Measurement as an action of a system on an observer · 0.97
What it cites · 24 sentences without a confident label
Contests 1 paper
-
Any such restriction - any specification of Zurek's “axiom(o)” that “systems exist” [ref] to an axiomatic assumption that only certain specified systems exist - also introduces circularity, as it enforces classicality by violating the superposition principle for states of $U$.
Decoherence, einselection, and the quantum origins of the classical · Observer-independent einselection does not produce classicality · contest 0.77
Compares with 1 paper
-
Wallace's implicit characterization of observers as theory-constructors with an ability to recognize some phenomena as interesting can be contrasted with the more typical characterization of an observer as “any physical system having a definite state of motion” ( [ref] p. 1641) or “a quantum system interacting with the observed system” ( [ref] p. 361).
Relational Quantum Mechanics · Observer-independent versus observer-dependent notions of the “emergence” of classicality · 0.89
Cites as support 3 papers
-
While the existence of such a halo has no effect on the einselection of states of $S$, it does create an insurmountable problem for observers attempting to uniquely identify $S$, as has been pointed out previously [ref] .
Quantum Darwinism requires an extra-theoretical assumption of encoding redundancy · Observer-independent einselection does not produce classicality · 0.99
-
While the existence of such a halo has no effect on the einselection of states of $S$, it does create an insurmountable problem for observers attempting to uniquely identify $S$, as has been pointed out previously [ref] .
Classical system boundaries cannot be determined within quantum Darwinism · Observer-independent einselection does not produce classicality · 0.99
-
It has been argued elsewhere that Galilean observers are not capable of identifying systems even if their existence is taken for granted [ref] .
If physics is an information science, what is an observer? · Observer-independent versus observer-dependent notions of the “emergence” of classicality · 0.98
Cites as background 4 papers
-
Einselection revolutionized decoherence theory by converting the environment from a passive sink for quantum coherence into an active “witness” that continuously determines the observable states of the systems embedded in it [ref] .
Decoherence, einselection, and the quantum origins of the classical · Introduction · 0.85
-
Einselection revolutionized decoherence theory by converting the environment from a passive sink for quantum coherence into an active “witness” that continuously determines the observable states of the systems embedded in it [ref] .
Objective properties from subjective quantum states: Environment as a witness · Introduction · 0.85
-
Einselection revolutionized decoherence theory by converting the environment from a passive sink for quantum coherence into an active “witness” that continuously determines the observable states of the systems embedded in it [ref] .
Decoherence, the measurement problem, and interpretations of quantum mechanics · Introduction · 0.85
Discussion
Know something about this paper? Leave a comment, or highlight any passage above to comment on it.