Quantisation of Abstract Data Types

2026-09-03

AI Summary

本文提出了一种抽象量子数据类型的概念，通过经典数据类型的量化方法解决了量子编程中的数据抽象描述问题。

Abstract

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.

Problem

• quantum data type
• universal algebra
• data abstraction
• quantisation

Innovation

• abstract quantum data type
• universal algebra
• quantisation of classical data types
• bit oracle
• phase oracle