There has been a surge of progress in recent years in developing algorithms for testing and learning quantum states that achieve optimal copy complexity. Unfortunately, they require the use of entangled measurements across many copies of the underlying state and thus remain outside the realm of what is currently experimentally feasible. A natural question is whether one can match the copy complexity of such algorithms using only independent---but possibly adaptively chosen---measurements on individual copies.
We answer this in the negative for arguably the most basic quantum testing problem: deciding whether a given $d$-dimensional quantum state is equal to or $ε$-far in trace distance from the maximally mixed state. While it is known how to achieve optimal $O(d/ε^2)$ copy complexity using entangled measurements, we show that with independent measurements, $Ω(d^{4/3}/ε^2)$ is necessary, even if the measurements are chosen adaptively. This resolves a question of Wright. To obtain this lower bound, we develop several new techniques, including a chain-rule style proof of Paninski's lower bound for classical uniformity testing, which may be of independent interest.
We present a small network for the testing of the entanglement of two ballistic electron waveguide qubits. The network produces different output conditional on the presence or absence of entanglement. The structure of the network allows for the determination of successful entanglement operations through the measurement of the output of a single qubit. We also present a simple model of a dynamic coulomb-like interaction and use it to describe some characteristics of a proposed scheme for the entanglement of qubits in ballistic electron waveguides.
Given a black-box representing an unknown Boolean function $f$ of $n$ variables, in this paper we propose a fast quantum algorithm to test whether or not a certain variable in the function $f$ is a junta variable. The proposed algorithm creates entanglement between the variable under test and an auxiliary qubit, where the entanglement is measured using concurrence measure to decide if the variable is junta. The paper shows applications to the proposed algorithm in learning and categorization of Boolean functions.
We present a stronger version of the Doherty-Parrilo-Spedalieri (DPS) hierarchy of approximations for the set of separable states. Unlike DPS, our hierarchy converges exactly at a finite number of rounds for any fixed input dimension. This yields an algorithm for separability testing which is singly exponential in dimension and polylogarithmic in accuracy. Our analysis makes use of tools from algebraic geometry, but our algorithm is elementary and differs from DPS only by one simple additional collection of constraints.
In this paper we introduce a criterion for the characterization of Entanglement Witness for multipartite quantum systems. Our approach is based on the characterization of the "tangent space" to the set of pure product states.
Characterization of quantum devices received from unknown providers is a significant primary task for any quantum information processing protocol. Self-testing protocols are designed for this purpose of certifying quantum components from the observed statistics under a set of minimal assumptions. Here we propose a self-testing protocol for certifying binary Pauli measurements employing the violation of a Leggett-Garg inequality. The scenario based on temporal correlations does not require entanglement, a costly and fragile resource. Moreover, unlike previously proposed self-testing protocols i…
We propose to detect quantum entanglement by a condition of local measurments. We find that this condition can detect efficiently the pure entangled states for both discrete and continuous variable systems. It does not depend on interference of decoherence from noise and detection loss in some systems, which allows a loophole-free test in real experiments. In particular, it is a necessary condition for the violation of some generalized Bell inequalities.
We consider the problem of deciding if a given three-party entangled pure state can be converted, with a non-zero success probability, into a given two-party pure state through local quantum operations and classical communication. We show that this question is equivalent to the well-known computational problem of deciding if a multivariate polynomial is identically zero. Efficient randomized algorithms developed to study the latter can thus be applied to the question of tripartite to bipartite entanglement transformations.
We present self-testing protocols to certify the presence of tensor products of Pauli measurements on maximally entangled states of local dimension $2^n$ for $n\in\mathbb{N}$. This provides self-tests of sets of informationally complete measurements in arbitrarily high dimension. We then show that this can be used for the device-independent certification of the entanglement of all bipartite entangled states by exploiting a connection to measurement device-independent entanglement witnesses and quantum networks. This work extends a more compact parallel work on the same subject and provides all…
We propose a scheme to realize entanglement swapping via superradiance, entangling two distant cavities without a direct interaction. The successful Bell-state-measurement outcomes are performed naturally by the electromagnetic reservoir, and we show how, using a quantum trajectory method, the non-local properties of the state obtained after the swapping procedure can be verified by the steering inequality. Furthermore, we discuss how the unsuccessful measurement outcomes can be used in an experiment of delayed-choice entanglement swapping. An extension of testing the quantum steering inequali…
Quantum self-testing is a device-independent way to certify quantum states and measurements using only the input-output statistics, with minimal assumptions about the quantum devices. Because of the high demand on tolerable noise, however, experimental self-testing was limited to two-photon systems. Here, we demonstrate the first robust self-testing for multi-photon genuinely entangled quantum states. We prepare two examples of four-photon graph states, the Greenberger-Horne-Zeilinger (GHZ) states with a fidelity of 0.957(2) and the linear cluster states with a fidelity of 0.945(2). Based on t…
We assess the quality of a source of allegedly pure two-qubit states using both standard tomography and methods inspired by device-independent self-testing. Even when the detection and locality loopholes are open, the latter methods can dispense with modelling of the system and the measurements. However, due to finite sample fluctuations, the estimated probability distribution usually does not satisfy the no-signaling conditions exactly. We implement data analysis that is robust against these fluctuations. We demonstrate a high ratio $f_s/f_t\approx 0.988$ between the fidelity estimated from s…
Necessary and sufficient conditions for bipartite entanglement are derived, which apply to arbitrary Hilbert spaces. Motivated by the concept of witnesses, optimized entanglement inequalities are formulated solely in terms of arbitrary Hermitian operators, which makes them useful for applications in experiments. The needed optimization procedure is based on a separability eigenvalue problem, whose analytical solutions are derived for a special class of projection operators. For general Hermitian operators, a numerical implementation of entanglement tests is proposed. It is also shown how to id…
We show that the monogamy of entanglement is a sufficient phenomenon in every physical theory, if the quantum key distribution is to be safe on the grounds of such theory. To do so we present the QKD protocol that is safe in any physical theory under the assumption of the monogamous entanglement only. The necessity of this condition is also discussed.
Twenty-five years after the invention of quantum teleportation, the concept of entanglement gained enormous popularity. This is especially nice to those who remember that entanglement was not even taught at universities until the 1990's. Today, entanglement is often presented as a resource, the resource of quantum information science and technology. However, entanglement is exploited twice in quantum teleportation. First, entanglement is the `quantum teleportation channel', i.e. entanglement between distant systems. Second, entanglement appears in the eigenvectors of the joint measurement that…
We show that the rich structure of multipartite entanglement can be tested following a device-independent approach. Specifically we present Bell inequalities for distinguishing between different types of multipartite entanglement, without placing any assumptions on the measurement devices used in the protocol, in contrast with usual entanglement witnesses. We first address the case of three qubits and present Bell inequalities that can be violated by W states but not by GHZ states, and vice versa. Next, we devise 'sub-correlation Bell inequalities' for any number of parties, which can provably…
An experimental scheme is proposed to test Bell's inequality by using superconducting nanocircuits. In this scheme, quantum entanglement of a pair of charge qubits separated in a sufficient long distance may be created by cavity quantum electrodynamic techniques; the population of qubits is experimentally measurable by dc currents through the probe junctions, and one measured outcome may be recorded for every experiment. Therefore, both locality and detection efficiency loopholes should be closed in the same experiment. We also propose a useful method to measure the amount of entanglement base…
We revisit the criterion of multi-particle entanglement based on the overlaps of a given quantum state $ρ$ with maximally entangled states. For a system of $m$ particles, each with $N$ distinct states, we prove that $ρ$ is $m$-particle negative partial transpose (NPT) entangled, if there exists a maximally entangled state $|{\rm MES}>$, such that $<{\rm MES}|ρ|{\rm MES}>>{1}/{N}$. While this sufficiency condition is weaker than the Peres-Horodecki criterion in all cases, it applies to multi-particle systems, and becomes especially useful when the number of particles ($m$) is large. We also con…
It is well known that the support of an optimal decomposable entanglement witness is completely entangled. We add two more necessary conditions for the optimality: The orthogonal complement of the support must have a nonzero product vector; another one will be given in terms of related faces of a convex cone. With these necessary conditions, we show that there exist examples of non-optimal decomposable entanglement witnesses which are the partial transposes of positive semi-definite matrices supported on completely entangled spaces, whenever both of the local dimensions are greater than or equ…
We study the norms of the Bloch vectors for arbitrary $n$-partite quantum states. A tight upper bound of the norms is derived for $n$-partite systems with different individual dimensions. These upper bounds are used to deal with the separability problems. Necessary conditions are presented for $\mathbf m$-separable states in $n$-partite quantum systems. Based on the upper bounds, classification of multipartite entanglement is illustrated with detailed examples.
We present a method to test quantum behavior of quantum information processing devices, such as quantum memories, teleportation devices, channels and quantum key distribution protocols. The test of quantum behavior can be phrased as the verification of effective entanglement. Necessary separability criteria are formulated in terms of a matrix of expectation values in conjunction with the partial transposition map. Our method is designed to reduce the resources for entanglement verification. A particular protocol based on coherent states and homodyne detection is used to illustrate the method. …
The characterization of genuine multiparticle entanglement is important for entanglement theory as well as experimental studies related to quantum information theory. Here, we completely characterize genuine multiparticle entanglement for four-qubit states diagonal in the cluster-state basis. In addition, we give a complete characterization of multiparticle entanglement for all five-qubit graph states mixed with white noise, for states diagonal in the basis corresponding to the five-qubit Y-shaped graph, and for a family of graph states with an arbitrary number of qubits.
The violation of Bell's inequality requires a well-designed experiment to validate the result. In experiments using energy-time and time-bin entanglement, initially proposed by Franson in 1989, there is an intrinsic loophole due to the high postselection. To obtain a violation in this type of experiment, a chained Bell inequality must be used. However, the local realism bound requires a high visibility in excess of 94.63 percent in the time-bin entangled state. In this work, we show how such a high visibility can be reached in order to violate a chained Bell inequality with 6, 8 and 10 terms.
Given a pure state transformation $ψ\mapstoϕ$ restricted to entanglement-assisted local operations with classical communication, we determine a lower bound for the dimension of a catalyst allowing that transformation. Our bound is stated in terms of the generalised concurrence monotones (the usual concurrence of two qubits is one such monotone). We further provide tools for deriving further conditions upon catalysts of pure state transformations.
Self-testing, which refers to device independent characterization of the state and the measurement, enables the security of quantum information processing task certified independently of the operation performed inside the devices. Quantum states lie in the core of self-testing as key resources. However, for the different entangled states, usually different measurement settings should be taken in self-testing recipes. This may lead to the redundancy of measurement resources. In this work, we use fixed two-binary measurements and answer the question that what states can be self-tested with the s…
Recently, the problem of discriminating multipartite unitary operations by local operations and classical communication (LOCC) has attracted significant attention. The latest work in the literature on this problem showed that two multipartite unitary operations can always be perfectly distinguished by LOCC when a finite number of runs are allowable. However, in these schemes, local entanglement (an entangled state holden by one party) was required, which seems to imply that local entanglement is necessary for perfect discrimination between unitary operations by LOCC. In this article, we show t…
We present two methods of calculating the spatial entanglement of an interacting electron system within the framework of density-functional theory. These methods are tested on the model system of Hooke's atom for which the spatial entanglement can be calculated exactly. We analyse how the strength of the confining potential affects the spatial entanglement and how accurately the methods that we introduced reproduce the exact trends. We also compare the results with the outcomes of standard first-order perturbation methods. The accuracies of energies and densities when using these methods are a…
Quantum catalytic transformations play important roles in the transformation of quantum entangled states under local operations and classical communications (LOCC). The key problems in catalytic transformations are the existence and the bounds on the catalytic states. We present the necessary conditions of catalytic states based on a set of points given by the Schmidt coefficients of the entangled source and target states. The lower bounds on the dimensions of the catalytic states are also investigated. Moreover, we give a detailed protocol of quantum mixed state transformation under entanglem…
Quantum hypothesis testing has been greatly advanced for the binary discrimination of two states, or two channels. In this setting, we already know that quantum entanglement can be used to enhance the discrimination of two bosonic channels. Here, we remove the restriction of binary hypotheses and show that entangled photons can remarkably boost the discrimination of multiple bosonic channels. More precisely, we formulate a general problem of channel-position finding where the goal is to determine the position of a target channel among many background channels. We prove that, using entangled ph…
We show two experimental realizations of Hardy ladder test of quantum nonlocality using energy-time correlated photons, following the scheme proposed by A. Cabello \emph{et al.} [Phys. Rev. Lett. \textbf{102}, 040401 (2009)]. Unlike, previous energy-time Bell experiments, these tests require precise tailored nonmaximally entangled states. One of them is equivalent to the two-setting two-outcome Bell test requiring a minimum detection efficiency. The reported experiments are still affected by the locality and detection loopholes, but are free of the post-selection loophole of previous energy-ti…
Great advances have been achieved in studying characteristics of entanglement for fundamentals of quantum mechanics and quantum information processing. However, even for N-qubit systems, the problem of entanglement criterion has not been well solved. In this Letter, using the method of state decomposition and high order singular value decomposition (HOSVD), we propose a necessary and sufficient entanglement criterion for general N-qubit systems. As an example, we apply our method to study the multi-qubit W state with white noise. We not only obtain the separability critical point, which is tig…
An important measure of bipartite entanglement is the entanglement of formation, which is defined as the minimum average pure state entanglement of all decompositions realizing a given state. A decomposition which achieves this minimum is called an optimal decomposition. However, as for the entanglement of formation, there is not much known about the structure of such optimal decompositions, except for some special cases, like states of two qubits or isotropic states. Here we present a necessary and sufficient condition for a set of pure states of a finite dimensional bipartite system to form …
It is well known that entanglement can benefit quantum information processing tasks. Quantum illumination, when first proposed, is surprising as entanglement's benefit survives entanglement-breaking noise. Since then, many efforts have been devoted to study quantum sensing in noisy scenarios. The applicability of such schemes, however, is limited to a binary quantum hypothesis testing scenario. In terms of target detection, such schemes interrogate a single polarization-azimuth-elevation-range-Doppler resolution bin at a time, limiting the impact to radar detection. We resolve this binary-hypo…
Quantum correlations in observables of multiple systems not only are of fundamental interest, but also play a key role in quantum information processing. As a signature of these correlations, the violation of Bell inequalities has not been demonstrated with multipartite hybrid entanglement involving both continuous and discrete variables. Here we create a five-partite entangled state with three superconducting transmon qubits and two photonic qubits, each encoded in the mesoscopic field of a microwave cavity. We reveal the quantum correlations among these distinct elements by joint Wigner tomo…
Previous results indicate that while chaos can lead to substantial entropy production, thereby maximizing dynamical entanglement, this still falls short of maximality. Random Matrix Theory (RMT) modeling of composite quantum systems, investigated recently, entails an universal distribution of the eigenvalues of the reduced density matrices. We demonstrate that these distributions are realized in quantized chaotic systems by using a model of two coupled and kicked tops. We derive an explicit statistical universal bound on entanglement, that is also valid for the case of unequal dimensionality o…
Recent experiments to test Bell's inequality using entangled photons and ions aimed at tests of basic quantum mechanical principles. Interesting results have been obtained and many loopholes could be closed. In this paper we want to point out that tests of Bell's inequality also play an important role in verifying atom entanglement schemes. We describe as an example a scheme to prepare arbitrary entangled states of N two-level atoms using a leaky optical cavity and a scheme to entangle atoms inside a photonic crystal. During the state preparation no photons are emitted and observing a violatio…
Continuous variables systems find valuable applications in quantum information processing. To deal with an infinite-dimensional Hilbert space, one in general has to handle large numbers of discretized measurements in tasks such as entanglement detection. Here we employ the continuous transverse spatial variables of photon pairs to experimentally demonstrate novel entanglement criteria based on a periodic structure of coarse-grained measurements. The periodization of the measurements allows for an efficient evaluation of entanglement using spatial masks acting as mode analyzers over the entire …
We show that a unitary operation (quantum circuit) secretely chosen from a finite set of unitary operations can be determined with certainty by sequentially applying only a finite amount of runs of the unknown circuit. No entanglement or joint quantum operations is required in our scheme. We further show that our scheme is optimal in the sense that the number of the runs is minimal when discriminating only two unitary operations.
We show a hitherto unexplored consequence of the property of identicity in quantum mechanics. If two identical objects, distinguished by a dynamical variable A, are in certain entangled states of another dynamical variable B, then, for such states, they are also entangled in variable A when distinguished from each other by variable B. This dualism is independent of quantum statistics. Departures from identicity of the objects due to arbitrarily small differences in their innate attributes destroy this dualism. A system independent scheme to test the dualism is formulated which is readily reali…
Detecting spacelike vacuum entanglement at all distances and promoting negativity to a necessary and sufficient entanglement measure in many-body regimes
The finite time disentanglement or entanglement sudden death, when only one part of the composite system is subjected to a single noise, is examined. While it is shown that entanglement sudden death can occur when a part of the entangled mixed state is subjected to either amplitude noise or phase noise, local action of either of them does not cause entanglement sudden death in pure entangled states. In contrast, depolarizing noise is shown to have an abilitiy to cause sudden death of entanglement even in pure entangled states, when only one part of the state is exposed to it. The result is ill…
The sufficient condition of entanglement enhanced classical capacity is given for Pauli memory channel with arbitrary channel parameters. In some special case the condition is also necessary but fail to be necessary in general. The theory of majorization and perturbation are used in the proving.
We present an inequality for detecting entanglement and distillability of arbitrary dimensional bipartite systems. This inequality provides a sufficient condition of entanglement for bipartite mixed states, and a necessary and sufficient condition of entanglement for bipartite pure states. Moreover, the inequality also gives a necessary and sufficient condition for distillability.
A beam splitter is a simple, readily available device which can act to entangle the output optical fields. We show that a necessary condition for the fields at the output of the beam splitter to be entangled is that the pure input states exhibit nonclassical behavior. We generalize this proof for arbitrary (pure or impure) Gaussian input states. Specifically, nonclassicality of the input Gaussian fields is a necessary condition for entanglement of the field modes with the help of the beam splitter. We conjecture that this is a general property of the beam splitter: Nonclassicality of the input…
It is argued that recent experiments testing Multisimultaneity prove that quantum entanglement occurs without the flow of time. Bohm's theory cannot be considered a real temporal description.
Multipartite quantum states may exhibit different types of quantum entanglement in that they cannot be converted into each other by local quantum operations only, and fully understanding mathematical structures of different types of multipartite entanglement is a very challenging task. In this paper, from the viewpoint of Hardy's nonlocality, we compare W and GHZ states and show a couple of crucial different behaviors between them. Particularly, by developing a geometric model for the Hardy's nonlocality problem of W states, we derive an upper bound for its maximal violation probability, which…
One of the most striking features of quantum theory is the existence of entangled states, responsible for Einstein's so called "spooky action at a distance". These states emerge from the mathematical formalism of quantum theory, but to date we do not have a clear idea of the physical principles that give rise to entanglement. Why does nature have entangled states? Would any theory superseding classical theory have entangled states, or is quantum theory special? One important feature of quantum theory is that it has a classical limit, recovering classical theory through the process of decoheren…
We generally investigate necessary conditions for the generation of the long-distance entanglement. We consider a quantum system in which a system mediates the indirect interaction between two spins, which we refer to as probe spins. First, we weaken the coupling between each probe spin and the mediator system to the infinitesimal strength in order to generate the long-distance entanglement. We give two necessary conditions for the mediator system to generate the long-distance entanglement. We prove that the indirect interaction cannot generate the entanglement if it is `classical.' We also gi…
Entanglement has been shown to be necessary for pure state quantum computation to have an advantage over classical computation. However, it remains open whether entanglement is necessary for quantum computers that use mixed states to also have an advantage. The one clean qubit model is a form of quantum computer in which the input is the maximally mixed state plus one pure qubit. Previous work has shown that there is a limited amount of entanglement present in these computations, despite the fact that they can efficiently solve some problems that are seemingly hard to solve classically. This c…
We consider reversible work extraction from identical quantum batteries. From an ensemble of individually passive states, work can be produced only via global unitary (and thus entangling) operations. However, we show here that there always exists a method to extract all possible work without creating any entanglement, at the price of generically requiring more operations (i.e. additional time). We then study faster methods to extract work and provide a quantitative relation between the amount of generated multipartite entanglement and extractable work. Our results suggest a general relation b…
In this paper, we continue our investigation on controlling the state of a quantum harmonic oscillator, by coupling it to a reservoir composed of a sequence of qubits. Specifically, we show that sending qubits separable from each other but initialised at different states in pairs can stabilise the oscillator at squeezed states. However, only if entanglement is allowed in the reservoir qubit can we stabilise the oscillator at a wider set of squeezed states. This thus provides a proof for the necessity of involving entanglement in the reservoir qubits input to the oscillator, as regard to the st…
