Evaluating probabilistic programming languages for simulating quantum correlations

  title={Evaluating probabilistic programming languages for simulating quantum correlations},
  author={Abdul Karim Obeid and Peter Bruza and Peter Wittek},
  journal={PLoS ONE},
This article explores how probabilistic programming can be used to simulate quantum correlations in an EPR experimental setting. Probabilistic programs are based on standard probability which cannot produce quantum correlations. In order to address this limitation, a hypergraph formalism was programmed which both expresses the measurement contexts of the EPR experimental design as well as associated constraints. Four contemporary open source probabilistic programming frameworks were used to… 
1 Citations

Figures and Tables from this paper

Probabilistic Programs for Investigating Contextuality in Human Information Processing

This article presents a framework for analysing contextuality in human information processing and aims to provide a convenient means of designing experiments and performing contextuality analysis in order to ascertain whether this speculation holds.



Modelling contextuality by probabilistic programs with hypergraph semantics

  • P. Bruza
  • Computer Science
    Theor. Comput. Sci.
  • 2018

Non-Markovian quantum processes: Complete framework and efficient characterization

It is shown how a multi-time non-Markovian process can be reconstructed experimentally, and that it has a natural representation as a many body quantum state, where temporal correlations are mapped to spatial ones.

Probabilistic programming

This paper describes connections this research area called ``Probabilistic Programming" has with programming languages and software engineering, and this includes language design, and the static and dynamic analysis of programs.

Theoretical framework for quantum networks

We present a framework to treat quantum networks and all possible transformations thereof, including as special cases all possible manipulations of quantum states, measurements, and channels, such

Church: a language for generative models

This work introduces Church, a universal language for describing stochastic generative processes, based on the Lisp model of lambda calculus, containing a pure Lisp as its deterministic subset.

A Combinatorial Approach to Nonlocality and Contextuality

AbstractSo far, most of the literature on (quantum) contextuality and the Kochen–Specker theorem seems either to concern particular examples of contextuality, or be considered as quantum logic. Here,

Quantum correlations with no causal order

It is shown that in a classical limit causal order always arises, which suggests that space-time may emerge from a more fundamental structure in a quantum-to-classical transition.

On the Einstein-Podolsky-Rosen paradox

THE paradox of Einstein, Podolsky and Rosen [1] was advanced as an argument that quantum mechanics could not be a complete theory but should be supplemented by additional variables. These additional

Probabilistic programming in Python using PyMC3

This paper is a tutorial-style introduction to PyMC3, a new open source Probabilistic Programming framework written in Python that uses Theano to compute gradients via automatic dierentiation as well as compile probabilistic programs on-the-fly to C for increased speed.

Operational Markov Condition for Quantum Processes.

This work derives a necessary and sufficient condition for a quantum process to be Markovian which coincides with the classical one in the relevant limit, and derives a family of measures of non-Markovianity with clear operational interpretations.