scholarly journals EXACT NON-IDENTITY CHECK IS NQP-COMPLETE

2010 ◽  
Vol 08 (05) ◽  
pp. 807-819
Author(s):  
YU TANAKA
Keyword(s):  
Computational Complexity ◽  
Polynomial Time ◽  
Decision Problem ◽  
Quantum Circuit ◽  
Quantum Circuits ◽  
Quantum Gates ◽  
Unitary Operation ◽  
Classical Description ◽  
Quantum Polynomial ◽  
Equivalence Check

To understand quantum gate array complexity, we define a problem named exact non-identity check, which is a decision problem to determine whether a given classical description of a quantum circuit is strictly equivalent to the identity or not. We show that the computational complexity of this problem is non-deterministic quantum polynomial-time (NQP)-complete. As corollaries, it is derived that exact non-equivalence check of two given classical descriptions of quantum circuits is also NQP-complete and that minimizing the number of quantum gates for a given quantum circuit without changing the implemented unitary operation is NQP-hard.

"NON-IDENTITY-CHECK" IS QMA-COMPLETE

2005 ◽  
Vol 03 (03) ◽  
pp. 463-473 ◽  
Author(s):  
DOMINIK JANZING ◽  
PAWEL WOCJAN ◽  
THOMAS BETH
Keyword(s):  
Quantum Computing ◽  
Invariant Subspace ◽  
Decision Problem ◽  
Quantum Physics ◽  
Quantum Circuit ◽  
Quantum Circuits ◽  
Natural Question ◽  
Identity Matrix ◽  
Classical Description ◽  
Equivalence Check

We describe a computational problem that is complete for the complexity class QMA, a quantum generalization of NP. It arises as a natural question in quantum computing and quantum physics. "Non-identity-check" is the following decision problem: Given a classical description of a quantum circuit (a sequence of elementary gates), determine whether it is almost equivalent to the identity. Explicitly, the task is to decide whether the corresponding unitary is close to a complex multiple of the identity matrix with respect to the operator norm. We show that this problem is QMA-complete. A generalization of this problem is "non-equivalence check": given two descriptions of quantum circuits and a description of a common invariant subspace, decide whether the restrictions of the circuits to this subspace almost coincide. We show that non-equivalence check is also in QMA and hence QMA-complete.

scholarly journals Towards optimization of quantum circuits

Open Physics ◽  
2008 ◽  
Vol 6 (1) ◽  
Author(s):  
Michal Sedlák ◽  
Martin Plesch
Keyword(s):  
Quantum Information ◽  
Quantum Information Processing ◽  
Quantum Circuit ◽  
Quantum Gate ◽  
Quantum Circuits ◽  
Quantum Gates ◽  
Unitary Operation ◽  
Short Sequence ◽  
Toffoli Gates ◽  
Universal Procedure

AbstractAny unitary operation in quantum information processing can be implemented via a sequence of simpler steps — quantum gates. However, actual implementation of a quantum gate is always imperfect and takes a finite time. Therefore, searching for a short sequence of gates — efficient quantum circuit for a given operation, is an important task. We contribute to this issue by proposing optimization of the well-known universal procedure proposed by Barenco et al. [Phys. Rev. A 52, 3457 (1995)]. We also created a computer program which realizes both Barenco’s decomposition and the proposed optimization. Furthermore, our optimization can be applied to any quantum circuit containing generalized Toffoli gates, including basic quantum gate circuits.

scholarly journals Revisiting the simulation of quantum Turing machines by quantum circuits

2019 ◽  
Vol 475 (2226) ◽  
pp. 20180767 ◽  
Author(s):  
Abel Molina ◽  
John Watrous
Keyword(s):  
Turing Machine ◽  
Polynomial Time ◽  
Computational Models ◽  
Circuit Complexity ◽  
Simulation Method ◽  
Quantum Circuit ◽  
Quantum Circuits ◽  
Turing Machines ◽  
Generated Family ◽  
Quantum Turing Machine

Yao's 1995 publication ‘Quantum circuit complexity’ in Proceedings of the 34th Annual IEEE Symposium on Foundations of Computer Science , pp. 352–361, proved that quantum Turing machines and quantum circuits are polynomially equivalent computational models: t ≥ n steps of a quantum Turing machine running on an input of length n can be simulated by a uniformly generated family of quantum circuits with size quadratic in t , and a polynomial-time uniformly generated family of quantum circuits can be simulated by a quantum Turing machine running in polynomial time. We revisit the simulation of quantum Turing machines with uniformly generated quantum circuits, which is the more challenging of the two simulation tasks, and present a variation on the simulation method employed by Yao together with an analysis of it. This analysis reveals that the simulation of quantum Turing machines can be performed by quantum circuits having depth linear in t , rather than quadratic depth, and can be extended to variants of quantum Turing machines, such as ones having multi-dimensional tapes. Our analysis is based on an extension of method described by Arright, Nesme and Werner in 2011 in Journal of Computer and System Sciences 77 , 372–378. ( doi:10.1016/j.jcss.2010.05.004 ), that allows for the localization of causal unitary evolutions.

scholarly journals Quantum Implementation of Powell’s Conjugate Direction Method

2019 ◽  
Vol 23 (4) ◽  
pp. 726-734
Author(s):  
Kehan Chen ◽  
Fei Yan ◽  
Kaoru Hirota ◽  
Jianping Zhao ◽  
◽  
...  
Keyword(s):  
Search Algorithm ◽  
Quantum Circuit ◽  
Data Fitting ◽  
Quadratic Equation ◽  
Quantum Circuits ◽  
Quantum Gates ◽  
Circuit Implementation ◽  
One Dimensional ◽  
Conjugate Direction ◽  
Conjugate Direction Method

A quantum circuit implementation of Powell’s conjugate direction method (“Powell’s method”) is proposed based on quantum basic transformations in this study. Powell’s method intends to find the minimum of a function, including a sequence of parameters, by changing one parameter at a time. The quantum circuits that implement Powell’s method are logically built by combining quantum computing units and basic quantum gates. The main contributions of this study are the quantum realization of a quadratic equation, the proposal of a quantum one-dimensional search algorithm, the quantum implementation of updating the searching direction array (SDA), and the quantum judgment of stopping the Powell’s iteration. A simulation demonstrates the execution of Powell’s method, and future applications, such as data fitting and image registration, are discussed.

scholarly journals Merlin-Arthur with efficient quantum Merlin and quantum supremacy for the second level of the Fourier hierarchy

Quantum ◽  
2018 ◽  
Vol 2 ◽  
pp. 106 ◽  
Author(s):  
Tomoyuki Morimae ◽  
Yuki Takeuchi ◽  
Harumichi Nishimura
Keyword(s):  
Quantum Computing ◽  
Polynomial Time ◽  
Probability Distributions ◽  
Quantum Circuits ◽  
Universal Models ◽  
Reversible Circuit ◽  
Universal Quantum ◽  
Quantum Polynomial ◽  
Output Probability ◽  
Probabilistic Polynomial Time

We introduce a simple sub-universal quantum computing model, which we call the Hadamard-classical circuit with one-qubit (HC1Q) model. It consists of a classical reversible circuit sandwiched by two layers of Hadamard gates, and therefore it is in the second level of the Fourier hierarchy. We show that output probability distributions of the HC1Q model cannot be classically efficiently sampled within a multiplicative error unless the polynomial-time hierarchy collapses to the second level. The proof technique is different from those used for previous sub-universal models, such as IQP, Boson Sampling, and DQC1, and therefore the technique itself might be useful for finding other sub-universal models that are hard to classically simulate. We also study the classical verification of quantum computing in the second level of the Fourier hierarchy. To this end, we define a promise problem, which we call the probability distribution distinguishability with maximum norm (PDD-Max). It is a promise problem to decide whether output probability distributions of two quantum circuits are far apart or close. We show that PDD-Max is BQP-complete, but if the two circuits are restricted to some types in the second level of the Fourier hierarchy, such as the HC1Q model or the IQP model, PDD-Max has a Merlin-Arthur system with quantum polynomial-time Merlin and classical probabilistic polynomial-time Arthur.

Analyzing Heuristic-based Randomized Search Strategies for the Quantum Circuit Compilation Problem

2020 ◽  
Vol 174 (3-4) ◽  
pp. 259-281
Author(s):  
Angelo Oddi ◽  
Riccardo Rasconi
Keyword(s):  
Quantum Computing ◽  
Nearest Neighbor ◽  
Quantum Algorithm ◽  
Quantum Circuit ◽  
Quantum Circuits ◽  
Quantum Gates ◽  
Ranking Functions ◽  
Solution Quality ◽  
Circuit Realization ◽  
Definition Of

In this work we investigate the performance of greedy randomised search (GRS) techniques to the problem of compiling quantum circuits to emerging quantum hardware. Quantum computing (QC) represents the next big step towards power consumption minimisation and CPU speed boost in the future of computing machines. Quantum computing uses quantum gates that manipulate multi-valued bits (qubits). A quantum circuit is composed of a number of qubits and a series of quantum gates that operate on those qubits, and whose execution realises a specific quantum algorithm. Current quantum computing technologies limit the qubit interaction distance allowing the execution of gates between adjacent qubits only. This has opened the way to the exploration of possible techniques aimed at guaranteeing nearest-neighbor (NN) compliance in any quantum circuit through the addition of a number of so-called swap gates between adjacent qubits. In addition, technological limitations (decoherence effect) impose that the overall duration (makespan) of the quantum circuit realization be minimized. One core contribution of the paper is the definition of two lexicographic ranking functions for quantum gate selection, using two keys: one key acts as a global closure metric to minimise the solution makespan; the second one is a local metric, which favours the mutual approach of the closest qstates pairs. We present a GRS procedure that synthesises NN-compliant quantum circuits realizations, starting from a set of benchmark instances of different size belonging to the Quantum Approximate Optimization Algorithm (QAOA) class tailored for the MaxCut problem. We propose a comparison between the presented meta-heuristics and the approaches used in the recent literature against the same benchmarks, both from the CPU efficiency and from the solution quality standpoint. In particular, we compare our approach against a reference benchmark initially proposed and subsequently expanded in [1] by considering: (i) variable qubit state initialisation and (ii) crosstalk constraints that further restrict parallel gate execution.

scholarly journals Householder methods for quantum circuit design

2016 ◽  
Vol 94 (2) ◽  
pp. 150-157 ◽  
Author(s):  
Jesús Urías ◽  
Diego A. Quiñones
Keyword(s):  
Tensor Product ◽  
Circuit Design ◽  
Quantum Circuit ◽  
Quantum Gates ◽  
Single Type ◽  
Unitary Operation ◽  
Gray Codes ◽  
Combined Procedure ◽  
Unitary Transformations ◽  
Assembly Procedure

Algorithms to resolve multiple-qubit unitary transformations into a sequence of simple operations on one-qubit subsystems are central to the methods of quantum-circuit simulators. We adapt Householder’s theorem to the tensor-product character of multi-qubit state vectors and translate it to a combinatorial procedure to assemble cascades of quantum gates that recreate any unitary operation U acting on n-qubit systems. U may be recreated by any cascade from a set of combinatorial options that, in number, are not lesser than super-factorial of 2n, [Formula: see text]. Cascades are assembled with one-qubit controlled-gates of a single type. We complement the assembly procedure with a new algorithm to generate Gray codes that reduce the combinatorial options to cascades with the least number of CNOT gates. The combined procedure —factorization, gate assembling, and Gray ordering — is illustrated on an array of three qubits.

scholarly journals Deciding the Existence of Minority Terms

2019 ◽  
Vol 63 (3) ◽  
pp. 577-591
Author(s):  
Alexandr Kazda ◽  
Jakub Opršal ◽  
Matt Valeriote ◽  
Dmitriy Zhuk
Keyword(s):  
Computational Complexity ◽  
Polynomial Time ◽  
Decision Problem ◽  
Idempotent Algebra ◽  
Term Operation

AbstractThis paper investigates the computational complexity of deciding if a given finite idempotent algebra has a ternary term operation $m$ that satisfies the minority equations $m(y,x,x)\approx m(x,y,x)\approx m(x,x,y)\approx y$. We show that a common polynomial-time approach to testing for this type of condition will not work in this case and that this decision problem lies in the class NP.

scholarly journals Commuting quantum circuits with few outputs are unlikely to be classically simulatable

2016 ◽  
Vol 16 (3&4) ◽  
pp. 251-270 ◽  
Author(s):  
Yasuhiro Takahashi ◽  
Seiichiro Tani ◽  
Takeshi Yamazaki ◽  
Kazuyuki Tanaka
Keyword(s):  
Probability Distribution ◽  
Polynomial Time ◽  
Quantum Circuit ◽  
Quantum Circuits ◽  
Polynomial Hierarchy ◽  
The Third ◽  
Additive Error ◽  
N Input ◽  
Output Probability ◽  
Small Additive

We study the classical simulatability of commuting quantum circuits with n input qubits and O(log n) output qubits, where a quantum circuit is classically simulatable if its output probability distribution can be sampled up to an exponentially small additive error in classical polynomial time. Our main result is that there exists a commuting quantum circuit that is not classically simulatable unless the polynomial hierarchy collapses to the third level. This is the first formal evidence that a commuting quantum circuit is not classically simulatable even when the number of output qubits is O(log n). Then, we consider a generalized version of the circuit and clarify the condition under which it is classically simulatable. Lastly, using a proof similar to that of the main result, we provide an evidence that a slightly extended Clifford circuit is not classically simulatable.

scholarly journals Quantum circuits and Spin(3n) groups

2015 ◽  
Vol 15 (3&4) ◽  
pp. 235-259
Author(s):  
Alexander Yu. Vlasov
Keyword(s):  
Tensor Product ◽  
Unitary Transformation ◽  
Quantum Circuit ◽  
Quantum Circuits ◽  
Quantum Gates ◽  
Spin Groups ◽  
Classical Simulation ◽  
The Matrix ◽  
Universal Quantum ◽  
Usual Quantum

All quantum gates with one and two qubits may be described by elements of Spin groups due to isomorphisms Spin(3)\isomSU(2) and Spin(6)\isomSU(4). However, the group of n-qubit gates SU(2^n) for n>2 has bigger dimension than Spin(3n). A quantum circuit with one- and two-qubit gates may be used for construction of arbitrary unitary transformation SU(2^n). Analogously, the `$Spin(3n)$ circuits' are introduced in this work as products of elements associated with one- and two-qubit gates with respect to the above-mentioned isomorphisms. The matrix tensor product implementation of the Spin(3n) group together with relevant models by usual quantum circuits with 2n qubits are investigated in such a framework. A certain resemblance with well-known sets of non-universal quantum gates (e.g., matchgates, noninteracting-fermion quantum circuits) related with Spin(2n) may be found in presented approach. Finally, a possibility of the classical simulation of such circuits in polynomial time is discussed.

Sign in / Sign up

Export Citation Format

Share Document