Search

Grothendieck constants $K_G(d)$ bound the advantage of $d$-dimensional strategies over $1$-dimensional ones in a specific optimisation task. They have applications ranging from approximation algorithms to quantum nonlocality. However, apart from $d=2$, their values are unknown. Here, we exploit a recent Frank-Wolfe approach to provide good candidates for lower bounding some of these constants. The complete proof relies on solving difficult binary quadratic optimisation problems. For $d\in\{3,4,5\}$, we construct specific rectangular instances that we can solve to certify better bounds than those previously known; by monotonicity, our lower bounds improve on the state of the art for $d\leqslant9$. For $d\in\{4,7,8\}$, we exploit elegant structures to build highly symmetric instances achieving even greater bounds; however, we can only solve them heuristically. We also recall the standard relation with violations of Bell inequalities and elaborate on it to interpret generalised Grothendieck constants $K_G(d\mapsto2)$ as the advantage of complex quantum mechanics over real quantum mechanics. Motivated by this connection, we also improve the bounds on $K_G(d\mapsto2)$., Comment: 12 pages, 1 figure

Self-testing is a promising approach to certifying quantum states or measurements. Originally, it relied solely on the outcome statistics of the measurements involved in a device-independent (DI) setup. Extra physical assumptions about the system make the setup semi-DI. In the latter approach, we consider a prepare-and-measure scenario in which the dimension of the mediating particle is assumed to be two. In a setup involving four (three) preparations and three (two) projective measurements in addition to the target, we exemplify how to self-test any four- (three-) outcome extremal positive operator-valued measure using a linear witness. One of our constructions also achieves self-testing of any number of states with the help of as many projective measurements as the dimensionality of the space spanned by the corresponding Bloch vectors. These constructions are conjectured to be minimal in terms of the number of preparations and measurements required. In addition, we implement one of our prepare-and-measure constructions on IBM and IonQ quantum processors and certify the existence of a complex qubit Hilbert space based on the data obtained from these experiments., Comment: 15 pages, 1 figure, 1 table

Quantum mechanics imposes limits on the statistics of certain observables. Perhaps the most famous example is the uncertainty principle. Similar trade-offs also exist for the simultaneous violation of multiple Bell inequalities. In the simplest case of three observers, it has been shown that if two observers violate a Bell inequality then none of them can violate any Bell inequality with the third observer, a property called monogamy of Bell violations. Forms of Bell monogamy have been linked to the no-signalling principle and the inability of simultaneous violations of all inequalities is regarded as their fundamental property. Here we show that the Bell monogamy does not hold universally and that in fact the only monogamous situation exists for only three observers. Consequently, the nature of quantum nonlocality is truly polygamous. We present a systematic methodology for identifying quantum states, measurements and tight Bell inequalities that do not obey the monogamy principle for any number of more than three observers. The identified polygamous inequalities enable any subset of $(N-1)$ observers to reveal nonlocality, which is also shown experimentally by measuring Bell-type correlations of six-photon Dicke states. Our findings may be exploited for multiparty quantum key distribution as well as simultaneous self-testing of multiple nodes in quantum networks., Comment: Final version, 6 pages + appendix

We consider the problem of optimizing the state average of a polynomial of non-commuting variables, over all states and operators satisfying a number of polynomial constraints, and over all Hilbert spaces where such states and operators are defined. Such non-commutative polynomial optimization (NPO) problems are routinely solved through hierarchies of semidefinite programming (SDP) relaxations. By phrasing the general NPO problem in Lagrangian form, we heuristically derive, via small variations on the problem variables, state and operator optimality conditions, both of which can be enforced by adding new positive semidefinite constraints to the SDP hierarchies. State optimality conditions are satisfied by all Archimedean (that is, bounded) NPO problems, and allow enforcing a new type of constraints: namely, restricting the optimization over states to the set of common ground states of an arbitrary number of operators. Operator optimality conditions are the non-commutative analogs of the Karush--Kuhn--Tucker (KKT) conditions, which are known to hold in many classical optimization problems. In this regard, we prove that a weak form of non-commutative operator optimality holds for all Archimedean NPO problems; stronger versions require the problem constraints to satisfy some qualification criterion, just like in the classical case. We test the power of the new optimality conditions by computing local properties of ground states of many-body spin systems and the maximum quantum violation of Bell inequalities., Comment: v3: stronger results and SDP constraints, simpler proofs and a motivating numerical example. If you read the first version, we're sorry for your loss (of time)

In multipartite Bell scenarios, we study the nonlocality robustness of the Greenberger-Horne-Zeilinger (GHZ) state. When each party performs planar measurements forming a regular polygon, we exploit the symmetry of the resulting correlation tensor to drastically accelerate the computation of (i) a Bell inequality via Frank-Wolfe algorithms, and (ii) the corresponding local bound. The Bell inequalities obtained are facets of the symmetrised local polytope and they give the best known upper bounds on the nonlocality robustness of the GHZ state for three to ten parties. Moreover, for four measurements per party, we generalise our facets and hence show, for any number of parties, an improvement on Mermin's inequality in terms of noise robustness. We also compute the detection efficiency of our inequalities and show that some give rise to activation of nonlocality in star networks, a property that was only shown with an infinite number of measurements., Comment: 12 pages, 2 figures

According to Bell's theorem, certain entangled states cannot be simulated classically using local hidden variables (LHV). But if can we augment LHV by classical communication, how many bits are needed to simulate them? There is a strong evidence that a single bit of communication is powerful enough to simulate projective measurements on any two-qubit entangled state. In this study, we present Bell-like scenarios where bipartite correlations resulting from projective measurements on higher dimensional states cannot be simulated with a single bit of communication. These include a three-input, a four-input, a seven-input, and a 63-input bipartite Bell-like inequality with 80089, 64, 16, and 2 outputs, respectively. Two copies of emblematic Bell expressions, such as the Magic square pseudo-telepathy game, prove to be particularly powerful, requiring a $16\times 16$ state to beat the one-bit classical bound, and look a promising candidate for implementation on an optical platform., Comment: 11 pages, 4 tables

Measurements with randomly chosen settings determine many important properties of quantum states without the need for a shared reference frame or calibration. They naturally emerge in the context of quantum communication and quantum computing when dealing with noisy environments, and allow the estimation of properties of complex quantum systems in an easy and efficient manner. In this review, we present the advancements made in utilising randomised measurements in various scenarios of quantum information science. We describe how to detect and characterise different forms of entanglement, including genuine multipartite entanglement and bound entanglement. Bell inequalities are discussed to be typically violated even with randomised measurements, especially for a growing number of particles and settings. Furthermore, we also present an overview on the estimation of non-linear functions of quantum states and shadow tomography from randomised measurements. Throughout the review, we complement the description of theoretical ideas by explaining key experiments., Comment: review paper, 56 pages, 9 figures, P. Cie\'sli\'nski and S. Imai contributed equally as co-first authors

Self-testing is a powerful method for certifying quantum systems. Initially proposed in the device-independent (DI) setting, self-testing has since been relaxed to the semi-device-independent (semi-DI) setting. In this study, we focus on the self-testing of a specific type of non-projective qubit measurements belonging to a one-parameter family, using the semi-DI prepare-and-measure (PM) scenario. Remarkably, we identify the simplest PM scenario discovered so far, involving only four preparations and four measurements, for self-testing the fourth measurement. This particular measurement is a four-outcome non-projective positive operator-valued measure (POVM) and falls in the class of semisymmetric informationally complete (semi-SIC) POVMs introduced by Geng et al. [Phys. Rev. Lett. 126, 100401 (2021)]. To achieve this, we develop analytical techniques for semi-DI self-testing in the PM scenario. Our results shall pave the way towards self-testing any extremal qubit POVM within a potentially minimal PM scenario., Comment: 28 pages, 2 figures

We consider communication scenarios where one party sends quantum states of known dimensionality $D$, prepared with an untrusted apparatus, to another, distant party, who probes them with uncharacterized measurement devices. We prove that, for any ensemble of reference pure quantum states, there exists one such prepare-and-measure scenario and a linear functional $W$ on its observed measurement probabilities, such that $W$ can only be maximized if the preparations coincide with the reference states, modulo a unitary or an anti-unitary transformation. In other words, prepare-and-measure scenarios allow one to "self-test" arbitrary ensembles of pure quantum states. Arbitrary extreme $D$-dimensional quantum measurements, or sets thereof, can be similarly self-tested. Our results rely on a robust generalization of Wigner's theorem, a well-known result in particle physics that characterizes physical symmetries., Comment: Close to published version

We address the problem of testing the quantumness of two-dimensional systems in the prepare-and-measure (PM) scenario, using a large number of preparations and a large number of measurement settings, with binary outcome measurements. In this scenario, we introduce constants, which we relate to the Grothendieck constant of order 3. We associate them with the white noise resistance of the prepared qubits and to the critical detection efficiency of the measurements performed. Large-scale numerical tools are used to bound the constants. This allows us to obtain new bounds on the minimum detection efficiency that a setup with 70 preparations and 70 measurement settings can tolerate., Comment: 16 pages, 1 figure

We propose an optimal numerical test for genuine multipartite nonlocality based on linear programming. In particular, we consider two non-equivalent models of local hidden variables, namely the Svetlichny and the no-signaling bilocal model. While our knowledge concerning these models is well established for Bell scenarios involving two measurement settings per party, the general case based on an arbitrary number of settings is a considerably more challenging task and very little work has been done in this field. In this paper, we applied such general tests to detect and characterize genuine $n$-way nonlocal correlations for various states of three qubits and qutrits. As a measure of nonlocality, we use the probability of violation of local realism under randomly sampled observables, and the strength of nonlocality, described by the resistance to white noise admixture. In particular, we analyze to what extent the Bell scenario involving two measurement settings can be used to determine genuine $n$-way non-local correlations generated for more general models. In addition, we propose a simple procedure to detect genuine multipartite nonlocality for randomly chosen settings with up to 100% efficiency., Comment: 10 pages, 2 figures

We discuss efficient methods to optimize the metrological performance over local Hamiltonians in a bipartite quantum system. For a given quantum state, our methods find the best local Hamiltonian for which the state outperforms separable states the most from the point of view of quantum metrology. We show that this problem can be reduced to maximize the quantum Fisher information over a certain set of Hamiltonians. We present the quantum Fisher information in a bilinear form and maximize it by iterating a see-saw, in which each step is based on semidefinite programming. We also solve the problem with the method of moments that works very well for smaller systems. We consider a number of other problems in quantum information theory that can be solved in a similar manner. For instance, we determine the bound entangled quantum states that maximally violate the Computable Cross Norm-Realignment (CNNR) criterion., Comment: 13 pages including 1 figure, revtev4.2

We consider quantum metrology with several copies of bipartite and multipartite quantum states. We characterize the metrological usefulness by determining how much the state outperforms separable states. We identify a large class of entangled states that become maximally useful for metrology in the limit of large number of copies, even if the state is weakly entangled and not even more useful than separable states. This way we activate metrologically useful genuine multipartite entanglement. Remarkably, not only that the maximally achievable metrological usefulness is attained exponentially fast in the number of copies, but it can be achieved by the measurement of few simple correlation observables. We also make general statements about the usefulness of a single copy of pure entangled states. We surprisingly find that the multiqubit states presented in Hyllus et al. [Phys. Rev. A 82, 012337 (2010)], which are not useful, become useful if we embed the qubits locally in qutrits. We discuss the relation of our scheme to error correction, and its possible use for quantum metrology in a noisy environment., Comment: 24 pages including 4 figures + 9-page supplement including 1 figure, iopart; published version

In this paper we study the Platonic Bell inequalities for all possible dimensions. There are five Platonic solids in three dimensions, but there are also solids with Platonic properties (also known as regular polyhedra) in four and higher dimensions. The concept of Platonic Bell inequalities in the three-dimensional Euclidean space was introduced by Tavakoli and Gisin [Quantum 4, 293 (2020)]. For any three-dimensional Platonic solid, an arrangement of projective measurements is associated where the measurement directions point toward the vertices of the solids. For the higher dimensional regular polyhedra, we use the correspondence of the vertices to the measurements in the abstract Tsirelson space. We give a remarkably simple formula for the quantum violation of all the Platonic Bell inequalities, which we prove to attain the maximum possible quantum violation of the Bell inequalities, i.e. the Tsirelson bound. To construct Bell inequalities with a large number of settings, it is crucial to compute the local bound efficiently. In general, the computation time required to compute the local bound grows exponentially with the number of measurement settings. We find a method to compute the local bound exactly for any bipartite two-outcome Bell inequality, where the dependence becomes polynomial whose degree is the rank of the Bell matrix. To show that this algorithm can be used in practice, we compute the local bound of a 300-setting Platonic Bell inequality based on the halved dodecaplex. In addition, we use a diagonal modification of the original Platonic Bell matrix to increase the ratio of quantum to local bound. In this way, we obtain a four-dimensional 60-setting Platonic Bell inequality based on the halved tetraplex for which the quantum violation exceeds the $\sqrt 2$ ratio., Comment: 24 pages, 2 figures, 3 tables. Accepted for publication in Quantum

It is well-known that in a Bell experiment, the observed correlation between measurement outcomes -- as predicted by quantum theory -- can be stronger than that allowed by local causality, yet not fully constrained by the principle of relativistic causality. In practice, the characterization of the set $Q$ of quantum correlations is carried out, often, through a converging hierarchy of outer approximations. On the other hand, some subsets of $Q$ arising from additional constraints [e.g., originating from quantum states having positive-partial-transposition (PPT) or being finite-dimensional maximally entangled (MES)] turn out to be also amenable to similar numerical characterizations. How, then, at a quantitative level, are all these naturally restricted subsets of nonsignaling correlations different? Here, we consider several bipartite Bell scenarios and numerically estimate their volume relative to that of the set of nonsignaling correlations. Within the number of cases investigated, we have observed that (1) for a given number of inputs $n_s$ (outputs $n_o$), the relative volume of both the Bell-local set and the quantum set increases (decreases) rapidly with increasing $n_o$ ($n_s$) (2) although the so-called macroscopically local set $Q_1$ may approximate $Q$ well in the two-input scenarios, it can be a very poor approximation of the quantum set when $n_s>n_o$ (3) the almost-quantum set $\tilde{Q}_1$ is an exceptionally-good approximation to the quantum set (4) the difference between $Q$ and the set of correlations originating from MES is most significant when $n_o=2$, whereas (5) the difference between the Bell-local set and the PPT set generally becomes more significant with increasing $n_o$. This last comparison, in particular, allows us to identify Bell scenarios where there is little hope of realizing the Bell violation by PPT states and those that deserve further exploration., Comment: v4: published version (in Quantum); v3: Substantially rewritten, main results summarized in 10 observations, 8 figures, and 7 tables; v2: Results updated; v1: 13 + 4 pages, 10 tables, 5 figures, this is [66] of arXiv:1810.00443; Comments are welcome!

Einstein-Podolsky-Rosen (EPR) steering is a form of quantum correlation that exhibits a fundamental asymmetry in the properties of quantum systems. Given two observers, Alice and Bob, it is known to exist bipartite entangled states which are one-way steerable in the sense that Alice can steer Bob's state, but Bob cannot steer Alice's state. Here we generalize this phenomenon to three parties and find a cyclic property of tripartite EPR steering. In particular, we identify a three-qubit state whose reduced bipartite states are one-way steerable for arbitrary projective measurements. Moreover, the three-qubit state has a cyclic steering property in the sense, that by arranging the system in a triangular configuration the neighboring parties can steer each others' states only in the same (e.g. clockwise) direction. That is, Alice can steer Bob's state, Bob can steer Charlie's state, and Charlie can steer Alice's state, but not the other way around., Comment: 11 pages, 2 figures, 1 table

In this paper, we investigate the critical efficiency of detectors to observe Bell nonlocality using multiple copies of the maximally entangled two-qubit state carried by a single pair of particles, such as hyperentangled states, and the product of Pauli measurements. It is known that in a Clauser-Horne-Shimony-Holt (CHSH) Bell test the symmetric detection efficiency of $82.84\%$ can be tolerated for the two-qubit maximally entangled state. We beat this enigmatic threshold by entangling two particles with multiple degrees of freedom. The obtained upper bounds of the symmetric detection efficiency thresholds are $80.86\%$, $73.99\%$ and $69.29\%$ for two, three and four copies of the two-qubit maximally entangled state, respectively. The number of measurements and outcomes in the respective cases are 4, 8 and 16. To find the improved thresholds, we use large-scale convex optimization tools, which allows us to significantly go beyond state-of-the-art results. The proof is exact up to three copies, while for four copies it is due to reliable numerical computations. Specifically, we used linear programming to obtain the two-copy threshold and the corresponding Bell inequality, and convex optimization based on Gilbert's algorithm for three and four copies of the two-qubit state. We show analytically that the symmetric detection efficiency threshold decays exponentially with the number of copies of the two-qubit state. Our techniques can also be applied to more general Bell nonlocality scenarios with more than two parties., Comment: 15 pages, 2 figures, 3 tables, published version

In this work, we study a recently proposed operational measure of nonlocality by Fonseca and Parisio~[Phys. Rev. A 92, 030101(R) (2015)] which describes the probability of violation of local realism under randomly sampled observables, and the strength of such violation as described by resistance to white noise admixture. While our knowledge concerning these quantities is well established from a theoretical point of view, the experimental counterpart is a considerably harder task and very little has been done in this field. It is caused by the lack of complete knowledge about the facets of the local polytope required for the analysis. In this paper, we propose a simple procedure towards experimentally determining both quantities for $N$-qubit pure states, based on the incomplete set of tight Bell inequalities. We show that the imprecision arising from this approach is of similar magnitude as the potential measurement errors. We also show that even with both a randomly chosen $N$-qubit pure state and randomly chosen measurement bases, a violation of local realism can be detected experimentally almost $100\%$ of the time. Among other applications, our work provides a feasible alternative for the witnessing of genuine multipartite entanglement without aligned reference frames., Comment: 14 pages, 10 figures

Bipartite entangled quantum states with a positive partial transpose (PPT), i.e., PPT entangled states, are usually considered very weakly entangled. Since no pure entanglement can be distilled from them, they are also called bound entangled. In this paper we present two classes of ($2d\times 2d$)-dimensional PPT entangled states for any $d\ge 2$ which outperform all separable states in metrology significantly. We present strong evidence that our states provide the maximal metrological gain achievable by PPT states for a given system size. When the dimension $d$ goes to infinity, the metrological gain of these states becomes maximal and equals the metrological gain of a pair of maximally entangled qubits. Thus, we argue that our states could be called "PPT singlets.", Comment: 17 pages including 3 figures, revtex4.2; v2: presentation improved, some further results added, links to MATLAB programs generating the bound entangled states added; v3: published version; v4: published version, typo fixed in the first author's name in Ref. [8] and elsewhere

We consider bipartite entangled states that cannot outperform separable states in any linear interferometer. Then, we show that these states can still be more useful metrologically than separable states if several copies of the state are provided or an ancilla is added to the quantum system. We present a general method to find the local Hamiltonian for which a given quantum state performs the best compared to separable states. We obtain analytically the optimal Hamiltonian for some quantum states with a high symmetry. We show that all bipartite entangled pure states outperform separable states in metrology. Some potential applications of the results are also suggested., Comment: 7 pages including 1 figure + 12-page supplement including 3 figures, revtex4.2; v2:published version

In this work we investigate the probability of violation of local realism under random measurements in parallel with the strength of these violations as described by resistance to white noise admixture. We address multisetting Bell scenarios involving up to 7 qubits. As a result, in the first part of this manuscript we report statistical distributions of a quantity reciprocal to the critical visibility for various multipartite quantum states subjected to random measurements. The statistical relevance of different classes of multipartite tight Bell inequalities violated with random measurements is investigated. We also introduce the concept of typicality of quantum correlations for pure states as the probability to generate a nonlocal behaviour with both random state and measurement. Although this typicality is slightly above 5.3\% for the CHSH scenario, for a modest increase in the number of involved qubits it quickly surpasses 99.99\%., Comment: 5 pages, 5 figures

We investigate the maximum purity that can be achieved by k-uniform mixed states of N parties. Such N-party states have the property that all their k-party reduced states are maximally mixed. A scheme to construct explicitly k-uniform states using a set of specific N-qubit Pauli matrices is proposed. We provide several different examples of such states and demonstrate that in some cases the state corresponds to a particular orthogonal array. The obtained states, despite being mixed, reveal strong non-classical properties such as genuine multipartite entanglement or violation of Bell inequalities., Comment: 10 pages, 2 figures, journal version

Entangled states with a positive partial transpose (so-called PPT states) are central to many interesting problems in quantum theory. On one hand, they are considered to be weakly entangled, since no pure state entanglement can be distilled from them. On the other hand, it has been shown recently that some of these PPT states exhibit genuinely high-dimensional entanglement, i.e. they have a high Schmidt number. Here we investigate $d\times d$ dimensional PPT states for $d\ge 4$ discussed recently by Sindici and Piani, and by generalizing their methods to the calculation of Schmidt numbers we show that a linear $d/2$ scaling of its Schmidt number in the local dimension $d$ can be attained., Comment: 8 pages

Self-testing represents the strongest form of certification of a quantum system. Here we investigate theoretically and experimentally the question of self-testing non-projective quantum measurements. That is, how can one certify, from observed data only, that an uncharacterised measurement device implements a desired non-projective positive-operator-valued-measure (POVM). We consider a prepare-and-measure scenario with a bound on the Hilbert space dimension, which we argue is natural for this problem since any measurement can be made projective by artificially increasing the Hilbert space dimension. We develop methods for (i) robustly self-testing extremal qubit POVMs (which feature either three or four outcomes), and (ii) certify that an uncharacterised qubit measurement is non-projective, or even a genuine four-outcome POVM. Our methods are robust to noise and thus applicable in practice, as we demonstrate in a photonic experiment. Specifically, we show that our experimental data implies that the implemented measurements are very close to certain ideal three and four outcome qubit POVMs, and hence non-projective. In the latter case, the data certifies a genuine four-outcome qubit POVM. Our results open interesting perspective for strong `black-box' certification of quantum devices.

The squares of the three components of the spin-s operators sum up to $s(s+1)$. However, a similar relation is rarely satisfied by the set of possible spin projections onto mutually orthogonal directions. This has fundamental consequences if one tries to construct a hidden variable (HV) theory describing measurements of spin projections. We propose a test of local HV-models in which spin magnitudes are conserved. These additional constraints imply that the corresponding inequalities are violated within quantum theory by larger classes of correlations than in the case of standard Bell inequalities. We conclude that in any HV-theory pertaining to measurements on a spin one can find situations in which either HV-assignments do not represent a physical reality of a spin vector, but rather provide a deterministic algorithm for prediction of the measurement outcomes, or HV-assignments represent a physical reality, but the spin cannot be considered as a vector of fixed length., Comment: 5 pages, journal version

The question of how Bell nonlocality behaves in bipartite systems of higher dimensions is addressed. By employing the probability of violation of local realism under random measurements as the figure of merit, we investigate the nonlocality of entangled qudits with dimensions ranging from $d=2$ to $d=7$. We proceed in two complementary directions. First, we study the specific Bell scenario defined by the Collins-Gisin-Linden-Massar-Popescu (CGLMP) inequality. Second, we consider the nonlocality of the same states under a more general perspective, by directly addressing the space of joint probabilities (computing the frequencies of behaviours outside the local polytope). In both approaches we find that the nonlocality decreases as the dimension $d$ grows, but in quite distinct ways. While the drop in the probability of violation is exponential in the CGLMP scenario, it presents, at most, a linear decay in the space of behaviours. Furthermore, in both cases the states that produce maximal numeric violations in the CGLMP inequality present low probabilities of violation in comparison with maximally entangled states, so, no anomaly is observed. Finally, the nonlocality of states with non-maximal Schmidt rank is investigated., Comment: 8 pages, 6 figures, 2 tables

The problem of closing the detection loophole in Bell tests is investigated in the presence of a limited number of efficient detectors using emblematic multipartite quantum states. To this end, a family of multipartite Bell inequalities is introduced basing on local projective measurements conducted by $N-k$ parties and applying a $k$-party Bell inequality on the remaining parties. Surprisingly, we find that most of the studied pure multipartite states involving e.g. cluster states, the Dicke states, and the Greenberger-Horne-Zeilinger states can violate our inequalities with only the use of two efficient detectors, whereas the remaining detectors may have arbitrary small efficiencies. We believe that our inequalities are useful in Bell experiments and device-independent applications if only a small number of highly efficient detectors are in our disposal., Comment: 5 pages, 2 figures, journal version

The goal of self-testing is to characterize an a priori unknown quantum system based solely on measurement statistics, i.e. using an uncharacterized measurement device. Here we develop self-testing methods for quantum prepare-and-measure experiments, thus not necessarily relying on entanglement and/or violation of a Bell inequality. We present noise-robust techniques for self-testing sets of quantum states and measurements, assuming an upper bound on the Hilbert space dimension. We discuss in detail the case of a $2 \rightarrow 1$ random access code with qubits, for which we provide analytically optimal self-tests. The simplicity and noise robustness of our methods should make them directly applicable to experiments.

We present the first experimental confirmation of the quantum-mechanical prediction of stronger-than-binary correlations. These are correlations that cannot be explained under the assumption that the occurrence of a particular outcome of an $n \ge 3$-outcome measurement is due to a two-step process in which, in the first step, some classical mechanism precludes $n-2$ of the outcomes and, in the second step, a binary measurement generates the outcome. Our experiment uses pairs of photonic qutrits distributed between two laboratories, where randomly chosen three-outcome measurements are performed. We report a violation by {9.3} standard deviations of the optimal inequality for nonsignaling binary correlations., Comment: 5 pages, 2 figures

It is well known that correlations predicted by quantum mechanics cannot be explained by any classical (local-realistic) theory. The relative strength of quantum and classical correlations is usually studied in the context of Bell inequalities, but this tells us little about the geometry of the quantum set of correlations. In other words, we do not have good intuition about what the quantum set actually looks like. In this paper we study the geometry of the quantum set using standard tools from convex geometry. We find explicit examples of rather counter-intuitive features in the simplest non-trivial Bell scenario (two parties, two inputs and two outputs) and illustrate them using 2-dimensional slice plots. We also show that even more complex features appear in Bell scenarios with more inputs or more parties. Finally, we discuss the limitations that the geometry of the quantum set imposes on the task of self-testing., Comment: 11 + 8 pages, 6 figures, v2: added an argument relating self-testing and extremality, v3: typos corrected, results unchanged, published version

We show that multipartite quantum states that have a positive partial transpose with respect to all bipartitions of the particles can outperform separable states in linear interferometers. We introduce a powerful iterative method to find such states. We present some examples for multipartite states and examine the scaling of the precision with the particle number. Some bipartite examples are also shown that possess an entanglement very robust to noise. We also discuss the relation of metrological usefulness to Bell inequality violation. We find that quantum states that do not violate any Bell inequality can outperform separable states metrologically. We present such states with a positive partial transpose, as well as with a non-positive positive partial transpose., Comment: 6 pages including two figures + three-page supplement including two figures using revtex 4.1, with numerically obtained density matrices as text files; v2: published version; v3: published version, typo in the 4x4 bound entangled state is corrected (noticed by Peng Yin)

In this paper, we prove that $K_G(3)

In the case of a pair of two-outcome measurements incompatibility is equivalent to Bell nonlocality. Indeed, any pair of incompatible two-outcome measurements can violate the Clauser-Horne-Shimony-Holt Bell inequality, which has been proven by Wolf et al. [Phys. Rev. Lett. 103, 230402 (2009)]. In the case of more than two measurements the equivalence between incompatibility and Bell nonlocality is still an open problem, though partial results have recently been obtained. Here we show that the equivalence breaks for a special choice of three measurements. In particular, we present a set of three incompatible two-outcome measurements, such that if Alice measures this set, independent of the set of measurements chosen by Bob and the state shared by them, the resulting statistics cannot violate any Bell inequality. On the other hand, complementing the above result, we exhibit a set of $N$ measurements for any $N>2$ that is $(N-1)$-wise compatible, nevertheless it gives rise to Bell violation., Comment: 10 pages, 2 figures

We construct ($d\times d$)-dimensional bound entangled states, which violate, for any $d>2$, a bipartite Bell inequality introduced in this paper. We conjecture that the proposed class of Bell inequalities acts as a dimension witness for bound entangled states: For any $d>2$ there exists a Bell inequality from this class that can be violated with bound entangled states only if their Hilbert space dimension is at least $d\times d$. Numerics supports this conjecture up to $d=8$., Comment: 13 pages, 1 figure

We present an exhaustive numerical analysis of violations of local realism by families of multipartite quantum states. As an indicator of nonclassicality we employ the probability of violation for randomly sampled observables. Surprisingly, it rapidly increases with the number of parties or settings and even for relatively small values local realism is violated for almost all observables. We have observed this effect to be typical in the sense that it emerged for all investigated states including some with randomly drawn coefficients. We also present the probability of violation as a witness of genuine multipartite entanglement., Comment: 8 pages, 2 figures, 3 tables, journal version

Fundamentally binary theories are nonsignaling theories in which measurements of many outcomes are constructed by selecting from binary measurements. They constitute a sensible alternative to quantum theory and have never been directly falsified by any experiment. Here we show that fundamentally binary theories are experimentally testable with current technology. For that, we identify a feasible Bell-type experiment on pairs of entangled qutrits. In addition, we prove that, for any n, quantum n-ary correlations are not fundamentally (n-1)-ary. For that, we introduce a family of inequalities that hold for fundamentally (n-1)-ary theories but are violated by quantum n-ary correlations., Comment: 5 pages, 3 inequalities, v2: only minor changes

We consider the problem of reproducing the correlations obtained by arbitrary local projective measurements on the two-qubit Werner state $\rho = v |\psi_- > <\psi_- | + (1- v ) \frac{1}{4}$ via a local hidden variable (LHV) model, where $|\psi_- >$ denotes the singlet state. We show analytically that these correlations are local for $ v = 999\times689\times{10^{-6}}$ $\cos^4(\pi/50) \simeq 0.6829$. In turn, as this problem is closely related to a purely mathematical one formulated by Grothendieck, our result implies a new bound on the Grothendieck constant $K_G(3) \leq 1/v \simeq 1.4644$. We also present a LHV model for reproducing the statistics of arbitrary POVMs on the Werner state for $v \simeq 0.4553$. The techniques we develop can be adapted to construct LHV models for other entangled states, as well as bounding other Grothendieck constants., Comment: 12 pages, typos corrected

We present a scheme, based on Gilbert's algorithm for quadratic minimization [SIAM J. Contrl., vol. 4, pp. 61-80, 1966], to prove separation between a point and an arbitrary convex set $S\subset\mathbb{R}^{n}$ via calls to an oracle able to perform linear optimizations over $S$. Compared to other methods, our scheme has almost negligible memory requirements and the number of calls to the optimization oracle does not depend on the dimensionality $n$ of the underlying space. We study the speed of convergence of the scheme under different promises on the shape of the set $S$ and/or the location of the point, validating the accuracy of our theoretical bounds with numerical examples. Finally, we present some applications of the scheme in quantum information theory. There we find that our algorithm out-performs existing linear programming methods for certain large scale problems, allowing us to certify nonlocality in bipartite scenarios with upto $42$ measurement settings. We apply the algorithm to upper bound the visibility of two-qubit Werner states, hence improving known lower bounds on Grothendieck's constant $K_G(3)$. Similarly, we compute new upper bounds on the visibility of GHZ states and on the steerability limit of Werner states for a fixed number of measurement settings., Comment: Added reference to the related paper arXiv:1609.06269

We consider Bell tests in which the distant observers can perform local filtering before testing a Bell inequality. Notably, in this setup, certain entangled states admitting a local hidden variable model in the standard Bell scenario can nevertheless violate a Bell inequality after filtering, displaying so-called hidden nonlocality. Here we ask whether all entangled states can violate a Bell inequality after well-chosen local filtering. We answer this question in the negative by showing that there exist entangled states without hidden nonlocality. Specifically, we prove that some two-qubit Werner states still admit a local hidden variable model after any possible local filtering on a single copy of the state., Comment: 16 pages, 2 figures

The nonlocal properties of the W states are investigated under particle loss. By removing all but two particles from an $N$-qubit W state, the resulting two-qubit state is still entangled. Hence, the W state has high persistency of entanglement. We ask an analogous question regarding the persistency of nonlocality introduced in [Phys. Rev. A 86, 042113]. Namely, we inquire what is the minimal number of particles that must be removed from the W state so that the resulting state becomes local. We bound this value in function of $N$ qubits by considering Bell nonlocality tests with two alternative settings per site. In particular, we find that this value is between $2N/5$ and $N/2$ for large $N$. We also develop a framework to establish bounds for more than two settings per site., Comment: 10 pages, 4 figures

Quantum measurements on a two-level system can have more than two independent outcomes, and in this case, the measurement cannot be projective. Measurements of this general type are essential to an operational approach to quantum theory, but so far, the nonprojective character of a measurement can only be verified experimentally by already assuming a specific quantum model of parts of the experimental setup. Here, we overcome this restriction by using a device-independent approach. In an experiment on pairs of polarization-entangled photonic qubits we violate by more than 8 standard deviations a Bell-like correlation inequality that is valid for all sets of two-outcome measurements in any dimension. We combine this with a device-independent verification that the system is best described by two qubits, which therefore constitutes the first device-independent certification of a nonprojective quantum measurement., Comment: 6 pages, 3 figures. Published version

In this paper, we investigate the communication cost of reproducing Einstein-Podolsky-Rosen (EPR) steering correlations arising from bipartite quantum systems. We characterize the set of bipartite quantum states which admits a local hidden state model augmented with $c$ bits of classical communication from an untrusted party (Alice) to a trusted party (Bob). In case of one bit of information ($c=1$), we show that this set has a nontrivial intersection with the sets admitting a local hidden state and a local hidden variables model for projective measurements. On the other hand, we find that an infinite amount of classical communication is required from an untrusted Alice to a trusted Bob to simulate the EPR steering correlations produced by a two-qubit maximally entangled state. It is conjectured that a state-of-the-art quantum experiment would be able to falsify two bits of communication this way., Comment: 14 pages, 3 figures. See also arXiv:1603.05079 for related work by A.B. Sainz et al

Constructing local hidden variable (LHV) models for entangled quantum states is challenging, as the model should reproduce quantum predictions for all possible local measurements. Here we present a simple method for building LHV models, applicable to general entangled states, which consists in verifying that the statistics resulting from a finite set of measurements is local, a much simpler problem. This leads to a sequence of tests which, in the limit, fully capture the set of quantum states admitting a LHV model. Similar methods are developed for constructing local hidden state models. We illustrate the practical relevance of these methods with several examples, and discuss further applications., Comment: Improved abstract, to clarify the main result. Our results are now applicable to general POVMs See also related work by Cavalcanti and colleagues: http://arxiv.org/abs/1512.00277

For the past twenty years, Matrix Product States (MPS) have been widely used in solid state physics to approximate the ground state of one-dimensional spin chains. In this paper, we study homogeneous MPS (hMPS), or MPS constructed via site-independent tensors and a boundary condition. Exploiting a connection with the theory of matrix algebras, we derive two structural properties shared by all hMPS, namely: a) there exist local operators which annihilate all hMPS of a given bond dimension; and b) there exist local operators which, when applied over any hMPS of a given bond dimension, decouple (cut) the particles where they act from the spin chain while at the same time join (glue) the two loose ends back again into a hMPS. Armed with these tools, we show how to systematically derive `bond dimension witnesses', or 2-local operators whose expectation value allows us to lower bound the bond dimension of the underlying hMPS. We extend some of these results to the ansatz of Projected Entangled Pairs States (PEPS). As a bonus, we use our insight on the structure of hMPS to: a) derive some theoretical limitations on the use of hMPS and hPEPS for ground state energy computations; b) show how to decrease the complexity and boost the speed of convergence of the semidefinite programming hierarchies described in [Phys. Rev. Lett. 115, 020501 (2015)] for the characterization of finite-dimensional quantum correlations., Comment: Accepted for publication in Quantum. We still do not acknowledge support from the European Research Council

We define a family of binary outcome $n$-party $m\leq n$ settings per party Bell inequalities whose members require the least detection efficiency for their violation among all known inequalities of the same type. This gives upper bounds for the minimum value of the critical efficiency --- below which no violation is possible --- achievable for such inequalities. For $m=2$, our family reduces to the one given by Larsson and Semitecolos in 2001. For $m>2$, a gap remains between these bounds and the best lower bounds. The violating state near the threshold efficiency always approaches a product state of $n$ qubits., Comment: 10 pages, 2 figures

We study and extend the semidefinite programming (SDP) hierarchies introduced in [Phys. Rev. Lett. 115, 020501] for the characterization of the statistical correlations arising from finite dimensional quantum systems. First, we introduce the dimension-constrained noncommutative polynomial optimization (NPO) paradigm, where a number of polynomial inequalities are defined and optimization is conducted over all feasible operator representations of bounded dimensionality. Important problems in device independent and semi-device independent quantum information science can be formulated (or almost formulated) in this framework. We present effective SDP hierarchies to attack the general dimension-constrained NPO problem (and related ones) and prove their asymptotic convergence. To illustrate the power of these relaxations, we use them to derive new dimension witnesses for temporal and Bell-type correlation scenarios, and also to bound the probability of success of quantum random access codes., Comment: 17 pages

By performing local projective measurements on a two-qubit entangled state one can certify in a device-independent way up to one bit of randomness. We show here that general measurements, defined by positive-operator-valued measures, can certify up to two bits of randomness, which is the optimal amount of randomness that can be certified from an entangled bit. General measurements thus provide an advantage over projective ones for device-independent randomness certification., Comment: 7 pages, 1 figure, computational details at http://nbviewer.ipython.org/github/peterwittek/ipython-notebooks/blob/master/Optimal%20randomness%20generation%20from%20entangled%20quantum%20states.ipynb

The discovery of postquantum nonlocality, i.e., the existence of nonlocal correlations that are stronger than any quantum correlations but nevertheless consistent with the no-signaling principle, has deepened our understanding of the foundations of quantum theory. In this work, we investigate whether the phenomenon of Einstein-Podolsky-Rosen steering, a different form of quantum nonlocality, can also be generalized beyond quantum theory. While postquantum steering does not exist in the bipartite case, we prove its existence in the case of three observers. Importantly, we show that postquantum steering is a genuinely new phenomenon, fundamentally different from postquantum nonlocality. Our results provide new insight into the nonlocal correlations of multipartite quantum systems., Comment: 9 pages, 1 figure

We study the problem of closing the detection loophole in three-qubit Bell tests, the experimentally most relevant case beyond the usual bipartite scenario, and show that the minimal detection efficiencies required can be considerably lowered compared to the two-qubit case. The lowest reported detection efficiency thresholds for two and three qubits so far are $\sim66.7\%$ and $60\%$, respectively. Using the three-qubit W state and a 3-setting Bell inequality, we beat these thresholds and with an 8-setting Bell inequality we reach $50.13\%$. We also investigate generic three-qubit states which allow us to attain a detection efficiency of $50\%$ in a 4-setting Bell test. We conjecture that the limit of $50\%$ is unbeatable using three-qubit states and any number of measurements., Comment: 10 pages, 1 figure, 2 tables

Einstein-Podolsky-Rosen steering is a form of inseparability in quantum theory commonly acknowledged to be intermediate between entanglement and Bell nonlocality. However, this statement has so far only been proven for a restricted class of measurements, namely projective measurements. Here we prove that entanglement, one-way steering, two-way steering and nonlocality are genuinely different considering general measurements, i.e. single round positive-operator-valued-measures. Finally, we show that the use of sequences of measurements is relevant for steering tests, as they can be used to reveal "hidden steering"., Comment: Typo in equation 13 corrected (noticed by Jessica Bavaresco)