Confluence Results for a Quantum Lambda Calculus with Measurements
Ugo Dal Lago, Andrea Masini, Margherita Zorzi
TL;DR
This paper proves strong confluence for a quantum lambda-calculus with measurements, applicable to both finite and infinite computations, using an innovative syntactical proof technique that distinguishes it from similar calculi.
Contribution
It introduces a novel confluence proof for Q*, a quantum lambda-calculus with measurements, applicable to both finite and infinite computations, using an innovative syntactical approach.
Findings
Confluence holds for finite and infinite computations in Q*.
The proof technique is syntactical and innovative.
Q* differs from similar calculi by supporting measurements without reduction strategies.
Abstract
A strong confluence result for Q*, a quantum lambda-calculus with measurements, is proved. More precisely, confluence is shown to hold both for finite and infinite computations. The technique used in the confluence proof is syntactical but innovative. This makes Q* different from similar quantum lambda calculi, which are either measurement-free or provided with a reduction strategy.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsQuantum Computing Algorithms and Architecture · Quantum Information and Cryptography · Quantum Mechanics and Applications