A Coalgebraic Model of Quantum Bisimulation
Saved in:
| Title: | A Coalgebraic Model of Quantum Bisimulation |
|---|---|
| Authors: | Ceragioli, Lorenzo, Di Lavore, Elena, Lomurno, Giuseppe, Tedeschi, Gabriele |
| Source: | Electronic Proceedings in Theoretical Computer Science. 429:249-269 |
| Publication Status: | Preprint |
| Publisher Information: | Open Publishing Association, 2025. |
| Publication Year: | 2025 |
| Subject Terms: | FOS: Computer and information sciences, Emerging Technologies (cs.ET), Logic in Computer Science, Emerging Technologies, Logic in Computer Science (cs.LO) |
| Description: | Recent works have shown that defining a behavioural equivalence that matches the observational properties of a quantum-capable, concurrent, non-deterministic system is a surprisingly difficult task. We explore coalgebras over distributions taking weights from a generic effect algebra, which subsumes probabilities and quantum effects, a physical formalism that represents the probabilistic behaviour of an open quantum system. To abide by the properties of quantum theory, we introduce monads graded on a partial commutative monoid, intuitively allowing composition of two processes only if they use different quantum resources, as prescribed by the no-cloning theorem. We investigate the relation between an open quantum system and its probabilistic counterparts obtained when instantiating the input with a specific quantum state. We consider Aczel-Mendler and kernel bisimilarities, advocating for the latter as it characterizes quantum systems that exhibit the same probabilistic behaviour for all input states. Finally, we propose operators on quantum effect labelled transition systems, paving the way for a process calculi semantics that is parametric over the quantum input. In Proceedings ACT 2024, arXiv:2509.18357 |
| Document Type: | Article |
| Language: | English |
| ISSN: | 2075-2180 |
| DOI: | 10.4204/eptcs.429.14 |
| DOI: | 10.48550/arxiv.2509.20933 |
| Access URL: | http://arxiv.org/abs/2509.20933 |
| Rights: | CC BY |
| Accession Number: | edsair.doi.dedup.....2e2dd12fe4d8900ad80eef71ca67a234 |
| Database: | OpenAIRE |
Full Text Finder 
Nájsť tento článok vo Web of Science | Abstract: | Recent works have shown that defining a behavioural equivalence that matches the observational properties of a quantum-capable, concurrent, non-deterministic system is a surprisingly difficult task. We explore coalgebras over distributions taking weights from a generic effect algebra, which subsumes probabilities and quantum effects, a physical formalism that represents the probabilistic behaviour of an open quantum system. To abide by the properties of quantum theory, we introduce monads graded on a partial commutative monoid, intuitively allowing composition of two processes only if they use different quantum resources, as prescribed by the no-cloning theorem. We investigate the relation between an open quantum system and its probabilistic counterparts obtained when instantiating the input with a specific quantum state. We consider Aczel-Mendler and kernel bisimilarities, advocating for the latter as it characterizes quantum systems that exhibit the same probabilistic behaviour for all input states. Finally, we propose operators on quantum effect labelled transition systems, paving the way for a process calculi semantics that is parametric over the quantum input.<br />In Proceedings ACT 2024, arXiv:2509.18357 |
|---|---|
| ISSN: | 20752180 |
| DOI: | 10.4204/eptcs.429.14 |