DeepAI AI Chat
Log In Sign Up

Quantum Expectation Transformers for Cost Analysis

01/23/2022
by   Martin Avanzini, et al.
0

We introduce a new kind of expectation transformer for a mixed classical-quantum programming language. Our semantic approach relies on a new notion of a cost structure, which we introduce and which can be seen as a specialisation of the Kegelspitzen of Keimel and Plotkin. We show that our weakest precondition analysis is both sound and adequate with respect to the operational semantics of the language. Using the induced expectation transformer, we provide formal analysis methods for the expected cost analysis and expected value analysis of classical-quantum programs. We illustrate the usefulness of our techniques by computing the expected cost of several well-known quantum algorithms and protocols, such as coin tossing, repeat until success, entangled state preparation, and quantum walks.

READ FULL TEXT

page 1

page 2

page 3

page 4

07/28/2021

Semantics for Variational Quantum Programming

We consider a programming language that can manipulate both classical an...
09/16/2022

Quantum Vision Transformers

We design and analyse quantum transformers, extending the state-of-the-a...
04/03/2018

From Symmetric Pattern-Matching to Quantum Control (Extended Version)

One perspective on quantum algorithms is that they are classical algorit...
11/28/2019

Expected Runtime of Quantum Programs

Building upon recent work on probabilistic programs, we formally define ...
05/20/2019

Statistical Assertions for Validating Patterns and Finding Bugs in Quantum Programs

In support of the growing interest in quantum computing experimentation,...
04/27/2022

Proto-Quipper with dynamic lifting

Quipper is a functional programming language for quantum computing. Prot...
11/09/2020

Estimating expectation values using approximate quantum states

We introduce an approximate description of an N-qubit state, which conta...