Commuting quantum circuits: efficiently classical simulations versus hardness results

2013 ◽  
Vol 13 (1&2) ◽  
pp. 54-72
Author(s):  
Xiaotong Ni ◽  
Maarten van den Nest
Keyword(s):  
Sampling Methods ◽  
Quantum Effects ◽  
High Accuracy ◽  
Quantum Circuits ◽  
Computational Power ◽  
Restricted Class ◽  
Constant Depth ◽  
Single Qubit ◽  
Single Qudit ◽  
Local Circuits

The study of quantum circuits composed of commuting gates is particularly useful to understand the delicate boundary between quantum and classical computation. Indeed, while being a restricted class, commuting circuits exhibit genuine quantum effects such as entanglement. In this paper we show that the computational power of commuting circuits exhibits a surprisingly rich structure. First we show that every 2-local commuting circuit acting on $d$-level systems and followed by single-qudit measurements can be efficiently simulated classically with high accuracy. In contrast, we prove that such strong simulations are hard for 3-local circuits. Using sampling methods we further show that all commuting circuits composed of exponentiated Pauli operators $e^{i\theta P}$ can be simulated efficiently classically when followed by single-qubit measurements. Finally, we show that commuting circuits can efficiently simulate certain non-commutative processes, related in particular to constant-depth quantum circuits. This gives evidence that the power of commuting circuits goes beyond classical computation.

scholarly journals Adaptive Quantum Computation, Constant Depth Quantum Circuits and Arthur-Merlin Games

2004 ◽  
Vol 4 (2) ◽  
pp. 134-145 ◽  
Author(s):  
B.M. Terhal ◽  
D.P. DiVincenzo
Keyword(s):  
Quantum Computation ◽  
High Accuracy ◽  
Quantum Circuits ◽  
Constant Depth ◽  
Present Evidence ◽  
Quantum Computations

We present evidence that there exist quantum computations that can be carried out in constant depth, using 2-qubit gates, that cannot be simulated classically with high accuracy. We prove that if one can simulate these circuits classically efficiently then ${\rm BQP} \subseteq {\rm AM}$.

Quantum lower bounds for fanout

2006 ◽  
Vol 6 (1) ◽  
pp. 46-57
Author(s):  
M. Fang ◽  
S. Fenner ◽  
F. Green ◽  
S. Homer ◽  
Y. Zhang
Keyword(s):  
Lower Bounds ◽  
Quantum Circuit ◽  
Circuit Theory ◽  
Quantum Circuits ◽  
Constant Number ◽  
Constant Depth ◽  
Arbitrary Size ◽  
Single Qubit ◽  
Toffoli Gates ◽  
Circuit Family

We consider the resource bounded quantum circuit model with circuits restricted by the number of qubits they act upon and by their depth. Focusing on natural universal sets of gates which are familiar from classical circuit theory, several new lower bounds for constant depth quantum circuits are proved. The main result is that parity (and hence fanout) requires log depth quantum circuits, when the circuits are composed of single qubit and arbitrary size Toffoli gates, and when they use only constantly many ancill\ae. Under this constraint, this bound is close to optimal. In the case of a non-constant number $a$ of ancill\ae\ and $n$ input qubits, we give a tradeoff between $a$ and the required depth, that results in a non-constant lower bound for fanout when $a = n^{1-o(1)}$. We also show that, regardless of the number of ancill\ae\, arbitrary arity Toffoli gates cannot be simulated exactly by a constant depth circuit family with gates of bounded arity.

Hardness of classically simulating quantum circuits with unbounded Toffoli and fan-out gates

2014 ◽  
Vol 14 (13&14) ◽  
pp. 1149-1164
Author(s):  
Yasuhiro Takahashi ◽  
Takeshi Yamazaki ◽  
Kazuyuki Tanaka
Keyword(s):  
Probability Distribution ◽  
Quantum Circuit ◽  
Quantum Circuits ◽  
Constant Depth ◽  
Toffoli Gate ◽  
Single Qubit ◽  
Polynomial Size ◽  
Toffoli Gates ◽  
Output Probability ◽  
Universal Gates

We study the classical simulatability of constant-depth polynomial-size quantum circuits followed by only one single-qubit measurement, where the circuits consist of universal gates on at most two qubits and additional gates on an unbounded number of qubits. First, we consider unbounded Toffoli gates as additional gates and deal with the weak simulation, i.e., sampling the output probability distribution. We show that there exists a constant-depth quantum circuit with only one unbounded Toffoli gate that is not weakly simulatable, unless $\bqp \subseteq \postbpp \cap \am$. Then, we consider unbounded fan-out gates as additional gates and deal with the strong simulation, i.e., computing the output probability. We show that there exists a constant-depth quantum circuit with only two unbounded fan-out gates that is not strongly simulatable, unless $\p = \pp$. These results are in contrast to the fact that any constant-depth quantum circuit without additional gates on an unbounded number of qubits is strongly and weakly simulatable.

scholarly journals Comparing quantum hybrid reinforcement learning to classical methods

2021 ◽  
Author(s):  
Maximilian Moll ◽  
Leonhard Kunczik
Keyword(s):  
Reinforcement Learning ◽  
Quantum Circuits ◽  
Memory Usage ◽  
Computational Power ◽  
Classical Domain ◽  
Q Learning ◽  
Optimal Behavior ◽  
Computational Speed ◽  
Complex Decision ◽  
Hybrid Reinforcement

AbstractIn recent history, reinforcement learning (RL) proved its capability by solving complex decision problems by mastering several games. Increased computational power and the advances in approximation with neural networks (NN) paved the path to RL’s successful applications. Even though RL can tackle more complex problems nowadays, it still relies on computational power and runtime. Quantum computing promises to solve these issues by its capability to encode information and the potential quadratic speedup in runtime. We compare tabular Q-learning and Q-learning using either a quantum or a classical approximation architecture on the frozen lake problem. Furthermore, the three algorithms are analyzed in terms of iterations until convergence to the optimal behavior, memory usage, and runtime. Within the paper, NNs are utilized for approximation in the classical domain, while in the quantum domain variational quantum circuits, as a quantum hybrid approximation method, have been used. Our simulations show that a quantum approximator is beneficial in terms of memory usage and provides a better sample complexity than NNs; however, it still lacks the computational speed to be competitive.

Quantum Merlin-Arthur with Clifford Arthur

2015 ◽  
Vol 15 (15&16) ◽  
pp. 1420-1430 ◽  
Author(s):  
Tomoyuki Morimae ◽  
Masahito Hayashi ◽  
Harumichi Nishimura ◽  
Keisuke Fujii
Keyword(s):  
Quantum Computing ◽  
Computational Power ◽  
Xor Gate ◽  
Single Qubit ◽  
Qubit States

We show that the class QMA does not change even if we restrict Arthur’s computing ability to only Clifford gate operations (plus classical XOR gate). The idea is to use the fact that the preparation of certain single-qubit states, so called magic states, plus any Clifford gate operations are universal for quantum computing. If Merlin is honest, he sends the witness plus magic states to Arthur. If Merlin is malicious, he might send other states to Arthur, but Arthur can verify the correctness of magic states by himself. We also generalize the result to QIP(3): we show that the class QIP(3) does not change even if the computational power of the verifier is restricted to only Clifford gate operations (plus classical XOR gate).

scholarly journals DIAGONAL-UNITARY 2-DESIGN AND THEIR IMPLEMENTATIONS BY QUANTUM CIRCUITS

2013 ◽  
Vol 11 (07) ◽  
pp. 1350062 ◽  
Author(s):  
YOSHIFUMI NAKATA ◽  
MIO MURAO
Keyword(s):  
Algebraic Structure ◽  
Quantum Circuits ◽  
Random Choice ◽  
Unitary Matrices ◽  
Single Qubit ◽  
Classical Procedure ◽  
Random States ◽  
Computational Basis

We study efficient generations of random diagonal-unitary matrices, an ensemble of unitary matrices diagonal in a given basis with randomly distributed phases for their eigenvalues. Despite the simple algebraic structure, they cannot be achieved by quantum circuits composed of a few-qubit diagonal gates. We introduce diagonal-unitaryt-designs and present two quantum circuits that implement diagonal-unitary 2-design with the computational basis in N-qubit systems. One is composed of single-qubit diagonal gates and controlled-phase gates with randomized phases, which achieves an exact diagonal-unitary 2-design after applying the gates on all pairs of qubits. The number of required gates is N(N - 1)/2. If the controlled-Z gates are used instead of the controlled-phase gates, the circuit cannot achieve an exact 2-design, but achieves an ϵ-approximate 2-design by applying gates on randomly selected pairs of qubits. Due to the random choice of pairs, the circuit obtains extra randomness and the required number of gates is at most O(N2(N + log 1/∊)). We also provide an application of the circuits, a protocol of generating an exact 2-design of random states by combining the circuits with a simple classical procedure requiring O(N) random classical bits.

CONSTANT-DEPTH PERIODIC CIRCUITS

1991 ◽  
Vol 01 (01) ◽  
pp. 49-87 ◽  
Author(s):  
HOWARD STRAUBING
Keyword(s):  
Solvable Groups ◽  
Computational Power ◽  
Constant Depth ◽  
Branching Programs ◽  
Dihedral Groups ◽  
Circuit Element ◽  
Independent Evidence ◽  
Polynomial Size ◽  
And Function ◽  
Fixed Period

This paper is devoted to the languages accepted by constant-depth, polynomial-size families of circuits in which every circuit element computes the sum of its input bits modulo a fixed period q. It has been conjectured that such a circuit family cannot compute the AND function of n inputs. Here it is shown that such circuit families are equivalent in power to polynomial-length programs over finite solvable groups; in particular, the conjecture implies that Barrington's result on the computational power of branching programs over nonsolvable groups cannot be extended to solvable groups. It is also shown that polynomial-length programs over dihedral groups cannot compute the AND function. Furthermore, it is shown that the conjecture is equivalent to a characterization, in terms of finite semigroups and formal logic, of the regular languages accepted by such circuit families. There is, moreover, considerable independent evidence for this characterization. This last result is established using new theorems, of independent interest, concerning the algebraic structure of finite categories.

scholarly journals Temporally unstructured quantum computation

2009 ◽  
Vol 465 (2105) ◽  
pp. 1413-1439 ◽  
Author(s):  
Dan Shepherd ◽  
Michael J. Bremner
Keyword(s):  
Quantum Computation ◽  
Quantum Dynamics ◽  
Probability Distributions ◽  
Temporal Structure ◽  
Quantum Effects ◽  
Abstract Model ◽  
Restricted Class ◽  
Interactive Proof ◽  
Binary Matroids ◽  
Shor's Algorithm

We examine theoretic architectures and an abstract model for a restricted class of quantum computation, called here temporally unstructured (‘ instantaneous ’) quantum computation because it allows for essentially no temporal structure within the quantum dynamics. Using the theory of binary matroids, we argue that the paradigm is rich enough to enable sampling from probability distributions that cannot, classically, be sampled efficiently and accurately. This paradigm also admits simple interactive proof games that may convince a sceptic of the existence of truly quantum effects. Furthermore, these effects can be created using significantly fewer qubits than are required for running Shor's algorithm.

The effect of molecular dynamics sampling on the calculated observable gas-phase structures

2016 ◽  
Vol 18 (27) ◽  
pp. 18237-18245 ◽  
Author(s):  
Denis S. Tikhonov ◽  
Arseniy A. Otlyotov ◽  
Vladimir V. Rybkin
Keyword(s):  
Molecular Dynamics ◽  
Ab Initio ◽  
Gas Phase ◽  
Sampling Methods ◽  
Quantum Effects ◽  
Phase Structures ◽  
Nuclear Quantum Effects

We evaluate the performance of various ab initio molecular dynamics sampling methods for the calculation of observable gas-phase structures and probe the nuclear quantum effects.

Sign in / Sign up

Export Citation Format

Share Document