Bisimulation for quantum processes
classification
🪐 quant-ph
cs.LO
keywords
quantumbisimulationprocessesprovealgebraalgebraicbasicclassical
pith:VAK4OCXV Add to your LaTeX paper
What is a Pith Number?\usepackage{pith}
\pithnumber{VAK4OCXV}
Prints a linked pith:VAK4OCXV badge after your title and writes the identifier into PDF metadata. Compiles on arXiv with no extra files. Learn more
read the original abstract
In this paper we introduce a novel notion of probabilistic bisimulation for quantum processes and prove that it is congruent with respect to various process algebra combinators including parallel composition even when both classical and quantum communications are present. We also establish some basic algebraic laws for this bisimulation. In particular, we prove uniqueness of the solutions to recursive equations of quantum processes, which provides a powerful proof technique for verifying complex quantum protocols.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.