A Lambda Calculus for Density Matrices with Classical and Probabilistic Controls

DOI10.1007/978-3-319-71237-6_22MaRDI QIDQ5056005zbMATH OpenOpenAlexFDO

Authors Alejandro Díaz-Caro

Publication date 9 December 2022

Published in Programming Languages and Systems (Search for Journal in Brave)

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

zbMATH Keywords

quantum computinglambda-calculusdensity matricesclassical control

Mathematics Subject Classification ID

Quantum computation (81P68) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Combinatory logic and lambda calculus (03B40) Functional programming and lambda calculus (68N18)

Abstract: In this paper we present two flavors of a quantum extension to the lambda calculus. The first one, $lambd{a}_{h}o$, follows the approach of classical control/quantum data, where the quantum data is represented by density matrices. We provide an interpretation for programs as density matrices and functions upon them. The second one, $lambd{a}_h{o}^{c}irc$, take advantage of the density matrices presentation in order to follow the mixed trace of programs in a kind of generalised density matrix. Such a control can be seen as a weaker form of the quantum control and data approach.

Recommendations

• A lambda calculus for quantum computation with classical control
• Typed Lambda Calculi and Applications
• On a measurement-free quantum lambda calculus with classical control
• A Lambda Calculus for Quantum Computation
• A double effect \(\lambda \)-calculus for quantum computation
• On quantum and probabilistic linear lambda-calculi (extended abstract)
• On quantum lambda calculi: a foundational perspective
• Quantum Control in the Unitary Sphere: Lambda-S1 and its Categorical Model
• Confluence results for a quantum lambda calculus with measurements
• Measurements and confluence in quantum lambda calculi with explicit qubits

Cites work

• scientific article; zbMATH DE number 1579275 (Why is no real title available?)
• scientific article; zbMATH DE number 6712184 (Why is no real title available?)
• scientific article; zbMATH DE number 5708038 (Why is no real title available?)
• A Lambda Calculus for Density Matrices with Classical and Probabilistic Controls
• A Lambda Calculus for Quantum Computation
• A System F accounting for scalars
• A lambda calculus for quantum computation with classical control
• An introduction to quantum programming in Quipper
• Applying quantitative semantics to higher-order quantum computing
• Bisimulation for quantum processes
• Call-by-value, call-by-name and the vectorial behaviour of the algebraic \(\lambda \)-calculus
• Confluence in probabilistic rewriting
• Confluence results for a quantum lambda calculus with measurements
• Invariants of quantum programs: characterisations and generation
• Linearity in the non-deterministic call-by-value setting
• Model checking quantum Markov chains
• On quantum lambda calculi: a foundational perspective
• One-dimensional quantum walks
• Quantum alternation: prospects and problems
• Quantum walks on graphs
• Quantum weakest preconditions
• The algebraic lambda calculus
• The vectorial \(\lambda\)-calculus
• Towards a quantum programming language
• Typing Quantum Superpositions and Measurement

Cited in

(6)

• On a measurement-free quantum lambda calculus with classical control
• A Lambda Calculus for Density Matrices with Classical and Probabilistic Controls
• Classically time-controlled quantum automata
• Taming Non-compositionality Using New Binders
• A note on confluence in typed probabilistic lambda calculi
• Quantum Control in the Unitary Sphere: Lambda-S1 and its Categorical Model

Describes a project that uses

Uses Software

• QPL
• Quipper

This page was built for publication: A Lambda Calculus for Density Matrices with Classical and Probabilistic Controls

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