Principal Curves for Statistical Divergences and an Application to Finance

Abstract

This paper proposes a method for the beta pricing model under the consideration of non-Gaussian returns by means of a generalization of the mean-variance model and the use of principal curves to define a divergence model for the optimization of the pricing model. We rely on the q-exponential model so consider the properties of the divergences which are used to describe the statistical model and fully characterize the behavior of the assets. We derive the minimum divergence portfolio, which generalizes the Markowitz’s (mean-divergence) approach and relying on the information geometrical aspects of the distributions the Capital Asset Pricing Model (CAPM) is then derived under the geometrical characterization of the distributions which model the data, all by the consideration of principal curves approach. We discuss the possibility of integration of our model into an adaptive procedure that can be used for the search of optimum points on finance applications.

1. Introduction

In their seminal paper [1], Hastie and Stuetzle proposed a notion of principal curves as an elegant and geometric non-linear generalization of factor models as the principal component analysis. A principal curve has the property of self-consistence in the sense that it passes through the middle of the data set representing a sample of some random variable. More precisely, any point of the curve coincides with the expected value of the data projected on it. This is a direct consequence of the fact that a principal curve $\mathbf{f}$ is critical for the variance of the Euclidean distance between the data and any locally defined perturbation of $\mathbf{f}$. In particular, a straight line is a principal curve if and only if its direction is an eigenvector of the covariance matrix of z, where z stands for the a vector containing the observed data.

The original idea by Hastie and Stuetzle has been developed into relevant improvements, applications and extensions. We point out however that the criticality of a principal curve is usually defined in terms of the Euclidean distance. Hence, although $\mathbf{f}$ itself could represent non-Euclidean features of the model, some underlying least-squares approach is still in force. Our main contribution here is to rephrase the notion of principal curves (and, more generally, of principal p-submanifolds) in terms of a general statistical divergence which replaces the Euclidean divergence, that is, the variance used in the original definition.

Considering statistical divergences as Kullback–Leibler or Bregman divergence allows us to deal with random variables with probabilities given by exponential and deformed exponential distributions. In the context of exponential and $\varphi$-exponential statistical families, straight lines are replaced by affine geodesics and the Hessian of the cumulant function plays the role of a generalized covariance.

As highlighted by Naudts, deformed exponentials play a central role in the foundations of the Generalized Thermostatistics formulated by Tsallis [2,3] and collaborators. This new approach to Thermodynamics has been evolved along the last two decades in a wide range of applications to complex systems, particularly in Finance [4,5,6,7]. Indeed, Naudts’ work established deep and fruitful connections between Statistical Physics and Information Geometry [8,9,10,11]. For instance, both Rényi’s and Tsallis’ entropies are described by Naudts in terms of statistical divergences in the family of q-exponential distributions that includes q-Gaussian distributions, defined in details by Plastino and Vignat [11,12,13,14,15]. The analytic and geometric features of deformed exponentials suggest that they are well suited to model non-normally distributed returns of contingent claims. In this direction, for instance, a non-Gaussian option pricing theory has been successfully proposed in terms of diffusion processes associated to q-Gaussian distributions [4,7,16,17,18]. Other related developments are summarized in [6,19].

In [20,21], the authors elaborated some preliminary results towards a theory of portfolio optimization in the context of deformed exponentials. One of the cornerstones of the modern Finance Theory, the classical Markowitz’s mean-variance model of portfolio selection, relies on the assumptions that the returns of assets are normally distributed and that the investor preferences are described by constant risk-aversion utility function. Some works have dealt with other variations of the portfolio optimization problem. For instance, Zagrodny [22] proposed a convex programming solution to portfolio selection by considering the Hilbert space and a reinsurance approach. In the multi-objective model, Sawik [23] used the expected return as the performance metric and expected worst-case return to measure the risk and providing good interpretation about the consideration of the variance of the risks.

The traditional criticism to the normality assumption in Markowitz’s theory raises the need of alternative models for dealing with non-Gaussian distributions. This question has been addressed since then under different methods. In [24,25], Nock et al. extended the Markowitz’s model to the wider family of exponential distributions, replacing the mean-variance by a mean-divergence model. Bregman divergences replace the variance as risk measures for non-Gaussian distributions, eventually encompassing information from higher order momenta. On the other hand, since statistical divergences define geometric notions on the statistical manifold of exponential distributions, their method has a geometric interpretation in terms of a steepest descent by the natural gradient of the risk premium [26,27,28].

In [20], the authors proposed a model of portfolio selection of financial assets that explores the non-additivity and non-normality aspects of Tsallis’ Thermostatistics. More precisely, they have extended the mean-divergence model in [24,25] to deformed exponentials families.

In the sequel, the authors formulated [21] a generalization of beta pricing models adapted to a mean-divergence portfolio selection [29,30,31]. In particular, it is presented an extension of Capital Asset Pricing Model (CAPM) flexible enough to be applied for financial returns with deformed exponential distributions. The method relies on a geometric approach to the classical mean-variance analysis developed by LeRoy and Werner [32] and Luenberger [33] (see also [34]). The main results in [20,21] are summarized in Section 3.

This paper is structured as follows. In Section 2, we define the generalized notion of principal curve and principal submanifold in the geometric context of a given statistical divergence. The earlier contributions for portfolio selection and asset pricing in the case of financial returns distributed according deformed exponential probability densities are schematically resumed in Section 3. In Section 4, we apply the generalized notion of principal submanifolds and the correspondent version of the principal component analysis to obtain an explicit expression of optimal principal portfolios is provided in Section 5.

2. Statistical Divergences and Principal Curves

Let $\mathcal{M}$ be a space of random variables $z=z\left(s\right)$ whose probability distributions are given by densities lying in a n-dimensional statistical manifold

$$\mathcal{S}=\{p(s,\mathit{\vartheta }):\mathit{\vartheta }\in U\subset {\mathbb{R}}^n\},$$

where $\mathit{\vartheta }=({\vartheta }_1,\dots ,{\vartheta }_n)$ are statistical parameters ranging in some open subset U of the n-dimensional Euclidean space ${\mathbb{R}}^n$. Let D be a given statistical divergence in $\mathcal{S}$. Given a curve $\mathbf{f}:\Lambda \subset \mathbb{R}\to \mathcal{M}$, a projection of z on the trace of $\mathbf{f}$ is a point $\mathbf{f}\left({\lambda }_{\ast }\right)$, for some ${\lambda }_{\ast }\in \Lambda$, such that

$$D\left(z\right|\mathbf{f}\left({\lambda }_{\ast }\right))=\underset{\lambda \in \Lambda }{inf}D\left(z\right|\mathbf{f}\left(\lambda \right)).$$ (1)

In the following, we suppose that such a projection exists and it is unique for any curve $\mathbf{f}:\Lambda \to \mathcal{M}$ we are going to consider. Under this assumption, we denote

$${\pi }_{\mathbf{f}}\left(z\right)=\mathbf{f}\left({\lambda }_{\ast }\right).$$ (2)

In this notation, we propose the following variational notion of principal curve relative to D:

Definition 1.

A curve $\mathbf{f}:\Lambda \to \mathcal{M}$ is a principal curve in $(\mathcal{M},D)$ if

$$D\left(z\right|{\pi }_{\mathbf{f}}\left(z\right))=\underset{s\in (-ϵ,ϵ)}{inf}D\left(z\right|{\pi }_{{\mathbf{f}}_s}\left(z\right))$$ (3)

for all one-parameter family of curves ${\mathbf{f}}_s:\Lambda \to \mathcal{M}$, $s\in (-ϵ,ϵ)$, such that ${\mathbf{f}}_0=\mathbf{f}$.

Recall that a statistical divergence D determines a dually flat structure in $\mathcal{M}$ for which affine geodesics are parameterized as straight lines of the form

$$\mathbf{f}\left(\lambda \right)=\mathbf{a}+\lambda \mathbf{u},\lambda \in \Lambda ,$$

where $\mathbf{a}$ and $\mathbf{u}$ are constant vectors. By definition, the projection of the random variable z on a principal curve $\mathbf{f}$ minimizes the divergence among the projections on curves close to $\mathbf{f}$. Projections satisfy a Pythagorean theorem, one of the fundamental results in Information Geometry that can be stated as follows.

Theorem 1

(Theorem 1.2 and Theorem 1.3, [26]). Given $o,z,w\in \mathcal{M}$ such that that the dual affine geodesic connecting z and w is orthogonal to the affine geodesic connecting w and o, the following generalized Pythagorean relation holds

$$D\left(z\right|o)=D(w\left|o\right)+D\left(z\right|w).$$ (4)

Similarly, if the affine geodesic connecting z and w is orthogonal to the dual affine geodesic connecting w and o, we have the dual relation

$$D^{\ast }\left(z\right|o)=D^{\ast }\left(w\right|o)+D^{\ast }\left(z\right|w),$$ (5)

where $D^{\ast }$ is the dual divergence. The dual divergence is defined with respect to the dual connection as defined in [26].

In view of this proposition, it is natural to draw our attention to one-parameter families of affine geodesics in $\mathcal{M}$.

Theorem 2.

An affine geodesic in $(\mathcal{M},D)$ is a principal curve with respect to one-parameter families of affine geodesics if and only if its direction is an eigenvector of the Fisher metric $\mathcal{G}={\nabla }^{2}D$ associated to D.

Proof. 

Denote by $\nabla D$ and ${\nabla }^{2}D$, respectively, the differential and Hessian of D with respect to the second variable. Hence, we have for a fixed $s\in (-ϵ,ϵ)$ that

$$\begin{array}{c}\hfill 0=\frac{\mathrm{d}}{\mathrm{d}\lambda }D\left(z\right|\mathbf{f}(s,\lambda ))=\frac{\mathrm{d}}{\mathrm{d}\lambda }D\left(z\right|\mathbf{f}(s,\lambda ))=〈\nabla D\left(z\right|\mathbf{f}(s,\lambda )),\frac{\partial \mathbf{f}}{\partial \lambda }〉\end{array}$$

where the derivative is computed at the critical value $\lambda ={\lambda }_{\ast }\left(s\right)$ and for a fixed value of s, ${\mathbf{f}}_s$ is a geodesic parameterized by $\lambda$ which we can write ${\mathbf{f}}_s\left(\lambda \right)=\mathbf{f}(s,\lambda )$.

Denote

$$\mathbf{c}\left(s\right)=\mathbf{f}(s,{\lambda }_{\ast }\left(s\right)),s\in (-ϵ,ϵ).$$

Note that

$${\mathbf{c}}^{\prime }\left(s\right)=\frac{\partial \mathbf{f}}{\partial s}(s,{\lambda }_{\ast }\left(s\right))+\frac{\partial \mathbf{f}}{\partial \lambda }(s,{\lambda }_{\ast }\left(s\right))\frac{\mathrm{d}{\lambda }_{\ast }}{\mathrm{d}s}.$$

Hence, we obtain

$$\begin{array}{c}\frac{\mathrm{d}}{\mathrm{d}s}〈\nabla D\left(z\right|\mathbf{c}\left(s\right)),\frac{\partial \mathbf{f}}{\partial \lambda }(s,{\lambda }_{\ast }\left(s\right))〉=〈\nabla D\left(z\right|\mathbf{c}\left(s\right)),\frac{\mathrm{d}}{\mathrm{d}s}\frac{\partial \mathbf{f}}{\partial \lambda }(s,{\lambda }_{\ast }\left(s\right))〉\hfill \\ +{\mathbf{c}}^{\prime }{\left(s\right)}^{\top }{\nabla }^{2}D\left(z\right|\mathbf{c}\left(s\right))\frac{\partial \mathbf{f}}{\partial \lambda }(s,{\lambda }_{\ast }\left(s\right))=〈\nabla D\left(z\right|\mathbf{c}\left(s\right)),\frac{\mathrm{d}}{\mathrm{d}s}\frac{\partial \mathbf{f}}{\partial \lambda }(s,{\lambda }_{\ast }\left(s\right))〉\hfill \\ +{\left(\frac{\partial \mathbf{f}}{\partial s}(s,{\lambda }_{\ast }\left(s\right))+\frac{\partial \mathbf{f}}{\partial \lambda }(s,{\lambda }_{\ast }\left(s\right))\frac{\mathrm{d}{\lambda }_{\ast }}{\mathrm{d}s}\right)}^{\top }{\nabla }^{2}D\left(z\right|\mathbf{c}\left(s\right))\frac{\partial \mathbf{f}}{\partial \lambda }(s,{\lambda }_{\ast }\left(s\right)).\hfill \end{array}$$

We may write

$$\mathbf{f}(s,\lambda )=\mathbf{f}\left(\lambda \right)+s\mathbf{v}\left(\lambda \right)+O\left(s^2\right),$$

where

$$\mathbf{v}\left(\lambda \right)=\frac{\partial \mathbf{f}}{\partial s}(0,\lambda )$$

is the variational field that corresponds to $\mathbf{f}$. Thus, we have

$$\frac{\partial \mathbf{f}}{\partial \lambda }(s,{\lambda }_{\ast }\left(s\right))={\mathbf{f}}^{\prime }\left({\lambda }_{\ast }\left(s\right)\right)+s{\mathbf{v}}^{\prime }\left({\lambda }_{\ast }\left(s\right)\right)+O\left(s^2\right)$$

and

$$\frac{\mathrm{d}}{\mathrm{d}s}{|}_{s=0}\frac{\partial \mathbf{f}}{\partial \lambda }(s,{\lambda }_{\ast }\left(s\right))={\mathbf{f}}^{″}\left({\lambda }_{\ast }\right)\frac{\mathrm{d}{\lambda }_{\ast }}{\mathrm{d}s}{|}_{s=0}+{\mathbf{v}}^{\prime }\left({\lambda }_{\ast }\left(s\right)\right).$$

If $\mathbf{f}=\mathbf{f}(0,·)$ is a critical curve, we have

$$\begin{array}{cc}\hfill 0& =\frac{\mathrm{d}}{\mathrm{d}s}{|}_{s=0}〈\nabla D\left(z\right|\mathbf{c}\left(s\right)),\frac{\partial \mathbf{f}}{\partial \lambda }(s,{\lambda }_{\ast }\left(s\right))〉=〈\nabla D\left(z\right|\mathbf{f}\left({\lambda }_{\ast }\right)),\frac{\mathrm{d}}{\mathrm{d}s}\frac{\partial \mathbf{f}}{\partial \lambda }(0,{\lambda }_{\ast })〉\hfill \\ & +{\left(\mathbf{v}\left({\lambda }_{\ast }\right)+\frac{\mathrm{d}{\lambda }_{\ast }}{\mathrm{d}s}{|}_{s=0}{\mathbf{f}}^{\prime }\left({\lambda }_{\ast }\right)\right)}^{\top }{\nabla }^{2}D\left(z\right|\mathbf{f}\left({\lambda }_{\ast }\right)){\mathbf{f}}^{\prime }\left({\lambda }_{\ast }\right).\hfill \end{array}$$

We conclude that

$$\begin{array}{c}{\left(\mathbf{v}\left({\lambda }_{\ast }\right)+\frac{\mathrm{d}{\lambda }_{\ast }}{\mathrm{d}s}{|}_{s=0}{\mathbf{f}}^{\prime }\left({\lambda }_{\ast }\right)\right)}^{\top }{\nabla }^{2}D\left(z\right|\mathbf{f}\left({\lambda }_{\ast }\right)){\mathbf{f}}^{\prime }\left({\lambda }_{\ast }\right)\hfill \\ +〈\nabla D\left(z\right|\mathbf{f}\left({\lambda }_{\ast }\right)),{\mathbf{f}}^{″}\left({\lambda }_{\ast }\right)\frac{\mathrm{d}{\lambda }_{\ast }}{\mathrm{d}s}{|}_{s=0}+{\mathbf{v}}^{\prime }\left({\lambda }_{\ast }\left(s\right)\right)〉=0.\hfill \end{array}$$

Setting ${\mathbf{f}}^{″}\left(\lambda \right)=0$ and ${\mathbf{v}}^{\prime }\left(\lambda \right)=0$, one gets

$$\begin{array}{c}\hfill {\left(\mathbf{v}\left({\lambda }_{\ast }\right)+\frac{\mathrm{d}{\lambda }_{\ast }}{\mathrm{d}s}{|}_{s=0}{\mathbf{f}}^{\prime }\left({\lambda }_{\ast }\right)\right)}^{\top }{\nabla }^{2}D\left(z\right|\mathbf{f}\left({\lambda }_{\ast }\right)){\mathbf{f}}^{\prime }\left({\lambda }_{\ast }\right)=0.\end{array}$$

Since $\mathsf{v}\left({\lambda }_{\ast }\right)$ can be arbitrarily chosen in such a way that $\mathbf{v}\left({\lambda }_{\ast }\right)$ and ${\mathbf{f}}^{\prime }\left({\lambda }_{\ast }\right)$ are linearly independent, we conclude there exists $\mu \in \mathbb{R}$ such that

$${\nabla }^{2}D\left(z\right|\mathbf{f}\left({\lambda }_{\ast }\right)){\mathbf{f}}^{\prime }\left({\lambda }_{\ast }\right)=\mu {\mathbf{f}}^{\prime }\left({\lambda }_{\ast }\right).$$ (6)

This means that ${\mathbf{f}}^{\prime }\left({\lambda }_{\ast }\right)$ is an an eigenvector of the Fisher information metric at the point $\mathbf{f}\left({\lambda }_{\ast }\right)$

$${\mathcal{G}}_{\mathbf{f}\left({\lambda }_{\ast }\right)}={\nabla }^{2}D\left(z\right|\mathbf{f}\left({\lambda }_{\ast }\right))$$ (7)

associated to the divergence D. This finishes the proof. ☐

A result concerning principal submanifolds similar to Theorem 2 follows easily as a scholia of its proof: we may consider the projection of the random variable z onto a p-dimensional affine submanifold in $\mathcal{M}$ parameterized by a smooth map $\mathbf{f}:\Lambda \subset {\mathbb{R}}^p\to \mathcal{M}$ whose differential has rank p. The submanifold $\mathbf{f}(\Lambda )$ is principal with respect to families of affine submanifolds if and only if it is spanned by p geodesics whose velocities are linearly independent and are eigenvectors of the Hessian matrix $\mathcal{G}={\nabla }^{2}D$ at the projection point.

A fundamental example of divergence is the Euclidean $L^2$-norm

$$D_{\mathrm{euc}}\left(z\right|w)=\frac{1}{2}{|z-w|}^2,z,w\in \mathcal{M}$$

on which is based both the least-squares method and the principal component analysis. In their seminal work [1], Hastie and Stuetzle proved that a Euclidean straight line is a principal curve with respect to their definition if and only if its direction is an eigenvector of the covariance matrix of the random variable z.

Now, we obtain an extension of this result by Hastie and Stuetzle valid in the context of non-Euclidean statistical divergences. In our setting, the role of the covariance matrix is played by its non-Euclidean and non-Gaussian counterpart, namely the Hessian matrix ${\nabla }^{2}K$, where K is the cumulant generating function.

Corollary 1.

Let K be a convex function in $\mathcal{S}$ and D be the Bregman divergence in $\mathcal{M}$ determined by K. Then an affine geodesic is a principal curve with respect to one-parameter families of affine geodesics in $\mathcal{M}$ if and only if its direction is an eigenvector of the Hessian of K.

Proof. 

This follows directly from Theorem 2 once we have observed that the Fisher metric in this case coincides with the Hessian of K. This is however a well-known fact that may be deduced easily from the definition of the Bregman divergence itself as

$$D\left(z\right|w)=K(z)-K(w)-\langle \nabla K(w),z-w\rangle .$$ (8)

For details, we refer the reader to [26]. ☐

In the sequel, we are going to consider more general examples, not necessarily quadratic. For instance, we may fix the Kullback–Leibler divergence

$$D_{KL}\left(z(·,\mathit{\vartheta })\right|w(·,{\mathit{\vartheta }}^{\prime }))=\int p(s,\mathit{\vartheta })log\left(\frac{p(s,\mathit{\vartheta })}{p(s,{\mathit{\vartheta }}^{\prime })}\right)\mathrm{d}s$$

or, more generally, the relative $\varphi$-entropy associated to $\varphi$-exponential distributions.

3. The Space of Financial Assets

From now on, $\mathcal{M}$ stands for the linear span of financial assets traded in a securities market. More precisely, every point in $\mathcal{M}$ corresponds to the payoff z of a contingent claim at a fixed time, say $t=1$, a random variable

$$z=z\left(s\right),$$

where s are the states of the world with probability distribution specified by some density $p(s;\mathit{\vartheta })$. Recall that $\mathit{\vartheta }$ is the distribution parameter of a family of probability distributions in a n-dimensional statistical manifold $\mathcal{S}$.

In the following, we will consider the statistical manifold of $\varphi$-exponential probability densities

$$p(s,\mathit{\vartheta })={exp}_{\varphi }(\langle T\left(s\right),\mathit{\vartheta }\rangle -K(s,\mathit{\vartheta }))p_0\left(\mathit{\vartheta }\right),\mathit{\vartheta }\in {\mathbb{R}}^n,$$

where T is a sufficient statistics of the random variable $z\left(s\right)$ and K is the moment generating function. Here, $p_0$ is a fixed reference density and ${exp}_{\varphi }$ is the $\varphi$-exponential defined as the inverse function of the $\varphi$-logarithm [8,9]

$${log}_{\varphi }\left(t\right)={\int }_1^t\frac{1}{\varphi \left(s\right)}\mathrm{d}s,$$

where $\varphi :(0,+\infty )\to (0,+\infty )$ is a strictly positive, nondecreasing and continuous real function. A particular case of this deformed exponential is given by the q-exponential function

$${exp}_q\left(t\right)={(1+(1-q)t)}^{\frac{1}{1-q}}$$

with $q>0$, which corresponds to set $\varphi \left(t\right)=t^q$, Hence, the q-logarithm is defined by

$${log}_q\left(t\right)={\int }_1^t\frac{1}{s}\mathrm{d}s=\frac{1}{1-q}(t^{1-q}-1).$$

The moment generating function K defines a Bregman divergence given by

$$D\left(z\right|w)=K(z)-K(w)-\langle \nabla K(z),z-w\rangle .$$

where the probability distributions of $z\left(s\right)$ and $w\left(s\right)$ are, respectively, given by the densities $p(s,\mathit{\vartheta })$ and $p(s,{\mathit{\vartheta }}^{\prime })$.

3.1. Deformed Exponentials and Portfolio Selection

Setting $\varphi \left(t\right)=t$, one gets the family of exponential distributions, in particular multivariate Gaussian distributions. For this family, Nock et al. [24,25] represented the key concepts of Portfolio Selection theory in terms of the moment generating function and the associated Bregman divergence. More precisely, they proved that, for constant absolute risk aversion (CARA) utility functions, the certainty equivalent and risk premium of risky assets are, respectively, given by

$$C=\frac{1}{a}\left(K\left(z(·,\mathit{\vartheta })\right)-K\left(w(·,{\mathit{\vartheta }}^{\prime })\right)\right)$$

and

$$\Pi =\frac{1}{a}D\left[z(·,\mathit{\vartheta })\right)\left|w(·,{\mathit{\vartheta }}^{\prime })\right],$$

where $a>0$ is a risk-aversion parameter. Hence, they extended the classical mean-variance portfolio selection to a general mean-divergence model for which an optimal allocation $\mathit{\alpha }$ is a solution of the minimization problem

$$\underset{\mathit{\alpha }}{min}\left(\langle \nabla K(\mathit{\vartheta }-a\mathit{\alpha }),\mathit{\alpha }\rangle +\frac{1}{a}{D}_{\varphi }\left(\mathit{\vartheta }\right|(\mathit{\vartheta }-a\mathit{\alpha })\right).$$

In the particular case of Gaussian distributed returns, they easily recover the classical Markowitz’s optimal portfolio allocation vector

$$\mathit{\alpha }=\frac{{\Sigma }^{-1}\mathbf{1}}{{\mathbf{1}}^{\top }{\Sigma }^{-1}\mathbf{1}},$$

where $\Sigma$ is the variance-covariance matrix of the returns on the assets.

In [20], the authors extended this approach to $\varphi$-exponential distributions, in particular to q-exponential distributions. They proved that the optimal portfolio for their extended mean-divergence model is given in terms of the cumulant function by

$$\mathit{\alpha }=\frac{{\nabla }^{2}K{\left(\mathit{\vartheta }\right)}^{-1}\mathbf{1}}{{\mathbf{1}}^{\top }{\nabla }^{2}K{\left(\mathit{\vartheta }\right)}^{-1}\mathbf{1}}·$$ (9)

Note that the Hessian of the (convex) function K is positive-definite and plays the role of the variance-covariance matrix in the Gaussian case. In the particular case of q-Gaussian distributions [14], the optimal allocation portfolio is given by

$$\mathit{\alpha }=\frac{{\Sigma }_q^{-1}\mathbf{1}}{{\mathbf{1}}^{\top }{\Sigma }_q^{-1}\mathbf{1}}$$ (10)

where

$${\Sigma }_q={\gamma }_q{C}_{q,n}^{1-q}{|\Sigma |}^{\frac{1-q}{2}}\Sigma$$ (11)

with

$${\gamma }_q=\frac{1}{2}\left((n+4)-(n+2)q\right)$$ (12)

and

$$C_{q,n}=\left\{\begin{array}{c}\frac{\Gamma (\frac{1}{q-1}-\frac{n}{2})\sqrt{\pi }}{\Gamma \left(\frac{1}{q-1}\right)}{\left(\frac{1}{q-1}\right)}^{\frac{n}{2}}{\left((n+4)-(n+2)q)\right)}^{\frac{n}{2}},\mathrm{for}1<q<\frac{n+4}{n+2},\hfill \\ \frac{\Gamma \left(\frac{2-q}{1-q}\right)\sqrt{\pi }}{\Gamma (\frac{2-q}{q-1}+\frac{n}{2})}{\left(\frac{1}{1-q}\right)}^{\frac{n}{2}}{\left((n+4)-(n+2)q)\right)}^{\frac{n}{2}},\mathrm{for}q<1.\hfill \end{array}\right.$$ (13)

Here, $|\Sigma |$ is the determinant of $\Sigma$. We refer the reader to [14] for further details in q-multivariate Gaussian distributions. It is evident that one re-obtains the Markowitz’s portfolio for $q=1$ in Equation (10).

In view of Equation (9), the authors have elaborated in [20] a steepest descent algorithm by the natural (Riemannian) gradient of the risk premium. Some empirical support to the proposed method is provided by comparing the cumulated returns and the evolution of the divergence for optimal portfolios according to the mean-divergence model and the classical one by Markowitz. The numerical evaluations in [20] show the proposal is able to yield better tracking of deep changes in the stock market, such as the ones present in crisis scenarios, and yet produce a higher return than the classical mean-variance strategy.

3.2. Mean-Divergence Efficient Frontier

In Markowitz’s model, the optimal portfolio allocation lies in the mean-variance efficient frontier that bounds the feasible set of allowed returns and risks of traded risky portfolios. In [32,33], LeRoy, Werner and Luenberger have developed a geometric approach to the mean-variance analysis in terms of the geometry of orthogonal projections onto a mean-variance efficient frontier. From this approach, they easily deduce an elegant geometric interpretation of the celebrated Capital Asset Pricing Method (CAPM) as well as other factor pricing models.

In [21], the authors have extended the geometric pricing method to general divergence geometries in $\mathcal{M}$ instead of the Hilbert space $L^2$-norm.

Since K is a strictly convex function, its Hessian is positive-definite and then defines a Riemannian metric in $\mathcal{M}$, that is, for each $z\in \mathcal{M}$, we define an inner product in the tangent space $T_z\mathcal{M}$ by

$${\mathcal{G}}_z={\nabla }^{2}K\left(z\right).$$ (14)

This metric can be expanded in local coordinates around a fixed reference point $o\in \mathcal{M}$ as

$${\mathcal{G}}_z\sim {\nabla }^{2}K\left(o\right)+{o\left(\right|z|}^2),$$ (15)

where quadratic terms are determined in terms of the Riemann curvature of the Riemannian manifold $(\mathcal{M},g)$, see [35].

Denote by $k_{\mathsf{e}}$ the expectation kernel, that is, an asset in $\mathcal{M}$ that yields the expected payoffs of the assets in $\mathcal{M}$. More precisely,

$${\mathcal{G}}_z(k_{\mathsf{e}},z)=\mathbb{E}\left[z\right]$$

for any $z\in \mathcal{M}$. We define the pricing kernel $k_{\mathsf{q}}$ as an asset in $\mathcal{M}$ that gives the price of any contingent claim $z\in \mathcal{M}$ as the expected discounted payoff

$$g(k_{\mathsf{q}},z)=\mathbb{E}\left[mz\right]=Q\left(z\right),$$

where m is a stochastic discount factor. Here, $Q:\mathcal{M}\to \mathbb{R}$ is the price functional, that is, the present value of the expected returns of the asset, discounted at rate m. The existence of this functional is one of the consequences of the Fundamental Theorem of Finance Theory whose key assumption is that there are no arbitrage portfolios in $\mathcal{M}$. For a comprehensive treatment of those fundamentals on Finance, we refer the reader to [32,36].

Denote by $\mathcal{E}$ the subspace in $\mathcal{M}$ spanned by $k_{\mathsf{e}}$ and $k_{\mathsf{q}}$. The projection $z^{\mathcal{E}}$ of $z\in \mathcal{M}$ onto $\mathcal{E}$ is defined by

$$D\left(z^{\mathcal{E}}\right|z)=\underset{w\in \mathcal{E}}{min}D\left(w\right|z).$$

It follows from the generalized Pythagorean Theorem for divergences (Theorem 1) that, fixing a reference point $o\in \mathcal{M}$, one has

$$D\left(z\right|o)=D\left(z^{\mathcal{E}}\right|o)+D\left(z\right|z^{\mathcal{E}}),z\in {\mathcal{M}}^{\prime }.$$ (16)

If the case of the divergence given by the Euclidean $L^2$-norm in $\mathcal{M}$

$$D_{\mathrm{euc}}\left(z\right|w)=\frac{1}{2}{|z-w|}^2$$

Equation (16) reduces to the Euclidean decomposition

$$\mathbb{E}\left[{\left|z\right|}^2\right]=\mathbb{E}{\left[z\right]}^2+\mathrm{var}\left[z\right],$$ (17)

where

$$\mathrm{var}\left[z\right]=\mathbb{E}\left[{(z-\mathbb{E}\left[z\right])}^2\right]$$

is the variance, the classical risk measure in Portfolio Theory [36,37].

Motivated by the analogy between Equations (16) and (17), the authors proposed in [21] the projection

$$\Pi \left(z\right)=D\left(z\right|z^{\mathcal{E}})$$

as a novel risk measure for assets $z\in \mathcal{M}$. Since it depends on the whole information about the probability densities $p(s,\mathit{\vartheta })$, this measure encodes higher moments of z instead of only the variance. Moreover, one easily verifies that $\Pi$ is the variance in the case of normally distributed returns and Euclidean divergence. Hence, we have defined a risk measure that embodies non-normality and non-Euclidean features of the returns of financial assets and the estimation of their statistical parameters, respectively.

The main result in [21] is that the two reference assets $k_{\mathsf{e}}$ and $k_{\mathsf{q}}$ determine the efficient frontier for portfolios of assets in $\mathcal{M}$ with respect to the risk measure $\Pi$. Indeed, we have the following theorem.

Theorem 3

(Theorem 2 in [21]). Let $\mathcal{E}=\mathrm{span}\{k_{\mathsf{e}},k_{\mathsf{q}}\}$ the subspace in $\mathcal{M}$ spanned by the expectation and pricing kernels. Given $z\in \mathcal{M}$, we have

$$\mathbb{E}\left[z\right]=\mathbb{E}\left[z^{\mathcal{E}}\right]$$

and

$$\Pi \left(z^{\mathcal{E}}\right)\le \Pi \left(z\right)$$

where $z^{\mathcal{E}}$ is the projection of z onto $\mathcal{E}$.

Since the efficient frontier is spanned by two assets, this last result can be regarded as a non-Gaussian and non-Euclidean version of the two-fund spanning theorem in Finance. Generalizing the mean-variance case, we can prove in the case of $\varphi$-exponentials that the efficient mean-divergence frontier for portfolio selection is spanned by two portfolios

$${\mathit{\alpha }}_{\mathbf{1}}=\frac{{\left({\nabla }^{2}K\right)}^{-1}\mathbf{1}}{{\mathbf{1}}^{\top }{\left({\nabla }^{2}K\right)}^{-1}\mathbf{1}}\mathrm{and}{\mathit{\alpha }}_{\mu }=\frac{{\left({\nabla }^{2}K\right)}^{-1}\mu }{{\mathbf{1}}^{\top }{\left({\nabla }^{2}K\right)}^{-1}\mu },$$

where $\mu$ is the desired expected return of the portfolio.

4. Generalized Beta Pricing Models and CAPM

Denote by $R_{\mathsf{e}}$ and $R_{\mathsf{q}}$ the returns of $k_{\mathsf{e}}$ and $k_{\mathsf{q}}$, respectively. In [21], the authors have proved that the minimum divergence portfolio in $\mathcal{M}$ is given by

$$z=R_{\mathsf{e}}+(1-\beta )(R_{\mathsf{q}}-R_{\mathsf{e}})$$

where

$$\beta =-\frac{g(R_{\mathsf{q}}-R_{\mathsf{e}},R_{\mathsf{e}})}{g(R_{\mathsf{q}}-R_{\mathsf{e}},R_{\mathsf{q}}-R_{\mathsf{e}})}.$$

A similar expression holds replacing the basic assets $k_{\mathsf{e}}$ and $k_{\mathsf{q}}$ by two efficient assets $k_{\lambda }$ and $k_{\nu }$ in $\mathcal{E}$ such that

$$\mathcal{G}(r_{\lambda },r_{\nu })=0.$$ (18)

These zero-covariance pair of assets is given by

$$r_{\lambda }=R_{\mathsf{e}}+\lambda (R_{\mathsf{q}}-R_{\mathsf{e}})$$

and

$$r_{\nu }=R_{\mathsf{e}}+\nu (R_{\mathsf{q}}-R_{\mathsf{e}})$$

where $\nu$ is given by

$$\nu =-\frac{\mathcal{G}(R_{\mathsf{e}},R_{\mathsf{e}})+\lambda \mathcal{G}(R_{\mathsf{q}}-R_{\mathsf{e}},R_{\mathsf{e}})}{\mathcal{G}(R_{\mathsf{q}}-R_{\mathsf{e}},R_{\mathsf{e}})+\lambda \mathcal{G}(R_{\mathsf{q}}-R_{\mathsf{e}},R_{\mathsf{q}}-R_{\mathsf{e}})}.$$ (19)

Note that $\nu$ is well-defined if and only if $k_{\lambda }$ is not the minimum divergence portfolio in $\mathcal{E}$.

We have obtained in [21] a generalized beta pricing equation involving $k_{\lambda }$ and $k_{\nu }$

$$\mathbb{E}\left[z\right]=\mathbb{E}\left[r_{\nu }\right]+\beta (\mathbb{E}\left[r_{\lambda }\right]-\mathbb{E}\left[r_{\nu }\right])$$ (20)

for assets in $z\in \mathcal{M}$, where the generalized beta coefficient is given by

$$\beta =\frac{\mathcal{G}(r,r_{\lambda })}{\mathcal{G}(r_{\lambda },r_{\lambda })}·$$ (21)

If there exists a risk-free asset $\mathbf{1}$ with return $R_{\mathsf{f}}$ in $\mathcal{M}$, we fix $r_{\nu }=\mathbf{1}$ reducing Equation (20) to

$$\mathbb{E}\left[z\right]=R_{\mathsf{f}}+\beta (\mathbb{E}\left[r_{\lambda }\right]-R_{\mathsf{f}}).$$ (22)

As in the classical CAPM, we can take $r_{\lambda }$ as the market return $r_{\mathsf{m}}$ since it is possible to prove under some assumptions that $r_{\mathsf{m}}$ is in the mean-divergence efficient frontier. More precisely, this is the case when every agent in the market has consumption preferences given by a time-separable utility function of the form

$$u(c_0,c_1)=u_0\left(c_0\right)+u_1(\mathbb{E}\left[c_1\right],\mathcal{G}{|}_{c_1}(c_1,c_1))$$ (23)

where $u_1$ is strictly decreasing with respect to the second variable. Here, $c_0$ is the agent’s consumption plan at time $t=0$ and $c_1=c_1\left(s\right)$ is a random variable in $\mathcal{M}$ that describes the consumption plan of the agent at time $t=1$.

Under this assumption, we obtained in [21] a generalized CAPM equation

$$\mathbb{E}\left[r\right]-R_{\mathsf{f}}=\tilde{\beta }(\mathbb{E}\left[r_{\mathsf{m}}\right]-R_{\mathsf{f}}),$$ (24)

where $r_{\mathsf{m}}$ is the return of the market portfolio and

$$\tilde{\beta }=\frac{\mathcal{G}(r,r_{\mathsf{m}})}{\mathcal{G}(r_{\mathsf{m}},r_{\mathsf{m}})}$$ (25)

is the generalized beta market. This coefficient measures the generalized covariance between the risk of the asset or portfolio and the market risk. Note that both Equations (20) and (24) define a generalized security market line [32,38].

The Fisher information metric $\mathcal{G}$ plays the role here of the covariance matrix. In the particular case when the returns of traded assets are distributed according to a q-Gaussian distribution, it holds that

$${\mathcal{G}}_z={\nabla }^{2}K\left(z\right)={\Sigma }_q$$

for every $z\in \mathcal{M}$, where the q-variance matrix ${\Sigma }_q$ is defined in Section 3.1.

5. Generalized Principal Components Analysis (PCA) and Applications to Finance

The results we have quoted in Section 3.2 and Section 4 indicate that the Hessian information matrix

$$\mathcal{G}={\nabla }^{2}D$$ (26)

plays a central role in the extension of portfolio selection and asset pricing models in the case of non-Gaussian returns. Even under the assumption of normality of the asset returns, $\mathcal{G}$ can provide a more accurate risk measure since it is sensitive to higher moments of the underlying probability distributions.

A portfolio composed by N risky assets $z_1,\dots ,z_N$ in $\mathbb{M}$ is determined by an allocation vector $\mathit{\alpha }=({\alpha }_1,\dots ,{\alpha }_N)\in {\mathbb{R}}^N$

$$\mathit{\alpha }D,$$ (27)

where D is the vector of payoffs ${(z_1,\dots ,z_N)}^{\top }$. We assume that the payoffs have probability distributions given by densities $p(s,{\mathit{\vartheta }}_i)\in \mathcal{S}$, $i=1,\dots ,N$. The expected return of this portfolio is

$$\mu =\mathit{\alpha }\mathbb{E}\left[D\right]=\sum _{i=1}^N{\alpha }_i\mathbb{E}\left[z_i\right]$$

whereas its generalized covariance is given by

$$\pi =\mathcal{G}(\mathit{\alpha }D,\mathit{\alpha }D)=\sum _{i,j=1}^N{\alpha }_i\mathcal{G}(z_i,z_j){\mathit{\alpha }}_j.$$

The matrix

$${\mathcal{G}}_{ij}:=\mathcal{G}(z_i,z_j)$$ (28)

is referred to as the generalized covariance matrix of the assets $z_1,\dots ,z_n$. Thus, we consider the optimization problem

$$\underset{\mathit{\alpha }}{min}\pi$$ (29)

subject to the constraint

$$\mathit{\alpha }{\mathit{\alpha }}^{\top }=1.$$ (30)

Setting the Lagrangian

$$L=\pi -{\lambda }_1(\mathit{\alpha }{\mathit{\alpha }}^{\top }-1),$$

one easily verifies that the first order necessary condition for the optimal portfolio $F^{\left(1\right)}$ is

$$\sum _{j=1}^N{\mathcal{G}}_{ij}{F}_j^{\left(1\right)}={\lambda }_1{F}_i^{\left(1\right)},$$ (31)

that is, $F^{\left(1\right)}$ is an eigenvector of the generalized covariance matrix $\mathcal{G}$ relative to the eigenvalue ${\lambda }_1$. Supposing the $\mathcal{G}$ has N distinct eigenvalues and iterating this same optimization procedure in subspaces orthogonal to the span of the already given eigenvectors, one obtains the principal directions $F^{\left(1\right)},\dots ,F^{\left(N\right)}$ correspondent to the eigenvalues

$${\lambda }_1\ge \dots \ge {\lambda }_N\ge 0.$$

We then define a matrix R by

$$z_j=\sum _{i=1}^N{R}_{ij}{F}^{\left(i\right)}$$

in such a way that an arbitrary portfolio’s payoffs may be rewritten as

$$\mathit{\alpha }D=\sum _{j=1}^N\left(\sum _{i=1}^N{\alpha }_j{R}_{ij}\right)F^{\left(i\right)}=:\sum _{i=1}^N{\beta }_i{F}^{\left(i\right)}.$$

Next, we restrict ourselves to the projections of portfolios onto the (totally geodesic) affine subspace spanned by the first $p<N$ principal directions $F^{\left(1\right)},\dots ,F^{\left(p\right)}$, taken as the most significant ones because they represent the largest p diagonal elements in the generalized covariance matrix in diagonal form, that is,

$${\mathcal{G}}_{\mathrm{diag}}=R^{-1}\mathcal{G}R.$$

Hence, we obtain a multi-factor linear model of the form

$$\mathit{\alpha }D=\sum _{i=1}^p{\beta }_i{F}^{\left(i\right)}+\epsilon ,$$ (32)

where

$$\epsilon =\sum _{i=p+1}^N{\beta }_i{F}^{\left(i\right)}$$

satisfies

$$\mathcal{G}\left(\epsilon ,\sum _{i=1}^p{\beta }_i{F}^{\left(i\right)}\right)=0.$$

The expected return of the p-principal portfolio

$$\sum _{i=1}^p{\beta }_i{F}^{\left(i\right)}$$

is

$$\sum _{i=1}^p{\beta }_i\mathbb{E}\left[F^{\left(1\right)}\right]$$

and its generalized variance is given by

$$\sum _{i=1}^p{\lambda }_i{\beta }_i^2.$$

We claim that the p-principal portfolio with expected return ${\mu }_{\ast }$ and minimum generalized variance is determined by the weights

$${\beta }_i={\left(\sum _{j=1}^p\frac{\mathbb{E}\left[F^{\left(j\right)}\right]}{{\sqrt{\lambda }}_j}\right)}^{-1}\frac{\mathbb{E}\left[F^{\left(i\right)}\right]}{{\lambda }_i}.$$ (33)

To prove this claim, we denote

$${\tilde{\beta }}_i=\sqrt{{\lambda }_i}{\beta }_i,R_i=\frac{1}{{\sqrt{\lambda }}_i}\mathbb{E}\left[F^{\left(i\right)}\right]$$

and then we set the Lagrangian

$$\frac{1}{2}\sum _{i=1}^p{\tilde{\beta }}_i^2-\nu \left(\sum _{i=1}^p{\tilde{\beta }}_i{R}_i-{\mu }_{\ast }\right)$$

with a constraint given by

$$\sum _{i=1}^p\frac{1}{{\sqrt{\lambda }}_i}{\tilde{\beta }}_i=1.$$

The first order condition is

$${\tilde{\beta }}_i=\nu R_i,$$

for all $i=1,\dots ,p$. Taking traces and using the constraint condition, one gets

$$\nu \sum _{i=1}^p\frac{R_i}{{\sqrt{\lambda }}_i}=1.$$

We conclude that

$${\beta }_i={\left(\sum _{j=1}^p\frac{R_j}{{\sqrt{\lambda }}_j}\right)}^{-1}\frac{R_i}{\sqrt{{\lambda }_i}}$$ (34)

as claimed. In sum, we have proven the following theorem.

Theorem 4.

The p-principal portfolio with minimum generalized variance is given by

$${\beta }_i={\left(\sum _{j=1}^p\frac{\mathbb{E}\left[F^{\left(j\right)}\right]}{{\sqrt{\lambda }}_j}\right)}^{-1}\frac{\mathbb{E}\left[F^{\left(i\right)}\right]}{{\lambda }_i},$$ (35)

where $\mathbb{E}\left[F^{\left(i\right)}\right]$ and ${\lambda }_i$, $i=1,\dots ,p$, are, respectively, the expected return and the generalized variance of the first p eigenvectors $F^{\left(1\right)},\dots ,F^{\left(p\right)}$ of the generalized covariance matrix $\mathcal{G}={\nabla }^{2}D$. This portfolio coincides with the projection of the random variable $z=\mathit{\alpha }D$ over the principal p-dimensional submanifold spanned by the eigenvectors.

Author Contributions

The two authors contributed equally to this work.

Conflicts of Interest

The authors declare no conflict of interest.