The Quantum Abstract Machine

• URL: http://arxiv.org/abs/2402.13469v1
• Date: Wed, 21 Feb 2024 01:55:59 GMT
• Title: The Quantum Abstract Machine
• Authors: Liyi Li, Le Chang, Rance Cleaveland, Mingwei Zhu and Xiaodi Wu
• Abstract summary: The work is motivated by the need for conceptual tools for the development of quantum-communication systems. This paper defines a quantum abstract machine (QAM) whose operations correspond to well-known quantum circuits. It shows via examples how it may be used to model and reason about existing quantum communication protocols.
• Score: 4.968520732123632
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: This paper develops a model of quantum behavior that is intended to support the abstract yet accurate design and functional verification of quantum communication protocols. The work is motivated by the need for conceptual tools for the development of quantum-communication systems that are usable by non-specialists in quantum physics while also correctly capturing at a useful abstraction the underlying quantum phenomena. Our approach involves defining a quantum abstract machine (QAM) whose operations correspond to well-known quantum circuits; these operations, however, are given direct abstract semantics in a style similar to that of Berry's and Boudol's Chemical Abstract Machine. This paper defines the QAM's semantics and shows via examples how it may be used to model and reason about existing quantum communication protocols.

Related papers

• Formal verification of higher dimensional quantum protocols [0.0]
  We present our preliminary results in extending the theory of behavioural equivalence in CQP to verify higher dimensional quantum protocols using qudits. This is a work-in-progress and we present our preliminary results in extending the theory of behavioural equivalence in CQP to verify higher dimensional quantum protocols using qudits.
  arXiv  Detail & Related papers  (2024-09-26T15:53:14Z)
• Quantum Equilibrium Propagation for efficient training of quantum systems based on Onsager reciprocity [0.0]
  Equilibrium propagation (EP) is a procedure that has been introduced and applied to classical energy-based models which relax to an equilibrium. Here, we show a direct connection between EP and Onsager reciprocity and exploit this to derive a quantum version of EP. This can be used to optimize loss functions that depend on the expectation values of observables of an arbitrary quantum system.
  arXiv  Detail & Related papers  (2024-06-10T17:22:09Z)
• Direct Characteristic-Function Tomography of the Quantum States of Quantum Fields [5.145146101802871]
  We propose a strategy for implementing a direct readout of the symmetric characteristic function of the quantum states of quantum fields. This strategy may serve as an essential in understanding and optimizing the control of quantum fields for relativistic quantum information applications.
  arXiv  Detail & Related papers  (2023-10-20T14:15:14Z)
• 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)
• Quantum Semantic Communications for Resource-Efficient Quantum Networking [52.3355619190963]
  This letter proposes a novel quantum semantic communications (QSC) framework exploiting advancements in quantum machine learning and quantum semantic representations. The proposed framework achieves approximately 50-75% reduction in quantum communication resources needed, while achieving a higher quantum semantic fidelity.
  arXiv  Detail & Related papers  (2022-05-05T03:49:19Z)
• Engineered Dissipation for Quantum Information Science [0.0]
  Dissipation is an essential tool for manipulating quantum information. Dissipation engineering enables quantum measurement, quantum state preparation, and quantum state stabilization.
  arXiv  Detail & Related papers  (2022-02-10T19:00:01Z)
• Efficient criteria of quantumness for a large system of qubits [58.720142291102135]
  We discuss the dimensionless combinations of basic parameters of large, partially quantum coherent systems. Based on analytical and numerical calculations, we suggest one such number for a system of qubits undergoing adiabatic evolution.
  arXiv  Detail & Related papers  (2021-08-30T23:50:05Z)
• On exploring the potential of quantum auto-encoder for learning quantum systems [60.909817434753315]
  We devise three effective QAE-based learning protocols to address three classically computational hard learning problems. Our work sheds new light on developing advanced quantum learning algorithms to accomplish hard quantum physics and quantum information processing tasks.
  arXiv  Detail & Related papers  (2021-06-29T14:01:40Z)
• Information Scrambling in Computationally Complex Quantum Circuits [56.22772134614514]
  We experimentally investigate the dynamics of quantum scrambling on a 53-qubit quantum processor. We show that while operator spreading is captured by an efficient classical model, operator entanglement requires exponentially scaled computational resources to simulate.
  arXiv  Detail & Related papers  (2021-01-21T22:18:49Z)
• 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)
• Quantum machine learning and quantum biomimetics: A perspective [0.0]
  Quantum machine learning has emerged as an exciting and promising paradigm inside quantum technologies. In this Perspective, we give an overview of these topics, describing the related research carried out by the scientific community.
  arXiv  Detail & Related papers  (2020-04-25T07:45:20Z)

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.