The task of device independent secure key distribution requires preparation and subsequently distribution of nonlocal resources. For secured practical implementation, one needs to take two initially uncorrelated quantum systems and perform a unitary on the composite system to generate the nonlocal resource, which is supposed to violate a Bell inequality (say, Bell-CHSH). States which do not violate Bell-CHSH inequality, but violate it when transformed by a global unitary, can be deemed useful for the preparation of nonlocal resource. One may then start from a state which is Bell-CHSH local (take for example, a pure product state) and apply an appropriate global unitary on it which results in a Bell-CHSH non-local state. However, an intriguing fact is the existence of useless states from which no Bell-CHSH non-local resource can be generated with a global unitary. This is due to the purity preserving nature of unitary operators which bound the amount of correlation in the set of final states depending on the purity of the initial (possibly uncorrelated) states. The present work confirms the existence of such a set, pertaining to two qubit systems. The set exhibits counter intuitive features by containing within it some entangled states which remain Bell-CHSH local on the action of any unitary. From practical perspective, this work draws a line between useful and useless states for the task of preparing nonlocal resource using global unitary transformations. Furthermore through an analytic characterization of the set we lay down a generic prescription through which one can operationally identify the useful states. It has also been shown that our prescription remains valid for any linear Bell inequality.
Implementing nonlocal unitary operators is an important and hard question in quantum computing and cryptography. We show that any bipartite nonlocal unitary operator of Schmidt rank three on the $(d_A \times d_B)$-dimensional system is locally equivalent to a controlled unitary when $d_A$ is at most three. This operator can be locally implemented assisted by a maximally entangled state of Schmidt rank $r=\min\{d_A^2,d_B\}$. We further show that stochastic-equivalent nonlocal unitary operators are indeed locally equivalent, and propose a sufficient condition on which nonlocal and controlled uni…
Any bipartite nonlocal unitary operation can be carried out by teleporting a quantum state from one party to the other, performing the unitary gate locally, and teleporting a state back again. This paper investigates unitaries which can be carried out using less prior entanglement and classical communication than are needed for teleportation. Large families of such unitaries are constructed using (projective) representations of finite groups. Among the tools employed are: a diagrammatic approach for representing entangled states, a theorem on the necessary absence of information at certain tim…
The realism-based nonlocality (RBN) is a recently introduced measure that differs from the well-known Bell's nonlocality. For bipartite states, the RBN concerns how much an element of reality associated with a given observable is affected upon local measurements on a subsystem. Here, we present an analytical proof for the unitary invariance of the RBN and that it presents a monotonous behavior upon the action of unital and non-unital local quantum noise. We illustrate our results by employing the two-qubits Werner state and thermal quantum correlated states. We show how the RBN is limited by t…
Entangling and disentangling capacities are the key manifestation of the nonlocal content of a quantum operation. A lot of effort has been put recently into investigating (dis)entangling capacities of unitary operations, but very little is known about capacities of non-unitary operations. Here we investigate (dis)entangling capacities of unital CPTP maps acting on two qubits.
It is known from Schmidt decomposition that Schmidt number of nonlocal two-qubit quantum gates is 2 or 4. We identify conditions on geometrical points of a gate to have Schmidt number 2. A simple analysis reveals that Schmidt number 2 corresponds to controlled unitary gates with CNOT being the only perfect entangler. Further, it is shown that Schmidt strength and entangling power are maximum only for CNOT in the controlled unitary family.
We describe a direct method to experimentally determine local two-qubit invariants by performing interferometric measurements on multiple copies of a given two-qubit state. We use this framework to analyze two different kinds of two-qubit invariants of Makhlin and Jing et. al. These invariants allow to fully reconstruct any two-qubit state up to local unitaries. We demonstrate that measuring 3 invariants is sufficient to find, e.g., the optimal Bell inequality violation. These invariants can be measured with local or nonlocal measurements. We show that the nonlocal strategy that follows from M…
Entanglement and Bell nonlocality are used to describe quantum inseparabilities. Bell-nonlocal states form a strict subset of entangled states. A natural question arises concerning how much territory Bell nonlocality occupies entanglement for a general two-qubit entangled state. In this work, we investigate the relation between entanglement and Bell nonlocality by using lots of randomly generated two-qubit states, and give out a constraint inequality relation between the two quantum resources. For studying the upper or lower boundary of the inequality relation, we discover maximally (minimally…
Nonlocality is one of the most important resources for quantum information protocols. The observation of nonlocal correlations in a Bell experiment is the result of appropriately chosen measurements and quantum states. We quantify the minimal purity to achieve a certain Bell value for any Bell operator. Since purity is the most fundamental resource of a quantum state, this enables us also to quantify the necessary coherence, discord, and entanglement for a given violation of two-qubit correlation inequalities. Our results shine new light on the CHSH inequality by showing that for a fixed Bell …
The generation of (Bell-)nonlocal correlations, i.e., correlations leading to the violation of a Bell-like inequality, requires the usage of a nonlocal resource, such as an entangled state. When given a correlation (a collection of conditional probability distributions) from an experiment or from a theory, it is desirable to determine the extent to which the participating parties would need to collaborate nonlocally for its (re)production. Here, we propose to achieve this via the minimal group size (MGS) of the resource, i.e., the smallest number of parties that need to share a given type of n…
Two dual questions in quantum information theory are to determine the communication cost of simulating a bipartite unitary gate, and to determine their communication capacities. We present a bipartite unitary gate with two surprising properties: 1) simulating it with the assistance of unlimited EPR pairs requires far more communication than with a better choice of entangled state, and 2) its communication capacity is far lower than its capacity to create entanglement. This suggests that 1) unlimited EPR pairs are not the most general model of entanglement assistance for two-party communication…
Understanding the relation between the different forms of inseparability in quantum mechanics is a longstanding problem in the foundations of quantum theory and has implications for quantum information processing. Here we make progress in this direction by establishing a direct link between quantum teleportation and Bell nonlocality. In particular, we show that all entangled states which are useful for teleportation are nonlocal resources, i.e. lead to deterministic violation of Bell's inequality. Our result exploits the phenomenon of super-activation of quantum nonlocality, recently proved by…
Reproducing with elementary resources the correlations that arise when a quantum system is measured (quantum state simulation), allows one to get insight on the operational and computational power of quantum correlations. We propose a family of models that can simulate von Neumann measurements in the x-y plane of the Bloch sphere on n-partite GHZ states using only bipartite nonlocal boxes. For the tripartite and fourpartite states, the models use only bipartite nonlocal boxes; they can be translated into classical communication schemes with finite average communication cost.
Superselection rules severely alter the possible operations that can be implemented on a distributed quantum system. Whereas the restriction to local operations imposed by a bipartite setting gives rise to the notion of entanglement as a nonlocal resource, the superselection rule associated with particle number conservation leads to a new resource, the \emph{superselection induced variance} of local particle number. We show that, in the case of pure quantum states, one can quantify the nonlocal properties by only two additive measures, and that all states with the same measures can be asymptot…
We experimentally demonstrate, with an all-optical setup, a nonlocal deterministic quantum non-demolition interaction gate applicable to quantum states at nodes separated by a physical distance and connected by classical communication channels. The gate implementation, based on entangled states shared in advance, local operations, and classical communication, runs completely in parallel fashion at both the local nodes, requiring minimum resource. The nondemolition character of the gate up to the local unitary squeezing is verified by the analysis using several coherent states. A genuine quantu…
We consider the recently proposed "no-go" theorem of Lamata et al [Phys. Rev. Lett. 101, 180506 (2008)] on the impossibility of sequential implementation of global unitary operations with the aid of an itinerant ancillary system and view the claim within the language of Kraus representation. By virtue of an extremely useful tool for analyzing entanglement properties of quantum operations, namely, operator-Schmidt decomposition, we provide alternative proof to the "no-go" theorem and also study the role of initial correlations between the qubits and ancilla in sequential preparation of unitary …
The nonlocal properties for a kind of generic N-dimensional bipartite quantum systems are investigated. A complete set of invariants under local unitary transformations is presented. It is shown that two generic density matrices are locally equivalent if and only if all these invariants have equal values in these density matrices.
We derive a trade-off relation between the accuracy of implementing a desired unitary evolution using a restricted set of free unitaries and the size of the assisting system, in terms of the resource generating/losing capacity of the target unitary. In particular, this relation implies that, for any theory equipped with a resource measure satisfying lenient conditions, any resource changing unitary cannot be perfectly implemented by a free unitary applied to a system and an environment if the environment has finite dimensions. Our results are applicable to a wide class of resources including e…
We show that in principle, $N$-partite unitary transformations can be perfectly discriminated under local measurement and classical communication (LOCC) despite of their nonlocal properties. Based on this result, some related topics, including the construction of the appropriate quantum circuit together with the extension to general completely positive trace preserving operations, are discussed.
Probe of Generic Quantum Contextuality and Nonlocal Resources for Qubits
Hebei Normal University（河北师范大学）；Institute of Physics, Chinese Academy of Sciences（中国科学院物理研究所）；University of Chinese Academy of Sciences（中国科学院大学）；South China Normal University（华南师范大学）；The University of Hong Kong（香港大学）；Beijing Academy of Quantum Information Sciences（北京量子信息科学研究院）
We analyze the difference between ex ante and ex post equilibria in classical games played with the assistance of a nonlocal (quantum or no-signaling) resource. In physics, the playing of these games is known as performing bipartite Bell-type experiments. By analyzing the Clauser-Horn-Shimony-Holt game, we find a constructive procedure to find two-person Bayesian games with a nonlocal (i.e. no-signaling, and, in many cases, quantum) advantage. Most games of this kind known from the literature can be constructed along this principle, and share the property that their relevant ex ante equilibria…
The nonlocal properties of arbitrary dimensional bipartite quantum systems are investigated. A complete set of invariants under local unitary transformations is presented. These invariants give rise to both sufficient and necessary conditions for the equivalence of quantum states under local unitary transformations: two density matrices are locally equivalent if and only if all these invariants have equal values.
A general method for implementing weakly entangling multipartite unitary operations using a small amount of entanglement and classical communication is presented. For the simple Hamiltonian σ_z\otimesσ_z this method requires less entanglement than previously known methods. In addition, compression of multiple operations is applied to reduce the average communication required.
Generalized quantum discord $(D_q)$, Einstein-Podolsky-Rosen steering $(S)$, entanglement $(E)$, and Bell nonlocality ($N$), are logically distinct quantifiers of quantum correlations. All these measures capture nonclassical aspects of quantum states and play some role as resources in quantum information processing. In this work, we look for the hierarchy satisfied by these quantum correlation witnesses for a class of two-qubit states. We show that $N \triangleright S\triangleright E\triangleright D_q$, meaning that nonlocality implies steering, which in turn implies entanglement, which then i…
Non-unitary operations generated by an effective non-Hermitian Hamiltonian can be used to create quantum state manipulations which are impossible in Hermitian quantum mechanics. These operations include state preparation (or cooling) and non-orthogonal state discrimination. In this work we put a lower bound on the resources needed for the construction of some given non-unitary evolution. Passive systems are studied in detail and a general feature of such a system is derived. After interpreting our results using the singular value decomposition, several examples are studied analytically. In par…
The simulation of quantum correlations with alternative nonlocal resources, such as classical communication, gives a natural way to quantify their nonlocality. While multipartite nonlocal correlations appear to be useful resources, very little is known on how to simulate multipartite quantum correlations. We present the first known protocol that reproduces 3-partite GHZ correlations with bounded communication: 3 bits in total turn out to be sufficient to simulate all equatorial Von Neumann measurements on the 3-partite GHZ state.
Entanglement of two parts of a quantum system is a non-local property unaffected by local manipulations of these parts. It is described by quantities invariant under local unitary transformations. Here we present, for a system of two qubits, a set of invariants which provides a complete description of non-local properties. The set contains 18 real polynomials of the entries of the density matrix. We prove that one of two mixed states can be transformed into the other by single-bit operations if and only if these states have equal values of all 18 invariants. Corresponding local operations can …
We consider a special kind of mixed states -- a {\it Werner derivative}, which is the state transformed by nonlocal unitary -- local or nonlocal -- operations from a Werner state. We show the followings. (i) The amount of entanglement of Werner derivatives cannot exceed that of the original Werner state. (ii) Although it is generally possible to increase the entanglement of a single copy of a Werner derivative by LQCC, the maximal possible entanglement cannot exceed the entanglement of the original Werner state. The extractable entanglement of Werner derivatives is limited by the entanglement …
Bell nonlocality can be formulated in terms of a resource theory with local-hidden variable models as resourceless objects. Two such theories are known, one built upon local operations assisted by shared randomness (LOSRs) and the other one allowing, in addition, for prior-to-input classical communication. We show that prior communication, although unable to create nonlocality, leads to wirings not only beyond LOSRs but also not contained in a much broader class of (nonlocality-generating) global wirings. Technically, this is shown by proving that it can improve the statistical distinguishabil…
Determinism, no signaling and measurement independence are some of the constraints required for framing Bell inequality. Any model simulating nonlocal correlations must either individually or jointly give up these constraints. Recently M. J. W. Hall (Phys Review A, \textbf{84}, 022102 (2011)) derived different forms of Bell inequalities under the assumption of individual or joint relaxation of those constraints on both(i.e., two) the sides of a bipartite system. In this work we have investigated whether one sided relaxation can also be a useful resource for simulating nonlocal correlations or …
With the goal of gaining a deeper understanding of quantum non-locality, we decompose quantum correlations into more elementary non-local correlations. We show that the correlations of all pure entangled states of two qubits can be simulated without communication, hence using only non-signaling resources. Our simulation model works in two steps. First, we decompose the quantum correlations into a local and a non-local part. Second, we present a model for simulating the nonlocal part using only non-signaling resources. In our model partially entangled states require more nonlocal resources than…
Intrinsic spectral structure of bipartite nonlocal magic resource
South China University of Technology（华南理工大学）；State Key Laboratory of Luminescent Materials and Devices, South China University of Technology（发光材料与器件国家重点实验室，华南理工大学）
The equivalence of tripartite pure states under local unitary transformations is investigated. The nonlocal properties for a class of tripartite quantum states in $\Cb^K \otimes \Cb^M \otimes \Cb^N$ composite systems are investigated and a complete set of invariants under local unitary transformations for these states is presented. It is shown that two of these states are locally equivalent if and only if all these invariants have the same values.
The optimal control of unitary transformations is a fundamental problem in quantum control theory and quantum information processing. The feasibility of performing such optimizations is determined by the computational and control resources required, particularly for systems with large Hilbert spaces. Prior work on unitary transformation control indicates that (i) for controllable systems, local extrema in the search landscape for optimal control of quantum gates have null measure, facilitating the convergence of local search algorithms; but (ii) the required time for convergence to optimal con…
We show that any two different unitary operations acting on an arbitrary multipartite quantum system can be perfectly distinguishable by local operations and classical communication when a finite number of runs is allowed. We then directly extend this result into the case when the number of unitary operations to be discriminated is more than two. Intuitively, our result means that the lost identity of a nonlocal (entangled) unitary operation can be recovered locally, without any use of entanglement or joint quantum operations.
While Bell nonlocality of a bipartite system is counter-intuitive, multipartite nonlocality in our many-body world turns out to be even more so. Recent theoretical study reveals in a theory-agnostic manner that genuine multipartite nonlocal correlations cannot be explained by any causal theory involving fewer-partite nonclassical resources and global shared randomness. Here we provide a Bell-type inequality as a test for genuine multipartite nonlocality in network by exploiting a matrix representation of the causal structure of a multipartite system. We further present experimental demonstrati…
We prove, using a new method based on map-state duality, lower bounds on entanglement resources needed to deterministically implement a bipartite unitary using separable (SEP) operations, which include LOCC (local operations and classical communication) as a particular case. It is known that the Schmidt rank of an entangled pure state resource cannot be less than the Schmidt rank of the unitary. We prove that if these ranks are equal the resource must be uniformly (maximally) entangled: equal nonzero Schmidt coefficients. Higher rank resources can have less entanglement: we have found numerica…
We show how to convert an arbitrary stabilizer code into a bipartite quantum code. A bipartite quantum code is one that involves two senders and one receiver. The two senders exploit both nonlocal and local quantum resources to encode quantum information with local encoding circuits. They transmit their encoded quantum data to a single receiver who then decodes the transmitted quantum information. The nonlocal resources in a bipartite code are ebits and nonlocal information qubits and the local resources are ancillas and local information qubits. The technique of bipartite quantum error correc…
Nonlocality, one of the most puzzling features of multipartite quantum correlation, has been identified as a useful resource for device-independent quantum information processing. Motivated by the resource theory of quantum entanglement recently an operational framework have been proposed by Gallego et al. [\href{https://doi.org/10.1103/PhysRevLett.109.070401}{Phys. Rev. Lett. 109, 070401 (2012)}] and Bancal et al. [\href{https://doi.org/10.1103/PhysRevA.88.014102}{Phys. Rev. A 88, 014102 (2013)}] that characterizes the nonlocal resource present in multipartite quantum correlations. While the …
Environmental interactions are ubiquitous in practical instances of any quantum information processing protocol. The interaction results in depletion of various quantum resources and even complete loss in numerous situations. Nonlocality, which is one particular quantum resource marking a significant departure of quantum mechanics from classical mechanics, meets the same fate. In the present work we study the decay in nonlocality to the extent of the output state admitting a local hidden state model. Using some fundamental quantum channels we also demonstrate the complete decay in the resource…
In certain cases the communication time required to deterministically implement a nonlocal bipartite unitary using prior entanglement and LOCC (local operations and classical communication) can be reduced by a factor of two. We introduce two such "fast" protocols and illustrate them with various examples. For some simple unitaries, the entanglement resource is used quite efficiently. The problem of exactly which unitaries can be implemented by these two protocols remains unsolved, though there is some evidence that the set of implementable unitaries may expand at the cost of using more entangl…
We present a method of optimizing recently designed protocols for implementing an arbitrary nonlocal unitary gate acting on a bipartite system. These protocols use only local operations and classical communication with the assistance of entanglement, and are deterministic while also being "one-shot", in that they use only one copy of an entangled resource state. The optimization is in the sense of minimizing the amount of entanglement used, and it is often the case that less entanglement is needed than with an alternative protocol using two-way teleportation.
The results of local measurements on some composite quantum systems cannot be reproduced classically. This impossibility, known as quantum nonlocality, represents a milestone in the foundations of quantum theory. Quantum nonlocality is also a valuable resource for information processing tasks, e.g. quantum communication, quantum key distribution, quantum state estimation, or randomness extraction. Still, deciding if a quantum state is nonlocal remains a challenging problem. Here we introduce a novel approach to this question: we study the nonlocal properties of quantum states when distributed …
Environmental influences are typical in any practical situation which in turn can have fatal effects on quantum resources. Bell nonlocality is such an important resource. Some environmental interactions can lead to nonlocality being lost. In such situations, it is vital to find possible prescriptions to retrieve nonlocality. The present work lays down one such prescription. Precisely, we have studied some well-known classes of states under the ambit of the Bell-CHSH inequality in two qubits, where we start from a Bell-CHSH local state and can transform it into a nonlocal state through our prot…
The correlations that violate the CHSH inequality are known to have complementary contributions from signaling and local indeterminacy. This complementarity is shown to represent a strengthening of Bell's theorem, and can be used to certify randomness in a device-independent way, assuming neither the validity of quantum mechanics nor even no-signaling. We obtain general nonlocal resources that can simulate the statistics of the singlet state, encompassing existing results. We prove a conjecture due to Hall (2010) and Kar et al. (2011) on the complementarity for such resources.
