We find an interesting relationship between multipartite bound entangled states and the stabilizer formalism. We prove that if a set of commuting operators from the generalized Pauli group on $n$ qudits satisfy certain constraints, then the maximally mixed state over the subspace stabilized by them is an unlockable bound entangled state. Moreover, the properties of this state, such as symmetry under permutations of parties, undistillability and unlockability, can be easily explained from the stabilizer formalism without tedious calculation. In particular, the four-qubit Smolin state and its recent generalization to even number of qubits can be viewed as special examples of our results. Finally, we extend our results to arbitrary multipartite systems in which the dimensions of all parties may be different.
Continuous-variable (CV) multipartite unlockable bound-entangled states is investigated in this paper. Comparing with the qubit multipartite unlockable bound-entangled states, CV multipartite unlockable bound-entangled states present the new and different properties. CV multipartite unlockable bound-entangled states may serve as a useful quantum resource for new multiparty communication schemes. The experimental protocol for generating CV unlockable bound-entangled states is proposed with a setup that is at present accessible.
Bound information, a cryptographic classical analogue of bound entanglement, is defined as classical secret correlations from which no secret key can be extracted. Its existence was conjectured and shown in a multipartite case. In this work, we provide a new example of bound information in a four-partite scenario. Later, using this example, we prove that bound information can be superactivated in a finite-copy scenario and unlockable. We also show that bound entangled states (bound information) can be used to distribute multipartite pure-state entanglement (secret key).
Let $|Ψ>$ be an arbitrary stabilizer state distributed between three remote parties, such that each party holds several qubits. Let $S$ be a stabilizer group of $|Ψ>$. We show that $|Ψ>$ can be converted by local unitaries into a collection of singlets, GHZ states, and local one-qubit states. The numbers of singlets and GHZs are determined by dimensions of certain subgroups of $S$. For an arbitrary number of parties $m$ we find a formula for the maximal number of $m$-partite GHZ states that can be extracted from $|Ψ>$ by local unitaries. A connection with earlier introduced measures of multipa…
Bell inequality with self-testing property has played an important role in quantum information field with both fundamental and practical applications. However, it is generally challenging to find Bell inequalities with self-testing property for multipartite states and actually there are not many known candidates. In this work, we propose a systematical framework to construct Bell inequalities from stabilizers which are maximally violated by general stabilizer states, with two observables for each local party. We show that the constructed Bell inequalities can self-test any stabilizer state whi…
We propose a scheme of multipartite entanglement distillation driven by a complementary pair of stabilizer measurements, to distill directly a wider range of states beyond the stabilizer code states (such as the Greenberger-Horne-Zeilinger states). We make our idea explicit by constructing a recurrence protocol for the 3-qubit W state. Noisy W states resulting from typical decoherence can be directly purified in a few steps, if their initial fidelity is larger than a threshold. For general input mixed states, we observe distillations to hierarchical fixed points, i.e., not only to the W state …
Genuinely entangled subspaces are a class of subspaces in the multipartite Hilbert spaces that are composed of only genuinely entangled states. They are thus an interesting object of study in the context of multipartite entanglement. Here we provide a construction of multipartite subspaces that are not only genuinely entangled but also fully non-positive-partial-transpose (NPT) in the sense that any mixed state supported on them has non-positive partial transpose across any bipartition. Our construction originates from the stabilizer formalism known for its use in quantum error correction. To …
We study the entanglement properties of quantum hypergraph states of $n$ qubits, focusing on multipartite entanglement. We compute multipartite entanglement for hypergraph states with a single hyperedge of maximum cardinality, for hypergraph states endowed with all possible hyperedges of cardinality equal to $n-1$ and for those hypergraph states with all possible hyperedges of cardinality greater than or equal to $n-1$. We then find a lower bound to the multipartite entanglement of a generic quantum hypergraph state. We finally apply the multipartite entanglement results to the construction of…
We introduce systematically with the help of Weyl operators novel classes of multipartite and multidimensional states which are all bound entangled for arbitrary dimension. We find that the entanglement is bound due to different reasons: unlockable due to the multi--particle nature and some states are in addition bound due the fact being positive under partial transposition (PPT). By a general construction (W simplices) we obtain classes of states which have the same geometry concerning separability and entanglement independent of the number of involved particle pairs. Moreover, we introduce a…
Local unitary stabilizer subgroups constitute powerful invariants for distinguishing various types of multipartite entanglement. In this paper, we show how stabilizers can be used as a basis for entanglement verification protocols on distributed quantum networks using minimal resources. As an example, we develop and analyze the performance of a protocol to verify membership in the space of Werner states, that is, multi-qubit states that are invariant under the action of any 1-qubit unitary applied to all the qubits.
Despite the fundamental importance of quantum entanglement in many-body systems, our understanding is mostly limited to bipartite situations. Indeed, even defining appropriate notions of multipartite entanglement is a significant challenge for general quantum systems. In this work, we initiate the study of multipartite entanglement in a rich, yet tractable class of quantum states called stabilizer tensor networks. We demonstrate that, for generic stabilizer tensor networks, the geometry of the tensor network informs the multipartite entanglement structure of the state. In particular, we show t…
We present a method for multipartite entanglement purification of any stabilizer state shared by several parties. In our protocol each party measures the stabilizer operators of a quantum error-correcting code on his or her qubits. The parties exchange their measurement results, detect or correct errors, and decode the desired purified state. We give sufficient conditions on the stabilizer codes that may be used in this procedure and find that Steane's seven-qubit code is the smallest error-correcting code sufficient to purify any stabilizer state. An error-detecting code that encodes two qubi…
How entangled is a randomly chosen bipartite stabilizer state? We show that if the number of qubits each party holds is large the state will be close to maximally entangled with probability exponentially close to one. We provide a similar tight characterization of the entanglement present in the maximally mixed state of a randomly chosen stabilizer code. Finally, we show that typically very few GHZ states can be extracted from a random multipartite stabilizer state via local unitary operations. Our main tool is a new concentration inequality which bounds deviations from the mean of random vari…
We consider the transformation of multi-partite states in the single copy setting under positive-partial-transpose-preserving operations (PPT-operations) and obtain both qualitative and quantitative results. Firstly, for some pure state transformations that are impossible under local operations and classical communication (LOCC), we demonstrate that they become possible with a surprisingly large success probability under PPT-operations. Furthermore, we clarify the convertibility of arbitrary multipartite pure states under PPT-operations, and show that a drastic simplification in the classifica…
Finding ways to test the behaviour of quantum devices is a timely enterprise, especially in the light of the rapid development of quantum technologies. Device-independent self-testing is one desirable approach, as it makes minimal assumptions on the devices being tested. In this work, we address the question of which states can be self-tested. This has been answered recently in the bipartite case [Nat. Comm. 8, 15485 (2017)], while it is largely unexplored in the multipartite case, with only a few scattered results, using a variety of different methods: maximal violation of a Bell inequality, …
We describe an entanglement witness for $N$-qubit mixed states based on the properties of $N$-point correlation functions. Depending on the degree of violation, this witness can guarantee that no more than $M$ qubits are separable from the rest of the state for any $M\leq N$, or that there is some genuine $M$-party or greater multipartite entanglement present. We illustrate the use our criterion by investigating the existence of entanglement in thermal stabilizer states, where we demonstrate that the witness is capable of witnessing bound-entangled states. Intriguingly, this entanglement can b…
The stabilizer group of an n-qubit state ψis the set of all matrices of the form g=g_1\otimes\cdots\otimes g_n, with g_1,...,g_n being any 2x2 invertible complex matrices, that satisfy gψ=ψ. We show that for 5 or more qubits, except for a set of states of zero measure, the stabilizer group of multipartite entangled states is trivial; that is, containing only the identity element. We use this result to show that for 5 or more qubits, the action of deterministic local operations and classical communication (LOCC) can almost always be simulated simply by local unitary (LU) operations. This proves…
We introduce a volumetric benchmark for near-term quantum platforms based on the generation and verification of genuine entanglement across n-qubits using graph states and direct stabilizer measurements. Our benchmark evaluates the robustness of multipartite and bipartite n-qubit entanglement with respect to many sources of hardware noise: qubit decoherence, CNOT and swap gate noise, and readout error. We demonstrate our benchmark on multiple superconducting qubit platforms available from IBM (ibmq_belem, ibmq_toronto, ibmq_guadalupe and ibmq_jakarta). Subsets of $n<10$ qubits are used for gra…
We investigate the entanglement properties of pure quantum states describing $n$ qubits. We characterize all multipartite states which can be maximally entangled to local auxiliary systems using controlled operations. A state has this property iff one can construct out of it an orthonormal basis by applying independent local unitary operations. This implies that those states can be used to encode locally the maximum amount of $n$ bits. Examples of these states are the so--called stabilizer states, which are used for quantum error correction and one--way quantum computing. We give a simple char…
Quantification of coherence lies at the heart of quantum information processing and fundamental physics. Exact evaluation of coherence measures generally needs a full reconstruction of the density matrix, which becomes intractable for large-scale multipartite systems. Here, we propose a systematic theoretical approach to efficiently estimating lower and upper bounds of coherence in multipartite states. Under the stabilizer formalism, the lower bound is determined by the spectrum estimation method with a small number of measurements and the upper bound is determined by a single measurement. We …
The generation and verification of large-scale entanglement are essential to the development of quantum technologies. In this paper, we present an efficient scheme to generate genuine multipartite entanglement of a large number of qubits by using the Heisenberg interaction. This method can be conveniently implemented in various physical platforms, including superconducting, trapped-ion, and cold-atom systems. In order to characterize the entanglement of the output quantum state, we generalize the stabilizer formalism and develop an entanglement witness method. In particular, we design a generi…
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 cas…
We study various distance-like entanglement measures of multipartite states under certain symmetries. Using group averaging techniques we provide conditions under which the relative entropy of entanglement, the geometric measure of entanglement and the logarithmic robustness are equivalent. We consider important classes of multiparty states, and in particular show that these measures are equivalent for all stabilizer states, symmetric basis and antisymmetric basis states. We rigorously prove a conjecture that the closest product state of permutation symmetric states can always be chosen to be …
Highly entangled multipartite states such as k-uniform (k-UNI) and absolutely maximally entangled (AME) states serve as critical resources in quantum networking and other quantum information applications. However, there does not yet exist a complete classification of such states, and much remains unknown about their entanglement structure. Here, we substantially broaden the class of known k-UNI and AME states by introducing a method for explicitly constructing such states that combines classical error correcting codes and qudit graph states. This method in fact constitutes a general recipe for…
Self-testing was originally introduced as a device-independent method of certification of entangled quantum states and local measurements performed on them. Recently, in [F. Baccari \textit{et al.}, arXiv:2003.02285] the notion of state self-testing has been generalized to entangled subspaces and the first self-testing strategies for exemplary genuinely entangled subspaces have been given. The main aim of our work is to pursue this line of research and to address the question how "large" (in terms of dimension) are genuinely entangled subspaces that can be self-tested, concentrating on the mul…
Locally maximally entangleable states (LMESs) constitute a large set of multipartite states, containing for instance all stabilizer states. LMESs are uniquely characterized by (2n-1) phases, where n denotes the number of qubits. We consider here those LMES whose phases are either 0 or π and present a multipartite entanglement purification protocol for arbitrary such states. In contrast to all previously known recurrence protocols this protocol uses a novel ingredient, which is required due to the quantum correlations contained in the various LMESs. We compare this scheme to previously known en…
The distribution of high-quality Greenberger-Horne-Zeilinger (GHZ) states is at the heart of many quantum communication tasks, ranging from extending the baseline of telescopes to secret sharing. They also play an important role in error-correction architectures for distributed quantum computation, where Bell pairs can be leveraged to create an entangled network of quantum computers. We investigate the creation and distillation of GHZ states out of non-perfect Bell pairs over quantum networks. In particular, we introduce a heuristic dynamic programming algorithm to optimize over a large class …
The relation between genuine multipartite entanglement in the pure state of a collection of N qubits and the nonclassical correlations in its two-qubit subsystems is studied. Quantum discord is used as the quantifier of nonclassical correlations in the subsystem while the generalised geometric measure (GGM) [Phys. Rev. A. 81, 012308 (2010)] is used to quantify global entanglement in the N-qubit state. While no definite discernible dependence between the two can be found for randomly generated global states, for those with additional structure like weighted graph states we find that local disco…
A fundamental problem in quantum information is to describe efficiently multipartite quantum states. An efficient representation in terms of graphs exists for several families of quantum states (graph, cluster, stabilizer states), motivating us to extend this construction to other classes. We introduce an axiomatic framework for mapping graphs to quantum states of a suitable physical system. Starting from three general axioms we derived a rich structure which includes and generalizes several classes of multipartite entangled state, like graph/stabilizer states, Gaussian cluster states, quantum…
Absolutely maximally entangled pure states of multipartite quantum systems
BEIT sp. z o.o.（BEIT有限责任公司）；Jagiellonian University（雅盖隆大学）；Universität Siegen（锡根大学）；Indian Institute of Technology Madras（马德拉斯印度理工学院）；Polish Academy of Sciences（波兰科学院）
Ensuring the correct functioning of quantum error correction (QEC) circuits is crucial to achieve fault tolerance in realistic quantum processors subjected to noise. The first checkpoint for a fully operational QEC circuit is to create genuine multipartite entanglement across all subsystems of physical qubits. We introduce a conditional witnessing technique to certify genuine multipartite entanglement (GME) that is efficient in the number of subsystems and, importantly, robust against experimental noise and imperfections. Specifically, we prove that the detection of entanglement in a linear nu…
A Multipartite entangled state has many different kinds of entanglement specified by the number of partitions. The most essential example of multipartite entanglement is the entanglement of multi-qubit Greenberger-Horne-Zeilinger (GHZ) state in white noise. We explicitly construct the entanglement witnesses for these states with stabilizer generators of the GHZ states. For a $N$ qubit GHZ state in white noise, we demonstrate the necessary and sufficient criterion of separability when it is divided into $k$ parties with $N\leq 2k-1$ for arbitrary $N$ and $k$. The criterion covers more than a ha…
Tata Institute of Fundamental Research（塔塔基础研究所）；National Tsing Hua University（国立清华大学）；Yukawa Institute for Theoretical Physics, Kyoto University（京都大学汤川理论物理研究所）
Remote information concentration (RIC) in $d$-level systems (qudits) is studied. It is shown that the quantum information initially distributed in three spatially separated qudits can be remotely and deterministically concentrated to a single qudit via an entangled channel without performing any global operations. The entangled channel can be different types of genuine multipartite pure entangled states which are inequivalent under local operations and classical communication. The entangled channel can also be a mixed entangled state, even a bound entangled state which has a similar form to th…
Piecemaker: a resource-efficient entanglement distribution protocol
QuTech, Delft University of Technology（代尔夫特理工大学 QuTech）；EEMCS, Delft University of Technology（代尔夫特理工大学 EEMCS 学院）；MCICS, University of Massachusetts, Amherst（阿默斯特马萨诸塞大学 MCICS）
Entanglement distillation is a well-studied problem in quantum information, where one typically starts with $n$ noisy Bell pairs and distills $k$ Bell pairs of higher fidelity. While distilling Bell pairs is the canonical setting, it is important to study the distillation of multipartite entangled states because these can be useful for realizing distributed algorithms on quantum networks. In this paper, we study the distillation of GHZ states using quantum error correcting codes (QECCs). Using the stabilizer formalism, we begin by explaining the QECC-based Bell pair distillation protocol in ar…
