qu an tph ] 3 1 M ay 2 00 7 Unitary transformations can be distinguished locally
Xiang-Fa Zhou,Yong-Sheng Zhang,Guang-Can Guo
2021-01-01
Abstract:Superposition plays the central role in quantum mechanics. The quantum nonorthogonality and entanglement due to superposition, which show many counter-intuitive behaviors compared with those in classical world, have drawn much attention in the past two decades. Quantum nonorthogonality put many constraints on physically accessible manipulations on input states. It is well-known that two nonorthogonal pure state can not be perfectly discriminated [1]. On the other hand, quantum nonlocality due to entanglement, which was first brought into attention by Einstein, Podolsky, and Rosen (EPR) in 1935 [2], is also one of the most interesting and important parts in quantum information science. Today, quantum entanglement has been viewed as a significant resource for quantum information processing, and currently the behavior of entanglement in quantum information science is still under investigation. Although perfect identification of nonorthogonal quantum states are impossible in quantum world, when we refer to quantum operations, thing becomes very different. It was proved that two unitary operations can be perfectly discriminated after applying the unitary gate a finite number of times in parallel [3, 4]. On the other hand, the nonlocality of unitary transformation has been extensively studied because of its fundamental importance during the construction of universal quantum circuit [5]. For example, it has been shown that a sequence of a nonlocal gate (e.g., Control-not gate or Control-phase gate) and single-qubit rotations can be used to construct any desired transformations. Also nonlocal gate can be classified and simulate each other under specific conditions [6, 7]. Based on these results, one natural problem arises what is the influence of the nonlocality of quantum operation on the discrimination. In this work, we consider to discriminate two unitary transformations with local methods. Compared with its counterpart, i.e., local identification of quantum states, which is often considered for orthogonal states [8, 9], we find that any two unitary transformations can be perfectly identified locally despite of their nonlocal properties. Before concentrating on the specific topics, let us make a few remarks about the difference between the discrimination of quantum states and of quantum operations. Generally to identify a quantum state, one should make a measurement on the given state followed by an estimation based on the measurement results. Such process usually collapses the input states which thus cannot be used any more. However, thing becomes different when we refer to quantum operations. The reason lies in the fact that quantum operations never collapse, and in principle it can be repeated any times if we need. What’s more, when unitary operations are considered, by exchanging the input and output ports of the whole setup, we can obtain the reverse transformations. Actually, these facts make the discrimination of quantum operations very different from that of quantum states. Generally the strategy of operation identification is formulated as this: we employ a quantum circuit f(U) which is made up of the selected operation U on the suitable input state ρs,a, where s(a) denotes the circuit system (auxiliary system). If only local methods are required, ρs,a must also be separable. To obtain the maximal distinguishability, the overlap of the output states should be as small as possible for different quantum operations. Fig. 1 shows the sketch of the identification process under local operation and classical communication (LOCC). When global operation are permitted, both of the circuit and the input state can be constructed to realize a perfect discrimination for unitary transformations [3, 4]. However, when only local operations and resources are permitted, thing becomes not so obvious. To simplify our consideration, in the following, we mainly focus on bipartite system. Let us begin with some simple observations. Here we mainly concentrate on unitary operations, one can check that some of the discussions are also suitable for general quantum operations. As we have mentioned above, to realize perfect identification, one need to find a suitable input state such that the corresponding output states are orthogonal to each other for different selected operations. Assume that we want to discriminate two unitary operations U and