Unitary and quantum computation

Xiaoyu Li, Junjie Wu, Jialin Zhang

Xijia Miao

A unitary dynamical state-locking (UNIDYSLOCK) process is a unitary process that can transform two orthogonal states to two non-orthogonal states. Its inverse process, i.e., the QUANSDAM process could realize an exponential QC speedup in solving an unstructured search problem in the quantum-computing (QC) speedup theory (X. Miao, arXiv:1105.3573 [quant-ph] (2011)). In this paper the principle of how a UNIDYSLOCK process works is described on the basis of the QC speedup theory. A UNIDYSLOCK process does not exist at all in pure quantum mechanics. That it can change the quantum-state difference is original from the fundamental interaction between the quantum physical laws (i.e., the unitary quantum dynamics and the Hilbert-space symmetric structure) and the mathematical-logical principle of the search problem. It is characteristic for the QC speedup theory. Even if a usual quantum computational (Qc) process that is reversible or unitary contained a UNIDYSLOCK (or QUANSDAM) process, the contribution of the UNIDYSLOCK (or QUANSDAM) process to the QC speedup of the usual Qc process would be secondary or negligible. Whether or not a UNIDYSLOCK (or QUANSDAM) process can make an essential contribution to a QC speedup can distinguish the QC speedup theory from any usual Qc theory. In the paper the QC speedup mechanism of the HSSS quantum search process is also studied. The search process is essentially different from a usual quantum search algorithm. It works in both the usual Hilbert space and the math Hilbert space. Due to the math Hilbert space a mathematical-parallel operation is characteristic for the QC speedup theory, while a quantum-parallel operation is characteristic for the usual Qc theory. The fundamental interaction mentioned above and the fundamental quantum-computing resource play the main role in speeding up the search process.

Dawei Ding

Aleksander Zujev

We study possible advantage of using non-unitary quantum gates in quantum computing. Our particular goal is to investigate the application of non-unitary quantum gates for solving NP-complete problems. In this note, we specifically study an example of non-unitary quantum computing, advanced by Nordin Zakaria.

Daniel Gottesman, Alexei Kitaev, Alexander Khanievich Shen' +1 more

Bill Fefferman, Hirotada Kobayashi, Cedric Yen-Yu Lin +2 more

This paper presents a general space-efficient method for error reduction for unitary quantum computation. Consider a polynomial-time quantum computation with completeness c and soundness s, either with or without a witness (corresponding to QMA and BQP, respectively). To convert this computation into a new computation with error at most 2^{-p}, the most space-efficient method known requires extra workspace of O(p*log(1/(c-s))) qubits. This space requirement is too large for scenarios like logarithmic-space quantum computations. This paper shows an errorreduction method for unitary quantum computations (i.e., computations without intermediate measurements) that requires extra workspace of just O(log(p/(c-s))) qubits. This in particular gives the first method of strong amplification for logarithmic-space unitary quantum computations with two-sided bounded error. This also leads to a number of consequences in complexity theory, such as the uselessness of quantum witnesses in bounded-error logarithmic-space unitary quantum computations, the PSPACE upper bound for QMA with exponentially-small completeness-soundness gap, and strong amplification for matchgate computations.