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 experiment invented by Vaidman, Aharonov, and Albert.
Operator entanglement of two-qubit joint unitary operations is revisited. Schmidt number is an important attribute of a two-qubit unitary operation, and may have connection with the entanglement measure of the unitary operator. We found the entanglement measure of two-qubit unitary operators is classified by the Schmidt number of the unitary operators. The exact relation between the operator entanglement and the parameters of the unitary operator is clarified too.
We study the local unitary equivalence for two and three-qubit mixed states by investigating the invariants under local unitary transformations. For two-qubit system, we prove that the determination of the local unitary equivalence of 2-qubits states only needs 14 or less invariants for arbitrary two-qubit states. Using the same method, we construct invariants for three-qubit mixed states. We prove that these invariants are sufficient to guarantee the LU equivalence of certain kind of three-qubit states. Also, we make a comparison with earlier works.
In two-qubit gate simulations an entangling gate is used several times together with single qubit gates to simulate another two-qubit gate. We show how a two-qubit gate's simulation power is related to the simulation power of its mirror gate. And we show that an arbitrary two-qubit gate can be simulated by three applications of a super controlled gate together with single qubit gates. We also give the gates set that can be simulated by n applications of a controlled gate in a constructive way. In addition we give some gates which can be used four times to simulate an arbitrary two-qubit gate.
We propose a simple formalism to design unitary gates robust against given systematic errors. This formalism generalizes our previous observation [Y. Kondo and M. Bando, J. Phys. Soc. Jpn. 80, 054002 (2011)] that vanishing dynamical phase in some composite gates is essential to suppress amplitude errors. By employing our formalism, we naturally derive a new composite unitary gate which can be seen as a concatenation of two known composite unitary operations. The obtained unitary gate has high fidelity over a wider range of the error strengths compared to existing composite gates.
The decomposition of matrices associated to two-qubit and three-qubit orthogonal gates is studied, and based on the decomposition the synthesis of these gates is investigated. The optimal synthesis of general two-qubit orthogonal gate is obtained. For two-qubit unimodular orthogonal gate, it requires at most 2 CNOT gates and 6 one-qubit Ry gates. For the general three-qubit unimodular orthogonal gate, it can be synthesized by 16 CNOT gates and 36 one-qubit Ry and Rz gates in the worst case.
We present a complete set of local unitary invariants for generic multi-qubit systems which gives necessary and sufficient conditions for two states being local unitary equivalent. These invariants are canonical polynomial functions in terms of the generalized Bloch representation of the quantum states. In particular, we prove that there are at most 12 polynomial local unitary invariants for two-qubit states and at most 90 polynomials for three-qubit states. Comparison with Makhlin's 18 local unitary invariants is given for two-quibit systems.
We show that any unitary operator on the $d_A\times d_B$ system ($d_A\ge 2$) can be decomposed into the product of at most $4d_A-5$ controlled unitary operators. The number can be reduced to $2d_A-1$ when $d_A$ is a power of two. We also prove that three controlled unitaries can implement a bipartite complex permutation operator, and discuss the connection to an analogous result on classical reversible circuits. We further show that any $n$-partite unitary on the space $\mathbb{C}^{d_1}\otimes...\otimes\mathbb{C}^{d_n}$ is the product of at most $[2\prod^{n-1}_{j=1}(2d_j-2)-1]$ controlled unit…
Near-term quantum computers are limited by the decoherence of qubits to only being able to run low-depth quantum circuits with acceptable fidelity. This severely restricts what quantum algorithms can be compiled and implemented on such devices. One way to overcome these limitations is to expand the available gate set from single- and two-qubit gates to multi-qubit gates, which entangle three or more qubits in a single step. Here, we show that such multi-qubit gates can be realized by the simultaneous application of multiple two-qubit gates to a group of qubits where at least one qubit is invol…
In this work we investigate that whether one can construct single and two qubit gates for arbitrary quantum states from the principle of no signalling. We considered the problem for Pauli gates, Hadamard gate, C-Not gate.
A new form of local unitary (LU) transformation invariant is given for multi-qubit states . The general relation between tangle and the LU transformation invariant of pure three and four-qubit states is given. We find that the tangle actually is a special LU transformation invariant. Furthermore, the tangle is a important local unitary (LU) transformation invariant which is a nessesary condition for maximally multi-qubit entangled state.
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…
In this paper, we propose a scheme to realize three-qubit controlled phase gate and multiqubit controlled-NOT gate of one qubit simultaneously controlling n target qubit with four level quantum system in a cavity. Adjustment of level spacing during the gates implementation is not required. Implementation time for multiqubit controlled NOT gate is independent of number of qubit. Three-qubit phase gate is generalized to n-qubit phase gate with multiple control qubit and the number of steps (complexity) reduces linearly as compare to conventional gate decomposition method. Our scheme can be appli…
In this paper, we study the optimal simulation of three-qubit unitary by using two-qubit gates. First, we give a lower bound on the two-qubit gates cost of simulating a multi-qubit gate. Secondly, we completely characterize the two-qubit gate cost of simulating a three-qubit controlled controlled gate by generalizing our result on the cost of Toffoli gate. The function of controlled controlled gate is simply a three-qubit controlled unitary gate and can be intuitively explained as follows: the gate will output the states of the two control qubit directly, and apply the given one-qubit unitary …
We present computable criterion for completely classifying multi-qubit quantum states under local unitary operations. The criterion can be used to detect whether two quantum states in multi-qubit systems are local unitary equivalent or not. Once obtaining the positive answer, we are further able to compute the corresponding unitary operators precisely. Since the scheme is based on the mean values of some quantum mechanical observables, it supplies an experimental way to judge the local equivalence of quantum states.
We propose how to realize a three-step controlled-phase gate of one superconducting qubit simultaneously controlling n qubits selected from N qubits in a cavity (1<n<N). The operation time of this gate is independent of the number n of qubits involved in the gate operation. This phase gate controlling at once n qubits is insensitive to the initial state of the cavity mode and can be used to produce an analogous CNOT gate simultaneously acting on n qubits.
We propose how to realize a three-step controlled-phase gate of one qubit simultaneously controlling $n$ qubits in a cavity or coupled to a resonator. The $n$ two-qubit controlled-phase gates, forming this multiqubit phase gate, can be performed simultaneously. The operation time of this phase gate is independent of the number $n$ of qubits. This phase gate controlling at once $n$ qubits is insensitive to the initial state of the cavity mode and can be used to produce an analogous CNOT gate simultaneously acting on $n$ qubits. We present two alternative approaches to implement this gate. One a…
We present improved circuits for the control-control-phase (Toffoli) gate and the control-swap (Fredkin) gate using three and four global two-qubit gates, respectively. This is a nearly double speed-up compared to the conventional circuits, which require five (for Toffoli) and seven (for Fredkin) conditional two-qubit gates. We apply the same approach to construct the conditional four-qubit phase gate by seven global two-qubit gates. We also present construction of the Toffoli and the Fredkin gates with five nearest-neighbour interactions. Our constructions do not employ ancilla qubits or anci…
We show that the Hadamard and Unitary gates could be implemented by a unitary evolution together with a measurement for any unknown state chosen from a set $A = {{| {Ψ_i} > ,| {\bar Ψ_i} >}}({i = 1,2})$ if and only if $| {Ψ_1} > ,| {Ψ_2} > ,| {\bar Ψ_1} > ,| {\bar Ψ_2} >$ are linearly independent. We also derive the best transformation efficiencies.
Quantum algorithms often benefit from the ability to execute multi-qubit (>2) gates. To date such multi-qubit gates are typically decomposed into single- and two-qubit gates, particularly in superconducting qubit architectures. The ability to perform multi-qubit operations in a single step could vastly improve the fidelity and execution time of many algorithms. Here, we propose a single shot method for executing an i-Toffoli gate, a three-qubit gate gate with two control and one target qubit, using currently existing superconducting hardware. We show numerical evidence for a process fidelity o…
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 develop a unitary dependence theory to characterize the behaviors of quantum circuits and states in terms of how quantum gates manipulate qubits and determine their measurement probabilities. A qubit has dependence on a 1-qubit unitary gate if its measurement probabilities depend on the parameters of the gate. A 1-qubit unitary creates such a dependence onto the target qubit, and a CNOT gate copies all the dependences from the control qubit to the target qubit. The complete dependence picture of the output state details the connections qubits may have when being manipulated or measured. Com…
In this paper, we study time-optimal control problems related to system of two coupled qubits where the time scales involved in performing unitary transformations on each qubit are significantly different. In particular, we address the case where unitary transformations produced by evolutions of the coupling take much longer time as compared to the time required to produce unitary transformations on the first qubit but much shorter time as compared to the time to produce unitary transformations on the second qubit. We present a canonical decomposition of SU(4) in terms of the subgroup SU(2)xSU…
We consider a two-qubit unitary operation along with arbitrary local unitary operations acts on a two-qubit pure state, whose entanglement is C_0. We give the conditions that the final state can be maximally entangled and be non-entangled. When the final state can not be maximally entangled, we give the maximal entanglement C_max it can reach. When the final state can not be non-entangled, we give the minimal entanglement C_min it can reach. We think C_max and C_min represent the entanglement changing power of two-qubit unitary operations. According to this power we define an order of gates.
We study the entangling properties of multipartite unitary gates with respect to the measure of entanglement called one-tangle. Putting special emphasis on the case of three parties, we derive an analytical expression for the entangling power of an $n$-partite gate as an explicit function of the gate, linking the entangling power of gates acting on $n$-partite Hilbert space of dimension $d_1 \ldots d_n$ to the entanglement of pure states in the Hilbert space of dimension $(d_1 \ldots d_n)^2$. Furthermore, we evaluate its mean value averaged over the unitary and orthogonal groups, analyze the m…
In this paper the geometry of two-qubit systems under local unitary group $SO(2)\otimes SU(2)$ is discussed. It is shown that the quaternionic conformal map intertwines between this local unitary subgroup of $Sp(2)$ and the quaternionic Möbius transformation which is rather a generalization of the results of Lee et al (2002 Quantum Inf. Process. 1 129).
We demonstrate that in a coupled two-qubit system any single-qubit gate can be decomposed into two conditional two-qubit gates and that any conditional two-qubit gate can be implemented by a manipulation analogous to that used for a controlled two-qubit gate. Based on this we present a unified approach to implement universal single-qubit and two-qubit gates in a coupled two-qubit system with fixed always-on coupling. This approach requires neither supplementary circuit or additional physical qubits to control the coupling nor extra hardware to adjust the energy level structure. The feasibility…
By preparing an input state and measuring an observable for the output state, we can measure a quantum channel. Following the formulation given by Xiao et al., we study an uncertainty relation for ancilla-free measurements of random unitary channels acting on a qubit. We obtain an explicit formula and give a necessary and sufficient condition for this formula to be nontrivial.
We derive necessary and sufficient conditions for the LU-equivalence of two general (pure or mixed) $n$-qubit states as well as we determine the local unitary operators connecting them. Almost all relevant information is contained in the $1$-qubit reduced matrices of the multiqubit states under investigation Our technique relies on identifying {\it ab initio} all local symmetries and the corresponding local cyclic unitary operators. To derive the above conditions we use the reference forms of the multiqubit states whose definition requires the diagonalization of the 1-qubit reduced matrices. B…
Local unitary invariance and the notion of negativity fonts are used as the principle tools to construct four qubit invariants of degree 8, 12, and 24. A degree 8 polynomial invariant that is non-zero on pure four qubit states with four-body correlations and zero on all other states, is identified. Classification of four qubit states into seven major classes, using criterion based on the nature of correlations, is discussed.
We prove that a generic three-qubit quantum logic gate can be implemented using at most 98 one-qubit rotations about the $y$- and $z$-axes and 40 CNOT gates, beating an earlier bound of 64 CNOT gates.
In this paper, we settle the long-standing open problem of the minimum cost of two-qubit gates for simulating a Toffoli gate. More precisely, we show that five two-qubit gates are necessary. Before our work, it is known that five gates are sufficient and only numerical evidences have been gathered, indicating that the five-gate implementation is necessary. The idea introduced here can also be used to solve the problem of optimal simulation of three-qubit control phase introduced by Deutsch in 1989.
We obtain local unitary invariant polynomials for N qubit quantum state from first principles. A basic unit of entanglement, referred to as negativity font, is defined as a two by two matrix of probability amplitudes that determines the negative eigen value of a four by four submatrix of partially transposed state operator. Transformation properties of determinants of negativity fonts under local unitary (LU) transformations are exploited to obtain multi qubit invariants written in terms of such determinants.
We give an algorithm allowing to construct bases of local unitary invariants of pure k-qubit states from the knowledge of polynomial covariants of the group of invertible local filtering operations. The simplest invariants obtained in this way are explicited and compared to various known entanglement measures. Complete sets of generators are obtained for up to four qubits, and the structure of the invariant algebras is discussed in detail.
We present a novel approach for studying the dynamics of a superconducting qubit in a cavity. We succeed in linearizing the Hamiltonian through the application of an appropriate unitary transformation followed by a rotating wave approximation (RWA). For certain values of the parameters involved, we show that it is possible to obtain a a Jaynes-Cummings type Hamiltonian. As an example, we show the existence of super-revivals for the qubit inversion.
In some quantum computing (QC) architectures, entanglement of an arbitrary number of qubits can be generated in a single operation. This property has many potential applications, and may specifically be useful for quantum error correction (QEC). Stabilizer measurements can then be implemented using a single multi-qubit gate instead of several two-qubit gates, thus reducing circuit depth. In this study, the toric code is used as a benchmark to compare the performance of two-qubit and five-qubit gates within parity-check circuits. We consider trapped ion qubits that are controlled via Raman tran…
We introduce a twisted Heisenberg-type interaction Hamiltonian, a Heisenberg-type spin interaction where the coordinates of the second qubit are twisted according to a unitary gate. We develop parallelizable adiabatic gate teleportation (PAGT) where a sequence of unitary gates is performed in a single step of the adiabatic process. In PAGT, numeric calculations suggest the necessary time for the adiabatic evolution implementing a sequence of $L$ unitary gates increases at most as $O(L^5)$. However, we show that it has the interesting property that it can map the temporal order of gates to the …
In all the various proposals for quantum computers, a common feature is that the quantum circuits are expected to be made of cascades of unitary transformations acting on the quantum states. A framework is proposed to express these elementary quantum gates directly in terms of the control inputs entering into the continuous time forced Schrodinger equation.
We consider the implementation of two-qubit unitary transformations by means of CNOT gates and single-qubit unitary gates. We show, by means of an explicit quantum circuit, that together with local gates three CNOT gates are necessary and sufficient in order to implement an arbitrary unitary transformation of two qubits. We also identify the subset of two-qubit gates that can be performed with only two CNOT gates.
Local implementation of non-local quantum gates is necessary in a distributed quantum computer. Here, we demonstrate the non-local implementation of controlled-unitary quantum gates proposed by Eisert et al. (Phys Rev A 62:052317, 2000) using the five-qubit IBM quantum computer. We verify the fidelity and accuracy of the implementation through the techniques of quantum state and process tomographies.
The controlled-not gate and the single qubit gates are considered elementary gates in quantum computing. It is natural to ask how many such elementary gates are needed to implement more elaborate gates or circuits. Recall that a controlled-U gate can be realized with two controlled-not gates and four single qubit gates. We prove that this implementation is optimal if and only if the matrix U satisfies the conditions tr U != 0, tr UX != 0, and det U != 1. We also derive optimal implementations in the non-generic cases.
Uniformly controlled one-qubit gates are quantum gates which can be represented as direct sums of two-dimensional unitary operators acting on a single qubit. We present a quantum gate array which implements any n-qubit gate of this type using at most 2^{n-1} - 1 controlled-NOT gates, 2^{n-1} one-qubit gates and a single diagonal n-qubit gate. The circuit is based on the so-called quantum multiplexor, for which we provide a modified construction. We illustrate the versatility of these gates by applying them to the decomposition of a general n-qubit gate and a local state preparation procedure. …
We show that it is possible to reduce the number of two-qubit gates needed for the construction of an arbitrary controlled-unitary transformation by up to two times using a tunable controlled-phase gate. On the platform of linear optics, where two-qubit gates can only be achieved probabilistically, our method significantly reduces the amount of components and increases success probability of a two-qubit gate. The experimental implementation of our technique presented in this paper for a controlled single-qubit unitary gate demonstrates that only one tunable controlled-phase gate is needed inst…
Two-qubit gates are important components of quantum computing. However, unwanted interactions between qubits (so-called parasitic gates) can be particularly problematic and degrade the performance of quantum applications. In this work, we present two software methods to mitigate parasitic two-qubit gate errors. The first approach is built upon the KAK decomposition and keeps the original unitary decomposition for the error-free native two-qubit gate. It counteracts a parasitic two-qubit gate by only applying single-qubit rotations and therefore has no two-qubit gate overhead. We show the optim…
We analyze random unitary evolution of the qubit within memory kernel approach. We provide sufficient conditions which guarantee that the corresponding memory kernel generates physically legitimate quantum evolution. Interestingly, we are able to recover several well known examples and generate new classes of nontrivial qubit evolution. Surprisingly, it turns out that quantum evolution with memory kernel generated by our approach gives rise to vanishing non-Markovianity measure based on the distinguishability of quantum states.
Long time behavior of a unitary quantum gate $U$, acting sequentially on two subsystems of dimension $N$ each, is investigated. We derive an expression describing an arbitrary iteration of a two-qubit gate making use of a link to the dynamics of a free particle in a $3D$ billiard. Due to ergodicity of such a dynamics an average along a trajectory $V^t$ stemming from a generic two-qubit gate $V$ in the canonical form tends for a large $t$ to the average over an ensemble of random unitary gates distributed according to the flat measure in the Weyl chamber - the minimal $3D$ set containing points…
We construct a minimal robust controlled-NOT gate with an Ising-type interaction by which elementary two-qubit gates are implemented. It is robust against inaccuracy of the coupling strength and the obtained quantum circuits are constructed with the minimal number (N=3) of elementary two-qubit gates and several one-qubit gates. It is noteworthy that all the robust circuits can be mapped to one-qubit circuits robust against a pulse length error. We also prove that a minimal robust SWAP gate cannot be constructed with N=3, but requires N=6 elementary two-qubit gates.
We propose a robust scheme involving atoms fixed in an optical cavity to directly implement the universal controlled-unitary gate. The present technique based on adiabatic passage uses novel dark states well suited for the controlled-rotation operation. We show that these dark states allow the robust implementation of a gate that is a generalisation of the controlled-unitary gate to the case where the control qubit can be selected to be an arbitrary state. This gate has potential applications to the rapid implementation of quantum algorithms such as of the projective measurement algorithm. Thi…
In this Letter, we present two analytic expressions that most generally simulate $n$-qubit controlled-$U$ gates with standard one-qubit gates and CNOT gates using exponential and polynomial complexity respectively. Explicit circuits and general expressions of decomposition are derived. The exact numbers of basic operations in these two schemes are given using gate counting technique.
Recent investigations show that conservation laws limit the accuracy of gate operations in quantum computing. The inevitable error under the angular momentum conservation law has been evaluated so far for the CNOT, Hadamard, and NOT gates for spin 1/2 qubits, while the SWAP gate has no constraint. Here, we extend the above results to general single-qubit gates. We obtain an upper bound of the gate fidelity of arbitrary single-qubit gates implemented under arbitrary conservation laws, determined by the geometry of the conservation law and the gate operation on the Bloch sphere as well as the si…
