Indiscernibility of quantum states
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866910025202532352 |
|---|---|
| author | van Neerven, Jan Waaijer, Marijn |
| author_facet | van Neerven, Jan Waaijer, Marijn |
| contents | This paper provides a systematic study of the operational idea that a quantum ``state'' is only defined up to what can be distinguished by a chosen family of observables. Concretely, any von Neumann algebra of observables $\mathscr{M}$ induces an equivalence relation on pure and mixed states by declaring two preparations indiscernible when they give identical statistics for every observable in $\mathscr{M}$. The corresponding quotient, the \emph{Holevo space} associated with $\mathscr{M}$, is the effective (relational) state space of the experiment, explicitly dependent on the observer's available measurements.
We analyse the resulting geometry and topology of these quotients, and prove a context-complete classical representation theorem: for every von Neumann algebra $\mathscr{M}$ there is a canonical lift $a\mapsto \widehat a$ to bounded continuous functions on the Holevo space, reproducing expectation values pointwise. In the commutative case this reduces to ordinary probability theory on the joint spectrum.
The framework is illustrated in explicit examples, including position measurements of a free particle and polarisation measurements in the qubit, EPR, and Bell settings. In particular, in the EPR scenario, Charlie's joint observable defines a simplex of joint outcome distributions, whereas the Alice/Bob marginal viewpoint collapses the effective description to a lower-dimensional space by ``forgetting'' the correlation parameter. We show that by varying the polariser settings, the indiscernibility classes become conjugated (and generically reshuffled), and different settings are typically incompatible at the level of observable algebras. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2507_10027 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Indiscernibility of quantum states van Neerven, Jan Waaijer, Marijn Quantum Physics Mathematical Physics Functional Analysis Primary: 81P16, Secondary: 46L10, 47B15, 81P05, 81Q10 This paper provides a systematic study of the operational idea that a quantum ``state'' is only defined up to what can be distinguished by a chosen family of observables. Concretely, any von Neumann algebra of observables $\mathscr{M}$ induces an equivalence relation on pure and mixed states by declaring two preparations indiscernible when they give identical statistics for every observable in $\mathscr{M}$. The corresponding quotient, the \emph{Holevo space} associated with $\mathscr{M}$, is the effective (relational) state space of the experiment, explicitly dependent on the observer's available measurements. We analyse the resulting geometry and topology of these quotients, and prove a context-complete classical representation theorem: for every von Neumann algebra $\mathscr{M}$ there is a canonical lift $a\mapsto \widehat a$ to bounded continuous functions on the Holevo space, reproducing expectation values pointwise. In the commutative case this reduces to ordinary probability theory on the joint spectrum. The framework is illustrated in explicit examples, including position measurements of a free particle and polarisation measurements in the qubit, EPR, and Bell settings. In particular, in the EPR scenario, Charlie's joint observable defines a simplex of joint outcome distributions, whereas the Alice/Bob marginal viewpoint collapses the effective description to a lower-dimensional space by ``forgetting'' the correlation parameter. We show that by varying the polariser settings, the indiscernibility classes become conjugated (and generically reshuffled), and different settings are typically incompatible at the level of observable algebras. |
| title | Indiscernibility of quantum states |
| topic | Quantum Physics Mathematical Physics Functional Analysis Primary: 81P16, Secondary: 46L10, 47B15, 81P05, 81Q10 |
| url | https://arxiv.org/abs/2507.10027 |