It is shown in the paper that the unitary quantum dynamics in quantum mechanics is the universal quantum driving force to speed up a quantum computation. This assertion supports strongly in theory that the unitary quantum dynamics is the fundamental and universal principle in nature. On the other hand, the symmetric structure of Hilbert space of a composite quantum system is the quantum-computing resource that is not owned by classical computation. A new quantum-computing speedup theory is set up on the basis of the unitary quantum dynamics. Both the unitary quantum dynamics and the symmetric structure and property of the Hilbert space of the quantum system are mainly responsible for an exponential quantum-computing speedup for a general efficient quantum algorithm. The inherent importance for the unitary quantum dynamics to speed up a quantum computation lies in the unique ability of the unitary quantum dynamics to build the effective interaction between the symmetric structure of the Hilbert space of the quantum system and the mathematical symmetric structure of a problem to be solved on the quantum system. This unique ability could result in an essential difference of computational power between quantum and classical computations by combining the symmetric structure and property of the Hilbert space. The new quantum-computing speedup theory also provides reasonable mechanisms for exponential quantum-computing speedup for the existing efficient quantum algorithms based on the quantum parallel principle. These existing quantum algorithms including the hidden-subgroup-problem quantum algorithms and conventional quantum search algorithms have the common character that the symmetric structure of the Hilbert space does not have any effective effect on these quantum algorithms. This could be the main reason why these quantum algorithms are quite special and considered to be semiclassical.
Unitary operations are a fundamental component of quantum algorithms, but they seem to be far more useful if given with a "quantum control" as a controlled unitary operation. However, quantum operations are not limited to unitary operations. Nevertheless, it is not a priori clear if a controlled form of these general deterministic quantum operations can be well-defined. To provide a novel tool in the toolbox for quantum programming, we propose a mathematically consistent definition of a controlled form of deterministic but non-unitary quantum operations and, more generally, of quantum combs. W…
A complex conjugation of unitary quantum map is a second-order map (supermap) that maps a unitary operator $U$ to its complex conjugate $U^*$. First, we present a deterministic quantum protocol that universally implements the complex conjugation supermap when we are given a blackbox quantum circuit, guaranteed to implement some unitary operation, whose only known description is its dimension. We then discuss the complex conjugation supermap in the context of entanglement theory and derive a conjugation-based expression of the $G$-concurrence. Finally, we present a physical process involving id…
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…
A universal quantum processor is a device that takes as input a (quantum) program, containing an encoding of an arbitrary unitary gate, and a (quantum) data register, on which the encoded gate is applied. While no perfect universal quantum processor can exist, approximate processors have been proposed in the past two decades. A fundamental open question is how the size of the smallest quantum program scales with the approximation error. Here we answer the question, by proving a bound on the size of the program and designing a concrete protocol that attains the bound in the asymptotic limit. Ou…
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 basic principles to construct a generalized state-locking pulse field and simulate efficiently the reversible and unitary halting protocol of a universal quantum computer
We demonstrate that it is possible to implement a quantum perceptron with a sigmoid activation function as an efficient, reversible many-body unitary operation. When inserted in a neural network, the perceptron's response is parameterized by the potential exerted by other neurons. We prove that such a quantum neural network is a universal approximator of continuous functions, with at least the same power as classical neural networks. While engineering general perceptrons is a challenging control problem --also defined in this work--, the ubiquitous sigmoid-response neuron can be implemented as…
We present a protocol for transferring arbitrary continuous-variable quantum states into a few discrete-variable qubits and back. The protocol is deterministic and utilizes only two-mode Rabi-type interactions which are readily available in trapped-ion and superconducting circuit platforms. The inevitable errors caused by transferring an infinite-dimensional state into a finite-dimensional register are suppressed exponentially with the number of qubits. Furthermore, the encoded states exhibit robustness against noise, such as dephasing and amplitude damping, acting on the qubits. Our protocol …
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-…
Universal speeded-up adiabatic geometric quantum computation~(SAGQC) is studied in $Λ$-type three-level system with different coupling cases, i.e., time-dependent detuning, large detuning and one-photon resonance couplings, respectively. In these cases, the counterdiabatic driving method is used to speed up the universal quantum computation. These schemes in $Λ$-type three-level system are feasible in experiment because additional unaccessible ground-state-coupling is not needed. Only the shapes and phases of the initial adiabatic classical-field pulse are modified with the aid of effective tw…
At its core a $t$-design is a method for sampling from a set of unitaries in a way which mimics sampling randomly from the Haar measure on the unitary group, with applications across quantum information processing and physics. We construct new families of quantum circuits on $n$-qubits giving rise to $\varepsilon$-approximate unitary $t$-designs efficiently in $O(n^3t^{12})$ depth. These quantum circuits are based on a relaxation of technical requirements in previous constructions. In particular, the construction of circuits which give efficient approximate $t$-designs by Brandao, Harrow, and …
Universal Optimal Gates Regarding Quantum Entanglement and Discord Generating
Fernando Galve \emph{et al.} $[Phys. Rev. Lett. \textbf{110}, 010501 (2013)]$引入了两个量子比特的幺正门的不和谐功率来评估其产生量子不和谐的能力，并发现$π/8$门具有最大的不和谐功率。本文分析了两量子比特幺正门的纠缠能力，这从另一个角度反映了它产生量子纠缠的能力。基于著名的两量子比特幺正门的Cartan分解，我们证明了$π/8$门的魔力对两量子比特态的一般纯度值产生最大纠缠。
A fundamental question in the theory of quantum computation is to understand the ultimate space-time resource costs for performing a universal set of logical quantum gates to arbitrary precision. Here we demonstrate that non-Abelian anyons in Turaev-Viro quantum error correcting codes can be moved over a distance of order the code distance, and thus braided, by a constant depth local unitary quantum circuit followed by a permutation of qubits. Our gates are protected in the sense that the length of error strings do not grow by more than a constant factor. When applied to the Fibonacci code, ou…
Isometry operations encode the quantum information of the input system to a larger output system, while the corresponding decoding operation would be an inverse operation of the encoding isometry operation. Given an encoding operation as a black box from a $d$-dimensional system to a $D$-dimensional system, we propose a universal protocol for isometry inversion that constructs a decoder from multiple calls of the encoding operation. This is a probabilistic but exact protocol whose success probability is independent of $D$. For a qubit ($d=2$) encoded in $n$ qubits, our protocol achieves an exp…
