We provide the first convergence guarantee for full black-box variational inference (BBVI), also known as Monte Carlo variational inference. While preliminary investigations worked on simplified versions of BBVI (e.g., bounded domain, bounded support, only optimizing for the scale, and such), our setup does not need any such algorithmic modifications. Our results hold for log-smooth posterior densities with and without strong log-concavity and the location-scale variational family. Also, our analysis reveals that certain algorithm design choices commonly employed in practice, particularly, nonlinear parameterizations of the scale of the variational approximation, can result in suboptimal convergence rates. Fortunately, running BBVI with proximal stochastic gradient descent fixes these limitations, and thus achieves the strongest known convergence rate guarantees. We evaluate this theoretical insight by comparing proximal SGD against other standard implementations of BBVI on large-scale Bayesian inference problems.

翻译：本文首次为完整黑箱变分推断（也称蒙特卡洛变分推断）提供了收敛性保证。尽管已有研究专注于简化版本的BBVI（如有界域、有界支撑、仅优化尺度等），但我们的设置无需任何此类算法修改。我们的结论适用于对数光滑后验密度（无论是否满足强对数凹性）以及位置-尺度变分族。此外，我们的分析揭示，实践中常用的某些算法设计选择（特别是变分近似尺度的非线性参数化）可能导致次优收敛速率。幸运的是，采用近端随机梯度下降法运行BBVI可消除上述局限，从而获得已知最强的收敛速率保证。我们通过在大规模贝叶斯推断问题中将近端SGD与其他标准BBVI实现进行对比，验证了这一理论见解。