Bayesian Inference in Quantum Programs

• URL: http://arxiv.org/abs/2504.20732v1
• Date: Tue, 29 Apr 2025 13:15:54 GMT
• Title: Bayesian Inference in Quantum Programs
• Authors: Christina Gehnen, Dominique Unruh, Joost-Pieter Katoen,
• Abstract summary: This paper equips a quantum while-language with conditioning.<n>It defines its denotational and operational semantics over infinite-dimensional Hilbert spaces.<n>It is shown how w(l)p-transformers can be used to assess the effect of Bayesian inference on (possibly diverging) quantum programs.
• Score: 0.21847754147782888
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: 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.

Related papers

• Variational Transformer Ansatz for the Density Operator of Steady States in Dissipative Quantum Many-Body Systems [44.598178952679575]
  We propose the transformer density operator ansatz for determining the steady states of dissipative quantum many-body systems. We demonstrate the effectiveness of our approach by numerically calculating the steady states of dissipative Ising and Heisenberg spin chain models.
  arXiv  Detail & Related papers  (2025-02-28T05:12:43Z)
• Embezzling entanglement from quantum fields [41.94295877935867]
  Embezzlement of entanglement refers to the counterintuitive possibility of extracting entangled quantum states from a reference state of an auxiliary system. We uncover a deep connection between the operational task of embezzling entanglement and the mathematical classification of von Neumann algebras.
  arXiv  Detail & Related papers  (2024-01-14T13:58:32Z)
• Refinement calculus of quantum programs with projective assertions [5.151896714190243]
  This paper introduces a refinement calculus tailored for quantum programs. We first study the partial correctness of nondeterministic programs within a quantum. We also present their semantics in transforming a postcondition to the weakest liberal postconditions.
  arXiv  Detail & Related papers  (2023-11-23T22:12:57Z)
• Quantum Conformal Prediction for Reliable Uncertainty Quantification in Quantum Machine Learning [47.991114317813555]
  Quantum models implement implicit probabilistic predictors that produce multiple random decisions for each input through measurement shots. This paper proposes to leverage such randomness to define prediction sets for both classification and regression that provably capture the uncertainty of the model.
  arXiv  Detail & Related papers  (2023-04-06T22:05:21Z)
• Quantum Bayesian Inference in Quasiprobability Representations [0.0]
  Bayes' rule plays a crucial piece of logical inference in information and physical sciences alike. quantum versions of Bayes' rule have been expressed in the language of Hilbert spaces.
  arXiv  Detail & Related papers  (2023-01-05T08:16:50Z)
• Filter functions for the Glauber-Sudarshan $P$-function regularization [0.0]
  We study filter functions that are introduced to regularize the Glauber-Sudarshan $P$ function. We show that the quantum map associated with a filter function is completely positive and trace preserving. We propose applications of our results for estimating the output state of an unknown quantum process.
  arXiv  Detail & Related papers  (2022-06-11T19:29:22Z)
• The vacuum provides quantum advantage to otherwise simulatable architectures [49.1574468325115]
  We consider a computational model composed of ideal Gottesman-Kitaev-Preskill stabilizer states. We provide an algorithm to calculate the probability density function of the measurement outcomes.
  arXiv  Detail & Related papers  (2022-05-19T18:03:17Z)
• Stochastic approximate state conversion for entanglement and general quantum resource theories [41.94295877935867]
  An important problem in any quantum resource theory is to determine how quantum states can be converted into each other. Very few results have been presented on the intermediate regime between probabilistic and approximate transformations. We show that these bounds imply an upper bound on the rates for various classes of states under probabilistic transformations. We also show that the deterministic version of the single copy bounds can be applied for drawing limitations on the manipulation of quantum channels.
  arXiv  Detail & Related papers  (2021-11-24T17:29:43Z)
• Bosonic field digitization for quantum computers [62.997667081978825]
  We address the representation of lattice bosonic fields in a discretized field amplitude basis. We develop methods to predict error scaling and present efficient qubit implementation strategies.
  arXiv  Detail & Related papers  (2021-08-24T15:30:04Z)
• Facial Expression Recognition on a Quantum Computer [68.8204255655161]
  We show a possible solution to facial expression recognition using a quantum machine learning approach. We define a quantum circuit that manipulates the graphs adjacency matrices encoded into the amplitudes of some appropriately defined quantum states.
  arXiv  Detail & Related papers  (2021-02-09T13:48:00Z)
• Quasi-probability distributions in Loop Quantum Cosmology [0.0]
  We introduce a complete family of parametrized quasi-probability distributions in phase space and their corresponding Weyl quantization maps. We expect our results may serve to analyze several fundamental aspects within the Loop Quantum Cosmology program.
  arXiv  Detail & Related papers  (2020-07-02T18:05:32Z)
• Efficient simulatability of continuous-variable circuits with large Wigner negativity [62.997667081978825]
  Wigner negativity is known to be a necessary resource for computational advantage in several quantum-computing architectures. We identify vast families of circuits that display large, possibly unbounded, Wigner negativity, and yet are classically efficiently simulatable. We derive our results by establishing a link between the simulatability of high-dimensional discrete-variable quantum circuits and bosonic codes.
  arXiv  Detail & Related papers  (2020-05-25T11:03:42Z)
• Variational Inference as Iterative Projection in a Bayesian Hilbert Space with Application to Robotic State Estimation [14.670851095242451]
  Variational Bayesian inference is an important machine-learning tool that finds application from statistics to robotics. We show that variational inference based on KL divergence can amount to iterative projection, in the Euclidean sense, of the Bayesian posterior onto a subspace corresponding to the selected approximation family.
  arXiv  Detail & Related papers  (2020-05-14T21:33:31Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.