scholarly journals Classical simulation of Gaussian quantum circuits with non-Gaussian input states

2021 ◽  
Vol 3 (3) ◽  
Author(s):  
Ulysse Chabaud ◽  
Giulia Ferrini ◽  
Frédéric Grosshans ◽  
Damian Markham
Keyword(s):  
Quantum Circuits ◽  
Classical Simulation ◽  
Gaussian Input ◽  
Non Gaussian

Towards Compact Modeling of Noisy Quantum Computers: A Molecular-Spin-Qubit Case of Study

2022 ◽  
Vol 18 (1) ◽  
pp. 1-26
Author(s):  
Mario Simoni ◽  
Giovanni Amedeo Cirillo ◽  
Giovanna Turvani ◽  
Mariagrazia Graziano ◽  
Maurizio Zamboni
Keyword(s):  
Physical Simulation ◽  
Quantum Circuits ◽  
Compact Modeling ◽  
Quantum Computers ◽  
Expected Performance ◽  
Classical Simulation ◽  
Spin Qubit ◽  
Compact Models ◽  
Standard Formalism ◽  
Definition Of

Classical simulation of Noisy Intermediate Scale Quantum computers is a crucial task for testing the expected performance of real hardware. The standard approach, based on solving Schrödinger and Lindblad equations, is demanding when scaling the number of qubits in terms of both execution time and memory. In this article, attempts in defining compact models for the simulation of quantum hardware are proposed, ensuring results close to those obtained with standard formalism. Molecular Nuclear Magnetic Resonance quantum hardware is the target technology, where three non-ideality phenomena—common to other quantum technologies—are taken into account: decoherence, off-resonance qubit evolution, and undesired qubit-qubit residual interaction. A model for each non-ideality phenomenon is embedded into a MATLAB simulation infrastructure of noisy quantum computers. The accuracy of the models is tested on a benchmark of quantum circuits, in the expected operating ranges of quantum hardware. The corresponding outcomes are compared with those obtained via numeric integration of the Schrödinger equation and the Qiskit’s QASMSimulator. The achieved results give evidence that this work is a step forward towards the definition of compact models able to provide fast results close to those obtained with the traditional physical simulation strategies, thus paving the way for their integration into a classical simulator of quantum computers.

scholarly journals Nonlinear Quantum Optimization Algorithms via Efficient Ising Model Encodings

2021 ◽  
Author(s):  
Taylor Patti ◽  
Jean Kossaifi ◽  
Anima Anandkumar ◽  
Susanne Yelin
Keyword(s):  
Quantum Algorithms ◽  
Quantum Circuits ◽  
Activation Functions ◽  
Tensor Networks ◽  
Polynomial Reduction ◽  
Classical Simulation ◽  
Nonlinear Quantum ◽  
High Connectivity ◽  
Quantum Optimization ◽  
Classical Optimization

Abstract Despite extensive research efforts, few quantum algorithms for classical optimization demonstrate realizable advantage. The utility of many quantum algorithms is limited by high requisite circuit depth and nonconvex optimization landscapes. We tackle these challenges to quantum advantage with two new variational quantum algorithms, which utilize multi-basis graph encodings and nonlinear activation functions to outperform existing methods with remarkably shallow quantum circuits. Both algorithms provide a polynomial reduction in measurement complexity and either a factor of two speedup a factor of two reduction in quantum resources. Typically, the classical simulation of such algorithms with many qubits is impossible due to the exponential scaling of traditional quantum formalism and the limitations of tensor networks. Nonetheless, the shallow circuits and moderate entanglement of our algorithms, combined with efficient tensor method-based simulation, enable us to successfully optimize the MaxCut of high-connectivity global graphs with up to 512 nodes (qubits) on a single GPU.

scholarly journals Matchgates and classical simulation of quantum circuits

2008 ◽  
Vol 464 (2100) ◽  
pp. 3089-3106 ◽  
Author(s):  
Richard Jozsa ◽  
Akimasa Miyake
Keyword(s):  
Clifford Algebra ◽  
Point Of View ◽  
Quantum Circuits ◽  
Nearest Neighbour ◽  
Computational Power ◽  
Classical Simulation ◽  
Wigner Representation ◽  
Universal Quantum ◽  
The One ◽  
Qubit Gate

Let G ( A ,  B ) denote the two-qubit gate that acts as the one-qubit SU (2) gates A and B in the even and odd parity subspaces, respectively, of two qubits. Using a Clifford algebra formalism, we show that arbitrary uniform families of circuits of these gates, restricted to act only on nearest neighbour (n.n.) qubit lines, can be classically efficiently simulated. This reproduces a result originally proved by Valiant using his matchgate formalism, and subsequently related by others to free fermionic physics. We further show that if the n.n. condition is slightly relaxed, to allow the same gates to act only on n.n. and next n.n. qubit lines, then the resulting circuits can efficiently perform universal quantum computation. From this point of view, the gap between efficient classical and quantum computational power is bridged by a very modest use of a seemingly innocuous resource (qubit swapping). We also extend the simulation result above in various ways. In particular, by exploiting properties of Clifford operations in conjunction with the Jordan–Wigner representation of a Clifford algebra, we show how one may generalize the simulation result above to provide further classes of classically efficiently simulatable quantum circuits, which we call Gaussian quantum circuits.

scholarly journals Stabilizer extent is not multiplicative

Quantum ◽  
2021 ◽  
Vol 5 ◽  
pp. 400
Author(s):  
Arne Heimendahl ◽  
Felipe Montealegre-Mora ◽  
Frank Vallentin ◽  
David Gross
Keyword(s):  
Open Problem ◽  
Efficient Algorithm ◽  
Tensor Products ◽  
Affirmative Answer ◽  
The State ◽  
Quantum Circuits ◽  
Classical Simulation ◽  
Important Open Problem ◽  
Classical Computer ◽  
Stabilizer States

The Gottesman-Knill theorem states that a Clifford circuit acting on stabilizer states can be simulated efficiently on a classical computer. Recently, this result has been generalized to cover inputs that are close to a coherent superposition of logarithmically many stabilizer states. The runtime of the classical simulation is governed by the stabilizer extent, which roughly measures how many stabilizer states are needed to approximate the state. An important open problem is to decide whether the extent is multiplicative under tensor products. An affirmative answer would yield an efficient algorithm for computing the extent of product inputs, while a negative result implies the existence of more efficient classical algorithms for simulating largescale quantum circuits. Here, we answer this question in the negative. Our result follows from very general properties of the set of stabilizer states, such as having a size that scales subexponentially in the dimension, and can thus be readily adapted to similar constructions for other resource theories.

scholarly journals Stationary Phase Method in Discrete Wigner Functions and Classical Simulation of Quantum Circuits

Quantum ◽  
2021 ◽  
Vol 5 ◽  
pp. 494
Author(s):  
Lucas Kocia ◽  
Peter Love
Keyword(s):  
Stationary Phase ◽  
Discrete Analog ◽  
Gauss Sums ◽  
Quantum Circuits ◽  
Phase Method ◽  
Stationary Phase Method ◽  
Wigner Functions ◽  
Airy Functions ◽  
Infinite Dimensional ◽  
Classical Simulation

One of the lowest-order corrections to Gaussian quantum mechanics in infinite-dimensional Hilbert spaces are Airy functions: a uniformization of the stationary phase method applied in the path integral perspective. We introduce a "periodized stationary phase method" to discrete Wigner functions of systems with odd prime dimension and show that the π8 gate is the discrete analog of the Airy function. We then establish a relationship between the stabilizer rank of states and the number of quadratic Gauss sums necessary in the periodized stationary phase method. This allows us to develop a classical strong simulation of a single qutrit marginal on t qutrit π8 gates that are followed by Clifford evolution, and show that this only requires 3t2+1 quadratic Gauss sums. This outperforms the best alternative qutrit algorithm (based on Wigner negativity and scaling as ∼30.8t for 10−2 precision) for any number of π8 gates to full precision.

scholarly journals Clifford recompilation for faster classical simulation of quantum circuits

Quantum ◽  
2019 ◽  
Vol 3 ◽  
pp. 170
Author(s):  
Hammam Qassim ◽  
Joel J. Wallman ◽  
Joseph Emerson
Keyword(s):  
Fault Tolerant ◽  
State Of The Art ◽  
Quantum Circuit ◽  
Quantum Circuits ◽  
Monte Carlo Algorithm ◽  
Quantum Devices ◽  
Output State ◽  
Classical Simulation ◽  
Main Technique ◽  
Near Term

Simulating quantum circuits classically is an important area of research in quantum information, with applications in computational complexity and validation of quantum devices. One of the state-of-the-art simulators, that of Bravyi et al, utilizes a randomized sparsification technique to approximate the output state of a quantum circuit by a stabilizer sum with a reduced number of terms. In this paper, we describe an improved Monte Carlo algorithm for performing randomized sparsification. This algorithm reduces the runtime of computing the approximate state by the factorℓ/m, whereℓandmare respectively the total and non-Clifford gate counts. The main technique is a circuit recompilation routine based on manipulating exponentiated Pauli operators. The recompilation routine also facilitates numerical search for Clifford decompositions of products of non-Clifford gates, which can further reduce the runtime in certain cases by reducing the 1-norm of the vector of expansion,‖a‖1. It may additionally lead to a framework for optimizing circuit implementations over a gate-set, reducing the overhead for state-injection in fault-tolerant implementations. We provide a concise exposition of randomized sparsification, and describe how to use it to estimate circuit amplitudes in a way which can be generalized to a broader class of gates and states. This latter method can be used to obtain additive error estimates of circuit probabilities with a faster runtime than the full techniques of Bravyi et al. Such estimates are useful for validating near-term quantum devices provided that the target probability is not exponentially small.

A LOGIC FOR QUANTUM COMPUTATION AND CLASSICAL SIMULATION OF QUANTUM ALGORITHMS

2008 ◽  
Vol 06 (02) ◽  
pp. 255-280
Author(s):  
M. K. PATRA
Keyword(s):  
Quantum Computation ◽  
General Formula ◽  
Quantum Algorithms ◽  
Quantum Systems ◽  
Quantum Circuits ◽  
Finite Dimensional ◽  
Classical Simulation ◽  
Complex Extension

The semantics of a language for reasoning about finite-dimensional quantum systems is presented. This language can express most important classes of assertions about quantum systems, including formulas for outputs of all combinational quantum circuits/algorithms. The main result of this paper is an algorithm for efficient translation of a formula of language into an equivalent formula in another decidable language ℝℂ, which is the language of reals and its complex extension. An important consequence is a descriptive characterization of quantum circuits that can be efficiently simulated classically. We illustrate this with examples of two classes of quantum circuits which are known to have efficient classical simulation. The algorithm for deciding the satisfiability of a general formula can be adapted for the simulation.

Sign in / Sign up

Export Citation Format

Share Document