Showing 1–50 of 84 results for author: Navascues, M

Memory attacks in network nonlocality and self-testing

Authors: Mirjam Weilenmann, Costantino Budroni, Miguel Navascues

Abstract: We study what can or cannot be certified in communication scenarios where the assumption of independence and identical distribution (iid) between experimental rounds fails. In this respect, we prove that membership tests for non-convex sets of correlations cannot be formulated in the non-iid regime. Similarly, it is impossible to self-test non-extreme quantum operations, such as mixed states, or n… ▽ More We study what can or cannot be certified in communication scenarios where the assumption of independence and identical distribution (iid) between experimental rounds fails. In this respect, we prove that membership tests for non-convex sets of correlations cannot be formulated in the non-iid regime. Similarly, it is impossible to self-test non-extreme quantum operations, such as mixed states, or noisy quantum measurements, unless one allows more than a single use thereof within the same experimental round. One consequence of our results is that non-classicality in causal networks without inputs cannot be experimentally demonstrated. By analyzing optimal non-iid strategies in the triangle scenario, we raise the need to take into account the prior communication required to set up a causal network. △ Less

Submitted 19 February, 2024; originally announced February 2024.

First-order optimality conditions for non-commutative optimization problems

Authors: Mateus Araújo, Igor Klep, Andrew J. P. Garner, Tamás Vértesi, Miguel Navascues

Abstract: 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… ▽ More 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. △ Less

Submitted 19 February, 2024; v1 submitted 30 November, 2023; originally announced November 2023.

Comments: 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)

On the range of fractal interpolation functions

Authors: Bogdan Anghelina, Radu Miculescu, María Antonia Navascués

Abstract: In this paper, based on the results from [On the localization of Hutchinson-Barnsley fractals, Chaos Solitons Fractals, 173 (2023), 113674], we generate coverings (consisting of finite families of rhombi) of the graph of fractal interpolation functions. As a by-product we obtain estimations for the range of such functions. Some concrete examples and graphical representations are provided. In this paper, based on the results from [On the localization of Hutchinson-Barnsley fractals, Chaos Solitons Fractals, 173 (2023), 113674], we generate coverings (consisting of finite families of rhombi) of the graph of fractal interpolation functions. As a by-product we obtain estimations for the range of such functions. Some concrete examples and graphical representations are provided. △ Less

Submitted 15 November, 2023; originally announced November 2023.

Comments: 24 pages, 15 figures

MSC Class: 28A80; 41A05

Self-testing in prepare-and-measure scenarios and a robust version of Wigner's theorem

Authors: Miguel Navascues, Károly F. Pál, Tamás Vértesi, Mateus Araújo

Abstract: 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 pr… ▽ More 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. △ Less

Submitted 2 February, 2024; v1 submitted 1 June, 2023; originally announced June 2023.

Comments: Close to published version

Journal ref: Phys. Rev. Lett. 131, 250802 (2023)

Fractal Interpolation on the Real Projective Plane

Authors: A. Hossain, Md. N. Akhtar, M. A. Navascués

Abstract: Formerly the geometry was based on shapes, but since the last centuries this founding mathematical science deals with transformations, projections and map**s. Projective geometry identifies a line with a single point, like the perspective on the horizon line and, due to this fact, it requires a restructuring of the real mathematical and numerical analysis. In particular, the problem of interpola… ▽ More Formerly the geometry was based on shapes, but since the last centuries this founding mathematical science deals with transformations, projections and map**s. Projective geometry identifies a line with a single point, like the perspective on the horizon line and, due to this fact, it requires a restructuring of the real mathematical and numerical analysis. In particular, the problem of interpolating data must be refocused. In this paper we define a linear structure along with a metric on a projective space, and prove that the space thus constructed is complete. Then we consider an iterated function system giving rise to a fractal interpolation function of a set of data. △ Less

Submitted 14 September, 2023; v1 submitted 19 April, 2023; originally announced April 2023.

Comments: Numerical Algorithms (Accepted)

MSC Class: 28A80; 41Axx

Optimisation of time-ordered processes in the finite and asymptotic regime

Authors: Mirjam Weilenmann, Costantino Budroni, Miguel Navascues

Abstract: Many problems in quantum information theory can be formulated as optimizations over the sequential outcomes of dynamical systems subject to unpredictable external influences. Such problems include many-body entanglement detection through adaptive measurements, computing the maximum average score of a preparation game over a continuous set of target states and limiting the behavior of a (quantum) f… ▽ More Many problems in quantum information theory can be formulated as optimizations over the sequential outcomes of dynamical systems subject to unpredictable external influences. Such problems include many-body entanglement detection through adaptive measurements, computing the maximum average score of a preparation game over a continuous set of target states and limiting the behavior of a (quantum) finite-state automaton. In this work, we introduce tractable relaxations of this class of optimization problems. To illustrate their performance, we use them to: (a) compute the probability that a finite-state automaton outputs a given sequence of bits; (b) develop a new many-body entanglement detection protocol; (c) let the computer invent an adaptive protocol for magic state detection. As we further show, the maximum score of a sequential problem in the limit of infinitely many time steps is in general incomputable. Nonetheless, we provide general heuristics to bound this quantity and show that they provide useful estimates in relevant scenarios. △ Less

Submitted 6 June, 2024; v1 submitted 6 February, 2023; originally announced February 2023.

Comments: Close to published version

Journal ref: PRX Quantum 5, 020351 (2024)

Lower Bounding Ground-State Energies of Local Hamiltonians Through the Renormalization Group

Authors: Ilya Kull, Norbert Schuch, Ben Dive, Miguel Navascués

Abstract: Given a renormalization scheme, we show how to formulate a tractable convex relaxation of the set of feasible local density matrices of a many-body quantum system. The relaxation is obtained by introducing a hierarchy of constraints between the reduced states of ever-growing sets of lattice sites. The coarse-graining maps of the underlying renormalization procedure serve to eliminate a vast number… ▽ More Given a renormalization scheme, we show how to formulate a tractable convex relaxation of the set of feasible local density matrices of a many-body quantum system. The relaxation is obtained by introducing a hierarchy of constraints between the reduced states of ever-growing sets of lattice sites. The coarse-graining maps of the underlying renormalization procedure serve to eliminate a vast number of those constraints, such that the remaining ones can be enforced with reasonable computational means. This can be used to obtain rigorous lower bounds on the ground state energy of arbitrary local Hamiltonians, by performing a linear optimization over the resulting convex relaxation of reduced quantum states. The quality of the bounds crucially depends on the particular renormalization scheme, which must be tailored to the target Hamiltonian. We apply our method to 1D translation-invariant spin models, obtaining energy bounds comparable to those attained by optimizing over locally translation-invariant states of $n\gtrsim 100$ spins. Beyond this demonstration, the general method can be applied to a wide range of other problems, such as spin systems in higher spatial dimensions, electronic structure problems, and various other many-body optimization problems, such as entanglement and nonlocality detection. △ Less

Submitted 10 April, 2024; v1 submitted 6 December, 2022; originally announced December 2022.

Comments: Section III, that presents the general framework, was revised

Journal ref: Phys. Rev. X 14, 021008 (9 April 2024)

Quantum key distribution rates from semidefinite programming

Authors: Mateus Araújo, Marcus Huber, Miguel Navascués, Matej Pivoluska, Armin Tavakoli

Abstract: Computing the key rate in quantum key distribution (QKD) protocols is a long standing challenge. Analytical methods are limited to a handful of protocols with highly symmetric measurement bases. Numerical methods can handle arbitrary measurement bases, but either use the min-entropy, which gives a loose lower bound to the von Neumann entropy, or rely on cumbersome dedicated algorithms. Based on a… ▽ More Computing the key rate in quantum key distribution (QKD) protocols is a long standing challenge. Analytical methods are limited to a handful of protocols with highly symmetric measurement bases. Numerical methods can handle arbitrary measurement bases, but either use the min-entropy, which gives a loose lower bound to the von Neumann entropy, or rely on cumbersome dedicated algorithms. Based on a recently discovered semidefinite programming (SDP) hierarchy converging to the conditional von Neumann entropy, used for computing the asymptotic key rates in the device independent case, we introduce an SDP hierarchy that converges to the asymptotic secret key rate in the case of characterised devices. The resulting algorithm is efficient, easy to implement and easy to use. We illustrate its performance by recovering known bounds on the key rate and extending high-dimensional QKD protocols to previously intractable cases. We also use it to reanalyse experimental data to demonstrate how higher key rates can be achieved when the full statistics are taken into account. △ Less

Submitted 22 May, 2023; v1 submitted 10 November, 2022; originally announced November 2022.

Comments: 11+5 pages, 3 figures. Minor improvements, published version

Journal ref: Quantum 7, 1019 (2023)

Quantum advantages for transportation tasks: projectiles, rockets and quantum backflow

Authors: David Trillo, Thinh P. Le, Miguel Navascues

Abstract: Consider a scenario where a quantum particle is initially prepared in some bounded region of space and left to propagate freely. After some time, we verify if the particle has reached some distant target region. We find that there exist "ultrafast" ("ultraslow") quantum states, whose probability of arrival is greater (smaller) than that of any classical particle prepared in the same region with th… ▽ More Consider a scenario where a quantum particle is initially prepared in some bounded region of space and left to propagate freely. After some time, we verify if the particle has reached some distant target region. We find that there exist "ultrafast" ("ultraslow") quantum states, whose probability of arrival is greater (smaller) than that of any classical particle prepared in the same region with the same momentum distribution. For both projectiles and rockets, we prove that the quantum advantage, quantified by the difference between the quantum and optimal classical arrival probabilities, is limited by the Bracken-Melloy constant $c_{bm}$, originally introduced to study the phenomenon of quantum backflow. In this regard, we substantiate the $29$-year-old conjecture that $c_{bm}\approx 0.038$ by proving the bounds $0.0315\leq c_{bm}\leq 0.072$. Finally, we show that, in a modified projectile scenario where the initial position distribution of the particle is also fixed, the quantum advantage can reach $0.1262$. △ Less

Submitted 26 September, 2023; v1 submitted 1 September, 2022; originally announced September 2022.

Comments: 19 pages

Journal ref: npj Quantum Inf 9, 69 (2023)

A universal quantum rewinding protocol with an arbitrarily high probability of success

Authors: David Trillo, Benjamin Dive, Miguel Navascués

Abstract: We present a universal mechanism that, acting on any target qubit, propagates it to the state it had T time units before the experiment started. This protocol works by setting the target on a superposition of flight paths, where it is acted on by uncharacterized, but repeatable, quantum operations. Independently of the effect of each of these individual operations on the target, the successful int… ▽ More We present a universal mechanism that, acting on any target qubit, propagates it to the state it had T time units before the experiment started. This protocol works by setting the target on a superposition of flight paths, where it is acted on by uncharacterized, but repeatable, quantum operations. Independently of the effect of each of these individual operations on the target, the successful interference of the paths causes it to leap to its past state. We prove that, for generic interaction effects, the system will reach the desired state with probability 1 after some finite number of steps. △ Less

Submitted 2 May, 2022; originally announced May 2022.

Comments: 4+4 pages, 3 figures

Demonstration of universal time-reversal for quantum processes

Authors: Peter Schiansky, Teodor Strömberg, David Trillo, Valeria Saggio, Ben Dive, Miguel Navascués, Philip Walther

Abstract: Although the laws of classical physics are deterministic, thermodynamics gives rise to an arrow of time through irreversible processes. In quantum mechanics the unitary nature of the time evolution makes it intrinsically reversible, however the question of how to revert an unknown time evolution nevertheless remains. Remarkably, there have been several recent demonstrations of protocols for revert… ▽ More Although the laws of classical physics are deterministic, thermodynamics gives rise to an arrow of time through irreversible processes. In quantum mechanics the unitary nature of the time evolution makes it intrinsically reversible, however the question of how to revert an unknown time evolution nevertheless remains. Remarkably, there have been several recent demonstrations of protocols for reverting unknown unitaries in scenarios where even the interactions with the target system are unknown. The practical use of these universal rewinding protocols is limited by their probabilistic nature, raising the fundamental question of whether time-reversal could be performed deterministically. Here we show that quantum physics indeed allows for deterministic universal time-reversal by exploiting the non-commuting nature of quantum operators, and demonstrate a recursive protocol for two-level quantum systems with an arbitrarily high probability of success. Using a photonic platform we demonstrate our protocol, reverting the discrete time evolution of a polarization state with an average state fidelity of over 95%. Our protocol, requiring no knowledge of the quantum process to be rewound, is optimal in its running time, and brings quantum rewinding into a regime of practical relevance. △ Less

Submitted 2 May, 2022; originally announced May 2022.

Journal ref: Optica Vol. 10, Issue 2, pp. 200-205 (2023)

Contextuality in infinite one-dimensional translation-invariant local Hamiltonians: strengths and limits

Authors: Kaiyan Yang, Xiao Zeng, Yu**g Luo, Guowu Yang, Lan Shu, Miguel Navascués, Zizhu Wang

Abstract: In recent years there has been a growing interest in treating many-body systems as Bell scenarios, where lattice sites play the role of distant parties and only near-neighbor statistics are accessible. We investigate contextuality arising from three Bell scenarios in infinite, translation-invariant 1D models: nearest-neighbor with two dichotomic observables per site; nearest- and next-to-nearest n… ▽ More In recent years there has been a growing interest in treating many-body systems as Bell scenarios, where lattice sites play the role of distant parties and only near-neighbor statistics are accessible. We investigate contextuality arising from three Bell scenarios in infinite, translation-invariant 1D models: nearest-neighbor with two dichotomic observables per site; nearest- and next-to-nearest neighbor with two dichotomic observables per site and nearest-neighbor with three dichotomic observables per site. For the first scenario, we give strong evidence that it cannot exhibit contextuality, not even in non-signaling physical theories beyond quantum mechanics. For the second one, we identify several low-dimensional models that reach the ultimate quantum limits, paving the way for self-testing ground states of quantum many-body systems. For the last scenario, which generalizes the Heisenberg model, we give strong evidence that, in order to exhibit contextuality, the dimension of the local quantum system must be at least 3. △ Less

Submitted 21 July, 2022; v1 submitted 21 December, 2021; originally announced December 2021.

Comments: 16 pages, updated version with new results

Journal ref: npj Quantum Information 8, 89 (2022)

Testing real quantum theory in an optical quantum network

Authors: Zheng-Da Li, Ya-Li Mao, Mirjam Weilenmann, Armin Tavakoli, Hu Chen, Lixin Feng, Sheng-Jun Yang, Marc-Olivier Renou, David Trillo, Thinh P. Le, Nicolas Gisin, Antonio Acín, Miguel Navascués, Zizhu Wang, **gyun Fan

Abstract: Quantum theory is commonly formulated in complex Hilbert spaces. However, the question of whether complex numbers need to be given a fundamental role in the theory has been debated since its pioneering days. Recently it has been shown that tests in the spirit of a Bell inequality can reveal quantum predictions in entanglement swap** scenarios that cannot be modelled by the natural real-number an… ▽ More Quantum theory is commonly formulated in complex Hilbert spaces. However, the question of whether complex numbers need to be given a fundamental role in the theory has been debated since its pioneering days. Recently it has been shown that tests in the spirit of a Bell inequality can reveal quantum predictions in entanglement swap** scenarios that cannot be modelled by the natural real-number analog of standard quantum theory. Here, we tailor such tests for implementation in state-of-the-art photonic systems. We experimentally demonstrate quantum correlations in a network of three parties and two independent EPR sources that violate the constraints of real quantum theory by over $4.5$ standard deviations, hence disproving real quantum theory as a universal physical theory. △ Less

Submitted 30 November, 2021; originally announced November 2021.

Comments: 9 pages, 6 figures

Journal ref: Phys. Rev. Lett. 128, 040402, 2022

Quantum theory based on real numbers can be experimentally falsified

Authors: Marc-Olivier Renou, David Trillo, Mirjam Weilenmann, Thinh P. Le, Armin Tavakoli, Nicolas Gisin, Antonio Acin, Miguel Navascues

Abstract: While complex numbers are essential in mathematics, they are not needed to describe physical experiments, expressed in terms of probabilities, hence real numbers. Physics however aims to explain, rather than describe, experiments through theories. While most theories of physics are based on real numbers, quantum theory was the first to be formulated in terms of operators acting on complex Hilbert… ▽ More While complex numbers are essential in mathematics, they are not needed to describe physical experiments, expressed in terms of probabilities, hence real numbers. Physics however aims to explain, rather than describe, experiments through theories. While most theories of physics are based on real numbers, quantum theory was the first to be formulated in terms of operators acting on complex Hilbert spaces. This has puzzled countless physicists, including the fathers of the theory, for whom a real version of quantum theory, in terms of real operators, seemed much more natural. In fact, previous works showed that such "real quantum theory" can reproduce the outcomes of any multipartite experiment, as long as the parts share arbitrary real quantum states. Thus, are complex numbers really needed in the quantum formalism? Here, we show this to be case by proving that real and complex quantum theory make different predictions in network scenarios comprising independent states and measurements. This allows us to devise a Bell-like experiment whose successful realization would disprove real quantum theory, in the same way as standard Bell experiments disproved local physics. △ Less

Submitted 27 December, 2021; v1 submitted 26 January, 2021; originally announced January 2021.

Comments: 21 pages. Some typos corrected in the analytic proof, new discussion about the use of tensor products to model space-like separation in quantum field theory, short introduction to non-local real quantum models reproducing the predictions of quantum theory, compendium of theoretical arguments against real quantum theory, real quantum simulation of joint measurements of independent preparations

Journal ref: Nature 600, 625-629 (2021)

Optimized detection of high-dimensional entanglement

Authors: Xiao-Min Hu, Wen-Bo Xing, Yu Guo, Mirjam Weilenmann, Edgar A. Aguilar, Xiaoqin Gao, Bi-Heng Liu, Yun-Feng Huang, Chuan-Feng Li, Guang-Can Guo, Zizhu Wang, Miguel Navascués

Abstract: Entanglement detection is one of the most conventional tasks in quantum information processing. While most experimental demonstrations of high-dimensional entanglement rely on fidelity-based witnesses, these are powerless to detect entanglement within a large class of entangled quantum states, the so-called unfaithful states. In this paper, we introduce a highly flexible automated method to constr… ▽ More Entanglement detection is one of the most conventional tasks in quantum information processing. While most experimental demonstrations of high-dimensional entanglement rely on fidelity-based witnesses, these are powerless to detect entanglement within a large class of entangled quantum states, the so-called unfaithful states. In this paper, we introduce a highly flexible automated method to construct optimal tests for entanglement detection given a bipartite target state of arbitrary dimension, faithful or unfaithful, and a set of local measurement operators. By restricting the number or complexity of the considered measurement settings, our method outputs the most convenient protocol which can be implemented using a wide range of experimental techniques such as photons, superconducting qudits, cold atoms or trapped ions. With an experimental quantum optics setup that can prepare and measure arbitrary high-dimensional mixed states, we implement some $3$-setting protocols generated by our method. These protocols allow us to experimentally certify 2- and 3-unfaithful entanglement in 4-dimensional photonic states, some of which contain well above 50% of noise. △ Less

Submitted 28 October, 2021; v1 submitted 4 November, 2020; originally announced November 2020.

Comments: 12 pages. Expanded experimental data collection, simplified theoretical description in the main text

Journal ref: Phys. Rev. Lett. 127, 220501 (2021)

Quantum Preparation Games

Authors: Mirjam Weilenmann, Edgar A. Aguilar, Miguel Navascues

Abstract: A preparation game is a task whereby a player sequentially sends a number of quantum states to a referee, who probes each of them and announces the measurement result. The measurement setting in each round, as well as the final score of the game, are decided by the referee based on the past history of settings and measurement outcomes. Many experimental tasks in quantum information, such as entang… ▽ More A preparation game is a task whereby a player sequentially sends a number of quantum states to a referee, who probes each of them and announces the measurement result. The measurement setting in each round, as well as the final score of the game, are decided by the referee based on the past history of settings and measurement outcomes. Many experimental tasks in quantum information, such as entanglement quantification or magic state detection, can be cast as preparation games. In this paper, we introduce general methods to design $n$-round preparation games, with tight bounds on the average game scores achievable by players subject to constraints on their preparation devices. We illustrate our results by devising new adaptive measurement protocols for entanglement detection and quantification. Surprisingly, we find that the standard procedure in entanglement detection, namely, estimating $n$ times the average value of a given entanglement witness, is in general sub-optimal for detecting the entanglement of a specific quantum state. On the contrary, there exist $n$-round experimental scenarios where detecting the entanglement of a known state optimally requires adaptive measurement schemes. △ Less

Submitted 18 August, 2021; v1 submitted 4 November, 2020; originally announced November 2020.

Comments: 21 pages, 7 figures; v2: additional results on game composition

Journal ref: Nat. Commun. 12, 4553 (2021)

Disease control as an optimization problem

Authors: Miguel Navascues, Costantino Budroni, Yelena Guryanova

Abstract: In the context of epidemiology, policies for disease control are often devised through a mixture of intuition and brute-force, whereby the set of logically conceivable policies is narrowed down to a small family described by a few parameters, following which linearization or grid search is used to identify the optimal policy within the set. This scheme runs the risk of leaving out more complex (an… ▽ More In the context of epidemiology, policies for disease control are often devised through a mixture of intuition and brute-force, whereby the set of logically conceivable policies is narrowed down to a small family described by a few parameters, following which linearization or grid search is used to identify the optimal policy within the set. This scheme runs the risk of leaving out more complex (and perhaps counter-intuitive) policies for disease control that could tackle the disease more efficiently. In this article, we use techniques from convex optimization theory and machine learning to conduct optimizations over disease policies described by hundreds of parameters. In contrast to past approaches for policy optimization based on control theory, our framework can deal with arbitrary uncertainties on the initial conditions and model parameters controlling the spread of the disease, and stochastic models. In addition, our methods allow for optimization over policies which remain constant over weekly periods, specified by either continuous or discrete (e.g.: lockdown on/off) government measures. We illustrate our approach by minimizing the total time required to eradicate COVID-19 within the Susceptible-Exposed-Infected-Recovered (SEIR) model proposed by Kissler \emph{et al.} (March, 2020). △ Less

Submitted 30 September, 2021; v1 submitted 14 September, 2020; originally announced September 2020.

Comments: New material: effect of vaccination campaigns on the minimum time under lockdown, use of optimization constraints to control the complexity of the generated policies for disease control, methods to optimize over weekly adaptive lockdown policies. The current pre-print is close to the published version

Journal ref: PLOS ONE 16(9): e0257958 (2021)

Entanglement marginal problems

Authors: Miguel Navascues, Flavio Baccari, Antonio Acin

Abstract: We consider the entanglement marginal problem, which consists of deciding whether a number of reduced density matrices are compatible with an overall separable quantum state. To tackle this problem, we propose hierarchies of semidefinite programming relaxations of the set of quantum state marginals admitting a fully separable extension. We connect the completeness of each hierarchy to the resoluti… ▽ More We consider the entanglement marginal problem, which consists of deciding whether a number of reduced density matrices are compatible with an overall separable quantum state. To tackle this problem, we propose hierarchies of semidefinite programming relaxations of the set of quantum state marginals admitting a fully separable extension. We connect the completeness of each hierarchy to the resolution of an analog classical marginal problem and thus identify relevant experimental situations where the hierarchies are complete. For finitely many parties on a star configuration or a chain, we find that we can achieve an arbitrarily good approximation to the set of nearest-neighbour marginals of separable states with a time (space) complexity polynomial (linear) on the system size. Our results even extend to infinite systems, such as translation-invariant systems in 1D, as well as higher spatial dimensions with extra symmetries. △ Less

Submitted 23 November, 2021; v1 submitted 16 June, 2020; originally announced June 2020.

Comments: Accepted version

Journal ref: Quantum 5, 589 (2021)

Genuine Network Multipartite Entanglement

Authors: Miguel Navascues, Elie Wolfe, Denis Rosset, Alejandro Pozas-Kerstjens

Abstract: The standard definition of genuine multipartite entanglement stems from the need to assess the quantum control over an ever-growing number of quantum systems. We argue that this notion is easy to hack: in fact, a source capable of distributing bipartite entanglement can, by itself, generate genuine $k$-partite entangled states for any $k$. We propose an alternative definition for genuine multipart… ▽ More The standard definition of genuine multipartite entanglement stems from the need to assess the quantum control over an ever-growing number of quantum systems. We argue that this notion is easy to hack: in fact, a source capable of distributing bipartite entanglement can, by itself, generate genuine $k$-partite entangled states for any $k$. We propose an alternative definition for genuine multipartite entanglement, whereby a quantum state is genuinely network $k$-entangled if it cannot be produced by applying local trace-preserving maps over several $k$-partite states distributed among the parties, even with the aid of global shared randomness. We provide analytic and numerical witnesses of genuine network entanglement, and we reinterpret many past quantum experiments as demonstrations of this feature. △ Less

Submitted 18 December, 2020; v1 submitted 7 February, 2020; originally announced February 2020.

Comments: 8 pages, 2 figures, RevTeX 4.2. See the related works arXiv:2002.03970 and arXiv:2003.07153. V3: Published version

Journal ref: Phys. Rev. Lett. 125, 240505 (2020)

Entanglement Detection Beyond Measuring Fidelities

Authors: Mirjam Weilenmann, Benjamin Dive, David Trillo, Edgar A. Aguilar, Miguel Navascués

Abstract: One of the most widespread methods to determine if a quantum state is entangled, or to quantify its entanglement dimensionality, is by measuring its fidelity with respect to a pure state. In this Letter we find a large class of states whose entanglement cannot be detected in this manner; we call them unfaithful. We find that unfaithful states are ubiquitous in information theory. For small dimensi… ▽ More One of the most widespread methods to determine if a quantum state is entangled, or to quantify its entanglement dimensionality, is by measuring its fidelity with respect to a pure state. In this Letter we find a large class of states whose entanglement cannot be detected in this manner; we call them unfaithful. We find that unfaithful states are ubiquitous in information theory. For small dimensions, we check numerically that most bipartite states are both entangled and unfaithful. Similarly, numerical searches in low dimensions show that most pure entangled states remain entangled but become unfaithful when a certain amount of white noise is added. We also find that faithfulness can be self-activated, i.e., there exist instances of unfaithful states whose tensor powers are faithful. To explore how the fidelity approach limits the quantification of entanglement dimensionality, we generalize the notion of an unfaithful state to that of a D-unfaithful state, one that cannot be certified as D-dimensionally entangled by measuring its fidelity with respect to a pure state. For describing such states, we additionally introduce a hierarchy of semidefinite programming relaxations that fully characterizes the set of states of Schmidt rank at most D. △ Less

Submitted 13 August, 2020; v1 submitted 20 December, 2019; originally announced December 2019.

Comments: 5+3 pages, 2 figures, 1 table. Supplemented with GitHub repository. v2: improved presentation (including new appendices that give additional technical details). v3: corrected errors in Table I

Journal ref: Phys. Rev. Lett. 124, 200502 (2020)

Quantum Inflation: A General Approach to Quantum Causal Compatibility

Authors: Elie Wolfe, Alejandro Pozas-Kerstjens, Matan Grinberg, Denis Rosset, Antonio Acín, Miguel Navascues

Abstract: Causality is a seminal concept in science: Any research discipline, from sociology and medicine to physics and chemistry, aims at understanding the causes that could explain the correlations observed among some measured variables. While several methods exist to characterize classical causal models, no general construction is known for the quantum case. In this work, we present quantum inflation, a… ▽ More Causality is a seminal concept in science: Any research discipline, from sociology and medicine to physics and chemistry, aims at understanding the causes that could explain the correlations observed among some measured variables. While several methods exist to characterize classical causal models, no general construction is known for the quantum case. In this work, we present quantum inflation, a systematic technique to falsify if a given quantum causal model is compatible with some observed correlations. We demonstrate the power of the technique by reproducing known results and solving open problems for some paradigmatic examples of causal networks. Our results may find applications in many fields: from the characterization of correlations in quantum networks to the study of quantum effects in thermodynamic and biological processes. △ Less

Submitted 27 May, 2021; v1 submitted 23 September, 2019; originally announced September 2019.

Comments: V3 updated to match published version

Journal ref: Phys. Rev. X 11, 021043 (2021)

Connector tensor networks: a renormalization-type approach to quantum certification

Authors: Miguel Navascues, Sukhbinder Singh, Antonio Acin

Abstract: As quantum technologies develop, we acquire control of an ever-growing number of quantum systems. Unfortunately, current tools to detect relevant quantum properties of quantum states, such as entanglement and Bell nonlocality, suffer from severe scalability issues and can only be computed for systems of a very modest size, of around $6$ sites. In order to address large many-body systems, we propos… ▽ More As quantum technologies develop, we acquire control of an ever-growing number of quantum systems. Unfortunately, current tools to detect relevant quantum properties of quantum states, such as entanglement and Bell nonlocality, suffer from severe scalability issues and can only be computed for systems of a very modest size, of around $6$ sites. In order to address large many-body systems, we propose a renormalisation-type approach based on a class of local linear transformations, called connectors, which can be used to coarse-grain the system in a way that preserves the property under investigation. Repeated coarse-graining produces a system of manageable size, whose properties can then be explored by means of usual techniques for small systems. In case of a successful detection of the desired property, the method outputs a linear witness which admits an exact tensor network representation, composed of connectors. We demonstrate the power of our method by certifying using a normal desktop computer entanglement, Bell nonlocality and supra-quantum Bell nonlocality in systems with hundreds of sites. △ Less

Submitted 23 July, 2019; originally announced July 2019.

Journal ref: Phys. Rev. X 10, 021064 (2020)

Bounding the sets of classical and quantum correlations in networks

Authors: Alejandro Pozas-Kerstjens, Rafael Rabelo, Łukasz Rudnicki, Rafael Chaves, Daniel Cavalcanti, Miguel Navascues, Antonio Acín

Abstract: We present a method that allows the study of classical and quantum correlations in networks with causally-independent parties, such as the scenario underlying entanglement swap**. By imposing relaxations of factorization constraints in a form compatible with semidefinite programming, it enables the use of the Navascués-Pironio-Acín hierarchy in complex quantum networks. We first show how the tec… ▽ More We present a method that allows the study of classical and quantum correlations in networks with causally-independent parties, such as the scenario underlying entanglement swap**. By imposing relaxations of factorization constraints in a form compatible with semidefinite programming, it enables the use of the Navascués-Pironio-Acín hierarchy in complex quantum networks. We first show how the technique successfully identifies correlations not attainable in the entanglement-swap** scenario. Then we use it to show how the nonlocal power of measurements can be activated in a network: there exist measuring devices that, despite being unable to generate nonlocal correlations in the standard Bell scenario, provide a classical-quantum separation in an entanglement swap** configuration. △ Less

Submitted 7 October, 2019; v1 submitted 18 April, 2019; originally announced April 2019.

Comments: 6 pages, 1 figure. The computational appendix is available at https://zenodo.org/record/2646263. V2: Updated to match published version

Journal ref: Phys. Rev. Lett. 123, 140503 (2019)

Translating Uncontrolled Systems in Time

Authors: David Trillo, Benjamin Dive, Miguel Navascues

Abstract: We show that there exist non-relativistic scattering experiments which, if successful, freeze out, speed up or even reverse the free dynamics of any ensemble of quantum systems present in the scattering region. This time translation effect is universal, i.e., it is independent of the particular interaction between the scattering particles and the target systems, or the (possibly non-Hermitian) Ham… ▽ More We show that there exist non-relativistic scattering experiments which, if successful, freeze out, speed up or even reverse the free dynamics of any ensemble of quantum systems present in the scattering region. This time translation effect is universal, i.e., it is independent of the particular interaction between the scattering particles and the target systems, or the (possibly non-Hermitian) Hamiltonian governing the evolution of the latter. The protocols require careful preparation of the probes which are scattered, and success is heralded by projective measurements of these probes at the conclusion of the experiment. We fully characterize the possible time translations which we can effect on multiple target systems through a scattering protocol of fixed duration. The core results are: a) when the target is a single system, we can translate it backwards in time for an amount proportional to the experimental runtime; b) when n targets are present in the scattering region, we can make a single system evolve n times faster (backwards or forwards), at the cost of kee** the remaining systems stationary in time. For high n our protocols therefore allow one to map, in short experimental time, a system to the state it would have reached with a very long unperturbed evolution in either positive or negative time. △ Less

Submitted 11 December, 2020; v1 submitted 25 March, 2019; originally announced March 2019.

Comments: 9+4 pages, 1 figure. v2: Improved readability without content changes. v3: Accepted for publication

Journal ref: Quantum 4, 374 (2020)

Theoretical research without projects

Authors: Miguel Navascues, Costantino Budroni

Abstract: We propose a funding scheme for theoretical research that does not rely on project proposals, but on recent past scientific productivity. Given a quantitative figure of merit on the latter and the total research budget, we introduce a number of policies to decide the allocation of funds in each grant call. Under some assumptions on scientific productivity, some of such policies are shown to conver… ▽ More We propose a funding scheme for theoretical research that does not rely on project proposals, but on recent past scientific productivity. Given a quantitative figure of merit on the latter and the total research budget, we introduce a number of policies to decide the allocation of funds in each grant call. Under some assumptions on scientific productivity, some of such policies are shown to converge, in the limit of many grant calls, to a funding configuration that is close to the maximum total productivity of the whole scientific community. We present numerical simulations showing evidence that these schemes would also perform well in the presence of statistical noise in the scientific productivity and/or its evaluation. Finally, we prove that one of our policies cannot be cheated by individual research units. Our work must be understood as a first step towards a mathematical theory of the research activity. △ Less

Submitted 5 July, 2019; v1 submitted 26 October, 2018; originally announced October 2018.

Comments: Some edits to the published version

Journal ref: PLoS ONE 14(3): e0214026 (2019)

Fractal Convolution: A New Operation between Functions

Authors: M. A. Navascués, P. Massopust

Abstract: In this paper we define an internal binary operation between functions called in the text \emph{fractal convolution}, that applies a pair of map**s into a fractal function. This is done by means of a suitable Iterated Function System. We study in detail the operation in $\mathcal{L}^p$ spaces and in sets of continuous functions, in a different way to previous works of the authors. We develop som… ▽ More In this paper we define an internal binary operation between functions called in the text \emph{fractal convolution}, that applies a pair of map**s into a fractal function. This is done by means of a suitable Iterated Function System. We study in detail the operation in $\mathcal{L}^p$ spaces and in sets of continuous functions, in a different way to previous works of the authors. We develop some properties of the operation and its associated sets. The lateral convolutions with the null function provide linear operators whose characteristics are explored. The last part of the article deals with the construction of convolved fractals bases and frames in Banach and Hilbert spaces of functions. △ Less

Submitted 15 July, 2019; v1 submitted 29 May, 2018; originally announced May 2018.

MSC Class: 28A80; 46A35; 58C05

Resetting uncontrolled quantum systems

Authors: Miguel Navascues

Abstract: We consider a scenario where we wish to bring a closed system of known Hilbert space dimension $d_S$ (the target), subject to an unknown Hamiltonian evolution, back to its quantum state at a past time $t_0$. The target is out of our control: this means that we ignore both its free Hamiltonian and how the system interacts with other quantum systems we may use to influence it. Under these conditions… ▽ More We consider a scenario where we wish to bring a closed system of known Hilbert space dimension $d_S$ (the target), subject to an unknown Hamiltonian evolution, back to its quantum state at a past time $t_0$. The target is out of our control: this means that we ignore both its free Hamiltonian and how the system interacts with other quantum systems we may use to influence it. Under these conditions, we prove that there exist protocols within the framework of non-relativistic quantum physics which reset the target system to its exact quantum state at $t_0$. Each "resetting protocol" is successful with non-zero probability for all possible free Hamiltonians and interaction unitaries, save a subset of zero measure. When the target is a qubit and the interaction is sampled from the Haar measure, the simplest resetting circuits have a significant average probability of success and their implementation is within reach of current quantum technologies. Finally, we find that, in case the resetting protocol fails, it is possible to run a further protocol that, if successful, undoes both the natural evolution of the target and the effects of the failed protocol over the latter. By chaining in this fashion several such protocols, one can substantially increase the overall probability of a successful resetting. △ Less

Submitted 16 July, 2018; v1 submitted 6 October, 2017; originally announced October 2017.

Comments: Published version. This work was not funded by the European Research Council

Journal ref: Phys. Rev. X 8, 031008 (2018)

The Inflation Technique Completely Solves the Causal Compatibility Problem

Authors: Miguel Navascues, Elie Wolfe

Abstract: The causal compatibility question asks whether a given causal structure graph -- possibly involving latent variables -- constitutes a genuinely plausible causal explanation for a given probability distribution over the graph's observed variables. Algorithms predicated on merely necessary constraints for causal compatibility typically suffer from false negatives, i.e. they admit incompatible distri… ▽ More The causal compatibility question asks whether a given causal structure graph -- possibly involving latent variables -- constitutes a genuinely plausible causal explanation for a given probability distribution over the graph's observed variables. Algorithms predicated on merely necessary constraints for causal compatibility typically suffer from false negatives, i.e. they admit incompatible distributions as apparently compatible with the given graph. In [arXiv:1609.00672], one of us introduced the inflation technique for formulating useful relaxations of the causal compatibility problem in terms of linear programming. In this work, we develop a formal hierarchy of such causal compatibility relaxations. We prove that inflation is asymptotically tight, i.e., that the hierarchy converges to a zero-error test for causal compatibility. In this sense, the inflation technique fulfills a longstanding desideratum in the field of causal inference. We quantify the rate of convergence by showing that any distribution which passes the $n^{th}$-order inflation test must be $O\left(n^{-1/2}\right)$-close in Euclidean norm to some distribution genuinely compatible with the given causal structure. Furthermore, we show that for many causal structures, the (unrelaxed) causal compatibility problem is faithfully formulated already by either the first or second order inflation test. △ Less

Submitted 4 August, 2020; v1 submitted 20 July, 2017; originally announced July 2017.

Comments: Updated to match forthcoming journal publication as closely as possible. Some content removed for brevity. Expanded citations. Most footnotes moved into the main text. Significant changes to subsection 4.1, where we corrected an error in the example of second order inflation not converging, and added an converse example where second order inflation outperforms other techniques

Journal ref: J. Causal Inference 8(1), 2019

Almost quantum correlations violate the no-restriction hypothesis

Authors: Ana Belén Sainz, Yelena Guryanova, Antonio Acín, Miguel Navascués

Abstract: To identify which principles characterize quantum correlations, it is essential to understand in which sense this set of correlations differs from that of almost quantum correlations. We solve this problem by invoking the so-called no-restriction hypothesis, an explicit and natural axiom in many reconstructions of quantum theory stating that the set of possible measurements is the dual of the set… ▽ More To identify which principles characterize quantum correlations, it is essential to understand in which sense this set of correlations differs from that of almost quantum correlations. We solve this problem by invoking the so-called no-restriction hypothesis, an explicit and natural axiom in many reconstructions of quantum theory stating that the set of possible measurements is the dual of the set of states. We prove that, contrary to quantum correlations, no generalised probabilistic theory satisfying the no-restriction hypothesis is able to reproduce the set of almost quantum correlations. Therefore, any theory whose correlations are exactly, or very close to, the almost quantum correlations necessarily requires a rule limiting the possible measurements. Our results suggest that the no-restriction hypothesis may play a fundamental role in singling out the set of quantum correlations among other non-signalling ones. △ Less

Submitted 9 May, 2018; v1 submitted 9 July, 2017; originally announced July 2017.

Comments: 6 pages, 1 figure. v2: improved presentation of the results; manuscript accepted for publication. v3: updated supplemental material

Journal ref: Phys. Rev. Lett. 120, 200402 (2018)

Two Dimensional Translation-Invariant Probability Distributions: Approximations, Characterizations and No-Go Theorems

Authors: Zizhu Wang, Miguel Navascués

Abstract: We study the properties of the set of marginal distributions of infinite translation-invariant systems in the 2D square lattice. In cases where the local variables can only take a small number $d$ of possible values, we completely solve the marginal or membership problem for nearest-neighbors distributions ($d=2,3$) and nearest and next-to-nearest neighbors distributions ($d=2$). Remarkably, all t… ▽ More We study the properties of the set of marginal distributions of infinite translation-invariant systems in the 2D square lattice. In cases where the local variables can only take a small number $d$ of possible values, we completely solve the marginal or membership problem for nearest-neighbors distributions ($d=2,3$) and nearest and next-to-nearest neighbors distributions ($d=2$). Remarkably, all these sets form convex polytopes in probability space. This allows us to devise an algorithm to compute the minimum energy per site of any TI Hamiltonian in these scenarios exactly. We also devise a simple algorithm to approximate the minimum energy per site up to arbitrary accuracy for the cases not covered above. For variables of a higher (but finite) dimensionality, we prove two no-go results. To begin, the exact computation of the energy per site of arbitrary TI Hamiltonians with only nearest-neighbor interactions is an undecidable problem. In addition, in scenarios with $d\geq 2947$, the boundary of the set of nearest-neighbor marginal distributions contains both flat and smoothly curved surfaces and the set itself is not semi-algebraic. This implies, in particular, that it cannot be characterized via semidefinite programming, even if we allow the input of the program to include polynomials of nearest-neighbor probabilities. △ Less

Submitted 25 September, 2018; v1 submitted 16 March, 2017; originally announced March 2017.

Comments: Pulished Version

Journal ref: Proc. R. Soc. A 474: 20170822 (2018)

A purification postulate for quantum mechanics with indefinite causal order

Authors: Mateus Araújo, Adrien Feix, Miguel Navascués, Časlav Brukner

Abstract: To study which are the most general causal structures which are compatible with local quantum mechanics, Oreshkov et al. introduced the notion of a process: a resource shared between some parties that allows for quantum communication between them without a predetermined causal order. These processes can be used to perform several tasks that are impossible in standard quantum mechanics: they allow… ▽ More To study which are the most general causal structures which are compatible with local quantum mechanics, Oreshkov et al. introduced the notion of a process: a resource shared between some parties that allows for quantum communication between them without a predetermined causal order. These processes can be used to perform several tasks that are impossible in standard quantum mechanics: they allow for the violation of causal inequalities, and provide an advantage for computational and communication complexity. Nonetheless, no process that can be used to violate a causal inequality is known to be physically implementable. There is therefore considerable interest in determining which processes are physical and which are just mathematical artefacts of the framework. Here we make the first step in this direction, by proposing a purification postulate: processes are physical only if they are purifiable. We derive necessary conditions for a process to be purifiable, and show that several known processes do not satisfy them. △ Less

Submitted 13 March, 2020; v1 submitted 25 November, 2016; originally announced November 2016.

Comments: 8 + 5 pages, 2 figures, 1 matlab file. Clarified references and fixed equation (62)

Journal ref: Quantum 1, 10 (2017)

Composing decoherence functionals

Authors: Paul Boes, Miguel Navascues

Abstract: Quantum Measure Theory (QMT) is a generalization of quantum theory where physical predictions are computed from a matrix known as \emph{decoherence functional} (DF). Previous works have noted that, in its original formulation, QMT exhibits a problem with composability, since the composition of two decoherence functionals is, in general, not a valid decoherence functional. This does not occur when… ▽ More Quantum Measure Theory (QMT) is a generalization of quantum theory where physical predictions are computed from a matrix known as \emph{decoherence functional} (DF). Previous works have noted that, in its original formulation, QMT exhibits a problem with composability, since the composition of two decoherence functionals is, in general, not a valid decoherence functional. This does not occur when the DFs in question happen to be positive semidefinite (a condition known as strong positivity). In this paper, we study the concept of composability of DFs and its consequences for QMT. Firstly, we show that the problem of composability is much deeper than originally envisaged, since, for any $n$, there exists a DF that can co-exist with $n-1$ copies of itself, but not with $n$. Secondly, we prove that the set of strongly positive DFs cannot be enlarged while remaining closed under composition. Furthermore, any closed set of DFs containing all quantum DFs can only contain strongly positive DFs. △ Less

Submitted 6 November, 2016; v1 submitted 30 September, 2016; originally announced September 2016.

Comments: Modified abstract and conclusion in view of the overlap with [L. Diosi, Phys. Rev. Lett. 92, 170401 (2004)]

Journal ref: Phys. Rev. A 95, 022114 (2017)

Better local hidden variable models for two-qubit Werner states and an upper bound on the Grothendieck constant $K_G(3)$

Authors: Flavien Hirsch, Marco Túlio Quintino, Tamás Vértesi, Miguel Navascués, Nicolas Brunner

Abstract: We consider the problem of reproducing the correlations obtained by arbitrary local projective measurements on the two-qubit Werner state $ρ= v |ψ_- > <ψ_- | + (1- v ) \frac{1}{4}$ via a local hidden variable (LHV) model, where $|ψ_- >$ denotes the singlet state. We show analytically that these correlations are local for $ v = 999\times689\times{10^{-6}}$ $\cos^4(π/50) \simeq 0.6829$. In turn, as… ▽ More We consider the problem of reproducing the correlations obtained by arbitrary local projective measurements on the two-qubit Werner state $ρ= v |ψ_- > <ψ_- | + (1- v ) \frac{1}{4}$ via a local hidden variable (LHV) model, where $|ψ_- >$ denotes the singlet state. We show analytically that these correlations are local for $ v = 999\times689\times{10^{-6}}$ $\cos^4(π/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. △ Less

Submitted 14 April, 2017; v1 submitted 20 September, 2016; originally announced September 2016.

Comments: 12 pages, typos corrected

Journal ref: Quantum 1, 3 (2017)

Convex separation from convex optimization for large-scale problems

Authors: Stephen Brierley, Miguel Navascues, Tamas Vertesi

Abstract: 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 optimizat… ▽ More 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. △ Less

Submitted 5 January, 2017; v1 submitted 16 September, 2016; originally announced September 2016.

Comments: Added reference to the related paper arXiv:1609.06269

Entanglement and Nonlocality in Infinite 1D Systems

Authors: Zizhu Wang, Sukhwinder Singh, Miguel Navascués

Abstract: We consider the problem of detecting entanglement and nonlocality in one-dimensional (1D) infinite, translation-invariant (TI) systems when just near-neighbor information is available. This issue is deeper than one might think a priori, since, as we show, there exist instances of local separable states (classical boxes) which admit only entangled (nonclassical) TI extensions. We provide a simple c… ▽ More We consider the problem of detecting entanglement and nonlocality in one-dimensional (1D) infinite, translation-invariant (TI) systems when just near-neighbor information is available. This issue is deeper than one might think a priori, since, as we show, there exist instances of local separable states (classical boxes) which admit only entangled (nonclassical) TI extensions. We provide a simple characterization of the set of local states of multiseparable TI spin chains and construct a family of linear witnesses which can detect entanglement in infinite TI states from the nearest-neighbor reduced density matrix. Similarly, we prove that the set of classical TI boxes forms a polytope and devise a general procedure to generate all Bell inequalities which characterize it. Using an algorithm based on matrix product states, we show how some of them can be violated by distant parties conducting identical measurements on an infinite TI quantum state. All our results can be easily adapted to detect entanglement and nonlocality in large (finite, not TI) 1D condensed matter systems. △ Less

Submitted 9 June, 2017; v1 submitted 11 August, 2016; originally announced August 2016.

Comments: Added a few references to related work. Closer to the published version

Journal ref: Phys. Rev. Lett. 118, 230401 (2017)

Bond dimension witnesses and the structure of homogeneous matrix product states

Authors: Miguel Navascues, Tamas Vertesi

Abstract: 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… ▽ More 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. △ Less

Submitted 29 January, 2018; v1 submitted 15 September, 2015; originally announced September 2015.

Comments: Accepted for publication in Quantum. We still do not acknowledge support from the European Research Council

Journal ref: Quantum 2, 50 (2018)

Characterizing finite-dimensional quantum behavior

Authors: Miguel Navascues, Adrien Feix, Mateus Araujo, Tamas Vertesi

Abstract: 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 conduct… ▽ More 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. △ Less

Submitted 27 July, 2015; originally announced July 2015.

Comments: 17 pages

Journal ref: Phys. Rev. A 92, 042117 (2015)

A Fractal Operator on Some Standard Spaces of Functions

Authors: P. Viswanathan, M. A. Navascues

Abstract: By appropriate choices of elements in the underlying iterated function system, methodology of fractal interpolation entitles one to associate a family of continuous self-referential functions with a prescribed real-valued continuous function on a real compact interval. This procedure elicits what is referred to as $α$-fractal operator on $\mathcal{C}(I)$, the space of all real-valued continuous fu… ▽ More By appropriate choices of elements in the underlying iterated function system, methodology of fractal interpolation entitles one to associate a family of continuous self-referential functions with a prescribed real-valued continuous function on a real compact interval. This procedure elicits what is referred to as $α$-fractal operator on $\mathcal{C}(I)$, the space of all real-valued continuous functions defined on a compact interval $I$. With an eye towards connecting fractal functions with other branches of mathematics, in this article, we continue to investigate fractal operator in more general spaces such as the space $\mathcal{B}(I)$ of all bounded functions and Lebesgue space $\mathcal{L}^p(I)$, and some standard spaces of smooth functions such as the space $\mathcal{C}^k(I)$ of $k$-times continuously differentiable functions, Hölder spaces $\mathcal{C}^{k,σ}(I)$, and Sobolev spaces $\mathcal{W}^{k,p}(I)$. Using properties of the $α$-fractal operator, the existence of Schauder basis consisting of self-referential functions is established. △ Less

Submitted 19 May, 2015; originally announced May 2015.

Comments: 14 pages

MSC Class: 28A80; 47A05; 47H09; 58C05; 65D05

Non-thermal quantum channels as a thermodynamical resource

Authors: Miguel Navascués, Luis Pedro García-Pintos

Abstract: Quantum thermodynamics can be understood as a resource theory, whereby thermal states are free and the only allowed operations are unitary transformations commuting with the total Hamiltonian of the system. Previous literature on the subject has just focused on transformations between different state resources, overlooking the fact that quantum operations which do not commute with the total energy… ▽ More Quantum thermodynamics can be understood as a resource theory, whereby thermal states are free and the only allowed operations are unitary transformations commuting with the total Hamiltonian of the system. Previous literature on the subject has just focused on transformations between different state resources, overlooking the fact that quantum operations which do not commute with the total energy also constitute a potentially valuable resource. In this Letter, given a number of non-thermal quantum channels, we study the problem of how to integrate them in a thermal engine so as to distill a maximum amount of work. We find that, in the limit of asymptotically many uses of each channel, the distillable work is an additive function of the considered channels, computable for both finite dimensional quantum operations and bosonic channels. We apply our results to bound the amount of distillable work due to the natural non-thermal processes postulated in the Ghirardi-Rimini-Weber (GRW) collapse model. We find that, although GRW theory predicts the possibility to extract work from the vacuum at no cost, the power which a \emph{collapse engine} could in principle generate is extremely low. △ Less

Submitted 15 June, 2015; v1 submitted 12 January, 2015; originally announced January 2015.

Comments: Final version, to appear in PRL

Journal ref: Phys. Rev. Lett. 115, 010405 (2015)

Bounding the set of finite dimensional quantum correlations

Authors: Miguel Navascues, Tamas Vertesi

Abstract: We describe a simple method to derive high performance semidefinite programming relaxations for optimizations over complex and real operator algebras in finite dimensional Hilbert spaces. The method is very flexible, easy to program and allows the user to assess the behavior of finite dimensional quantum systems in a number of interesting setups. We use this method to bound the strength of quantum… ▽ More We describe a simple method to derive high performance semidefinite programming relaxations for optimizations over complex and real operator algebras in finite dimensional Hilbert spaces. The method is very flexible, easy to program and allows the user to assess the behavior of finite dimensional quantum systems in a number of interesting setups. We use this method to bound the strength of quantum nonlocality in bipartite and tripartite Bell scenarios where the dimension of a subset of the parties is bounded from above. We derive new results in quantum communication complexity and prove the soundness of the prepare-and-measure dimension witnesses introduced in [Phys. Rev. Lett. 105, 230501 (2010)]. Finally, we propose a new dimension witness that can distinguish between classical, real and complex two-level systems. △ Less

Submitted 2 December, 2014; originally announced December 2014.

Journal ref: Phys. Rev. Lett. 115, 020501 (2015)

Device-independent tomography of multipartite quantum states

Authors: Karoly F. Pal, Tamas Vertesi, Miguel Navascues

Abstract: In the usual tomography of multipartite entangled quantum states one assumes that the measurement devices used in the laboratory are under perfect control of the experimenter. In this paper, using the so-called SWAP concept introduced recently, we show how one can remove this assumption in realistic experimental conditions and nevertheless be able to characterize the produced multipartite state ba… ▽ More In the usual tomography of multipartite entangled quantum states one assumes that the measurement devices used in the laboratory are under perfect control of the experimenter. In this paper, using the so-called SWAP concept introduced recently, we show how one can remove this assumption in realistic experimental conditions and nevertheless be able to characterize the produced multipartite state based only on observed statistics. Such a black box tomography of quantum states is termed self-testing. As a function of the magnitude of the Bell violation, we are able to self-test emblematic multipartite quantum states such as the three-qubit W state, the three- and four-qubit Greenberger-Horne-Zeilinger states, and the four-qubit linear cluster state. △ Less

Submitted 23 July, 2014; v1 submitted 22 July, 2014; originally announced July 2014.

Comments: See also the related work of arXiv:1407.5769

Journal ref: Phys. Rev. A 90, 042340 (2014)

Robust and versatile black-box certification of quantum devices

Authors: Tzyh Haur Yang, Tamás Vértesi, Jean-Daniel Bancal, Valerio Scarani, Miguel Navascués

Abstract: Self-testing refers to the fact that, in some quantum devices, both states and measurements can be assessed in a black-box scenario, on the sole basis of the observed statistics, i.e. without reference to any prior device calibration. Only a few examples of self-testing are known, and they just provide non-trivial assessment for devices performing unrealistically close to the ideal case. We overco… ▽ More Self-testing refers to the fact that, in some quantum devices, both states and measurements can be assessed in a black-box scenario, on the sole basis of the observed statistics, i.e. without reference to any prior device calibration. Only a few examples of self-testing are known, and they just provide non-trivial assessment for devices performing unrealistically close to the ideal case. We overcome these difficulties by approaching self-testing with the semi-definite programming hierarchy for the characterization of quantum correlations. This allows us to improve dramatically the robustness of previous self-testing schemes -e.g.: we show that a CHSH violation larger than 2.57 certifies a singlet fidelity of more than 70%. In addition, the versatility of the tool brings about self-testing of hitherto impossible cases, such as robust self-testing of non-maximally entangled two-qutrit states in the CGLMP scenario. △ Less

Submitted 27 June, 2014; originally announced June 2014.

Comments: 4 pages, 4 figures, 1 appendix

Journal ref: Phys. Rev. Lett. 113, 040401 (2014)

Almost quantum correlations

Authors: Miguel Navascués, Yelena Guryanova, Matty J. Hoban, Antonio Acín

Abstract: There have been a number of attempts to derive the set of quantum non-local correlations from reasonable physical principles. Here we introduce $\tilde{Q}$, a set of multipartite supra-quantum correlations that has appeared under different names in fields as diverse as graph theory, quantum gravity and quantum information science. We argue that $\tilde{Q}$ may correspond to the set of correlations… ▽ More There have been a number of attempts to derive the set of quantum non-local correlations from reasonable physical principles. Here we introduce $\tilde{Q}$, a set of multipartite supra-quantum correlations that has appeared under different names in fields as diverse as graph theory, quantum gravity and quantum information science. We argue that $\tilde{Q}$ may correspond to the set of correlations of a reasonable physical theory, in which case the research program to reconstruct quantum theory from device-independent principles is met with strong obstacles. In support of this conjecture, we prove that $\tilde{Q}$ is closed under classical operations and satisfies the physical principles of Non-Trivial Communication Complexity, No Advantage for Nonlocal Computation, Macroscopic Locality and Local Orthogonality. We also review numerical evidence that almost quantum correlations satisfy Information Causality. △ Less

Submitted 18 March, 2014; originally announced March 2014.

Comments: 15+2 pages, 1 figure

Journal ref: Nature Communications 6, 6288 (2015)

Closed sets of correlations: answers from the zoo

Authors: Ben Lang, Tamas Vertesi, Miguel Navascues

Abstract: We investigate the conditions under which a set of multipartite nonlocal correlations can describe the distributions achievable by distant parties conducting experiments in a consistent universe. Several questions are posed, such as: are all such sets "nested", i.e., contained into one another? Are they discrete or do they form a continuum? How many of them are supraquantum? Are there non-trivial… ▽ More We investigate the conditions under which a set of multipartite nonlocal correlations can describe the distributions achievable by distant parties conducting experiments in a consistent universe. Several questions are posed, such as: are all such sets "nested", i.e., contained into one another? Are they discrete or do they form a continuum? How many of them are supraquantum? Are there non-trivial polytopes among them? We answer some of these questions or relate them with established conjectures in complexity theory by introducing a "zoo" of physically consistent sets which can be characterized efficiently via either linear or semidefinite programming. As a bonus, we use the zoo to derive, for the first time, concrete impossibility results in nonlocality distillation. △ Less

Submitted 12 February, 2014; originally announced February 2014.

Comments: 24 pages, 5 figures

Journal ref: Journal of Physics A 47, 424029 (2014)

Quantifying Einstein-Podolsky-Rosen steering

Authors: Paul Skrzypczyk, Miguel Navascues, Daniel Cavalcanti

Abstract: Einstein-Podolsky-Rosen (EPR) steering is a form of bipartite quantum correlation that is intermediate between entanglement and Bell nonlocality. It allows for entanglement certification when the measurements performed by one of the parties are not characterised (or are untrusted) and has applications in quantum key distribution. Despite its foundational and applied importance, EPR steering lacks… ▽ More Einstein-Podolsky-Rosen (EPR) steering is a form of bipartite quantum correlation that is intermediate between entanglement and Bell nonlocality. It allows for entanglement certification when the measurements performed by one of the parties are not characterised (or are untrusted) and has applications in quantum key distribution. Despite its foundational and applied importance, EPR steering lacks a quantitative assessment. Here we propose a way of quantifying this phenomenon and use it to study the steerability of several quantum states. In particular we show that every pure entangled state is maximally steerable, the projector onto the anti-symmetric subspace is maximally steerable for all dimensions, we provide a new example of one-way steering, and give strong support that states with positive-partial-transposition are not steerable. △ Less

Submitted 11 April, 2014; v1 submitted 18 November, 2013; originally announced November 2013.

Comments: 9 pages, 1 figure. v2: One example (ex. (iv)) removed. One appendix (E) and one reference ([28]) added. V3: new example of one-way steering included, typos corrected, new references

Journal ref: Phys. Rev. Lett. 112, 180404 (2014)

Characterization of quantum correlations with local dimension constraints and its device-independent applications

Authors: Miguel Navascues, Gonzalo de la Torre, Tamas Vertesi

Abstract: The future progress of semi-device independent quantum information science depends crucially on our ability to bound the strength of the nonlocal correlations achievable with finite dimensional quantum resources. In this work, we characterize quantum nonlocality under local dimension constraints via a complete hierarchy of semidefinite programming relaxations. In the bipartite case, we find that t… ▽ More The future progress of semi-device independent quantum information science depends crucially on our ability to bound the strength of the nonlocal correlations achievable with finite dimensional quantum resources. In this work, we characterize quantum nonlocality under local dimension constraints via a complete hierarchy of semidefinite programming relaxations. In the bipartite case, we find that the first level of the hierarchy returns non-trivial bounds in all cases considered, allowing to study nonlocality scenarios with four measurement settings on one side and twelve (12) on the other in a normal desktop. In the tripartite case, we apply the hierarchy to derive a Bell-type inequality that can only be violated when each of the three parties has local dimension greater than two, hence certifying three-dimensional tripartite entanglement in a device independent way. Finally, we show how the new method can be trivially modified to detect non-separable measurements in two-qubit scenarios. △ Less

Submitted 2 February, 2014; v1 submitted 15 August, 2013; originally announced August 2013.

Comments: 9+3 pages

Journal ref: Phys. Rev. X 4, 011011 (2014)

Nonlocality in sequential correlation scenarios

Authors: Rodrigo Gallego, Lars Erik Würflinger, Rafael Chaves, Antonio Acín, Miguel Navascués

Abstract: As first shown by Popescu [S. Popescu, Phys. Rev. Lett. 74, 2619 (1995)], some quantum states only reveal their nonlocality when subjected to a sequence of measurements while giving rise to local correlations in standard Bell tests. Motivated by this manifestation of "hidden nonlocality" we set out to develop a general framework for the study of nonlocality when sequences of measurements are perfo… ▽ More As first shown by Popescu [S. Popescu, Phys. Rev. Lett. 74, 2619 (1995)], some quantum states only reveal their nonlocality when subjected to a sequence of measurements while giving rise to local correlations in standard Bell tests. Motivated by this manifestation of "hidden nonlocality" we set out to develop a general framework for the study of nonlocality when sequences of measurements are performed. Similar to [R. Gallego et al., Phys. Rev. Lett. 109, 070401 (2013)] our approach is operational, i.e. the task is to identify the set of allowed operations in sequential correlation scenarios and define nonlocality as the resource that cannot be created by these operations. This leads to a characterisation of sequential nonlocality that contains as particular cases standard nonlocality and hidden nonlocality. △ Less

Submitted 19 January, 2014; v1 submitted 2 August, 2013; originally announced August 2013.

Comments: 13 pages, 3 figures

Journal ref: New J. Phys. 16 (2014) 033037

Physical characterization of quantum devices from nonlocal correlations

Authors: Jean-Daniel Bancal, Miguel Navascués, Valerio Scarani, Tamás Vértesi, Tzyh Haur Yang

Abstract: In the device-independent approach to quantum information theory, quantum systems are regarded as black boxes which, given an input (the measurement setting), return an output (the measurement result). These boxes are then treated regardless of their actual internal working. In this paper, we develop SWAP, a theoretical concept which, in combination with the tool of semi-definite methods for the c… ▽ More In the device-independent approach to quantum information theory, quantum systems are regarded as black boxes which, given an input (the measurement setting), return an output (the measurement result). These boxes are then treated regardless of their actual internal working. In this paper, we develop SWAP, a theoretical concept which, in combination with the tool of semi-definite methods for the characterization of quantum correlations, allows us to estimate physical properties of the black boxes from the observed measurement statistics. We find that the SWAP tool provides bounds orders of magnitude better than previously-known techniques (e.g.: for a CHSH violation larger than 2.57, SWAP predicts a singlet fidelity greater than 70%). This method also allows us to deal with hitherto intractable cases such as robust device-independent self-testing of non-maximally entangled two-qutrit states in the CGLMP scenario (for which Jordan's Lemma does not apply) and the device-independent certification of entangled measurements. We further apply the SWAP method to relate nonlocal correlations to work extraction and quantum dimensionality, hence demonstrating that this tool can be used to study a wide variety of properties relying on the sole knowledge of accessible statistics. △ Less

Submitted 22 February, 2015; v1 submitted 26 July, 2013; originally announced July 2013.

Comments: 17+2 pages, 10 figures, published version

Journal ref: Phys. Rev. A 91, 022115 (2015)

The Physics of crypto-nonlocality

Authors: Miguel Navascues

Abstract: In 2003, Leggett introduced his model of crypto-nonlocality based on considerations on the reality of the photon polarization. In this note, we prove that, contrary to hints in subsequent literature, crypto-nonlocality does not follow naturally from the postulate that polarization is a realistic variable. More explicitly, consider physical theories where: a) faster-than-light communication is impo… ▽ More In 2003, Leggett introduced his model of crypto-nonlocality based on considerations on the reality of the photon polarization. In this note, we prove that, contrary to hints in subsequent literature, crypto-nonlocality does not follow naturally from the postulate that polarization is a realistic variable. More explicitly, consider physical theories where: a) faster-than-light communication is impossible; b) all physical photon states have a definite polarization; and c) given two separate photons, if we measure one of them and post-select on the result, the measurement statistics of the remaining system correspond to a photon state. We show that the outcomes of any two-photon polarization experiment in these theories must follow the statistics generated by measuring a separable two-qubit quantum state. Consequently, in such experiments any instance of entanglement detection -and not necessarily a Leggett inequality violation- can be regarded as a refutation of this class of theories. △ Less

Submitted 7 April, 2014; v1 submitted 20 March, 2013; originally announced March 2013.

Comments: Published version

Journal ref: Phys. Rev. A 89, 022114 (2014)

How energy conservation limits our measurements

Authors: Miguel Navascues, Sandu Popescu

Abstract: Observations in Quantum Mechanics are subject to complex restrictions arising from the principle of energy conservation. Determining such restrictions, however, has been so far an elusive task, and only partial results are known. In this paper we discuss how constraints on the energy spectrum of a measurement device translate into limitations on the measurements which we can effect on a target sys… ▽ More Observations in Quantum Mechanics are subject to complex restrictions arising from the principle of energy conservation. Determining such restrictions, however, has been so far an elusive task, and only partial results are known. In this paper we discuss how constraints on the energy spectrum of a measurement device translate into limitations on the measurements which we can effect on a target system with non-trivial energy operator. We provide efficient algorithms to characterize such limitations and we quantify them exactly when the target is a two-level quantum system. Our work thus identifies the boundaries between what is possible or impossible to measure, i.e., between what we can see or not, when energy conservation is at stake. △ Less

Submitted 25 April, 2014; v1 submitted 9 November, 2012; originally announced November 2012.

Comments: Better read the 5-page published version first

Journal ref: Phys. Rev. Lett. 112, 140502 (2014)