We present a composably secure protocol allowing $n$ parties to test an entanglement generation resource controlled by a possibly dishonest party. The test consists only in local quantum operations and authenticated classical communication once a state is shared among them and provides composable security, namely it can be used as a secure subroutine by $n$ honest parties within larger communication protocols to test if a source is sharing quantum states that are at least $ε$-close to the GHZ state. This claim comes on top of previous results on multipartite entanglement verification where the security was studied in the usual game-based model. Here, we improve the protocol to make it more suitable for practical use in a quantum network and we study its security in the Abstract Cryptography framework to highlight composability issues and avoid hidden assumptions. This framework is a top-to-bottom theory that makes explicit any piece of information that each component (party or resource) gets at every time-step of the protocol. Moreover any security proof, which amounts to showing indistinguishability between an ideal resource having the desired security properties (up to local simulation) and the concrete resource representing the protocol, is composable for free in this setting. This allows us to readily compose our basic protocol in order to create a composably secure multi-round protocol enabling honest parties to obtain a state close to a GHZ state or an abort signal, even in the presence of a noisy or malicious source. Our protocol can typically be used as a subroutine in a Quantum Internet, to securely share a GHZ state among the network before performing a communication or computation protocol.
High-rate multipartite quantum secret sharing with composable security
Institute of Photonics and Quantum Sciences, School of Engineering and Physical Sciences, Heriot-Watt University（赫瑞瓦特大学工程与物理科学学院光子与量子科学研究所）；Electrical Engineering and Computer Science Department, Technische Universität Berlin（柏林工业大学电气与计算机科学系）；Dahlem Center for Complex Quantum Systems, Freie Universität Berlin（柏林自由大学达勒姆复杂量子系统中心）
How correlated are two quantum systems from the perspective of a third? We answer this by providing an optimal quantum state redistribution protocol for multipartite product sources. Specifically, given an arbitrary quantum state of three systems, where Alice holds two and Bob holds one, we identify the cost, in terms of quantum communication and entanglement, for Alice to give one of her parts to Bob. The communication cost gives the first known operational interpretation to quantum conditional mutual information. The optimal procedure is self-dual under time reversal and is perfectly composa…
Multipartite entangled states are a fundamental resource for a wide range of quantum information processing tasks. In particular, in quantum networks it is essential for the parties involved to be able to verify if entanglement is present before they carry out a given distributed task. Here we design and experimentally demonstrate a protocol that allows any party in a network to check if a source is distributing a genuinely multipartite entangled state, even in the presence of untrusted parties. The protocol remains secure against dishonest behaviour of the source and other parties, including …
Future quantum information networks will likely consist of quantum and classical agents, who have the ability to communicate in a variety of ways with trusted and untrusted parties and securely delegate computational tasks to untrusted large-scale quantum computing servers. Multipartite quantum entanglement is a fundamental resource for such a network and hence it is imperative to study the possibility of verifying a multipartite entanglement source in a way that is efficient and provides strong guarantees even in the presence of multiple dishonest parties. In this work, we show how an agent o…
Multipartite entanglement has been widely regarded as key resources in distributed quantum computing, for instance, multi-party cryptography, measurement based quantum computing, quantum algorithms. It also plays a fundamental role in quantum phase transitions, even responsible for transport efficiency in biological systems. Certifying multipartite entanglement is generally a fundamental task. Since an $N$ qubit state is parameterized by $4^N-1$ real numbers, one is interested to design a measurement setup that reveals multipartite entanglement with as little effort as possible, at least witho…
Entanglement in multipartite systems is a key resource for quantum information and communication protocols, making its verification in complex systems a necessity. Because an exact calculation of arbitrary entanglement probes is impossible, we derive and implement a numerical method to construct multipartite witnesses to uncover entanglement in arbitrary systems. Our technique is based on a substantial generalization of the power iteration, an essential tool for computing eigenvalues, and it is a solver for the separability eigenvalue equations, enabling the general formulation of optimal enta…
An analysis is conducted of the multipartite entanglement for Gaussian states generated by the parametric down-conversion of a femtosecond frequency comb. Using a recently introduced method for constructing optimal entanglement criteria, a family of tests is formulated for mode decompositions that extends beyond the traditional bipartition analyses. A numerical optimization over this family is performed to achieve maximal significance of entanglement verification. For experimentally prepared 4-, 6-, and 10-mode states, full entanglement is certified for all of the 14, 202, and 115974 possible …
Production and verification of multipartite quantum state are an essential step in quantum information processing. In this work, we propose an efficient method to decompose symmetric multipartite observables, which are invariant under permutations between parties, with only $(N+1)(N+2)/2$ local measurement settings, where $N$ is the number of qubits. We apply the decomposition technique to evaluate the fidelity between an unknown prepared state and any target permutation invariant state. In addition, for some typical permutation invariant states, such as the Dicke state with a constant number …
We report on experimental studies on entanglement quantification and verification based on uncertainty relations for systems consisting of two qubits. The new proposed measure is shown to be invariant under local unitary transformations, by which entanglement quantification is implemented for two-qubit pure states. The nonlocal uncertainty relations for two-qubit pure states are also used for entanglement verification which serves as a basic proposition and promise to be a good choice for verification of multipartite entanglement.
The generation and verification of genuine multipartite nonlocality (GMN) is of central interest for both fundamental research and quantum technological applications, such as quantum privacy. To demonstrate GMN in measurement data, the statistics are commonly postselected by neglecting undesired data. Until now, valid postselection strategies have been restricted to local postselection. A general postselection that is decided after communication between parties can mimic nonlocality, even though the complete data are local. Here, we establish conditions under which GMN is demonstrable even if …
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.
Genuine multipartite entanglement represents the strongest type of entanglement, which is an essential resource for quantum information processing. Standard methods to detect genuine multipartite entanglement, e.g., entanglement witnesses, state tomography, or quantum state verification, require full knowledge of the Hilbert space dimension and precise calibration of measurement devices, which are usually difficult to acquire in an experiment. The most radical way to overcome these problems is to detect entanglement solely based on the Bell-like correlations of measurement outcomes collected i…
It has been shown that, for the two-qubit Heisenberg XY model, anisotropy and magnetic field may together be used to produce entanglement for any finite temperature by adjusting the external magnetic field beyond some finite critical strength. This interesting result arises from an analysis employing the Wootters concurrence, a computable measure of entanglement for two-qubit states. Recently, Mintert {\em et al.} proposed generalizations of Wootters concurrence for multipartite states. These MKB concurrences possess a mathematical property that enables one to understand the origin of this cha…
Graph states are a large class of multipartite entangled quantum states that form the basis of schemes for quantum computation, communication, error correction, metrology, and more. In this work, we consider verification of graph states generated by an untrusted source and shared between a network of possibly dishonest parties. This has implications in certifying the application of graph states for various distributed tasks. We present a protocol which is globally efficient for a large family of useful graph states, including cluster states, GHZ states, cycle graph states and more. For general…
Bipartite and multipartite entangled states are basic ingredients for constructing quantum networks and their accurate verification is crucial to the functioning of the networks, especially for untrusted networks. Here we propose a simple approach for verifying the Bell state in an untrusted quantum network in which one party is not honest. Only local projective measurements are required for the honest party. It turns out each verification protocol is tied to a probability distribution on the Bloch sphere and its performance has an intuitive geometric meaning. This geometric picture enables us…
We construct optimal protocols for verifying qubit and qudit GHZ states using local projective measurements. When the local dimension is a prime, an optimal protocol is constructed from Pauli measurements only. Our protocols provide a highly efficient way for estimating the fidelity and certifying genuine multipartite entanglement. In particular, they enable the certification of genuine multipartite entanglement using only one test when the local dimension is sufficiently large. By virtue of adaptive local projective measurements, we then construct protocols for verifying GHZ-like states that …
We introduce a protocol between a classical polynomial-time verifier and a quantum polynomial-time prover that allows the verifier to securely delegate to the prover the preparation of certain single-qubit quantum states. The protocol realizes the following functionality, with computational security: the verifier chooses one of the observables $Z$, $X$, $Y$, $(X+Y)/\sqrt{2}$, $(X-Y)/\sqrt{2}$; the prover receives a uniformly random eigenstate of the observable chosen by the verifier; the verifier receives a classical description of that state. The prover is unaware of which state he received a…
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…
With today's quantum processors venturing into regimes beyond the capabilities of classical devices [1-3], we face the challenge to verify that these devices perform as intended, even when we cannot check their results on classical computers [4,5]. In a recent breakthrough in computer science [6-8], a protocol was developed that allows the verification of the output of a computation performed by an untrusted quantum device based only on classical resources. Here, we follow these ideas, and demonstrate in a first, proof-of-principle experiment a verification protocol using only classical means …
Generating and detecting genuine multipartite entanglement (GME) of sizeable quantum states prepared on physical devices is an important benchmark for highlighting the progress of near-term quantum computers. A common approach to certify GME is to prepare a Greenberger-Horne-Zeilinger (GHZ) state and measure a GHZ fidelity of at least 0.5. We measure the fidelities using multiple quantum coherences of GHZ states on 11 to 27 qubits prepared on the IBM Quantum ibmq_montreal device. Combinations of quantum readout error mitigation (QREM) and parity verification error detection are applied to the …
The quantification of quantum entanglement is a central issue in quantum information theory. Recently, Gao \emph{et al}. ( \href{http://dx.doi.org/10.1103/PhysRevLett.112.180501}{Phys. Rev. Lett. \textbf{112}, 180501 (2014)}) pointed out that the maximum of entanglement measure of the permutational invariant part of $ρ$ ought to be a lower bound on entanglement measure of the original state $ρ$, and proposed that this argument can be used as an additional requirement for (multipartite) entanglement measures. Whether any individual proposed entanglement measure satisfies the requirement still h…
Among various multipartite entangled states, Dicke states stand out because their entanglement is maximally persistent and robust under particle losses. Although much attention has been attracted for their potential applications in quantum information processing and foundational studies, the characterization of Dicke states remains as a challenging task in experiments. Here, we propose efficient and practical protocols for verifying arbitrary $n$-qubit Dicke states in both adaptive and nonadaptive ways. Our protocols require only two distinct settings based on Pauli measurements besides permut…
So-called direct measurements of entanglement are collective measurements on multiple copies of a (bipartite or multipartite) quantum system that directly provide one a value for some entanglement measure, such as the concurrence for bipartite states. Multiple copies are needed since the entanglement of a mixed state is not a linear function of the density matrix. Unfortunately, so far all experimental implementations of direct measurements made unverified assumptions about the form of the states, and, therefore, do not qualify as entanglement verification tests. I discuss how a direct measure…
One of the key manifestations of quantum mechanics is the phenomenon of quantum entanglement. While the entanglement of bipartite systems is already well understood, our knowledge of entanglement in multipartite systems is still limited. This dissertation covers various aspects of the quantification of entanglement in multipartite states and the role of symmetry in such systems. Firstly, we establish a connection between the classification of multipartite entanglement and knot theory and investigate the family of states that are resistant to particle loss. Furthermore, we construct several exa…
Entangled quantum states, such as N00N states, are of major importance for quantum technologies due to their quantum-enhanced performance. At the same time, their quantum correlations are relatively vulnerable when they are subjected to imperfections. Therefore, it is crucial to determine under which circumstances their distinct quantum features can be exploited. In this paper, we study the entanglement property of noisy N00N states. This class of states is a generalization of N00N states including various attenuation effects, such as mixing, constant or fluctuating losses, and dephasing. To v…
Dicke states are typical examples of quantum states with genuine multipartite entanglement. They are valuable resources in many quantum information processing tasks, including multiparty quantum communication and quantum metrology. Phased Dicke states are a generalization of Dicke states and include antisymmetric basis states as a special example. These states are useful in atomic and molecular physics besides quantum information processing. Here we propose practical and efficient protocols based on adaptive local projective measurements for verifying all phased Dicke states, including $W$ sta…
Quantum steering enables one party to communicate with another remote party even if the sender is untrusted. Such characteristics of quantum systems not only provide direct applications to quantum information science, but are also conceptually important for distinguishing between quantum and classical resources. While concrete illustrations of steering have been shown in several experiments, quantum steering has not been certified for higher dimensional systems. Here, we introduce a simple method to experimentally certify two different kinds of quantum steering: Einstein-Podolsky-Rosen (EPR) s…
We study the problem of witnessing entanglement among indistinguishable particles. For this purpose, we derive a set of equations which results in necessary and sufficient conditions for probing multipartite entanglement between arbitrary systems of Bosons or Fermions. The solution of these equations yields the construction of optimal entanglement witnesses for partial and full entanglement in discrete and continuous variable systems. Our approach unifies the verification of entanglement for distinguishable and indistinguishable particles. We provide general solutions for certain observables t…
