[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Axiom-developer] [quantum] Axiom's Quantum Computing implementation

From: Tim Daly
Subject: [Axiom-developer] [quantum] Axiom's Quantum Computing implementation
Date: Mon, 14 Nov 2016 03:34:01 -0500

For those who want to work at the research front I'm going
to post links to sites that provide quantum computing ideas.
These posts will have the [quantum] label. Axiom can support
qubits as a type. It can implement Knill's architecture (i.e.
using a classical computer to control a quantum computer).

For those who need things to seem "useful" it appears that
quantum computers can find the group underlying the algorithms
at the heart of public key encryption. That implies that the whole
internet falls since things like site certificates depend on it. Axiom
has added a chapter on finite fields written by Grabmeier (Chapter 8)
(the author of Axiom's FF types) as well as links to background
courses embedded in Axiom's PDFs (e.g.

There are implementations of quantum computing simulations
making it possible to run quantum programs on stock hardware.
An online example is the Quantum Computing Playground
which provides simulation of up to 22 qubits. Axiom could
implement such a simulation engine.

IBM provides a real online 5-qubit quantum computer
I've tried to implement some trivial algorithms there.

The Quipper language
is a Haskell-based language. Axiom actually provides more
features than the Haskell platform, such as dependent types,
which the Haskell implementation has to check at runtime.

Quipper is supported by DARPA. They have implemented
7 non-trivial quantum algorithms required by DARPA.

A good introduction is provided by Siddiqui, et al.
"Five Quantum Algorithms Using Quipper"

For a solid background, Susskind's lectures are golden:

For a computer science background see
Mermin, David "Quantum Computer Science" 978-0-521-87658-2

This is research so there will be blind paths, speculation,
confusion, and all the usual fun without the unusual riches.
But that's what we "research rats" love.

Tim "research rat" Daly


reply via email to

[Prev in Thread] Current Thread [Next in Thread]