Search papers, labs, and topics across Lattice.
This paper introduces a novel framework for abstract quantum data types grounded in universal algebra, enabling a formal quantisation of classical data types for quantum programming. The authors demonstrate that classical equational specifications can be effectively adapted to the quantum context, with specific quantisation methods like bit and phase oracles emerging as instances of this broader approach. Applications to quantum arrays and error-correcting codes illustrate the framework's utility, revealing how quantisation can maintain essential structural relationships from classical data types.
Classical data types can be quantised in a way that preserves their structural properties, unlocking new insights for quantum programming.
In this paper, we introduce a notion of abstract quantum data type within the framework of universal algebra. This notion provides an algebraic foundation for describing data abstraction in quantum programming. We formally define a quantisation of classical data types and show that their equational specifications can be soundly lifted to the quantum setting. Two standard quantisation methods for classical functions, namely the bit oracle and the phase oracle, arise as special cases of this general construction. We illustrate the framework with applications to quantum arrays and quantum error-correcting codes, showing how they can be understood through the lens of data-type quantisation. We further establish conditions under which quantisation preserves structural relationships and constructions of classical data types, including embeddings, isomorphisms, and products.
