Undoing a unitary operation, $i.e$. reversing its action, is the task of canceling the effects of a unitary evolution on a quantum system, and it may be easily achieved when the unitary is known. Given a unitary operation without any specific description, however, it is a hard and challenging task to realize the inverse operation. Recently, a universal quantum circuit has been proposed [Phys.Rev.Lett. 123, 210502 (2019)] to undo an arbitrary unknown $d$-dimensional unitary $U$ by implementing its inverse with a certain probability. In this letter, we report the experimental reversing of three single-qubit unitaries $(d = 2)$ by linear optical elements. The experimental results prove the feasibility of the reversing scheme, showing that the average fidelity of inverse unitaries is $F=0.9767\pm0.0048$, in close agreement with the theoretical prediction.
We propose an experiment which demonstrates the undoing of a weak continuous measurement of a solid-state qubit, so that any unknown initial state is fully restored. The undoing procedure has only a finite probability of success because of the non-unitary nature of quantum measurement, though it is accompanied by a clear experimental indication of whether or not the undoing has been successful. The probability of success decreases with increasing strength of the measurement, reaching zero for a traditional projective measurement. Measurement undoing (``quantum un-demolition'') may be interpret…
We review and expand on recent advances in theory and experiments concerning the problem of wavefunction uncollapse: Given an unknown state that has been disturbed by a generalized measurement, restore the state to its initial configuration. We describe how this is probabilistically possible with a subsequent measurement that involves erasing the information extracted about the state in the first measurement. The general theory of abstract measurements is discussed, focusing on quantum information aspects of the problem, in addition to investigating a variety of specific physical situations an…
We study efficient quantum certification algorithms for quantum state set and unitary quantum channel. We present an algorithm that uses $O(\varepsilon^{-4}\ln |\mathcal{P}|)$ copies of an unknown state to distinguish whether the unknown state is contained in or $\varepsilon$-far from a finite set $\mathcal{P}$ of known states with respect to the trace distance. This algorithm is more sample-efficient in some settings. Previous study showed that one can distinguish whether an unknown unitary $U$ is equal to or $\varepsilon$-far from a known or unknown unitary $V$ in fixed dimension with $O(\va…
We address the problem of learning an unknown unitary transformation from a finite number of examples. The problem consists in finding the learning machine that optimally emulates the examples, thus reproducing the unknown unitary maximum fidelity. Learning a unitary is equivalent to storing it in the state of a quantum memory (the memory of the learning machine), and subsequently retrieving it. We prove that, whenever the unknown unitary is drawn from a group, the optimal strategy consists in a parallel call of the available uses followed by a "measure-and-rotate" retrieving. Differing from t…
We study efficient quantum certification algorithms for unitary quantum process using no ancilla. Previous study showed that one can distinguish whether an unknown unitary $U$ is equal to or $\varepsilon$-far from a known or unknown unitary $V$ in fixed dimension with $O(\varepsilon^{-2})$ uses of the unitary, in which the Choi state is used and thus a high dimensional ancilla system is always needed. We give an algorithm that distinguishes the two cases with $O(\varepsilon^{-1})$ uses of the unitary, using fewer or no ancilla, outperforming previous relevant results.
One of the essential building blocks of classical computer programs is the "if" clause, which executes a subroutine depending on the value of a control variable. Similarly, several quantum algorithms rely on applying a unitary operation conditioned on the state of a control system. Here we show that this control cannot be performed by a quantum circuit if the unitary is completely unknown. However, this no-go theorem does not prevent implementing quantum control of unknown unitaries in practice, as any physical implementation of an unknown unitary provides additional information that makes the…
In the well known treatment of quantum teleportation, the receiver should convert the state of his EPR particle into the replica of the unknown quantum state by one of four possible unitary transformations. However, the importance of these unitary transformations must be emphasized. We will show in this paper that the receiver can not transform the state of his particle into an exact replica of the unknown state which the sender want to transfer if he have not a proper implementation of these unitary transformations. In the procedure of converting state, the inevitable coupling between EPR par…
Robust multi-hypothesis quantum-state discrimination under unknown common unitary perturbations via least favorable priors
Graduate School of Engineering Science, The University of Osaka（大阪大学工程科学研究科）；Center for Education in Liberal Arts and Sciences, The University of Osaka（大阪大学通识教育中心）；Center for Quantum Information and Quantum Biology, The University of Osaka（大阪大学量子信息与量子生物学中心）
The problem of optimally estimating an unknown unitary quantum operation with the aid of entanglement is addressed. The idea is to prepare an entangled pair, apply the unknown unitary to one of the two parts and then measure the joint output state. This measurement could be an entangled one or it could be separable (e.g., LOCC). A comparison is made between these possibilities and it is shown that by using non-separable measurements one can improve the accuracy of the estimation by a factor of $2(d+1)/d$ where $d$ is the dimension of the Hilbert space on which $U$ acts.
Given a quantum gate implementing a $d$-dimensional unitary operation $U_d$, without any specific description but $d$, and permitted to use $k$ times, we present a universal probabilistic heralded quantum circuit that implements the exact inverse $U_d^{-1}$, whose failure probability decays, exponentially in $k$. The protocol employs an adaptive strategy, proven necessary for the exponential performance. It requires $k\geq d-1$, proven necessary for exact implementation of $U_d^{-1}$ with quantum circuits. Moreover, even when quantum circuits with indefinite causal order are allowed, $k\geq d-…
Quantum algorithms are able to solve particular problems exponentially faster than conventional algorithms, when implemented on a quantum computer. However, all demonstrations to date have required already knowing the answer to construct the algorithm. We have implemented the complete quantum phase estimation algorithm for a single qubit unitary in which the answer is calculated by the algorithm. We use a new approach to implementing the controlled-unitary operations that lie at the heart of the majority of quantum algorithms that is more efficient and does not require the eigenvalues of the u…
We show that one can deterministically generate out of $N$ copies of an unknown unitary operation up to $N^2$ almost perfect copies. The result holds for all operations generated by a Hamiltonian with an unknown interaction strength. This generalizes a similar result in the context of phase covariant cloning where, however, super-replication comes at the price of an exponentially reduced probability of success. We also show that multiple copies of unitary operations can be emulated by operations acting on a much smaller space, e.g., a magnetic field acting on a single $n$-level system allows o…
We consider several problems that involve finding the eigenvalues and generating the eigenstates of unknown unitary gates. We first examine Controlled-U gates that act on qubits, and assume that we know the eigenvalues. It is then shown how to use singlet states to produce qubits in the eigenstates of the gate. We then remove the assumption that we know the eigenvalues and show how to both find the eigenvalues and produce qubits in the eigenstates. Finally, we look at the case where the unitary operator acts on qutrits and has eigenvalues of 1 and -1, where the eigenvalue 1 is doubly degenerat…
We provide several applications of a previously introduced isomorphism between physical operations acting on two systems and entangled states [1]. We show: (i) how to implement (weakly) non-local two qubit unitary operations with a small amount of entanglement; (ii) that a known, noisy, non-local unitary operation as well as an unknown, noisy, local unitary operation can be purified; (iii) how to perform the tomography of arbitrary, unknown, non-local operations; (iv) that a set of local unitary operations as well as a set of non-local unitary operations can be stored and compressed; (v) how t…
We develop a technique for single qubit quantum state tomography using the mathematical setup of generalized quantization scheme for games. In our technique Alice sends an unknown pure quantum state to Bob who appends it with |0><0| and then applies the unitary operators on the appended quantum state and finds the payoffs for Alice and himself. It is shown that for a particular set of unitary operators these elements become equal to Stokes parameters for an unknown quantum state. In this way an unknown quantum state can be measured and reconstructed. Strictly speaking this technique is not a g…
We investigate how originally localized two pieces of quantum information represented by a tensor product of two unknown qudit states are delocalized by performing two-qudit global unitary operations. To characterize the delocalization power of global unitary operations on quantum information, we analyze the necessary and sufficient condition to deterministically relocalize one of the two pieces of quantum information to its original Hilbert space by using only LOCC. We prove that this LOCC one-piece relocalization is possible if and only if the global unitary operation is local unitary equiva…
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 introduce and experimentally demonstrate a technique for performing quantum state tomography on multiple-qubit states despite incomplete knowledge about the unitary operations used to change the measurement basis. Given unitary operations with unknown rotation angles, our method can be used to reconstruct the density matrix of the state up to local sigma-z rotations as well as recover the magnitude of the unknown rotation angle. We demonstrate high-fidelity self-calibrating tomography on polarization-encoded one- and two-photon states. The unknown unitary operations are realized in two ways…
Distilling Qubit Unitary Operations: A No-Go Theorem and Minimal Realization
The Hong Kong University of Science and Technology (Guangzhou)（香港科技大学（广州））；Quantum Science Center of Guangdong-Hong Kong-Macao Greater Bay Area（粤港澳大湾区量子科学中心）
An unknown unitary gates, which is secretly chosen from several known ones, can always be distinguished perfectly. In this paper, we implement such a task on IBM's quantum processor. More precisely, we experimentally demonstrate the discrimination of two qubit unitary gates, the identity gate and the $\frac{2}{3}π$-phase shift gate, using two discrimination schemes -- the parallel scheme and the sequential scheme. We program these two schemes on the \emph{ibmqx4}, a $5$-qubit superconducting quantum processor via IBM cloud, with the help of the $QSI$ modules [S. Liu et al.,~arXiv:1710.09500, 2…
We address the question of a quantum memory storage of quantum dynamics. In particular, we design an optimal protocol for $N\to 1$ probabilistic storage-and-retrieval of unitary channels on $d$-dimensional quantum systems. If we may access the unknown unitary gate only $N$-times, the optimal success probability of perfect retrieval of its single use is $N/(N-1+d^2)$. The derived size of the memory system exponentially improves the known upper bound on the size of the program register needed for probabilistic programmable quantum processors. Our results are closely related to probabilistic perf…
In this article we propose a method to estimate with high accuracy pure quantum states of a single qudit. Our method is based on the minimization of the squared error between the complex probability amplitudes of the unknown state and its estimate. We show by means of numerical experiments that the estimation accuracy of the present method, which is given by the expectation of the squared error on the sample space of estimates, is state independent. Furthermore, the estimation accuracy delivered by our method is close to twice the Gill-Massar lower bound, which represents the best achievable a…
We study mechanisms that allow one to synchronize the quantum phase of two qubits relative to a fixed basis. Starting from one qubit in a fixed reference state and the other in an unknown state, we find that contrary to the impossibility of perfect quantum cloning, the quantum-phase can be synchronized perfectly through a joined unitary operation. When both qubits are initially in a pure unknown state, perfect quantum-phase synchronization through unitary operations becomes impossible. In this situation we determine the maximum average quantum-phase synchronization fidelity, the distribution o…
This paper presents a series of general results about the optimal estimation of physical transformations in a given symmetry group. In particular, it is shown how the different symmetries of the problem determine different properties of the optimal estimation strategy. The paper also contains a discussion about the role of entanglement between the representation and multiplicity spaces and about the optimality of square-root measurements.
Estimating the eigenvalues of a unitary transformation U by standard phase estimation requires the implementation of controlled-U-gates which are not available if U is only given as a black box. We show that a simple trick allows to measure eigenvalues of U\otimes U^\dagger even in this case. Running the algorithm several times allows therefore to estimate the autocorrelation function of the density of eigenstates of U. This can be applied to find periodicities in the energy spectrum of a quantum system with unknown Hamiltonian if it can be coupled to a quantum computer.
Upon entangling a spatial binary alternative of a photon with its polarization, one can use single photons to study arbitrary 2-qubit states. Sending the photon through a Mach-Zehnder interferometer, equipped with sets of wave plates that change the polarization, amounts to performing a unitary transformation on the 2-qubit state. We show that any desired unitary gate can be realized by a judicious choice of the parameters of the set-up and discuss a number of applications. They include the diagnosis of an unknown 2-qubit state, an optical Grover search, and the realization of a thought experi…
Quantum states obey an asymptotic no-cloning theorem, stating that no deterministic machine can reliably replicate generic sequences of identically prepared pure states. In stark contrast, we show that generic sequences of unitary gates can be replicated deterministically at nearly quadratic rates, with an error vanishing on most inputs except for an exponentially small fraction. The result is not in contradiction with the no-cloning theorem, since the impossibility of deterministically transforming pure states into unitary gates prevents the application of the gate replication protocol to sta…
We compare three different characterizations of the globalness of bipartite unitary operations, namely, delocalization power, entanglement cost, and entangling power, to investigate global properties of unitary operations. We show that the globalness of the same unitary operation depends on whether input states are given by unknown states representing pieces of quantum information, or a set of known states for the characterization. We extend our analysis on the delocalization power in two ways. First, we show that the delocalization power differs whether the global operation is applied on one …
Suppose, we are given two finite ensembles of pure qubit states, so that the qubits in each ensemble are prepared in identical (but unknown for us) states lying on the equator of the Bloch sphere. What is the best strategy to estimate fidelity between these two finite ensembles of qubit states? We discuss three possible strategies for the fidelity estimation. We show that the best strategy includes two stages: a specific unitary transformation on two ensembles and state estimation of the output states of this transformation.
In the context of quantum communications between two parties (here Alice and Bob), Bob's lack of knowledge about the communications channel can affect the purity of the states that he receives. The operation of applying an unknown unitary transformation to a state, thus reducing its purity, is called "twirling". As twirling affects the states that Bob receives, it also affects his perception of the operations that Alice applies to her states. In this work we find that not every operation is representable after a twirling, we show the minimal requirement for this to be possible, and we identify…
Quantum process tomography is an experimental technique to fully characterize an unknown quantum process. Standard quantum process tomography suffers from exponentially scaling of the number of measurements with the increasing system size. In this work, we put forward a quantum machine learning algorithm which approximately encodes the unknown unitary quantum process into a relatively shallow depth parametric quantum circuit. We demonstrate our method by reconstructing the unitary quantum processes resulting from the quantum Hamiltonian evolution and random quantum circuits up to $8$ qubits. R…
The well-known algorithm for quantum phase estimation requires that the considered unitary is available as a conditional transformation depending on the quantum state of an ancilla register. We present an algorithm converting an unknown n-qubit pair-interaction Hamiltonian into a conditional one such that standard phase estimation can be applied to measure the energy. Our essential assumption is that the considered system can be brought into interaction with a quantum computer. For large n the algorithm could still be applicable for estimating the density of energy states and might therefore b…
We study the number of measurements required for quantum process tomography under prior information, such as a promise that the unknown channel is unitary. We introduce the notion of an interactive observable and we show that any unitary channel acting on a $d$-level quantum system can be uniquely identified among all other channels (unitary or otherwise) with only $O(d^2)$ interactive observables, as opposed to the $O(d^4)$ required for tomography of arbitrary channels. This result generalizes, so that channels with at most $q$ Kraus operators can be identified with only $O(qd^2)$ interactive…
Consider an n qubit computational basis state corresponding to a bit string x, which has had an unknown local unitary applied to each qubit, and whose qubits have been reordered by an unknown permutation. We show that, given such a state with Hamming weight |x| at most n/2, it is possible to reconstruct |x| with success probability 1 - |x|/(n-|x|+1), and thus to compute any symmetric function of x. We give explicit algorithms for computing whether or not |x| is at least t for some t, and for computing the parity of x, and show that these are essentially optimal. These results can be seen as ge…
We propose a probabilistic quantum protocol to realize a nonlinear transformation of qutrit states, which by iterative applications on ensembles can be used to distinguish two types of pure states. The protocol involves single-qutrit and two-qutrit unitary operations as well as post-selection according to the results obtained in intermediate measurements. We utilize the nonlinear transformation in an algorithm to identify a quantum state provided it belongs to an arbitrary known finite set. The algorithm is based on dividing the known set of states into two appropriately designed subsets which…
