High-Level Methods for Quantum Computation and Information

TL;DR

This paper proposes a research framework utilizing high-level categorical methods to advance quantum computation and information, aiming to improve understanding and development in the field.

Contribution

It introduces a categorical formulation approach for quantum mechanics to develop high-level methods for quantum computation and information.

Findings

Framework for high-level quantum methods

Categorical formulation enhances understanding

Potential for new quantum algorithms

Abstract

A research programme is set out for developing the use of high-level methods for quantum computation and information, based on the categorical formulation of quantum mechanics introduced by the author and Bob Coecke.