Optimal Measurement Structures for Contextuality Applications

• URL: http://arxiv.org/abs/2206.13139v3
• Date: Wed, 19 Apr 2023 15:32:46 GMT
• Title: Optimal Measurement Structures for Contextuality Applications
• Authors: Yuan Liu, Ravishankar Ramanathan, Karol Horodecki, Monika Rosicka, and Pawe{\l} Horodecki
• Abstract summary: The Kochen-Specker (KS) theorem is a corner-stone result in the foundations of quantum mechanics. Recently specific substructures termed $01$-gadgets were shown to exist within KS proofs. We show these gadgets and their generalizations provide an optimal toolbox for contextuality applications.
• Score: 4.407033774951362
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: The Kochen-Specker (KS) theorem is a corner-stone result in the foundations of quantum mechanics describing the fundamental difference between quantum theory and classical non-contextual theories. Recently specific substructures termed $01$-gadgets were shown to exist within KS proofs that capture the essential contradiction of the theorem. Here, we show these gadgets and their generalizations provide an optimal toolbox for contextuality applications including (i) constructing classical channels exhibiting entanglement-assisted advantage in zero-error communication, (ii) identifying large separations between quantum theory and binary generalised probabilistic theories, and (iii) finding optimal tests for contextuality-based semi-device-independent randomness generation. Furthermore, we introduce and study a generalisation to definite prediction sets for more general logical propositions, that we term higher-order gadgets. We pinpoint the role these higher-order gadgets play in KS proofs by identifying these as induced subgraphs within KS graphs and showing how to construct proofs of state-independent contextuality using higher-order gadgets as building blocks. The constructions developed here may help in solving some of the remaining open problems regarding minimal proofs of the Kochen-Specker theorem.

Related papers

• Event-based contextuality theory [1.9266988189076035]
  This paper analyses the challenges faced by some known contextuality theories, and establishes an event-based contextuality theory with partial Boolean algebra to overcome them. The theory can handle the scenarios composed of general projectors and observables, and provides a unified mathematical structure to investigate the hierarchy of quantum contextuality.
  arXiv  Detail & Related papers  (2024-10-21T08:55:43Z)
• Machine Learning of the Prime Distribution [49.84018914962972]
  We provide a theoretical argument explaining the experimental observations of Yang-Hui He about the learnability of primes. We also posit that the ErdHos-Kac law would very unlikely be discovered by current machine learning techniques.
  arXiv  Detail & Related papers  (2024-03-19T09:47:54Z)
• 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)
• Non-Abelian braiding of graph vertices in a superconducting processor [144.97755321680464]
  Indistinguishability of particles is a fundamental principle of quantum mechanics. braiding of non-Abelian anyons causes rotations in a space of degenerate wavefunctions. We experimentally verify the fusion rules of the anyons and braid them to realize their statistics.
  arXiv  Detail & Related papers  (2022-10-19T02:28:44Z)
• Generalized Gleason theorem and finite amount of information for the context [0.0]
  Quantum processes cannot be reduced to classical processes without specifying the context in the description of a measurement procedure. We consider a class of hidden variable theories by assuming that the amount of information about the measurement context is finite.
  arXiv  Detail & Related papers  (2022-06-23T16:55:50Z)
• Theory of Quantum Generative Learning Models with Maximum Mean Discrepancy [67.02951777522547]
  We study learnability of quantum circuit Born machines (QCBMs) and quantum generative adversarial networks (QGANs) We first analyze the generalization ability of QCBMs and identify their superiorities when the quantum devices can directly access the target distribution. Next, we prove how the generalization error bound of QGANs depends on the employed Ansatz, the number of qudits, and input states.
  arXiv  Detail & Related papers  (2022-05-10T08:05:59Z)
• Theorems motivated by foundations of quantum mechanics and some of their applications [0.0]
  This paper provides theorems aimed at shedding light on issues in the foundations of quantum mechanics. theorems can be used to propose new interpretations to the theory, or to better understand, evaluate and improve current interpretations.
  arXiv  Detail & Related papers  (2022-02-02T21:55:57Z)
• Contextuality in composite systems: the role of entanglement in the Kochen-Specker theorem [0.0]
  The Kochen--Specker (KS) theorem reveals the nonclassicality of single quantum systems. Bell's theorem and entanglement concern the nonclassicality of composite quantum systems.
  arXiv  Detail & Related papers  (2021-09-28T10:10:53Z)
• Using Quantum Metrological Bounds in Quantum Error Correction: A Simple Proof of the Approximate Eastin-Knill Theorem [77.34726150561087]
  We present a proof of the approximate Eastin-Knill theorem, which connects the quality of a quantum error-correcting code with its ability to achieve a universal set of logical gates. Our derivation employs powerful bounds on the quantum Fisher information in generic quantum metrological protocols.
  arXiv  Detail & Related papers  (2020-04-24T17:58:10Z)
• A General Framework for Consistent Structured Prediction with Implicit Loss Embeddings [113.15416137912399]
  We propose and analyze a novel theoretical and algorithmic framework for structured prediction. We study a large class of loss functions that implicitly defines a suitable geometry on the problem. When dealing with output spaces with infinite cardinality, a suitable implicit formulation of the estimator is shown to be crucial.
  arXiv  Detail & Related papers  (2020-02-13T10:30:04Z)
• Proof of the Peres conjecture for contextuality [0.0]
  In short, it states that quantum mechanics cannot be reconciled with classical models that are noncontextual for ideal measurements. We propose a systematic approach to find minimal Hardy-type and Greenberger-Horne-Zeilinger-type (GHZ-type) of the Kochen-Specker theorem.
  arXiv  Detail & Related papers  (2020-01-21T17:13:52Z)

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.