Stein discrepancy explained

A Stein discrepancy is a statistical divergence between two probability measures that is rooted in Stein's method. It was first formulated as a tool to assess the quality of Markov chain Monte Carlo samplers,^[1] but has since been used in diverse settings in statistics, machine learning and computer science.^[2]

Definition

Let

l{X} be a measurable space and let l{M} be a set of measurable functions of the form m : l{X} → R . A natural notion of distance between two probability distributions P , Q , defined on l{X} , is provided by an integral probability metric^[3] ( 1 . 1 ) d _{l{M} }(P, Q) := \sup_ |\mathbb_[m(X)] - \mathbb_[m(Y)]|,

where for the purposes of exposition we assume that the expectations exist, and that the set

l{M} is sufficiently rich that (1.1) is indeed a metric on the set of probability distributions on l{X} , i.e. d _{l{M} }(P,Q) = 0 if and only if P = Q . The choice of the set l{M} determines the topological properties of (1.1). However, for practical purposes the evaluation of (1.1) requires access to both P and Q , often rendering direct computation of (1.1) impractical. l{A} _{P} and a set l{F} _{P} of real-valued functions in the domain of l{A} _{P} , both of which may be P -dependent, such that for each m \in l{M} there exists a solution f _{m} \in l{F} _{P} to the Stein equation( 1 . 2 ) m(x) - E _{X} [m(X)] = l{A} _{P} f _{m(x)} .

The operator

l{A} _{P} is termed a Stein operator and the set l{F} _{P} is called a Stein set. Substituting (1.2) into (1.1), we obtain an upper boundd _{l{M} }(P, Q) = \sup_ |\mathbb_[m(Y) - \mathbb{E}_{X \sim P}[m(X)] ]|= \sup_ |\mathbb_[\mathcal{A}_{P} f_m(Y) ]| \leq \sup_ |\mathbb_[\mathcal{A}_{P} f(Y)]| .This resulting boundD _{P(Q)} : = \sup _{f} _{P}} | E _{Y} [ l{A} _{P} f(Y)]|

is called a Stein discrepancy. In contrast to the original integral probability metric

d _{l{M} }(P, Q), it may be possible to analyse or compute D _{P} (Q) using expectations only with respect to the distribution Q .

Examples

Several different Stein discrepancies have been studied, with some of the most widely used presented next.

Classical Stein discrepancy

For a probability distribution

P with positive and differentiable density function p on a convex set l{X} \subseteq R ^{d} , whose boundary is denoted \partial l{X} , the combination of the Langevin–Stein operator l{A} _{P} f = \nabla ⋅ f + f ⋅ \nabla log p and the classical Stein setl{F} _{P} = \left\{ f : l{X} → R ^{d} l \vert \sup _{x} max \left( \|f(x)\| , \|\nabla f(x) \|, (\|\nabla f(x) - \nabla f(y) \|)/(\|x - y\|) \right) \leq 1 , \langle f(x) , n(x) \rangle = 0 \forall x \in \partial l{X} \right\}

yields the classical Stein discrepancy. Here

\| ⋅ \| denotes the Euclidean norm and \langle ⋅ , ⋅ \rangle the Euclidean inner product. Here \| M \| = style \sup _{v \in R ^{d,} \|v\| =1} \|Mv\| is the associated operator norm for matrices M \in \R ^{d} , and n(x) denotes the outward unit normal to \partial l{X} at location x \in \partial l{X} . If l{X} = \R ^{d} then we interpret \partial l{X} = \emptyset .

In the univariate case

d =1 , the classical Stein discrepancy can be computed exactly by solving a quadratically constrained quadratic program.

Graph Stein discrepancy

The first known computable Stein discrepancies were the graph Stein discrepancies (GSDs). Given a discrete distribution

Q = style \sum ^{n} _{i =1} w _{i} \delta(x _{i)} , one can define the graph G with vertex set V = \{x _{1,} ... , x _{n\}} and edge set E \subseteq V x V . From this graph, one can define the graph Stein set as\begin{align} l{F} _{P} = \ { f : l{X} → R ^{d} & l \vert max \left(\|f(v)\| _{infty,} \|\nabla f(v)\| _{infty,} { style (\|f(x)-f(y)\| _{infty})/(\|x-y\| _{1}) }, \right) \le 1, \\[8pt] &,, \; \forall v \in \operatorname(Q_n), (x,y)\in E \Big\}. \endThe combination of the Langevin–Stein operator and the graph Stein set is called the graph Stein discrepancy (GSD).The GSD is actually the solution of a finite-dimensional linear program, with the size of E as low as linear in n , meaning that the GSD can be efficiently computed.

Kernel Stein discrepancy

The supremum arising in the definition of Stein discrepancy can be evaluated in closed form using a particular choice of Stein set. Indeed, let

l{F} _{P} = \{f \in H(K) : \|f\| _{H(K)} \leq 1 \} be the unit ball in a (possibly vector-valued) reproducing kernel Hilbert space H(K) with reproducing kernel K , whose elements are in the domain of the Stein operator l{A} _{P} . Suppose that

• For each fixed

x \in l{X} , the map f \mapsto l{A} _{P[f](x)} is a continuous linear functional on l{F} _{P} .E _{X} [ l{A} _{P} l{A} _{P'} K(X,X) ] < inf ty .

where the Stein operator

l{A} _{P} acts on the first argument of K( ⋅ , ⋅ ) and l{A} _{P'} acts on the second argument. Then it can be shown^[4] thatD _{P(Q)} = \sqrt{ E _{X,X'} [ l{A} _{P} l{A} _{P'} K(X,X') ] } ,where the random variables X and X' in the expectation are independent. In particular, if $Q\; =\; \backslash sum\_^n\; w\_i\; \backslash delta(x\_i)$ is a discrete distribution on l{X} , then the Stein discrepancy takes the closed formD _{P(Q)} = \sqrt{ \sum ^{n} _{i =1} \sum ^{n} _{j =1} w _{i} w _{j} l{A} _{P} l{A} _{P'} K(x _{i,x} _{j)} }.

A Stein discrepancy constructed in this manner is called a kernel Stein discrepancy^{[5] [6] [7] [8]} and the construction is closely connected to the theory of kernel embedding of probability distributions.

Let

k : l{X} x l{X} → R be a reproducing kernel. For a probability distribution P with positive and differentiable density function p on l{X} = \R ^{d} , the combination of the Langevin--Stein operator l{A} _{P} f = \nabla ⋅ f + f ⋅ \nabla log p and the Stein set l{F} _{P} = \left\{f \in H(k) x ... x H(k) : \sum ^{d} _{i =1} \|f _{i\|} ^{2} ^{H(k)} \leq 1 \right\},

associated to the matrix-valued reproducing kernel

K(x,x') = k(x,x') I _{d} , yields a kernel Stein discrepancy withl{A} _{P} l{A} _{P'} K(x,x') = \nabla _{x} ⋅ \nabla _{x'} k(x,x') + \nabla _{x} k(x,x') ⋅ \nabla _{x'} log p(x') + \nabla _{x'} k(x,x') ⋅ \nabla _{x} log p(x) + k(x,x') \nabla _{x} log p(x) ⋅ \nabla _{x'} log p(x')

where

\nabla _{x} (resp. \nabla _{x'} ) indicated the gradient with respect to the argument indexed by x (resp. x' ).

Concretely, if we take the inverse multi-quadric kernel

k(x,x') = ( 1 + (x - x') ^{\top} \Sigma ^{-1} (x - x') ) ^{-\beta} with parameters \beta > 0 and \Sigma \in R ^{d} a symmetric positive definite matrix, and if we denote u(x) = \nabla log p(x) , then we have( 2 . 1 ) l{A} _{P} l{A} _{P'} K(x,x') = - (4 \beta (\beta +1 ) (x - x') ^{\top} \Sigma ^{-2} (x - x'))/(\left( 1+ (x - x') ^{\top} \Sigma ^{-1} (x - x') \right) ^{\beta}) + 2 \beta \left[ (tr (\Sigma ^{-1} ) + [u(x) - u(x')] ^{\top} \Sigma ^{-1} (x - x'))/(\left( 1+ (x - x') ^{\top} \Sigma ^{-1} (x - x') \right) ^{1+\beta}) \right] + (u(x) ^{\top} u(x'))/(\left( 1+ (x - x') ^{\top} \Sigma ^{-1} (x - x') \right) ^{\beta}) .

Diffusion Stein discrepancy

Diffusion Stein discrepancies^[9] generalize the Langevin Stein operator

l{A} _{P} f = \nabla ⋅ f + f ⋅ \nabla log p = style (1)/(p) \nabla ⋅ (f p) to a class of diffusion Stein operators l{A} _{P} f = style (1)/(p) \nabla ⋅ (m f p) , each representing an Itô diffusion that has P as its stationary distribution.Here, m is a matrix-valued function determined by the infinitesimal generator of the diffusion.

Other Stein discrepancies

Additional Stein discrepancies have been developed for constrained domains,^[10] non-Euclidean domains^{[11] [12]} , discrete domains,^{[13] [14]} improved scalability.^{[15] [16]}, and gradient-free Stein discrepancies where derivatives of the density

p are circumvented.^[17]

Properties

The flexibility in the choice of Stein operator and Stein set in the construction of Stein discrepancy precludes general statements of a theoretical nature. However, much is known about the particular Stein discrepancies.

Computable without the normalisation constant

Stein discrepancy can sometimes be computed in challenging settings where the probability distribution

P admits a probability density function p (with respect to an appropriate reference measure on l{X} ) of the form p(x) =style (1)/(Z) \tilde{p}(x) , where \tilde{p}(x) and its derivative can be numerically evaluated but whose normalisation constant Z is not easily computed or approximated. Considering (2.1), we observe that the dependence of l{A} _{P} l{A} _{P} K(x,x') on P occurs only through the term u(x) = \nabla log p(x) = \nabla log \left( (\tilde{p)/((x)}{Z}) \right) = \nabla log \tilde{p}(x) - \nabla log Z = \nabla log \tilde{p}(x)

which does not depend on the normalisation constant

Z .

Stein discrepancy as a statistical divergence

A basic requirement of Stein discrepancy is that it is a statistical divergence, meaning that

D _{P(Q)} \geq 0 and D _{P(Q)} = 0 if and only if Q = P . This property can be shown to hold for classical Stein discrepancy and kernel Stein discrepancy a provided that appropriate regularity conditions hold.

Convergence control

A stronger property, compared to being a statistical divergence, is convergence control, meaning that

D _{P(Q} _{n)} → 0 implies Q _{n} converges to P in a sense to be specified. For example, under appropriate regularity conditions, both the classical Stein discrepancy and graph Stein discrepancy enjoy Wasserstein convergence control, meaning that D _{P(Q} _{n)} → 0 implies that the Wasserstein metric between Q _{n} and P converges to zero.^[18] For the kernel Stein discrepancy, weak convergence control has been established^[19] under regularity conditions on the distribution P and the reproducing kernel K , which are applicable in particular to (2.1). Other well-known choices of K , such as based on the Gaussian kernel, provably do not enjoy weak convergence control.

Convergence detection

The converse property to convergence control is convergence detection, meaning that

D _{P(Q} _{n)} → 0 whenever Q _{n} converges to P in a sense to be specified. For example, under appropriate regularity conditions, classical Stein discrepancy enjoys a particular form of mean square convergence detection, meaning that D _{P(Q} _{n)} → 0 whenever X _{n} \sim Q _{n} converges in mean-square to X \sim P and \nabla log p(X _{m)} converges in mean-square to \nabla log p(X) . For kernel Stein discrepancy, Wasserstein convergence detection has been established, under appropriate regularity conditions on the distribution P and the reproducing kernel K .

Applications of Stein discrepancy

Several applications of Stein discrepancy have been proposed, some of which are now described.

Optimal quantisation

Given a probability distribution

P defined on a measurable space l{X} , the quantization task is to select a small number of states x _{1,...,x} _{n} \in l{X} such that the associated discrete distribution $Q^n\; =\; \backslash frac\; \backslash sum\_^n\; \backslash delta(x\_i)$ is an accurate approximation of P in a sense to be specified.

Stein points are the result of performing optimal quantisation via minimisation of Stein discrepancy:

( 3 . 1 ) \underset{x _{1,...,x} _{n} \in l{X}}{\operatorname{argmin}} D _{P} \left( (1)/(n) \sum ^{n} _{i =1} \delta(x _{i)} \right)

Under appropriate regularity conditions, it can be shown that

D ^{n)} _{P(Q} → 0 as n → inf ty . Thus, if the Stein discrepancy enjoys convergence control, it follows that Q ^{n} converges to P . Extensions of this result, to allow for imperfect numerical optimisation, have also been derived.^{[20] [21]}

Sophisticated optimisation algorithms have been designed to perform efficient quantisation based on Stein discrepancy, including gradient flow algorithms that aim to minimise kernel Stein discrepancy over an appropriate space of probability measures.^[22]

Optimal weighted approximation

If one is allowed to consider weighted combinations of point masses, then more accurate approximation is possible compared to (3.1). For simplicity of exposition, suppose we are given a set of states

\{x _{i\}} ^{n} ^{i =1} \subset l{X} . Then the optimal weighted combination of the point masses \delta(x _{i)} , i.e.Q _{n} : = \sum ^{n} _{i =1} w ^{*} _{i} \delta(x _{i),} w ^{*} \in \underset{w _{1} + … + w _{n} = 1 }{\operatorname{argmin}} D _{P\left(} \sum ^{n} _{i =1} w _{i} \delta(x _{i)} \right), which minimise Stein discrepancy can be obtained in closed form when a kernel Stein discrepancy is used. Some authors^{[23] [24]} consider imposing, in addition, a non-negativity constraint on the weights, i.e. w _{i} \geq 0 . However, in both cases the computation required to compute the optimal weights w ^{*} can involve solving linear systems of equations that are numerically ill-conditioned. Interestingly, it has been shown that greedy approximation of Q _{n} using an un-weighted combination of m \ll n states can reduce this computational requirement. In particular, the greedy Stein thinning algorithmQ _{n,m} : = (1)/(m) \sum ^{m} _{i =1} \delta(x _{\pi(i)} ), \pi(m) \in \underset{j =1 , ... ,n}{\operatorname{argmin}} D _{P\left(} (1)/(m) \sum ^{m -1} _{i =1} \delta(x _{\pi(i)} ) + (1)/(m) \delta(x _{j)} \right) has been shown to satisfy an error boundD _{P(Q} _{n,m} ) = D _{P(Q} _{n)} + O\left(\sqrt{ (log m)/(m) } \right).

Non-myopic and mini-batch generalisations of the greedy algorithm have been demonstrated^[25] to yield further improvement in approximation quality relative to computational cost.

Variational inference

Stein discrepancy has been exploited as a variational objective in variational Bayesian methods.^{[26] [27]} Given a collection

\{Q _{\theta\}} _{\theta} of probability distributions on l{X} , parametrised by \theta \in \Theta , one can seek the distribution in this collection that best approximates a distribution P of interest:\underset{\theta \in \Theta}{\operatorname{argmin}} D _{P(Q} _{\theta)}

A possible advantage of Stein discrepancy in this context, compared to the traditional Kullback–Leibler variational objective, is that

Q _{\theta} need not be absolutely continuous with respect to P in order for D _{P(Q} _{\theta)} to be well-defined. This property can be used to circumvent the use of flow-based generative models, for example, which impose diffeomorphism constraints in order to enforce absolute continuity of Q _{\theta} and P .

Statistical estimation

Stein discrepancy has been proposed as a tool to fit parametric statistical models to data. Given a dataset

\{x _{i\}} ^{n} ^{i =1} \subset l{X} , consider the associated discrete distribution Q ^{n} =style (1)/(n) \sum ^{n} _{i =1} \delta(x _{i)} . For a given parametric collection \{P _{\theta\}} _{\theta} of probability distributions on l{X} , one can estimate a value of the parameter \theta which is compatible with the dataset using a minimum Stein discrepancy estimator^[28] \underset{\theta \in \Theta}{\operatorname{argmin}} D _{P _{\theta}} (Q ^{n).} The approach is closely related to the framework of minimum distance estimation, with the role of the "distance" being played by the Stein discrepancy. Alternatively, a generalised Bayesian approach to estimation of the parameter \theta can be considered where, given a prior probability distribution with density function \pi(\theta) , \theta \in \Theta , (with respect to an appropriate reference measure on \Theta ), one constructs a generalised posterior with probability density function\pi ^{n(\theta)} \propto \pi(\theta) \exp\left( - \gamma D _{P _{\theta}} (Q ^{n)} ^{2} \right) , for some \gamma > 0 to be specified or determined.

Hypothesis testing

The Stein discrepancy has also been used as a test statistic for performing goodness-of-fit testing and comparing latent variable models.^[29] Since the aforementioned tests have a computational cost quadratic in the sample size, alternatives have been developed with (near-)linear runtimes.^[30]

See also

• Stein's method
• Divergence (statistics)

Notes and References

1. J. Gorham and L. Mackey. Measuring Sample Quality with Stein's Method. Advances in Neural Information Processing Systems, 2015.
2. Anastasiou, A., Barp, A., Briol, F-X., Ebner, B., Gaunt, R. E., Ghaderinezhad, F., Gorham, J., Gretton, A., Ley, C., Liu, Q., Mackey, L., Oates, C. J., Reinert, G. & Swan, Y. (2021). Stein’s method meets statistics: A review of some recent developments. arXiv:2105.03481.
3. Müller. Alfred. 1997. Integral Probability Metrics and Their Generating Classes of Functions. Advances in Applied Probability. en. 29. 2. 429–443. 10.2307/1428011. 0001-8678.
4. Mastubara, T., Knoblauch, J., Briol, F-X., Oates, C. J. Robust Generalised Bayesian Inference for Intractable Likelihoods. arXiv:2104.07359.
5. Oates, C. J., Girolami, M., & Chopin, N. (2017). Control functionals for Monte Carlo integration. Journal of the Royal Statistical Society B: Statistical Methodology, 79(3), 695–718.
6. Liu, Q., Lee, J. D., & Jordan, M. I. (2016). A kernelized Stein discrepancy for goodness-of-fit tests and model evaluation. International Conference on Machine Learning, 276–284.
7. Chwialkowski, K., Strathmann, H., & Gretton, A. (2016). A kernel test of goodness of fit. International Conference on Machine Learning, 2606–2615.
8. Gorham J, Mackey L. Measuring sample quality with kernels. International Conference on Machine Learning 2017 Jul 17 (pp. 1292-1301). PMLR.
9. Gorham, J., Duncan, A. B., Vollmer, S. J., & Mackey, L. (2019). Measuring sample quality with diffusions. The Annals of Applied Probability, 29(5), 2884-2928.
10. Shi, J., Liu, C., & Mackey, L. (2021). Sampling with Mirrored Stein Operators. arXiv preprint arXiv:2106.12506
11. Barp A, Oates CJ, Porcu E, Girolami M. A Riemann-Stein kernel method. arXiv preprint arXiv:1810.04946. 2018.
12. Xu W, Matsuda T. Interpretable Stein Goodness-of-fit Tests on Riemannian Manifolds. In ICML 2021.
13. Yang J, Liu Q, Rao V, Neville J. Goodness-of-fit testing for discrete distributions via Stein discrepancy. In ICML 2018 (pp. 5561-5570). PMLR.
14. Shi J, Zhou Y, Hwang J, Titsias M, Mackey L. Gradient Estimation with Discrete Stein Operators. arXiv preprint arXiv:2202.09497. 2022.
15. Huggins JH, Mackey L. Random Feature Stein Discrepancies. In NeurIPS 2018.
16. Gorham J, Raj A, Mackey L. Stochastic Stein Discrepancies. In NeurIPS 2020.
17. Fisher M, Oates CJ. Gradient-Free Kernel Stein Discrepancy. arXiv preprint arXiv:2207.02636. 2022.
18. Mackey, L., & Gorham, J. (2016). Multivariate Stein factors for a class of strongly log-concave distributions. Electronic Communications in Probability, 21, 1-14.
19. Chen WY, Mackey L, Gorham J, Briol FX, Oates CJ. Stein points. In International Conference on Machine Learning 2018 (pp. 844-853). PMLR.
20. Chen WY, Barp A, Briol FX, Gorham J, Girolami M, Mackey L, Oates CJ. Stein Point Markov Chain Monte Carlo. International Conference on Machine Learning (ICML 2019).
21. Riabiz M, Chen W, Cockayne J, Swietach P, Niederer SA, Mackey L, Oates CJ. Optimal thinning of MCMC output. Journal of the Royal Statistical Society B: Statistical Methodology, to appear. 2021.
22. Korba A, Aubin-Frankowski PC, Majewski S, Ablin P. "Kernel Stein Discrepancy Descent." arXiv preprint . 2021.
23. Liu Q, Lee J. Black-box importance sampling. In Artificial Intelligence and Statistics 2017 (pp. 952-961). PMLR.
24. Hodgkinson L, Salomone R, Roosta F. The reproducing Stein kernel approach for post-hoc corrected sampling. arXiv preprint arXiv:2001.09266. 2020.
25. Teymur O, Gorham J, Riabiz M, Oates CJ. Optimal quantisation of probability measures using maximum mean discrepancy. In International Conference on Artificial Intelligence and Statistics 2021 (pp. 1027-1035). PMLR.
26. Ranganath R, Tran D, Altosaar J, Blei D. Operator variational inference. Advances in Neural Information Processing Systems. 2016;29:496-504.
27. Fisher M, Nolan T, Graham M, Prangle D, Oates CJ. Measure transport with kernel Stein discrepancy. International Conference on Artificial Intelligence and Statistics 2021 (pp. 1054-1062). PMLR.
28. Barp, A., Briol, F.-X., Duncan, A. B., Girolami, M., & Mackey, L. (2019). Minimum Stein discrepancy estimators. Neural Information Processing Systems, 12964–12976.
29. Kanagawa, H., Jitkrittum, W., Mackey, L., Fukumizu, K., & Gretton, A. (2019). A kernel Stein test for comparing latent variable models. arXiv preprint arXiv:1907.00586.
30. Jitkrittum W, Xu W, Szabó Z, Fukumizu K, Gretton A. A Linear-Time Kernel Goodness-of-Fit Test.