Verification of Distributed Quantum Programs
- URL: http://arxiv.org/abs/2104.14796v1
- Date: Fri, 30 Apr 2021 07:23:55 GMT
- Title: Verification of Distributed Quantum Programs
- Authors: Yuan Feng, Sanjiang Li, Mingsheng Ying
- Abstract summary: We propose a CSP-like distributed programming language to facilitate the specification and verification of distributed quantum systems.
The effectiveness of the logic is demonstrated by its applications in the verification of quantum teleportation and local implementation of non-local CNOT gates.
- Score: 6.266176871677275
- License: http://creativecommons.org/publicdomain/zero/1.0/
- Abstract: Distributed quantum systems and especially the Quantum Internet have the
ever-increasing potential to fully demonstrate the power of quantum
computation. This is particularly true given that developing a general-purpose
quantum computer is much more difficult than connecting many small quantum
devices. One major challenge of implementing distributed quantum systems is
programming them and verifying their correctness. In this paper, we propose a
CSP-like distributed programming language to facilitate the specification and
verification of such systems. After presenting its operational and denotational
semantics, we develop a Hoare-style logic for distributed quantum programs and
establish its soundness and (relative) completeness with respect to both
partial and total correctness. The effectiveness of the logic is demonstrated
by its applications in the verification of quantum teleportation and local
implementation of non-local CNOT gates, two important algorithms widely used in
distributed quantum systems.
Related papers
- The curse of random quantum data [62.24825255497622]
We quantify the performances of quantum machine learning in the landscape of quantum data.
We find that the training efficiency and generalization capabilities in quantum machine learning will be exponentially suppressed with the increase in qubits.
Our findings apply to both the quantum kernel method and the large-width limit of quantum neural networks.
arXiv Detail & Related papers (2024-08-19T12:18:07Z) - Mixed-Dimensional Qudit State Preparation Using Edge-Weighted Decision Diagrams [3.393749500700096]
Quantum computers have the potential to solve intractable problems.
One key element to exploiting this potential is the capability to efficiently prepare quantum states for multi-valued, or qudit, systems.
In this paper, we investigate quantum state preparation with a focus on mixed-dimensional systems.
arXiv Detail & Related papers (2024-06-05T18:00:01Z) - QuanGCN: Noise-Adaptive Training for Robust Quantum Graph Convolutional
Networks [124.7972093110732]
We propose quantum graph convolutional networks (QuanGCN), which learns the local message passing among nodes with the sequence of crossing-gate quantum operations.
To mitigate the inherent noises from modern quantum devices, we apply sparse constraint to sparsify the nodes' connections.
Our QuanGCN is functionally comparable or even superior than the classical algorithms on several benchmark graph datasets.
arXiv Detail & Related papers (2022-11-09T21:43:16Z) - Optimal Stochastic Resource Allocation for Distributed Quantum Computing [50.809738453571015]
We propose a resource allocation scheme for distributed quantum computing (DQC) based on programming to minimize the total deployment cost for quantum resources.
The evaluation demonstrates the effectiveness and ability of the proposed scheme to balance the utilization of quantum computers and on-demand quantum computers.
arXiv Detail & Related papers (2022-09-16T02:37:32Z) - Machine learning applications for noisy intermediate-scale quantum
computers [0.0]
We develop and study three quantum machine learning applications suitable for NISQ computers.
These algorithms are variational in nature and use parameterised quantum circuits (PQCs) as the underlying quantum machine learning model.
We propose a variational algorithm in the area of approximate quantum cloning, where the data becomes quantum in nature.
arXiv Detail & Related papers (2022-05-19T09:26:57Z) - 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) - Quantum Algorithms and Simulation for Parallel and Distributed Quantum
Computing [0.0]
A viable approach for building large-scale quantum computers is to interlink small-scale quantum computers with a quantum network.
We present our software framework called Interlin-q, a simulation platform that aims to simplify designing and verifying parallel and distributed quantum algorithms.
arXiv Detail & Related papers (2021-06-12T19:41:48Z) - Quantum Federated Learning with Quantum Data [87.49715898878858]
Quantum machine learning (QML) has emerged as a promising field that leans on the developments in quantum computing to explore large complex machine learning problems.
This paper proposes the first fully quantum federated learning framework that can operate over quantum data and, thus, share the learning of quantum circuit parameters in a decentralized manner.
arXiv Detail & Related papers (2021-05-30T12:19:27Z) - Distributed Quantum Computing with QMPI [11.71212583708166]
We introduce an extension of the Message Passing Interface (MPI) to enable high-performance implementations of distributed quantum algorithms.
In addition to a prototype implementation of quantum MPI, we present a performance model for distributed quantum computing, SENDQ.
arXiv Detail & Related papers (2021-05-03T18:30:43Z)
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.