Researcher profile

Otfried Gühne

Otfried Gühne contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
18works
0followers
5topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

18 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.

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.