arXiv subjects

Rui Soares Barbosa

Publications and source records attributed to Rui Soares Barbosa.

29 records · Page 2Linked to original sources

arXiv2017

Minimum quantum resources for strong non-locality

We analyse the minimum quantum resources needed to realise strong non-locality, as exemplified e.g. by the classical GHZ construction. It was already known that no two-qubit system, with any finite number of local measurements, can realise strong non-locality. For three-qubit systems, we show that strong non-locality can only be realised in the GHZ SLOCC class, and with equatorial measurements. However, we show that in this class there is an infinite family of states which are pairwise non-LU-equivalent that realise strong non-locality with finitely many measurements. These states have decreasing entanglement between one qubit and the other two, necessitating an increasing number of local measurements on the latter.

quant-ph↗

arXiv2017

A complete characterisation of All-versus-Nothing arguments for stabiliser states

An important class of contextuality arguments in quantum foundations are the All-versus-Nothing (AvN) proofs, generalising a construction originally due to Mermin. We present a general formulation of All-versus-Nothing arguments, and a complete characterisation of all such arguments which arise from stabiliser states. We show that every AvN argument for an n-qubit stabiliser state can be reduced to an AvN proof for a three-qubit state which is local Clifford-equivalent to the tripartite GHZ state. This is achieved through a combinatorial characterisation of AvN arguments, the AvN triple Theorem, whose proof makes use of the theory of graph states. This result enables the development of a computational method to generate all the AvN arguments in $\mathbb{Z}_2$ on n-qubit stabiliser states. We also present new insights into the stabiliser formalism and its connections with logic.

quant-ph↗

arXiv2017

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.

quant-ph↗

arXiv2017

The Quantum Monad on Relational Structures

Homomorphisms between relational structures play a central role in finite model theory, constraint satisfaction and database theory. A central theme in quantum computation is to show how quantum resources can be used to gain advantage in information processing tasks. In particular, non-local games have been used to exhibit quantum advantage in boolean constraint satisfaction, and to obtain quantum versions of graph invariants such as the chromatic number. We show how quantum strategies for homomorphism games between relational structures can be viewed as Kleisli morphisms for a quantum monad on the (classical) category of relational structures and homomorphisms. We show a general connection between these notions and state-independent quantum realizations of strong contextuality in the Abramsky-Brandenburger formulation of contextuality. We use these results to exhibit a wide range of examples of contextuality-powered quantum advantage, and to unify several apparently diverse strands of previous work.

cs.LO↗

arXiv2017

Contextuality, Cohomology and Paradox

Contextuality is a key feature of quantum mechanics that provides an important non-classical resource for quantum information and computation. Abramsky and Brandenburger used sheaf theory to give a general treatment of contextuality in quantum theory [New Journal of Physics 13 (2011) 113036]. However, contextual phenomena are found in other fields as well, for example database theory. In this paper, we shall develop this unified view of contextuality. We provide two main contributions: firstly, we expose a remarkable connection between contexuality and logical paradoxes; secondly, we show that an important class of contextuality arguments has a topological origin. More specifically, we show that "All-vs-Nothing" proofs of contextuality are witnessed by cohomological obstructions.

quant-ph↗

arXiv2016

Possibilities Determine the Combinatorial Structure of Probability Polytopes

We study the set of no-signalling empirical models on a measurement scenario, and show that the combinatorial structure of the no-signalling polytope is completely determined by the possibilistic information given by the support of the models. This is a special case of a general result which applies to all polytopes presented in a standard form, given by linear equations together with non-negativity constraints on the variables.

quant-ph↗

arXiv2014

On monogamy of non-locality and macroscopic averages: examples and preliminary results

We explore a connection between monogamy of non-locality and a weak macroscopic locality condition: the locality of the average behaviour. These are revealed by our analysis as being two sides of the same coin. Moreover, we exhibit a structural reason for both in the case of Bell-type multipartite scenarios, shedding light on but also generalising the results in the literature [Ramanathan et al., Phys. Rev. Lett. 107, 060405 (2001); Pawlowski & Brukner, Phys. Rev. Lett. 102, 030403 (2009)]. More specifically, we show that, provided the number of particles in each site is large enough compared to the number of allowed measurement settings, and whatever the microscopic state of the system, the macroscopic average behaviour is local realistic, or equivalently, general multipartite monogamy relations hold. This result relies on a classical mathematical theorem by Vorob'ev [Theory Probab. Appl. 7(2), 147-163 (1962)] about extending compatible families of probability distributions defined on the faces of a simplicial complex -- in the language of the sheaf-theoretic framework of Abramsky & Brandenburger [New J. Phys. 13, 113036 (2011)], such families correspond to no-signalling empirical models, and the existence of an extension corresponds to locality or non-contextuality. Since Vorob'ev's theorem depends solely on the structure of the simplicial complex, which encodes the compatibility of the measurements, and not on the specific probability distributions (i.e. the empirical models), our result about monogamy relations and locality of macroscopic averages holds not just for quantum theory, but for any empirical model satisfying the no-signalling condition. In this extended abstract, we illustrate our approach by working out a couple of examples, which convey the intuition behind our analysis while keeping the discussion at an elementary level.

quant-ph↗

arXiv2014

Partial and Total Ideals of Von Neumann Algebras

A notion of partial ideal for an operator algebra is a weakening the notion of ideal where the defining algebraic conditions are enforced only in the commutative subalgebras. We show that, in a von Neumann algebra, the ultraweakly closed two-sided ideals, which we call total ideals, correspond to the unitarily invariant partial ideals. The result also admits an equivalent formulation in terms of central projections. We place this result in the context of an investigation into notions of spectrum of noncommutative $C^*$-algebras.

math.OA↗

arXiv2014

Extendability in the Sheaf-theoretic Approach: Construction of Bell Models from Kochen-Specker Models

Extendability of an empirical model was shown by Abramsky & Brandenburger to correspond in a unified manner to both locality and non-contextuality. We develop their approach by presenting a refinement of the notion of extendability that can also be useful in characterising the properties of sub-models. The refinement is found to have another useful application: it is shown that a particular canonical extension, when well-defined, may be used for the construction of Bell-type models from models of more general kinds in such a way that the constructed model is equivalent to the original in terms of non-locality/contextuality. This is important since on practical and foundational levels, the notion of locality in Bell-type models can more easily be motivated than the corresponding general notion of contextuality. We consider examples of Bell-type models generated from some standard examples of contextual models, including an entire class of Kochen-Specker-like models. This exposes an intriguing relationship between the simplest possible contextual model (the contextual triangle) and Popescu-Rohrlich no-signalling correlations.

quant-ph↗

arXiv2012

The Cohomology of Non-Locality and Contextuality

In a previous paper with Adam Brandenburger, we used sheaf theory to analyze the structure of non-locality and contextuality. Moreover, on the basis of this formulation, we showed that the phenomena of non-locality and contextuality can be characterized precisely in terms of obstructions to the existence of global sections. Our aim in the present work is to build on these results, and to use the powerful tools of sheaf cohomology to study the structure of non-locality and contextuality. We use the Cech cohomology on an abelian presheaf derived from the support of a probabilistic model, viewed as a compatible family of distributions, in order to define a cohomological obstruction for the family as a certain cohomology class. This class vanishes if the family has a global section. Thus the non-vanishing of the obstruction provides a sufficient (but not necessary) condition for the model to be contextual. We show that for a number of salient examples, including PR boxes, GHZ states, the Peres-Mermin magic square, and the 18-vector configuration due to Cabello et al. giving a proof of the Kochen-Specker theorem in four dimensions, the obstruction does not vanish, thus yielding cohomological witnesses for contextuality.

quant-ph↗

arXiv2011

Unsharp Values, Domains and Topoi

The so-called topos approach provides a radical reformulation of quantum theory. Structurally, quantum theory in the topos formulation is very similar to classical physics. There is a state object, analogous to the state space of a classical system, and a quantity-value object, generalising the real numbers. Physical quantities are maps from the state object to the quantity-value object -- hence the `values' of physical quantities are not just real numbers in this formalism. Rather, they are families of real intervals, interpreted as `unsharp values'. We will motivate and explain these aspects of the topos approach and show that the structure of the quantity-value object can be analysed using tools from domain theory, a branch of order theory that originated in theoretical computer science. Moreover, the base category of the topos associated with a quantum system turns out to be a domain if the underlying von Neumann algebra is a matrix algebra. For general algebras, the base category still is a highly structured poset. This gives a connection between the topos approach, noncommutative operator algebras and domain theory. In an outlook, we present some early ideas on how domains may become useful in the search for new models of (quantum) space and space-time.

quant-ph↗