Quick Navigation

Overview Topics Abstract Importance Paper Tools References Reactions Discussion Publication

Topics

Quantum Circuit Design Gate Engineering

Certified Quantum Computation in Isabelle/HOL

arXiv
Authors: Anthony Bordg, Hanna Lachnitt, Yijun He

Year

2020

Paper ID

502

Status

Preprint

Abstract Read

~2 min

Abstract Words

105

Citations

N/A

Abstract

In this article we present an ongoing effort to formalise quantum algorithms and results in quantum information theory using the proof assistant Isabelle/HOL. Formal methods being critical for the safety and security of algorithms and protocols, we foresee their widespread use for quantum computing in the future. We have developed a large library for quantum computing in Isabelle based on a matrix representation for quantum circuits, successfully formalising the no-cloning theorem, quantum teleportation, Deutsch's algorithm, the Deutsch-Jozsa algorithm and the quantum Prisoner's Dilemma. We discuss the design choices made and report on an outcome of our work in the field of quantum game theory.

Why This Paper Matters

  • This paper contributes to the Quantum Circuit Design & Gate Engineering research area in the Quantum Articles archive.
  • It adds a 2020 reference point for readers tracking recent quantum research.
  • In this article we present an ongoing effort to formalise quantum algorithms and results in quantum information theory using the proof assistant Isabelle/HOL.

Paper Tools

Become a member to use research tools

Sign in to open papers, visit source links, share, cite, compare, copy DOI links, request category corrections, and build your reading list.

Become a member Sign in
Show Paper arXiv Publisher Share Cite This Paper Copy URL Compare Copy DOI Add to Reading List Category Correction Request

References & Citation Signals

[1] DOI https://doi.org/arXiv:2012.13925 [2] arXiv https://arxiv.org/abs/2012.13925 [3] Publisher https://arxiv.org/abs/2012.13925

Local Citation Graph (Related-Paper Links)

Current Paper #502

External citation index: OpenAlex citation signal

Community Reactions

Quick sentiment from readers on this paper.

Score: 0
Likes: 0 Dislikes: 0

Sign in to react to this paper.

Discussion & Reviews (Moderated)

Average Rating: 0.0 / 5 (0 ratings)

No written reviews yet.