1: \begin{abstract}

2: Estimating high-quality images while also quantifying their uncertainty are two desired features in an image reconstruction algorithm for solving ill-posed inverse problems.

3: In this paper, we propose \emph{plug-and-play Monte Carlo (PMC)} as a principled framework for characterizing the space of possible solutions to a general inverse problem.

4: PMC is able to incorporate expressive score-based generative priors for high-quality image reconstruction while also performing uncertainty quantification via posterior sampling.

5: In particular, we develop two PMC algorithms that can be viewed as the sampling analogues of the traditional plug-and-play priors (PnP) and regularization by denoising (RED) algorithms.

6: To improve the sampling efficiency, we introduce weighted annealing into these PMC algorithms, further developing two additional annealed PMC algorithms (APMC).

7: We establish a theoretical analysis for characterizing the convergence behavior of PMC algorithms.

8: Our analysis provides non-asymptotic stationarity guarantees in terms of the Fisher information, fully compatible with the joint presence of weighted annealing, potentially non-log-concave likelihoods, and imperfect score networks.

9: We demonstrate the performance of the PMC algorithms on multiple representative inverse problems with both linear and nonlinear forward models.

10: Experimental results show that PMC significantly improves reconstruction quality and enables high-fidelity uncertainty quantification.

11: \end{abstract}

12: