-
Asymptotic robustness of entanglement in noisy quantum networks and graph connectivity
Authors:
Fernando Lledó,
Carlos Palazuelos,
Julio I. de Vicente
Abstract:
Quantum networks are promising venues for quantum information processing. This motivates the study of the entanglement properties of the particular multipartite quantum states that underpin these structures. In particular, it has been recently shown that when the links are noisy two drastically different behaviors can occur regarding the global entanglement properties of the network. While in cert…
▽ More
Quantum networks are promising venues for quantum information processing. This motivates the study of the entanglement properties of the particular multipartite quantum states that underpin these structures. In particular, it has been recently shown that when the links are noisy two drastically different behaviors can occur regarding the global entanglement properties of the network. While in certain configurations the network displays genuine multipartite entanglement (GME) for any system size provided the noise level is below a certain threshold, in others GME is washed out if the system size is big enough for any fixed non-zero level of noise. However, this difference has only been established considering the two extreme cases of maximally and minimally connected networks (i.e. complete graphs versus trees, respectively). In this article we investigate this question much more in depth and relate this behavior to the growth of several graph theoretic parameters that measure the connectivity of the graph sequence that codifies the structure of the network as the number of parties increases. The strongest conditions are obtained when considering the degree growth. Our main results are that a sufficiently fast degree growth (i.e. $Ω(N)$, where $N$ is the size of the network) is sufficient for asymptotic robustness of GME, while if it is sufficiently slow (i.e. $o(\log N)$) then the network becomes asymptotically biseparable. We also present several explicit constructions related to the optimality of these results.
△ Less
Submitted 19 November, 2024;
originally announced November 2024.
-
Learning low-degree quantum objects
Authors:
Srinivasan Arunachalam,
Arkopal Dutt,
Francisco Escudero Gutiérrez,
Carlos Palazuelos
Abstract:
We consider the problem of learning low-degree quantum objects up to $\varepsilon$-error in $\ell_2$-distance. We show the following results: $(i)$ unknown $n$-qubit degree-$d$ (in the Pauli basis) quantum channels and unitaries can be learned using $O(1/\varepsilon^d)$ queries (independent of $n$), $(ii)$ polynomials $p:\{-1,1\}^n\rightarrow [-1,1]$ arising from $d$-query quantum algorithms can b…
▽ More
We consider the problem of learning low-degree quantum objects up to $\varepsilon$-error in $\ell_2$-distance. We show the following results: $(i)$ unknown $n$-qubit degree-$d$ (in the Pauli basis) quantum channels and unitaries can be learned using $O(1/\varepsilon^d)$ queries (independent of $n$), $(ii)$ polynomials $p:\{-1,1\}^n\rightarrow [-1,1]$ arising from $d$-query quantum algorithms can be classically learned from $O((1/\varepsilon)^d\cdot \log n)$ many random examples $(x,p(x))$ (which implies learnability even for $d=O(\log n)$), and $(iii)$ degree-$d$ polynomials $p:\{-1,1\}^n\to [-1,1]$ can be learned through $O(1/\varepsilon^d)$ queries to a quantum unitary $U_p$ that block-encodes $p$. Our main technical contributions are new Bohnenblust-Hille inequalities for quantum channels and completely bounded~polynomials.
△ Less
Submitted 17 May, 2024;
originally announced May 2024.
-
On the power of quantum entanglement in multipartite quantum XOR games
Authors:
Marius Junge,
Carlos Palazuelos
Abstract:
In this paper we show that, given $k\geq 3$, there exist $k$-player quantum XOR games for which the entangled bias can be arbitrarily larger than the bias of the game when the players are restricted to separable strategies. In particular, quantum entanglement can be a much more powerful resource than local operations and classical communication to play these games. This result shows a strong contr…
▽ More
In this paper we show that, given $k\geq 3$, there exist $k$-player quantum XOR games for which the entangled bias can be arbitrarily larger than the bias of the game when the players are restricted to separable strategies. In particular, quantum entanglement can be a much more powerful resource than local operations and classical communication to play these games. This result shows a strong contrast to the bipartite case, where it was recently proved that the entangled bias is always upper bounded by a universal constant times the one-way classical communication bias.
△ Less
Submitted 23 February, 2023;
originally announced February 2023.
-
Genuine multipartite entanglement of quantum states in the multiple-copy scenario
Authors:
Carlos Palazuelos,
Julio I. de Vicente
Abstract:
Genuine multipartite entanglement (GME) is considered a powerful form of entanglement since it corresponds to those states that are not biseparable, i.e.\ a mixture of partially separable states across different bipartitions of the parties. In this work we study this phenomenon in the multiple-copy regime, where many perfect copies of a given state can be produced and controlled. In this scenario…
▽ More
Genuine multipartite entanglement (GME) is considered a powerful form of entanglement since it corresponds to those states that are not biseparable, i.e.\ a mixture of partially separable states across different bipartitions of the parties. In this work we study this phenomenon in the multiple-copy regime, where many perfect copies of a given state can be produced and controlled. In this scenario the above definition leads to subtle intricacies as biseparable states can be GME-activatable, i.e.\ several copies of a biseparable state can display GME. We show that the set of GME-activatable states admits a simple characterization: a state is GME-activatable if and only if it is not partially separable across one bipartition of the parties. This leads to the second question of whether there is a general upper bound in the number of copies that needs to be considered in order to observe the activation of GME, which we answer in the negative. In particular, by providing an explicit construction, we prove that for any number of parties and any number $k\in\mathbb{N}$ there exist GME-activatable multipartite states of fixed (i.e.\ independent of $k$) local dimensions such that $k$ copies of them remain biseparable.
△ Less
Submitted 6 June, 2022; v1 submitted 21 January, 2022;
originally announced January 2022.
-
On the relation between completely bounded and $(1,cb)$-summing maps with applications to quantum XOR games
Authors:
Marius Junge,
Aleksander M. Kubicki,
Carlos Palazuelos,
Ignacio Villanueva
Abstract:
In this work we show that, given a linear map from a general operator space into the dual of a C$^*$-algebra, its completely bounded norm is upper bounded by a universal constant times its $(1,cb)$-summing norm. This problem is motivated by the study of quantum XOR games in the field of quantum information theory. In particular, our results imply that for such games entangled strategies cannot be…
▽ More
In this work we show that, given a linear map from a general operator space into the dual of a C$^*$-algebra, its completely bounded norm is upper bounded by a universal constant times its $(1,cb)$-summing norm. This problem is motivated by the study of quantum XOR games in the field of quantum information theory. In particular, our results imply that for such games entangled strategies cannot be arbitrarily better than those strategies using one-way classical communication.
△ Less
Submitted 9 December, 2021;
originally announced December 2021.
-
Maximal gap between local and global distinguishability of bipartite quantum states
Authors:
Willian H. G. Corrêa,
Ludovico Lami,
Carlos Palazuelos
Abstract:
We prove a tight and close-to-optimal lower bound on the effectiveness of local quantum measurements (without classical communication) at discriminating any two bipartite quantum states. Our result implies, for example, that any two orthogonal quantum states of a $n_A\times n_B$ bipartite quantum system can be discriminated via local measurements with an error probability no larger than…
▽ More
We prove a tight and close-to-optimal lower bound on the effectiveness of local quantum measurements (without classical communication) at discriminating any two bipartite quantum states. Our result implies, for example, that any two orthogonal quantum states of a $n_A\times n_B$ bipartite quantum system can be discriminated via local measurements with an error probability no larger than $\frac12 \left(1 - \frac{1}{c \min\{n_A, n_B\}} \right)$, where $1\leq c\leq 2\sqrt2$ is a universal constant, and our bound scales provably optimally with the local dimensions $n_A,n_B$. Mathematically, this is achieved by showing that the distinguishability norm $\|\cdot\|_{LO}$ associated with local measurements satisfies that $\|\cdot\|_1\leq 2\sqrt2 \min\{n_A,n_B\} \|\cdot\|_{LO}$, where $\|\cdot\|_1$ is the trace norm.
△ Less
Submitted 8 October, 2021;
originally announced October 2021.
-
Entanglement and superposition are equivalent concepts in any physical theory
Authors:
Guillaume Aubrun,
Ludovico Lami,
Carlos Palazuelos,
Martin Plávala
Abstract:
We prove that any two general probabilistic theories (GPTs) are entangleable, in the sense that their composite exhibits either entangled states or entangled measurements, if and only if they are both non-classical, meaning that neither of the state spaces is a simplex. This establishes the universal equivalence of the (local) superposition principle and the existence of global entanglement, valid…
▽ More
We prove that any two general probabilistic theories (GPTs) are entangleable, in the sense that their composite exhibits either entangled states or entangled measurements, if and only if they are both non-classical, meaning that neither of the state spaces is a simplex. This establishes the universal equivalence of the (local) superposition principle and the existence of global entanglement, valid in a fully theory-independent way. As an application of our techniques, we show that all non-classical GPTs exhibit a strong form of incompatibility of states and measurements, and use this to construct a version of the BB84 protocol that works in any non-classical GPT.
△ Less
Submitted 9 September, 2021;
originally announced September 2021.
-
Asymptotic survival of genuine multipartite entanglement in noisy quantum networks depends on the topology
Authors:
Patricia Contreras-Tejada,
Carlos Palazuelos,
Julio I. de Vicente
Abstract:
The study of entanglement in multipartite quantum states plays a major role in quantum information theory and genuine multipartite entanglement signals one of its strongest forms for applications. However, its characterization for general (mixed) states is a highly nontrivial problem. We introduce a particularly simple subclass of multipartite states, which we term pair-entangled network (PEN) sta…
▽ More
The study of entanglement in multipartite quantum states plays a major role in quantum information theory and genuine multipartite entanglement signals one of its strongest forms for applications. However, its characterization for general (mixed) states is a highly nontrivial problem. We introduce a particularly simple subclass of multipartite states, which we term pair-entangled network (PEN) states, as those that can be created by distributing exclusively bipartite entanglement in a connected network. We show that genuine multipartite entanglement in a PEN state depends on both the level of noise and the network topology and, in sharp contrast to the case of pure states, it is not guaranteed by the mere distribution of mixed bipartite entangled states. Our main result is a markedly drastic feature of this phenomenon: the amount of connectivity in the network determines whether genuine multipartite entanglement is robust to noise for any system size or whether it is completely washed out under the slightest form of noise for a sufficiently large number of parties. This latter case implies fundamental limitations for the application of certain networks in realistic scenarios, where the presence of some form of noise is unavoidable. To illustrate the applicability of PEN states to study the complex phenomenology behind multipartite entanglement, we also use them to prove superactivation of genuine multipartite nonlocality for any number of parties.
△ Less
Submitted 9 June, 2022; v1 submitted 8 June, 2021;
originally announced June 2021.
-
Geometry of Banach spaces: a new route towards Position Based Cryptography
Authors:
Marius Junge,
Aleksander M. Kubicki,
Carlos Palazuelos,
David Pérez-García
Abstract:
In this work we initiate the study of Position Based Quantum Cryptography (PBQC) from the perspective of geometric functional analysis and its connections with quantum games. The main question we are interested in asks for the optimal amount of entanglement that a coalition of attackers have to share in order to compromise the security of any PBQC protocol. Known upper bounds for that quantity are…
▽ More
In this work we initiate the study of Position Based Quantum Cryptography (PBQC) from the perspective of geometric functional analysis and its connections with quantum games. The main question we are interested in asks for the optimal amount of entanglement that a coalition of attackers have to share in order to compromise the security of any PBQC protocol. Known upper bounds for that quantity are exponential in the size of the quantum systems manipulated in the honest implementation of the protocol. However, known lower bounds are only linear.
In order to deepen the understanding of this question, here we propose a Position Verification (PV) protocol and find lower bounds on the resources needed to break it. The main idea behind the proof of these bounds is the understanding of cheating strategies as vector valued assignments on the Boolean hypercube. Then, the bounds follow from the understanding of some geometric properties of particular Banach spaces, their type constants. Under some regularity assumptions on the former assignment, these bounds lead to exponential lower bounds on the quantum resources employed, clarifying the question in this restricted case. Known attacks indeed satisfy the assumption we make, although we do not know how universal this feature is. Furthermore, we show that the understanding of the type properties of some more involved Banach spaces would allow to drop out the assumptions and lead to unconditional lower bounds on the resources used to attack our protocol. Unfortunately, we were not able to estimate the relevant type constant. Despite that, we conjecture an upper bound for this quantity and show some evidence supporting it. A positive solution of the conjecture would lead to stronger security guarantees for the proposed PV protocol providing a better understanding of the question asked above.
△ Less
Submitted 15 April, 2022; v1 submitted 30 March, 2021;
originally announced March 2021.
-
Genuine multipartite nonlocality is intrinsic to quantum networks
Authors:
Patricia Contreras-Tejada,
Carlos Palazuelos,
Julio I. de Vicente
Abstract:
Quantum entanglement and nonlocality are inextricably linked. However, while entanglement is necessary for nonlocality, it is not always sufficient in the standard Bell scenario. We derive sufficient conditions for entanglement to give rise to genuine multipartite nonlocality in networks. We find that any network where the parties are connected by bipartite pure entangled states is genuine multipa…
▽ More
Quantum entanglement and nonlocality are inextricably linked. However, while entanglement is necessary for nonlocality, it is not always sufficient in the standard Bell scenario. We derive sufficient conditions for entanglement to give rise to genuine multipartite nonlocality in networks. We find that any network where the parties are connected by bipartite pure entangled states is genuine multipartite nonlocal, independently of the amount of entanglement in the shared states and of the topology of the network. As an application of this result, we also show that all pure genuine multipartite entangled states are genuine multipartite nonlocal in the sense that measurements can be found on finitely many copies of any genuine multipartite entangled state to yield a genuine multipartite nonlocal behaviour. Our results pave the way towards feasible manners of generating genuine multipartite nonlocality using any connected network.
△ Less
Submitted 19 February, 2021; v1 submitted 3 April, 2020;
originally announced April 2020.
-
Unbounded Bell violations for quantum genuine multipartite non-locality
Authors:
Abderramán Amr,
Carlos Palazuelos,
Julio I. de Vicente
Abstract:
The violations of Bell inequalities by measurements on quantum states give rise to the phenomenon of quantum non-locality and express the advantage of using quantum resources over classical ones for certain information-theoretic tasks. The relative degree of quantum violations has been well studied in the bipartite scenario and in the multipartite scenario with respect to fully local behaviours. H…
▽ More
The violations of Bell inequalities by measurements on quantum states give rise to the phenomenon of quantum non-locality and express the advantage of using quantum resources over classical ones for certain information-theoretic tasks. The relative degree of quantum violations has been well studied in the bipartite scenario and in the multipartite scenario with respect to fully local behaviours. However, the multipartite setting entails a more complex classification in which different notions on non-locality can be established. In particular, genuine multipartite non-local distributions apprehend truly multipartite effects, given that these behaviours cannot be reproduced by bilocal models that allow correlations among strict subsets of the parties beyond a local common cause. We show here that, while in the so-called correlation scenario the relative violation of bilocal Bell inequalities by quantum resources is bounded, i.e. it does not grow arbitrarily with the number of inputs, it turns out to be unbounded in the general case. We identify Bell functionals that take the form of non-local games for which the ratio of the quantum and bilocal values grows unboundedly as a function of the number of inputs and outputs.
△ Less
Submitted 29 June, 2020; v1 submitted 28 February, 2020;
originally announced February 2020.
-
Entangleability of cones
Authors:
Guillaume Aubrun,
Ludovico Lami,
Carlos Palazuelos,
Martin Plavala
Abstract:
We solve a long-standing conjecture by Barker, proving that the minimal and maximal tensor products of two finite-dimensional proper cones coincide if and only if one of the two cones is generated by a linearly independent set. Here, given two proper cones $C_1$, $C_2$, their minimal tensor product is the cone generated by products of the form $x_1 \otimes x_2$, where $x_1 \in C_1$ and…
▽ More
We solve a long-standing conjecture by Barker, proving that the minimal and maximal tensor products of two finite-dimensional proper cones coincide if and only if one of the two cones is generated by a linearly independent set. Here, given two proper cones $C_1$, $C_2$, their minimal tensor product is the cone generated by products of the form $x_1 \otimes x_2$, where $x_1 \in C_1$ and $x_2 \in C_2$, while their maximal tensor product is the set of tensors that are positive under all product functionals $f_1 \otimes f_2$, where $f_1$ is positive on $C_1$ and $f_2$ is positive on $C_2$. Our proof techniques involve a mix of convex geometry, elementary algebraic topology, and computations inspired by quantum information theory. Our motivation comes from the foundations of physics: as an application, we show that any two non-classical systems modelled by general probabilistic theories can be entangled.
△ Less
Submitted 25 August, 2021; v1 submitted 21 November, 2019;
originally announced November 2019.
-
Universal entangleability of non-classical theories
Authors:
Guillaume Aubrun,
Ludovico Lami,
Carlos Palazuelos
Abstract:
Inspired by its fundamental importance in quantum mechanics, we define and study the notion of entanglement for abstract physical theories, investigating its profound connection with the concept of superposition. We adopt the formalism of general probabilistic theories (GPTs), encompassing all physical models whose predictive power obeys minimal requirements. Examples include classical theories, w…
▽ More
Inspired by its fundamental importance in quantum mechanics, we define and study the notion of entanglement for abstract physical theories, investigating its profound connection with the concept of superposition. We adopt the formalism of general probabilistic theories (GPTs), encompassing all physical models whose predictive power obeys minimal requirements. Examples include classical theories, which do not exhibit superposition and whose state space has the shape of a simplex, quantum mechanics, as well as more exotic models such as Popescu-Rohrlich boxes. We call two GPTs entangleable if their composite admits either entangled states or entangled measurements, and conjecture that any two non-classical theories are in fact entangleable. We present substantial evidence towards this conjecture by proving it (1) for the simplest case of 3-dimensional theories; (2) when the local state spaces are discrete, which covers foundationally relevant cases; (3) when one of the local theories is quantum mechanics. Furthermore, (4) we envision the existence of a quantitative relation between local non-classicality and global entangleability, explicitly describing it in the geometrically natural case where the local state spaces are centrally symmetric.
△ Less
Submitted 10 October, 2019;
originally announced October 2019.
-
Optimal non-signalling violations via tensor norms
Authors:
Abderraman Amr,
Carlos Palazuelos,
Ignacio Villanueva
Abstract:
In this paper we characterize the set of bipartite non-signalling probability distributions in terms of tensor norms. Using this characterization we give optimal upper and lower bounds on Bell inequality violations when non-signalling distributions are considered. Interestingly, our upper bounds show that non-signalling Bell inequality violations cannot be significantly larger than quantum Bell in…
▽ More
In this paper we characterize the set of bipartite non-signalling probability distributions in terms of tensor norms. Using this characterization we give optimal upper and lower bounds on Bell inequality violations when non-signalling distributions are considered. Interestingly, our upper bounds show that non-signalling Bell inequality violations cannot be significantly larger than quantum Bell inequality violations.
△ Less
Submitted 3 April, 2019;
originally announced April 2019.
-
Universal gaps for XOR games from estimates on tensor norm ratios
Authors:
Guillaume Aubrun,
Ludovico Lami,
Carlos Palazuelos,
Stanisław J. Szarek,
Andreas Winter
Abstract:
We define and study XOR games in the framework of general probabilistic theories, which encompasses all physical models whose predictive power obeys minimal requirements. The bias of an XOR game under local or global strategies is shown to be given by a certain injective or projective tensor norm, respectively. The intrinsic (i.e.\ model-independent) advantage of global over local strategies is th…
▽ More
We define and study XOR games in the framework of general probabilistic theories, which encompasses all physical models whose predictive power obeys minimal requirements. The bias of an XOR game under local or global strategies is shown to be given by a certain injective or projective tensor norm, respectively. The intrinsic (i.e.\ model-independent) advantage of global over local strategies is thus connected to a universal function $r(n,m)$ called 'projective-injective ratio'. This is defined as the minimal constant $ρ$ such that $\|\cdot\|_{X\otimes_πY}\leqρ\,\|\cdot\|_{X\otimes_\varepsilon Y}$ holds for all Banach spaces of dimensions $\dim X=n$ and $\dim Y=m$, where $X\otimes_πY$ and $X \otimes_\varepsilon Y$ are the projective and injective tensor products. By requiring that $X=Y$, one obtains a symmetrised version of the above ratio, denoted by $r_s(n)$. We prove that $r(n,m)\geq 19/18$ for all $n,m\geq 2$, implying that injective and projective tensor products are never isometric. We then study the asymptotic behaviour of $r(n,m)$ and $r_s(n)$, showing that, up to log factors: $r_s(n)$ is of the order $\sqrt{n}$ (which is sharp); $r(n,n)$ is at least of the order $n^{1/6}$; and $r(n,m)$ grows at least as $\min\{n,m\}^{1/8}$. These results constitute our main contribution to the theory of tensor norms. In our proof, a crucial role is played by an '$\ell_1$/$\ell_2$/$\ell_{\infty}$ trichotomy theorem' based on ideas by Pisier, Rudelson, Szarek, and Tomczak-Jaegermann. The main operational consequence we draw is that there is a universal gap between local and global strategies in general XOR games, and that this grows as a power of the minimal local dimension. In the quantum case, we are able to determine this gap up to universal constants. As a corollary, we obtain an improved bound on the scaling of the maximal quantum data hiding efficiency against local measurements.
△ Less
Submitted 7 December, 2018; v1 submitted 27 September, 2018;
originally announced September 2018.
-
A resource theory of entanglement with a unique multipartite maximally entangled state
Authors:
Patricia Contreras-Tejada,
Carlos Palazuelos,
Julio I. de Vicente
Abstract:
Entanglement theory is formulated as a quantum resource theory in which the free operations are local operations and classical communication (LOCC). This defines a partial order among bipartite pure states that makes it possible to identify a maximally entangled state, which turns out to be the most relevant state in applications. However, the situation changes drastically in the multipartite regi…
▽ More
Entanglement theory is formulated as a quantum resource theory in which the free operations are local operations and classical communication (LOCC). This defines a partial order among bipartite pure states that makes it possible to identify a maximally entangled state, which turns out to be the most relevant state in applications. However, the situation changes drastically in the multipartite regime. Not only do there exist inequivalent forms of entanglement forbidding the existence of a unique maximally entangled state, but recent results have shown that LOCC induces a trivial ordering: almost all pure entangled multipartite states are incomparable (i.e. LOCC transformations among them are almost never possible). In order to cope with this problem we consider alternative resource theories in which we relax the class of LOCC to operations that do not create entanglement. We consider two possible theories depending on whether resources correspond to multipartite entangled or genuinely multipartite entangled (GME) states and we show that they are both non-trivial: no inequivalent forms of entanglement exist in them and they induce a meaningful partial order (i.e. every pure state is transformable to more weakly entangled pure states). Moreover, we prove that the resource theory of GME that we formulate here has a unique maximally entangled state, the generalized GHZ state, which can be transformed to any other state by the allowed free operations.
△ Less
Submitted 17 July, 2019; v1 submitted 30 July, 2018;
originally announced July 2018.
-
Resource Quantification for the No-Programming Theorem
Authors:
Aleksander M. Kubicki,
Carlos Palazuelos,
David Pérez-García
Abstract:
The no-programming theorem prohibits the existence of a Universal Programmable Quantum Processor. This statement has several implications in relation to quantum computation, but also to other tasks of quantum information processing, making this construction a central notion in this context. Nonetheless, it is well known that even when the strict model is not implementable, it is possible to concei…
▽ More
The no-programming theorem prohibits the existence of a Universal Programmable Quantum Processor. This statement has several implications in relation to quantum computation, but also to other tasks of quantum information processing, making this construction a central notion in this context. Nonetheless, it is well known that even when the strict model is not implementable, it is possible to conceive of it in an approximate sense. Unfortunately, the minimal resources necessary for this aim are still not completely understood. Here, we investigate quantitative statements of the theorem, improving exponentially previous bounds on the resources required by such a hypothetical machine. The proofs exploit a new connection between quantum channels and embeddings between Banach spaces which allows us to use classical tools from geometric Banach space theory in a clean and simple way.
△ Less
Submitted 1 April, 2019; v1 submitted 2 May, 2018;
originally announced May 2018.
-
Quantum Query Algorithms are Completely Bounded Forms
Authors:
Srinivasan Arunachalam,
Jop Briët,
Carlos Palazuelos
Abstract:
We prove a characterization of $t$-query quantum algorithms in terms of the unit ball of a space of degree-$2t$ polynomials. Based on this, we obtain a refined notion of approximate polynomial degree that equals the quantum query complexity, answering a question of Aaronson et al. (CCC'16). Our proof is based on a fundamental result of Christensen and Sinclair (J. Funct. Anal., 1987) that generali…
▽ More
We prove a characterization of $t$-query quantum algorithms in terms of the unit ball of a space of degree-$2t$ polynomials. Based on this, we obtain a refined notion of approximate polynomial degree that equals the quantum query complexity, answering a question of Aaronson et al. (CCC'16). Our proof is based on a fundamental result of Christensen and Sinclair (J. Funct. Anal., 1987) that generalizes the well-known Stinespring representation for quantum channels to multilinear forms. Using our characterization, we show that many polynomials of degree four are far from those coming from two-query quantum algorithms. We also give a simple and short proof of one of the results of Aaronson et al. showing an equivalence between one-query quantum algorithms and bounded quadratic polynomials.
Revision note: A mistake was found in the proof of the second result on degree-4 polynomials far from 2-query quantum algorithms. An explanation of the issue, a corrected proof and stronger examples are presented in work of Escudero Gutiérrez and the second author.
△ Less
Submitted 10 May, 2022; v1 submitted 20 November, 2017;
originally announced November 2017.
-
Classical vs. quantum communication in XOR games
Authors:
Marius Junge,
Carlos Palazuelos,
Ignacio Villanueva
Abstract:
In this work we introduce an intermediate setting between quantum nonlocality and communication complexity problems. More precisely, we study the value of XOR games $G$ when Alice and Bob are allowed to use a limited amount of one-way classical communication $ω_{o.w.-c}(G)$ (resp. one-way quantum communication $ω_{o.w.-c}^*(G)$), where $c$ denotes the number of bits (resp. qubits). The key quantit…
▽ More
In this work we introduce an intermediate setting between quantum nonlocality and communication complexity problems. More precisely, we study the value of XOR games $G$ when Alice and Bob are allowed to use a limited amount of one-way classical communication $ω_{o.w.-c}(G)$ (resp. one-way quantum communication $ω_{o.w.-c}^*(G)$), where $c$ denotes the number of bits (resp. qubits). The key quantity here is the quotient $ω_{o.w.-c}^*(G)/ω_{o.w.-c}(G)$.
We provide a universal way to obtain Bell inequality violations of general Bell functionals from XOR games for which the quotient $ω_{o.w.-c}^*(G)/ω_{o.w.-2c}(G)$ is larger than 1. This allows, in particular, to find (unbounded) Bell inequality violations from communication complexity problems in the same spirit as the recent work by Buhrman et al. (2016).
We also provide an example of a XOR game for which the previous quotient is optimal (up to a logarithmic factor) in terms of the amount of information $c$. Interestingly, this game has only polynomially many inputs per player. For the related problem of separating the classical vs quantum communication complexity of a function, the known examples attaining exponential separation require exponentially many inputs per party.
△ Less
Submitted 3 July, 2017; v1 submitted 8 June, 2017;
originally announced June 2017.
-
Ultimate data hiding in quantum mechanics and beyond
Authors:
Ludovico Lami,
Carlos Palazuelos,
Andreas Winter
Abstract:
The phenomenon of data hiding, i.e. the existence of pairs of states of a bipartite system that are perfectly distinguishable via general entangled measurements yet almost indistinguishable under LOCC, is a distinctive signature of nonclassicality. The relevant figure of merit is the maximal ratio (called data hiding ratio) between the distinguishability norms associated with the two sets of measu…
▽ More
The phenomenon of data hiding, i.e. the existence of pairs of states of a bipartite system that are perfectly distinguishable via general entangled measurements yet almost indistinguishable under LOCC, is a distinctive signature of nonclassicality. The relevant figure of merit is the maximal ratio (called data hiding ratio) between the distinguishability norms associated with the two sets of measurements we are comparing, typically all measurements vs LOCC protocols. For a bipartite $n\times n$ quantum system, it is known that the data hiding ratio scales as $n$, i.e. the square root of the real dimension of the local state space of density matrices. We show that for bipartite $n_A\times n_B$ systems the maximum data hiding ratio against LOCC protocols is $Θ\left(\min\{n_A,n_B\}\right)$. This scaling is better than the previously obtained upper bounds $O\left(\sqrt{n_A n_B}\right)$ and $\min\{n_A^2, n_B^2\}$, and moreover our intuitive argument yields constants close to optimal. In this paper, we investigate data hiding in the more general context of general probabilistic theories (GPTs), an axiomatic framework for physical theories encompassing only the most basic requirements about the predictive power of the theory. The main result of the paper is the determination of the maximal data hiding ratio obtainable in an arbitrary GPT, which is shown to scale linearly in the minimum of the local dimensions. We exhibit an explicit model achieving this bound up to additive constants, finding that the quantum mechanical data hiding ratio is only of the order of the square root of the maximal one. Our proof rests crucially on an unexpected link between data hiding and the theory of projective and injective tensor products of Banach spaces. Finally, we develop a body of techniques to compute data hiding ratios for a variety of restricted classes of GPTs that support further symmetries.
△ Less
Submitted 20 June, 2018; v1 submitted 9 March, 2017;
originally announced March 2017.
-
Random quantum correlations are generically non-classical
Authors:
Carlos González-Guillén,
Cécilia Lancien,
Carlos Palazuelos,
Ignacio Villanueva
Abstract:
It is now a well-known fact that the correlations arising from local dichotomic measurements on an entangled quantum state may exhibit intrinsically non-classical features. In this paper we delve into a comprehensive study of random instances of such bipartite correlations. The main question we are interested in is: given a quantum correlation, taken at random, how likely is it that it is truly no…
▽ More
It is now a well-known fact that the correlations arising from local dichotomic measurements on an entangled quantum state may exhibit intrinsically non-classical features. In this paper we delve into a comprehensive study of random instances of such bipartite correlations. The main question we are interested in is: given a quantum correlation, taken at random, how likely is it that it is truly non-explainable by a classical model? We show that, under very general assumptions on the considered distribution, a random correlation which lies on the border of the quantum set is with high probability outside the classical set. What is more, we are able to provide the Bell inequality certifying this fact. On the technical side, our results follow from (i) estimating precisely the "quantum norm" of a random matrix, and (ii) lower bounding sharply enough its "classical norm", hence proving a gap between the two. Along the way, we need a non-trivial upper bound on the $\infty{\rightarrow}1$ norm of a random orthogonal matrix, which might be of independent interest.
△ Less
Submitted 23 March, 2017; v1 submitted 14 July, 2016;
originally announced July 2016.
-
Reducing the number of inputs in nonlocal games
Authors:
Marius Junge,
Timur Oikhberg,
Carlos Palazuelos
Abstract:
In this work we show how a vector-valued version of Schechtman's empirical method can be used to reduce the number of inputs in a nonlocal game $G$ while preserving the quotient $β^*(G)/β(G)$ of the quantum over the classical bias. We apply our method to the Khot-Vishnoi game, with exponentially many questions per player, to produce another game with polynomially many ($N\approx n^8$) questions so…
▽ More
In this work we show how a vector-valued version of Schechtman's empirical method can be used to reduce the number of inputs in a nonlocal game $G$ while preserving the quotient $β^*(G)/β(G)$ of the quantum over the classical bias. We apply our method to the Khot-Vishnoi game, with exponentially many questions per player, to produce another game with polynomially many ($N\approx n^8$) questions so that the quantum over the classical bias is $Ω(n/\log^2 n)$.
△ Less
Submitted 8 March, 2016;
originally announced March 2016.
-
Survey on Nonlocal Games and Operator Space Theory
Authors:
Carlos Palazuelos,
Thomas Vidick
Abstract:
This review article is concerned with a recently uncovered connection between operator spaces, a noncommutative extension of Banach spaces, and quantum nonlocality, a striking phenomenon which underlies many of the applications of quantum mechanics to information theory, cryptography and algorithms. Using the framework of nonlocal games, we relate measures of the nonlocality of quantum mechanics t…
▽ More
This review article is concerned with a recently uncovered connection between operator spaces, a noncommutative extension of Banach spaces, and quantum nonlocality, a striking phenomenon which underlies many of the applications of quantum mechanics to information theory, cryptography and algorithms. Using the framework of nonlocal games, we relate measures of the nonlocality of quantum mechanics to certain norms in the Banach and operator space categories. We survey recent results that exploit this connection to derive large violations of Bell inequalities, study the complexity of the classical and quantum values of games and their relation to Grothendieck inequalities, and quantify the nonlocality of different classes of entangled states.
△ Less
Submitted 1 December, 2015;
originally announced December 2015.
-
Large bipartite Bell violations with dichotomic measurements
Authors:
C. Palazuelos,
Z. Yin
Abstract:
In this paper we introduce a simple and natural bipartite Bell scenario, by considering the correlations between two parties defined by general measurements in one party and dichotomic ones in the other. We show that unbounded Bell violations can be obtained in this context. Since such violations cannot occur when both parties use dichotomic measurements, our setting can be considered as the simpl…
▽ More
In this paper we introduce a simple and natural bipartite Bell scenario, by considering the correlations between two parties defined by general measurements in one party and dichotomic ones in the other. We show that unbounded Bell violations can be obtained in this context. Since such violations cannot occur when both parties use dichotomic measurements, our setting can be considered as the simplest one where this phenomenon can be observed. Our example is essentially optimal in terms of the outputs and the Hilbert space dimension.
△ Less
Submitted 22 April, 2015;
originally announced April 2015.
-
Random constructions in Bell inequalities: A survey
Authors:
Carlos Palazuelos
Abstract:
Initially motivated by their relevance in foundations of quantum mechanics and more recently by their applications in different contexts of quantum information science, violations of Bell inequalities have been extensively studied during the last years. In particular, an important effort has been made in order to quantify such Bell violations. Probabilistic techniques have been heavily used in thi…
▽ More
Initially motivated by their relevance in foundations of quantum mechanics and more recently by their applications in different contexts of quantum information science, violations of Bell inequalities have been extensively studied during the last years. In particular, an important effort has been made in order to quantify such Bell violations. Probabilistic techniques have been heavily used in this context with two different purposes. First, to quantify how common the phenomenon of Bell violations is; and secondly, to find large Bell violations in order to better understand the possibilities and limitations of this phenomenon. However, the strong mathematical content of these results has discouraged some of the potentially interested readers. The aim of the present work is to review some of the recent results in this direction by focusing on the main ideas and removing most of the technical details, to make the previous study more accessible to a wide audience.
△ Less
Submitted 7 February, 2015;
originally announced February 2015.
-
Sampling quantum nonlocal correlations with high probability
Authors:
Carlos E. González-Guillén,
C. Hugo Jiménez,
Carlos Palazuelos,
Ignacio Villanueva
Abstract:
It is well known that quantum correlations for bipartite dichotomic measurements are those of the form $γ=(\langle u_i,v_j\rangle)_{i,j=1}^n$, where the vectors $u_i$ and $v_j$ are in the unit ball of a real Hilbert space. In this work we study the probability of the nonlocal nature of these correlations as a function of $α=\frac{m}{n}$, where the previous vectors are sampled according to the Haar…
▽ More
It is well known that quantum correlations for bipartite dichotomic measurements are those of the form $γ=(\langle u_i,v_j\rangle)_{i,j=1}^n$, where the vectors $u_i$ and $v_j$ are in the unit ball of a real Hilbert space. In this work we study the probability of the nonlocal nature of these correlations as a function of $α=\frac{m}{n}$, where the previous vectors are sampled according to the Haar measure in the unit sphere of $\mathbb R^m$. In particular, we prove the existence of an $α_0>0$ such that if $α\leq α_0$, $γ$ is nonlocal with probability tending to $1$ as $n\rightarrow \infty$, while for $α> 2$, $γ$ is local with probability tending to $1$ as $n\rightarrow \infty$.
△ Less
Submitted 10 November, 2016; v1 submitted 12 December, 2014;
originally announced December 2014.
-
CB-norm estimates for maps between noncommutative $L_p$-spaces and quantum channel theory
Authors:
Marius Junge,
Carlos Palazuelos
Abstract:
In the first part of this work we show how certain techniques from quantum information theory can be used in order to obtain very sharp embeddings between noncommutative $L_p$-spaces. Then, we use these estimates to study the classical capacity with restricted assisted entanglement of the quantum erasure channel and the quantum depolarizing channel. In particular, we exactly compute the capacity o…
▽ More
In the first part of this work we show how certain techniques from quantum information theory can be used in order to obtain very sharp embeddings between noncommutative $L_p$-spaces. Then, we use these estimates to study the classical capacity with restricted assisted entanglement of the quantum erasure channel and the quantum depolarizing channel. In particular, we exactly compute the capacity of the first one and we show that certain nonmultiplicative results hold for the second one.
△ Less
Submitted 29 July, 2014;
originally announced July 2014.
-
Channel capacities via $p$-summing norms
Authors:
Marius Junge,
Carlos Palazuelos
Abstract:
In this paper we show how \emph{the metric theory of tensor products} developed by Grothendieck perfectly fits in the study of channel capacities, a central topic in \emph{Shannon's information theory}. Furthermore, in the last years Shannon's theory has been generalized to the quantum setting to let the \emph{quantum information theory} step in. In this paper we consider the classical capacity of…
▽ More
In this paper we show how \emph{the metric theory of tensor products} developed by Grothendieck perfectly fits in the study of channel capacities, a central topic in \emph{Shannon's information theory}. Furthermore, in the last years Shannon's theory has been generalized to the quantum setting to let the \emph{quantum information theory} step in. In this paper we consider the classical capacity of quantum channels with restricted assisted entanglement. In particular these capacities include the classical capacity and the unlimited entanglement-assisted classical capacity of a quantum channel. To deal with the quantum case we will use the noncommutative version of $p$-summing maps. More precisely, we prove that the (product state) classical capacity of a quantum channel with restricted assisted entanglement can be expressed as the derivative of a completely $p$-summing norm.
△ Less
Submitted 1 April, 2014; v1 submitted 5 May, 2013;
originally announced May 2013.
-
On the largest Bell violation attainable by a quantum state
Authors:
Carlos Palazuelos
Abstract:
We study the projective tensor norm as a measure of the largest Bell violation of a quantum state. In order to do this, we consider a truncated version of a well-known SDP relaxation for the quantum value of a two-prover one-round game, one which has extra restrictions on the dimension of the SDP solutions. Our main result provides a quite accurate upper bound for the distance between the classica…
▽ More
We study the projective tensor norm as a measure of the largest Bell violation of a quantum state. In order to do this, we consider a truncated version of a well-known SDP relaxation for the quantum value of a two-prover one-round game, one which has extra restrictions on the dimension of the SDP solutions. Our main result provides a quite accurate upper bound for the distance between the classical value of a Bell inequality and the corresponding value of the relaxation. Along the way, we give a simple proof that the best complementation constant of $\ell_2^n$ in $\ell_1(\ell_\infty)$ is of order $\sqrt{\ln n}$. As a direct consequence, we show that we cannot remove a logarithmic factor when we are computing the largest Bell violation attainable by the maximally entangled state.
△ Less
Submitted 8 August, 2014; v1 submitted 16 June, 2012;
originally announced June 2012.
-
Super-activation of quantum non-locality
Authors:
Carlos Palazuelos
Abstract:
In this paper we show that quantum non-locality can be super-activated. That is, one can obtain violations of Bell inequalities by tensorizing a local state with itself. Moreover, previous results suggest that such Bell violations can be very large.
In this paper we show that quantum non-locality can be super-activated. That is, one can obtain violations of Bell inequalities by tensorizing a local state with itself. Moreover, previous results suggest that such Bell violations can be very large.
△ Less
Submitted 10 November, 2012; v1 submitted 14 May, 2012;
originally announced May 2012.
-
Rank-one Quantum Games
Authors:
T. Cooney,
M. Junge,
C. Palazuelos,
D. Pérez-García
Abstract:
In this work we study rank-one quantum games. In particular, we focus on the study of the computability of the entangled value $ω^*$. We show that the value $ω^*$ can be efficiently approximated up to a multiplicative factor of 4. We also study the behavior of $ω^*$ under the parallel repetition of rank-one quantum games, showing that it does not verify a perfect parallel repetition theorem. To ob…
▽ More
In this work we study rank-one quantum games. In particular, we focus on the study of the computability of the entangled value $ω^*$. We show that the value $ω^*$ can be efficiently approximated up to a multiplicative factor of 4. We also study the behavior of $ω^*$ under the parallel repetition of rank-one quantum games, showing that it does not verify a perfect parallel repetition theorem. To obtain these results, we first connect rank-one games with the mathematical theory of operator spaces. We also reprove with these new tools essentially known results about the entangled value of rank-one games with one-way communication $ω_{qow}$. In particular, we show that $ω_{qow}$ can be computed efficiently and it satisfies a perfect parallel repetition theorem.
△ Less
Submitted 5 May, 2013; v1 submitted 15 December, 2011;
originally announced December 2011.
-
Connes' embedding problem and Tsirelson's problem
Authors:
M. Junge,
M. Navascues,
C. Palazuelos,
D. Perez-Garcia,
V. B. Scholz,
R. F. Werner
Abstract:
We show that Tsirelson's problem concerning the set of quantum correlations and Connes' embedding problem on finite approximations in von Neumann algebras (known to be equivalent to Kirchberg's QWEP conjecture) are essentially equivalent. Specifically, Tsirelson's problem asks whether the set of bipartite quantum correlations generated between tensor product separated systems is the same as the se…
▽ More
We show that Tsirelson's problem concerning the set of quantum correlations and Connes' embedding problem on finite approximations in von Neumann algebras (known to be equivalent to Kirchberg's QWEP conjecture) are essentially equivalent. Specifically, Tsirelson's problem asks whether the set of bipartite quantum correlations generated between tensor product separated systems is the same as the set of correlations between commuting C*-algebras. Connes' embedding problem asks whether any separable II$_1$ factor is a subfactor of the ultrapower of the hyperfinite II$_1$ factor. We show that an affirmative answer to Connes' question implies a positive answer to Tsirelson's. Conversely, a positve answer to a matrix valued version of Tsirelson's problem implies a positive one to Connes' problem.
△ Less
Submitted 6 August, 2010;
originally announced August 2010.
-
Large violation of Bell inequalities with low entanglement
Authors:
Marius Junge,
Carlos Palazuelos
Abstract:
In this paper we obtain violations of general bipartite Bell inequalities of order $\frac{\sqrt{n}}{\log n}$ with $n$ inputs, $n$ outputs and $n$-dimensional Hilbert spaces. Moreover, we construct explicitly, up to a random choice of signs, all the elements involved in such violations: the coefficients of the Bell inequalities, POVMs measurements and quantum states. Analyzing this construction we…
▽ More
In this paper we obtain violations of general bipartite Bell inequalities of order $\frac{\sqrt{n}}{\log n}$ with $n$ inputs, $n$ outputs and $n$-dimensional Hilbert spaces. Moreover, we construct explicitly, up to a random choice of signs, all the elements involved in such violations: the coefficients of the Bell inequalities, POVMs measurements and quantum states. Analyzing this construction we find that, even though entanglement is necessary to obtain violation of Bell inequalities, the Entropy of entanglement of the underlying state is essentially irrelevant in obtaining large violation. We also indicate why the maximally entangled state is a rather poor candidate in producing large violations with arbitrary coefficients. However, we also show that for Bell inequalities with positive coefficients (in particular, games) the maximally entangled state achieves the largest violation up to a logarithmic factor.
△ Less
Submitted 9 September, 2010; v1 submitted 18 July, 2010;
originally announced July 2010.
-
Tripartite probability distributions and communication complexity
Authors:
Carlos Palazuelos,
David Perez-Garcia,
Ignacio Villanueva
Abstract:
We show that every tripartite quantum correlation generated with a Schmidt state (in particular every correlation generated with the GHZ state) can be simulated with the sending of two bits of classical communication from Alice to Bob and Charlie plus the sending of two bits of classical communication from Bob to Charlie. This extends recent results which showed that the maximal violation of Bell…
▽ More
We show that every tripartite quantum correlation generated with a Schmidt state (in particular every correlation generated with the GHZ state) can be simulated with the sending of two bits of classical communication from Alice to Bob and Charlie plus the sending of two bits of classical communication from Bob to Charlie. This extends recent results which showed that the maximal violation of Bell inequalities attainable by these correlations is uniformly bounded. For simplicity, we state and prove the result for three parties, but the generalization to the case of $n$ parties follows easily.
We also show that every $n$-partite probability distribution generated with local resources plus $c$-bits of local communication can violate a Bell inequality by at most a factor of $2^c$.
△ Less
Submitted 17 January, 2011; v1 submitted 28 June, 2010;
originally announced June 2010.
-
The communication complexity of XOR games via summing operators
Authors:
C. Palazuelos,
D. Perez-Garcia,
I. Villanueva
Abstract:
The discrepancy method is widely used to find lower bounds for communication complexity of XOR games. It is well known that these bounds can be far from optimal. In this context Disjointness is usually mentioned as a case where the method fails to give good bounds, because the increment of the value of the game is linear (rather than exponential) in the number of communicated bits. We show in this…
▽ More
The discrepancy method is widely used to find lower bounds for communication complexity of XOR games. It is well known that these bounds can be far from optimal. In this context Disjointness is usually mentioned as a case where the method fails to give good bounds, because the increment of the value of the game is linear (rather than exponential) in the number of communicated bits. We show in this paper the existence of XOR games where the discrepancy method yields bounds as poor as one desires. Indeed, we show the existence of such games with any previously prescribed value. To prove this result we apply the theory of p-summing operators, a central topic in Banach space theory. We show in the paper other applications of this theory to the study of the communication complexity of XOR games.
△ Less
Submitted 16 April, 2010;
originally announced April 2010.
-
Operator Space theory: a natural framework for Bell inequalities
Authors:
M. Junge,
C. Palazuelos,
D. Perez-Garcia,
I. Villanueva,
M. M. Wolf
Abstract:
In this letter we show that the field of Operator Space Theory provides a general and powerful mathematical framework for arbitrary Bell inequalities, in particular regarding the scaling of their violation within quantum mechanics. We illustrate the power of this connection by showing that bipartite quantum states with local Hilbert space dimension n can violate a Bell inequality by a factor of…
▽ More
In this letter we show that the field of Operator Space Theory provides a general and powerful mathematical framework for arbitrary Bell inequalities, in particular regarding the scaling of their violation within quantum mechanics. We illustrate the power of this connection by showing that bipartite quantum states with local Hilbert space dimension n can violate a Bell inequality by a factor of order $\frac{\sqrt{n}}{\log^2n}$ when observables with n possible outcomes are used. Applications to resistance to noise, Hilbert space dimension estimates and communication complexity are given.
△ Less
Submitted 10 December, 2009;
originally announced December 2009.
-
Unbounded violations of bipartite Bell Inequalities via Operator Space theory
Authors:
M. Junge,
C. Palazuelos,
D. Perez-Garcia,
I. Villanueva,
M. M. Wolf
Abstract:
In this work we show that bipartite quantum states with local Hilbert space dimension n can violate a Bell inequality by a factor of order $\sqrt{n}$ (up to a logarithmic factor) when observables with n possible outcomes are used. A central tool in the analysis is a close relation between this problem and operator space theory and, in particular, the very recent noncommutative $L_p$ embedding th…
▽ More
In this work we show that bipartite quantum states with local Hilbert space dimension n can violate a Bell inequality by a factor of order $\sqrt{n}$ (up to a logarithmic factor) when observables with n possible outcomes are used. A central tool in the analysis is a close relation between this problem and operator space theory and, in particular, the very recent noncommutative $L_p$ embedding theory. As a consequence of this result, we obtain better Hilbert space dimension witnesses and quantum violations of Bell inequalities with better resistance to noise.
△ Less
Submitted 22 October, 2009;
originally announced October 2009.
-
Unbounded violation of tripartite Bell inequalities
Authors:
D. Perez-Garcia,
M. M Wolf,
C. Palazuelos,
I. Villanueva,
M. Junge
Abstract:
We prove that there are tripartite quantum states (constructed from random unitaries) that can lead to arbitrarily large violations of Bell inequalities for dichotomic observables. As a consequence these states can withstand an arbitrary amount of white noise before they admit a description within a local hidden variable model. This is in sharp contrast with the bipartite case, where all violati…
▽ More
We prove that there are tripartite quantum states (constructed from random unitaries) that can lead to arbitrarily large violations of Bell inequalities for dichotomic observables. As a consequence these states can withstand an arbitrary amount of white noise before they admit a description within a local hidden variable model. This is in sharp contrast with the bipartite case, where all violations are bounded by Grothendieck's constant. We will discuss the possibility of determining the Hilbert space dimension from the obtained violation and comment on implications for communication complexity theory. Moreover, we show that the violation obtained from generalized GHZ states is always bounded so that, in contrast to many other contexts, GHZ states do in this case not lead to extremal quantum correlations. The results are based on tools from the theories of operator spaces and tensor norms which we exploit to prove the existence of bounded but not completely bounded trilinear forms from commutative C*-algebras.
△ Less
Submitted 8 November, 2007; v1 submitted 19 February, 2007;
originally announced February 2007.