Measurements and confluence in quantum lambda calculi with explicit qubits

DOI10.1016/J.ENTCS.2011.01.006MaRDI QIDQ2825343zbMATH OpenOpenAlexWikidataFDO

Authors Alejandro Díaz-Caro, Pablo Arrighi, Jonathan Grattage, M. Gadella

Publication date 7 October 2016

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0806.2447

zbMATH Keywords

confluencemeasurementprobabilistic rewrite systemquantum lambda calculus

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Grammars and rewriting systems (68Q42) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Quantum computation (81P68)

Abstract: This paper demonstrates how to add a measurement operator to quantum lambda-calculi. A proof of the consistency of the semantics is given through a proof of confluence presented in a sufficiently general way to allow this technique to be used for other languages. The method described here may be applied to probabilistic rewrite systems in general, and to add measurement to more complex languages such as QML or Lineal, which is the subject of further research.

Recommendations

• Confluence results for a quantum lambda calculus with measurements
• On quantum lambda calculi: a foundational perspective
• On a measurement-free quantum lambda calculus with classical control
• A lambda calculus for quantum computation with classical control
• Typed Lambda Calculi and Applications

Cites work

• A computational definition of the notion of vectorial space
• A Lambda Calculus for Quantum Computation
• A lambda calculus for quantum computation with classical control
• An algebra of pure quantum programming
• Linear-algebraic λ-calculus: higher-order, encodings, and confluence.
• Probabilistic  -calculus and Quantitative Program Analysis
• Taming Non-compositionality Using New Binders
• Tree-Manipulating Systems and Church-Rosser Theorems

Cited in

(11)

• A logic for quantum register measurements
• QPCF: higher-order languages and quantum circuits
• Confluence in probabilistic rewriting
• An overview of QML with a concrete implementation in Haskell
• Confluence results for a quantum lambda calculus with measurements
• On quantum lambda calculi: a foundational perspective
• On a measurement-free quantum lambda calculus with classical control
• Quantum programming made easy
• A Lambda Calculus for Density Matrices with Classical and Probabilistic Controls
• Probabilistic rewriting: normalization, termination, and unique normal forms
• Probabilistic rewriting and asymptotic behaviour: on termination and unique normal forms

Describes a project that uses

Uses Software

• QML

This page was built for publication: Measurements and confluence in quantum lambda calculi with explicit qubits

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2825343)