Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2504.20732 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866913812289945600 |
|---|---|
| author | Gehnen, Christina Unruh, Dominique Katoen, Joost-Pieter |
| author_facet | Gehnen, Christina Unruh, Dominique Katoen, Joost-Pieter |
| contents | Conditioning is a key feature in probabilistic programming to enable modeling the influence of data (also known as observations) to the probability distribution described by such programs. Determining the posterior distribution is also known as Bayesian inference. This paper equips a quantum while-language with conditioning, defines its denotational and operational semantics over infinite-dimensional Hilbert spaces, and shows their equivalence. We provide sufficient conditions for the existence of weakest (liberal) precondition-transformers and derive inductive characterizations of these transformers. It is shown how w(l)p-transformers can be used to assess the effect of Bayesian inference on (possibly diverging) quantum programs. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2504_20732 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Bayesian Inference in Quantum Programs Gehnen, Christina Unruh, Dominique Katoen, Joost-Pieter Logic in Computer Science Quantum Physics Conditioning is a key feature in probabilistic programming to enable modeling the influence of data (also known as observations) to the probability distribution described by such programs. Determining the posterior distribution is also known as Bayesian inference. This paper equips a quantum while-language with conditioning, defines its denotational and operational semantics over infinite-dimensional Hilbert spaces, and shows their equivalence. We provide sufficient conditions for the existence of weakest (liberal) precondition-transformers and derive inductive characterizations of these transformers. It is shown how w(l)p-transformers can be used to assess the effect of Bayesian inference on (possibly diverging) quantum programs. |
| title | Bayesian Inference in Quantum Programs |
| topic | Logic in Computer Science Quantum Physics |
| url | https://arxiv.org/abs/2504.20732 |