Quantum mechanics requires the operation of quantum computers to be unitary, and thus makes it important to have general techniques for developing fast quantum algorithms for computing unitary transforms. A quantum routine for computing a generalized Kronecker product is given. Applications include re-development of the networks for computing the Walsh-Hadamard and the quantum Fourier transform. New networks for two wavelet transforms are given. Quantum computation of Fourier transforms for non-Abelian groups is defined. A slightly relaxed definition is shown to simplify the analysis and the networks that computes the transforms. Efficient networks for computing such transforms for a class of metacyclic groups are introduced. A novel network for computing a Fourier transform for a group used in quantum error-correction is also given.
Quantum algorithms are typically understood in terms of the evolution of a multi-qubit quantum system under a prescribed sequence of unitary transformations. The input to the algorithm prescribes some of the unitary transformations in the sequence with others remaining fixed. For oracle query algorithms, the input determines the oracle unitary transformation. Such algorithms can be regarded as devices for discriminating amongst a set of unitary transformations. The question arises: "Given a set of known oracle unitary transformations, to what extent is it possible to discriminate amongst them?…
The equivalence of multipartite quantum mixed states under local unitary transformations is studied. A criterion for the equivalence of non-degenerate mixed multipartite quantum states under local unitary transformations is presented.
Quantum computation is based on implementing selected unitary transformations which represent algorithms. A generalized optimal control theory is used to find the driving field that generates a prespecified unitary transformation. The approach is illustrated in the implementation of one and two qubits gates in model molecular systems.
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…
In terms of the analysis of fixed point subgroup and tensor decomposability of certain matrices, we study the equivalence of of quantum bipartite mixed states under local unitary transformations. For non-degenerate case an operational criterion for the equivalence of two such mixed bipartite states under local unitary transformations is presented.
We propose a genetic-algorithm-based method to find the unitary transformations for any desired quantum computation. We formulate a simple genetic algorithm by introducing the "genetic parameter vector" of the unitary transformations to be found. In the genetic algorithm process, all components of the genetic parameter vectors are supposed to evolve to the solution parameters of the unitary transformations. We apply our method to find the optimal unitary transformations and to generalize the corresponding quantum algorithms for a realistic problem, the one-bit oracle decision problem, or the o…
Quantum computation and quantum control operate by building unitary transformations out of sequences of elementary quantum logic operations or applications of control fields. This paper puts upper bounds on the minimum time required to implement a desired unitary transformation on a d-dimensional Hilbert space when applying sequences of Hamiltonian transformations. We show that strategies of building up a desired unitary out of non-infinitesimal and infinitesimal unitaries, or equivalently, using power and band limited controls, can yield the best possible scaling in time $O(d^2)$.
We investigate the equivalence of bipartite quantum mixed states under local unitary transformations by introducing representation classes from a geometrical approach. It is shown that two bipartite mixed states are equivalent under local unitary transformations if and only if they have the same representation class. Detailed examples are given on calculating representation classes.
We analyze the problem of comparing unitary transformations. The task is to decide, with minimal resources and maximal reliability, whether two given unitary transformations are identical or different. It is possible to make such comparisons without obtaining any information about the individual transformations. Different comparison strategies are presented and compared with respect to their efficiency. With an interferometric setup, it is possible to compare two unitary transforms using only one test particle. Another strategy makes use of a two-particle singlet state. This strategy is more e…
The aim of the article is to show how a coordinate transformation can be applied to the path-integral formalism. For this purpose the unitary definition of the quantum measure, which guarantees the conservation of total probability, is offered. As the examples, the phase space transformation to the canonically conjugate pare $(energy, time)$ and the transformation to the cylindrical coordinates are shown. The transformations of the path-integral measure looks classically but they can not be deduced from naive transformations of quantum trajectories.
Quantum correlations in the state of four-level atom are investigated by using generic unitary transforms of the classical (diagonal) density matrix. Partial cases of pure state, $X$-state, Werner state are studied in details. The geometrical meaning of unitary Hilbert reference-frame rotations generating entanglement in the initially separable state is discussed. Characteristics of the entanglement in terms of concurrence, entropy and negativity are obtained as functions of the unitary matrix rotating the reference frame.
A quantum gate is realized by specific unitary transformations operating on states representing qubits. Considering a quantum system employed as an element in a quantum computing scheme, the task is therefore to enforce the pre-specified unitary transformation. This task is carried out by an external time dependent field. Optimal control theory has been suggested as a method to compute the external field which alters the evolution of the system such that it performs the desire unitary transformation. This study compares two recent implementations of optimal control theory to find the field tha…
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).
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.
We show that all pure entangled states of two $d$-dimensional quantum systems (i.e., two qudits) can be generated from an initial separable state via a universal Yang--Baxter matrix if one is assisted by local unitary transformations.
After proving a general no-cloning theorem for black boxes, we derive the optimal universal cloning of unitary transformations, from one to two copies. The optimal cloner is realized by quantum channels with memory, and greately outperforms the optimal measure-and-reprepare cloning strategy. Applications are outlined, including two-way quantum cryptographic protocols.
We address the problem of finding the optimal joint unitary transformation on system + ancilla which is the most efficient in programming any desired channel on the system by changing the state of the ancilla. We present a solution to the problem for dim(H)=2 for both system and ancilla.
There are major advantages in a newer version of Grover's quantum algorithm utilizing a general unitary transformation in the search of a single object in a large unsorted database. In this paper, we generalize this algorithm to multiobject search. We show the techniques to achieve the reduction of the problem to one on an invariant subspace of dimension just equal to two.
The evolution of an open system is usually associated with the interaction of the system with an environment. A new method to study the open-type system evolution of a qubit (two-level atom) state is established. This evolution is determined by a unitary transformation applied to the qutrit (three-level atom) state, which defines the qubit subsystems. This procedure can be used to obtain different qubit quantum channels employing unitary transformations into the qutrit system. In particular, we study the phase damping and spontaneous-emission quantum channels. In addition, we mention a proposa…
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.
An approach to the simulation of locally interacting systems is demonstrated and assayed. The proposal is built upon the concept of folding of bosonic modes previously introduced in the context of linear dynamics and can be seen as an alternative to Trotter-Susuki expansion in studies of quantum propagation based on tensor states. It is shown that evolution as well as ground state computations can be implemented and that test simulations deliver comparatively accurate results. The whole analysis provides insight into the way well-known quantum precursors affect mean values and fluctuations in …
We address the problem of the information-disturbance trade-off associated to the estimation of a quantum transformation, and show how the extraction of information about the a black box causes a perturbation of the corresponding input-output evolution. In the case of a black box performing a unitary transformation, randomly distributed according to the invariant measure, we give a complete solution of the problem, deriving the optimal trade-off curve and presenting an explicit construction of the optimal quantum network.
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 present a local optimal control strategy to produce desired unitary transformations. Unitary transformations are central to all quantum computational algorithms. Many realizations of quantum computation use a submanifold of states, comprising the quantum register, coupled by an external driving field to a collection of additional mediating excited states. Previous attempts to apply control theory to induce unitary transformations on the quantum register, while successful, produced pulses that drive the population out of the computational register at intermediate times. Leakage of population…
Robust control design for quantum unitary transformations has been recognized as a fundamental and challenging task in the development of quantum information processing due to unavoidable decoherence or operational errors in the experimental implementation of quantum operations. In this paper, we extend the systematic methodology of sampling-based learning control (SLC) approach with a gradient flow algorithm for the design of robust quantum unitary transformations. The SLC approach first uses a "training" process to find an optimal control strategy robust against certain ranges of uncertainti…
This paper addresses the problem of designing universal quantum circuits to transform $k$ uses of a $d$-dimensional unitary input-operation into a unitary output-operation in a probabilistic heralded manner. Three classes of protocols are considered, parallel circuits, where the input-operations can be simultaneously, adaptive circuits, where sequential uses of the input-operations are allowed, and general protocols, where the use of the input-operations may be performed without a definite causal order. For these three classes, we develop a systematic semidefinite programming approach that fin…
The construction of unitary operator bases in a finite-dimensional Hilbert space is reviewed through a nonstandard approach combinining angular momentum theory and representation theory of SU(2). A single formula for the bases is obtained from a polar decomposition of SU(2) and analysed in terms of cyclic groups, quadratic Fourier transforms, Hadamard matrices and generalized Gauss sums. Weyl pairs, generalized Pauli operators and their application to the unitary group and the Pauli group naturally arise in this approach.
A conditioned unitary transformation ($90^o$ polarization rotation) is performed at single-photon level. The transformation is realized by rotating polarization for one of the photons of a polarization-entangled biphoton state (signal photon) by means of a Pockel's cell triggered by the detection of the other (idler) photon after polarization selection. As a result, polarization degree for the signal beam changes from zero to the value given by the idler detector quantum efficiency. This result is relevant to practical realization of various quantum information schemes and can be used for deve…
The famous Johnson-Lindenstrauss lemma states that for any set of n vectors, there is a linear transformation into a space of dimension O(log n) that approximately preserves all their lengths. In fact, a Haar random unitary transformation followed by projection onto the first O(log n) coordinates followed by a scaling works as a valid transformation with high probability. In this work, we show that the Haar random unitary can be replaced by a uniformly random unitary chosen from a finite set called an approximate unitary t-design for t = O(log n). Choosing a unitary from such a design requires…
One-way measurement based quantum computations (1WQC) may describe unitary transformations, via a composition of CPTP maps which are not all unitary themselves. This motivates the following decision problems: Is it possible to determine whether a ``quantum-to-quantum'' 1WQC procedure (having non-trivial input and output subsystems) performs a unitary transformation? Is it possible to describe precisely how such computations transform quantum states, by translation to a quantum circuit of comparable complexity? In this article, we present an efficient algorithm for transforming certain families…
A unitary operator which relates the system of a particle in a linear potential with time-dependent parameters to that of a free particle, has been given. This operator, closely related to the one which is responsible for the existence of coherent states for a harmonic oscillator, is used to find a general wave packet described by an Airy function. The kernel (propagator) and a complete set of Hermite-Gaussian type wave functions are also given.
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…
The reliable and precise generation of quantum unitary transformations is essential to the realization of a number of fundamental objectives, such as quantum control and quantum information processing. Prior work has explored the optimal control problem of generating such unitary transformations as a surface optimization problem over the quantum control landscape, defined as a metric for realizing a desired unitary transformation as a function of the control variables. It was found that under the assumption of non-dissipative and controllable dynamics, the landscape topology is trap-free, impl…
We describe a general framework for regarding oracle-assisted quantum algorithms as tools for discriminating between unitary transformations. We apply this to the Deutsch-Jozsa problem and derive all possible quantum algorithms which solve the problem with certainty using oracle unitaries in a particular form. We also use this to show that any quantum algorithm that solves the Deutsch-Jozsa problem starting with a quantum system in a particular class of initial, thermal equilibrium-based states of the type encountered in solution state NMR can only succeed with greater probability than a class…
We study the unitary time evolution of a simple quantum Hamiltonian describing two harmonic oscillators coupled via a three-level system. The latter acts as an engine transferring energy from one oscillator to the other and is driven in a cyclic manner by time-dependent external fields. The S-matrix of the cycle is obtained in analytic form. The total number of quanta contained in the system is a conserved quantity. As a consequence the spectrum of the S-matrix is purely discrete and the evolution of the system is quasi-periodic.
Over decades quantum cryptography has been intensively studied for unconditionally secured data transmission in a quantum regime. Due to the quantum loopholes caused by imperfect single photon detectors and/or lossy quantum channels, however, the quantum cryptography is practically inefficient and even vulnerable to eavesdropping. Here, a method of unconditionally secured key distribution potentially compatible with current fiber-optic communications networks is proposed in a classical regime for high-speed optical backbone networks. The unconditional security is due to the quantum superpositi…
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.
The dynamics of a quantum system driven by an external field is well described by a unitary transformation generated by a time dependent Hamiltonian. The inverse problem of finding the field that generates a specific unitary transformation is the subject of study. The unitary transformation which can represent an algorithm in a quantum computation is imposed on a subset of quantum states embedded in a larger Hilbert space. Optimal control theory (OCT) is used to solve the inversion problem irrespective of the initial input state. A unified formalism, based on the Krotov method is developed lea…
We propose a scheme of quantum secret sharing between Alices' group and Bobs' group with single photons and unitary transformations. In the protocol, one member in Alices' group prepares a sequence of single photons in one of four different states, while other members directly encode their information on the sequence of single photons via unitary operations, after that the last member sends the sequence of single photons to Bobs' group. Then Bobs except for the last one do work similarly. Finally last member in Bobs' group measures the qubits. If Alices and Bobs guarnnted the security of quant…
We demonstrate a method for general linear optical networks that allows one to factorize any SU($n$) matrix in terms of two SU($n-1)$ blocks coupled by an SU(2) entangling beam splitter. The process can be recursively continued in an efficient way, ending in a tidy arrangement of SU(2) transformations. The method hinges only on a linear relationship between input and output states, and can thus be applied to a variety of scenarios, such as microwaves, acoustics, and quantum fields.
Graph states are quantum states that can be described by a stabilizer formalism and play an important role in quantum information processing. We consider the action of local unitary operations on graph states and hypergraph states. We focus on non-Clifford operations and find for certain transformations a graphical description in terms of weighted hypergraphs. This leads to the indentification of hypergraph states that are locally equivalent to graph states. Moreover, we present a systematic way to construct pairs of graph states which are equivalent under local unitary operations, but not equ…
This work analyses the performance of quantum circuits and general processes to transform $k$ uses of an arbitrary unitary operation $U$ into another unitary operation $f(U)$. When the desired function $f$ a homomorphism, i.e., $f(UV)=f(U)f(V)$, it is known that optimal average fidelity is attainable by parallel circuits and indefinite causality does not provide any advantage. Here we show that the situation changes dramatically when considering anti-homomorphisms, i.e., $f(UV)=f(V)f(U)$. In particular, we prove that when $f$ is an anti-homomorphism, sequential circuits could exponentially out…
A quantum computer directly manipulates information stored in the state of quantum mechanical systems. The available operations have many attractive features but also underly severe restrictions, which complicate the design of quantum algorithms. We present a divide-and-conquer approach to the design of various quantum algorithms. The class of algorithm includes many transforms which are well-known in classical signal processing applications. We show how fast quantum algorithms can be derived for the discrete Fourier transform, the Walsh-Hadamard transform, the Slant transform, and the Hartley…
It is pointed out that the question of a purely unitary quantum dynamics amounts to the question if von Neumann entropy of a dynamically closed quantum system is preserved in evolution.
This paper considers the control landscape of quantum transitions in multi-qubit systems driven by unitary transformations with single-qubit interaction terms. The two-qubit case is fully analyzed to reveal the features of the landscape including the nature of the absolute maximum and minimum, the saddle points and the absence of traps. The results permit calculating the Schmidt state starting from an arbitrary two-qubit state following the local gradient flow. The analysis of multi-qubit systems is more challenging, but the generalized Schmidt states may also be located by following the local…
We present an idea to convert to a unitary quantum walk any open quantum walk which is defined on lattices as well as on finite graphs. This approach generalizes to the domain of open quantum walks (or quantum Markov chains) the framework introduced by Szegedy for quantizing Markov chains. For the unitary quantum walks formulated in this article, we define the probability and the mean probability of finding the walk at a node, then derive the asymptotic mean probability.
Any unitary transformation of quantum computational networks is explicitly decomposed, in an exact and unified form, into a sequence of a limited number of one-qubit quantum gates and the two-qubit diagonal gates that have diagonal unitary representation in usual computational basis. This decomposition may be simplified greatly with the help of the properties of the finite-dimensional multiple-quantum operator algebra spaces of a quantum system and the specific properties of a given quantum algorithm. As elementary building blocks of quantum computation, the two-qubit diagonal gates and one-qu…
Here, a new two-dimensional process, discrete in time and space, that yields the results of both a random walk and a quantum random walk, is introduced. This model describes the population distribution of four coin states |1>,-|1>, |0> -|0> in space without interference, instead of two coin states |1>, |0> .For the case of no boundary conditions, the model is similar to a Markov chain with a stochastic matrix, i.e., it conserves the population distribution of the four coin states, and by using a proper transformation, yield probability distributions of the two quantum states |1>, |0> in space,…
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.
We study the entanglement of unitary operators on $d_1\times d_2$ quantum systems. This quantity is closely related to the entangling power of the associated quantum evolutions. The entanglement of a class of unitary operators is quantified by the concept of concurrence.
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 weighted unitary 2-designs define optimal measurements on the system-ancilla output state for ancilla-assisted process tomography of unital quantum channels. Examples include complete sets of mutually unbiased unitary-operator bases. Each of these specifies a minimal series of optimal orthogonal measurements. General quantum channels are also considered.
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.
