Priv.-Doz. Dr. Matthias KleinmannLecturer (ab 1.10.2020 Lehrstuhlvertretung an der Universität Duisburg–Essen)
Phone: +49 271 740 3799
see the teaching page
See also arxiv
Giuseppe Vitagliano, Matteo Fadel, Iagoba Apellaniz, Matthias Kleinmann, Bernd Lücke, Carsten Klempt, Géza Tóth
Detecting Einstein-Podolsky-Rosen steering and bipartite entanglement in split Dicke states
We discuss how to detect bipartite entanglement in a Dicke state of many spin-1/2 particles. The particles are split into two subensembles, then collective angular momentum measurements are carried out locally on the two parts. First, we present a bipartite Einstein-Podolsky-Rosen (EPR) steering criterion. Then, we present an entanglement condition that can detect bipartite entanglement in such systems. We demonstrate the utility of the criterion by applying it to a recent experiment given in K. Lange et al. [Science 360, 416 (2018)] realizing a Dicke state in a Bose- Einstein condensate of cold atoms, in which the two subensembles were spatially separated from each other. Our methods also work well if split spin-squeezed states are considered.
Costantino Budroni, Adán Cabello, Otfried Gühne, Matthias Kleinmann, Jan-Åke Larsson
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 performed simultaneously or in any order without disturbance. This conflict is generically called quantum contextuality. In this article, we present an introduction to this subject and its current status. We review several proofs of the Kochen-Specker theorem and different notions of contextuality. We explain how to experimentally test some of these notions and discuss connections between contextuality and nonlocality or graph theory. Finally, we review some applications of contextuality in quantum information processing.
Martin Plávala, Matthias Kleinmann
Operational Theories in Phase Space: Toy Model for the Harmonic Oscillator
We construct a toy model for the harmonic oscillator that is neither classical nor quantum. The model features a discrete energy spectrum, a ground state with sharp position and momentum, an eigenstate with non-positive Wigner function as well as a state that has tunneling properties. The underlying formalism exploits that the Wigner-Weyl approach to quantum theory and the Hamilton formalism in classical theory can be formulated in the same operational language, which we then use to construct generalized theories with well-defined phase space. The toy model demonstrates that operational theories are a viable alternative to operator-based approaches for building physical theories.
Massimiliano Smania, Matthias Kleinmann, Adán Cabello, Mohamed Bourennane
Avoiding apparent signaling in Bell tests for quantitative applications
Bell tests have become a powerful tool for quantifying security, randomness, entanglement, and many other properties, as well as for investigating fundamental physical limits. In all these cases, the specific experimental value of the Bell parameter is important as it leads to a quantitative conclusion. However, most experimental implementations aiming for high values of the Bell parameter suffer from the defect of showing signaling. This signaling can be attributed to systematic errors occurring due to weaknesses in the experimental designs. Here we point out the importance, for quantitative applications, to identify and address this problem. We present a set of experiments with polarization-entangled photons in which we point out common sources of systematic errors and demonstrate approaches to avoid them. This allows us to establish a reliable estimate for the Bell parameter.
Virtually all of the analysis of quantum contextuality is restricted to the case where events are represented by rank-one projectors. This restriction is arbitrary and not motivated by physical considerations. We show here that loosening the rank constraint opens a new realm of quantum contextuality and we demonstrate that state-independent contextuality (SIC) can even require projectors of nonunit rank. This enables the possibility of SIC with less than 13 projectors, which is the established minimum for the case of rank one. We prove that for any rank, at least 9 projectors are required. Furthermore, in an exhaustive numerical search we find that 13 projectors are also minimal for the cases where all projectors are uniformly of rank two or uniformly of rank three.
We address the problem of reconstructing quantum theory from the perspective of an agent who makes bets about the outcomes of possible experiments. We build a general Bayesian framework that can be used to organize the agent's beliefs and update them when new information becomes available. Our framework includes as special cases classical and quantum probability theory, as well as other forms of probabilistic reasoning that may arise in future physical theories. Building on this framework, we develop a notion of an ideal experiment, which in quantum theory coincides with the notion of projective measurement. We then prove that, in every general Bayesian theory, ideal experiments must satisfy the exclusivity principle, a property of projective measurements that plays a central role in the characterization of quantum correlations. Our result suggests that the set of quantum correlations may be completely characterized in terms of Bayesian consistency conditions.
We revisit the formulation of quantum mechanics over the quaternions and investigate the dynamical structure within this framework. Similar to standard complex quantum mechanics, time evolution is then mediated by a unitary operator which can be written as the exponential of the generator of time shifts. By imposing physical assumptions on the correspondence between the energy observable and the generator of time shifts, we prove that quaternionic quantum theory admits a time evolution only for systems with a quaternionic dimension of at most two. Applying the same strategy to standard complex quantum theory, we reproduce that the correspondence dictated by the Schrödinger equation is the only possible choice, up to a shift of the global phase.
The existence of ideal quantum measurements is one of the fundamental predictions of quantum mechanics. In theory, an ideal measurement projects a quantum state onto the eigenbasis of the measurement observable, while preserving coherences between eigenstates that have the same eigenvalue. The question arises whether there are processes in nature that correspond to such ideal quantum measurements and how such processes are dynamically implemented in nature. Here we address this question and present experimental results monitoring the dynamics of a naturally occurring measurement process: the coupling of a trapped ion qutrit to the photon environment. By taking tomographic snapshots during the detection process, we show that the process develops in agreement with the model of an ideal quantum measurement with an average fidelity of 94%.
Cornelia Spee, Hendrik Siebeneich, Timm Florian Gloger, Peter Kaufmann, Michael Johanning, Matthias Kleinmann, Christof Wunderlich, Otfried Gühne
Genuine temporal correlations can certify the quantum dimension
New J. Phys. 22, 023028 (2020), arXiv:1811.12259
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 ¹⁷¹Yb⁺ ion. Our test goes beyond the prepare-and-measure scheme of previous approaches, demonstrating the advantage of genuine temporal correlations.
A possible notion of nonclassicality for single systems can be defined on the basis of the notion of memory cost of classically simulating probabilities observed in a temporal sequence of measurements. We further explore this idea in a theory-independent framework, namely, from the perspective of general probability theories (GPTs), which includes classical and quantum theory as special examples. Under the assumption that each system has a finite memory capacity, identified with the maximal number of states perfectly distinguishable with a single measurement, we investigate what are the temporal correlations achievable with different theories, namely, classical, quantum, and GPTs beyond quantum mechanics. Already for the simplest nontrivial scenario, we derive inequalities able to distinguish temporal correlations where the underlying system is classical, quantum, or more general.
Recently, the concept of daemonic ergotropy has been introduced to quantify the maximum energy that can be obtained from a quantum system through an ancilla-assisted work extraction protocol based on information gain via projective measurements [G. Francica et al., npj Quant. Inf. 3, 12 (2018)]. We prove that quantum correlations are not advantageous over classical correlations if projective measurements are considered. We go beyond the limitations of the original definition to include generalised measurements and provide an example in which this allows for a higher daemonic ergotropy. Moreover, we propose a see-saw algorithm to find a measurement that attains the maximum work extraction. Finally, we provide a multipartite generalisation of daemonic ergotropy that pinpoints the influence of multipartite quantum correlations, and study it for multipartite entangled and classical states.
Preparing and certifying bound entangled states in the laboratory is an intrinsically hard task, due to both the fact that they typically form narrow regions in state space, and that a certificate requires a tomographic reconstruction of the density matrix. Indeed, the previous experiments that have reported the preparation of a bound entangled state relied on such tomographic reconstruction techniques. However, the reliability of these results crucially depends on the extra assumption of an unbiased reconstruction. We propose an alternative method for certifying the bound entangled character of a quantum state that leads to a rigorous claim within a desired statistical significance, while bypassing a full reconstruction of the state. The method is comprised by a search for bound entangled states that are robust for experimental verification, and a hypothesis test tailored for the detection of bound entanglement that is naturally equipped with a measure of statistical significance. We apply our method to families of states of 3×3 and 4×4 systems, and find that the experimental certification of bound entangled states is well within reach.
Xiao-Min Hu, Bi-Heng Liu, Yu Guo, Guo-Yong Xiang, Yun-Feng Huang, Chuan-Feng Li, Guang-Can Guo, Matthias Kleinmann, Tamás Vértesi, Adán Cabello
Observation of Stronger-than-Binary Correlations with Entangled Photonic Qutrits
Phys. Rev. Lett. 120, 180402 (2018), arXiv:1712.06557
We present the first experimental confirmation of the quantum-mechanical prediction of stronger-than-binary correlations. These are correlations that cannot be explained under the assumption that the occurrence of a particular outcome of an n≥3-outcome measurement is due to a two-step process in which, in the first step, some classical mechanism precludes n−2 of the outcomes and, in the second step, a binary measurement generates the outcome. Our experiment uses pairs of photonic qutrits distributed between two laboratories, where randomly chosen three-outcome measurements are performed. We report a violation by 9.3 standard deviations of the optimal inequality for nonsignaling binary correlations.
Karsten Lange, Jan Peise, Bernd Lücke, Ilka Kruse, Giuseppe Vitagliano, Iagoba Apellaniz, Matthias Kleinmann, Géza Tóth, Carsten Klempt
Entanglement between two spatially separated atomic modes
Science 360, 416 (2018), arXiv:1708.02480
Modern quantum technologies in the fields of quantum computing, quantum simulation, and quantum metrology require the creation and control of large ensembles of entangled particles. In ultracold ensembles of neutral atoms, nonclassical states have been generated with mutual entanglement among thousands of particles. The entanglement generation relies on the fundamental particle-exchange symmetry in ensembles of identical particles, which lacks the standard notion of entanglement between clearly definable subsystems. Here, we present the generation of entanglement between two spatially separated clouds by splitting an ensemble of ultracold identical particles prepared in a twin Fock state. Because the clouds can be addressed individually, our experiments open a path to exploit the available entangled states of indistinguishable particles for quantum information applications.
Sequences of compatible quantum measurements can be contextual and any simulation with a classical model accounting for the quantum observations, needs to use some internal memory. In Ref. [New J. Phys. 13, 113011 (2011)], it was shown that simulating the sequences of compatible observables from the Peres-Mermin scenario requires at least three different memory states in order to be not in contradiction with the deterministic predictions of quantum theory. We extend this analysis to the probabilistic quantum predictions and ask how much memory is required to simulate the quantum correlations generated by any quantum state. We find, that even in this comprehensive approach only three internal states are required for the perfect simulation of the quantum correlations in the Peres-Mermin scenario.
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.
We show how to verify the metrological usefulness of quantum states based on the expectation values of an arbitrarily chosen set of observables. In particular, we estimate the quantum Fisher information as a figure of merit of metrological usefulness. Our approach gives a tight lower bound on the quantum Fisher information for the given incomplete information. We apply our method to the results of various multiparticle quantum states prepared in experiments with photons and trapped ions, as well as to spin-squeezed states and Dicke states realized in cold gases. Our approach can be used for detecting and quantifying metrologically useful entanglement in very large systems, based on a few operator expectation values. We also gain new insights into the difference between metrological useful multipartite entanglement and entanglement in general.
Fundamentally binary theories are nonsignaling theories in which measurements of many outcomes are constructed by selecting from binary measurements. They constitute a sensible alternative to quantum theory and have never been directly falsified by any experiment. Here we show that fundamentally binary theories are experimentally testable with current technology. For that, we identify a feasible Bell-type experiment on pairs of entangled qutrits. In addition, we prove that, for any n, quantum n-ary correlations are not fundamentally (n-1)-ary. For that, we introduce a family of inequalities that hold for fundamentally (n-1)-ary theories but are violated by quantum n-ary correlations.
Giuseppe Vitagliano, Iagoba Apellaniz, Matthias Kleinmann, Bernd Lücke, Carsten Klempt, Géza Tóth
Entanglement and extreme spin squeezing of unpolarized states
New J. Phys. 19, 013027 (2017), arXiv:1605.07202
We present an optimal set of criteria detecting the depth of entanglement in macroscopic systems of general spin-j particles using the variance and second moments of the collective spin components. The class of states detected goes beyond traditional spin-squeezed states by including Dicke states and other unpolarized states. The criteria derived are easy to evaluate numerically even for systems composed of a very large number of particles and outperform past approaches, especially in practical situations where noise is present. We also derive analytic lower bounds based on the linearization of our criteria, which make it possible to define spin-squeezing parameters for Dicke states. As a by-product, we obtain also an analytic lower bound to the condition derived in [A.S. Sorensen and K. Molmer, Phys. Rev. Lett. 86, 4431 (2001)]. We also extend the results to systems with fluctuating number of particles.
We show that, for any n, there are m-outcome quantum correlations, with m>n, which are stronger than any nonsignaling correlation produced from selecting among n-outcome measurements. As a consequence, for any n, there are m-outcome quantum measurements that cannot be constructed by selecting locally from the set of n-outcome measurements. This is a property of the set of measurements in quantum theory that is not mandatory for general probabilistic theories. We also show that this prediction can be tested through high-precision Bell-type experiments and identify past experiments providing evidence that some of these strong correlations exist in nature. Finally, we provide a modified version of quantum theory restricted to having at most n-outcome quantum measurements.
We show that, regardless of the dimension of the Hilbert space, there exists no set of rays revealing state-independent contextuality with less than 13 rays. This implies that the set proposed by Yu and Oh in dimension three [Phys. Rev. Lett. 108, 030402 (2012)] is actually the minimal set in quantum theory. This contrasts with the case of Kochen-Specker sets, where the smallest set occurs in dimension four.
Esteban S. Gómez, Santiago Gómez, Pablo González, Gustavo Cañas, Johanna F. Barra, Aldo Delgado, Guilherme B. Xavier, Adán Cabello, Matthias Kleinmann, Tamás Vértesi, Gustavo Lima
Device-Independent Certification of a Nonprojective Qubit Measurement
Phys. Rev. Lett. 117, 260401 (2016), arXiv:1604.01417
Quantum measurements on a two-level system can have more than two independent outcomes, and in this case, the measurement cannot be projective. Measurements of this general type are essential to an operational approach to quantum theory, but so far, the nonprojective character of a measurement can only be verified experimentally by already assuming a specific quantum model of parts of the experimental setup. Here, we overcome this restriction by using a device-independent approach. In an experiment on pairs of polarization-entangled photonic qubits we violate by more than 8 standard deviations a Bell-like correlation inequality that is valid for all sets of two-outcome measurements in any dimension. We combine this with a device-independent verification that the system is best described by two qubits, which therefore constitutes the first device-independent certification of a nonprojective quantum measurement.
We solve the problem of whether a set of quantum tests reveals state-independent contextuality and use this result to identify the simplest set of the minimal dimension. We also show that identifying state-independent contextuality graphs [R. Ramanathan and P. Horodecki, Phys. Rev. Lett. 112, 040404 (2014)] is not sufficient for revealing state-independent contextuality.
Christian Schwemmer, Lukas Knips, Daniel Richart, Tobias Moroder, Matthias Kleinmann, Otfried Gühne, Harald Weinfurter
Systematic Errors in Current Quantum State Tomography Tools
Phys. Rev. Lett. 114, 080403 (2015), arXiv:1310.8465
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.
We define a simple rule that allows to describe sequences of projective measurements for a broad class of generalized probabilistic models. This class embraces quantum mechanics and classical probability theory, but, for example, also the hypothetical Popescu-Rohrlich box. For quantum mechanics, the definition yields the established Lüders's rule, which is the standard rule how to update the quantum state after a measurement. In the general case it can be seen as the least disturbing or most coherent way to perform sequential measurements. As example we show that Spekkens's toy model is an instance of our definition. We also demonstrate the possibility of strong post-quantum correlations as well as the existence of triple-slit correlations for certain non-quantum toy models.
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.
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.
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.
Sönke Niekamp, Tobias Galla, Matthias Kleinmann, Otfried Gühne
Computing complexity measures for quantum states based on exponential families
J. Phys. A: Math. Theor. 46, 125301 (2013), arXiv:1212.6163
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.
Matthias Kleinmann, Tobias J. Osborne, Volkher B. Scholz, Albert H. Werner
Typical Local Measurements in Generalized Probabilistic Theories: Emergence of Quantum Bipartite Correlations
Phys. Rev. Lett. 110, 040403 (2013), arXiv:1205.3358
What singles out quantum mechanics as the fundamental theory of Nature? Here we study local measurements in generalised probabilistic theories (GPTs) and investigate how observational limitations affect the production of correlations. We find that if only a subset of typical local measurements can be made then all the bipartite correlations produced in a GPT can be simulated to a high degree of accuracy by quantum mechanics. Our result makes use of a generalisation of Dvoretzky's theorem for GPTs. The tripartite correlations can go beyond those exhibited by quantum mechanics, however.
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.
Elias Amselem, Mohamed Bourennane, Costantino Budroni, Adán Cabello, Otfried Gühne, Matthias Kleinmann, Jan-Åke Larsson, Marcin Wieśniak
Comment on “State-Independent Experimental Test of Quantum Contextuality in an Indivisible System”
Phys. Rev. Lett. 110, 078901 (2013), arXiv:1302.0617
We argue that the experiment described in the recent Letter by Zu et al. [Phys. Rev. Lett. 109, 150401 (2012); arXiv:1207.0059v1] does not allow to make conclusions about contextuality, since the measurement of the observables as well as the preparation of the state manifestly depend on the chosen context.
Otfried Gühne, Matthias Kleinmann
Auf den Kontext kommt es an
Physik Journal 2, 25 (2013)
Die Quantenmechanik hat viele, scheinbar paradoxe Konsequenzen. Diese Tatsache hat zu Spekulationen darüber verleitet, ob es eine übergeordnete Theorie geben könnte, die im Einklang mit der klassischen Physik ist. Neben der Bellschen Ungleichung gibt es ein weitreichendes Theorem von Ernst Specker und Simon Kochen, das es ermöglicht, „klassische Modelle“ quantenmechanischer Systeme auszuschließen. Was als Nachdenken über die logische Struktur der Quantenmechanik begann, lässt sich nun auch im Experiment beobachten.
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.
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.
Jan-Åke Larsson, Matthias Kleinmann, Constantino Budroni, Otfried Gühne, Adán Cabello
Maximal violation of state-independent contextuality inequalities
AIP Conference Proceedings 1508, 265 (2012)
The discussion on noncontextual hidden variable models as an underlying description for the quantum-mechanical predictions started in ernest with 1967 paper by Kochen and Specker. There, it was shown that no noncontextual hidden-variable model can give these predictions. The proof used in that paper is complicated, but recently, a paper by Yu and Oh [PRL, 2012] proposes a simpler statistical proof that can also be the basis of an experimental test. Here we report on a sharper version of that statistical proof, and also explain why the algebraic upper bound to the expressions used are not reachable, even with a reasonable contextual hidden variable model. Specifically, we show that the quantum mechanical predictions reach the maximal possible value for a contextual model that keeps the expectation value of the measurement outcomes constant.
We revisit the problem of discriminating orthogonal quantum states within the local quantum operation and classical communication (LOCC) paradigm. Our particular focus is on the asymptotic situation where the parties have infinite resources and the protocol may become arbitrarily long. Our main result is a necessary condition for perfect asymptotic LOCC discrimination. As an application, we prove that for complete product bases, unlimited resources are of no advantage. On the other hand, we identify an example, for which it still remains undecided whether unlimited resources are superior.
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.
Jan-Åke Larsson, Matthias Kleinmann, Otfried Gühne, Adán Cabello
Violating noncontextual realism through sequential measurements
AIP Conference Proceedings 1327, 401 (2011)
The question of whether noncontextual hidden variable models can give the quantum‐mechanical predictions has been under discussion for a long time. The question originates in the sixties, perhaps best known from the 1967 paper by Kochen and Specker where it was shown that no noncontextual hidden‐variable model can give these predictions. Recently, the question has gained interest from experimentalists trying to test this in the laboratory. The experimental setups in question have used a sequential setup rather than the alternative, joint (simultaneous) measurement. There has been discussion in the community whether this is appropriate. This brief paper argues that sequential measurement is not only the correct choice, but the best possible.
We analyze the optimal unambiguous discrimination of two arbitrary mixed quantum states. We show that the optimal measurement is unique and we present this optimal measurement for the case where the rank of the density operator of one of the states is at most 2 ("solution in 4 dimensions"). The solution is illustrated by some examples. The optimality conditions proved by Eldar et al. [Phys. Rev. A 69, 062318 (2004)] are simplified to an operational form. As an application we present optimality conditions for the measurement, when only one of the two states is detected. The current status of optimal unambiguous state discrimination is summarized via a general strategy.
We present a generic study of unambiguous discrimination between two mixed quantum states. We derive operational optimality conditions and show that the optimal measurements can be classified according to their rank. In Hilbert space dimensions smaller or equal to five this leads to the complete optimal solution. We demonstrate our method with a physical example, namely the unambiguous comparison of n quantum states, and find the optimal success probability.
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.
Otfried Gühne, Matthias Kleinmann, Adán Cabello, Jan-Åke Larsson, Gerhard Kirchmair, Florian Zähringer, Rene Gerritsma, Christian F. Roos
Compatibility and noncontextuality for sequential measurements
Phys. Rev. A 81, 022121 (2010), arXiv:0912.4846
A basic assumption behind the inequalities used for testing noncontextual hidden variable models is that the observables measured on the same individual system are perfectly compatible. However, compatibility is not perfect in actual experiments using sequential measurements. We discuss the resulting "compatibility loophole" and present several methods to rule out certain hidden variable models which obey a kind of extended noncontextuality. Finally, we present a detailed analysis of experimental imperfections in a recent trapped ion experiment and apply our analysis to that case.
Bastian Jungnitsch, Sönke Niekamp, Matthias Kleinmann, Otfried Gühne, He Lu, Wei-Bo Gao, Yu-Ao Chen, Zeng-Bing Chen, Jian-Wei Pan
Increasing the Statistical Significance of Entanglement Detection in Experiments
Phys. Rev. Lett. 104, 210401 (2010), arXiv:0912.0645
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.
Is the closest product state to a symmetric entangled multiparticle state also symmetric? This question has appeared in the recent literature concerning the geometric measure of entanglement. First, we show that a positive answer can be derived from results concerning symmetric multilinear forms and homogeneous polynomials, implying that the closest product state can be chosen to be symmetric. We then prove the stronger result that the closest product state to any symmetric multiparticle quantum state is necessarily symmetric. Moreover, we discuss generalizations of our result and the case of translationally invariant states, which can occur in spin models.
Gerhard Kirchmair, Florian Zähringer, Rene Gerritsma, Matthias Kleinmann, Otfried Gühne, Adán Cabello, Rainer Blatt, Christian F. Roos
State-independent experimental test of quantum contextuality
Nature 460, 494 (2009), arXiv:0904.1655
The question of whether quantum phenomena can be explained by classical models with hidden variables is the subject of a long lasting debate. In 1964, Bell showed that certain types of classical models cannot explain the quantum mechanical predictions for specific states of distant particles. Along this line, some types of hidden variable models have been experimentally ruled out. An intuitive feature for classical models is non-contextuality: the property that any measurement has a value which is independent of other compatible measurements being carried out at the same time. However, the results of Kochen, Specker, and Bell show that non-contextuality is in conflict with quantum mechanics. The conflict resides in the structure of the theory and is independent of the properties of special states. It has been debated whether the Kochen-Specker theorem could be experimentally tested at all. Only recently, first tests of quantum contextuality have been proposed and undertaken with photons and neutrons. Yet these tests required the generation of special quantum states and left various loopholes open. Here, using trapped ions, we experimentally demonstrate a state-independent conflict with non-contextuality. The experiment is not subject to the detection loophole and we show that, despite imperfections and possible measurement disturbances, our results cannot be explained in non-contextual terms.
We consider a possible detector-efficiency loophole in experiments that detect entanglement via the local measurement of witness operators. Here, only local properties of the detectors are known. We derive a general threshold for the detector efficiencies which guarantees that a negative expectation value of a witness is due to entanglement, rather than to erroneous detectors. This threshold depends on the local decomposition of the witness and its measured expectation value. For two-qubit witnesses we find the local operator decomposition that is optimal with respect to closing the loophole.
Matthias Kleinmann, Hermann Kampermann, Philippe Raynal, Dagmar Bruß
Commutator relations reveal solvable structures in unambiguous state discrimination
J. Phys. A: Math. Theor. 40, F871 (2007), arXiv:0705.3391
We present a criterion, based on three commutator relations, that allows to decide whether two self-adjoint matrices with non-overlapping support are simultaneously unitarily similar to quasidiagonal matrices, i.e., whether they can be simultaneously brought into a diagonal structure with 2x2-dimensional blocks. Application of this criterion to unambiguous state discrimination provides a systematic test whether the given problem is reducible to a solvable structure. As an example, we discuss unambiguous state comparison.
Starting from the observation that reversible processes cannot increase the purity of any input state, we study deterministic physical processes, which map a set of states to a set of pure states. Such a process must map any state to the same pure output, if purity is demanded for the input set of all states. But otherwise, when the input set is restricted, it is possible to find non-trivial purifying processes. For the most restricted case of only two input states, we completely characterize the output of any such map. We furthermore consider maps, which combine the property of purity and reversibility on a set of states, and we derive necessary and sufficient conditions on sets, which permit such processes.
We introduce the concept of a physical process that purifies a mixed quantum state, taken from a set of states, and investigate the conditions under which such a purification map exists. Here, a purification of a mixed quantum state is a pure state in a higher-dimensional Hilbert space, the reduced density matrix of which is identical to the original state. We characterize all sets of mixed quantum states, for which perfect purification is possible. Surprisingly, some sets of two non-commuting states are among them. Furthermore, we investigate the possibility of performing an imperfect purification.
We introduce a constructive method to calculate the achievable secret key rate for a generic class of quantum key distribution protocols, when only a finite number n of signals is given. Our approach is applicable to all scenarios in which the quantum state shared by Alice and Bob is known. In particular, we consider the six state protocol with symmetric eavesdropping attacks, and show that for a small number of signals, i.e. below the order of 10^4, the finite key rate differs significantly from the asymptotic value for n approaching infinity. However, for larger n, a good approximation of the asymptotic value is found. We also study secret key rates for protocols using higher-dimensional quantum systems.
We investigate the unambiguous comparison of quantum states in a scenario that is more general than the one that was originally suggested by Barnett et al. First, we find the optimal solution for the comparison of two states taken from a set of two pure states with arbitrary a priori probabilities. We show that the optimal coherent measurement is always superior to the optimal incoherent measurement. Second, we develop a strategy for the comparison of two states from a set of N pure states, and find an optimal solution for some parameter range when N=3. In both cases we use the reduction method for the corresponding problem of mixed state discrimination, as introduced by Raynal et al., which reduces the problem to the discrimination of two pure states only for N=2. Finally, we provide a necessary and sufficient condition for unambiguous comparison of mixed states to be possible.