Encoding High-level Quantum Programs as SZX-diagrams

• URL: http://arxiv.org/abs/2206.09376v2
• Date: Thu, 16 Nov 2023 11:40:34 GMT
• Title: Encoding High-level Quantum Programs as SZX-diagrams
• Abstract summary: 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.
• Score: 0.0
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: 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.

Related papers

• Hybrid Quantum-Classical Machine Learning with String Diagrams [49.1574468325115]
  This paper develops a formal framework for describing hybrid algorithms in terms of string diagrams. A notable feature of our string diagrams is the use of functor boxes, which correspond to a quantum-classical interfaces.
  arXiv  Detail & Related papers  (2024-07-04T06:37:16Z)
• Optimizing ZX-Diagrams with Deep Reinforcement Learning [0.0]
  We bring together ZX-diagrams with reinforcement learning to find optimal sequence of actions in a decision-making problem. The use of graph neural networks to encode the policy of the agent enables generalization to diagrams much bigger than seen during the training phase.
  arXiv  Detail & Related papers  (2023-11-30T14:29:18Z)
• The Basis of Design Tools for Quantum Computing: Arrays, Decision Diagrams, Tensor Networks, and ZX-Calculus [55.58528469973086]
  Quantum computers promise to efficiently solve important problems classical computers never will. A fully automated quantum software stack needs to be developed. This work provides a look "under the hood" of today's tools and showcases how these means are utilized in them, e.g., for simulation, compilation, and verification of quantum circuits.
  arXiv  Detail & Related papers  (2023-01-10T19:00:00Z)
• Compilation of algorithm-specific graph states for quantum circuits [55.90903601048249]
  We present a quantum circuit compiler that prepares an algorithm-specific graph state from quantum circuits described in high level languages. The computation can then be implemented using a series of non-Pauli measurements on this graph state.
  arXiv  Detail & Related papers  (2022-09-15T14:52:31Z)
• Circuit Extraction for ZX-diagrams can be #P-hard [0.0]
  Some applications for the ZX-calculus rely on being able to efficiently translate a ZX-diagram back into a quantum circuit of comparable size. In this paper we show that the circuit extraction problem is #P-hard, and so is itself at least as hard as strong simulation of quantum circuits.
  arXiv  Detail & Related papers  (2022-02-18T13:50:24Z)
• Resource Optimisation of Coherently Controlled Quantum Computations with the PBS-calculus [55.2480439325792]
  Coherent control of quantum computations can be used to improve some quantum protocols and algorithms. We refine the PBS-calculus, a graphical language for coherent control inspired by quantum optics.
  arXiv  Detail & Related papers  (2022-02-10T18:59:52Z)
• Benchmarking Small-Scale Quantum Devices on Computing Graph Edit Distance [52.77024349608834]
  Graph Edit Distance (GED) measures the degree of (dis)similarity between two graphs in terms of the operations needed to make them identical. In this paper we present a comparative study of two quantum approaches to computing GED.
  arXiv  Detail & Related papers  (2021-11-19T12:35:26Z)
• Diagrammatic Differentiation for Quantum Machine Learning [0.19336815376402716]
  We show how to calculate diagrammatically the gradient of a linear map with respect to a phase parameter. For diagrams of parametrised quantum circuits, we get the well-known parameter-shift rule. We then extend our method to the automatic differentation of hybrid classical-quantum circuits.
  arXiv  Detail & Related papers  (2021-03-14T16:04:56Z)
• Graphical Language with Delayed Trace: Picturing Quantum Computing with Finite Memory [0.0]
  We describe a general construction that extends any graphical language, equipped with a notion of discarding, to a graphical language of finite memory computations. In order to handle cases like the ZX-calculus, which is complete for post-selected quantum mechanics, we extend the delayed trace formalism beyond the causal case. We design a stream semantics based on stateful morphism sequences and, under some assumptions, show universality and completeness results.
  arXiv  Detail & Related papers  (2021-02-05T12:23:11Z)
• PBS-Calculus: A Graphical Language for Coherent Control of Quantum Computations [77.34726150561087]
  We introduce the PBS-calculus to represent and reason on quantum computations involving coherent control of quantum operations. We equip the language with an equational theory, which is proved to be sound and complete. We consider applications like the implementation of controlled permutations and the unrolling of loops.
  arXiv  Detail & Related papers  (2020-02-21T16:15:58Z)

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.