Minimality and non-circularity of the supplementary assumptions in the envariance-based derivation of the Born rule

Zurek's envariance program derives the Born rule from symmetries of entangled states, but its closed-system, measurement-theoretic completion (Herbut 2012) requires supplementary assumptions: the calibration condition (CC), the probability reproducibility condition (PRC), the eigenvalue-eigenstate (e-e) link, the identification of pure states with homogeneous ensembles, and sigma-additivity of probabilities over the projector lattice. Because Gleason's theorem makes sigma-additivity on that lattice equivalent to the trace rule itself, the derivation's probabilistic content may be imported rather than derived. The open problem is to determine rigorously, by theorems or explicit counterexample models, whether the envariance-plus-supplementary-assumptions program reduces, relocates, or merely restates its probabilistic input: whether sigma-additivity (or a successor such as bundle-level additivity) can be derived from strictly non-probabilistic premises, which of the remaining assumptions are independent and dispensable, and whether physically realizable measurement constraints alter their logical status.

Background

The Born rule states that the probability of an event represented by a projector $E$ in a quantum state $\rho$ is given by the trace rule $p(E,\rho)=\mathrm{tr}(E\rho)$; for a pure state $|\psi\rangle$ and a rank-one event it reduces to $|\langle\psi|k\rangle|^2$. Textbooks postulate it, and a long line of work—Gleason-type theorems, Everettian decision theory, and operational reconstructions—has tried to derive it from the remaining structure of quantum theory.

Envariance (entanglement-assisted invariance) is Zurek's physical route. A bipartite entangled state written in its Schmidt (biorthogonal) decomposition $|\Psi\rangle_{SE}=\sum_k \alpha_k |s_k\rangle_S|\varepsilon_k\rangle_E$ has the property that a local unitary $u_S$ acting on the system alone can be undone by a counter-unitary $u_E$ acting on the environment alone, i.e. $(I\otimes u_E)(u_S\otimes I)|\Psi\rangle=|\Psi\rangle$. When such an envariant swap exchanges two equal-amplitude Schmidt states, their probabilities must be equal, and normalization forces $1/N$; fine-graining then extends the result to $|\alpha_k|^2$. This yields Born's rule for Schmidt components of a bipartition (Zurek 2003, 2005), but not directly for events of a single closed system, the textbook setting.

Herbut (2012) closed this gap by deriving probability and measurement together. A premeasurement is the unitary interaction part of a measurement (no collapse); a nondemolition (repeatable, first-kind) measurement is one in which an initially definite value survives the interaction. Two operational conditions define the instrument: the calibration condition (CC) — if the object is initially in an eigenstate with a definite value, the pointer ends in the corresponding pointer state — and the probability reproducibility condition (PRC) — the probabilities of pointer outcomes in the post-premeasurement state equal those of the measured results in the initial state, a standard requirement of unitary measurement theory (Busch, Lahti and Mittelstaedt). The construction also assumes the eigenvalue-eigenstate (e-e) link (an observable has a non-probabilistic definite value $a$ in $|\phi\rangle$ iff $A|\phi\rangle=a|\phi\rangle$) and the reading of state vectors as homogeneous ensembles of identically prepared systems. Applied to the Schmidt decomposition of the system-plus-instrument state, envariance then gives Born weights for pointer events. For degenerate (incomplete) observables, whose events are projectors of arbitrary rank, one must pass from Schmidt-state weights to eigenspace probabilities; this step requires the additivity assumption $p(\sum_m P_m)=\sum_m p(P_m)$, and because eigenspaces can be infinite-dimensional, its countable form, sigma-additivity. Herbut offered only intuitive plausibility for this assumption, and it is exactly what lets the derivation cover laboratory-realizable instruments with finitely many pointer outcomes.

The foundational worry is circularity. Gleason's theorem (1957; Hilbert-space dimension $\ge 3$) states that a sigma-additive probability measure on the full lattice of projectors is precisely a quantum state evaluated by the trace rule. Hence assuming sigma-additivity on that lattice is mathematically equivalent to assuming a large fragment of the very law being derived. Schlosshauer and Fine, in their critique of Zurek's original derivation, put the general point starkly: 'we cannot derive probabilities from a theory that does not already contain some probabilistic concept; at some stage, we need to put probabilities in to get probabilities out.' Herbut concluded that 'Gleason's fundamental theorem makes sigma-additivity the reason for circularity' in this sense, while defending the envariance program as a complementary effort that illuminates how the law comes about rather than one that eliminates its assumptions.

The question remains contested. Zurek's own line claims the worry is answered: a 'weak' additivity assumption suffices (Zurek 2005), repeatability motivates events without Born's rule (Zurek 2013), and the fullest statement (Zurek 2022) argues that additivity should be — and can be — derived rather than postulated, Laplace-style (i.e., by counting equiprobable alternatives, as in Laplace's principle of indifference), from envariance-established equiprobability plus envariance-based decoherence, making the derivation 'manifestly noncircular'. Against this, Logiurato and Smerzi argue that the envariance proof implicitly assumes non-contextual probability, and Zhang (2026) shows that Zurek's weak additivity guarantees additivity only over events with rational probabilities, that continuity of the probability assignment cannot be derived from Zurek's stated postulates (with an explicit discontinuous counterexample satisfying them), and that additivity is indispensable across the five main derivation routes, so that 'the Born rule cannot be derived solely from other non-probabilistic quantum or additional postulates'. Herbut himself, extending the program, conceded that his measurement-based derivation is only formal unless the probability law is assumed valid in the extreme case of probability-one events. Neighboring operational derivations of the measurement postulates are equally unsettled: Masanes, Galley and Müller (2019) claimed they are operationally redundant, Kent (2025) refuted that claim with explicit post-quantum measurement-rule counterexamples, and the ensuing exchange is unresolved.

Problem Statement

Give a rigorous axiomatic accounting of the envariance-based derivation of the Born rule, in its closed-system, measurement-theoretic form, that settles—with proofs, independence results, or explicit counterexample models—the following interlinked questions about the supplementary assumptions (calibration condition CC, probability reproducibility condition PRC, eigenvalue–eigenstate link, identification of pure states with homogeneous ensembles, and sigma-additivity of probabilities over the projector lattice):

(i) Probabilistic input and circularity. Can sigma-additivity, or any successor assumption playing its role (such as additivity over refinement structures rather than the full projector lattice), be derived within unitary quantum mechanics without the Born rule from strictly non-probabilistic premises (envariance symmetry, calibration, repeatability), or is it, Gleason-style, equivalent to a fragment of the probability law to be derived? In particular, resolve the contested step from envariance-established equiprobability and weak additivity to full countable additivity and continuity of the probability assignment, on which a claimed non-circular derivation (Zurek 2022) and an explicit discontinuous counterexample satisfying the weaker postulates (Zhang 2026) currently stand opposed.

(ii) Minimality of the assumption set. Which of the supplementary assumptions are independent of the remaining, non-probabilistic postulates of the framework; can any of them be weakened, derived, or dispensed with while the derivation still yields Born statistics for arbitrary (possibly degenerate) events of a closed system? For instance, can the eigenvalue–eigenstate link or the homogeneous-ensemble reading of pure states be replaced by weaker premises consistent with the envariance strategy?

(iii) Operational robustness. Do physically motivated constraints on the measurement process—finite-pointer instruments, coarse-graining, non-ideal couplings, or the realizability of ideal nondemolition premeasurements for arbitrary degenerate observables—change the logical status (necessity, independence, derivability) of the supplementary assumptions, and is the resulting derivation non-circular in a precisely stated sense?

These three questions are facets of one objective: to determine the minimal assumption basis on which the envariance program derives the Born rule, and exactly how much probabilistic input must be put in to get probabilities out. An answer must make explicit the criterion by which a premise is classified as probabilistic versus non-probabilistic, and every claimed derivability, independence, or equivalence result must be proved relative to that stated criterion.

Completion standard. Questions (i)–(iii) are mandatory and jointly necessary: a complete answer must return a verdict on each of them. The demands introduced by 'In particular' and 'For instance' are focal instances that must be addressed, but settling such an instance does not by itself discharge the general demand of its parent sub-question, and settling (ii) in general does not discharge (i), whose verdicts on the derivability or equivalence of the probabilistic input and on circularity stand on their own. Where (i) and (ii) bear on the same assumption (sigma-additivity), a single proof may serve both, provided it establishes both the derivability-or-equivalence verdict of (i) and the independence-or-minimality verdict of (ii).

References

1. F. Herbut, 'Zurek's envariance derivation of Born's rule and measurement', Eur. Phys. J. Plus 127, 14 (2012). DOI: 10.1140/epjp/i2012-12014-2 (arXiv:1301.7696). https://doi.org/10.1140/epjp/i2012-12014-2
2. W. H. Zurek, 'Environment-assisted invariance, entanglement, and probabilities in quantum physics', Phys. Rev. Lett. 90, 120404 (2003). DOI: 10.1103/PhysRevLett.90.120404. https://doi.org/10.1103/PhysRevLett.90.120404
3. W. H. Zurek, 'Probabilities from entanglement, Born's rule $p_k=|\psi_k|^2$ from envariance', Phys. Rev. A 71, 052105 (2005). DOI: 10.1103/PhysRevA.71.052105. https://doi.org/10.1103/PhysRevA.71.052105
4. M. Schlosshauer and A. Fine, 'On Zurek's derivation of the Born rule', Found. Phys. 35, 197 (2005). DOI: 10.1007/s10701-004-1941-6 (arXiv:quant-ph/0312058). https://doi.org/10.1007/s10701-004-1941-6
5. A. M. Gleason, 'Measures on the closed subspaces of a Hilbert space', J. Math. Mech. 6, 885 (1957). DOI: 10.1512/iumj.1957.6.56050. https://doi.org/10.1512/iumj.1957.6.56050
6. F. Herbut, 'Quantum probability law from "environment-assisted invariance" in terms of pure-state twin unitaries', J. Phys. A: Math. Theor. 40, 5949 (2007). DOI: 10.1088/1751-8113/40/22/013 (preprint arXiv:quant-ph/0611220, there titled 'Complete "Born's rule" from "environment-assisted invariance" in terms of pure-state twin unitaries'). https://doi.org/10.1088/1751-8113/40/22/013
7. P. Busch, P. K. Lahti and P. Mittelstaedt, The Quantum Theory of Measurement, Lecture Notes in Physics m2 (Springer, Berlin, 1991). DOI: 10.1007/978-3-662-13844-1. https://doi.org/10.1007/978-3-662-13844-1
8. F. Herbut, 'Derivation of quantum probability from measurement', Eur. Phys. J. Plus 131, 141 (2016). DOI: 10.1140/epjp/i2016-16141-4 (arXiv:1512.04028). https://doi.org/10.1140/epjp/i2016-16141-4
9. W. H. Zurek, 'Wave-packet collapse and the core quantum postulates: Discreteness of quantum jumps from unitarity, repeatability, and actionable information', Phys. Rev. A 87, 052111 (2013). DOI: 10.1103/PhysRevA.87.052111 (arXiv:1212.3245). https://doi.org/10.1103/PhysRevA.87.052111
10. W. H. Zurek, 'Quantum theory of the classical: quantum jumps, Born's rule and objective classical reality via quantum Darwinism', Phil. Trans. R. Soc. A 376, 20180107 (2018). DOI: 10.1098/rsta.2018.0107 (arXiv:1807.02092). https://doi.org/10.1098/rsta.2018.0107
11. W. H. Zurek, 'Quantum theory of the classical: einselection, envariance, quantum Darwinism and extantons', Entropy 24, 1520 (2022). DOI: 10.3390/e24111520 (arXiv:2208.09019). https://doi.org/10.3390/e24111520
12. F. Logiurato and A. Smerzi, 'Born rule and noncontextual probability', J. Mod. Phys. 3, 1802 (2012). DOI: 10.4236/jmp.2012.311225 (arXiv:1202.2728). https://doi.org/10.4236/jmp.2012.311225
13. A. V. Nenashev, 'Quantum probabilities from combination of Zurek's envariance and Gleason's theorem', Phys. Scr. T163, 014033 (2014). DOI: 10.1088/0031-8949/2014/T163/014033 (arXiv:1406.0138). https://doi.org/10.1088/0031-8949/2014/T163/014033
14. L. Masanes, T. D. Galley and M. P. Müller, 'The measurement postulates of quantum mechanics are operationally redundant', Nat. Commun. 10, 1361 (2019). DOI: 10.1038/s41467-019-09348-x (arXiv:1811.11060). https://doi.org/10.1038/s41467-019-09348-x
15. A. Kent, 'The measurement postulates of quantum mechanics are not redundant', Quantum 9, 1749 (2025). DOI: 10.22331/q-2025-05-20-1749 (arXiv:2307.06191). https://doi.org/10.22331/q-2025-05-20-1749
16. L. Masanes, T. D. Galley and M. P. Müller, 'Response to "The measurement postulates of quantum mechanics are not redundant"', Quantum 9, 1592 (2025). DOI: 10.22331/q-2025-01-14-1592 (arXiv:2309.01650). https://doi.org/10.22331/q-2025-01-14-1592
17. J. Lawrence, 'The Born rule: Axiom or result?', Am. J. Phys. 92, 371 (2024). DOI: 10.1119/5.0151405 (preprint, with P. Goyal: arXiv:2302.02086). https://doi.org/10.1119/5.0151405
18. J. Zhang, 'Summing to uncertainty: on the necessity of additivity in deriving the Born rule', arXiv:2603.06211 (2026). https://arxiv.org/abs/2603.06211
19. M. Lela, 'The Born rule as the unique refinement-stable induced weight on robust record sectors', arXiv:2603.24619 (2026). https://arxiv.org/abs/2603.24619
20. A. Sone, A. Touil, K. Maeda, P. Cappellaro and S. Deffner, 'No-go theorem for environment-assisted invariance in non-unitary dynamics', New J. Phys. 27, 064509 (2025). DOI: 10.1088/1367-2630/ade46f (arXiv:2503.10400). https://doi.org/10.1088/1367-2630/ade46f
21. P. Wang, 'Derive the Born's rule from environment-induced stochastic dynamics of wave functions in an open system', Eur. Phys. J. Plus 135, 927 (2020). DOI: 10.1140/epjp/s13360-020-00947-y (arXiv:1909.13027). https://doi.org/10.1140/epjp/s13360-020-00947-y