Anna Schmitt ; Kirstin Peters ; Yuxin Deng - Encodability Criteria for Quantum Based Systems

lmcs:10423 - Logical Methods in Computer Science, April 30, 2024, Volume 20, Issue 2 - https://doi.org/10.46298/lmcs-20(2:5)2024
Encodability Criteria for Quantum Based SystemsArticle

Authors: Anna Schmitt ; Kirstin Peters ; Yuxin Deng

    Quantum based systems are a relatively new research area for that different modelling languages including process calculi are currently under development. Encodings are often used to compare process calculi. Quality criteria are used then to rule out trivial or meaningless encodings. In this new context of quantum based systems, it is necessary to analyse the applicability of these quality criteria and to potentially extend or adapt them. As a first step, we test the suitability of classical criteria for encodings between quantum based languages and discuss new criteria. Concretely, we present an encoding, from a language inspired by CQP into a language inspired by qCCS. We show that this encoding satisfies compositionality, name invariance (for channel and qubit names), operational correspondence, divergence reflection, success sensitiveness, and that it preserves the size of quantum registers. Then we show that there is no encoding from qCCS into CQP that is compositional, operationally corresponding, and success sensitive.


    Volume: Volume 20, Issue 2
    Published on: April 30, 2024
    Accepted on: February 16, 2024
    Submitted on: December 5, 2022
    Keywords: Computer Science - Logic in Computer Science

    Consultation statistics

    This page has been seen 465 times.
    This article's PDF has been downloaded 282 times.