Classical Simulation of Quantum Adiabatic Algorithms using Mathematica on GPUs

Simulation of quantum computers is what allows us to test quantum software on a limited scale. Therefore this recent paper by Díaz-Pier, Venegas-Andraca, and Gómez-Muñoz, Classical Simulation of Quantum Adiabatic Algorithms using Mathematica on GPUs is of interest. The abstract:

In this paper we present a simulation environment enhanced with parallel processing which can be used on personal computers, based on a high-level user interface developed on Mathematica\copyright which is connected to C++ code in order to make our platform capable of communicating with a Graphics Processing Unit. We introduce the reader to the behavior of our proposal by simulating a quantum adiabatic algorithm designed for solving hard instances of the 3-SAT problem. We show that our simulator is capable of significantly increasing the number of qubits that can be simulated using classical hardware. Finally, we present a review of currently available classical simulators of quantum systems together with some justifications, based on our willingness to further understand processing properties of Nature, for devoting resources to building more powerful simulators.

(Image is figure 1 from the paper.)

Quantum Mathematica Add On

This was passed my way by the author, José Luis Gómez-Muñoz: a Mathematica Add On for Quantum Computing. There is also a short 6 minute video that walks you through it on youtube:



I have not played with it yet, but the video does a great job of explaining what it can do. What I especially liked was the ability to view the circuit in different forms. As an example you could view the circuit in the more traditional 2 dimensional form as well as a 3 dimensional one. Additionally you can view things in matrix form and so on.

Definitely looks like a great tool to grab images for presentations. Furthermore it would be useful for students to double check work. I had to write my own complex matrix class for Cove and it would've been nice to have an easy to use tool such as this to compare against so I could more quickly verify my implementation.