BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Miguel Navascues

Miguel Navascues appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
quant-phmath.OCcond-mat.str-elmath.PR

Catalog footprint

What is connected

24works
4topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

24 published item(s)

preprint2019arXiv

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

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.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Characterizing finite-dimensional quantum behavior

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.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Bounding the set of finite dimensional quantum correlations

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.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

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

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.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Closed sets of correlations: answers from the zoo

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.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Device-independent tomography of multipartite quantum states

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.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

How energy conservation limits our measurements

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.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Quantifying Einstein-Podolsky-Rosen steering

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.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

The Physics of crypto-nonlocality

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.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Robust Self Testing of Unknown Quantum Systems into Any Entangled Two-Qubit States

Self testing is a device independent approach to estimate the state and measurement operators, without the need to assume the dimension of our quantum system. In this paper, we show that one can self test black boxes into any pure entangled two-qubit state, by performing simple Bell type experiments. The approach makes use of only one family of two-inputs/two-outputs Bell inequalities. Furthermore, we outline the sufficient conditions for one to self test any dimensional bipartite entangled state. All these methods are robust to small but inevitable experimental errors.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Testing microscopic discretization

What can we say about the spectra of a collection of microscopic variables when only their coarse-grained sums are experimentally accessible? In this paper, using the tools and methodology from the study of quantum nonlocality, we develop a mathematical theory of the macroscopic fluctuations generated by ensembles of independent microscopic discrete systems. We provide algorithms to decide which multivariate gaussian distributions can be approximated by sums of finitely-valued random vectors. We study non-trivial cases where the microscopic variables have an unbounded range, as well as asymptotic scenarios with infinitely many macroscopic variables. From a foundational point of view, our results imply that bipartite gaussian states of light cannot be understood as beams of independent d-dimensional particle pairs. It is also shown that the classical description of certain macroscopic optical experiments, as opposed to the quantum one, requires variables with infinite cardinality spectra.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Joint system quantum descriptions arising from local quantumness

Bipartite correlations generated by non-signalling physical systems that admit a finite-dimensional local quantum description cannot exceed the quantum limits, i.e., they can always be interpreted as distant measurements of a bipartite quantum state. Here we consider the effect of dropping the assumption of finite dimensionality. Remarkably, we find that the same result holds provided that we relax the tensor structure of space-like separated measurements to mere commutativity. We argue why an extension of this result to tensor representations seems unlikely.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Quantum Steering and Space-Like Separation

In non-relativistic quantum mechanics, measurements performed by separate observers are modeled via tensor products. In Algebraic Quantum Field Theory, though, local observables corresponding to space-like separated parties are just required to commute. The problem of determining whether these two definitions of "separation" lead to the same set of bipartite correlations is known in non-locality as Tsirelson's problem. In this article, we prove that the analog of Tsirelson's problem in steering scenarios is false. That is, there exists a steering inequality that can be violated or not depending on how we define space-like separation at the operator level.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

A physical approach to Tsirelson's problem

Tsirelson's problem deals with how to model separate measurements in quantum mechanics. In addition to its theoretical importance, the resolution of Tsirelson's problem could have great consequences for device independent quantum key distribution and certified randomness. Unfortunately, understanding present literature on the subject requires a heavy mathematical background. In this paper, we introduce quansality, a new theoretical concept that allows to reinterpret Tsirelson's problem from a foundational point of view. Using quansality as a guide, we recover all known results on Tsirelson's problem in a clear and intuitive way.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Activation of Non-Local Quantum Resources

We find two two-qubit states such that any number of copies of one state or the other cannot violate the CHSH Bell inequality. However, their tensor product can produce a CHSH violation of at least 2.023. We also identify a CHSH-local state such that two copies of it are CHSH-violating. The tools employed here can be easily adapted to find instances of non-locality activation in arbitrary Bell scenarios.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Certifying entangled measurements in known Hilbert spaces

We study under which conditions it is possible to assert that a joint demolition measurement cannot be simulated by Local Operations and Classical Communication. More concretely, we consider a scenario where two parties, Alice and Bob, send each an unknown state to a third party, Charlie, who in turn interacts with the states in some undisclosed way and then announces an outcome. We show that, under the assumption that Alice and Bob know the dimensionality of their systems, there exist situations where the statistics of the outcomes reveals the nature of Charlie's measurement.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Convergent relaxations of polynomial optimization problems with non-commuting variables

We consider optimization problems with polynomial inequality constraints in non-commuting variables. These non-commuting variables are viewed as bounded operators on a Hilbert space whose dimension is not fixed and the associated polynomial inequalities as semidefinite positivity constraints. Such problems arise naturally in quantum theory and quantum information science. To solve them, we introduce a hierarchy of semidefinite programming relaxations which generates a monotone sequence of lower bounds that converges to the optimal solution. We also introduce a criterion to detect whether the global optimum is reached at a given relaxation step and show how to extract a global optimizer from the solution of the corresponding semidefinite programming problem.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Sequential Strong Measurements and Heat Vision

We study scenarios where a finite set of non-demolition von-Neumann measurements are available. We note that, in some situations, repeated application of such measurements allows estimating an infinite number of parameters of the initial quantum state, and illustrate the point with a physical example. We then move on to study how the system under observation is perturbed after several rounds of projective measurements. While in the finite dimensional case the effect of this perturbation always saturates, there are some instances of infinite dimensional systems where such a perturbation is accumulative, and the act of retrieving information about the system increases its energy indefinitely (i.e., we have `Heat Vision'). We analyze this effect and discuss a specific physical system with two dichotomic von-Neumann measurements where Heat Vision is expected to show.

0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv

A complete criterion for separability detection

Using new results on the separability properties of bosonic systems, we provide a new complete criterion for separability. This criterion aims at characterizing the set of separable states from the inside by means of a sequence of efficiently solvable semidefinite programs. We apply this method to derive arbitrarily good approximations to the optimal measure-and-prepare strategy in generic state estimation problems. Finally, we report its performance in combination with the criterion developed by Doherty et al. [1] for the calculation of the entanglement robustness of a relevant family of quantum states whose separability properties were unknown.

0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv

A glance beyond the quantum model

One of the most important problems in Physics is how to reconcile Quantum Mechanics with General Relativity. Some authors have suggested that this may be realized at the expense of having to drop the quantum formalism in favor of a more general theory. However, as the experiments we can perform nowadays are far away from the range of energies where we may expect to observe non-quantum effects, it is difficult to theorize at this respect. Here we propose a fundamental axiom that we believe any reasonable post-quantum theory should satisfy, namely, that such a theory should recover classical physics in the macroscopic limit. We use this principle, together with the impossibility of instantaneous communication, to characterize the set of correlations that can arise between two distant observers. Although several quantum limits are recovered, our results suggest that quantum mechanics could be falsified by a Bell-type experiment if both observers have a sufficient number of detectors.

0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv

The power of symmetric extensions for entanglement detection

In this paper, we present new progress on the study of the symmetric extension criterion for separability. First, we show that a perturbation of order O(1/N) is sufficient and, in general, necessary to destroy the entanglement of any state admitting an N Bose symmetric extension. On the other hand, the minimum amount of local noise necessary to induce separability on states arising from N Bose symmetric extensions with Positive Partial Transpose (PPT) decreases at least as fast as O(1/N^2). From these results, we derive upper bounds on the time and space complexity of the weak membership problem of separability when attacked via algorithms that search for PPT symmetric extensions. Finally, we show how to estimate the error we incur when we approximate the set of separable states by the set of (PPT) N -extendable quantum states in order to compute the maximum average fidelity in pure state estimation problems, the maximal output purity of quantum channels, and the geometric measure of entanglement.

0 citations0 reviewsNo code linkedOpen access
preprint2005arXiv

Gaussian Operations and Privacy

We consider the possibilities offered by Gaussian states and operations for two honest parties, Alice and Bob, to obtain privacy against a third eavesdropping party, Eve. We first extend the security analysis of the protocol proposed in M. Navascues et al., Phys. Rev. Lett. 94, 010502 (2005). Then, we prove that a generalized version of this protocol does not allow to distill a secret key out of bound entangled Gaussian states.

0 citations0 reviewsNo code linkedOpen access