Quantum Algebra Computer Aided Design (QuantAL)
QuantAL is a package which simplifies the algebra of the non-commuting quantum variables, whose aim is to facilitate a more accurate representation of the interaction between several quantum systems, and between these systems and their environments, thereby increasing accuracy of the simulation of quantum technology systems.
A major step in the development of new generation electronic computing and sensing requires quantum technology systems to be realised in a reliable manner. One of the major obstacles to this is the accuracy with which models can be built. For classical computer systems, complexity is managed by Computer Aided Design programmes (Cadence, Synopsis, Mentor, etc.) which allow a hierarchy of device models (vhdl, netlist, extracted BSim, etc.). QuantAL borrows from classical systems, used elsewhere in FPGA design, but in the quantum context.
The aim of this project is to produce a non-commuting algebra package which simplifies the models describing complex quantum systems, to allow more accurate simulation.
The work of the research team will benefit research and development groups looking to simulate the complexities of quantum technologies, or quantum chemistry.
The source code underlying QuantAL is written in Haskell which uses tree data structures, allowing constants, commuting variables and non-commuting variables to be treated differently in the derivation and simplification of different hierarchical models. This cross-disciplinary project involves contributions form Loughborough’s Department of Computing and Department of Physics.
The aim of the project is for QuantAL to produce more accurate models of quantum devices in technology settings. So far, the algebra package has already proved efficient by correcting existing models involving significant algebraic complexity. The team have also demonstrated the difficulty in defining the boundary between what’s included as the quantum device and what counts as its environment.
Dr Vincent Dwyer - Reader in Electronic Devices
“Recent developments in quantum technologies present an enormously exciting future for sensing and computing. However, the integration of such systems into a classical infrastructure requires the replication of both Computer Aided Design tools together with a manufacturers group akin to the International Technology Roadmap for Semiconductors. QuantAL is an important step towards the former of these.”