Contextuality: Conceptual Issues, Operational Signatures, and Applications

COVID-19 information for PI Residents and Visitors

Conference Date: 
Monday, July 24, 2017 (All day) to Friday, July 28, 2017 (All day)
Scientific Areas: 
Quantum Foundations
Quantum Information

 

2017 marks 50 years since the seminal 1967 article of Kochen and Specker proving that quantum theory fails to admit of a noncontextual model.  Despite the fact that the Kochen-Specker theorem is one of the seminal results concerning the foundations of quantum theory, there has never been a large conference dedicated to the subject.  The 50-year anniversary of the theorem seems an opportune time to remedy this oversight.  Furthermore, in the last decade, there have been tremendous advances in the field.  New life has been breathed into the subject as old conceptual issues have been re-examined from a new information-theoretic perspective. Importantly, there has been great progress in making the notion of noncontextuality robust to noise and therefore experimentally testable.  Finally, there is mounting evidence that the resource that powers many quantum advantages for information processing is contextuality.  In particular, it has been shown to underlie the possibility of universal quantum computation.  Many groups worldwide are actively engaged in advancing our knowledge on each of these fronts and in deepening our understanding of the distinction between quantum and classical theories through the lens of contextuality.  Through this conference, we aim to bring together leading researchers in the field in order to develop a broader perspective on the issues, draw connections between different approaches, foster a more cohesive community, and set objectives for future research.

Sponsorship for this event has been provided by:

Registration for this event is now closed.

Please note the following deadlines:
Requests for financial support must be submitted by May 15
Requests to present a poster must be made by May 22
Registration for this event will close on July 7

Perimeter Institute has launched a new program whereby child care support may be available to facilitate your participation in workshops and conferences.  Please visit http://www.perimeterinstitute.ca/research/conferences/child-care-support-conference-participants for more information.

  • Samson Abramsky, Oxford University
  • Stephen Bartlett, University of Sydney
  • Juan Bermejo-Vega, Free University of Berlin
  • Dan Browne, University College London
  • Adán Cabello, Universidad de Sevilla
  • Eric Cavalcanti, Griffith University
  • Giulio Chiribella, University of Hong Kong 
  • Otfried Gühne, University of Siegen
  • Teiko Heinosaari, University of Turku
  • Pawel Horodecki, Gdansk University of Technology
  • Angela Karanjai, University of Sydney
  • Simon Kochen, Princeton University
  • Ravi Kunjwal, Perimetr Institute
  • Jan-Åke Larsson, Linkopings University
  • Matthew Leifer, Chapman University
  • Shane Mansfield, University of Edinburgh
  • Michael Mazurek, Institute for Quantum Computing
  • Ana Belén Sainz, Perimeter Institute
  • Jamie Sikora, Centre for Quantum Technologies
  • William Slofstra, Institute for Quantum Computing
  • Robert Spekkens, Perimeter Institute
  • Mordecai Waegell, Chapman University
  • Samson Abramsky, Oxford University
  • Barbara Amaral, International Institute of Physics
  • Roberto Baldijao, MathFoundQ/UniCamp
  • Itzhak Bars, University of Southern California
  • Stephen Bartlett, University of Sydney
  • Juan Bermejo-Vega, Free University of Berlin
  • Agata Branczyk, Perimeter Institute
  • Dan Browne, University College London
  • Adán Cabello, Universidad de Sevilla
  • Giovanni Carù, University of Oxford
  • Lorenzo Catani, University College London
  • Eric Cavalcanti, Griffith University
  • Giulio Chiribella, University of Hong Kong 
  • Michael Cuffaro, University of Western Ontario
  • Nadish De Silva, University College London
  • Ross Duncan, University of Strathclyde
  • Eric Freda, Chapman University
  • Parth Girdhar, University of Sydney
  • Elizabeth Gould, Perimeter Institute
  • Otfried Gühne, University of Siegen
  • Teiko Heinosaari, University of Turku
  • Luciana Henaut, University College London
  • Pawel Horodecki, Gdansk University of Technology
  • Angela Karanjai, University of Sydney
  • Martti Karvonen, University of Edinburgh
  • Simon Kochen, Princeton University
  • Ravi Kunjwal, Perimetr Institute
  • Jan-Åke Larsson, Linkopings University
  • Matthew Leifer, Chapman University
  • Piers Lillystone, University of Waterloo
  • Matteo Lostaglio, Institute of Photonic Sciences
  • Shruti Jose Maliakal, Indian Institute of Science Education and Research, Mohali
  • Shane Mansfield, University of Edinburgh
  • Michael Mazurek, Institute for Quantum Computing
  • Fei Meng, University of Hong Kong
  • Apurva Narayan, University of Waterloo
  • Jaskaran Singh Nirankari, Indian Institute of Science Education and Research, Mohali
  • Jitenda Prakash, University of Waterloo
  • Lorenzo Procopio, CNRS - Universite Paris Sud
  • Hammam Qassim, University of Waterloo
  • Jess Riedel, Perimeter Institute
  • Ana Belén Sainz, Perimeter Institute
  • Nitica Sakharwade, Perimeter Institute 
  • David Schmid, Perimeter Institute
  • Jamie Sikora, Centre for Quantum Technologies
  • Andrew Simmons, Imperial College London
  • Amandeep Singh, Indian Institute of Science Education and Research, Mohali
  • John Sipe, University of Toronto
  • William Slofstra, Institute for Quantum Computing
  • Robert Spekkens, Perimeter Institute
  • Jeremy Steeger, University of Notre Dame
  • Yu-Tsung Tai, Indiana University
  • Kevin Vanslette, University at Albany
  • Mordecai Waegell, Chapman University
  • Elie Wolfe, Perimeter Institute

Monday, July 24, 2017

Time

Event

Location

8:30 – 8:55am

Registration

Reception

8:55 – 9:00am

Welcome and Opening Remarks

Bob Room

9:00 – 10:00am

Simon Kochen, Princeton University
Quantum Mechanics in a New Key

Bob Room

10:00 – 10:30am

Coffee Break

Bistro – 1st floor

10:30 – 11:30am

Adán Cabello, Universidad de Sevilla
What do we learn about quantum theory from Kochen-Specker quantum contextuality?

Bob Room

11:30 – 12:30 pm

Robert Spekkens, Perimeter Institute
Noncontextuality: how we should define it, why it is natural, and what to do about its failure

Bob Room

12:30 – 2:00pm

Lunch

Bistro – 1st floor

2:00 – 3:00pm

Samson Abramsky, Oxford University
Towards a mathematical theory of contextuality

Bob Room

3:00 – 3:30pm

Coffee Break

Bistro – 1st floor

3:30 – 4:30pm

Ana Belén Sainz, Perimeter Institute
Kochen-Specker contextuality: a hypergraph approach with operational equivalences

Bob Room

4:30 – 5:30pm

Shane Mansfield, University of Edinburgh
The contextual fraction as a measure of contextuality

Bob Room

 

Tuesday, July 25, 2017

Time

Event

Location

9:00 – 10:00am

Eric Cavalcanti, Griffith University
Nonlocality and contextuality as fine-tuning

Bob Room

10:00 – 10:30am

Coffee Break

Bistro – 1st floor

10:30 – 11:30am

Mordecai Waegell, Chapman University
Confined Contextuality and Weak Measurement

Bob Room

11:30 – 12:30pm

Matthew Leifer, Chapman University
Aharonov vs. Spekkens round II: Contextuality in Pre- and Post-Selection Paradoxes

Bob Room

12:30 – 2:00pm

Lunch

Bistro – 1st floor

2:00 – 3:00pm

Giulio Chiribella, University of Hong Kong
A physical picture for quantum contextuality

Bob Room

3:00 – 3:30pm

Coffee Break

Bistro – 1st floor

3:30 – 4:30pm

William Slofstra, Institute for Quantum Computing
Group theory and contextuality

Bob Room

4:30 – 5:00pm

Poster Session TALKS

Bob Room

5:00 – 7:00pm

Poster Session

Atrium

 

Wednesday, July 26, 2017

Time

Event

Location

10:00 – 10:30am

Coffee Break

Bistro – 1st floor

10:30 – 11:30am

Jamie Sikor, Centre for Quantum Technologies
Large non-contextuality inequality violations via parity-oblivious random access codes”

Bob Room

11:30 – 12:30pm

Pawel Horodecki, Gdansk University of Technology
On two quantum-information processing applications of quantum contextuality

Bob Room

12:30 – 12:45

Conference Photo

Atrium

12:45 – 2:00pm

Lunch

Bistro – 1st floor

2:00 – 3:00pm

Teiko Heinosaari, University of Turku
Revisiting quantum incompatibility

Bob Room

3:00 – 4:00pm

Discussion Session

Bob Room

 

Thursday, July 27, 2017

Time

Event

Location

10:00 – 11:00am

Stephen Bartlett, University of Sydney
Contextuality and quantum simulation

Bob Room

11:00 – 11:30am

Coffee Break

Bistro – 1st floor

11:30 – 12:30am

Angela Karanjai, University of Sydney
Contextuality, the PBR theorem and their effects on simulation of quantum systems

Bob Room

12:30 – 2:00pm

Lunch

Bistro – 1st floor

2:00 – 3:00pm

Dan Browne, University College London
Contextuality and non-contextuality in (qudit) quantum computation

Bob Room

3:00 – 3:30pm

Coffee Break

Bistro – 1st floor

3:30 – 4:30pm

Juan Bermejo-Vega, Free University of Berlin
Contextuality as a resource for quantum computation: the trouble with qubits

Bob Room

4:30 – 5:30pm

Jan-Åke Larsson, Linkopings University
Maximal noncontextuality; and qubit contextuality as a resource for Quantum Computation

Bob Room

6:00 – 9:00pm

Banquet

Bistro – 2nd Floor

 

Friday, July 28, 2017

Time

Event

Location

10:30 – 11:30am

Otfried Gühne, University of Siegen
Contextuality and Temporal Correlations in Quantum Mechanics

Bob Room

11:30 – 12:30pm

Michael Mazurek, Institute for Quantum Computing
Experimental state and measurement tomography for generalised probabilistic theories: bounding deviations from quantum theory via noncontextuality inequality violations

Bob Room

12:30 – 2:00pm

Lunch

Bistro – 1st floor

2:00 – 3:00pm

Ravi Kunjwal, Perimeter Institute
How to go from the KS theorem to experimentally testable noncontextuality inequalities

Bob Room

 

 

Samson Abramsky, Oxford University

Towards a mathematical theory of contextuality

The study of contextuality has progressed from sepcific examples to the beginnings of a general theory, which is both of foundational interest, and applicable to the use of contextuality as a resource in quantum information processing, among other things.

There are several different formulations, and a number of general results.  We shall describe some recent progress on a number of topics, including: characterizations of the quantum resources required to achieve the various levels in the contextuality hierarchy; characterization of All-versus-Nothing arguments for stabilizer states; a quantum monad encapsulating quantum advantage in constraint systems and non-local games, and its correspondence to quantum witnesses for state-independent strong contextuality; and a quantitative measure for contextuality.

We shall also discuss some problems and objectives for future work.

Stephen Bartlett, University of Sydney

Contextuality and quantum simulation

Simulating quantum systems on a classical computer is typically hard.  But why?  And how hard is it?  One standard approach to simulating quantum systems is to use phase space methods with Monte Carlo sampling of trajectories:  an approach that has many similarities with the framework of ontological models.  Specifically, a noncontextual ontological model of a quantum process provides an explicit efficient classical simulation of that process.  Contextuality can be viewed as a potential obstruction to efficient classical simulation.  I'll present some new results showing that, by appropriately incorporating contextuality into the ontological models framework, one can construct a new class of classical simulation methods in which the 'amount' of contextuality appears as a measure of the inefficiency (run time) of the simulator. 

Juan Bermejo-Vega, Free University of Berlin

Contextuality as a resource for quantum computation: the trouble with qubits
Co-authors: Robert Raussendorf, Dan E. Browne, Nicolas Delfosse, and Cihan Okay

What are the physical mechanisms that power quantum computation? Recently, quantum contextuality has been shown to be a resource in the model of quantum computation via (magic) state injection (QCSI) in two restricted scenarios: namely, for QCSI models that use either “quopits” (odd-prime dimensional qudits) [1] or “rebits” (two-level systems with real wavefunctions) [2]. Yet, is contextuality a resource for QCSI for models that employ the most fundamental units of quantum information, i.e., regular qubit systems? In this talk I address this question and show how to circumvent an a priori technical obstruction towards characterizing qubit QCSI schemes, namely, the phenomenon of state-independent contextuality. I will establish that contextuality of magic states (with respect to Pauli observables) as a necessary resource for a large class of quantum computation via state-injection schemes on qubits [3,4]. I will further illustrate this result on a concrete example related to measurement-based quantum computation.

[1] M. Howard, J. Wallman, V. Veitch, and J. Emerson, Contextuality supplies the magic for quantum computation, Nature 510, 351 (2014), arXiv:1401.4174.
 
[2] N. Delfosse, P. Allard Guerin, J. Bian, and R. Raussendorf, Wigner function negativity and contextuality in quantum computation on rebits, Phys. Rev. X 5, 021003 (2015), arXiv:1409.5170.
 
[3] J. Bermejo-Vega, N. Delfosse, D. E. Browne, C. Okay, R. Raussendorf, Contextuality as a resource for qubit quantum computation (2016), arXiv:1610.08529.
 
[4] R. Raussendorf, D. E. Browne, N. Delfosse, C. Okay, and J. Bermejo-Vega, Contextuality and Wigner function negativity in qubit quantum computation, Phys. Rev. A 95, 052334, arXiv:1511.08506.
 
Dan Browne, University College London
 
Contextuality and non-contextuality in (qudit) quantum computation 
Co-authors: Nicolas Delfosse, Cihan Okay,  Juan Bermejo-Vega, Robert Raussendorf and Lorenzo Catani
 
What non-classical phenomena are necessary for the non-classicality of quantum computing? 
In this talk, I will review recent progress in answering this question, introducing two forms of quantum computation, measurement-based quantum computing (MBQC), and fault tolerant quantum computing with state injection (QCSI) where a link can be explicitly made. 
 
Focussing then of odd dimensional qudits, where stabilizer states and Clifford circuits (the core capabilities of many fault tolerant quantum computation schemes) are known to be compatible with a non-contextual hidden variable model HVM, I shall show that a generalisation of Spekken’s toy model [1] provides an explicit HVM for these theories in all odd-dimensions [2]. Then linking this to Wigner function representations I will present a simple proof [3] of the equivalence between contextuality and negativity of the Wigner function. In both cases, we are able to build on and generalise earlier seminal works [1,4] which studied prime (but not compound) odd dimensional systems.  
   
[1] Robert Spekkens, Quasi-quantization: classical statistical theories with an epistemic restriction, https://arxiv.org/abs/1409.5041
[2] Lorenzo Catano and Dan E. Browne, Spekkens' toy model in all dimensions and its relationship with stabilizer quantum mechanics, https://arxiv.org/abs/1701.07801 (to appear in New Journal of Physics)
[3] Equivalence between contextuality and negativity of the Wigner function for qudits, Nicolas Delfosse, Cihan Okay, Juan Bermejo-Vega, Dan E. Browne, Robert Raussendorf, https://arxiv.org/abs/1610.07093
[4] Contextuality supplies the ‘magic’ for quantum computation, Nature 510, 351 (2014)

 

Adan Cabello, Universidad de Sevilla

What do we learn about quantum theory from Kochen-Specker quantum contextuality?

Intentionally, I define quantum contextuality as the quantum violation of inequalities involving correlations between the outcomes of compatible {\em sharp} measurements, as defined in the framework of general probabilistic theories, and satisfied by ontological models where the assumption of outcome noncontextuality for sharp measurements is made, as it is the case for the hidden variable theories considered by Bell, Kochen and Specker. These noncontextuality inequalities (specifically, some of them called tight) provide necessary and sufficient conditions for the existence of joint probability distribution. The purpose of my talk is twofold.

Firstly, explaining the reasons why focusing on this particular definition of contextuality teaches us much more about what is quantum theory than focusing on any other proposed notion of non-classicality, including other definitions of contextuality. 

Secondly, introducing an alternative to the existing ways of dealing with the inevitable finite precision, imperfect compatibility, and unsharpness of the measurements in actual experiments testing contextuality on quantum systems. I will show that any experiment based on the assumptions that the measurements can have infinite precision, perfect compatibility and sharpness can be converted into a bipartite Bell inequality experiment in which none of these assumptions is needed. The interest of the method resides in that it does not only apply to state-independent experiments based on Kochen-Specker sets, in which the conversion from contextuality into nonlocality was already known, but to any state-dependent or state-independent violation of a noncontextuality inequality. The method provides a one-to-one correspondence between the initial state and the measurements tested in the contextuality experiment and the measurements used in the resulting Bell inequality test.

Eric Cavalcanti, Griffith University

Nonlocality and contextuality as fine-tuning

Nonlocality and contextuality are at the root of conceptual puzzles in quantum mechanics, and are key resources for quantum advantage in information-processing tasks. Bell nonlocality is best understood as the incompatibility between quantum correlations and the classical theory of causality, applied to relativistic causal structure. Contextuality, on the other hand, is on a more controversial foundation. In this work, I provide a common conceptual ground between nonlocality and contextuality as violations of classical causality. First, I generalise a recent work by Wood and Spekkens, who showed that all causal models for certain Bell-inequality violations require fine-tuning of its causal parameters -- regardless of the underlying causal structure. Here I show this result holds without two of the original assumptions, applies to all (bipartite) cases of Bell nonlocality, and remarkably, does not require any assumption related to "free choice", unlike all other derivations of Bell inequalities. As a consequence, it can be applied to contextuality scenarios: all causal models for violations of a Kochen-Specker-contextuality inequality (involving two measurements per context) require fine-tuning. Thus the quantum violation of classical causality goes beyond the case of space-like separated systems, and manifests already in scenarios involving single systems.

Giulio Chiribella, University of Hong Kong

A physical picture for quantum contextuality

Quantum theory is contextual, but is not the most contextual point in the space of all conceivable theories. A natural question is what physical principles, if any, are responsible for the exact amount of contextuality that we observe in nature. I propose that quantum contextuality may arise from the balance between two desiderata: the requirement that every measurement can be realized from a repeatable and minimally disturbing measurement and the requirement that every state can be generated from a pure state. Both requirements are incarnations of the same overarching principle, namely that empirical observations must be compatible with a deeper level of description characterized by maximal knowledge.

References for this talk:

G. Chiribella and X. Yuan, Measurement sharpness cuts nonlocality and contextuality in every physical theory, https://arxiv.org/abs/1404.3348

G. Chiribella and X. Yuan, Bridging the gap between general probabilistic theories and the device-independent framework for nonlocality and contextuality, Information and Computation 250, 15 (2016). 

Otfried Gühne, University of Siegen

Contextuality and Temporal Correlations in Quantum Mechanics

Experimental tests of contextuality often make use of sequential measurements on single quantum systems. In this talk I will explore the temporal correlations that can arise, if a sequence of measurements on a single quantum systems is made. First, I will discuss the complexity of such correlations and the difficulty to simulate them classically. Second, I will present methods to characterize temporal correlations, allowing to compute the maximal violation of contextuality inequalities in quantum mechanics. Finally, I will discuss how contextuality tests can be implemented in continuous variable systems, using the concept of modular variables.

Teik Heinosaari, University of Turku

Revisiting quantum incompatibility

Traditionally, two quantum observables are called incompatible if they cannot be measured jointly. The existence of incompatible observables gives rise to e.g steering and measurement uncertainty relations. Incompatibility can be defined not only for observables but also for channels. It can also be defined in any general probabilistic theory. In this talk I will demonstrate how the general notion of incompatibility can be seen as a unifying concept behind several features of quantum theory. I will also comment on the special nature of incompatibility in quantum theory compared to some other probabilistic theories. 

Pawel Horodecki, Gdansk University of Technology

On two quantum-information processing applications of quantum contextuality

We shall present two applications of quantum contextuality. The first one [1] concerns the classical noisy channel  where the receiver (Bob) is supposed to guess whether the message was altered by the noise or not. The sender (Alice) is allowed to help him via a public channel in a way, that is oblivious to some variable correlated to the message. We show that, no matter  how large message Alice sends, Bob is unable to make a perfect guess. However bounded dimension quantum message allows him to complete the task with 100 % success and the latter is possible due to application of quantum contextuality.
 
Second application [2] exploits quantum contextuality for randomness amplification robust against no-signaling eavesdropper.
We identify the role of some subgraphs - necessary and sufficient element of any KS proof of quantum contextuality  - for a construction of Hardy-type paradox. We show that the latter is a very convenient Tool for randomness amplification against post-quantum adversary.
This gives a method to get some randomness amplification protocol from quantum contextuality primitives.
 
[1] D. Saha, P. Horodecki, M. Pawlowski, ,,Quantum contextuality can help in 1-way communication”; (2017), to be submitted.
[2] R. Ramanathan et al. ,,Randomness amplification via Hardy paradox and quantum contextuality”; (2017) in preparation.

 

Angela Karanjai, University of Sydney

Contextuality, the PBR theorem and their effects on simulation of quantum systems

This talk will be about constraints on any model which reproduces the qubit stabilizer sub-theory. We show that the minimum number of classical bits required to specify the state of an n-qubit system must scale as ~ n(n-3)/2 in any model that does not contradict the predictions of the quantum stabilizer sub-theory. The Gottesman-Knill algorithm, which is a strong simulation algorithm is in fact, very close to this bound as it scales at ~n(2n+1). This is a result of state-independent contextuality  which puts a lower bound on the minimum number of states a model requires in order to reproduce the statistics of the qubit stabilizer sub-theory.

Simon Kochen, Princeton University

Quantum Mechanics in a New Key

We formulate a general principle that supplants a Boolean sigma-algebra of intrinsic properties of a classical system by a sigma-complex (a union of sigma-algebras) of extrinsic properties of a quantum system that are elicited by interactions with other systems. We apply the classical physics definitions of observables, states, combined systems, symmetries, and dynamics to extrinsic properties to derive the standard quantum formalism, including the Schrodinger equation and the von Neumann-Luder's Projection Rule. This reconstruction of quantum mechanics is then used to discuss and resolve dilemmas of the orthodox interpretation.

Ravi Kunjwal, Perimeter Institute

How to go from the KS theorem to experimentally testable noncontextuality inequalities

The purpose of this talk is twofold: one, to acquaint the wider community working mostly on Bell-Kochen-Specker contextuality with recent work on Spekkens’ contextuality that quantitatively demonstrates the sense in which Bell-Kochen-Specker contextuality is subsumed within Spekkens’ approach, and two, to argue that one can test for contextuality without appealing to a notion of sharpness which can needlessly restrict the scope of operational theories that could be considered as candidate explanations of experimental data. Testing contextuality in Spekkens’ approach therefore extends the range of experimental scenarios in which contextuality can be witnessed, and refines what it means to witness contextuality in the presence of inevitable noise in KS-type experiments. We will see this for both KS-uncolourability based logical contradiction type proofs of the KS theorem a la Kochen-Specker and statistical proofs on KS-colourable scenarios a la KCBS or Yu-Oh. While Bell-KS contextuality can be mathematically understood as an instance of the classical marginal problem, the same is not true of Spekkens' contextuality. The latter reduces to the classical marginal problem only under very specific conditions, being more general otherwise. All in all, we will argue that all you really need is Leibniz, i.e. identity of indiscernables, to make sense of contextuality in the most general context.

Jan-Åke Larsson, Linkopings University

Maximal noncontextuality; and qubit contextuality as a resource for Quantum Computation 

Testing noncontextuality inequalities in experiment is possible as long as the marginal probabilities of a measurement outcome does not change with the context, because then the assumption of noncontextuality is reasonable. It is much more difficult to motivate the assumption when the marginals change. In this talk, the notion of noncontextuality will be extended to cover changing marginals, which in turn results in adjustments of the relevant noncontextuality inequalities.  It is an open question whether qubit contextuality can be thought to be a resource for quantum computation. Using an extended variant of Spekkens' toy theory, still noncontextual, we have constructed and built a physical realization that is capable of running three quantum computational algorithms. Our realization efficiently runs Deutsch-Jozsa and Simon's algorithm with zero error, and Shor's algorithm with smaller error than any other state-of-the-art realization. This suggests that there is no strong evidence for qubit contextuality being a resource for quantum computation.

Matthew Leifer, Chapman University

Aharonov vs. Spekkens round II: Contextuality in Pre- and Post-Selection Paradoxes

Yakir Aharonov and collaborators have proposed a number of seemingly counter-intuitive effects involving pre- and post-selected quantum systems, but there has been controversy over the degree to which these effects are "guenuinely quantum" with some authors arguing that they have classical analogues.  In this talk, I review progress in showing that many of these effects cannot occur within a noncontextual ontological model.  This includes anomalous weak values, and logical pre- and post-selection paradoxes such as the three box paradox.  The proofs highlight some important features of these effects that are not usually emphasized, such as the non-orthogonality of pre- and post-selection vectors, and the precise amount of disturbance to the ontic state that can be caused by a measurement in a noncontextual model.

Shane Mansfield, University of Edinburgh

The contextual fraction as a measure of contextuality

We consider the contextual fraction as a quantitative measure of contextuality of empirical models, i.e. tables of probabilities of measurement outcomes in an experimental scenario. It provides a general way to compare the degree of contextuality across measurement scenarios; it bears a precise relationship to violations of Bell inequalities; its value, and a witnessing inequality, can be computed using linear programming; it is monotone with respect to the "free" operations of a resource theory for contextuality; and it measures quantifiable advantages in informatic tasks, such as games and a form of measurement based quantum computing.

Michael Mazurek, Institue for Quantum Computing

Experimental state and measurement tomography for generalised probabilistic theories: bounding deviations from quantum theory via noncontextuality inequality violations

In order to perform foundational experiments testing the correctness of quantum mechanics, one requires data analysis tools that do not assume quantum theory. We introduce a quantum-free tomography technique that fits experimental data to a set of states and measurement effects in a generalised probabilistic theory (GPT). (This is in contrast to quantum tomography, which fits data to sets of density operators and POVM elements.) We perform an experiment on the polarization degree of freedom of single photons, and find GPT descriptions of the states and measurements in our experiment. We gather data for a large number of preparation and measurement procedures in order to map out the spaces of allowed GPT states and measurement effects, and we bound their possible deviation from quantum theory. Our GPT tomography method allows us to bound the extent to which nature might be more or less contextual than quantum theory, as measured by the maximum achievable violation of a particular noncontextuality inequality. We find that the maximal violation is confined to lie between 1.2±0.1% less than and 1.3±0.1% greater than the quantum prediction.
Coauthors: Matthew Pusey, Robert Spekkens, Kevin Resch

 

Ana Belen Sainz, Perimeter Institute

Kochen-Specker contextuality: a hypergraph approach with operational equivalences

Most work on contextuality so far has focused on specific examples and concrete proofs of the Kochen-Specker theorem, while general definitions and theorems about contextuality are sparse. For example, it is commonly believed that nonlocality is a special case of contextuality, but what exactly does this mean? In this work, that builds on the graph-theoretic approach of Cabello, Severini and Winter, we develop a hypergraph approach to study Kochen-Specker contextuality and Bell nonlocality in a unified manner. In this talk I will further focus on the relation between some sets of probabilistic models and graph invariants, and discuss principles to characterise quantum predictions. 

Jamie Sikora, Centre for Quantum Technologies

Large non-contextuality inequality violations via parity-oblivious random access codes

William Slofstra, Institute for Quantum Computing

Group theory and contextuality

Mermin-Peres-type contextuality scenarios are easy to write down, but can we determine when a scenario has a quantum model? It turns out that contextuality scenarios of this type can encode the word problem of an arbitrary finitely-presented group. As a result, determining whether a scenario has a (possibly infinite-dimensional) quantum model is undecidable in general. We can also use this connection with group theory to construct scenarios with interesting properties, including examples of scenarios which do not have finite-dimensional models, but do have infinite-dimensional models. In this talk, I will give an overview of these results, along with some stronger results which imply that it is undecidable to determine if a contextuality scenario has a finite-dimensional model. 

Mordecai Waegell, Chapman University

Confined Contextuality and Weak Measurement

It is shown that by using both pre-selection and post-selection, the explicit disagreement between the predictions of quantum mechanics and noncontextual hidden variable theories (NCHVTs) can be confined to a specific measurement context.  If the contradictory values assigned by the NCHVT are interpreted as facts about nature during the time interval between the pre-selection and post-selection, then we obtain the class of logical pre- and post-selection (PPS) paradoxes, which include the 3-box paradox, the quantum Cheshire Cat, and the quantum pigeonhole effect.  We argue here that this interpretation is dubious because the only physical experiment that can probe the observables in the contradictory context --- a weak measurement, reveals weak values that manifestly disagree with some values assigned by the NCHVT.  Furthermore, we show that projectors with anomalous weak values are necessary for the existence of any PPS paradox, and for particular cases where the contextuality is confined within a Bell-Kochen-Specker set, the algebraic structure of the set forces some weak values in the contradictory context to be anomalous.  Using these facts, we derive a contextuality witness observable for an entire context, whose weak value is positive for any non-contradictory NCHVT assignment to that context.

 

 

 

Friday Jul 28, 2017
Speaker(s): 

The purpose of this talk is twofold: one, to acquaint the wider community working mostly on Bell-Kochen-Specker contextuality with recent work on Spekkens’ contextuality that quantitatively demonstrates the sense in which Bell-Kochen-Specker contextuality is subsumed within Spekkens’ approach, and two, to argue that one can test for contextuality without appealing to a notion of sharpness which can needlessly restrict the scope of operational theories that could be considered as candidate explanations of experimental data.

 

 

Friday Jul 28, 2017
Speaker(s): 

In order to perform foundational experiments testing the correctness of quantum mechanics, one requires data analysis tools that do not assume quantum theory. We introduce a quantum-free tomography technique that fits experimental data to a set of states and measurement effects in a generalised probabilistic theory (GPT). (This is in contrast to quantum tomography, which fits data to sets of density operators and POVM elements.) We perform an experiment on the polarization degree of freedom of single photons, and find GPT descriptions of the states and measurements in our experiment.

 

 

Thursday Jul 27, 2017
Speaker(s): 

This talk will be about constraints on any model which reproduces the qubit stabilizer sub-theory. We show that the minimum number of classical bits required to specify the state of an n-qubit system must scale as ~ n(n-3)/2 in any model that does not contradict the predictions of the quantum stabilizer sub-theory. The Gottesman-Knill algorithm, which is a strong simulation algorithm is in fact, very close to this bound as it scales at ~n(2n+1).

Pages

Scientific Organizers:

  • Lucien Hardy, Perimeter Institute
  • Ravi Kunjwal, Perimeter Institute
  • Ana Belén Sainz, Perimeter Institute
  • David Schmid, Perimeter Institute
  • Robert Spekkens, Perimeter Institute
  • Elie Wolfe, Perimeter Institute