Uniqueness of noncontextual models for stabilizer subtheories

• URL: http://arxiv.org/abs/2101.06263v4
• Date: Tue, 27 Sep 2022 15:30:52 GMT
• Title: Uniqueness of noncontextual models for stabilizer subtheories
• Authors: David Schmid, Haoxing Du, John H. Selby, Matthew F. Pusey
• Abstract summary: We give a complete characterization of the (non)classicality of all stabilizer subtheories. We prove that there is a unique nonnegative and diagram-preserving quasiprobability representation of the stabilizer subtheory in all odd dimensions.
• Score: 0.0
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: We give a complete characterization of the (non)classicality of all stabilizer subtheories. First, we prove that there is a unique nonnegative and diagram-preserving quasiprobability representation of the stabilizer subtheory in all odd dimensions, namely Gross's discrete Wigner function. This representation is equivalent to Spekkens' epistemically restricted toy theory, which is consequently singled out as the unique noncontextual ontological model for the stabilizer subtheory. Strikingly, the principle of noncontextuality is powerful enough (at least in this setting) to single out one particular classical realist interpretation. Our result explains the practical utility of Gross's representation by showing that (in the setting of the stabilizer subtheory) negativity in this particular representation implies generalized contextuality. Since negativity of this particular representation is a necessary resource for universal quantum computation in the state injection model, it follows that generalized contextuality is also a necessary resource for universal quantum computation in this model. In all even dimensions, we prove that there does not exist any nonnegative and diagram-preserving quasiprobability representation of the stabilizer subtheory, and, hence, that the stabilizer subtheory is contextual in all even dimensions.

Related papers

• Connecting classical finite exchangeability to quantum theory [69.62715388742298]
  Exchangeability is a fundamental concept in probability theory and statistics. We show how a de Finetti-like representation theorem for finitely exchangeable sequences requires a mathematical representation which is formally equivalent to quantum theory.
  arXiv  Detail & Related papers  (2023-06-06T17:15:19Z)
• Evaluating the Robustness of Interpretability Methods through Explanation Invariance and Equivariance [72.50214227616728]
  Interpretability methods are valuable only if their explanations faithfully describe the explained model. We consider neural networks whose predictions are invariant under a specific symmetry group.
  arXiv  Detail & Related papers  (2023-04-13T17:59:03Z)
• Discretised Hilbert Space and Superdeterminism [0.0]
  In computational physics it is standard to approximate continuum systems with discretised representations. We consider a specific discretisation of the continuum complex Hilbert space of quantum mechanics.
  arXiv  Detail & Related papers  (2022-04-07T18:00:07Z)
• More Than a Toy: Random Matrix Models Predict How Real-World Neural Representations Generalize [94.70343385404203]
  We find that most theoretical analyses fall short of capturing qualitative phenomena even for kernel regression. We prove that the classical GCV estimator converges to the generalization risk whenever a local random matrix law holds. Our findings suggest that random matrix theory may be central to understanding the properties of neural representations in practice.
  arXiv  Detail & Related papers  (2022-03-11T18:59:01Z)
• Non-standard entanglement structure of local unitary self-dual models as a saturated situation of repeatability in general probabilistic theories [61.12008553173672]
  We show the existence of infinite structures of quantum composite system such that it is self-dual with local unitary symmetry. We also show the existence of a structure of quantum composite system such that non-orthogonal states in the structure are perfectly distinguishable.
  arXiv  Detail & Related papers  (2021-11-29T23:37:58Z)
• Classicality without local discriminability: decoupling entanglement and complementarity [0.0]
  An operational probabilistic theory where all systems are classical, and all pure states of composite systems are entangled, is constructed. We demonstrate that the presence of entanglement is independent of the existence of incompatible measurements. We also prove the existence, in the theory, of a universal processor.
  arXiv  Detail & Related papers  (2020-08-10T10:30:47Z)
• Coupling-based Invertible Neural Networks Are Universal Diffeomorphism Approximators [72.62940905965267]
  Invertible neural networks based on coupling flows (CF-INNs) have various machine learning applications such as image synthesis and representation learning. Are CF-INNs universal approximators for invertible functions? We prove a general theorem to show the equivalence of the universality for certain diffeomorphism classes.
  arXiv  Detail & Related papers  (2020-06-20T02:07:37Z)
• A structure theorem for generalized-noncontextual ontological models [0.0]
  We use a process-theoretic framework to prove that every generalized-noncontextual ontological model of a tomographically local operational theory has a surprisingly rigid and simple mathematical structure. We extend known results concerning the equivalence of different notions of classicality from prepare-measure scenarios to arbitrary compositional scenarios.
  arXiv  Detail & Related papers  (2020-05-14T17:28:19Z)
• Generalised Lipschitz Regularisation Equals Distributional Robustness [47.44261811369141]
  We give a very general equality result regarding the relationship between distributional robustness and regularisation. We show a new result explicating the connection between adversarial learning and distributional robustness.
  arXiv  Detail & Related papers  (2020-02-11T04:19:43Z)
• Bypassing the Kochen-Specker theorem: an explicit non-contextual statistical model for the qutrit [0.0]
  We describe an explicitly non-contextual statistical model of hidden variables for the qutrit. We observe that the existence of such an absolute frame of reference is not required by fundamental physical principles.
  arXiv  Detail & Related papers  (2018-05-13T19:37:33Z)
• A Unified Scientific Basis for Inference [0.0]
  It is shown that a natural extension of this discussion gives a conceptual basis from which essential parts of the formalism of quantum mechanics can be derived. The questions around Bell's inequality are approached by using the conditionality principle for each observer.
  arXiv  Detail & Related papers  (2012-06-22T07:34:08Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.