Stein’s Method of Moments on the Sphere

Abstract

We use Stein characterizations to obtain new moment-type estimators for the parameters of three classical spherical distributions (namely the Fisher-Bingham, the von Mises-Fisher, and the Watson distributions) in the i.i.d. case. This leads to explicit estimators which have good asymptotic properties (close to efficiency) and therefore lead to interesting alternatives to classical maximum likelihood methods or more recent score matching estimators. We perform competitive simulation studies to assess the quality of the new estimators. Finally, the practical relevance of our estimators is illustrated on a real data application in spherical latent representations of handwritten numbers.

Keywords: Point estimation; Stein’s method; Spherical distributions; Fisher-Bingham distribution; Autoencoder

1 Introduction

Directional statistics is the branch of statistics that deals with data that comes in the form of angles, directions, coordinates, etc. Areas of application which have driven the research in this field include astronomy [12, 13, 15, 26], bioinformatics [2, 9, 28, 43], ecology [1, 35, 46], and machine learning [4, 18, 53, 56]. This list is by no means exhaustive and we refer to the monographs [11, 40, 44, 50] and surveys [14, 42, 49] for more applications and references.

At the heart of directional statistics are probability distributions on the hyperspheres $\mathcal{S}^{d-1}:=\{x\in\mathbb{R}^{d}\mbox{ such that }x^{\top}x=1\}$ of $\mathbb{R}^{d}$ for $d\geq 2$. One of the most important families of such distributions is the so-called Fisher-Bingham family which is obtained by conditioning a multivariate normal distribution to lie on a $d$-dimensional hypersphere. This family is characterized by the probability density function (pdf)

$$p_{\theta}(x)=\frac{1}{C(\mu,A)}\exp\big{(}\mu^{\top}x+x^{\top}Ax\big{)},\quad x\in\mathcal{S}^{d-1},$$

where $\theta=(\mu,A)$ with $\mu\in\mathbb{R}^{d}$ and $A\in\mathbb{R}^{d\times d}$ symmetric, $C(\mu,A)=\int_{\mathcal{S}^{d-1}}\exp(\mu^{\top}x+x^{\top}Ax)\sigma_{d-1}(dx)$ is the normalising constant and, here and throughout, densities on $\mathcal{S}^{d-1}$ are taken with respect to the surface area measure $\sigma_{d-1}$ on $\mathcal{S}^{d-1}$. The Fisher-Bingham family includes the Watson distribution with density $p_{\theta}(x)\propto\exp\big{(}\kappa(\mu^{\top}x)^{2}\big{)}$ and the von Mises-Fisher distribution (vMF) with density $p_{\theta}(x)\propto\exp\big{(}\kappa\mu^{\top}x\big{)}$ (dubbed “the most important distribution in directional data analysis” by [41]).

The normalising constant for the vMF and Watson distributions can be written in terms of special functions (gamma, modified Bessel, confluent hypergeometric); for general parameters the normalising constant $C(\mu,A)$ of Fisher-Bingham distributions is not known in closed form. Numerical computation of this normalising constant is numerically unstable and computationally heavy, especially in a high-dimensional setting. Consequently, maximum likelihood estimation of the parameters of these distributions requires develo** fast and reliable numerical procedures for evaluating the normalizing constants. See e.g. [5, 22, 23, 52, 55] for estimation of the parameters of vMF distribution, [8, 54] for those of the Watson distribution, and [4, 32, 33, 34] for those of the Fisher-Bingham family of distribution. A natural alternative to maximum likelihood methods is the score matching approach [24, 25], which is famously applicable to unnormalized models. This approach was extended to manifolds (and thus also hyperspheres) in [45, 57]. However, in concrete examples the resulting estimators still have to be computed via numerical optimization which can be a problem for distributions on the hypersphere such as the Fisher-Bingham family where the dimension of the parameter space grows quadratically with the dimension of the data. Hence, for more complicated models, the score matching approach is often applied to settings where some of the parameters are assumed to be known or can be estimated through other techniques.

In this paper, we pursue a different approach based on Stein identities for spherical distribution. Our work is an extension of [10] in which the authors used the characterising property of Stein operators to perform parameter estimation in univariate parametric models. We quickly sketch the approach in a multivariate (Euclidean) setting. Let $X$ be a random vector that lives in $\mathbb{R}^{d}$ and admits a differentiable probability density function (pdf) $p_{\theta}$ which depends on a parameter $\theta\in\Theta\subset\mathbb{R}^{p}$. Then define the density approach [38, 39, 47] Stein operator as

$$\mathcal{A}_{\theta}f(x)=\frac{\nabla\big{(}f(x)p_{\theta}(x)\big{)}}{p_{\theta}(x)},$$ (1)

where $f:\mathbb{R}^{d}\rightarrow\mathbb{R}$ is a differentiable test function. Operator (1) does not depend on the normalising constant of $p_{\theta}$ and, crucially, satisfies

$$\mathbb{E}[\mathcal{A}_{\theta}f(X)]=0$$ (2)

for all functions $f:\mathbb{R}^{d}\to\mathbb{R}$ belonging to a wide (and explicit) class $\mathscr{F}_{\theta}$. We call (2) a Stein identity for $p_{\theta}$. Under general assumptions on $p_{\theta}$, by some appropriate law of large numbers it should then be the case that, with $X_{1},\ldots,X_{n}$ an i.i.d. sample from $p_{\theta}$, $\overline{\mathcal{A}_{\theta}f(X)}:=n^{-1}\sum_{i=1}^{n}\mathcal{A}_{\theta}f(X_{i})\approx 0$ in probability for $n$ sufficiently large and any $f\in\mathscr{F}_{\theta}$. Hence for a $p$-dimensional parameter $\theta\in\Theta\subset\mathbb{R}^{p}$, fixing $p$ test functions $f_{1},\ldots,f_{p}$ in $\mathscr{F}=\cap_{\theta\in\Theta}\mathscr{F}_{\theta}$ and solving for $\theta$ the system of $p$ equations in $p$ unknowns

$$\overline{\mathcal{A}_{\theta}f_{j}(X)}=0\mbox{ for all }j=1,\ldots,p$$ (3)

leads to a moment type estimator for $\theta$, which we call a Stein estimator. We call (3) the empirical Stein equation, and the whole approach Stein’s method of moments.

The purpose of this paper is to develop Stein’s method of moments on hyperspheres. To this end, we need a suitable counterpart to (1) and (2). Before specialising to spheres, let $\mathcal{M}$ be a smooth compact $(d-1)$-dimensional sub-manifold of $\mathbb{R}^{d}$ (with or without boundary) equipped with the Riemannian metric $\langle\cdot,\cdot\rangle_{\mathcal{M}}$ and let $p_{\theta}:\mathcal{M}\rightarrow\mathbb{R}$ be the smooth density of a probability distribution on $\mathcal{M}$ (with respect to the surface area measure on $\mathcal{M}$) where $\theta\in\Theta\subset\mathbb{R}^{p}$ is the parameter we wish to estimate. Moreover, let

$$\mathscr{F}:=\big{\{}f:\mathcal{M}\rightarrow\mathbb{R}\,|\,f\text{ is smooth}\big{\}}.$$

Green’s first identity then ensures that we have for any $f\in\mathscr{F}$,

$$\int_{\mathcal{M}}p_{\theta}\Delta_{\mathcal{M}}f+\int_{\mathcal{M}}\langle\nabla_{\mathcal{M}}p_{\theta},\nabla_{\mathcal{M}}f\rangle_{\mathcal{M}}=\int_{\partial\mathcal{M}}p_{\theta}f\vec{n},$$ (4)

where $\vec{n}$ is the outward pointing normal, $\partial\mathcal{M}$ is the manifold boundary and $\Delta_{\mathcal{M}}$, $\nabla_{\mathcal{M}}$ are the Laplace-Beltrami and gradient operator on $\mathcal{M}$. For a manifold without boundary, the right-hand side of (4) is equal to zero which gives rise to the Stein operator

$$\mathcal{A}_{\theta}f(x)=\Delta_{\mathcal{M}}f(x)+\Big{\langle}\frac{\nabla_{\mathcal{M}}p_{\theta}(x)}{p_{\theta}(x)},\nabla_{\mathcal{M}}f(x)\Big{\rangle}_{\mathcal{M}}$$ (5)

for any distribution on a manifold without boundary $\mathcal{M}$ with smooth density $p_{\theta}$ and any smooth function $f$. This operator is independent of a parametrization of $\mathcal{M}$ and was recently used in [36], in which the authors developed bounds on the Wasserstein distance between distributions on Riemannian manifolds. The operator (5) is the manifold equivalent to (1) applied to the gradient of a test function $f$.

Let us now consider the unit sphere $\mathcal{S}^{d-1}$ endowed with the canonical metric $\langle\cdot,\cdot\rangle_{\mathcal{S}}$. In order to calculate the Stein operator, we wish to express all differential operators above in terms of their Euclidean counterparts (the same applies to the Riemannian metric). Therefore, let $\Delta$, $\nabla$, $\nabla^{2}$ be the standard operators on $\mathbb{R}^{d}$. Note that every smooth function $f:\mathcal{M}\rightarrow\mathbb{R}$ can be extended to a smooth function $\tilde{f}$ defined on an open set $U\subset\mathbb{R}^{d}$ with $\mathcal{S}^{d-1}\subset U$ (compare [37, Lemma 5.34]). In the sequel, $\Delta f$, $\nabla f$ and $\nabla^{2}f$ then correspond to $\Delta\tilde{f}$, $\nabla\tilde{f}$ and $\nabla^{2}\tilde{f}$. For a function $f\in\mathscr{F}$ we can express the spherical Laplace-Beltrami operator $\Delta_{\mathcal{S}}$ in terms of the Euclidean Laplace operator. We have

$$\Delta_{\mathcal{S}}f(x)=(1-d)\ x^{\top}\nabla f(x)-x^{\top}\nabla^{2}f(x)x+\Delta f(x),\quad x\in\mathcal{S}^{d-1}.$$

Moreover, one can show that

$$\Big{\langle}\frac{\nabla_{\mathcal{S}}p_{\theta}(x)}{p_{\theta}(x)},\nabla_{\mathcal{S}}f(x)\Big{\rangle}_{\mathcal{S}}=\frac{\nabla p_{\theta}(x)}{p_{\theta}(x)}\big{(}I_{d}-xx^{\top}\big{)}\nabla f(x),\quad x\in\mathcal{S}^{d-1}.$$

Note that, in both equations above, the right-hand side is independent of the choice of the smooth extensions of the functions $f$ and $p_{\theta}$. For a distribution on $\mathcal{S}^{d-1}$ with density $p_{\theta}$ we therefore have the Stein operator

$$\mathcal{A}_{\theta}f(x)=(1-d)\ x^{\top}\nabla f(x)-x^{\top}\nabla^{2}f(x)x+\Delta f(x)+\frac{\nabla p_{\theta}(x)}{p_{\theta}(x)}\big{(}I_{d}-xx^{\top}\big{)}\nabla f(x).$$ (6)

It follows immediately from Green’s identity that we have indeed

$$\mathbb{E}[\mathcal{A}_{\theta}f(X)]=0$$ (7)

for a random variable $X$ with values in $\mathcal{S}^{d-1}$ which admits the density $p_{\theta}$ and any function $f\in\mathscr{F}$.

The rest of the paper is organized as follows. In Section 2, we propose a new estimator for the Fisher-Bingham distribution and in Sections 3 and 4 we treat the vMF and Watson sub-families, whereby we prove the competitiveness of our approach by comparing to the asymptotically efficient maximum likelihood estimator (MLE). In Section 5, we apply our new estimator for the Fisher-Bingham distribution to a real data example from machine learning. Finally, Appendix A collects all proofs.

2 Fisher-Bingham distribution

The pdf of the Fisher-Bingham distribution $FB(\mu,A)$ with parameter $\theta=(\mu,A)$ such that $\mu\in\mathbb{R}^{d}$, $A\in\mathbb{R}^{d\times d}$ symmetric, is given by

$$p_{\theta}(x)=\frac{1}{C(\mu,A)}\exp\big{(}\mu^{\top}x+x^{\top}Ax\big{)},\quad x\in\mathcal{S}^{d-1},$$

with unknown normalising constant $C(\mu,A)$. Since $x^{\top}x=1$, we need to impose an additional restriction on $A$ to ensure that the parameters are identifiable. In order to simplify the notation concerning the parameter estimation, we suppose here that $A_{d,d}=0$. If $A$ is positive definite, the Fisher-Bingham distribution can be interpreted as a multivariate Gaussian distribution on $\mathbb{R}^{d}$ conditioned with respect to the sphere $\mathcal{S}^{d-1}$.

The Stein operator (6) reads

$$\mathcal{A}f(x)=(1-d)\ x^{\top}\nabla f(x)-x^{\top}\nabla^{2}f(x)x+\Delta f(x)+(\mu^{\top}+2x^{\top}A)\big{(}I_{d}-xx^{\top}\big{)}\nabla f(x),\quad f\in\mathscr{F}.$$

Let us now consider the estimation of the parameters $\mu$ and $A$. For this purpose, suppose we have an i.i.d. sample $X_{1},\ldots,X_{n}\sim FB(\mu_{0},A_{0})$ defined on a common probability space $(\Omega,\mathcal{F},\mathbb{P})$. In view of the restrictions with respect to $A$ we have $d+d(d+1)/2-1$ parameters to estimate.

We consider two test functions $f_{1}:\mathcal{S}^{d-1}\rightarrow\mathbb{R}^{d}$ and $f_{2}:\mathcal{S}^{d-1}\rightarrow\mathbb{R}^{d(d+1)/2-1}$ for which each component is in $\mathscr{F}$. We solve the empirical version of the Stein identity (7) for $\theta$, i.e.

$$\frac{1}{n}\sum_{i=1}^{n}\mathcal{A}_{\theta}f_{i}(X_{i})=0,\quad i=1,2,$$ (8)

where $\mathcal{A}_{\theta}$ is applied to each component of $f_{i}$, $i=1,2$. For both functions $f_{i},\,i=1,2$, we write $\nabla f_{i}$ for the standard Jacobian matrix and $\nabla^{2}f_{i}$ for the matrix whose rows contain the vectorized Hessians and each row represents a component of the function $f_{i}$. For example, $\nabla^{2}f_{2}$ is then a $(d(d+1)/2-1)\times d^{2}$–matrix.

We introduce the following quantities:

$$M_{n} =2\overline{\big{(}\big{(}\nabla f_{2}(X)\big{(}I_{d}-XX^{\top}\big{)}\big{)}\otimes X^{\top}\big{)}{\bf D}}\quad \in\mathbb{R}^{(d(d+1)/2-1)\times d(d+1)/2},$$

$$D_{n} =\overline{(d-1)\nabla f_{2}(X)X+\nabla^{2}f_{2}(X)(X\otimes X)-\Delta f_{2}(X)}\quad \in\mathbb{R}^{d(d+1)/2-1},$$

$$E_{n} =\overline{\big{(}\nabla f_{2}(X)\big{(}I_{d}-XX^{\top}\big{)}\big{)}}\quad \in\mathbb{R}^{(d(d+1)/2-1)\times d},$$

$$G_{n} =2\overline{\big{(}\big{(}\nabla f_{1}(X)\big{(}I_{d}-XX^{\top}\big{)}\big{)}\otimes X^{\top}\big{)}{\bf D}}\quad \in\mathbb{R}^{d\times d(d+1)/2},$$

$$H_{n} =\overline{(d-1)\nabla f_{1}(X)X+\nabla^{2}f_{1}(X)(X\otimes X)-\Delta f_{1}(X)}\quad \in\mathbb{R}^{d},$$

$$L_{n} =\overline{\nabla f_{1}(X)(I_{d}-XX^{\top})}\quad \in\mathbb{R}^{d\times d},$$

where ${\bf D}\in\mathbb{R}^{d^{2}\times d(d+1)/2}$ is the duplication matrix and $\otimes$ is the standard Kronecker product. In the display above we wrote $\overline{f(X)}=n^{-1}\sum_{i=1}^{n}f(X_{i})$. Since $A_{dd}=0$, we have to adjust the quantities above. Therefore, let $M_{n}^{\prime}$ and $G_{n}^{\prime}$ be the matrices $M_{n}$ and $G_{n}$ without the last column. The solutions $\hat{\mu}_{n}$ and $\hat{A}_{n}$ to (8) are then given by

$$\mathrm{vech}^{\prime}(\hat{A}_{n}) =(M_{n}^{\prime})^{-1}(D_{n}-E_{n}\hat{\mu}_{n}),$$

$$\hat{\mu}_{n} =(L_{n}-G_{n}^{\prime}(M_{n}^{\prime})^{-1}E_{n})^{-1}(H_{n}-G_{n}^{\prime}(M_{n}^{\prime})^{-1}D_{n}),$$

where we wrote $\mathrm{vech}^{\prime}(\hat{A}_{n})$ for the vector $\mathrm{vech}(\hat{A}_{n})$ without the last component, which is then set to $0$ given the parametrization of the matrix $A$.

In the sequel, we work out the conditions on the test functions under which our new estimators are consistent. We introduce the following assumptions.

Assumption 2.1.

Suppose that the matrices $\mathbb{E}[M_{1}^{\prime}]$ and $\mathbb{E}[L_{1}]-\mathbb{E}[G_{1}^{\prime}]\mathbb{E}[M_{1}^{\prime}]^{-1}\mathbb{E}[E_{1}]$ are invertible.

Theorem 2.2.

Suppose Assumption 2.1 holds. Then $\hat{\theta}_{n}=(\hat{\mu}_{n},\hat{A}_{n})$ exists with probability converging to one and is strongly consistent in the following sense: There is a set $A\subset\Omega$ with $\mathbb{P}(A)=1$ such that for each $\omega\in A$ there is a $N\in\mathbb{N}$ such that $\hat{\theta}_{n}$ exists for each $n\geq N$ and

$$(\hat{\mu}_{n},\hat{A}_{n})(\omega)\overset{\mathrm{a.s.}}{\longrightarrow}(\mu_{0},A_{0})$$

as $n\rightarrow\infty$.

We found the following choice of test functions convenient: $f_{1}:\mathcal{S}^{d-1}\rightarrow\mathbb{R}^{d}$, $x\mapsto x$ and $f_{2}:\mathcal{S}^{d-1}\rightarrow\mathbb{R}^{d(d+1)/2}$, $x\mapsto\mathrm{vech}(xx^{\top})$. Since $x\in\mathcal{S}^{d-1}$, we do not gain any further information with the last component of $f_{2}$, which we therefore delete. Consequently, we arrive at the correct dimension $d(d+1)/2-1$ regarding $f_{2}$. We remind of the particular ordering of the elements of $\nabla f_{1}$, $\nabla f_{2}$, $\nabla^{2}f_{1}$ and $\nabla^{2}f_{2}$. We calculate $\nabla f_{1}(x)=I_{d}$, as well as $\nabla^{2}f_{1}(x)=0$ and $\Delta f_{1}(x)=0$. For $f_{2}$, we have that

$$\nabla f_{2}(x)=\begin{pmatrix}2x_{1}&&&\\ x_{2}&x_{1}&&\\ x_{3}&&x_{1}&\\ \vdots&&&\ddots\\ 0&2x_{2}&&\\ &x_{3}&x_{2}&\\ &\vdots&&\ddots\end{pmatrix}\in\mathbb{R}^{(d(d+1)/2-1)\times d}.$$

Let $E_{ij}\in\mathbb{R}^{d\times d}$ be the matrix which is equal to zero except for the elements $(i,j)$ and $(j,i)$ which are equal to one. Then we obtain

$$\nabla^{2}f_{2}(x)=\begin{pmatrix}2\mathrm{vec}(E_{11})^{\top}\\ \mathrm{vec}(E_{12})^{\top}\\ \vdots\\ \mathrm{vec}(E_{1d})^{\top}\\ 2\mathrm{vec}(E_{22})^{\top}\\ \mathrm{vec}(E_{23})^{\top}\\ \vdots\end{pmatrix}\in\mathbb{R}^{(d(d+1)/2-1)\times d^{2}}.$$

Furthermore,

$$\Delta f_{2}(x)=2\,\mathrm{vech}^{\prime}(I_{d})\in\mathbb{R}^{d(d+1)/2-1}.$$

Fig. 1:
$\mu=\begin{pmatrix}10&0&0\end{pmatrix}^{\top}$
$A=0$

Fig. 2:
$\mu=\begin{pmatrix}5&0&0\end{pmatrix}^{\top}$
$A=0$

Fig. 3:
$\mu=\begin{pmatrix}0.5&0&0\end{pmatrix}^{\top}$
$A=0$

Fig. 4:
$\mu=\begin{pmatrix}11&3&10\end{pmatrix}^{\top}$
$A=\begin{pmatrix}2&-2&1\\ -2&12&-2\\ 1&-2&0\end{pmatrix}$

Fig. 5:
$\mu=0.05\cdot\begin{pmatrix}1&1&1\end{pmatrix}^{\top}$
$A=\begin{pmatrix}1&2&3\\ 2&6&7\\ 3&7&0\end{pmatrix}$

Fig. 6:
$\mu=\begin{pmatrix}0&3&3\end{pmatrix}^{\top}$
$A=\begin{pmatrix}0&0&0\\ 0&0&-3\\ 0&-3&0\end{pmatrix}$

Fig. 7:
$\mu=\begin{pmatrix}0&1&1\end{pmatrix}^{\top}$
$A=\begin{pmatrix}-1&-2&-3\\ -2&5&-3\\ -3&-3&0\end{pmatrix}$

Fig. 8:
$\mu=\begin{pmatrix}0&-1&1\end{pmatrix}^{\top}$
$A=\begin{pmatrix}-1&-2&-3\\ -2&1&0\\ -3&0&0\end{pmatrix}$

Fig. 9:
$\mu=\begin{pmatrix}0&-1&1\end{pmatrix}^{\top}$
$A=\begin{pmatrix}-5&0&-1\\ 0&1&0\\ -1&0&0\end{pmatrix}$

Fig. 10:
$\mu=\begin{pmatrix}11&3&10\end{pmatrix}^{\top}$
$A=\begin{pmatrix}-6&0&0\\ 1&0&0\\ 0&0&0\end{pmatrix}$

In the following, we will write $\hat{\theta}_{n}^{\mathrm{ST}}=(\hat{\mu}_{n}^{\mathrm{ST}},\hat{A}_{n}^{\mathrm{ST}})$ for the Stein estimator obtained with the test functions from above.

We briefly discuss other estimation techniques from the literature. Estimating the normalising constant $C(\mu,A)$ is difficult. However, several works have addressed the problem of computing the MLE; we refer to [34] (saddlepoint approximation), [32, 33] (holonomic gradient descent) and [4] (Euler transform). However, we did not find these methods to be natural competitors to our estimator. The saddlepoint approximation in [34] is computationally heavy; parameter estimation is only performed for the vMF distribution. In [48], the holonomic gradient descent is developed and applied to find the MLE of two real data sets. In [32], an accelerated version of the method is proposed. However, the holonomic gradient descent also requires high computational effort; the authors in [32] state that parameter estimation can be performed up to dimension $d=7$. The latter algorithm is adapted in [33] to allow for a better dimensional efficiency. [4] implements the same algorithm as in [33] but uses an Euler transform together with a Fourier-type integral representation to compute the normalising constant and its derivatives. We implemented the algorithm in [4] and found it to be sensitive to several initial parameters that one has to set as well as to the starting point of the MLE procedure. In addition, we refer to [3] where an approximation of the likelihood function is used to compute the MLE for the Bingham-subfamily.

Due to the high computational effort and the sensitivity to initial parameters we were not able to include these estimation techniques in our simulation study. The results concerning the Stein estimator can be found in Table 1. We report the mean squared error (MSE) for both parameters, whereby we calculated for $\mu$ the average Euclidean distance and for $A$ the average spectral norm with respect to all Monte Carlo samples. We see that the Stein estimator gives reasonable results for all parameter constellations. The rather large MSE in the first column can be explained by a parameter identification problem (see Remark 2.3). The row NE reports the relative frequency (out of $100$) of computational failure regarding the numerical computation of $\hat{\theta}_{n}^{\mathrm{ST}}$. As can be seen in Table 1, there have been no issues in this respect. We used the R package simdd [27] in order to generate samples from the Fisher-Bingham distribution.

Remark 2.3.

The simulation results from Table 1 are conservative: In fact, two distinct distributions from the Fisher-Bingham family can be similar even though their parameter values in $\mu$ and $A$ differ largely. For instance, this seems to be the case when $\|\mu\|$ is large. Let us illustrate this problem by the following example: We generated a sample of size $n=1000$ with parameter values $\mu_{0}=\begin{pmatrix}40&0&0\end{pmatrix}^{\top}$ and $A_{0}=0$. The Stein estimator $\hat{\theta}_{n}^{\mathrm{ST}}$ then gave the following estimates:

$$\hat{\mu}_{n}^{\mathrm{ST}}=\begin{pmatrix}154.2\\ 5.5\\ -10.2\end{pmatrix},\quad\hat{A}_{n}^{\mathrm{ST}}=\begin{pmatrix}-61.3&-2.9&5.4\\ -2.9&-1.3&-0.8\\ 5.4&-0.8&0\end{pmatrix},$$

which results in large values for $\|\hat{\mu}_{n}^{\mathrm{ST}}-\mu_{0}\|$ and $\|\hat{A}_{n}^{\mathrm{ST}}-A_{0}\|$. However, the shapes of the distributions $FB(\hat{\mu}_{n}^{\mathrm{ST}},\hat{A}_{n}^{\mathrm{ST}})$ and $FB(\mu_{0},A_{0})$ appear to be very similar on the sphere. This implies that the values for the MSE in Table 1 are rather conservative, reporting large values for the distance between estimated and true parameter although their corresponding distributions are in truth very similar. However, we are not aware of another technique to evaluate the performance of our estimator given the complexity of the normalising constant.

	Fig. 1	Fig. 2	Fig. 3	Fig. 4	Fig. 5	Fig. 6	Fig. 7	Fig. 8	Fig. 9	Fig. 10
$\hat{\mu}_{n}^{\mathrm{ST}}$	$2.51$	$0.611$	$0.092$	$1.17$	$0.663$	$0.257$	$0.294$	$0.194$	$0.184$	$0.143$
$\hat{A}_{n}^{\mathrm{ST}}$	$1.65$	$0.545$	$0.191$	$1.1$	$0.835$	$0.324$	$0.492$	$0.343$	$0.347$	$0.334$
NE	$0$	$0$	$0$	$0$	$0$	$0$	$0$	$0$	$0$	$0$

Table 1: MSE for the Fisher-Bingham distribution based on $10{,}000$ Monte Carlo repetitions for a sample size $n=1000$. The different columns correspond to the parameter values in Fig. 10 – Fig. 10.

3 von Mises-Fisher distribution

The pdf of the vMF distribution $vM\!F(\mu,\kappa)$, with parameter $\theta=(\mu,\kappa)$ such that $\kappa>0$ and $\mu\in\mathcal{S}^{d-1}$, is given by

$$p_{\theta}(x)=\frac{\kappa^{d/2-1}}{(2\pi)^{d/2}\mathcal{I}_{d/2-1}(\kappa)}\exp\big{(}\kappa\mu^{\top}x\big{)},\quad x\in\mathcal{S}^{d-1},$$

where $\mathcal{I}_{\nu}(\cdot)$ denotes the modified Bessel function of the first kind of order $\nu$ (we have used calligraphic $\mathcal{I}$ here in our notation to avoid confusion with our notation for the $d\times d$ identity matrix $I_{d}$). The vMF distribution is a subclass of the Fisher-Bingham distribution and is retrieved from the latter by choosing $A=0$. Let $X_{1},\ldots,X_{n}\sim vM\!F(\mu_{0},\kappa_{0})$ be an i.i.d. sample defined on a common probability space $(\Omega,\mathcal{F},\mathbb{P})$. A standard estimator for $\mu_{0}$ is the directional sample mean $\hat{\mu}_{n}=\overline{X}/\|\overline{X}\|$ (see [44, Chapter 10.3]). As per $\kappa$, we develop an estimator based on the Stein identity (7). We therefore choose a test function $f:\mathcal{S}^{d-1}\rightarrow\mathbb{R}^{d}$ for which each component is an element of $f\in\mathscr{F}$ and consider the equation

$$\frac{1}{n}\sum_{i=1}^{n}\mathcal{A}_{\theta}f(X_{i})=0.$$

Note that in the display above we find $d$ equations although we have a scalar parameter $\kappa$ to estimate. Let $\nabla f$ and $\nabla^{2}f$ be defined as in Section 2. With

$$Q_{n} =\overline{(d-1)\nabla f(X)X+\nabla^{2}f(X)(X\otimes X)-\Delta f(X)}\quad \in\mathbb{R}^{d},$$

$$K_{n} =\overline{\nabla f(X)(I_{d}-XX^{\top})}\hat{\mu}_{n}\quad \in\mathbb{R}^{d}$$

the estimator for $\kappa$ is the least-squares type estimator

$$\hat{\kappa}_{n}=(K_{n}^{\top}K_{n})^{-1}K_{n}^{\top}Q_{n}.$$

Conditions for consistency and existence can be worked out completely similarly to Theorem 2.2. We found the test function $f(x)=x$ a convenient choice, which leads to

$$\hat{\kappa}_{n}=\frac{(d-1)\hat{\mu}_{n}^{\top}(I_{d}-\overline{XX^{\top}})\overline{X}}{\hat{\mu}_{n}^{\top}(I_{d}-\overline{XX^{\top}})^{2}\hat{\mu}_{n}}.$$ (9)

We will write $\hat{\kappa}_{n}^{\mathrm{ST}}$ for the estimator (9). It can be shown easily that $\hat{\kappa}_{n}^{\mathrm{ST}}$ is always greater than zero and independent of $\mu_{0}$.

The asymptotic distribution of the directional sample mean has been investigated in [20] (see also [19]). In the following theorem we give the asymptotic covariance for the estimator in (9).

Theorem 3.1.

The Stein estimator $\hat{\kappa}_{n}^{\mathrm{ST}}$ is asymptotically normal, i.e.

$$\sqrt{n}\big{(}\hat{\kappa}_{n}^{\mathrm{ST}}-\kappa_{0}\big{)}\overset{D}{\longrightarrow}N(0,P),$$

as $n\rightarrow\infty$, with

$$P=\frac{\kappa_{0}\mathcal{I}_{d/2-1}(\kappa_{0})\big{(}2\kappa_{0}\mathcal{I}_{d/2-1}(\kappa_{0})-(d+1)\mathcal{I}_{d/2}(\kappa_{0})\big{)}}{(d-1)\mathcal{I}_{d/2}(\kappa_{0})^{2}}.$$

We now compare our new estimator $\hat{\kappa}_{n}^{\mathrm{ST}}$ to the MLE $\hat{\kappa}_{n}^{\mathrm{ML}}$, which is the solution to

$$\frac{\mathcal{I}_{d/2}(\hat{\kappa}_{n}^{\mathrm{ML}})}{\mathcal{I}_{d/2-1}(\hat{\kappa}_{n}^{\mathrm{ML}})}=\|\overline{X}\|.$$

The MLE is not explicit and requires numerical methods (we refer to [40] for an overview of numerical approximations for the MLE). Simulation results can be found in Table 2 for different values of $\kappa_{0}$ and dimensions of the sphere. We also included the score-matching estimator $\hat{\kappa}_{n}^{\mathrm{SM}}$ from [45], which is defined as $\hat{\kappa}_{n}^{\mathrm{SM}}=(d-1)\overline{Y}/(1-\overline{Y^{2}})$, where $Y_{i}$ is the first component of the vector $RX_{i},\,i=1,\ldots,n$, with $R\in\mathbb{R}^{d\times d}$ orthogonal such that $R\hat{\mu}_{n}=(1,0,\ldots,0)^{\top}$. We observe that our proposed estimator $\hat{\kappa}_{n}^{\mathrm{ST}}$ performs well in terms of bias and MSE, outperforming (or equal in performance) the score matching estimator throughout all parameter values and the MLE for most parameter values. For smaller sample sizes we also found $\hat{\kappa}_{n}^{\mathrm{ST}}$ to be more reliable in comparison to $\hat{\kappa}_{n}^{\mathrm{ML}}$ and $\hat{\kappa}_{n}^{\mathrm{SM}}$. The parameter $\mu$ was assumed to be not known and was estimated by the directional sample mean.

Remark 3.2.

The Fisher information with respect to the parameter $\kappa$ of the $vM\!F(\mu,\kappa)$ distribution is given by

$$\mathscr{I}(\kappa)=1-\frac{\mathcal{I}_{d/2}(\kappa)^{2}}{\mathcal{I}_{d/2-1}(\kappa)^{2}}-\frac{(d-1)\mathcal{I}_{d/2}(\kappa)}{\kappa\mathcal{I}_{d/2-1}(\kappa)}.$$

It is well-known that the asymptotic variance of $\hat{\kappa}_{n}^{\mathrm{ML}}$ is given by $1/\mathscr{I}(\kappa_{0})$. A plot of the asymptotic variances with respect to $\kappa_{0}$ of both estimators, $\hat{\kappa}_{n}^{\mathrm{ML}}$ and $\hat{\kappa}_{n}^{\mathrm{ST}}$, shows that they are very close with the MLE obviously having the smaller variance since it is asymptotically efficient. In the case $d=2$, the asymptotic variance of the Stein estimator equals the one of $\hat{\kappa}_{n}^{\mathrm{SM}}$ which is computed in [45]. However, the authors do not give a formula for higher dimensions.

Remark 3.3.

We briefly demonstrate another possibility to obtain an estimator for the concentration parameter: Write $\mu^{\prime}=\kappa\mu$ and solve the Stein identity for $\mu^{\prime}$ by considering the test function $f:\mathcal{S}^{d-1}\rightarrow\mathbb{R}^{d},x\mapsto x$. The solution is given by $\hat{\mu}^{\prime}_{n}=(d-1)(I_{d}-\overline{XX^{\top}})^{-1}\overline{X}$. Then define the estimator

$$\hat{\kappa}_{n}^{\mathrm{ST2}}=(d-1)\|(I_{d}-\overline{XX^{\top}})^{-1}\overline{X}\|.$$

This estimator seems to behave very similar to $\hat{\kappa}_{n}^{\mathrm{ST}}$ for both, small and large sample sizes.

$\theta_{0}$		Bias			MSE
		$\hat{\theta}_{n}^{\mathrm{ML}}$	$\hat{\theta}_{n}^{\mathrm{SM}}$	$\hat{\theta}_{n}^{\mathrm{ST}}$	$\hat{\theta}_{n}^{\mathrm{ML}}$	$\hat{\theta}_{n}^{\mathrm{SM}}$	$\hat{\theta}_{n}^{\mathrm{ST}}$
$d=3,\kappa_{0}=1$	$\kappa$	$0.044$	$0.046$	$\color[rgb]{1,.5,0}\definecolor[named]{pgfstrokecolor}{rgb}{1,.5,0}\bf 0.043$	$\color[rgb]{1,.5,0}\definecolor[named]{pgfstrokecolor}{rgb}{1,.5,0}\bf 0.039$	$0.041$	$0.041$
$d=3,\kappa_{0}=2$	$\kappa$	$0.046$	$0.048$	$\color[rgb]{1,.5,0}\definecolor[named]{pgfstrokecolor}{rgb}{1,.5,0}\bf 0.043$	$\color[rgb]{1,.5,0}\definecolor[named]{pgfstrokecolor}{rgb}{1,.5,0}\bf 0.063$	$0.07$	$0.069$
$d=3,\kappa_{0}=10$	$\kappa$	$0.219$	$0.211$	$\color[rgb]{1,.5,0}\definecolor[named]{pgfstrokecolor}{rgb}{1,.5,0}\bf 0.201$	$\color[rgb]{1,.5,0}\definecolor[named]{pgfstrokecolor}{rgb}{1,.5,0}\bf 1.14$	$1.15$	$1.15$
$d=3,\kappa_{0}=50$	$\kappa$	$0.938$	$0.929$	$\color[rgb]{1,.5,0}\definecolor[named]{pgfstrokecolor}{rgb}{1,.5,0}\bf 0.919$	$\color[rgb]{1,.5,0}\definecolor[named]{pgfstrokecolor}{rgb}{1,.5,0}\bf 28.1$	$\color[rgb]{1,.5,0}\definecolor[named]{pgfstrokecolor}{rgb}{1,.5,0}\bf 28.1$	$\color[rgb]{1,.5,0}\definecolor[named]{pgfstrokecolor}{rgb}{1,.5,0}\bf 28.1$
$d=10,\kappa_{0}=1$	$\kappa$	$0.402$	$0.402$	$\color[rgb]{1,.5,0}\definecolor[named]{pgfstrokecolor}{rgb}{1,.5,0}\bf 0.4$	$0.241$	$0.241$	$\color[rgb]{1,.5,0}\definecolor[named]{pgfstrokecolor}{rgb}{1,.5,0}\bf 0.24$
$d=10,\kappa_{0}=10$	$\kappa$	$0.183$	$0.179$	$\color[rgb]{1,.5,0}\definecolor[named]{pgfstrokecolor}{rgb}{1,.5,0}\bf 0.173$	$\color[rgb]{1,.5,0}\definecolor[named]{pgfstrokecolor}{rgb}{1,.5,0}\bf 0.412$	$0.414$	$\color[rgb]{1,.5,0}\definecolor[named]{pgfstrokecolor}{rgb}{1,.5,0}\bf 0.412$
$d=10,\kappa_{0}=50$	$\kappa$	$0.696$	$0.69$	$\color[rgb]{1,.5,0}\definecolor[named]{pgfstrokecolor}{rgb}{1,.5,0}\bf 0.684$	$6.71$	$6.7$	$\color[rgb]{1,.5,0}\definecolor[named]{pgfstrokecolor}{rgb}{1,.5,0}\bf 6.69$
$d=20,\kappa_{0}=1$	$\kappa$	$\color[rgb]{1,.5,0}\definecolor[named]{pgfstrokecolor}{rgb}{1,.5,0}\bf 1.23$	$\color[rgb]{1,.5,0}\definecolor[named]{pgfstrokecolor}{rgb}{1,.5,0}\bf 1.23$	$\color[rgb]{1,.5,0}\definecolor[named]{pgfstrokecolor}{rgb}{1,.5,0}\bf 1.23$	$\color[rgb]{1,.5,0}\definecolor[named]{pgfstrokecolor}{rgb}{1,.5,0}\bf 1.64$	$\color[rgb]{1,.5,0}\definecolor[named]{pgfstrokecolor}{rgb}{1,.5,0}\bf 1.64$	$\color[rgb]{1,.5,0}\definecolor[named]{pgfstrokecolor}{rgb}{1,.5,0}\bf 1.64$
$d=20,\kappa_{0}=10$	$\kappa$	$0.327$	$0.326$	$\color[rgb]{1,.5,0}\definecolor[named]{pgfstrokecolor}{rgb}{1,.5,0}\bf 0.323$	$\color[rgb]{1,.5,0}\definecolor[named]{pgfstrokecolor}{rgb}{1,.5,0}\bf 0.454$	$0.457$	$\color[rgb]{1,.5,0}\definecolor[named]{pgfstrokecolor}{rgb}{1,.5,0}\bf 0.454$
$d=20,\kappa_{0}=50$	$\kappa$	$0.666$	$0.661$	$\color[rgb]{1,.5,0}\definecolor[named]{pgfstrokecolor}{rgb}{1,.5,0}\bf 0.656$	$\color[rgb]{1,.5,0}\definecolor[named]{pgfstrokecolor}{rgb}{1,.5,0}\bf 3.71$	$\color[rgb]{1,.5,0}\definecolor[named]{pgfstrokecolor}{rgb}{1,.5,0}\bf 3.71$	$\color[rgb]{1,.5,0}\definecolor[named]{pgfstrokecolor}{rgb}{1,.5,0}\bf 3.71$

Table 2: Simulation results for the $vM\!F(\mu,\kappa)$ distribution for $\mu_{0}$ proportional to $(1,\ldots,1)$, sample size $n=100$, and $10{,}000$ repetitions.

4 Watson distribution

The pdf of the Watson distribution $W(\mu,\kappa)$, with parameter $\theta=(\mu,\kappa)$ such that $\kappa\in\mathbb{R}$ and $\mu\in\mathcal{S}^{d-1}$, is given by

$$p_{\theta}(x)=\frac{\Gamma(d/2)}{2\pi^{d/2}\,_{1}F_{1}(1/2;d/2;\kappa)}\exp\big{(}\kappa(\mu^{\top}x)^{2}\big{)},\quad x\in\mathcal{S}^{d-1}.$$

If $\kappa=0$, the parameter $\mu$ is no longer identifiable and we obtain the uniform distribution on the sphere. The Watson distribution is a subfamily of the Fisher-Bingham distribution if we allow the concentration parameter to be equal to $0$. Let $\mu^{\mathrm{FB}}$, $A^{\mathrm{FB}}$ be the parameters in the Fisher-Bingham parametrization. Then the Watson distribution with parameters $\kappa$, $\mu$ as above is obtained by choosing $\mu^{\mathrm{FB}}=0$ and $A^{\mathrm{FB}}=\kappa\mu\mu^{\top}$.

Suppose now that we are given an i.i.d. sample $X_{1},\ldots,X_{n}\sim W(\mu_{0},\kappa_{0})$ defined on a common probability space $(\Omega,\mathcal{F},\mathbb{P})$.

A suitable estimator for $\mu_{0}$ is the MLE which is given by the largest resp. smallest eigenvector of the scatter matrix $S_{n}=n^{-1}\sum_{i=1}^{n}X_{i}X_{i}^{\top}$ if $\kappa_{0}>0$ resp. $\kappa_{0}<0$ (see, for example, [54], we also refer to [8], in which the authors develop a new class of equivariant estimators that yield restricted MLE and a Bayesian estimator under some non-informative prior). We take the latter estimator and write $\hat{\mu}_{n}^{\bullet}$ with $\bullet=(+)$ for the largest and $\bullet=(-)$ for the smallest eigenvector of $S_{n}$. Given $\hat{\mu}_{n}^{\bullet}$ we now propose an estimator $\hat{\kappa}_{n}$ based on the Stein operator.

Let $f:\mathcal{S}^{d-1}\rightarrow\mathbb{R}^{d(d+1)/2-1}$ be a test function with all components in the class $\mathscr{F}$, where again $\nabla f$ and $\nabla^{2}f$ are defined as in Section 2. Given $\hat{\mu}_{n}^{\bullet}$, we define the quantities

$$V_{n} =\overline{(d-1)\nabla f(X)X+\nabla^{2}f(X)(X\otimes X)-\Delta f(X)}\quad \in\mathbb{R}^{d(d+1)/2-1},$$

$$J_{n}^{\bullet} =2\overline{\nabla f(X)(I_{d}-XX^{\top})\hat{\mu}_{n}^{\bullet}(\hat{\mu}_{n}^{\bullet})^{\top}X}\quad \in\mathbb{R}^{d(d+1)/2-1}.$$

We then propose a least-squares type estimator by

$$\hat{\kappa}_{n}^{\bullet}=((J_{n}^{\bullet})^{\top}J_{n}^{\bullet})^{-1}(J_{n}^{\bullet})^{\top}V_{n}.$$

The Stein estimator $\hat{\theta}_{n}=(\hat{\mu}_{n},\hat{\kappa}_{n})$ is now defined as follows: Calculate ($\hat{\mu}_{n}^{(-)},\hat{\kappa}_{n}^{(-)})$ as well as $(\hat{\mu}_{n}^{(+)},\hat{\kappa}_{n}^{(+)})$. If neither of the two estimates is eligible ($\hat{\kappa}_{n}^{(-)}>0$ and $\hat{\kappa}_{n}^{(+)}<0$), $\hat{\theta}_{n}$ does not exist; if exactly one of the estimators is eligible, we choose the latter, and if both are eligible, we choose the one for which $\|J_{n}^{\bullet}\hat{\kappa}_{n}^{\bullet}-V_{n}\|$ is smaller. Conditions for consistency and existence can be worked out completely similarly to Theorem 2.2. We only show that this estimator is asymptotically normal and do not work out the covariance matrix given its complicated structure. We let

$$Y_{n}=\begin{pmatrix}V_{n}\\ \overline{X^{\top}\otimes\big{(}\nabla f_{2}(X)\big{(}I_{d}-XX^{\top}\big{)}\big{)}}\\[3.0pt] \mathrm{vec}\big{(}\overline{XX^{\top}}\big{)}\end{pmatrix}.$$

Theorem 4.1.

Let $X\sim W(\mu_{0},\kappa_{0})$. Suppose that $\mathrm{Var}[Y_{1}]$ exists and is invertible. Moreover, suppose that $J^{\top}J\neq 0$, where

$$J=\mathbb{E}\big{[}\nabla f_{2}(X)(I_{d}-XX^{\top})\mu_{0}\mu_{0}^{\top}X\big{]},$$

and assume that the two largest resp. smallest eigenvalues of $\mathbb{E}[XX^{\top}]$ are distinct for $\kappa_{0}\geq 0$ resp. $\kappa_{0}\leq 0$. Then the sequence $\sqrt{n}(\hat{\kappa}_{n}-\kappa_{0})$ converges in distribution to a mean zero normal distribution as $n\rightarrow\infty$.

Notice that the assumptions made in Theorem 4.1 entail that $\kappa_{0}\neq 0$ since we have $\mathbb{E}[XX^{\top}]=d^{-1}I_{d}$ for $\kappa_{0}=0$ and the eigenvalues cannot be distinguished.

Motivated by the estimator of the matrix $A$ in the case of the Fisher-Bingham distribution, we choose the test function $f_{2}(x)=\mathrm{vech}^{\prime}(xx^{\top})$. In the following, we will write $\hat{\kappa}_{n}^{\mathrm{ST}}$ for the latter choice of the test function. We also consider two other estimators. First, in [54] the authors develop an explicit approximation of the MLE. In fact, they show that, given the correct sign of $\kappa_{0}$, the MLE $\hat{\kappa}_{n}^{\mathrm{ML}}$ always lies between

$$L\big{(}\hat{\mu}_{n}^{\top}S\hat{\mu}_{n},1/2,d/2\big{)}<\hat{\kappa}_{n}^{\mathrm{ML}}<U\big{(}\hat{\mu}_{n}^{\top}S\hat{\mu}_{n},1/2,d/2\big{)},$$

where

$$L(r,a,c)=\frac{rc-a}{r(1-r)}\bigg{(}1+\frac{1-r}{c-a}\bigg{)},\quad U(r,a,c)=\frac{rc-a}{r(1-r)}\bigg{(}1+\frac{r}{a}\bigg{)}.$$

The bounds are asymptotically sharp. Therefore, we include the estimator defined by

$$(\hat{\kappa}_{n}^{\mathrm{MLa}})^{\bullet}=\frac{1}{2}\Big{(}L\big{(}(\hat{\mu}_{n}^{\bullet})^{\top}S\hat{\mu}_{n}^{\bullet},1/2,d/2\big{)}+U\big{(}(\hat{\mu}_{n}^{\bullet})^{\top}S\hat{\mu}_{n}^{\bullet},1/2,d/2\big{)}\Big{)}$$

in our simulation study. The question of how to choose the correct eigenvector of the scatter matrix is tackled the same way as for $\hat{\theta}_{n}^{\mathrm{ST}}$ except: If $(\hat{\mu}_{n}^{(-)},(\hat{\kappa}_{n}^{\mathrm{MLa}})^{(-)})$ and $(\hat{\mu}_{n}^{(+)},(\hat{\kappa}_{n}^{\mathrm{MLa}})^{(+)})$ are eligible, we chose the one with the higher likelihood. We denote the resulting estimator by $\hat{\theta}_{n}^{\mathrm{MLa}}$.

Next, we included the MLE via the watson R package [51] which implements an EM algorithm that also works for finite mixtures of the Watson distribution. This estimator is denoted by $\hat{\theta}_{n}^{\mathrm{EM}}$.

Simulation results are given in Table 3 for a variety of dimensions and parameter values for $\kappa_{0}$. We only report the results for $\kappa$ since the methods do not differ in estimating $\mu$. However, we also included a column NE reporting as before the estimated relative frequency that the estimator does not exist (which means in this case that the value of $\mu$ and the sign of $\kappa$ do not match). As can be observed from Table 3, the EM estimator $\hat{\theta}_{n}^{\mathrm{EM}}$ seems to be globally the best in terms of MSE, whilst the Stein estimators performs globally best in terms of bias. The Stein estimator also outperforms $\hat{\theta}_{n}^{\mathrm{MLa}}$ for most parameter constellations in terms of MSE.

$\theta_{0}$		Bias			MSE			NE
		$\hat{\theta}_{n}^{\mathrm{MLa}}$	$\hat{\theta}_{n}^{\mathrm{EM}}$	$\hat{\theta}_{n}^{\mathrm{ST}}$	$\hat{\theta}_{n}^{\mathrm{MLa}}$	$\hat{\theta}_{n}^{\mathrm{EM}}$	$\hat{\theta}_{n}^{\mathrm{ST}}$	$\hat{\theta}_{n}^{\mathrm{MLa}}$	$\hat{\theta}_{n}^{\mathrm{EM}}$	$\hat{\theta}_{n}^{\mathrm{ST}}$
$d=3,\kappa_{0}=-20$	$\kappa$	$-9.7$	$-0.834$	$\color[rgb]{1,.5,0}\definecolor[named]{pgfstrokecolor}{rgb}{1,.5,0}\bf-0.792$	$114$	$\color[rgb]{1,.5,0}\definecolor[named]{pgfstrokecolor}{rgb}{1,.5,0}\bf 9.82$	$9.85$	$1$	$0$	$0$
$d=3,\kappa_{0}=-10$	$\kappa$	$-4.29$	$-0.423$	$\color[rgb]{1,.5,0}\definecolor[named]{pgfstrokecolor}{rgb}{1,.5,0}\bf-0.384$	$23.6$	$\color[rgb]{1,.5,0}\definecolor[named]{pgfstrokecolor}{rgb}{1,.5,0}\bf 2.49$	$2.52$	$0$	$0$	$0$
$d=10,\kappa_{0}=-10$	$\kappa$	$-3.28$	$\color[rgb]{1,.5,0}\definecolor[named]{pgfstrokecolor}{rgb}{1,.5,0}\bf-2.43$	$-3.26$	$18.4$	$\color[rgb]{1,.5,0}\definecolor[named]{pgfstrokecolor}{rgb}{1,.5,0}\bf 12.2$	$22.1$	$0$	$0$	$0$
$d=10,\kappa_{0}=-2$	$\kappa$	$-1.27$	$-1.1$	$\color[rgb]{1,.5,0}\definecolor[named]{pgfstrokecolor}{rgb}{1,.5,0}\bf-0.831$	$16.7$	$\color[rgb]{1,.5,0}\definecolor[named]{pgfstrokecolor}{rgb}{1,.5,0}\bf 15.6$	$18.3$	$0$	$0$	$0$
$d=20,\kappa_{0}=-2$	$\kappa$	$-15.3$	$-14.7$	$\color[rgb]{1,.5,0}\definecolor[named]{pgfstrokecolor}{rgb}{1,.5,0}\bf-12.7$	$309$	$\color[rgb]{1,.5,0}\definecolor[named]{pgfstrokecolor}{rgb}{1,.5,0}\bf 288$	$356$	$0$	$0$	$0$
$d=3,\kappa_{0}=1$	$\kappa$	$\color[rgb]{1,.5,0}\definecolor[named]{pgfstrokecolor}{rgb}{1,.5,0}\bf-0.262$	$-0.269$	$-0.303$	$1$	$\color[rgb]{1,.5,0}\definecolor[named]{pgfstrokecolor}{rgb}{1,.5,0}\bf 0.955$	$0.994$	$0$	$0$	$0$
$d=10,\kappa_{0}=1$	$\kappa$	$-3.48$	$-3.34$	$\color[rgb]{1,.5,0}\definecolor[named]{pgfstrokecolor}{rgb}{1,.5,0}\bf-3.22$	$27.7$	$\color[rgb]{1,.5,0}\definecolor[named]{pgfstrokecolor}{rgb}{1,.5,0}\bf 26.1$	$27.4$	$0$	$0$	$0$
$d=20,\kappa_{0}=5$	$\kappa$	$-13.7$	$-13.3$	$\color[rgb]{1,.5,0}\definecolor[named]{pgfstrokecolor}{rgb}{1,.5,0}\bf-9.01$	$393$	$373$	$\color[rgb]{1,.5,0}\definecolor[named]{pgfstrokecolor}{rgb}{1,.5,0}\bf 297$	$0$	$0$	$0$
$d=3,\kappa_{0}=10$	$\kappa$	$7.44$	$0.188$	$\color[rgb]{1,.5,0}\definecolor[named]{pgfstrokecolor}{rgb}{1,.5,0}\bf 0.067$	$59.1$	$\color[rgb]{1,.5,0}\definecolor[named]{pgfstrokecolor}{rgb}{1,.5,0}\bf 0.927$	$0.955$	$0$	$0$	$0$
$d=10,\kappa_{0}=20$	$\kappa$	$13.8$	$0.216$	$\color[rgb]{1,.5,0}\definecolor[named]{pgfstrokecolor}{rgb}{1,.5,0}\bf-0.087$	$194$	$0.881$	$\color[rgb]{1,.5,0}\definecolor[named]{pgfstrokecolor}{rgb}{1,.5,0}\bf 0.876$	$0$	$0$	$0$

Table 3: Simulation results for the $W(\mu,\kappa)$ distribution for $\mu_{0}$ proportional to $(1,\ldots,1)$ with sample size $n=100$, and $10{,}000$ repetitions.

5 Real data example

We conclude the paper with a real data example from machine learning. An autoencoder consists of two artificial neural networks, an encoder and a decoder that are connected in series (we refer to [17, Chapter 14] for a comprehensive introduction). The encoder converts the input data into a representation on a latent space and the decoder reconstructs the original input from the latent space. Autoencoders are, for example, used for dimension reduction or regularization. Meanwhile, there are many modifications of autoencoders, for example the variational autoencoder where the input is not mapped directly onto the latent space: Instead, the final layer of the encoder represents the parametrization of a probability distribution on the latent space and then a random variable sampled according to the parameter values from the encoder output is used to obtain a point on the latent space.

Variational autoencoders can also be seen as a variational Bayesian method in which the decoder computes the likelihood distribution of the dataset (conditional on the latent space representation) and the encoder computes the approximated posterior distribution (the distribution on the latent space given the data). Moreover, due to their probabilistic nature, variational autoencoders are generative models. We refer to [6, 30] for an introduction to the concept of variational autoencoders. For most applications, the Euclidean space together with a multivariate normal distribution $N(\mu,\Sigma)$ is used to model the distribution of the encoded data. However, in [7] the authors suggest to use hyperspherical latent spaces together with the vMF distribution as it allows for a truly uninformative prior. Based on their approach, [7] used the Fisher-Bingham distribution to estimate the latent space representations of the MNIST dataset and then applied the decoder to sampled random variables from the estimated distributions in order to generate handwritten numbers. In [58], the authors remove the probabilistic part of the model and use a purely deterministic autoencoder to obtain latent space representations.

In our approach, we combine the latter two methods with some additional modifications: We use a purely deterministic autoencoder to obtain latent space representations and learn the spherical encodings for each digit separately instead of using the same autoencoder for the whole dataset. Next, we employ the new estimator from Section 2 to fit the Fisher-Bingham distribution to each latent representation and then sample from the estimated distributions to generate handwritten digits via the decoder.

The MNIST dataset set consists of labeled (from $0$ to $9$) images with handwritten numbers ($60{,}000$ training and $10{,}000$ test images) where each image has a dimension of $28\times 28$ pixels and each pixel corresponds to a value between $0$ (black) and $1$ (white). As already mentioned above, we divided the training as well as the test set into different groups corresponding to the label of the image and then trained an autoencoder separately for each of the $10$ groups. However, the setup for each autoencoder was the same: For the encoder, we used next to the input layer of $784$ nodes two hidden layers ($256$ and $128$ nodes) and an output layer of $6$ nodes. The decoder was implemented with the same (reversed) structure. We used the ReLU activation function for all layers, except for the last layer of the encoder and decoder, respectively. Regarding the output layer of the decoder, we implemented the sigmoid function and for the output layer of the encoder, we employed the function

$$x\mapsto\frac{x-\overline{x}}{\|x-\overline{x}\|},$$

which was proposed by [58]. This transformation yields a unit vector and therefore the latent representation of the handwritten digits. Note that through the centralization we loose one dimension: If the encoder output layer consists of $d$ nodes, then we obtain latent space representations in $\mathcal{S}^{d-2}$. Each of the $10$ models was trained for $1500$ epochs and then we applied early stop** with a look-ahead of $50$ epochs. Weights were updated according to the Adam algorithm [29] (available in the PyTorch library) with respect to the $\mathscr{L}^{1}$-loss function and the weights were initialized following [16]. We implemented the autoencoders in Python whereby the code made available in [7] served as a basis.

The generated handwritten numbers from the approach described above can be found in Figure 12. Let us consider the natural question of whether the flexibility gained by the Fisher-Bingham distribution improves on the quality of the generated numbers. For this purpose, we fitted vMF distributions to the spherical representations of the $10$ groups. The generated numbers according to the vMF distribution can be found in Figure 12. Comparing both images, one realizes that both distributions yield good results whereby the Fisher-Bingham distribution seems to represent the latent variables more accurately (compare rows $1,2$ and $6$). This is as expected since the class of Fisher-Bingham distributions is much broader. To underline this issue, we trained our model with an encoder output dimension of $4$ (resulting in the latent space $\mathcal{S}^{2}$) and plotted the corresponding latent representations in Figure 14 and 14. It is obvious that both sets do not reflect a vMF distribution. However, the goodness-of-fit for the Fisher-Bingham distribution can also be questioned; a truncated uniform distribution may be more accurate. This might be an explanation for the incorrectly drawn $8$’s in Figure 12. Nevertheless, these issues are beyond the scope of this paper. Moreover, with our model, there are no concerns with overlap** latent representations since different digits were learned separately. In [4], the authors reported difficulties in this regard (especially for low dimensions of the latent space) resulting in the problem that a generated number may not match the number represented by the probability distribution from which a random variable was drawn.

Fig. 11: Fisher-Bingham distribution.

Fig. 12: von Mises-Fisher distribution.

Fig. 13: Latent representation of the number $1$.

Fig. 14: Latent representation of the number $6$.

Appendix A Proofs

Proof of Theorem 2.2.

With (7) and standard matrix calculus we know that

$$\mathbb{E}[M_{1}^{\prime}\mathrm{vech}^{\prime}(A_{0})+E_{1}\mu_{0}-D_{1}] =0,$$

$$\mathbb{E}[G_{1}^{\prime}\mathrm{vech}^{\prime}(A_{0})+L_{1}\mu_{0}-H_{1}] =0,$$

and therefore together with Assumption 2.1 we can write

$$\mathrm{vech}^{\prime}(A_{0}) =\mathbb{E}[M_{1}^{\prime}]^{-1}(\mathbb{E}[D_{1}]-\mathbb{E}[E_{1}]\mu_{0}),$$

$$\mu_{0} =(\mathbb{E}[L_{1}]-\mathbb{E}[G_{1}^{\prime}]\mathbb{E}[M_{1}^{\prime}]^{-1}\mathbb{E}[E_{1}])^{-1}(\mathbb{E}[H_{1}]-\mathbb{E}[G_{1}^{\prime}]\mathbb{E}[M_{1}^{\prime}]^{-1}\mathbb{E}[D_{1}]).$$

By the strong law of large numbers we know that all sample means $M_{n}^{\prime},D_{n},E_{n},G_{n}^{\prime},H_{n},L_{n}$ converge to their corresponding expectations. The remainder of the proof then follows by the continuous map** theorem and Assumption 2.1. ∎

Proof of Theorem 3.1.

Let $X\sim vM\!F(\mu_{0},\kappa_{0})$. In [44, p. 169], the mean $\mathbb{E}[X]=\mu_{0}\mathcal{I}_{d/2}(\kappa_{0})/\mathcal{I}_{d/2-1}(\kappa_{0})$ is calculated. In [21], the authors give formulas for the covariance matrix of $X$ for dimensions $d=2$ and $d=3$. By adjusting their arguments for general dimensions and extending their results for higher moments of $X$ we obtain the following results:
One has

$$\mathbb{E}[XX^{\top}]=\frac{1}{\kappa_{0}}\frac{\mathcal{I}_{d/2}(\kappa_{0})}{\mathcal{I}_{d/2-1}(\kappa_{0})}I_{d}+\frac{\mathcal{I}_{d/2+1}(\kappa_{0})}{\mathcal{I}_{d/2-1}(\kappa_{0})}\mu_{0}\mu_{0}^{\top}.$$

Moreover, tedious calculations give

$$\mathbb{E}[\mathrm{vec}(XX^{\top}) \mathrm{vec}(XX^{\top})^{\top}]$$

$$= \frac{\mathcal{I}_{d/2+2}(\kappa_{0})}{\kappa_{0}\mathcal{I}_{d/2-1}(\kappa_{0})}\big{(}\mathrm{vec}(I_{d})\mathrm{vec}(\mu_{0}\mu_{0}^{\top})^{\top}+\mathrm{vec}(\mu_{0}\mu_{0}^{\top})\mathrm{vec}(I_{d})^{\top}+\mu_{0}\mu_{0}^{\top}\otimes I_{d}+I_{d}\otimes\mu_{0}\mu_{0}^{\top}$$

$$\qquad\qquad\qquad+(\mu_{0}\mu_{0}^{\top}\otimes I_{d})\mathcal{K}_{d,d}+(I_{d}\otimes\mu_{0}\mu_{0}^{\top})\mathcal{K}_{d,d}\big{)}$$

$$+\frac{\mathcal{I}_{d/2+1}(\kappa_{0})}{\kappa_{0}^{2}\mathcal{I}_{d/2-1}(\kappa_{0})}\big{(}\mathrm{vec}(I_{d})\mathrm{vec}(I_{d})^{\top}+I_{d}\otimes I_{d}+(I_{d}\otimes I_{d})\mathcal{K}_{d,d}\big{)}$$

$$+\frac{\mathcal{I}_{d/2+3}(\kappa_{0})}{\mathcal{I}_{d/2-1}(\kappa_{0})}\mathrm{vec}(\mu_{0}\mu_{0}^{\top})\mathrm{vec}(\mu_{0}\mu_{0}^{\top})^{\top},$$

where $\mathcal{K}_{d,d}$ is the commutation matrix, as well as

$$\mathbb{E}[X\mathrm{vec}(XX^{\top})^{\top}]= \frac{\mathcal{I}_{d/2+1}(\kappa_{0})}{\kappa_{0}\mathcal{I}_{d/2-1}(\kappa_{0})}\big{(}I_{d}\otimes\mu_{0}^{\top}+(I_{d}\otimes\mu_{0}^{\top})\mathcal{K}_{d,d}+\mu_{0}\,\mathrm{vec}(I_{d})^{\top}\big{)}$$

$$+\frac{\mathcal{I}_{d/2+2}(\kappa_{0})}{\mathcal{I}_{d/2-1}(\kappa_{0})}\mu_{0}\,\mathrm{vec}(\mu_{0}\mu_{0}^{\top})^{\top}.$$

We also need the corresponding covariance matrices:

$$\mathrm{Var}[X]=\frac{1}{\kappa_{0}}\frac{\mathcal{I}_{d/2}(\kappa_{0})}{\mathcal{I}_{d/2-1}(\kappa_{0})}I_{d}+\bigg{(}\frac{\mathcal{I}_{d/2+1}(\kappa_{0})}{\mathcal{I}_{d/2-1}(\kappa_{0})}-\bigg{(}\frac{\mathcal{I}_{d/2}(\kappa_{0})}{\mathcal{I}_{d/2-1}(\kappa_{0})}\bigg{)}^{2}\bigg{)}\mu_{0}\mu_{0}^{\top}$$

and

$$\mathrm{Var}[\mathrm{vec}(XX^{\top})]= \frac{\mathcal{I}_{d/2+2}(\kappa_{0})}{\kappa_{0}\mathcal{I}_{d/2-1}(\kappa_{0})}\big{(}\mathrm{vec}(I_{d})\mathrm{vec}(\mu_{0}\mu_{0}^{\top})^{\top}+\mathrm{vec}(\mu_{0}\mu_{0}^{\top})\mathrm{vec}(I_{d})^{\top}+\mu_{0}\mu_{0}^{\top}\otimes I_{d}$$

$$\qquad\qquad\qquad+I_{d}\otimes\mu_{0}\mu_{0}^{\top}+(\mu_{0}\mu_{0}^{\top}\otimes I_{d})\mathcal{K}_{d,d}+(I_{d}\otimes\mu_{0}\mu_{0}^{\top})\mathcal{K}_{d,d}\big{)}$$

$$+\frac{\mathcal{I}_{d/2+1}(\kappa_{0})}{\kappa_{0}^{2}\mathcal{I}_{d/2-1}(\kappa_{0})}\big{(}\mathrm{vec}(I_{d})\mathrm{vec}(I_{d})^{\top}+I_{d}\otimes I_{d}+(I_{d}\otimes I_{d})\mathcal{K}_{d,d}\big{)}$$

$$+\frac{\mathcal{I}_{d/2+3}(\kappa_{0})}{\mathcal{I}_{d/2-1}(\kappa_{0})}\mathrm{vec}(\mu_{0}\mu_{0}^{\top})\mathrm{vec}(\mu_{0}\mu_{0}^{\top})^{\top}$$

$$-\bigg{(}\frac{1}{\kappa_{0}}\frac{\mathcal{I}_{d/2}(\kappa_{0})}{\mathcal{I}_{d/2-1}(\kappa_{0})}\bigg{)}^{2}\mathrm{vec}(I_{d})\mathrm{vec}(I_{d})^{\top}$$

$$-\frac{2}{\kappa_{0}}\frac{\mathcal{I}_{d/2+1}(\kappa_{0})}{\mathcal{I}_{d/2-1}(\kappa_{0})}\frac{\mathcal{I}_{d/2}(\kappa_{0})}{\mathcal{I}_{d/2-1}(\kappa_{0})}\mathrm{vec}(I_{d})\mathrm{vec}(\mu_{0}\mu_{0}^{\top})^{\top}$$

$$-\bigg{(}\frac{\mathcal{I}_{d/2+1}(\kappa_{0})}{\mathcal{I}_{d/2-1}(\kappa_{0})}\bigg{)}^{2}\mathrm{vec}(\mu_{0}\mu_{0}^{\top})\mathrm{vec}(\mu_{0}\mu_{0}^{\top})^{\top}$$

as well as

$$V:=\mathbb{E}[X\mathrm{vec} (XX^{\top})^{\top}]-\mathbb{E}[X]\mathbb{E}[\mathrm{vec}(XX^{\top})]^{\top}$$

$$= \frac{\mathcal{I}_{d/2+1}(\kappa_{0})}{\kappa_{0}\mathcal{I}_{d/2-1}(\kappa_{0})}\big{(}I_{d}\otimes\mu_{0}^{\top}+(I_{d}\otimes\mu_{0}^{\top})\mathcal{K}_{d,d}+\mu_{0}\,\mathrm{vec}(I_{d})^{\top}\big{)}$$

$$+\frac{\mathcal{I}_{d/2+2}(\kappa_{0})}{\mathcal{I}_{d/2-1}(\kappa_{0})}\mu_{0}\,\mathrm{vec}(\mu_{0}\mu_{0}^{\top})^{\top}$$

$$-\bigg{(}\frac{\mathcal{I}_{d/2}(\kappa_{0})}{\mathcal{I}_{d/2-1}(\kappa_{0})}\bigg{)}\bigg{(}\frac{1}{\kappa_{0}}\frac{\mathcal{I}_{d/2}(\kappa_{0})}{\mathcal{I}_{d/2-1}(\kappa_{0})}\mu_{0}\,\mathrm{vec}(I_{d})^{\top}+\frac{\mathcal{I}_{d/2+1}(\kappa_{0})}{\mathcal{I}_{d/2-1}(\kappa_{0})}\mu_{0}\,\mathrm{vec}(\mu_{0}\mu_{0}^{\top})^{\top}\bigg{)}.$$

With

$$Y_{n}=\begin{pmatrix}\mathrm{vec}(\overline{XX^{\top}})\\ \overline{X}\end{pmatrix}$$

we know by the central limit theorem that

$$\sqrt{n}(Y_{n}-\mathbb{E}[Y_{n}])\overset{D}{\longrightarrow}N(0,\Lambda)$$

with

$$\Lambda=\begin{pmatrix}\mathrm{Var}[\mathrm{vec}(XX^{\top})]&V^{\top}\\ V&\mathrm{Var}[X]\end{pmatrix}$$

as $n\rightarrow\infty$. With $\ell:\mathbb{R}^{d}\rightarrow\mathbb{R}^{d}$, $x\mapsto x/\|x\|$ we define $G:\mathbb{R}^{d\times d}\times\mathbb{R}^{d}\supset\widetilde{D}\rightarrow\mathbb{R}$ as the function

$$G(Z,z)=\frac{(d-1)\ell(z)^{\top}(I_{d}-Z)z}{\ell(z)^{\top}(I_{d}-Z)^{2}\ell(z)},$$

where $Z\in\mathbb{R}^{d\times d}$, $z\in\mathbb{R}^{d}$, and $\widetilde{D}$ is the set of all $(Z,z)$ such that $\ell(z)^{\top}(I_{d}-Z)^{2}\ell(z)\neq 0$, which is an open set. In the sequel, when we differentiate a matrix-valued function with respect to a matrix-valued argument, we consider the vectorized function and the vectorized argument, i.e. $\frac{\partial f}{\partial x}=\frac{\partial\mathrm{vec}(f)}{\partial\mathrm{vec}(x)}$. We have that

$$\begin{split}\frac{\partial G(Z,z)}{\partial Z}=&-\frac{(d-1)(z\otimes\ell(z))^{\top}}{\ell(z)^{\top}(I_{d}-Z)^{2}\ell(z)}\\ &+\frac{(d-1)\mathrm{vec}\big{(}(I_{d}-Z)^{\top}\ell(z)\ell(z)^{\top}+\ell(z)\ell(z)^{\top}(I_{d}-Z)^{\top}\big{)}^{\top}\ell(z)^{\top}(I_{d}-Z)z}{\big{(}\ell(z)^{\top}(I_{d}-Z)^{2}\ell(z)\big{)}^{2}}\end{split}$$ (10)

and

$$\begin{split}\frac{\partial G(Z,z)}{\partial z}=&2(d-1)\bigg{(}\frac{\ell(z)^{\top}(I_{d}-Z)}{\ell(z)^{\top}(I_{d}-Z)^{2}\ell(z)}-\frac{\ell(z)^{\top}(I_{d}-Z)\ell(z)\ell(z)^{\top}(I_{d}-Z)^{2}}{\big{(}\ell(z)^{\top}(I_{d}-Z)^{2}\ell(z)\big{)}^{2}}\bigg{)}\big{(}I_{d}-\ell(z)\ell(z)^{\top}\big{)}\\ &+G(Z,z)\frac{\ell(z)^{\top}}{\|z\|}.\end{split}$$ (11)

For the latter derivative we applied the product rule to

$$G(Z,z)=\frac{(d-1)\ell(z)^{\top}(I_{d}-Z)\ell(z)}{\ell(z)^{\top}(I_{d}-Z)^{2}\ell(z)}\cdot\|z\|$$

and used that $\nabla\ell(z)=(I_{d}-\ell(z)\ell(z)^{\top})/\|z\|$. By setting $Z=\mathbb{E}[XX^{\top}]$ and $z=\mathbb{E}[X]$ in (10) and (11) we obtain

$$P_{1}=\frac{\mathcal{I}_{d/2-1}(\kappa_{0})\kappa_{0}^{2}}{(d-1)\mathcal{I}_{d/2}(\kappa_{0})}(\mu_{0}\otimes\mu_{0})^{\top}$$

and

$$P_{2}=\frac{\mathcal{I}_{d/2-1}(\kappa_{0})\kappa_{0}}{\mathcal{I}_{d/2}(\kappa_{0})}\mu_{0}^{\top}.$$

For the calculation above we used that $\ell(\mathbb{E}[X])=\mu_{0}$. Now, we can apply the delta method to the random vector $Y_{n}$ with the function $G$. Then the asymptotic covariance matrix is given by

$$P= P_{1}\mathrm{Var}[\mathrm{vec}(XX^{\top})]P_{1}^{\top}+2P_{2}VP_{1}^{\top}+P_{2}\mathrm{Var}[X]P_{2}^{\top}.$$

Tedious calculations then give the variance structure from the statement of the theorem. ∎

Proof of Theorem 4.1.

Let $G$ be the function which maps $Y_{n}$ onto $\hat{\kappa}_{n}$. It is clear that $\hat{\kappa}_{n}^{\bullet}$ is a differentiable function of $Y_{n}$ (see [31, Lemma 3.1.3] for the differentiability of $\hat{\mu}_{n}^{\bullet}$ with respect to $\overline{XX^{\top}}$) for a given value of $\bullet$. Now, note that under the assumptions of the theorem, $\hat{\theta}_{n}=(\hat{\kappa}_{n},\hat{\mu}_{n})$ is consistent in the sense of Theorem 2.2, and therefore the probability of choosing the correct value for $\bullet$ is converging to $1$. In a similar way, with the assumptions made in the statement of the theorem, the probability that the two largest resp. smallest eigenvalues of the scatter matrix are distinct is converging to $1$. Hence, the function $G$ is well-defined with probability converging to $1$ and we can apply the delta method together with the central limit theorem which then gives the result. ∎