Cohomology and the Algebraic Structure of Contextuality in Measurement
Based Quantum Computation
- URL: http://arxiv.org/abs/2005.00213v1
- Date: Fri, 1 May 2020 04:15:23 GMT
- Title: Cohomology and the Algebraic Structure of Contextuality in Measurement
Based Quantum Computation
- Authors: Sivert Aasn{\ae}ss (Department of Computer Science, University of
Oxford)
- Abstract summary: Roberts, Bartlett and Raussendorf recently introduced a new cohomological approach to contextuality in quantum computation.
We give an abstract description of their obstruction and the algebraic structure it exploits, using the sheaf theoretic framework of Abramsky and Brandenburger.
At this level of generality we contrast their approach to the Cech cohomology obstruction of Abramsky, Mansfield and Barbosa and give a direct proof that Cech cohomology is at least as powerful.
- Score: 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Okay, Roberts, Bartlett and Raussendorf recently introduced a new
cohomological approach to contextuality in measurement based quantum
computation. We give an abstract description of their obstruction and the
algebraic structure it exploits, using the sheaf theoretic framework of
Abramsky and Brandenburger. At this level of generality we contrast their
approach to the Cech cohomology obstruction of Abramsky, Mansfield and Barbosa
and give a direct proof that Cech cohomology is at least as powerful.
Related papers
- Relaxation of first-class constraints and the quantization of gauge theories: from "matter without matter" to the reappearance of time in quantum gravity [72.27323884094953]
We make a conceptual overview of an approach to the initial-value problem in canonical gauge theories.
We stress how the first-class phase-space constraints may be relaxed if we interpret them as fixing the values of new degrees of freedom.
arXiv Detail & Related papers (2024-02-19T19:00:02Z) - Equivariant simplicial distributions and quantum contextuality [0.0]
We introduce an equivariant version of contextuality with respect to a symmetry group, which comes with natural applications to quantum theory.
In the equivariant setting, we construct cohomology classes that can detect contextuality.
arXiv Detail & Related papers (2023-10-27T13:25:46Z) - Finding Short Vectors in Structured Lattices with Reduced Quantum
Resources [21.85060137533507]
We give a quantum algorithmic framework of how to exploit the symmetries underlying cyclic and nega-cyclic lattices.
This framework leads to a significant saving in the quantum resources required for implementing a quantum algorithm attempting to find short vectors.
arXiv Detail & Related papers (2023-07-22T10:52:55Z) - Quantum Simulation for Quantum Dynamics with Artificial Boundary
Conditions [28.46014452281448]
It is necessary to use artificial boundary conditions (ABC) to confine quantum dynamics within a fixed domain.
The introduction of ABCs alters the Hamiltonian structure of the dynamics, and existing quantum algorithms can not be directly applied.
This paper utilizes a recently introduced Schr"odingerisation method that converts non-Hermitian dynamics to a Schr"odinger form.
arXiv Detail & Related papers (2023-04-03T00:45:08Z) - Comparing two cohomological obstructions for contextuality, and a
generalised construction of quantum advantage with shallow circuits [0.0]
We show that a restricted class of quantum circuits is more powerful than its classical analogue.
A class of circuits of bounded depth and fan-in (shallow circuits) exploits a particular family of examples of contextuality.
A systematic way of taking examples of contextuality and producing unconditional quantum advantage results with shallow circuits.
arXiv Detail & Related papers (2022-12-19T11:43:37Z) - Putting paradoxes to work: contextuality in measurement-based quantum
computation [0.0]
We describe a joint cohomological framework for measurement-based quantum computation (MBQC) and the corresponding contextuality proofs.
The central object in this framework is an element in the second cohomology group of the chain complex describing a given MBQC.
arXiv Detail & Related papers (2022-08-13T11:04:03Z) - Commitment capacity of classical-quantum channels [70.51146080031752]
We define various notions of commitment capacity for classical-quantum channels.
We prove matching upper and lower bound on it in terms of the conditional entropy.
arXiv Detail & Related papers (2022-01-17T10:41:50Z) - Bridging the gap between topological non-Hermitian physics and open
quantum systems [62.997667081978825]
We show how to detect a transition between different topological phases by measuring the response to local perturbations.
Our formalism is exemplified in a 1D Hatano-Nelson model, highlighting the difference between the bosonic and fermionic cases.
arXiv Detail & Related papers (2021-09-22T18:00:17Z) - Quantum simulation of gauge theory via orbifold lattice [47.28069960496992]
We propose a new framework for simulating $textU(k)$ Yang-Mills theory on a universal quantum computer.
We discuss the application of our constructions to computing static properties and real-time dynamics of Yang-Mills theories.
arXiv Detail & Related papers (2020-11-12T18:49:11Z) - The logic of contextuality [0.0]
Contextuality is a key signature of quantum non-classicality.
We study the logic of contextuality in the setting of partial Boolean algebras.
arXiv Detail & Related papers (2020-11-05T19:04:04Z) - A Quantum G\"odelian Hunch [0.0]
This essay aims at arguing for such G"odelian hunch via two case studies.
The theological motivational origin of quantum contextuality is introduced in order to show how this result might be related to a Liar-like undecidability.
A personal analysis of the related Wigner's friend thought experiment and and a recent paradox by Frauchiger and Renner is presented.
arXiv Detail & Related papers (2020-05-07T11:22:20Z)
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.