Quantisation of Abstract Data Types

• URL: http://arxiv.org/abs/2609.03778v1
• Date: Thu, 03 Sep 2026 12:51:10 GMT
• Title: Quantisation of Abstract Data Types
• Abstract summary: We introduce a notion of abstract quantum data type within the framework of universal algebra.<n>We formally define a quantisation of classical data types and show that their equational specifications can be soundly lifted to the quantum setting.
• Score: 27.114033908694022
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• 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.

Related papers

• Quantum data encoding as a distinct abstraction layer in the design of quantum circuits [1.1510009152620668]
  We formalize the concept of quantum data encoding, namely the format providing a representation of a data set through a quantum state. We show how major quantum algorithms find a natural interpretation in terms of data loading. The new conceptual framework is exemplified by considering its application to quantum-based Monte Carlo simulations.
  arXiv  Detail & Related papers  (2024-09-14T07:00:58Z)
• Categories of quantum cpos [0.0]
  We find a noncommutative generalization of $omega$-complete partial orders (cpos) called quantum cpos. quantum cpos may form the backbone of a future quantum domain theory.
  arXiv  Detail & Related papers  (2024-06-03T22:13:32Z)
• Information-theoretic generalization bounds for learning from quantum data [5.0739329301140845]
  We propose a general mathematical formalism for describing quantum learning by training on classical-quantum data. We prove bounds on the expected generalization error of a quantum learner in terms of classical and quantum information-theoretic quantities. Our work lays a foundation for a unifying quantum information-theoretic perspective on quantum learning.
  arXiv  Detail & Related papers  (2023-11-09T17:21:38Z)
• Quantum data learning for quantum simulations in high-energy physics [55.41644538483948]
  We explore the applicability of quantum-data learning to practical problems in high-energy physics. We make use of ansatz based on quantum convolutional neural networks and numerically show that it is capable of recognizing quantum phases of ground states. The observation of non-trivial learning properties demonstrated in these benchmarks will motivate further exploration of the quantum-data learning architecture in high-energy physics.
  arXiv  Detail & Related papers  (2023-06-29T18:00:01Z)
• The Quantum Path Kernel: a Generalized Quantum Neural Tangent Kernel for Deep Quantum Machine Learning [52.77024349608834]
  Building a quantum analog of classical deep neural networks represents a fundamental challenge in quantum computing. Key issue is how to address the inherent non-linearity of classical deep learning. We introduce the Quantum Path Kernel, a formulation of quantum machine learning capable of replicating those aspects of deep machine learning.
  arXiv  Detail & Related papers  (2022-12-22T16:06:24Z)
• No-signalling constrains quantum computation with indefinite causal structure [45.279573215172285]
  We develop a formalism for quantum computation with indefinite causal structures. We characterize the computational structure of higher order quantum maps. We prove that these rules, which have a computational and information-theoretic nature, are determined by the more physical notion of the signalling relations between the quantum systems.
  arXiv  Detail & Related papers  (2022-02-21T13:43:50Z)
• Generalization Metrics for Practical Quantum Advantage in Generative Models [68.8204255655161]
  Generative modeling is a widely accepted natural use case for quantum computers. We construct a simple and unambiguous approach to probe practical quantum advantage for generative modeling by measuring the algorithm's generalization performance. Our simulation results show that our quantum-inspired models have up to a $68 times$ enhancement in generating unseen unique and valid samples.
  arXiv  Detail & Related papers  (2022-01-21T16:35:35Z)
• Quantum references [0.29008108937701327]
  We present a theory of "quantum references", that allow to point to a subsystem of a larger quantum system, and to mutate/measure that part. Our modeling is intended to be well suited for formalization in theorem provers and as a foundation for modeling variables in quantum programs.
  arXiv  Detail & Related papers  (2021-05-23T11:11:03Z)
• Quantum information spreading in a disordered quantum walk [50.591267188664666]
  We design a quantum probing protocol using Quantum Walks to investigate the Quantum Information spreading pattern. We focus on the coherent static and dynamic disorder to investigate anomalous and classical transport. Our results show that a Quantum Walk can be considered as a readout device of information about defects and perturbations occurring in complex networks.
  arXiv  Detail & Related papers  (2020-10-20T20:03:19Z)
• Geometric viewpoint on the quantization of a fuzzy logic [0.0]
  We give a description of quantum propositions in terms of fuzzy events in a complex projective space equipped with K"ahler structure (the quantum phase space) We obtain a quantized version of a fuzzy logic by deformation of the product t-norm.
  arXiv  Detail & Related papers  (2020-04-06T13:37:02Z)
• From a quantum theory to a classical one [117.44028458220427]
  We present and discuss a formal approach for describing the quantum to classical crossover. The method was originally introduced by L. Yaffe in 1982 for tackling large-$N$ quantum field theories.
  arXiv  Detail & Related papers  (2020-04-01T09:16:38Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.