Quantum Foundations

The predictions of quantum theory resist generalised noncontextual explanations. In addition to the foundational relevance of this fact, the particular extent to which quantum theory violates noncontextuality limits available quantum advantage in communication and information processing. In the first part of this work, we formally define contextuality scenarios via prepare-and-measure experiments, along with the polytope of general contextual behaviours containing the set of quantum contextual behaviours. This framework allows us to recover several properties of set of quantum behaviours in these scenarios . Most surprisingly, we discover contextuality scenarios and associated noncontextuality inequalities that require for their violation the individual quantum preparation and measurement procedures to be mixed states and unsharp measurements. With the framework in place, we formulate novel semidefinite programming relaxations for bounding these sets of quantum contextual behaviours. Most significantly, to circumvent the inadequacy of pure states and projective measurements in contextuality scenarios, we present a novel unitary operator based semidefinite relaxation technique. We demonstrate the efficacy of these relaxations by obtaining tight upper bounds on the quantum violation of several noncontextuality inequalities and identifying novel maximally contextual quantum strategies. To further illustrate the versatility of these relaxations we demonstrate the monogamy of preparation contextuality in a tripartite setting, and present a secure semi-device independent quantum key distribution scheme powered by quantum advantage in parity oblivious random access codes.

With ongoing efforts to observe quantum effects in larger and more complex systems, both for the purposes of quantum computing and fundamental tests of quantum gravity, it becomes important to study the consequences of extending quantum theory to the macroscopic domain. Frauchiger and Renner have shown that quantum theory, when applied to model the memories of reasoning agents, can lead to a conflict with certain principles of logical deduction. Is this incompatibility a peculiar feature of quantum theory, or can modelling reasoning agents using other physical theories also lead to such contradictions? What features of physical theories are responsible for such paradoxes? 

Multi-agent paradoxes have been previously analysed only in quantum theory. To address the above questions, a framework for analysing multi-agent paradoxes in general physical theories is required. Here, we develop such a framework that can in particular be applied to generalized probabilistic theories (GPTs). We apply the framework to model how observers’ memories may evolve in box world, a post-quantum GPT and using this, derive a stronger paradox that does not rely on post-selection. Our results reveal that reversible, unitary evolution of agents’ memories is not necessary for deriving multi-agent logical paradoxes, and suggest that certain forms of contextuality might be. 

https://iopscience.iop.org/article/10.1088/1367-2630/ab4fc4

A series of recent works has shown that placing communication channels in a coherent superposition of alternative configurations can boost their ability to transmit information. Instances of this phenomenon are the advantages arising from the use of communication devices in a superposition of alternative causal orders, and those arising from the transmission of information along a superposition of alternative trajectories. The relation among these advantages has been the subject of recent debate, with some authors claiming that the advantages of the superposition of orders could be reproduced, and even surpassed, by other forms of superpositions. To shed light on this debate, we develop a general framework of resource theories of communication. In this framework, the resources are communication devices, and the allowed operations are (a) the placement of communication devices between the communicating parties, and (b) the connection of communication devices with local devices in the parties' laboratories. The allowed operations are required to satisfy the minimal condition that they do not enable communication independently of the devices representing the initial resources. The resource-theoretic analysis reveals that the aforementioned criticisms on the superposition of causal orders were based on an uneven comparison between different types of quantum superpositions, exhibiting different operational features.

Ref. https://iopscience.iop.org/article/10.1088/1367-2630/ab8ef7

While spacetime and quantum theory are crucial parts of modern theoretical physics, the problem of quantum gravity demonstrates that their full relationship is not yet completely understood. In my talk, I report on two recent results that aim to shed light on this relationship via ideas and tools from quantum foundations.

We start with the setting of (semi-) device-independent quantum information protocols. In this scenario one considers abstract black boxes that are characterised by their input-output statistics. Typically, these inputs and outputs are assumed to be abstract labels from a finite set of integers. We replace the abstract inputs with physical inputs that correspond to continuous spatio-temporal degrees of freedom, e.g. angles of polarisers and time-durations of laser pulses. This framework gives new insights about the relation between space, time, and quantum correlations, and it gives rise to new kinds of Bell non-locality witnesses.

We then turn to the topic of quantum reference frames. Specifically, we consider a composite quantum system and an outside experimenter who does not have access to an external reference frame to specify all of the system's properties. We show that for such an observer the possible descriptions of states and observables are related by quantum reference frame transformations that have been independently proposed in recent works. We give an explicit description of the observables that are measurable by agents constrained by such quantum symmetries, and we introduce a relational generalisation of the partial trace that applies to such situations.

Consistent dynamics which couples classical and quantum systems exists, provided it is stochastic. This provides a way to
study the back-reaction of quantum systems on classical ones and has recently been explored in the context of quantum fields back-reacting
on space-time. Since the dynamics is completely positive and circumvents various no-go theorems this can either be thought of as a fundamental theory, or as an effective theory describing the limit of quantum gravity where the gravitational degrees of freedom are taken to be classical. In this talk we explore some of the consequences of complete positivity on the dynamics of classical-quantum systems. We show that complete positivity necessarily results in the decoherence of the quantum system, and a breakdown of predictability in the classical-phase space. We prove there is a trade-off between the rate of this decoherence and the degree of diffusion in the metric: long coherence times require strong diffusion relative to the strength of the coupling, which potentially provides a long-distance experimental test of the quantum nature of gravity  We discuss the consequences of complete positivity on preparing superpositions of gravitationally different states. Each state produces different distributions of the gravitational field determined by the constraints of the theory. The overlap of these distributions imposes an upper bound on the degree of coherence of the superposition.

I will introduce a tool to construct self-testing Bell inequalities from the stabiliser formalism and present two applications in the framework of device-independent certification protocols. Firstly, I will show how the method allows to derive Bell inequalities maximally violated by the family of multi-qubit graph states and suited for their robust self-testing. Secondly, I will present how the same method allows to introduce the first examples of subspace self-testing, a form of certification that the measured quantum state belongs to a given quantum error correction code subspace, which remarkably includes also mixed states.

We often say that quantum mechanics allows to calculate the probability of future events. In fact, quantum mechanics does not discriminate between predicting the future or postdicting the past. I will present the results of a recent work by Rovelli, Donà and me, where we address the apparent tension between the time symmetry of elementary quantum mechanics and the intrinsic time orientation of the formulations of quantum theory used in the quantum information and foundations communities. Additionally, I will sketch a way to think time symmetrically about causality in quantum theory by using the new notion of a causal-inferential theory recently proposed by Schimd, Selby and Spekkens.

In recent years, it has become increasingly well-known that nearly all the major no-go theorems in quantum foundations can be circumvented by violating a single assumption: the hidden variables (that determine the outcomes) are uncorrelated with the measurement settings. A hidden-variable theory that violates this assumption can be local, separable, non-contextual and have an epistemic quantum state. Such a theory would be particularly well-suited to relativistic contexts. Are such theories actually feasible? In this talk, we discuss some results on the two physical options to violate this assumption: superdeterminism and retrocausality. 

Developing an intuitive criticism by Bell, we show that superdeterministic models are conspiratorial in a mathematically well-defined sense in two separate ways. In the first approach, we use the concept of quantum nonequilibrium to show that superdeterministic models require finetuning so that the measurement statistics do not depend on the details of how the measurement settings are chosen. In the second approach, we show (without using quantum non-equilibrium) that an arbitrarily large amount of superdeterministic correlation is needed for such models to be consistent. Along the way, we discuss an apparent paradox involving nonlocal signalling in a local superdeterministic model. 

Next, we use retrocausality to build a local, separable, psi-epistemic hidden-variable model of Bell correlations with pilot-waves in physical space. We generalise the model to describe a relativistic Bell scenario where one of the wings experiences time-dilation effects. We show, by discussing the difficulties faced by other hidden-variable approaches in describing this scenario, that the relativistic properties of the model play an important role here (otherwise ornamental in the standard Bell scenario). We also discuss the technical difficulties in applying quantum field theory to recover the model's predictions.

A priori, there exists no preferential temporal direction as microscopic physical laws are time-symmetric. Still, the second law of thermodynamics allows one to associate the 'forward' temporal direction to a positive variation of the total entropy produced in a thermodynamic process, and a negative variation with its 'time-reversal' counterpart.
This definition of a temporal axis is normally considered to apply in both classical and quantum contexts. Yet, quantum physics admits also superpositions between forward and time-reversal processes, thereby seemingly eluding conventional definitions of time's arrow. In this talk, I will demonstrate that a quantum measurement of entropy production can distinguish the two temporal directions, effectively projecting such superpositions of thermodynamic processes onto the forward (time-reversal) time-direction when large positive (negative) values are measured.
Remarkably, for small values (of the order of plus or minus one), the amplitudes of forward and time-reversal processes can interfere, giving rise to entropy-production distributions featuring a more or less reversible process than either of the two components individually, or any classical mixture thereof.
Finally, I will extend these concepts to the case of a thermal machine running in a superposition of the heat engine and the refrigerator mode, illustrating how such interference effects can be employed to reduce undesirable fluctuations.

A proposal is made for a fundamental theory,  in which the history of the universe is constituted of views of itself.  Views are attributes of events, and the theory's only be-ables; they comprise information about energy and momentum transferred to an event from its causal past. 

The  theory is called the causal theory of views (CTV) and is a candidate for a completion of QM.  It is partly based on energetic causal sets (ECS),   an approach developed  with Marina Cortes.  A key result that applies also here is that spacetime is emergent from the ECS dynamics.  This implies that the fundamental dynamics involve no notion of space, distance or derivatives.  Instead I propose that a measure of similarity of views replaces derivatives as the basic measure of change and difference.

A measure of the diversity of views in a  causal network is introduced, called the variety (originally invented with Julian  Barbour).  I postulate a dynamics for CTV based on an action involving the variety and show that in an appropriate limit, it reduces to Schrodinger quantum mechanics.  A key result is that  the variety reduces to Bohm's quantum potential.

Based on arXiv:1307.6167,  arXiv:1308.2206 , arXiv:1712.0479 and a paper in preparation.

Using a process-theoretic formalism, we introduce the notion of a causal-inferential theory: a triple consisting of a theory of causal influences, a theory of inferences (of both the Boolean and Bayesian varieties), and a specification of how these interact. Recasting the notions of operational and realist theories in this mold clarifies what a realist account of an experiment offers beyond an operational account. It also yields a novel characterization of the assumptions and implications of standard no-go theorems for realist representations of operational quantum theory, namely, those based on Bell’s notion of locality and those based on generalized noncontextuality. Moreover, our process-theoretic characterization of generalised noncontextuality is shown to be implied by an even more natural principle which we term Leibnizianity. Most strikingly, our framework offers a way forward in a research program that seeks to circumvent these no-go results. Specifically, we argue that if one can identify axioms for a realist causal-inferential theory such that the notions of causation and inference can differ from their conventional (classical) interpretations, then one has the means of defining an intrinsically quantum notion of realism, and thereby a realist representation of operational quantum theory that salvages the spirit of locality and of noncontextuality.

The compatibility-hypergraph approach to contextuality (CA) and the contextuality-by-default approach (CbD) are usually presented as products of entirely different views on how physical measurements and measurement contexts should be understood: the latter is based on the idea that a physical measurement has to be seen by a collection of random variables, one for each context containing that measurement, while the imposition of the non-disturbance condition as a physical requirement in the former precludes such interpretation of measurements. The aim of our work is to present both approaches as entirely compatible ones and to introduce in the compatibility-hypergraph approach ideas which arises from contextuality-by-default. We

introduce in CA the non-degeneracy condition, which is the analogous of consistent connectedness (an important concept from CbD), and prove that this condition is, in general, weaker than non-disturbance. The set of non-degenerate behaviours defines a polytope, therefore one can characterize non-degeneracy using a finite set of linear inequalities. We introduce extended contextuality for behaviours and prove that a behaviour is non-contextual in the standard sense if and only if it is non-degenerate and non-contextual in the extended sense. Finally, we use extended scenarios and behaviours to shed new light on our results.