Source author record

Matthias Kleinmann

Matthias Kleinmann 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

24works
5topics
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

24 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

Minimal scheme for certifying three-outcome qubit measurements in the prepare-and-measure scenario

The number of outcomes is a defining property of a quantum measurement, in particular, if the measurement cannot be decomposed into simpler measurements with fewer outcomes. Importantly, the number of outcomes of a quantum measurement can be irreducibly higher than the dimension of the system. The certification of this property is possible in a semi-device-independent way either based on a Bell-like scenario or by utilizing the simpler prepare-and-measure scenario. Here we show that in the latter scenario the minimal scheme for a certifying an irreducible three-outcome qubit measurement requires three state preparations and only two measurements and we provide experimentally feasible examples for this minimal certification scheme. We also discuss the dimension assumption characteristic to the semi-device-independent approach and to which extend it can be mitigated.

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

Quaternionic quantum theory admits universal dynamics only for two-level systems

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.

preprint2019arXiv

Tracking the dynamics of an ideal quantum measurement

The existence of ideal quantum measurements is one of the fundamental predictions of quantum mechanics. In theory the measurement projects onto the eigenbasis of the measurement observable while preserving all coherences of degenerate eigenstates. The question arises whether there are dynamical processes in nature that correspond to such ideal quantum measurements. 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 with an average fidelity of $94\%$ that the process develops in agreement with the model of an ideal quantum measurement.

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

Device-Independent Certification of a Nonprojective Qubit Measurement

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.

preprint2016arXiv

Quantum correlations are stronger than all nonsignaling correlations produced by n-outcome measurements

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.

preprint2016arXiv

Quantum state-independent contextuality requires 13 rays

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.

preprint2015arXiv

Necessary and sufficient condition for quantum state-independent contextuality

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.

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

Sequences of projective measurements in generalized probabilistic models

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.

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

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.

preprint2013arXiv

Typical local measurements in generalised probabilistic theories: emergence of quantum bipartite correlations

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.

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

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.

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.

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

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.

preprint2006arXiv

Purifying and Reversible Physical Processes

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.