A Lambda Calculus for Density Matrices with Classical and Probabilistic Controls

DOI10.1007/978-3-319-71237-6_22zbMATH Open1503.68043arXiv1705.00097OpenAlexW3170869185MaRDI QIDQ5056005FDOQ5056005

Alejandro Díaz-Caro

Publication date: 9 December 2022

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

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.

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

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

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)

Cites Work

• Title not available (Why is that?)
• On quantum lambda calculi: a foundational perspective
• Title not available (Why is that?)
• Towards a quantum programming language
• One-dimensional quantum walks
• Quantum walks on graphs
• A lambda calculus for quantum computation with classical control
• Confluence in probabilistic rewriting
• Quantum weakest preconditions
• An Introduction to Quantum Programming in Quipper
• Confluence results for a quantum lambda calculus with measurements
• A Lambda Calculus for Quantum Computation
• Title not available (Why is that?)
• Applying quantitative semantics to higher-order quantum computing
• Model checking quantum Markov chains
• Bisimulation for quantum processes
• A System F accounting for scalars
• Linearity in the Non-deterministic Call-by-Value Setting
• Call-by-value, call-by-name and the vectorial behaviour of the algebraic \lambda-calculus
• Title not available (Why is that?)
• The algebraic lambda calculus
• Typing Quantum Superpositions and Measurement
• The vectorial \(\lambda\)-calculus
• Invariants of quantum programs: characterisations and generation
• A Lambda Calculus for Density Matrices with Classical and Probabilistic Controls

Cited In (5)

• 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

Uses Software

• Quipper
• QPL

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)