Within a global physical theory, a notion of locality allows us to find and justify information-processing primitives, like non-signalling between distant agents. Here we propose exploring the opposite direction: to take agents as the basic building blocks through which we test a physical theory, and recover operational notions of locality from signalling conditions. First we introduce an operational model for the effective state spaces of individual agents, as well as the range of their actions. We then formulate natural secrecy conditions between agents and identify the aspects of locality relevant for signalling. We discuss the possibility of taking commutation of transformations as a primitive of physical theories, as well as applications to quantum theory and generalized probability frameworks. This "it from bit" approach establishes an operational connection between local action and local observations, and gives a global interpretation to concepts like discarding a subsystem or composing local functions.
Joint, or simultaneous, measurements of non-commuting observables are possible within quantum mechanics, if one accepts an increase in the variances of the jointly measured observables. In this paper, we discuss joint measurements of a spin 1/2 particle along any two directions. Starting from an operational locality principle, it is shown how to obtain a bound on how sharp the joint measurement can be. We give a direct interpretation of this bound in terms of an uncertainty relation.
Contextuality is a key resource in quantum information and the device-independent security of quantum algorithms. In this work, we show that the recently developed, operational Mermin non-locality arguments provide a large, novel family of quantum realisable All-vs-Nothing models. In particular, they result in a diverse wealth of quantum realisable models which are maximally contextual (i.e. lie on the faces of the no-signalling polytope with no local elements), and could be used as a resource for the security of a new class of quantum secret sharing algorithms.
We prove that all deterministic hidden-variables theories, that reproduce quantum theory for a 'quantum equilibrium' distribution of hidden variables, predict the existence of instantaneous signals at the statistical level for hypothetical 'nonequilibrium ensembles'. This signal-locality theorem generalises yet another property of the pilot-wave theory of de Broglie and Bohm. The theorem supports the hypothesis that in the remote past the universe relaxed to a state of statistical equilibrium (at the hidden-variable level) in which nonlocality happens to be masked by quantum noise.
The aim of the paper is to investigate the characterization of an unambiguous notion of causation linking single space-llike separated events in EPR-Bell frameworks. This issue is investigated in ordinary quantum mechanics, with some hints to no collapse formulations of the theory such as Bohmian mechanics.
In all local realistic theories worked out till now, locality is considered as a basic assumption. Most people in the field consider the inconsistency between local realistic theories and quantum mechanics to be a result of non-local nature of quantum mechanics. In this paper, we derive Bell's inequality for particles with instantaneous interactions, and show that the aforementioned contradiction still exists between quantum mechanics and non-local hidden variable models. Then, we use this non-locality to obtain the GHZ theorem. In what follows, we show that Bacon and Toner's protocol, for the…
We look at what type of arguments can rule out the joint reality (or value definiteness) of two observables of a physical system, such as a qubit, and give several strong yet simple no-go results based on assumptions typically weaker than those considered previously. The first result uses simple geometry combined with a locality assumption to derive device-independent steering inequalities. These may also be regarded as "conditional" Bell inequalities, are simpler in principle to test than standard Bell inequalities, and for two-qubit systems are related to properties of the quantum steering e…
We first present a protocol for deterministically distilling non-locality, building upon a recent result of Forster et al. [Phys. Rev. Lett. 102, 120401 (2009)]. Our protocol, which is optimal for two-copy distillation, works efficiently for a specific class of post-quantum non-local boxes, which we term correlated non-local boxes. In the asymptotic limit, all correlated non-local boxes are distilled to the maximally non-local box of Popescu and Rohrlich. Then, taking advantage of a result of Brassard \textit{et al.} [Phys. Rev. Lett. 96, 250401 (2006)] we show that all correlated non-local bo…
Studying generalized non-local theories brings insight to the foundations of quantum mechanics. Here we focus on non-locality swapping, the analogue of quantum entanglement swapping. In order to implement such a protocol, one needs a coupler that performs the equivalent of quantum joint measurements on generalized `box-like' states. Establishing a connection to Bell inequalities, we define consistent couplers for theories containing an arbitrary amount of non-locality, which leads us to introduce the concepts of perfect and minimal couplers. Remarkably, Tsirelson's bound for quantum non-locali…
The framework of generalized probabilistic theories (GPT) is a widely-used approach for studying the physical foundations of quantum theory. The standard GPT framework assumes the no-restriction hypothesis, in which the state space of a physical theory determines the set of measurements. However, this assumption is not physically motivated. In Janotta and Lal [Phys. Rev. A 87, 052131 (2013)], it was shown how this assumption can be relaxed, and how such an approach can be used to describe new classes of probabilistic theories. This involves introducing a new, more general, definition of maxima…
In all local realistic theories worked out till now, locality is considered as a basic assumption. Most people in the field consider the inconsistency between local realistic theories and quantum mechanics to be a result of non-local nature of quantum mechanics. In this Paper, we derive the Greenberger-Horne-Zeilinger type theorem for particles with instantaneous (non-local) interactions at the hidden-variable level. Then, we show that the previous contradiction still exists between quantum mechanics and non-local hidden variable models.
An operational concept of locality whose quantum violation is indicated independently of any other assumption(s) seems to be lacking in the quantum foundations literature so far. Bell's theorem only shows that quantum correlations violate the conjunction of the ontological assumptions of localism and determinism. Taking a cue from computational complexity theory, here we define such a concept of locality in terms of a class of operational decision problems, and propose that Einstein-Podolsky-Rosen (EPR) steering in its basic asymmetric formulation gives a specific realization of this class. Va…
By implicitly assuming that all measurements occur simultaneously, Bell's Theorem only applied to local theories that violated Heisenberg's Uncertainty Principle. By explicitly introducing time into our derivation of Bell's theorem, an extra term related to the time-ordering of actual measurements is found to augment (i.e. weaken) the upper bound of the inequality. Since the same locality assumptions hold for this rederivation as for the original, we conclude that only {\em classical} measurement-order independent local hidden variable theories are constrained by Bell's inequality; time depend…
The aim of this thesis project is to investigate the bit commitment protocol in the framework of operational probabilistic theories. In particular a careful study is carried on the feasibility of bit commitment in the non-local boxes theory. New aspects of the theory are also presented.
Does the remote measurement-disturbance of the quantum state of a system $B$ by measurement on system $A$ entangled with $B$, constitute a real disturbance -- i.e., an objective alteration -- of $B$ in an operational sense? Employing information theoretic criteria motivated by operational considerations alone, we argue that the disturbance in question is real for a subset of steerable correlations. This result highlights the distinction between quantum no-signaling and relativistic signal-locality. It furthermore suggests a natural reason why a convex operational theory should be non-signaling…
The debate on the nature of quantum probabilities in relation to Quantum Non Locality has elevated Quantum Mechanics to the level of an "Operational Epistemic Theory". In such context the quantum superposition principle has an extraneous non epistemic nature. This leads us to seek purely operational foundations for Quantum Mechanics, from which to derive the current mathematical axiomatization based on Hilbert spaces. In the present work I present a set of axioms of purely operational nature, based on a general definition of "the experiment", the operational/epistemic archetype of information …
We investigate the connection between steering and contextuality in general probabilistic theories. We show that for a class of bipartite states the steerability of the state by given set of measurements is equivalent to non-existence of preparation noncontextual hidden variable model for certain restricted theory constructed from the given state and measurements. The connection between steering and contextuality is provided by the concept of incompatibility in restricted theories, which we also investigate.
A consistent geometrical approach to EPR non-locality as well as other non-local effects in QM like the Aharanov-Bohm effect, Berry phase, Gauge theories within Yang-Mills theory etc. is possible within the framework of sheaf cohomology. This sheds new light on our understanding on non-local correlations in QM, and provides a fundamental mathematical approach to fundamental problems in physics.
We show how to construct general probabilistic theories that contain an energy observable dependent on position and momentum. The construction is in accordance with classical and quantum theory and allows for physical predictions, such as the probability distribution for position, momentum and energy. We demonstrate the construction by formulating a toy model for the harmonic oscillator that is neither classical nor quantum. The model features a discrete energy spectrum, a ground state with sharp position and momentum, an eigenstate with non-positive Wigner function as well as a state that has…
Einstein introduced the locality principle which states that all physical effect in some finite space-time region does not influence its space-like separated finite region. Recently, in algebraic quantum field theory, Rédei captured the idea of the locality principle by the notion of operational separability. The operation in operational separability is performed in some finite space-time region, and leaves unchanged the state in its space-like separated finite space-time region. This operation is defined with a completely positive map. In the present paper, we justify using a completely posit…
In this thesis, we consider the properties of measurements in quantum theory and other operational theories. After having introduced the framework of operational theories, we consider a communication scheme based on an experimental prepare-and-measure scenario and demonstrate this with different communication tasks. This gives us context for how the different communication tasks can be implemented in different theories, in doing so establishing quantum theory intuitively as an operational theory among other theories. The main property of measurements we focus on in this work is the simulation …
Wave-particle duality, superposition and entanglement are among the most counterintuitive features of quantum theory. Their clash with our classical expectations motivated hidden-variable (HV) theories. With the emergence of quantum technologies we can test experimentally the predictions of quantum theory {\em versus} HV theories and put strong restrictions on their key assumptions. Here we study an entanglement-assisted version of the quantum delayed-choice experiment and show that the extension of HV to the controlling devices only exacerbates the contradiction. We compare HV theories that s…
We introduce the resource quantifier of weight of resource for convex quantum resource theories of states with arbitrary resources. We show that it captures the advantage that a resourceful state offers over all possible free states, in the operational task of exclusion of subchannels. Furthermore, we introduce information-theoretic quantities related to exclusion and find a connection between the weight of resource of a state, and the exclusion-type information of ensembles it can generate. These results provide support to a recent conjecture made in the context of convex quantum resource the…
The study of non-locality is fundamental to the understanding of quantum mechanics. The past 50 years have seen a number of non-locality proofs, but its fundamental building blocks, and the exact role it plays in quantum protocols, has remained elusive. In this paper, we focus on a particular flavour of non-locality, generalising Mermin's argument on the GHZ state. Using strongly complementary observables, we provide necessary and sufficient conditions for Mermin non-locality in abstract process theories. We show that the existence of more phases than classical points (aka eigenstates) is not …
The formalism of general probabilistic theories provides a universal paradigm that is suitable for describing various physical systems including classical and quantum ones as particular cases. Contrary to the usual no-restriction hypothesis, the set of accessible meters within a given theory can be limited for different reasons, and this raises a question of what restrictions on meters are operationally relevant. We argue that all operational restrictions must be closed under simulation, where the simulation scheme involves mixing and classical post-processing of meters. We distinguish three c…
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 …
We undertake a reconstruction of the epistemic significance of research on operational theories in quantum foundations. We suggest that the space of operational theories is analogous to the space of possible worlds employed in the possible world semantics for modal logic, so research of this sort can be understood as probing modal structure. Thus we argue that operational axiomatisations of quantum mechanics may be interpreted as a novel form of structural realism; we discuss the consequences of this interpretation for the philosophy of structural realism and the future of operational theories…
We define what it means for a state in a convex cone of states on a space of observables to be generalized-entangled relative to a subspace of the observables, in a general ordered linear spaces framework for operational theories. This extends the notion of ordinary entanglement in quantum information theory to a much more general framework. Some important special cases are described, in which the distinguished observables are subspaces of the observables of a quantum system, leading to results like the identification of generalized unentangled states with Lie-group-theoretic coherent states w…
The prevalent modus operandi within the framework of quantum resource theories has been to characterise and harness the resources within single objects, in what we can call \emph{single-object} quantum resource theories. One can wonder however, whether the resources contained within multiple different types of objects, now in a \emph{multi-object} quantum resource theory, can simultaneously be exploited for the benefit of an operational task. In this work, we introduce examples of such multi-object operational tasks in the form of subchannel discrimination and subchannel exclusion games, in wh…
We study restrictions on locality-preserving unitary logical gates for topological quantum codes in two spatial dimensions. A locality-preserving operation is one which maps local operators to local operators --- for example, a constant-depth quantum circuit of geometrically local gates, or evolution for a constant time governed by a geometrically-local bounded-strength Hamiltonian. Locality-preserving logical gates of topological codes are intrinsically fault tolerant because spatially localized errors remain localized, and hence sufficiently dilute errors remain correctable. By invoking gene…
By studying generalized non-signalling theories, the hope is to find out what makes quantum mechanics so special. In the present paper, we revisit the paradigmatic model of non-signalling boxes and introduce the concept of a genuine box. This will allow us to present the first generalized non-signalling model featuring quantum-like dynamics. In particular, we present the coupler, a device enabling non-locality swapping, the analogue of quantum entanglement swapping, as well as teleportation. Remarkably, part of the boundary between quantum and post-quantum correlations emerges in our study.
In this paper, I propose a project of enlisting quantum information science as a source of task-oriented axioms for use in the investigation of operational theories in a general framework capable of encompassing quantum mechanics, classical theory, and more. Whatever else they may be, quantum states of systems are compendia of probabilities for the outcomes of possible operations we may perform on the systems: ``operational theories.'' I discuss appropriate general frameworks for such theories, in which convexity plays a key role. Such frameworks are appropriate for investigating what things l…
This paper provides a concise summary of the framework of operational-probabilistic theories, aimed at emphasizing the interaction between category-theoretic and probabilistic structures. Within this framework, we review an operational version of the GNS construction, expressed by the so-called purification principle, which under mild hypotheses leads to an operational version of Stinespring's theorem.
L. Vervoort [arxiv:1406.0901] claims to have found a model which "can violate the Bell inequality and reproduce the quantum statistics, even if it is based on local dynamics only". This claim is false. The proposed model contains global elements. The physics behind the model is local, but would not allow the explanation of violations of Bell inequalities for space-like separated events, if superluminal causal influences are forbidden. To use it for this purpose, one has to introduce a preferred frame where information can be send faster than light. As a cause of the misunderstanding we identif…
Two parts of an entangled quantum state can have a correlation in their joint behavior under measurements that is unexplainable by shared classical information. Such correlations are called non-local and have proven to be an interesting resource for information processing. Since non-local correlations are more useful if they are stronger, it is natural to ask whether weak non-locality can be amplified. We give an affirmative answer by presenting the first protocol for distilling non-locality in the framework of generalized non-signaling theories. Our protocol works for both quantum and non-qua…
The paper has two aims: (1) it sets out to show that it is well motivated to seek for an account of quantum non-locality in the framework of ontic structural realism (OSR), which integrates the notions of holism and non-separability that have been employed since the 1980s to achieve such an account. However, recent research shows that OSR on its own cannot provide such an account. Against this background, the paper argues that by applying OSR to the primitive ontology theories of quantum physics, one can accomplish that task. In particular, Bohmian mechanics offers the best prospect for doing …
The present paper is both a review on the Feynman problem, and an original research presentation on the relations between Fermionic theories and qubits theories, both regarded in the novel framework of operational probabilistic theories. The most relevant results about the Feynman problem of simulating Fermions with qubits are reviewed, and in the light of the new original results the problem is solved. The answer is twofold. On the computational side the two theories are equivalent, as shown by Bravyi and Kitaev (Ann. Phys. 298.1 (2002): 210-226). On the operational side the quantum theory of…
One of the central problems in the study of quantum resource theories is to provide a given resource with an operational meaning, characterizing physical tasks in which the resource can give an explicit advantage over all resourceless states. We show that this can always be accomplished for all convex resource theories. We establish in particular that any resource state enables an advantage in a channel discrimination task, allowing for a strictly greater success probability than any state without the given resource. Furthermore, we find that the generalized robustness measure serves as an exa…
A central theme in current work in quantum information and quantum foundations is to see quantum mechanics as occupying one point in a space of possible theories, and to use this perspective to understand the special features and properties which single it out, and the possibilities for alternative theories. Two formalisms which have been used in this context are operational theories, and categorical quantum mechanics. The aim of the present paper is to establish strong connections between these two formalisms. We show how models of categorical quantum mechanics have representations as operati…
We introduce a new approach to the study of operational theories of physics using category theory. We define a generalisation of the (causal) operational-probabilistic theories of Chiribella et al. and establish their correspondence with our new notion of an operational category. Our work is based on effectus theory, a recently developed area of categorical logic, to which we give an operational interpretation, demonstrating its relevance to the modelling of general probabilistic theories.
Quantum resource theories have been widely studied to systematically characterize the non-classicality of quantum systems. Most resource theories focus on quantum states and study their interconversions. Although quantum channels are generally used as the tool for state manipulation, such a manipulation capability can be naturally regarded as a generalized quantum resource, leading to an open research direction in the resource theories of quantum channels. Various resource-theoretic properties of channels have been investigated, however, without treating channels themselves as operational reso…
In order to understand the source and extent of the greater-than-classical information processing power of quantum systems, one wants to characterize both classical and quantum mechanics as points in a broader space of possible theories. One approach to doing this, pioneered by Abramsky and Coecke, is to abstract the essential categorical features of classical and quantum mechanics that support various information-theoretic constraints and possibilities, e.g., the impossibility of cloning in the latter, and the possibility of teleportation in both. Another approach, pursued by the authors and …
Spacetime---the union of space and time---is both the actor and the stage during physical processes in our fascinating Universe. In Lorentz invariant local theories, the existence of a maximum signalling speed (the "speed of light") determines a notion of causality in spacetime, distinguishing the past from the future, and the cause from the effect. This thesis is dedicated to the study of \emph{deviations} from locality. Focussing on a particular class of \emph{non-local} theories that is both Lorentz invariant and free of ghosts, we aim to understand the effects of such non-local physics in …
It is proven that any deterministic hidden-variables theory, that reproduces quantum theory for a 'quantum equilibrium' distribution of hidden variables, must predict the existence of instantaneous signals at the statistical level for hypothetical 'nonequilibrium ensembles'. This 'signal-locality theorem' generalises yet another feature of the pilot-wave theory of de Broglie and Bohm, for which it is already known that signal-locality is true only in equilibrium. Assuming certain symmetries, lower bounds are derived on the 'degree of nonlocality' of the singlet state, defined as the (equilibri…
The Special Theory of Relativity and Quantum Mechanics merge in the key principle of Quantum Field Theory, the Principle of Locality. We review some examples of its ``unreasonable effectiveness'' (which shows up best in the formulation of Quantum Field Theory in terms of operator algebras of local observables) in digging out the roots of Global Gauge Invariance in the structure of the local observable quantities alone, at least for purely massive theories; but to deal with the Principle of Local Gauge Invariance is still a problem in this frame. This problem emerges also if one attempts to fig…
The theory of cellular automata in operational probabilistic theories is developed. We start introducing the composition of infinitely many elementary systems, and then use this notion to define update rules for such infinite composite systems. The notion of causal influence is introduced, and its relation with the usual property of signalling is discussed. We then introduce homogeneity, namely the property of an update rule to evolve every system in the same way, and prove that systems evolving by a homogeneous rule always correspond to vertices of a Cayley graph. Next, we define the notion o…
We study the short-distance structure of geometric entanglement entropy in certain theories with a built-in scale of nonlocality. In particular we examine the cases of Little String Theory and Noncommutative Yang-Mills theory, using their AdS/CFT descriptions. We compute the entanglement entropy via the holographic ansatz of Ryu and Takayanagi to conclude that the area law is violated at distance scales that sample the nonlocality of these models, being replaced by an extensive volume law. In the case of the noncommutative model, the critical length scale that reveals the area/volume law trans…
Many insights into the quantum world can be found by studying it from amongst more general operational theories of physics. In this thesis, we develop an approach to the study of such theories purely in terms of the behaviour of their processes, as described mathematically through the language of category theory. This extends a framework for quantum processes known as categorical quantum mechanics (CQM) due to Abramsky and Coecke. We first consider categorical frameworks for operational theories. We introduce a notion of such theory, based on those of Chiribella, D'Ariano and Perinotti (CDP), …
We describe a general framework in which we can precisely compare the structures of quantum-like theories which may initially be formulated in quite different mathematical terms. We then use this framework to compare two theories: quantum mechanics restricted to qubit stabiliser states and operations, and Spekkens's toy theory. We discover that viewed within our framework these theories are very similar, but differ in one key aspect - a four element group we term the phase group which emerges naturally within our framework. In the case of the stabiliser theory this group is Z4 while for Spekke…
