Encoding High-level Quantum Programs as SZX-diagrams

06/19/2022
by   Agustín Borgna, et al.
0

The Scalable ZX-calculus is a compact graphical language used to reason about linear maps between quantum states. These diagrams have multiple applications, but they frequently have to be constructed in a case-by-case basis. In this work we present a method to encode quantum programs implemented in a fragment of the linear dependently typed Proto-Quipper-D language as families of SZX-diagrams. We define a subset of translatable Proto-Quipper-D programs and show that our procedure is able to encode non-trivial algorithms as diagrams that grow linearly on the size of the program.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
07/02/2021

Quantum Multiple-Valued Decision Diagrams in Graphical Calculi

Graphical calculi such as the ZH-calculus are powerful tools in the stud...
research
01/10/2020

State diagrams of functional programs

In the paper we introduce graphical objects (called state diagrams) rela...
research
03/02/2021

Diagrammatic security proof for 8-state encoding

Dirac notation is the most common way to describe quantum states and ope...
research
03/11/2021

Classifying Complexity with the ZX-Calculus: Jones Polynomials and Potts Partition Functions

The ZX-calculus is a graphical language which allows for reasoning about...
research
04/09/2020

Open Diagrams via Coend Calculus

Morphisms in a monoidal category are usually interpreted as processes, a...
research
05/19/2023

Graphologue: Exploring Large Language Model Responses with Interactive Diagrams

Large language models (LLMs) have recently soared in popularity due to t...
research
04/27/2022

Quantum Linear Optics via String Diagrams

We establish a formal bridge between qubit-based and photonic quantum co...

Please sign up or login with your details

Forgot password? Click here to reset