Pith. sign in

REVIEW 2 major objections 5 minor 85 references

Classical explainability does not follow from local classicality: bilocal classical theory is explainable, yet some locally-classical theories are not.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

T0 review · deepseek-v4-flash

2026-08-03 20:32 UTC pith:NMWDXEQW

load-bearing objection The BCT ontological model is a genuine achievement; the no-go half of the decoupling claim currently rests on an unproved equation, so the paper is not fully there yet. the 2 major comments →

arxiv 2511.19266 v2 pith:NMWDXEQW submitted 2025-11-24 quant-ph

Decoupling local classicality from classical explainability: A noncontextual model for bilocal classical theory and a locally-classical but contextual theory

classification quant-ph
keywords operational probabilistic theoriesgeneralised noncontextualityontological modelsbilocal classical theorylatent classical theorieslocal tomographyclassical explainability
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

This paper decouples two notions of classicality: a theory being locally classical (every system is a simplex theory) and being classically explainable (admitting an ontological model into standard classical theory). It proves that bilocal classical theory (BCT), a locally-classical theory that violates local tomography, admits an ontological model, refuting a conjecture that it might not. It then constructs locally-classical theories (latent classical theories, or LCTs) with non-full-rank latent states and proves they admit no ontological model. Together, these results show that local classicality neither implies nor prevents classical explainability, and that the compositional structure of a theory, not just its local state spaces, determines whether it is classically explainable.

Core claim

The paper establishes two theorems. Theorem 2.2: there exists an ontological model for bilocal classical theory, a strongly causal operational theory whose composite systems are classical simplices but whose composition rule doubles bipartite dimensions, so composite states are not determined by local measurements. The model maps every system of dimension n to a classical system of dimension 2n, encoding a binary flag that tracks the non-local 'phase' degrees of freedom through controlled-NOT and copy operations, and is shown to be linear, diagram-preserving, probability-preserving, and determinacy-preserving. Theorem 3.2: no ontological model exists for any latent classical theory in which

What carries the argument

For BCT, the central object is the explicit ontological map: each system n is sent to a 2n-dimensional classical system, pure states acquire an extra classical bit (the 'binary phase'), and atomic transformations are implemented with controlled-NOT and copy gates. This is the first full-theory ontological model for a non-locally-tomographic theory. For the no-go result, the load-bearing objects are the latent-theory construction applied to classical systems—specifically, the existence of a non-null bipartite effect that annihilates every product state (Eq. 88)—together with the finite-dimensional Choi-swap identity of classical theory (Eq. 91), which together force the contradiction.

Load-bearing premise

The no-go theorem leans on the latent-theory construction of Ref. [75]—assumed without proof here to yield valid operational theories in which a rank-deficient latent state produces a non-null bipartite effect annihilating every product state (Eq. 88)—and on the finite-dimensional Choi-swap identity in classical theory (Eq. 91) as an unproved standard lemma; if either premise fails, Theorem 3.2 does not establish non-explainability.

What would settle it

Verify directly within the construction of Ref. [75] applied to classical systems that a rank-deficient latent state yields a non-null bipartite effect b satisfying (κ⊥|κ)=0 and hence Eq. (88), and check that the Choi-swap identity of Eq. (91) holds in the classical theory used as the model's image. If either fails—the 'annihilating' effect turns out to be null, or the Choi/swap relation is not valid for the proposed ontic space—Theorem 3.2's contradiction dissolves.

Watch this falsifier — get emailed when new claim-graph text bears on it.

If this is right

  • Bilocal classical theory is classically explainable, refuting the conjecture from its original presentation and showing that violating local tomography does not by itself prevent a theory from having a noncontextual ontological model.
  • Latent classical theories with a non-full-rank latent state are locally classical yet admit no ontological model, so local classicality and classical explainability are logically independent.
  • The assumption of local tomography in the structure theorem of Ref. [2] is a genuine limitation: BCT falls outside that theorem's scope precisely because it violates local tomography, yet it is still classically explainable.
  • The BCT model is, to the paper's knowledge, only the second ontological model for an entire theory and the first for a non-locally-tomographic theory, providing a concrete methodology for constructing models of other theories with modified composition rules.
  • The contradiction in Theorem 3.2 identifies the existence of a non-null bipartite effect annihilating all product states as the operative obstruction to classical explainability in locally-classical theories.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • These results suggest a classification principle: a locally-classical theory may be classically explainable exactly when no non-null bipartite effect annihilates all product states; other foil theories with modified composition rules (such as the twirled and swirled worlds mentioned in the paper) could be tested against this criterion.
  • The extra binary flag in the BCT model functions as a hidden phase variable, hinting that locally-classical theories obtained by 'phase-space doubling'—where each subsystem carries a discrete gauge bit—will generally admit ontological models, pointing toward systematic constructions for other exotic composition rules.
  • The no-go theorem implies that any locally-classical theory with a non-full-rank latent state will violate generalized noncontextuality inequalities in some bipartite scenario, even though its unipartite sectors are simplex-embeddable; this provides a concrete, testable distinction between BCT and LCTs.
  • If the forthcoming generalization of the proof to infinite-dimensional classical embeddings succeeds, the obstruction will be purely structural and not an artifact of finite-dimensional ontic spaces, making the independence of local classicality and explainability a robust feature of any classical ontology.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

2 major / 5 minor

Summary. The paper defines operational probabilistic theories (OPTs) and the notion of an ontological model as a linear, diagram-preserving, probability-preserving map into classical theory. Its main positive result, Theorem 2.2, is an explicit ontological model for bilocal classical theory (BCT), a locally-classical theory violating local tomography; this is claimed to refute a conjecture from Ref. [1] and to be the first ontological model for a non-locally-tomographic theory. The main negative result, Theorem 3.2, claims that latent classical theories with at least one non-full-rank latent state admit no ontological model. Together these are taken to show that local classicality and classical explainability are logically independent. The positive construction is supported by lengthy appendices checking linearity, diagram preservation, probability preservation, and determinacy. The negative theorem, however, relies on a non-derived identity, Eq. (89), and on an external, non-peer-reviewed construction [75] whose restriction to classical sectors is not proved in the paper.

Significance. If both theorems are correct, the paper settles a question of real interest in the OPT literature: it gives a fully compositional ontological model for a theory that fails local tomography, and it exhibits a locally-classical theory that is nevertheless not classically explainable. The positive construction is substantial and largely self-contained, with explicit diagrammatic checks; this is a genuine strength. The decoupling conclusion, however, is only as strong as Theorem 3.2, and that theorem currently rests on unverified external input and an omitted proof. The paper is honest enough to flag these dependencies, but they are load-bearing. The result would be important and publishable after the missing computations and the validity of the latent classical theory construction are supplied in the manuscript itself.

major comments (2)
  1. [§3.2, Eq. (89)] The proof of Theorem 3.2 hinges on the identity that for every bipartite state β, the composition of β with the effect (b| and a partial trace yields the null process. This is stated as 'easily verified by direct computation resorting to Ref. [75, App. B]', but no computation is shown. It does not follow from Eq. (88), which only concerns product states; indeed, the whole point of these theories is that local tomography fails, so product states do not span all bipartite states. The contradiction in Eq. (92) uses Eq. (89) essentially. Without a full derivation, the no-go theorem is incomplete. Please provide the direct computation as a lemma in the paper or an appendix.
  2. [Definition 3.1; Eqs. (87)-(90)] Latent classical theories are defined by applying the construction of Ref. [75] to classical systems, or as the 'restriction' of LQTs to their classical/diagonal sectors. No proof is given that this restriction yields a valid OPT satisfying the axioms used in Theorem 3.2: the composition rule Eq. (87), the existence of the effect (κ⊥|, the validity of the composite effect (b| defined by a tensor product of an effect on L12 with discarding effects on C1 and C2, and the identity Eq. (89). Since Ref. [75] is an unpublished preprint and the restriction step is not formalized, the counterexample family is not self-contained. The manuscript should include a self-contained construction of the LCTs used, or at least a precise lemma establishing their OPT status and the properties (88)-(90).
minor comments (5)
  1. [Definition 1.2] The sentence 'every scalar in Φ to a scalar in Θ' appears to be backwards: a map from Θ to Φ should send scalars of Θ to scalars of Φ. Please correct.
  2. [§2, Eq. (77)] The image of a single-system pure state is drawn as 'i n B' without specifying the binary label s used in Eq. (71) for states of dimension 2n. Please state explicitly that the binary component is fixed (e.g., s=0) or otherwise clarify the notation.
  3. [§3.2, Eq. (91)] The generalized Choi identity is invoked as 'we recall' with no proof. It is standard for finite-dimensional locally tomographic theories, but since it is used in the no-go contradiction, it should be stated and proved as a lemma, or a precise reference should be given.
  4. [App. A.2.1] The discussion of diagram preservation for µ is terse and at points reads as circular ('must yield the same result as the rightmost diagram'). The equality can be verified directly from Eqs. (78), (112), and (118); please rewrite this subsection as an explicit computation rather than an assertion.
  5. [Throughout] There are numerous typos and minor grammatical errors, e.g., 'reults', 'every every state', 'digram', 'an arbitrary transformationst', and an apparently misplaced phrase in Definition 1.2. A careful proofread is needed.

Circularity Check

0 steps flagged

No significant circularity: the two theorems are supported by explicit constructions and a contradiction argument, not by redefining inputs as outputs.

full rationale

Theorem 2.2 is a constructive existence result: the ontological map in Definition 2.1 is specified explicitly on pure states, effects, and atomic transformations, and the consistency checks in Section 2.1 and Appendix C are direct diagrammatic computations within classical theory. The only imported formal ingredient is the transformation-level simplification of ontological models from the authors' companion work [6]; that result does not presuppose the existence of a BCT model, so it is framework-level rather than a circular premise. Theorem 3.2 is a proof by contradiction: assuming an ontological model exists, the LCT relation (89) is mapped under diagram preservation/linearity to a null classical process, which is then contradicted by the non-null probability of (90). The LCT construction is imported from Ref. [75] (with overlapping authorship), and Eq. (89) is asserted rather than fully derived in the present paper; these are verification and correctness gaps, not circular reductions. Equation (89) is not the target non-existence statement, and the non-existence conclusion is not used to derive it. The Choi identity (91) is a standard finite-dimensional locally-tomographic fact. There are no fitted parameters, no empirical predictions, and no step in which a claimed result is defined as its own input. The self-citations are load-bearing only at the level of definitions/construction and do not make the central derivations equivalent to their assumptions.

Axiom & Free-Parameter Ledger

0 free parameters · 5 axioms · 0 invented entities

No numerical free parameters: the paper is purely structural. No new physical degrees of freedom are postulated: the latent factors come from the prior latent-theory construction [75], and the ontic spaces in the BCT model are ordinary finite-dimensional classical systems.

axioms (5)
  • domain assumption BCT is a strongly causal OPT with composition rule D(n,m)=2nm for n,m != 1, bilocal tomography, and the pure-state/effect rules of Eqs. (35)-(44).
    Imported from Ref. [1]; the existence proof takes BCT exactly as defined there and does not reprove its consistency.
  • domain assumption The definition and properties of ontological models for strongly causal OPTs—linear, diagram-preserving, probability-preserving maps to classical theory—are as in Ref. [6]; for strongly causal OPTs, instrument structure can be ignored.
    This formalizes the target concept; if this framework is not the right notion of classical explainability, Theorem 2.2 loses its advertised interpretation.
  • domain assumption Latent classical theories, as defined by applying the construction of Refs. [75, Apps. A-B] to classical systems, are valid OPTs with latent factors L_12 and latent states kappa; the non-full-rank case yields a non-null bipartite effect annihilating all product states (Eq. 88).
    The no-go theorem 3.2 is conditional on this construction; the detailed consistency proof is deferred to [75].
  • standard math Finite-dimensional classical theory contains generalized Choi vectors and covectors satisfying the swap identity (Eq. 91).
    Used in the contradiction argument of Theorem 3.2; standard in Choi/process-matrix representations but not proved in the paper.
  • domain assumption Every system in the theories considered has a unique decomposition into elementary systems.
    Assumed so that parallel composition can be specified by elementary systems, following Refs. [5] and [75].

pith-pipeline@v1.3.0-alltime-deepseek · 33468 in / 19633 out tokens · 215125 ms · 2026-08-03T20:32:51.953938+00:00 · methodology

0 comments
read the original abstract

We construct an ontological model for the theory known as bilocal classical theory doi.org/10.1103/PhysRevA.102.052216. To our knowledge, this is only the second time that an ontological model has been constructed for an entire theory, rather than just for some particular scenarios within a theory. This result refutes a conjecture from doi.org/10.1103/PhysRevA.102.052216 which suggested that there might be no local-realist ontological model for bilocal classical theory. Moreover, it is the first time that an ontological model has been constructed for a theory that fails to be locally tomographic, showing that the assumption of local tomography underpinning the structure theorem in doi.org/10.22331/q-2024-03-14-1283 is a genuine limitation of the theorem. This demonstrates that in general there is no tension between failures of local tomography and classical explainability (i.e., generalised noncontextuality). In fact, bilocal classical theory is in many ways more simply understood via the underlying ontological model than it is within its original formulation (much as how odd-dimensional stabiliser subtheories can be more simply understood via Spekkens' toy theory). Furthermore, this result naturally leads to the question, does every locally-classical theory admit of an ontological model? By constructing a concrete counterexample, we show that this is not the case. Our findings demonstrate that there is no straightforward relationship between theories being locally-classical, and them being classically-explainable. This shows that the fundamental status of compositional properties (such as local tomography) is not a technical side-issue, but a central and unavoidable question for a coherent understanding even of classicality itself.

Figures

Figures reproduced from arXiv: 2511.19266 by David Schmid, John H.Selby, Marco Erba, Sina Soltani.

Figure 1
Figure 1. Figure 1: Venn diagram incorporating our results. One example of a theory is included for each region, with the [PITH_FULL_IMAGE:figures/full_fig_p021_1.png] view at source ↗

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

85 extracted references · 2 canonical work pages

  1. [1]

    Classicality without local discriminability: Decoupling entanglement and complementarity

    Giacomo Mauro D’Ariano, Marco Erba, and Paolo Perinotti. “Classicality without local discriminability: Decoupling entanglement and complementarity” . Physical Review A102, 052216 (2020)

  2. [2]

    A structure theorem for generalized-noncontextual ontological models

    David Schmid, John H. Selby, Matthew F. Pusey, and Robert W. Spekkens. “A structure theorem for generalized-noncontextual ontological models” . Quantum8, 1283 (2024)

  3. [3]

    Probabilistic theories with purification

    Giulio Chiribella, Giacomo Mauro D’Ariano, and Paolo Perinotti. “Probabilistic theories with purification” . Phys. Rev. A81, 062348 (2010)

  4. [4]

    Quantum theory from first principles: An informational approach

    Giacomo Mauro D’Ariano, Giulio Chiribella, and Paolo Perinotti. “Quantum theory from first principles: An informational approach” . Cambridge University Press. (2017). url:https: //www.cambridge.org/core/books/quantum-theory-from-first-principles/ 4B583F61C12E168F55FBCC2664ADB750. 22

  5. [5]

    Minimal operational theories: classical theories with quantum features

    Davide Rolino, Marco Erba, Alessandro Tosini, and Paolo Perinotti. “Minimal operational theories: classical theories with quantum features” . New Journal of Physics27, 023004 (2025)

  6. [6]

    Noncontextual ontological models of operational probabilistic theories

    Sina Soltani, Marco Erba, David Schmid, and John H. Selby. “Noncontextual ontological models of operational probabilistic theories” (2025). arXiv:2502.11842

  7. [7]

    Categorical Physics I – Review of the Operational Probabilistic Theories framework

    Marco Erba, Paolo Perinotti, and Giacomo Mauro D’Ariano. “Categorical Physics I – Review of the Operational Probabilistic Theories framework” .forthcoming(2025)

  8. [8]

    Information processing in generalized probabilistic theories

    Jonathan Barrett. “Information processing in generalized probabilistic theories” . Phys. Rev. A75, 032304 (2007)

  9. [9]

    Generalized probabilistic theories without the no-restriction hypothesis

    Peter Janotta and Raymond Lal. “Generalized probabilistic theories without the no-restriction hypothesis” . Phys. Rev. A87, 052131 (2013)

  10. [10]

    Generalized probability theories: what determines the structure of quantum theory?

    Peter Janotta and Haye Hinrichsen. “Generalized probability theories: what determines the structure of quantum theory?” . Journal of Physics A: Mathematical and Theoretical47, 323001 (2014)

  11. [11]

    Non-classical correlations in quantum mechanics and beyond

    Ludovico Lami. “Non-classical correlations in quantum mechanics and beyond” (2018). arXiv:1803.02902

  12. [12]

    General probabilistic theories: An introduction

    Martin Pl´ avala. “General probabilistic theories: An introduction” . Physics Reports1033, 1–64 (2023)

  13. [13]

    Comment on What Bell did

    Reinhard F Werner. “Comment on What Bell did” . J. Phys. A47, 424011 (2014)

  14. [14]

    Entanglement and Superposition Are Equivalent Concepts in Any Physical Theory

    Guillaume Aubrun, Ludovico Lami, Carlos Palazuelos, and Martin Pl´ avala. “Entanglement and Superposition Are Equivalent Concepts in Any Physical Theory” . Phys. Rev. Lett.128, 160402 (2022)

  15. [15]

    A review and reformulation of macroscopic realism: resolving its deficiencies using the framework of generalized probabilistic theories

    David Schmid. “A review and reformulation of macroscopic realism: resolving its deficiencies using the framework of generalized probabilistic theories” . Quantum8, 1217 (2024)

  16. [16]

    Local Accessibility of Quantum States

    William K. Wootters. “Local Accessibility of Quantum States” . Pages 39–46. CRC Press. Boca Raton (1990)

  17. [17]

    Limited Holism and Real-Vector-Space Quantum Theory

    Lucien Hardy and William K Wootters. “Limited Holism and Real-Vector-Space Quantum Theory” . Found. Phys.42, 454–473 (2012)

  18. [18]

    Symmetry-induced fail- ures of tomographic locality: Constructing foil theories by twirling

    Daniel Centeno, Marco Erba, Thomas D. Galley, David Schmid, John H. Selby, Robert W. Spekkens, Sina Soltani, Jacopo Surace, Alex Wilce, and Y` ıl` e Y¯ ıng. “Symmetry-induced fail- ures of tomographic locality: Constructing foil theories by twirling” . Phys. Rev. A112, L030202 (2025)

  19. [19]

    Experimental test of the principle of tomographic locality

    Tristan S. Lismer, Kaleb B. Felefele, Robert W. Spekkens, and Kevin J. Resch. “Experimental test of the principle of tomographic locality” (2025). arXiv:2506.07775

  20. [20]

    Charac- terization of Noncontextuality in the Framework of Generalized Probabilistic Theories

    David Schmid, John H. Selby, Elie Wolfe, Ravi Kunjwal, and Robert W. Spekkens. “Charac- terization of Noncontextuality in the Framework of Generalized Probabilistic Theories” . PRX Quantum2, 010331 (2021)

  21. [21]

    Unscrambling the omelette of cau- sation and inference: The framework of causal-inferential theories

    David Schmid, John H. Selby, and Robert W. Spekkens. “Unscrambling the omelette of cau- sation and inference: The framework of causal-inferential theories” (2021). arXiv:2009.03297

  22. [22]

    Testing quantum theory by generalizing non- contextuality

    Markus P. M¨ uller and Andrew J. P. Garner. “Testing quantum theory by generalizing non- contextuality” . Phys. Rev. X13, 041001 (2023)

  23. [23]

    Accessible fragments of generalized probabilistic theories, cone equivalence, and applications to witnessing nonclassicality

    John H. Selby, David Schmid, Elie Wolfe, Ana Bel´ en Sainz, Ravi Kunjwal, and Robert W. Spekkens. “Accessible fragments of generalized probabilistic theories, cone equivalence, and applications to witnessing nonclassicality” . Phys. Rev. A107, 062203 (2023)

  24. [24]

    Linear program for testing nonclassicality and an open-source implementation

    John H. Selby, Elie Wolfe, David Schmid, Ana Bel´ en Sainz, and Vinicius P. Rossi. “Linear program for testing nonclassicality and an open-source implementation” . Phys. Rev. Lett. 132, 050202 (2024)

  25. [25]

    Shadows and subsystems of generalized probabilistic theories: when tomographic incomplete- ness is not a loophole for contextuality proofs

    David Schmid, John H. Selby, Vinicius P. Rossi, Roberto D. Baldij˜ ao, and Ana Bel´ en Sainz. “Shadows and subsystems of generalized probabilistic theories: when tomographic incomplete- ness is not a loophole for contextuality proofs” . Quantum9, 1880 (2025)

  26. [26]

    How typical is contextuality?

    Vinicius P. Rossi, Beata Zjawin, Roberto D. Baldij˜ ao, David Schmid, John H. Selby, and Ana Bel´ en Sainz. “How typical is contextuality?” (2025). arXiv:2510.20722

  27. [27]

    Contextuality for preparations, transformations, and unsharp mea- surements

    R. W. Spekkens. “Contextuality for preparations, transformations, and unsharp mea- surements” . Phys. Rev. A71, 052108 (2005). url:http://link.aps.org/doi/10.1103/ PhysRevA.71.052108. 23

  28. [28]

    Einstein, incompleteness, and the epistemic view of quantum states

    Nicholas Harrigan and Robert W Spekkens. “Einstein, incompleteness, and the epistemic view of quantum states” . Foundations of Physics40, 125–157 (2010). url:https://link. springer.com/article/10.1007/s10701-009-9347-0

  29. [29]

    The ontological identity of empirical indiscernibles: Leibniz’s method- ological principle and its significance in the work of Einstein

    Robert W. Spekkens. “The ontological identity of empirical indiscernibles: Leibniz’s method- ological principle and its significance in the work of Einstein” (2019). arXiv:1909.04628

  30. [30]

    Negativity and Contextuality are Equivalent Notions of Nonclassi- cality

    Robert W. Spekkens. “Negativity and Contextuality are Equivalent Notions of Nonclassi- cality” . Phys. Rev. Lett.101, 020401 (2008). url:http://link.aps.org/doi/10.1103/ PhysRevLett.101.020401

  31. [31]

    Uniqueness of noncon- textual models for stabilizer subtheories

    David Schmid, Haoxing Du, John H. Selby, and Matthew F. Pusey. “Uniqueness of noncon- textual models for stabilizer subtheories” . Phys. Rev. Lett.129, 120403 (2022)

  32. [32]

    Quantum computational advantage implies contextuality

    Farid Shahandeh. “Quantum computational advantage implies contextuality” (2021). url:https://arxiv.org/abs/2112.00024

  33. [33]

    Contextual advantage for state discrimination

    David Schmid and Robert W Spekkens. “Contextual advantage for state discrimination” . Phys. Rev. X8, 011015 (2018). url:https://journals.aps.org/prx/abstract/10.1103/ PhysRevX.8.011015

  34. [34]

    Contextual advantages and certification for maximum-confidence discrimination

    Kieran Flatt, Hanwool Lee, Carles Roch I Carceller, Jonatan Bohr Brask, and Joonwoo Bae. “Contextual advantages and certification for maximum-confidence discrimination” . PRX Quantum3, 030337 (2022)

  35. [35]

    Discriminating three mirror-symmetric states with a restricted contextual advantage

    Sumit Mukherjee, Shivam Naonit, and A. K. Pan. “Discriminating three mirror-symmetric states with a restricted contextual advantage” . Phys. Rev. A106, 012216 (2022)

  36. [36]

    Quantum contextual advantage depending on nonzero prior probabilities in state discrimination of mixed qubit states

    Jaehee Shin, Donghoon Ha, and Younghun Kwon. “Quantum contextual advantage depending on nonzero prior probabilities in state discrimination of mixed qubit states” . Entropy23(2021)

  37. [37]

    Why interference phenomena do not capture the essence of quantum theory

    Lorenzo Catani, Matthew Leifer, David Schmid, and Robert W. Spekkens. “Why interference phenomena do not capture the essence of quantum theory” . Quantum7, 1119 (2023)

  38. [38]

    Reply to “comment on ‘why interference phenomena do not capture the essence of quantum theory

    Lorenzo Catani, Matthew Leifer, David Schmid, and Robert W Spekkens. “Reply to “comment on ‘why interference phenomena do not capture the essence of quantum theory””’ (2022). url:https://arxiv.org/abs/2207.11791

  39. [39]

    Aspects of the phenomenology of interference that are genuinely nonclassical

    Lorenzo Catani, Matthew Leifer, Giovanni Scala, David Schmid, and Robert W. Spekkens. “Aspects of the phenomenology of interference that are genuinely nonclassical” . Phys. Rev. A 108, 022207 (2023)

  40. [40]

    Experimental certification of contextuality, coherence, and dimension in a pro- grammable universal photonic processor

    Taira Giordani, Rafael Wagner, Chiara Esposito, Anita Camillini, Francesco Hoch, Gon- zalo Carvacho, Ciro Pentangelo, Francesco Ceccarelli, Simone Piacentini, Andrea Crespi, et al. “Experimental certification of contextuality, coherence, and dimension in a pro- grammable universal photonic processor” . Science Advances9, eadj4249 (2023). url:https: //www....

  41. [41]

    Contextuality without incompatibility

    John H. Selby, David Schmid, Elie Wolfe, Ana Bel´ en Sainz, Ravi Kunjwal, and Robert W. Spekkens. “Contextuality without incompatibility” . Phys. Rev. Lett.130, 230201 (2023)

  42. [42]

    Measurement incom- patibility is strictly stronger than disturbance

    Marco Erba, Paolo Perinotti, Davide Rolino, and Alessandro Tosini. “Measurement incom- patibility is strictly stronger than disturbance” . Phys. Rev. A109, 022239 (2024)

  43. [43]

    Measurement incompatibility and steering are necessary and sufficient for operational contextuality

    Armin Tavakoli and Roope Uola. “Measurement incompatibility and steering are necessary and sufficient for operational contextuality” . Phys. Rev. Research2, 013011 (2020)

  44. [44]

    What is nonclassical about uncertainty relations?

    Lorenzo Catani, Matthew Leifer, Giovanni Scala, David Schmid, and Robert W. Spekkens. “What is nonclassical about uncertainty relations?” . Phys. Rev. Lett.129, 240401 (2022)

  45. [45]

    Certifying Quantum Signatures in Thermodynamics and Metrology via Contextuality of Quantum Linear Response

    Matteo Lostaglio. “Certifying Quantum Signatures in Thermodynamics and Metrology via Contextuality of Quantum Linear Response” . Phys. Rev. Lett.125, 230603 (2020)

  46. [46]

    Contextuality in anomalous heat flow

    Naim Elias Comar, Danilo Cius, Luis Felipe Santos, Rafael Wagner, and B´ arbara Amaral. “Contextuality in anomalous heat flow” (2024). arXiv:2406.09715

  47. [47]

    Quantum fluctuation theorems, contextuality, and work quasiprobabili- ties

    Matteo Lostaglio. “Quantum fluctuation theorems, contextuality, and work quasiprobabili- ties” . Phys. Rev. Lett.120, 040602 (2018)

  48. [48]

    Anomalous Weak Values Are Proofs of Contextuality

    Matthew F. Pusey. “Anomalous Weak Values Are Proofs of Contextuality” . Phys. Rev. Lett. 113, 200401 (2014). url:http://link.aps.org/doi/10.1103/PhysRevLett.113.200401

  49. [49]

    Anomalous weak values and con- textuality: Robustness, tightness, and imaginary parts

    Ravi Kunjwal, Matteo Lostaglio, and Matthew F. Pusey. “Anomalous weak values and con- textuality: Robustness, tightness, and imaginary parts” . Phys. Rev. A100, 042116 (2019)

  50. [50]

    Contextuality with vanishing coherence and maximal robustness to dephasing

    Vinicius P. Rossi, David Schmid, John H. Selby, and Ana Bel´ en Sainz. “Contextuality with vanishing coherence and maximal robustness to dephasing” . Phys. Rev. A108, 032213 (2023). 24

  51. [51]

    Coherence and contextuality in a Mach-Zehnder interferometer

    Rafael Wagner, Anita Camillini, and Ernesto F. Galv˜ ao. “Coherence and contextuality in a Mach-Zehnder interferometer” . Quantum8, 1240 (2024)

  52. [52]

    Inequalities witnessing coher- ence, nonlocality, and contextuality

    Rafael Wagner, Rui Soares Barbosa, and Ernesto F Galv˜ ao. “Inequalities witnessing coher- ence, nonlocality, and contextuality” . Physical Review A109, 032220 (2024). url:https: //journals.aps.org/pra/abstract/10.1103/PhysRevA.109.032220

  53. [53]

    Emergence of Noncontextuality under Quantum Darwinism

    Roberto D. Baldij˜ ao, Rafael Wagner, Cristhiano Duarte, B´ arbara Amaral, and Marcelo Terra Cunha. “Emergence of Noncontextuality under Quantum Darwinism” . PRX Quantum2, 030351 (2021)

  54. [54]

    Preparation Contextuality Powers Parity-Oblivious Multiplexing

    Robert W. Spekkens, D. H. Buzacott, A. J. Keehn, Ben Toner, and G. J. Pryde. “Preparation Contextuality Powers Parity-Oblivious Multiplexing” . Phys. Rev. Lett.102, 010401 (2009)

  55. [55]

    Optimal bounds for parity-oblivious random access codes

    Andre Chailloux, Iordanis Kerenidis, Srijita Kundu, and Jamie Sikora. “Optimal bounds for parity-oblivious random access codes” . New J. Phys.18, 045003 (2016). url:http://stacks. iop.org/1367-2630/18/i=4/a=045003

  56. [56]

    Parity oblivious d-level random access codes and class of noncontextuality inequalities

    Andris Ambainis, Manik Banik, Anubhav Chaturvedi, Dmitry Kravchenko, and Ashutosh Rai. “Parity oblivious d-level random access codes and class of noncontextuality inequalities” . Quantum Inf. Process.18, 111 (2019). url:https://link.springer.com/article/10.1007/ s11128-019-2228-3

  57. [57]

    State independent contextuality advances one-way communication

    Debashis Saha, Pawe/suppress l Horodecki, and Marcin Paw/suppress lowski. “State independent contextuality advances one-way communication” . New J. Phys.21, 093057 (2019)

  58. [58]

    Contextuality in entanglement-assisted one-shot classical communication

    Shiv Akshar Yadavalli and Ravi Kunjwal. “Contextuality in entanglement-assisted one-shot classical communication” . Quantum6, 839 (2022)

  59. [59]

    Communication games reveal preparation contextuality

    Alley Hameedi, Armin Tavakoli, Breno Marques, and Mohamed Bourennane. “Communication games reveal preparation contextuality” . Phys. Rev. Lett.119, 220402 (2017)

  60. [60]

    Robustness of contextuality under different types of noise as quantifiers for parity- oblivious multiplexing tasks

    Amanda M. Fonseca, Vinicius P. Rossi, Roberto D. Baldij˜ ao, John H. Selby, and Ana Bel´ en Sainz. “Robustness of contextuality under different types of noise as quantifiers for parity- oblivious multiplexing tasks” (2024). arXiv:2406.12773

  61. [61]

    Contextual advantage for state-dependent cloning

    Matteo Lostaglio and Gabriel Senno. “Contextual advantage for state-dependent cloning” . Quantum4, 258 (2020)

  62. [62]

    No-broadcasting characterizes operational contextuality

    Pauli Jokinen, Mirjam Weilenmann, Martin Pl´ avala, Juha-Pekka Pellonp¨ a¨ a, Jukka Kiukas, and Roope Uola. “No-broadcasting characterizes operational contextuality” (2024). arXiv:2406.07305

  63. [63]

    Pre- and Post-Selection Paradoxes and Contextuality in Quantum Mechanics

    M. S. Leifer and Robert W. Spekkens. “Pre- and Post-Selection Paradoxes and Contextuality in Quantum Mechanics” . Phys. Rev. Lett.95, 200405 (2005). url:http://link.aps.org/ doi/10.1103/PhysRevLett.95.200405

  64. [64]

    Quantum vs noncontextual semi-device-independent randomness certification

    Carles Roch i Carceller, Kieran Flatt, Hanwool Lee, Joonwoo Bae, and Jonatan Bohr Brask. “Quantum vs noncontextual semi-device-independent randomness certification” . Phys. Rev. Lett.129, 050501 (2022)

  65. [65]

    Maximally Epistemic Interpretations of the Quantum State and Contextuality

    M. S. Leifer and O. J. E. Maroney. “Maximally Epistemic Interpretations of the Quantum State and Contextuality” . Phys. Rev. Lett.110, 120401 (2013). url:http://link.aps.org/ doi/10.1103/PhysRevLett.110.120401

  66. [66]

    Invertible map between bell nonlocal and contextuality scenarios

    Victoria J. Wright and M´ at´ e Farkas. “Invertible map between bell nonlocal and contextuality scenarios” . Phys. Rev. Lett.131, 220202 (2023)

  67. [67]

    From the Kochen-Specker Theorem to Noncontex- tuality Inequalities without Assuming Determinism

    Ravi Kunjwal and Robert W. Spekkens. “From the Kochen-Specker Theorem to Noncontex- tuality Inequalities without Assuming Determinism” . Phys. Rev. Lett.115, 110403 (2015)

  68. [68]

    From statistical proofs of the kochen-specker theorem to noise-robust noncontextuality inequalities

    Ravi Kunjwal and Robert W. Spekkens. “From statistical proofs of the kochen-specker theorem to noise-robust noncontextuality inequalities” . Phys. Rev. A97, 052110 (2018)

  69. [69]

    Contextuality beyond the Kochen-Specker theorem

    Ravi Kunjwal. “Contextuality beyond the Kochen-Specker theorem” (2016). url:https: //arxiv.org/abs/1612.07250

  70. [70]

    Beyond the Cabello-Severini-Winter framework: Making sense of contextual- ity without sharpness of measurements

    Ravi Kunjwal. “Beyond the Cabello-Severini-Winter framework: Making sense of contextual- ity without sharpness of measurements” . Quantum3, 184 (2019)

  71. [71]

    Hypergraph framework for irreducible noncontextuality inequalities from logical proofs of the Kochen-Specker theorem

    Ravi Kunjwal. “Hypergraph framework for irreducible noncontextuality inequalities from logical proofs of the Kochen-Specker theorem” . Quantum4, 219 (2020)

  72. [72]

    Fine’s theorem, noncontextuality, and correlations in specker’s scenario

    Ravi Kunjwal. “Fine’s theorem, noncontextuality, and correlations in specker’s scenario” . Phys. Rev. A91, 022108 (2015)

  73. [73]

    Almost Quantum Correlations are Inconsistent with Specker’s Principle

    Tom´ aˇ s Gonda, Ravi Kunjwal, David Schmid, Elie Wolfe, and Ana Bel´ en Sainz. “Almost Quantum Correlations are Inconsistent with Specker’s Principle” . Quantum2, 87 (2018). 25

  74. [74]

    Classical theories with entan- glement

    Giacomo Mauro D’Ariano, Marco Erba, and Paolo Perinotti. “Classical theories with entan- glement” . Physical Review A101, 042118 (2020). url:https://journals.aps.org/pra/ abstract/10.1103/PhysRevA.101.042118

  75. [75]

    The composition rule for quantum systems is not the only possible one

    Marco Erba and Paolo Perinotti. “The composition rule for quantum systems is not the only possible one” (2024). arXiv:2411.15964

  76. [76]

    Local Quantum Measurement and No-Signaling Imply Quantum Correlations

    H. Barnum, S. Beigi, S. Boixo, M. B. Elliott, and S. Wehner. “Local Quantum Measurement and No-Signaling Imply Quantum Correlations” . Phys. Rev. Lett.104, 140401 (2010)

  77. [77]

    Deriving Quan- tum Theory from Its Local Structure and Reversibility

    Gonzalo de la Torre, Llu´ ıs Masanes, Anthony J. Short, and Markus P. M¨ uller. “Deriving Quan- tum Theory from Its Local Structure and Reversibility” . Phys. Rev. Lett.109, 090403 (2012)

  78. [78]

    Dilation of states and processes in operational-probabilistic theories

    Giulio Chiribella. “Dilation of states and processes in operational-probabilistic theories” . Electronic Proceedings in Theoretical Computer Science172, 1–14 (2014)

  79. [79]

    Quantum from principles

    Giulio Chiribella, Giacomo Mauro D’Ariano, and Paolo Perinotti. “Quantum from principles” . Pages 171–221. Springer Netherlands. Dordrecht (2016)

  80. [80]

    Categorical algebra

    Saunders MacLane. “Categorical algebra” . Bulletin of the American Mathematical Society 71, 40–106 (1965)

Showing first 80 references.