1: \begin{abstract}

2: 		Since the seminal work of Venkatakrishnan et

3: 		al.~\cite{venkatakrishnan2013plug} in 2013, \emph{Plug \& Play} (PnP) methods have

4: 		become ubiquitous in Bayesian imaging. These methods derive estimators for inverse problems in imaging by combining an explicit likelihood function with a prior that is implicitly defined by an image denoising algorithm. 

5: 		In the case of optimisation schemes, some recent

6: 		works guarantee the convergence to a fixed point, albeit not necessarily a maximum-a-posteriori Bayesian

7: 		estimate. In the case of Monte Carlo sampling schemes for general Bayesian computation, to the best of our knowledge there

8: 		is no known proof of convergence. Algorithm convergence issues aside, there are important open questions

9: 		regarding whether the underlying Bayesian models and estimators are well

10: 		defined, well-posed, and have the basic regularity properties required to

11: 		support efficient Bayesian computation schemes. This paper develops theory for Bayesian analysis and computation with PnP priors. We introduce  PnP-ULA

12: 		(Plug \& Play Unadjusted Langevin Algorithm) for Monte Carlo sampling and minimum mean squared error

13: 		estimation. Using recent results on the quantitative convergence of Markov

14: 		chains, we establish detailed convergence guarantees for this algorithm

15: 		under realistic assumptions on the denoising operators used, with special

16: 		attention to denoisers based on deep neural networks.  We also show that these

17: 		algorithms approximately target a decision-theoretically optimal Bayesian

18: 		model that is well-posed and meaningful from a frequentist viewpoint. PnP-ULA is demonstrated on several canonical problems such as image deblurring and inpainting, where it is used for point estimation as well as for uncertainty visualisation

19: 		and quantification. 

20: 

21: 	\end{abstract}

22: