DeepAI AI Chat
Log In Sign Up

Hidden variables simulating quantum contextuality increasingly violate the Holevo bound

04/10/2020
by   Adán Cabello, et al.
Universitat de Barcelona
Universidad de Sevilla
0

In this paper from 2011 we approach some questions about quantum contextuality with tools from formal logic. In particular, we consider an experiment associated with the Peres-Mermin square. The language of all possible sequences of outcomes of the experiment is classified in the Chomsky hierarchy and seen to be a regular language. Next, we make the rather evident observation that a finite set of hidden finite valued variables can never account for indeterminism in an ideally isolated repeatable experiment. We see that, when the language of possible outcomes of the experiment is regular, as is the case with the Peres-Mermin square, the amount of binary-valued hidden variables needed to de-randomize the model for all sequences of experiments up to length n grows as bad as it could be: linearly in n. We introduce a very abstract model of machine that simulates nature in a particular sense. A lower-bound on the number of memory states of such machines is proved if they were to simulate the experiment that corresponds to the Peres-Mermin square. Moreover, the proof of this lower bound is seen to scale to a certain generalization of the Peres- Mermin square. For this scaled experiment it is seen that the Holevo bound is violated and that the degree of violation increases uniformly.

READ FULL TEXT
12/29/2017

Quantum Lower Bound for a Tripartite Version of the Hidden Shift Problem

In this paper, we prove a polynomial lower bound of Ω(n^1/3) on the quan...
10/12/2020

A Lower Bound for Polynomial Calculus with Extension Rule

In this paper we study an extension of the Polynomial Calculus proof sys...
03/27/2023

A simplified lower bound for implicational logic

We present a streamlined and simplified exponential lower bound on the l...
01/22/2018

Even flying cops should think ahead

We study the entanglement game, which is a version of cops and robbers, ...
06/30/2017

Barankin Vector Locally Best Unbiased Estimates

The Barankin bound is generalized to the vector case in the mean square ...
06/27/2019

Sensitivity of quantum PageRank

In this paper, we discuss the sensitivity of quantum PageRank. By using ...
01/03/2020

Simple explanation of Landauer's bound and its ineffectiveness for multivalued logic

We discuss, using recent results on the Landauer's bound in multivalued ...