Source author record

Otfried Gühne

Otfried Gühne appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

73works
11topics
4close collaborators

Actions

Connect this record

Log in to claim

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

73 published item(s)

preprint2023arXiv

Kochen-Specker Contextuality

A central result in the foundations of quantum mechanics is the Kochen-Specker theorem. In short, it states that quantum mechanics is in conflict with classical models in which the result of a measurement does not depend on which other compatible measurements are jointly performed. Here compatible measurements are those that can be implemented simultaneously or, more generally, those that are jointly measurable. This conflict is generically called quantum contextuality. In this review, an introduction to this subject and its current status is presented. Several proofs of the Kochen-Specker theorem and different notions of contextuality are reviewed. How to experimentally test some of these notions is explained and connections between contextuality and nonlocality or graph theory are discussed. Finally, some applications of contextuality in quantum information processing are reviewed.

preprint2022arXiv

Characterizing generalized axisymmetric quantum states in $d\times d$ systems

We introduce a family of highly symmetric bipartite quantum states in arbitrary dimensions. It consists of all states that are invariant under local phase rotations and local cyclic permutations of the basis. We solve the separability problem for a subspace of these states and show that a sizable part of the family is bound entangled. We also calculate some of the Schmidt numbers for the family in $d = 3$, thereby characterizing the dimensionality of entanglement. Our results allow us to estimate entanglement properties of arbitrary states, as general states can be symmetrized to the considered family by local operations.

preprint2022arXiv

Quantum-Inspired Hierarchy for Rank-Constrained Optimization

Many problems in information theory can be reduced to optimizations over matrices, where the rank of the matrices is constrained. We establish a link between rank-constrained optimization and the theory of quantum entanglement. More precisely, we prove that a large class of rank-constrained semidefinite programs can be written as a convex optimization over separable quantum states and, consequently, we construct a complete hierarchy of semidefinite programs for solving the original problem. This hierarchy not only provides a sequence of certified bounds for the rank-constrained optimization problem, but also gives pretty good and often exact values in practice when the lowest level of the hierarchy is considered. We demonstrate that our approach can be used for relevant problems in quantum information processing, such as the optimization over pure states, the characterization of mixed unitary channels and faithful entanglement, and quantum contextuality, as well as in classical information theory including the maximum cut problem, pseudo-Boolean optimization, and the orthonormal representation of graphs. Finally, we show that our ideas can be extended to rank-constrained quadratic and higher-order programming.

preprint2022arXiv

Statistical Methods for Quantum State Verification and Fidelity Estimation

The efficient and reliable certification of quantum states is essential for various quantum information processing tasks as well as for the general progress on the implementation of quantum technologies. In the last few years several methods have been introduced which use advanced statistical methods to certify quantum states in a resource-efficient manner. In this article we present a review of the recent progress in this field. We first explain how the verification and fidelity estimation of a quantum state can be discussed in the language of hypothesis testing. Then, we explain in detail various strategies for the verification of entangled states with local measurements or measurements assisted by local operations and classical communication. Finally, we discuss several extensions of the problem, such as the certification of quantum channels and the verification of entanglement.

preprint2022arXiv

Structure of dimension-bounded temporal correlations

We analyze the structure of the space of temporal correlations generated by quantum systems. We show that the temporal correlation space under dimension constraints can be nonconvex. For the general case, we provide the necessary and sufficient dimension of a quantum system needed to generate a convex correlation space for a given scenario. We further prove that this dimension coincides with the dimension necessary to generate any point in the temporal correlation polytope. As an application of our results, we derive nonlinear inequalities to witness the nonconvexity for qubits and qutrits in the simplest scenario, and present an algorithm which can help to find the minimum for a certain type of nonlinear expressions under dimension constraints.

preprint2022arXiv

Symmetries in quantum networks lead to no-go theorems for entanglement distribution and to verification techniques

Quantum networks are promising tools for the implementation of long-range quantum communication. The characterization of quantum correlations in networks and their usefulness for information processing is therefore central for the progress of the field, but so far only results for small basic network structures or pure quantum states are known. Here we show that symmetries provide a versatile tool for the analysis of correlations in quantum networks. We provide an analytical approach to characterize correlations in large network structures with arbitrary topologies. As examples, we show that entangled quantum states with a bosonic or fermionic symmetry can not be generated in networks; moreover, cluster and graph states are not accessible. Our methods can be used to design certification methods for the functionality of specific links in a network and have implications for the design of future network structures.

preprint2021arXiv

A complete hierarchy for the pure state marginal problem in quantum mechanics

Clarifying the relation between the whole and its parts is crucial for many problems in science. In quantum mechanics, this question manifests itself in the quantum marginal problem, which asks whether there is a global pure quantum state for some given marginals. This problem arises in many contexts, ranging from quantum chemistry to entanglement theory and quantum error correcting codes. In this paper, we prove a correspondence of the marginal problem to the separability problem. Based on this, we describe a sequence of semidefinite programs which can decide whether some given marginals are compatible with some pure global quantum state. As an application, we prove that the existence of multiparticle absolutely maximally entangled states for a given dimension is equivalent to the separability of an explicitly given two-party quantum state. Finally, we show that the existence of quantum codes with given parameters can also be interpreted as a marginal problem, hence, our complete hierarchy can also be used.

preprint2021arXiv

Quantum measurement incompatibility in subspaces

We consider the question of characterising the incompatibility of sets of high-dimensional quantum measurements. We introduce the concept of measurement incompatibility in subspaces. That is, starting from a set of measurements that is incompatible, one considers the set of measurements obtained by projection onto any strict subspace of fixed dimension. We identify three possible forms of incompatibility in subspaces: (i) incompressible incompatibility: measurements that become compatible in every subspace, (ii) fully compressible incompatibility: measurements that remain incompatible in every subspace, and (iii) partly compressible incompatibility: measurements that are compatible in some subspace and incompatible in another. For each class we discuss explicit examples. Finally, we present some applications of these ideas. First we show that joint measurability and coexistence are two inequivalent notions of incompatibility in the simplest case of qubit systems. Second we highlight the implications of our results for tests of quantum steering.

preprint2020arXiv

Characterizing quantum states via sector lengths

Correlations in multiparticle systems are constrained by restrictions from quantum mechanics. A prominent example for these restrictions are monogamy relations, limiting the amount of entanglement between pairs of particles in a three-particle system. A powerful tool to study correlation constraints is the notion of sector lengths. These quantify, for different $k$, the amount of $k$-partite correlations in a quantum state in a basis-independent manner. We derive tight bounds on the sector lengths in multi-qubit states and highlight applications of these bounds to entanglement detection, monogamy relations and the $n$-representability problem. For the case of two- and three qubits we characterize the possible sector lengths completely and prove a symmetrized version of strong subadditivity for the linear entropy.

preprint2020arXiv

Entanglement characterization using quantum designs

We present in detail a statistical approach for the reference-frame-independent detection and characterization of multipartite entanglement based on moments of randomly measured correlation functions. We start by discussing how the corresponding moments can be evaluated with designs, linking methods from group and entanglement theory. Then, we illustrate the strengths of the presented framework with a focus on the multipartite scenario. We discuss a condition for characterizing genuine multipartite entanglement for three qubits, and we prove criteria that allow for a discrimination of $W$-type entanglement for an arbitrary number of qubits.

preprint2020arXiv

Experimentally accessible lower bounds for genuine multipartite entanglement and coherence measures

Experimentally quantifying entanglement and coherence are extremely important for quantum resource theory. However, because the quantum state tomography requires exponentially growing measurements with the number of qubits, it is hard to quantify entanglement and coherence based on the full information of the experimentally realized multipartite states. Fortunately, other methods have been found to directly measure the fidelity of experimental states without quantum state tomography. Here we present a fidelity-based method to derive experimentally accessible lower bounds for measures of genuine multipartite entanglement and coherence. On the one hand, the method works for genuine multipartite entanglement measures including the convex-roof extended negativity, the concurrence, the G-concurrence, and the geometric measure for genuine multipartite entanglement. On the other hand, the method also delivers observable lower bounds for the convex roof of the $l_{1}$-norm of coherence, the geometric measure of coherence, and the coherence of formation. Furthermore, all the lower bounds are based on the fidelity between the chosen pure state and the target state, and we obtain the lower bounds of several real experimental states as examples of our results.

preprint2020arXiv

Genuine temporal correlations can certify the quantum dimension

Temporal correlations in quantum mechanics are the origin of several non-classical phenomena, but they depend on the dimension of the underlying quantum system. This allows one to use such correlations for the certification of a minimal Hilbert space dimension. Here we provide a theoretical proposal and an experimental implementation of a device-independent dimension test, using temporal correlations observed on a single trapped $^{171}$Yb$^+$ ion. Our test goes beyond the prepare-and-measure scheme of previous approaches, demonstrating the advantage of genuine temporal correlations.

preprint2020arXiv

Proof of the Peres conjecture for contextuality

A central result in the foundations of quantum mechanics is the Kochen-Specker theorem. In short, it states that quantum mechanics cannot be reconciled with classical models that are noncontextual for ideal measurements. The first explicit derivation by Kochen and Specker was rather complex, but considerable simplifications have been achieved thereafter. We propose a systematic approach to find minimal Hardy-type and Greenberger-Horne-Zeilinger-type (GHZ-type) proofs of the Kochen-Specker theorem, these are characterized by the fact that the predictions of classical models are opposite to the predictions of quantum mechanics. Based on our results, we show that the Kochen-Specker set with 18 vectors from Cabello et al. [A. Cabello et al., Phys. Lett. A 212, 183 (1996)] is the minimal set for any dimension, verifying a longstanding conjecture by Peres. Our results allow to identify minimal contextuality scenarios and to study their usefulness for information processing.

preprint2020arXiv

Quantum Steering

Quantum correlations between two parties are essential for the argument of Einstein, Podolsky, and Rosen in favour of the incompleteness of quantum mechanics. Schrödinger noted that an essential point is the fact that one party can influence the wave function of the other party by performing suitable measurements. He called this phenomenon quantum steering and studied its properties, but only in the last years this kind of quantum correlation attracted significant interest in quantum information theory. In this paper the theory of quantum steering is reviewed. First, the basic concepts of steering and local hidden state models are presented and their relation to entanglement and Bell nonlocality is explained. Then various criteria for characterizing steerability and structural results on the phenomenon are described. A detailed discussion is given on the connections between steering and incompatibility of quantum measurements. Finally, applications of steering in quantum information processing and further related topics are reviewed.

preprint2020arXiv

Symmetries between measurements in quantum mechanics

Symmetries are a key concept to connect mathematical elegance with physical insight. We consider measurement assemblages in quantum mechanics and show how their symmetry can be described by means of the so-called discrete bundles. It turns out that many measurement assemblages used in quantum information theory as well as for studying the foundations of quantum mechanics are entirely determined by symmetry; moreover, starting from a certain symmetry group, novel types of measurement sets can be constructed. The insight gained from symmetry allows us to easily determine whether the measurements in the set are incompatible under noisy conditions, i.e., whether they can be regarded as genuinely distinct ones. In addition, symmetry enables us to identify finite sets of measurements having a high sensitivity to reveal the quantumness of distributed quantum states.

preprint2019arXiv

Entropic uncertainty relations from quantum designs

In the course of the last decades entropic uncertainty relations have attracted much attention not only due to their fundamental role as manifestation of non-classicality of quantum mechanics, but also as major tools for applications of quantum information theory. Amongst the latter are protocols for the detection of quantum correlations or for the secure distribution of secret keys. In this work we show how to derive entropic uncertainty relations for sets of measurements whose effects form quantum designs. The key property of quantum designs is their indistinguishability from truly random quantum processes as long as one is concerned with moments up to some finite order. Exploiting this characteristic enables us to evaluate polynomial functions of measurement probabilities which leads to lower bounds on sums of generalized entropies. As an application we use the derived uncertainty relations to investigate the incompatibility of sets of binary observables.

preprint2019arXiv

Quantum steering of Bell-diagonal states with generalized measurements

The phenomenon of quantum steering in bipartite quantum systems can be reduced to the question whether or not the first party can perform measurements such that the conditional states on the second party can be explained by a local hidden state model. Clearly, the answer to this depends on the measurements which the first party is able to perform. We introduce a local hidden state model explaining the conditional states for all generalized measurements on Bell-diagonal states of two qubits. More precisely, it is known for the restricted case of projective measurements and Bell-diagonal states characterised by the correlation matrix $T$ that a local hidden state model exists if and only if $R_T= 2 πN_T |\det (T)| \ge 1$, where $N_T$ is defined by an integral over the Bloch sphere. For generalized measurements described by positive operator valued measures we construct a model if $R_T \ge 6/5$. Our work paves the way for a systematic study of steerability of quantum states with generalized measurements beyond the highly-symmetric Werner states.

preprint2016arXiv

Analysing multiparticle quantum states

The analysis of multiparticle quantum states is a central problem in quantum information processing. This task poses several challenges for experimenters and theoreticians. We give an overview over current problems and possible solutions concerning systematic errors of quantum devices, the reconstruction of quantum states, and the analysis of correlations and complexity in multiparticle density matrices.

preprint2016arXiv

Characterizing ground and thermal states of few-body Hamiltonians

The question whether a given quantum state is a ground or thermal state of a few-body Hamiltonian can be used to characterize the complexity of the state and is important for possible experimental implementations. We provide methods to characterize the states generated by two- and, more generally, k-body Hamiltonians as well as the convex hull of these sets. This leads to new insights into the question which states are uniquely determined by their marginals and to a generalization of the concept of entanglement. Finally, certification methods for quantum simulation can be derived.

preprint2016arXiv

Evaluating the geometric measure of multiparticle entanglement

We present an analytical approach to evaluate the geometric measure of multiparticle entanglement for mixed quantum states. Our method allows the computation of this measure for a family of multiparticle states with a certain symmetry and delivers lower bounds on the measure for general states. It works for an arbitrary number of particles, for arbitrary classes of multiparticle entanglement, and can also be used to determine other entanglement measures.

preprint2016arXiv

Extreme violation of local realism in quantum hypergraph states

Hypergraph states form a family of multiparticle quantum states that generalizes the well-known concept of Greenberger-Horne-Zeilinger states, cluster states, and more broadly graph states. We study the nonlocal properties of quantum hypergraph states. We demonstrate that the correlations in hypergraph states can be used to derive various types of nonlocality proofs, including Hardy-type arguments and Bell inequalities for genuine multiparticle nonlocality. Moreover, we show that hypergraph states allow for an exponentially increasing violation of local realism which is robust against loss of particles. Our results suggest that certain classes of hypergraph states are novel resources for quantum metrology and measurement-based quantum computation.

preprint2016arXiv

Generalized Effective Operator Formalism for Decaying Systems

Systems of neutral kaons can be used to observe entanglement and the violation of Bell inequalities. The decay of these particles poses some problems, however, and recently an effective formalism for treating such systems has been derived. We generalize this formalism and make it applicable to other quantum systems that can be made to behave in a similar manner. As examples, we discuss two possible implementations of the generalized formalism using trapped ions such as $^{171}$Yb or $^{172}$Yb, which may be used to simulate kaonic behavior in a quantum optical system.

preprint2016arXiv

Multiparticle entanglement as an emergent phenomenon

The question whether global entanglement of a multiparticle quantum system can be inferred from local properties is of great relevance for the theory of quantum correlations as well as for experimental implementations. We present a method to systematically find quantum states, for which the two- or three-body marginals do not contain any entanglement, nevertheless, the knowledge of these reduced states is sufficient to prove genuine multiparticle entanglement of the global state. With this, we show that the emergence of global entanglement from separable local quantum states occurs frequently and for an arbitrary number of particles. We discuss various extensions of the phenomenon and present examples where global entanglement can be proven from marginals, even if entanglement cannot be localized in the marginals with measurements on the other parties.

preprint2016arXiv

One-to-one mapping between steering and joint measurability problems

Quantum steering refers to the possibility for Alice to remotely steer Bob's state by performing local measurements on her half of a bipartite system. Two necessary ingredients for steering are entanglement and incompatibility of Alice's measurements. In particular, it has been recently proven that for the case of pure states of maximal Schmidt rank the problem of steerability for Bob's assemblage is equivalent to the problem of joint measurability for Alice's observables. We show that such an equivalence holds in general, namely, the steerability of any assemblage can always be formulated as a joint measurability problem, and vice versa. We use this connection to introduce steering inequalities from joint measurability criteria and develop quantifiers for the incompatibility of measurements.

preprint2016arXiv

Optimized parameter estimation in the presence of collective phase noise

We investigate phase and frequency estimation with different measurement strategies under the effect of collective phase noise. First, we consider the standard linear estimation scheme and present an experimentally realisable optimization of the initial probe states by collective rotations. We identify the optimal rotation angle for different measurement times. Second, we show that sub-shot noise sensitivity - up to the Heisenberg limit - can be reached in presence of collective phase noise by using differential interferometry, where one part of the system is used to monitor the noise. For this, not only GHZ states but also symmetric Dicke states are suitable. We investigate the optimal splitting for a general symmetric Dicke state at both inputs and discuss possible experimental realisations of differential interferometry.

preprint2016arXiv

Steering maps and their application to dimension-bounded steering

The existence of quantum correlations that allow one party to steer the quantum state of another party is a counterintuitive quantum effect that has been described already at the beginning of the past century. Steering occurs if entanglement can be proven although the description of the measurements on one party is not known, while the other side is characterized. We introduce the concept of steering maps that allow to unlock the sophisticated techniques developed in regular entanglement detection to be used for certifying steerability. As an application we show that this allows to go even beyond the canonical steering scenario, enabling a generalized dimension-bounded steering where one only assumes the Hilbert space dimension on the characterized side, but no description of the measurements. Surprisingly this does not weaken the detection strength of very symmetric scenarios that have recently been carried out in experiments.

preprint2016arXiv

Thermodynamical cost of some interpretations of quantum theory

The interpretation of quantum theory is one of the longest-standing debates in physics. Type I interpretations see quantum probabilities as determined by intrinsic properties of the observed system. Type II see them as relational experiences between an observer and the system. It is usually believed that a decision between these two options cannot be made simply on purely physical grounds but requires an act of metaphysical judgment. Here we show that, under some assumptions, the problem is decidable using thermodynamics. We prove that type I interpretations are incompatible with the following assumptions: (i) The choice of which measurement is performed can be made randomly and independently of the system under observation, (ii) the system has limited memory, and (iii) Landauer's erasure principle holds.

preprint2015arXiv

Contextuality in phase space

We present a general framework for contextuality tests in phase space using displacement operators. First, we derive a general condition that a single-mode displacement operator should fulfill in order to construct Peres-Mermin square and similar scenarios. This approach offers a straightforward scheme for experimental implementations of the tests via modular variable measurements. In addition to the continuous variable case, our condition can also be applied to finite-dimensional systems in discrete phase space, using Heisenberg-Weyl operators. This approach, therefore, offers a unified picture of contextuality with a geometric flavor.

preprint2015arXiv

Quantum non-demolition measurement enables macroscopic Leggett-Garg tests

We show how a test of macroscopic realism based on Leggett-Garg inequalities (LGIs) can be performed in a macroscopic system. Using a continuous-variable approach, we consider quantum non-demolition (QND) measurements applied to atomic ensembles undergoing magnetically-driven coherent oscillation. We identify measurement schemes requiring only Gaussian states as inputs and giving a significant LGI violation with realistic experimental parameters and imperfections. The predicted violation is shown to be due to true quantum effects rather than to a classical invasivity of the measurement. Using QND measurements to tighten the "clumsiness loophole" forces the stubborn macrorealist to re-create quantum back action in his or her account of measurement.

preprint2015arXiv

Relaxations of separability in multipartite systems: Semidefinite programs, witnesses and volumes

While entanglement is believed to be an important ingredient in understanding quantum many-body physics, the complexity of its characterization scales very unfavorably with the size of the system. Finding super-sets of the set of separable states that admit a simpler description has proven to be a fruitful approach in the bipartite setting. In this paper we discuss a systematic way of characterizing multiparticle entanglement via various relaxations. We furthermore describe an operational witness construction arising from such relaxations that is capable of detecting every entangled state. Finally, we also derive an analytic upper-bound on the volume of biseparable states and show that the volume of the states with a positive partial transpose for any split rapidly outgrows this volume. This proves that simple semi-definite relaxations in the multiparticle case cannot be an equally good approximation for any scenario.

preprint2014arXiv

A unified approach to entanglement criteria using the Cauchy-Schwarz and Hölder inequalities

We present unified approach to different recent entanglement criteria. Although they were developed in different ways, we show that they are all applications of a more general principle given by the Cauchy-Schwarz inequality. We explain this general principle and show how to derive with it not only already known but also new entanglement criteria. We systematically investigate its potential and limits to detect bipartite and multipartite entanglement.

preprint2014arXiv

Analytical characterization of the genuine multiparticle negativity

The genuine multiparticle negativity is a measure of genuine multiparticle entanglement which can be computed numerically. We present several results how this entanglement measure can be characterized analytically. First, we show that with an appropriate normalization this measure can be seen as coming from a mixed convex roof construction. Based on this, we determine its value for $n$-qubit GHZ-diagonal states and four-qubit cluster-diagonal states.

preprint2014arXiv

Bounding the quantum dimension with contextuality

We show that the phenomenon of quantum contextuality can be used to certify lower bounds on the dimension accessed by the measurement devices. To prove this, we derive bounds for different dimensions and scenarios of the simplest noncontextuality inequalities. The resulting dimension witnesses work independently of the prepared quantum state. Our constructions are robust against noise and imperfections, and we show that a recent experiment can be viewed as an implementation of a state-independent quantum dimension witness.

preprint2014arXiv

Evaluation of convex roof entanglement measures

We show a powerful method to compute entanglement measures based on convex roof constructions. In particular, our method is applicable to measures that, for pure states, can be written as low order polynomials of operator expectation values. We show how to compute the linear entropy of entanglement, the linear entanglement of assistance, and a bound on the dimension of the entanglement for bipartite systems. We discuss how to obtain the convex roof of the three-tangle for three-qubit states. We also show how to calculate the linear entropy of entanglement and the quantum Fisher information based on partial information or device independent information. We demonstrate the usefulness of our method by concrete examples

preprint2014arXiv

Experimental Comparison of Efficient Tomography Schemes for a Six-Qubit State

Quantum state tomography suffers from the measurement effort increasing exponentially with the number of qubits. Here, we demonstrate permutationally invariant tomography for which, contrary to conventional tomography, all resources scale polynomially with the number of qubits both in terms of the measurement effort as well as the computational power needed to process and store the recorded data. We demonstrate the benefits of combining permutationally invariant tomography with compressed sensing by studying the influence of the pump power on the noise present in a six-qubit symmetric Dicke state, a case where full tomography is possible only for very high pump powers.

preprint2014arXiv

Joint measurability of generalized measurements implies classicality

The fact that not all measurements can be carried out simultaneously is a peculiar feature of quantum mechanics and responsible for many key phenomena in the theory, such as complementarity or uncertainty relations. For the special case of projective measurements quantum behavior can be characterized by the commutator but for generalized measurements it is not easy to decide whether two measurements can still be understood in classical terms or whether they show already quantum features. We prove that generalized measurements which do not fulfill the notion of joint measurability are nonclassical, as they can be used for the task of quantum steering. This shows that the notion of joint measurability is, among several definitions, the proper one to characterize quantum behavior. Moreover, the equivalence allows to derive novel steering inequalities from known results on joint measurability and new criteria for joint measurability from known results on the steerability of states.

preprint2014arXiv

Non-classicality tests and entanglement witnesses for macroscopic mechanical superposition states

We describe a set of measurement protocols for performing non-classicality tests and the verification of entangled superposition states of macroscopic continuous variable systems, such as nanomechanical resonators. Following earlier works, we first consider a setup where a two-level system is used to indirectly probe the motion of the mechanical system via Ramsey measurements and discuss the application of this methods for detecting non-classical mechanical states. We then show that the generalization of this techniques to multiple resonator modes allows the conditioned preparation and the detection of entangled mechanical superposition states. The proposed measurement protocols can be implemented in various qubit-resonator systems that are currently under experimental investigation and find applications in future tests of quantum mechanics at a macroscopic scale.

preprint2014arXiv

Robustness of multiparticle entanglement: specific entanglement classes and random states

We investigate the robustness of genuine multiparticle entanglement under decoherence. We consider different kinds of entangled three- and four-qubit states as well as random pure states. For amplitude damping noise, we find that the W-type states are most robust, while other states are not more robust than generic states. For phase damping noise the GHZ state is the most robust state, and for depolarizing noise several states are significantly more robust than random states.

preprint2014arXiv

Steering bound entangled states: A counterexample to the stronger Peres conjecture

Quantum correlations are at the heart of many applications in quantum information science and, at the same time, they form the basis for discussions about genuine quantum effects and their difference to classical physics. On one hand, entanglement theory provides the tools to quantify correlations in information processing and many results have been obtained to discriminate useful entanglement, which can be distilled to a pure form, from bound entanglement, being of limited use in many applications. On the other hand, for discriminating quantum phenomena from their classical counterparts, Schrödinger and Bell introduced the notions of steering and local hidden variable models. We provide a method to generate systematically bound entangled quantum states which can still be used for steering and therefore to rule out local hidden state models. This sheds light on the relations between the various views on quantum correlations and disproves a widespread conjecture known as the stronger Peres conjecture. For practical applications, it implies that even the weakest form of entanglement can be certified in a semi-device independent way.

preprint2014arXiv

Systematic errors in current quantum state tomography tools

Common tools for obtaining physical density matrices in experimental quantum state tomography are shown here to cause systematic errors. For example, using maximum likelihood or least squares optimization for state reconstruction, we observe a systematic underestimation of the fidelity and an overestimation of entanglement. A solution for this problem can be achieved by a linear evaluation of the data yielding reliable and computational simple bounds including error bars.

preprint2013arXiv

Bounding temporal quantum correlations

Sequential measurements on a single particle play an important role in fundamental tests of quantum mechanics. We provide a general method to analyze temporal quantum correlations, which allows us to compute the maximal correlations for sequential measurements in quantum mechanics. As an application, we present the full characterization of temporal correlations in the simplest Leggett-Garg scenario and in the sequential measurement scenario associated with the most fundamental proof of the Kochen-Specker theorem.

preprint2013arXiv

Certifying experimental errors in quantum experiments

When experimental errors are ignored in an experiment, the subsequent analysis of its results becomes questionable. We develop tests to detect systematic errors in quantum experiments where only a finite amount of data is recorded and apply these tests to tomographic data taken in an ion trap experiment. We put particular emphasis on quantum state tomography and present three detection methods: the first two employ linear inequalities while the third is based on the generalized likelihood ratio.

preprint2013arXiv

Device-independent entanglement quantification and related applications

We present a general method to quantify both bipartite and multipartite entanglement in a device-independent manner, meaning that we put a lower bound on the amount of entanglement present in a system based on observed data only but independently of any quantum description of the employed devices. Some of the bounds we obtain, such as for the Clauser-Horne-Shimony-Holt Bell inequality or the Svetlichny inequality, are shown to be tight. Besides, device-independent entanglement quantification can serve as a basis for numerous tasks. We show in particular that our method provides a rigorous way to construct dimension witnesses, gives new insights into the question whether bound entangled states can violate a Bell inequality, and can be used to construct device independent entanglement witnesses involving an arbitrary number of parties.

preprint2013arXiv

Entanglement criteria for Dicke states

Dicke states are a family of multi-qubit quantum states with interesting entanglement properties and have been observed in many experiments. We construct entanglement witnesses for detecting genuine multiparticle entanglement in the vicinity of these states. We use the approach of PPT mixtures to derive the conditions analytically. For nearly all cases, our criteria are stronger than all conditions previously known.

preprint2013arXiv

Genuine multiparticle entanglement of permutationally invariant states

We consider the problem of characterizing genuine multiparticle entanglement for permutationally invariant states using the approach of PPT mixtures. We show that the evaluation of this necessary biseparability criterion scales polynomially with the number of particles. In practice, it can be evaluated easily up to ten qubits and improves existing criteria significantly. Finally, we show that our approach solves the problem of characterizing genuine multiparticle entanglement for permutationally invariant three-qubit states.

preprint2013arXiv

Tests against noncontextual models with measurement disturbances

The testability of the Kochen-Specker theorem is a subject of ongoing controversy. A central issue is that experimental implementations relying on sequential measurements cannot achieve perfect compatibility between the measurements and that therefore the notion of noncontextuality is not well defined. We demonstrate by an explicit model that such compatibility violations may yield a violation of noncontextuality inequalities, even if we assume that the incompatibilities merely originate from context-independent noise. We show, however, that this problem can be circumvented by combining the ideas behind Leggett-Garg inequalities with those of the Kochen-Specker theorem.

preprint2012arXiv

Algorithm for characterizing stochastic local operations and classical communication classes of multiparticle entanglement

It is well known that the classification of pure multiparticle entangled states according to stochastic local operations leads to a natural classification of mixed states in terms of convex sets. We present a simple algorithmic procedure to prove that a quantum state lies within a given convex set. Our algorithm generalizes a recent algorithm for proving separability of quantum states [J. Barreiro et al., Nature Phys. 6, 943 (2010)]. We give several examples which show the wide applicability of our approach. We also propose a procedure to determine a vicinity of a given quantum state which still belongs to the considered convex set.

preprint2012arXiv

Complexity measures, emergence, and multiparticle correlations

We study correlation measures for complex systems. First, we investigate some recently proposed measures based on information geometry. We show that these measures can increase under local transformations as well as under discarding particles, thereby questioning their interpretation as a quantifier for complexity or correlations. We then propose a refined definition of these measures, investigate its properties and discuss its numerical evaluation. As an example, we study coupled logistic maps and study the behavior of the different measures for that case. Finally, we investigate other local effects during the coarse graining of the complex system.

preprint2012arXiv

Computing complexity measures for quantum states based on exponential families

Given a multiparticle quantum state, one may ask whether it can be represented as a thermal state of some Hamiltonian with k-particle interactions only. The distance from the exponential family defined by these thermal states can be considered as a measure of complexity of a given state. We investigate the resulting optimization problem and show how symmetries can be exploited to simplify the task of finding the nearest thermal state in a given exponential family. We also present an algorithm for the computation of the complexity measure and consider specific examples to demonstrate its applicability.

preprint2012arXiv

Entropic uncertainty relations and the stabilizer formalism

Entropic uncertainty relations express the quantum mechanical uncertainty principle by quantifying uncertainty in terms of entropy. Central questions include the derivation of lower bounds on the total uncertainty for given observables, the characterization of observables that allow strong uncertainty relations, and the construction of such relations for the case of several observables. We demonstrate how the stabilizer formalism can be applied to these questions. We show that the Maassen-Uffink entropic uncertainty relation is tight for the measurement in any pair of stabilizer bases. We compare the relative strengths of variance-based and various entropic uncertainty relations for dichotomic anticommuting observables.

preprint2012arXiv

Estimating entanglement monotones with a generalization of the Wootters formula

Entanglement monotones, such as the concurrence, are useful tools to characterize quantum correlations in various physical systems. The computation of the concurrence involves, however, difficult optimizations and only for the simplest case of two qubits a closed formula was found by Wootters [Phys. Rev. Lett. 80, 2245 (1998)]. We show how this approach can be generalized, resulting in lower bounds on the concurrence for higher dimensional systems as well as for multipartite systems. We demonstrate that for certain families of states our results constitute the strongest bipartite entanglement criterion so far; moreover, they allow to recognize novel families of multiparticle bound entangled states.

preprint2012arXiv

Optimal inequalities for state-independent contextuality

Contextuality is a natural generalization of nonlocality which does not need composite systems or spacelike separation and offers a wider spectrum of interesting phenomena. Most notably, in quantum mechanics there exist scenarios where the contextual behavior is independent of the quantum state. We show that the quest for an optimal inequality separating quantum from classical noncontextual correlations in an state-independent manner admits an exact solution, as it can be formulated as a linear program. We introduce the noncontextuality polytope as a generalization of the locality polytope, and apply our method to identify two different tight optimal inequalities for the most fundamental quantum scenario with state-independent contextuality.

preprint2012arXiv

Permutationally invariant state reconstruction

Feasible tomography schemes for large particle numbers must possess, besides an appropriate data acquisition protocol, also an efficient way to reconstruct the density operator from the observed finite data set. Since state reconstruction typically requires the solution of a non-linear large-scale optimization problem, this is a major challenge in the design of scalable tomography schemes. Here we present an efficient state reconstruction scheme for permutationally invariant quantum state tomography. It works for all common state-of-the-art reconstruction principles, including, in particular, maximum likelihood and least squares methods, which are the preferred choices in today's experiments. This high efficiency is achieved by greatly reducing the dimensionality of the problem employing a particular representation of permutationally invariant states known from spin coupling combined with convex optimization, which has clear advantages regarding speed, control and accuracy in comparison to commonly employed numerical routines. First prototype implementations easily allow reconstruction of a state of 20 qubits in a few minutes on a standard computer.

preprint2011arXiv

Entanglement criteria and full separability of multi-qubit quantum states

We introduce an entanglement criterion to exclude full separability of quantum states. We present numerical evidence that the criterion is necessary and sufficient for the class of GHZ diagonal three-qubit states and estimate the volume of bound entangled states within this class. Finally, we extend our approach to bound entangled states which are not GHZ diagonal.

preprint2011arXiv

Entanglement Witnesses for Graph States: General Theory and Examples

We present a general theory for the construction of witnesses that detect genuine multipartite entanglement in graph states. First, we present explicit witnesses for all graph states of up to six qubits which are better than all criteria so far. Therefore, lower fidelities are required in experiments that aim at the preparation of graph states. Building on these results, we develop analytical methods to construct two different types of entanglement witnesses for general graph states. For many classes of states, these operators exhibit white noise tolerances that converge to one when increasing the number of particles. We illustrate our approach for states such as the linear and the 2D cluster state. Finally, we study an entanglement monotone motivated by our approach for graph states.

preprint2011arXiv

Memory cost of quantum contextuality

The simulation of quantum effects requires certain classical resources, and quantifying them is an important step in order to characterize the difference between quantum and classical physics. For a simulation of the phenomenon of state-independent quantum contextuality, we show that the minimal amount of memory used by the simulation is the critical resource. We derive optimal simulation strategies for important cases and prove that reproducing the results of sequential measurements on a two-qubit system requires more memory than the information carrying capacity of the system.

preprint2011arXiv

Multiparticle entanglement in graph-diagonal states: Necessary and sufficient conditions for four qubits

The characterization of genuine multiparticle entanglement is important for entanglement theory as well as experimental studies related to quantum information theory. Here, we completely characterize genuine multiparticle entanglement for four-qubit states diagonal in the cluster-state basis. In addition, we give a complete characterization of multiparticle entanglement for all five-qubit graph states mixed with white noise, for states diagonal in the basis corresponding to the five-qubit Y-shaped graph, and for a family of graph states with an arbitrary number of qubits.

preprint2011arXiv

Taming multiparticle entanglement

We present an approach to characterize genuine multiparticle entanglement using appropriate approximations in the space of quantum states. This leads to a criterion for entanglement which can easily be calculated using semidefinite programming and improves all existing approaches significantly. Experimentally, it can also be evaluated when only some observables are measured. Furthermore, it results in a computable entanglement monotone for genuine multiparticle entanglement. Based on this, we develop an analytical approach for the entanglement detection in cluster states, leading to an exponential improvement compared with existing schemes.

preprint2010arXiv

Discrimination strategies for inequivalent classes of multipartite entangled states

How can one discriminate different inequivalent classes of multiparticle entanglement experimentally? We present an approach for the discrimination of an experimentally prepared state from the equivalence class of another state. We consider two possible measures for the discrimination strength of an observable. The first measure is based on the difference of expectation values, the second on the relative entropy of the probability distributions of the measurement outcomes. The interpretation of these measures and their usefulness for experiments with limited resources are discussed. In the case of graph states, the stabilizer formalism is employed to compute these quantities and to find sets of observables that result in the most decisive discrimination.

preprint2010arXiv

Experimental Realization of a Controlled-NOT Gate with Four-Photon Six-Qubit Cluster States

We experimentally demonstrate an optical controlled-NOT (CNOT) gate with arbitrary single inputs based on a 4-photon 6-qubit cluster state entangled both in polarization and spatial modes. We first generate the 6-qubit state, and then by performing single-qubit measurements the CNOT gate is applied to arbitrary single input qubits. To characterize the performance of the gate, we estimate its quantum process fidelity and prove its entangling capability. The results show that the gate cannot be reproduced by local operations and classical communication. Our experiment shows that cluster states are promising candidates for efficient optical quantum computation.

preprint2010arXiv

Increasing the statistical significance of entanglement detection in experiments

Entanglement is often verified by a violation of an inequality like a Bell inequality or an entanglement witness. Considerable effort has been devoted to the optimization of such inequalities in order to obtain a high violation. We demonstrate theoretically and experimentally that such an optimization does not necessarily lead to a better entanglement test, if the statistical error is taken into account. Theoretically, we show for different error models that reducing the violation of an inequality can improve the significance. Experimentally, we observe this phenomenon in a four-photon experiment, testing the Mermin and Ardehali inequality for different levels of noise. Furthermore, we provide a way to develop entanglement tests with high statistical significance.

preprint2010arXiv

Multiparticle covariance matrices and the impossibility of detecting graph state entanglement with two-particle correlations

We present a criterion for multiparticle entanglement based on covariance matrices. On the one hand, the criterion allows to detect bound entangled states which are not detected by other criteria; on the other hand, some strongly entangled pure states such as the GHZ states are not detected. We show, however, that this is a general phenomenon: No separability criterion based on two-particle correlations can recognize the entanglement in the family of graph states, to which the GHZ states belong.

preprint2010arXiv

Not all pure entangled states are useful for sub shot-noise interferometry

We investigate the connection between the shot-noise limit in linear interferometers and particle entanglement. In particular, we ask whether or not sub shot-noise sensitivity can be reached with all pure entangled input states of $N$ particles if they can be optimized with local operations. Results on the optimal local transformations allow us to show that for $N=2$ all pure entangled states can be made useful for sub shot-noise interferometry while for $N>2$ this is not the case. We completely classify the useful entangled states available in a bosonic two-mode interferometer. We apply our results to several states, in particular to multi-particle singlet states and to cluster states. The latter turn out to be practically useless for sub shot-noise interferometry. Our results are based on the Cramer-Rao bound and the Fisher information.

preprint2010arXiv

Separability criteria for genuine multiparticle entanglement

We present a method to derive separability criteria for the different classes of multiparticle entanglement, especially genuine multiparticle entanglement. The resulting criteria are necessary and sufficient for certain families of states. Further, the criteria are superior to all known entanglement criteria for many other families; also they allow the detection of bound entanglement. We next demonstrate that they are easily implementable in experiments and discuss applications to the decoherence of multiparticle entangled states.

preprint2009arXiv

Entanglement verification with realistic measurement devices via squashing operations

Many protocols and experiments in quantum information science are described in terms of simple measurements on qubits. However, in a real implementation, the exact description is more difficult, and more complicated observables are used. The question arises whether a claim of entanglement in the simplified description still holds, if the difference between the realistic and simplified models is taken into account. We show that a positive entanglement statement remains valid if a certain positive linear map connecting the two descriptions--a so-called squashing operation--exists; then lower bounds on the amount of entanglement are also possible. We apply our results to polarization measurements of photons using only threshold detectors, and derive procedures under which multi-photon events can be neglected.

preprint2009arXiv

Quantifying entanglement with covariance matrices

Covariance matrices are a useful tool to investigate correlations and entanglement in quantum systems. They are widely used in continuous variable systems, but recently also for finite dimensional systems powerful entanglement criteria in terms of covariance matrices have been derived. We show how these results can be used for the quantification of entanglement in bipartite systems. To that aim we introduce an entanglement parameter that quantifies the violation of the covariance matrix criterion and can be used to give a lower bounds on the concurrence. These lower bounds are easily computable and give entanglement estimates for many weakly entangled states.

preprint2008arXiv

Demonstrating anyonic fractional statistics with a six-qubit quantum simulator

Anyons are exotic quasiparticles living in two dimensions that do not fit into the usual categories of fermions and bosons, but obey a new form of fractional statistics. Following a recent proposal [Phys. Rev. Lett. 98, 150404 (2007)], we present an experimental demonstration of the fractional statistics of anyons in the Kitaev spin lattice model using a photonic quantum simulator. We dynamically create the ground state and excited states (which are six-qubit graph states) of the Kitaev model Hamiltonian, and implement the anyonic braiding and fusion operations by single-qubit rotations. A phase shift of $π$ related to the anyon braiding is observed, confirming the prediction of the fractional statistics of Abelian 1/2-anyons.

preprint2008arXiv

Experimental demonstration of a hyper-entangled ten-qubit Schrödinger cat state

Coherent manipulation of an increasing number of qubits for the generation of entangled states has been an important goal and benchmark in the emerging field of quantum information science. The multiparticle entangled states serve as physical resources for measurement-based quantum computing and high-precision quantum metrology. However, their experimental preparation has proved extremely challenging. To date, entangled states up to six, eight atoms, or six photonic qubits have been demonstrated. Here, by exploiting both the photons' polarization and momentum degrees of freedom, we report the creation of hyper-entangled six-, eight-, and ten-qubit Schrödinger cat states. We characterize the cat states by evaluating their fidelities and detecting the presence of genuine multi-partite entanglement. Small modifications of the experimental setup will allow the generation of various graph states up to ten qubits. Our method provides a shortcut to expand the effective Hilbert space, opening up interesting applications such as quantum-enhanced super-resolving phase measurement, graph-state generation for anyonic simulation and topological error correction, and novel tests of nonlocality with hyper-entanglement.

preprint2008arXiv

Optimal spin squeezing inequalities detect bound entanglement in spin models

We determine the complete set of generalized spin squeezing inequalities. These are entanglement criteria that can be used for the experimental detection of entanglement in a system of spin-1/2 particles in which the spins cannot be individually addressed. They can also be used to show the presence of bound entanglement in the thermal states of several spin models.

preprint2004arXiv

Detecting two-party quantum correlations in quantum key distribution protocols

A necessary precondition for secure quantum key distribution (QKD) is that sender and receiver can prove the presence of entanglement in a quantum state that is effectively distributed between them. In order to deliver this entanglement proof one can use the class of entanglement witness (EW) operators that can be constructed from the available measurements results. This class of EWs can be used to provide a necessary and sufficient condition for the existence of quantum correlations even when a quantum state cannot be completely reconstructed. The set of optimal EWs for two well-known entanglement based (EB) schemes, the 6-state and the 4-state EB protocols, has been obtained recently [M. Curty et al., Phys. Rev. Lett. 92, 217903 (2004)]. Here we complete these results, now showing specifically the analysis for the case of prepare&measure (P&M) schemes. For this, we investigate the signal states and detection methods of the 4-state and the 2-state P&M schemes. For each of these protocols we obtain a reduced set of EWs. More importantly, each set of EWs can be used to derive a necessary and sufficient condition to prove that quantum correlations are present in these protocols.