ABSTRACT

Generalized Least Squares (least squares with prior information) requires the correct assignment of two prior covariance matrices: one associated with the uncertainty of measurements; the other with the uncertainty of prior information. These assignments often are very subjective, especially when correlations among data or among prior information are believed to occur. However, in cases in which the general form of these matrices can be anticipated up to a set of poorly-known parameters, the data and prior information may be used to better-determine (or “tune”) the parameters in a manner that is faithful to the underlying Bayesian foundation of GLS. We identify an objective function, the minimization of which leads to the best-estimate of the parameters and provide explicit and computationally-efficient formula for calculating the derivatives needed to implement the minimization with a gradient descent method. Furthermore, the problem is organized so that the minimization need be performed only over the space of covariance parameters, and not over the combined space of model and covariance parameters. We show that the use of trade-off curves to select the relative weight given to observations and prior information is not a form of tuning, because it does not, in general maximize the posterior probability of the model parameters, and can lead to a different weighting than the procedure described here. We also provide several examples that demonstrate the viability, and discuss both the advantages and limitations of the method.

Keywords:

Bayesian Inference, Covariance, Error, Generalized Least Squares, Gradient Descent, Interpolation, Regularization, Trade-Off Curve, Variance

1. Introduction

Generalized Least Squares (GLS, also called least-squared with prior information) is a tool for statistical inference [1] - [6] that is widely used in geotomography [7] - [12] and geophysical inversion [13] [14], as well as other areas of the physical sciences and engineering. One of the attractive features of GLS that makes it especially useful in the imaging of multidimensional fields (for example, density, velocity, viscosity) is its ability to implement, in a natural and versatile way, prior information of the behavior of the field. Widely-used types of prior information include the field being smooth, as quantified by its low-order derivatives [15], having a specified power spectral density or autocovariance [7] [15], and satisfying a specified partial differential equation (such as the geostrophic flow equation [16] or the diffusion equation [4] ). The word “regularization” sometimes is used to describe the effect of prior information on the solution process [17].

We review the Generalized Least Squares (GLS) method here, following the notation in [6], in order to provide context and to establish nomenclature. In GLS, observations (or data) and prior information (or inferences) are combined to arrive at a best-estimate of initially-unknown model parameters (which might, for example, represent a field sampled on a regular grid). The data are assumed to satisfy the linear equation $Gm=d$, where $d\in {ℝ}^N$ is a vector of data, $m\in {ℝ}^M$ is a vector of model parameters, and $G$ is a known “kernel” matrix associated with the data. Prior information is assumed to satisfy a linear equation $Hm=h$, where $h\in {ℝ}^K$ is a vector of prior values and $H$ is a kernel matrix associated with the prior information. GLS problems are assumed to be over-determined, with $N+K>M$. For observed data $d^{obs}$, known prior information $h^{pri}$ and a specified model $m$, the prediction error is $e\equiv d^{obs}-Gm$ and prior information error is $\mathcal{l}\equiv h^{pri}-Hm$. These errors are assumed to be Normally-distributed with zero mean and prior covariance $C_d$ and $C_h$, respectively. Then, the normalized errors $\tilde{e}\equiv C_d^{-1/2}e$ and $\tilde{\mathcal{l}}\equiv C_h^{-1/2}\mathcal{l}$ are independent and identically-distributed Normal random variables with zero mean and unit variance. Bayes theorem can be used to show that the best estimate $m^{est}$ of the solution is the one that minimizes the generalized error $\Phi \equiv E+L$, with $E\equiv {\tilde{e}}^{\text{T}}\tilde{e}$ and $L\equiv {\tilde{\mathcal{l}}}^{\text{T}}\tilde{\mathcal{l}}$ [1] [2] [5]. The solution can be expressed in a variety of equivalent forms, among which is the widely-used version [6]:

$m^{est}=Z^{-1}\left(G^{\text{T}}{C}_d^{-1}{d}^{obs}+H^{\text{T}}{C}_h^{-1}{h}^{pri}\right)\text{with}Z\equiv G^{\text{T}}{C}_d^{-1}G+H^{\text{T}}{C}_h^{-1}H$ (1)

The assumption of linear kernels $G$ and $H$ is a very restrictive one. In the well-studied nonlinear generalization [1] [6], the products $Gm$ and $Hm$ are replaced with vector functions $g\left(m\right)$ and $h\left(m\right)$. Then, a common solution method is to linearize the data and prior information equations around a trial solution $m^{\left(0\right)}$ :

$\begin{array}{l}{G}^{\left(0\right)}\Delta m=\Delta d\text{with}{G}_{ij}^{\left(0\right)}\equiv {\frac{\partial g_i}{\partial m_j}|}_{m^{\left(0\right)}}\text{and}\Delta d\equiv d^{obs}-g\left(m\right)\\ H^{\left(0\right)}\Delta m=\Delta h\text{with}{H}_{ij}^{\left(0\right)}\equiv {\frac{\partial h_i}{\partial m_j}|}_{m^{\left(0\right)}}\text{and}\Delta h\equiv h^{pri}-h\left(m\right)\end{array}$ (2)

and $\Delta m=m-m^{\left(0\right)}$. The solution is then found by iterative application of (1) applied to (2); that is, by the Gauss-Newton’s method [3]. Alternatively, a gradient-descent method [18] can be used that employs:

${{\nabla }_m\Phi |}_{m^{\left(0\right)}}=-2G^{\left(0\right)\text{T}}{C}_d^{-1}\left(d^{obs}-G{m}^{\left(0\right)}\right)-2H^{\left(0\right)\text{T}}{C}_h^{-1}\left(h^{pri}-H{m}^{\left(0\right)}\right)$ (3)

The latter approach is preferred for very large M, since the convergence rate of gradient descent is independent of its dimension [18], whereas the effort required to solve the M× M system (1) by a direct method scales as M³ [19].

We now discuss issues related to the covariance matrices that appear in GLS. The data covariance $C_d$ quantifies the uncertainty of the observations and the information covariance $C_h$ quantifies the uncertainty of the prior information. Prior knowledge of the inherent accuracy of the measurement technique is needed to assign $C_d$, and prior knowledge of the physically-plausible solutions, perhaps stemming from and understanding of the underlying physics, is needed to assign $C_h$. These assignments are often very subjective, especially when correlations are believed to occur (that is, $C_d$ and $C_h$ have non-zero off-diagonal elements). For example, one geotomographic study [7] reconstructs a two-dimensional field using a $C_h$ that represents autocovariance of the field and that is dependent upon a scale length q. The value of q is chosen on the basis of broad physical arguments that, while plausible, leaves considerable room for subjectivity.

The matrices $C_d$ and $C_h$ together contain $\frac{1}{2}N\left(N+1\right)+\frac{1}{2}K\left(K+1\right)$ elements,

many more than the $\left(N+K\right)$ constraints imposed by the data $d$ and prior information $h$.Consequently, insufficient information is available to uniquely solve for all the elements of $C_d$ and $C_h$. However, it sometimes may be possible to parameterize $C_d\left(q\right)$ and/or $C_h\left(q\right)$ in terms of $q\in {ℝ}^J$, and ask whether an initial estimate of $q$ can be improved. As long as $\left(M+J\right)<\left(N+K\right)$, adequate information may be available to determine a best estimate $q^{est}$. We refer to the process of determining $q^{est}$ as “tuning”, since in typical practice it requires that the covariances be close to their true values.

As an example of a parametrized covariance, we consider the case where the model parameters represent a sampled version of a continuous function $m\left(x\right)$, where $x\in ℝ$ is an independent variable; that is, $m_n=m\left(x_n\right)$, with $x_n\equiv n\Delta x$ and $\Delta x$ the sampling interval. The prior information that $m\left(x\right)$ is approximately oscillatory with wavenumber q can be modeled by:

$H=I\text{and}{h}^{pri}=0\text{and}{\left[C_h\right]}_{nm}={\sigma }_h^2\cos \left(q\left|x_n-x_m\right|\right)$ (4)

In this case, $C_h$ approximates the autocovariance of $m\left(x\right)$, which is assumed to be stationary. The goal of tuning is to provides a best-estimate $q^{est}$, as well of best estimated $m^{est}$ of the model parameters. This problem is further developed in Example 4, below.

Although the GLS formulation is widely used in geotomography and geophysical imaging, the tuning of variance is typically implemented in a very limited fashion, through the use of trade-off curves [7] - [12]. In this procedure, a scalar parameter q controls the relative size of $C_d$ and $C_h$, that is, $C_h\left(q\right)=q{C}_h^{\left(0\right)}$, where $C_h^{\left(0\right)}$ is specified [20]. The GLS problem is then solved for a suite of qs, the functions $E\left(q\right)$ and $L\left(q\right)$ are tabulated and the resulting trade-off curve $E\left(L\right)$ is used to identify a solution $m\left(q_0\right)$ that has acceptably low E and L (for example, Figure 1 of [20] ). As we will show below, this ad hoc procedure is not a consistent extension of GLS, because it results in a different q than the one implied by Bayes’ principle. A more consistent approach is to apply Bayes theorem directly to estimate both the model parameters $m$ and the covariance parameters $q$. Such an approach has been implemented in the context of ordinary least squares [21] and the Markov chain Monte Carlo (MCMC) inversion method [22] (which is a computationally-intensive alternative to GLS). An important and novel result of this paper is a computationally-efficient procedure for tuning GLS in a Bayes-consistent manner.

2. Bayesian Extenion of GLS

The general process of using Bayes’ theorem to construct a posterior probability density function (p.d.f.) that depends on unknown parameters and of estimating those parameters though the maximization of probability is very well understood [23]. In the current case, the p.d.f. has M model parameters and J covariance parameters, so the maximization process (implemented, say, with a gradient ascent method) must search an $\left(M+J\right)$ -dimensional space. Our main purpose here is to show that the process can be organized in a way that makes use of the GLS solution (1) and thus reduce the dimensionality of the searched space to J.

The GLS solution (1) yields the $m$ that minimizes the generalized error $\Phi \left(m\right)$, or equivalently, the $m$ that maximizes the Normal posterior probability density function (p.d.f.) $p\left(m|d^{obs},h^{pri}\right)$ :

$\begin{array}{l}{m}^{est}=\underset{m}{\arg \max }p\left(m|d^{obs},h^{pri}\right)\\ \text{with}p\left(m|d^{obs},h^{pri}\right)\propto p\left(d^{obs}|m\right)p\left(h^{pri}|m\right)\end{array}$ (5)

Here, Bayes theorem [23] is used to related the Normal posterior p.d.f. $p\left(m|d^{obs},h^{pri}\right)$ to the Normal likelihood $p\left(d^{obs}|m\right)$ and the Normal prior $p\left(h^{pri}|m\right)$. When poorly known parameters $q$ are added to the problem, they must be treated as additional random variables [22]. Writing $q\equiv {\left[q^{\left(d\right)},q^{\left(h\right)}\right]}^{\text{T}}$, with $q^{\left(d\right)}$ appearing in the likelihood and $q^{\left(h\right)}$ appear in the prior, we have:

$\begin{array}{l}{m}^{est},q^{est}=\underset{m,q^{\left(d\right)},q^{\left(h\right)}}{\arg \max }p\left(m,q|d^{obs},h^{pri}\right)\\ \text{with}p\left(m,q|d^{obs},h^{pri}\right)\propto p\left(d^{obs}|m,q^{\left(d\right)}\right)p\left(h^{pri}|m,q^{\left(h\right)}\right)p\left(q^{\left(d\right)}\right)p\left(q^{\left(h\right)}\right)\end{array}$ (6)

Here, we have assumed that $q$ and $m$ are not correlated with one another. The maximization with respect to the two variables can be performed as a sequence of two single-variable maximizations:

$m\left(q_0\right):\underset{m}{\arg \max }p\left(m,q_0|d^{obs},h^{pri}\right)\left(\text{atfixed}{q}_0\right)$ (7a)

$q^{est}:\underset{q_0}{\arg \max }p\left(m\left(q_0\right),q_0|d^{obs},h^{pri}\right)$ (7b)

$m^{est}=m\left(q^{est}\right)$ (7c)

In the special case of the uniform prior $p\left(q_{\left(d\right)}\right)p\left(q_{\left(h\right)}\right)\propto \text{constant}$, the maximization in (7a) is the GPR solution at fixed $q_0$. For the Normal p.d.f.:

$\begin{array}{l}p\left(m\left(q_0\right),q_0|d^{obs},h^{pri}\right)\\ ={\left(2\pi \right)}^{-\frac{1}{2}\left(N+K\right)}{\left(\det C_d\right)}^{-\frac{1}{2}}{\left(\det C_k\right)}^{-\frac{1}{2}}\exp \left(-\frac{1}{2}E\right)\left(-\frac{1}{2}L\right)\end{array}$ (8)

the maximization (7b) is equivalent to the minimization of an objective function $\Psi \left(q\right)$, defined as:

$\Psi \equiv -2\left[\ln p+\frac{1}{2}\left(N+K\right)\ln \left(2\pi \right)\right]=\ln \left(\det C_d\right)+\ln \left(\det C_h\right)+E+L$ (9)

The quantity $\ln \left(\det C_d\right)$ is best computed by finding the Choleski decomposition $C_d=D{D}^{\text{T}}$, the algorithm [24] for which is implemented in many software environments, including MATLAB® and PYTHON/linalg. Then, $\ln \left(\det C_d\right)=2{\displaystyle {\sum }_n\ln \left(D_{nn}\right)}$ (and similarly for $\ln \left(\det C_h\right)$ ).The nonlinear optimization problem of minimizing $\Psi \left(q\right)$ can be implemented using a gradient descent method, provided that the derivative $\partial \Psi /\partial q_m$ can be calculated [18]. In the next section, we derive analytic formula for this and related derivatives.

3. Solution Method and Formula for Derivatives

The process of simultaneously estimating the covariance parameters $q^{est}$ and model parameters $m^{est}$ consists of six steps. First, the analytic form of the covariance matrices $C_d\left(q\right)$ and $C_h\left(q\right)$ are specified, and their derivatives $\partial C_d/\partial q_m$ and $\partial C_h/\partial q_m$ are computed analytically. Second, an initial estimate $q^{\left(0\right)}$ is identified. Third, the covariance matrices $C_d\left(q^{\left(0\right)}\right)$ and $C_h\left(q^{\left(0\right)}\right)$ are inserted into (1), yielding model parameters $m\left(q^{\left(0\right)}\right)$. Fourth, using formulas developed below, the value of the derivative $\partial \Psi /\partial q_m$ is calculated at $q^{\left(0\right)}$. Fifth, a gradient descent method employing $\partial \Psi /\partial q_m$ is used to iteratively perturb $q^{\left(0\right)}$ towards the minimum of $\text{Ψ}$ at $q^{est}$ (and in process, repeating steps three through five many times). Sixth, the estimated model parameters are computed as $m^{est}=m\left(q^{est}\right)$. This process is depicted in Figure 1.

Our derivation of $\partial \Psi /\partial q_m$ uses three matrix derivatives, $\partial M^{-1}/\partial q$,$\partial M^{-1/2}/\partial q$ and $\partial \ln \left(\det M\right)/\partial q$ that may be unfamiliar to some readers, so we derive them here for completeness. Let $M\left(q\right)$ be asquare, invertible, differentiable matrix. Differentiating $M^{-1}M=I$ yields $\left[\partial M^{-1}/\partial q_m\right]M+M^{-1}\left[\partial M/\partial q_m\right]=0$, which can be rearranged into ( [25], their (36)):

$\frac{\partial M^{-1}}{\partial q_m}=-M^{-1}\left[\frac{\partial M}{\partial q_m}\right]M^{-1}$ (10)

Similarly, differentiating $M^{-1/2}{M}^{-1/2}=M^{-1}$ and applying (10), yields the Sylvester equation:

$\frac{\partial M^{-1/2}}{\partial q_m}{M}^{-1/2}+M^{-1/2}\frac{\partial M^{-1/2}}{\partial q_m}=\frac{\partial M^{-1}}{\partial q_m}=-M^{-1}\left[\frac{\partial M}{\partial q_m}\right]M^{-1}$ (11)

We have not been able to determine a source for this equation, but in all likelihood, it has been derived previously. In practice, (11) is not significantly harder to compute than (10), because efficient algorithms for solving Sylvester equations [26] and for computing a symmetric (principal) square root [27], are widely available and implemented in many software environments, including MATLAB® and PYTHON/linalg. The derivative of $\ln \left(\det C_d\right)$ is derived starting with Jacobi’s formula [12]:

$\frac{\partial \det \left(M\right)}{\partial q}=\text{tr}\left(\text{adj}\left(M\right)\frac{\partial M}{\partial q}\right)=\text{tr}\left(\det \left(M\right)M^{-1}\frac{\partial M}{\partial q}\right)=\det \left(M\right)\text{tr}\left(M^{-1}\frac{\partial M}{\partial q}\right)$ (12)

where $\text{adj}(.)$ is the adjugate and $\text{tr}(.)$ is the trace, applying Laplace’s identify [28] $\text{adj}\left(C_d\right)=\det \left(C_d\right)C_d^{-1}$ and the rule $\text{tr}\left(cM\right)=c\text{tr}\left(M\right)$ (where c is a scalar and $M$ is a matrix) [29]. Finally, the determinant is moved to the left-hand side and the well-known relationship $\partial \ln \left(f\right)/\partial q=f^{-1}\left(\partial f/\partial q\right)$, for a differentiable function $f\left(q\right)$, is applied, yielding ( [25], their (38)):

$\frac{\partial \ln \left(\det M\right)}{\partial q}=\frac{1}{\det \left(M\right)}\frac{\partial \det \left(M\right)}{\partial q}=\text{tr}\left(M^{-1}\frac{\partial M}{\partial q}\right)$ (13)

We begin the main derivation by considering the case in which data variance $C_d\left(q\right)$ depends on a parameter vector $q$, and the information variance $C_h$ is constant. The derivative of the GLS solution can be found by applying the chain rule applied to (1):

$\begin{array}{l}\frac{\partial m^{est}}{\partial q_m}=\frac{\partial Z^{-1}}{\partial q_m}{G}^{\text{T}}{C}_d^{-1}{d}^{obs}+Z^{-1}{G}^{\text{T}}\frac{\partial C_d^{-1}}{\partial q_m}{d}^{obs}+\frac{\partial Z^{-1}}{\partial q_m}{H}^{\text{T}}{C}_h^{-1}{h}^{pri}\\ =Z^{-1}\left(G^{\text{T}}\frac{\partial C_d^{-1}}{\partial q_m}{d}^{obs}-\frac{\partial Z}{\partial q_m}{m}^{est}\right)\\ \text{with}\frac{\partial Z}{\partial q_m}=G^{\text{T}}\frac{\partial C_d^{-1}}{\partial q_m}G\text{and}\frac{\partial C_d^{-1}}{\partial q_m}=-C_d^{-1}\frac{\partial C_d}{\partial q_m}{C}_d^{-1}\end{array}$ (14)

Note that we have used (10). The derivative of the normalized prediction error is $\tilde{e}\equiv C_d^{-1/2}\left(d^{obs}-G{m}^{est}\right)$ and total error $E\equiv {\tilde{e}}^{\text{T}}\tilde{e}$ are:

$\begin{array}{l}\frac{\partial \tilde{e}}{\partial q_m}=-C_d^{-1/2}G\frac{\partial m^{est}}{\partial q_m}+\frac{\partial C_d^{-1/2}}{\partial q_m}\left(d^{obs}-G{m}^{est}\right)\text{and}\frac{\partial E}{\partial q_m}=2{\tilde{e}}^{\text{T}}\frac{\partial \tilde{e}}{\partial q_m}\\ \text{with}\frac{\partial C_h^{-1/2}}{\partial q_m}{C}_h^{-1/2}+C_h^{-1/2}\frac{\partial C_h^{-1/2}}{\partial q_m}=-C_h^{-1}\frac{\partial C_h}{\partial q_m}{C}_h^{-1}\end{array}$ (15)

Here, the Sylvester equation arises from (11). An alternate way of differentiating E that does not require solving a Sylvester equation is:

$\frac{\partial E}{\partial q_m}=\frac{\partial }{\partial q_m}\left(e^{\text{T}}{C}_d^{-1}e\right)=-{\left(\frac{\partial m^{est}}{\partial q_m}\right)}^{\text{T}}{G}^{\text{T}}{C}_d^{-1}e+e^{\text{T}}\frac{\partial C_d^{-1}}{\partial q_m}e-e^{\text{T}}{C}_d^{-1}G\frac{\partial m^{est}}{\partial q_m}$ (16)

The derivative of the normalized error in prior information $\tilde{\mathcal{l}}=C_h^{-1/2}\left(h-H{m}^{est}\right)$ and total error $L\equiv {\tilde{\mathcal{l}}}^{\text{T}}\tilde{\mathcal{l}}$ are:

$\frac{\partial \tilde{\mathcal{l}}}{\partial q_m}=-C_h^{-1/2}H\frac{\partial m^{est}}{\partial q_m}\text{and}\frac{\partial L}{\partial q_m}=2{\tilde{\mathcal{l}}}^{\text{T}}\frac{\partial \tilde{\mathcal{l}}}{\partial q_m}$ (17)

Finally, since $\Psi =\ln \left(\det C_d\right)+\ln \left(\det C_h\right)+E+L$, we have:

$\frac{\partial \Psi }{\partial q_m}=\frac{\partial \ln \left(\det C_d\right)}{\partial q_m}+\frac{\partial E}{\partial q_m}+\frac{\partial L}{\partial q_m}=\text{tr}\left(C_d^{-1}\frac{\partial C_d}{\partial q_m}\right)+\frac{\partial E}{\partial q_m}+\frac{\partial L}{\partial q_m}$ (18)

Note that we have applied (13).

Finally, we consider the case in which the information variance $C_h\left(q\right)$ depends on parameters $q$, and $C_d$ is constant. Since the data and prior information play completely symmetric roles in (1), the derivatives can be obtained by interchanging the roles of $C_d$ and $C_h$,$G$ and $H$,$d^{obs}$ and $h^{pri}$,$\tilde{e}$ and $\tilde{\mathcal{l}}$ and E and L, in the equations above, yielding:

$\begin{array}{l}\frac{\partial m^{est}}{\partial q_m}=Z^{-1}\left(H^{\text{T}}\frac{\partial C_h^{-1}}{\partial q_m}{h}^{pri}-\frac{\partial Z}{\partial q_m}{m}^{est}\right)\\ \text{with}\frac{\partial Z}{\partial q_m}=H^{\text{T}}\frac{\partial C_h^{-1}}{\partial q_m}H\text{and}\frac{\partial C_h^{-1}}{\partial q_m}=-C_h^{-1}\frac{\partial C_h}{\partial q_m}{C}_h^{-1}\end{array}$

$\frac{\partial \tilde{e}}{\partial q_m}=-C_d^{-1/2}G\frac{\partial m^{est}}{\partial q_m}\text{and}\frac{\partial E}{\partial q_m}=2{\tilde{e}}^{\text{T}}\frac{\partial \tilde{e}}{\partial q_m}$

$\frac{\partial \tilde{\mathcal{l}}}{\partial q_m}=-C_h^{-1/2}H\frac{\partial m^{est}}{\partial q_m}+\frac{\partial C_h^{-1/2}}{\partial q_m}\left(h^{pri}-H{m}^{est}\right)$

$\frac{\partial L}{\partial q_m}=2{\tilde{\mathcal{l}}}^{\text{T}}\frac{\partial \tilde{\mathcal{l}}}{\partial q_m}=-{\left(\frac{\partial m^{est}}{\partial q_m}\right)}^{\text{T}}{H}^{\text{T}}{C}_h^{-1}\mathcal{l}+{\mathcal{l}}^{\text{T}}\frac{\partial C_h^{-1}}{\partial q_m}\mathcal{l}-{\mathcal{l}}^{\text{T}}{C}_h^{-1}H\frac{\partial m^{est}}{\partial q_m}$

$\frac{\partial C_h^{-1/2}}{\partial q_m}{C}_h^{-1/2}+C_h^{-1/2}\frac{\partial C_h^{-1/2}}{\partial q_m}=-C_h^{-1}\frac{\partial C_h}{\partial q_m}{C}_h^{-1}$

$\frac{\partial \ln \left(\det C_h\right)}{\partial q_m}=\text{tr}\left(C_h^{-1}\frac{\partial C_h}{\partial q_m}\right)$

$\frac{\partial \Psi }{\partial q_m}=\text{tr}\left(C_h^{-1}\frac{\partial C_h}{\partial q_m}\right)+\frac{\partial E}{\partial q_m}+\frac{\partial L}{\partial q_m}$ (19)

These formulas have been checked numerically.

4. Examples with Discussion

In the first example, we examine the simplistic case in which the parameter q represents an overall scaling of variance; that is $C_d\left(q\right)=q{C}_d^{\left(0\right)}$ and $C_h\left(q\right)=q{C}_h^{\left(0\right)}$, with specified $C_d^{\left(0\right)}$ and $C_h^{\left(0\right)}$. The solution $m^{est}$ is independent of q, as can be verified by substitution into (1). The parameter q can then be found by direct minimization of (9), which simplifies to:

$\Psi =\ln \left(q^N\det C_d^{\left(0\right)}\right)+\ln \left(q^K\det C_k^{\left(0\right)}\right)+q^{-1}{E}_0+q^{-1}{L}_0$ (20)

Here, we have used the rule $\det \left(qM\right)=q^N\det \left(M\right)$ [25], valid for any $N\times N$ matrix $M$, and have defined $E_0\equiv E\left(q=1\right)$ and $L_0\equiv L\left(q=1\right)$. The minimum occurs when:

$\frac{\partial \Psi }{\partial q}=0=\left(N+K\right)q^{-1}-\left(E_0+L_0\right)q^{-2}\text{or}q=\frac{E_0+L_0}{N+K}$ (21)

This is a generalization of the well-known maximum likelihood estimate of the sample variance [30]. As long as $\left(E_0+L_0\right)$ exists, the minimization in (21) is well-behaved and the overall scaling q is uniquely determined.

In the second example, we examine another simplistic case in which a parameter q represents the relative weighting of variance; that is $C_d^{-1}\left(q\right)=qI$ and $C_h^{-1}\left(q\right)=\left(1-q\right)I$.We consider the problem of estimating the mean $m_1$ of data given observations $d=1$ and prior information $h=0$ (where $0$ and $1$ are vectors of zeros and ones, respectively), when $N=K$,$M=1$ and $G=H=1$. Applying (1), we find that $m^{est}=q$. Then, the objective function is $\Psi =\ln \left(q^N\right)+\ln \left({\left(1-q\right)}^N\right)+Nq\left(1-q\right)$ and its derivative is $\partial \Psi /\partial q=N\left[-q^{-1}+{\left(1-q\right)}^{-1}+\left(1-q\right)-q\right]$. The solution to $\partial \Psi /\partial q=0$ is $q^{est}=1/2$, as can be verified by direct substitution. Thus, the solution splits the difference between the observations and the prior values, and yields prior variances $C_d$ and $C_h$ that are equal. While simplistic, this problem illustrates that, at least in some cases, GLS is capable of uniquely determining the relative sizes of $C_d$ and $C_h$. Because trade-off curves, as defined in the Introduction, are based on the behavior of E and L, and not the complete objective function Ψ, the weighting parameter $q_0$ estimated from them in general will be different from $q^{est}$.Consequently, the trade-off curve procedure is not consistent with the Bayesian framework upon which GLS rests.

Our third example demonstrates the tuning of data covariance $C_d\left(q\right)$. In many cases, observational error increases during the course of an experiment, due to degradation of equipment or to worsening environmental conditions. The example demonstrates that the method is capable of accurately quantifying the fractional rate of increase p of the variance ${\sigma }_{d_n}$, which is assumed to vary with position $x_n$. In our simulation, we consider $N=201$ synthetic data, evenly-spaced on the interval $0\le x_i\le 1$, which scatter around the curve $d_i=m_1+m_2{x}_i^{1/2}$ (Figure 2). The covariance of the data is modeled as ${\left[C_d\right]}_{mn}={\sigma }_{d_n}^2{\delta }_{mn}$, where ${\sigma }_{d_n}={\left(1\right)}^2\left(1+q\left(2x_n-1\right)\right)$ and ${\delta }_{mn}$ is the Kronecker delta; that is, the data are uncorrelated and their variance increases linearly with x. The derivative of the covariance is $\left(\partial /\partial q\right){\left[C_d\right]}_{mn}={\left(1\right)}^2\left(2x_n-1\right){\delta }_{mn}$. We have included prior information with $H=I$ and $h^{pri}=0$, which implements the notion that the model parameters are small. The corresponding covariance is chosen to be large, $C_h={\left(1000\right)}^{2}I$, indicating that this information is weak. The goal is to tune the rate of increase of variance and to arrive at a best-estimate of the two model parameters. The starting value is taken to be $q_0=0$, which corresponds to uniform variance. It is successively improved by a gradient descent method that minimizes Ψ, yielding an estimated value $q^{est}\approx 0.709$.This estimate differs from the true value $q^{true}=0.700$ by about 1%. The estimated solution $m^{est}$ differs from $m\left(q=0\right)$ by a few tenths of a percent, which may be significant in some applications.

The fourth example demonstrates tuning of information covariance $C_h\left(q\right)$. In many instances, one may need to “reconstruct” or “interpolate” a function on the basis of unevenly and sparsely sampled data. In this case, prior information on the autocovariance of the function can enable a smooth interpolation. Furthermore, it can enforce a covariance structure that may be required, say, by the underlying physics of the problem. In our example, we suppose that the function is known to be oscillatory on physical grounds, but that the wavenumber of those oscillations is known only imprecisely. The goal is to tune prior knowledge of wavenumber to arrive at a best-estimate of the reconstructed function. In our simulation, a total of $M=101$ model parameters $m_j$ are uniformly spaced on the interval $0\le x\le 100$ and representing a sampled version of a continuous, sinusoidal function $m\left(x\right)$ with wavenumber $p^{true}=0.1571$ (Figure 3). Synthetic data $d_i^{obs}$ with uncorrelated error with variance ${\sigma }_d^2={\left(0.01\right)}^2$ are available for $N=40$ randomly-chosen points $x_{j\left(i\right)}$, where the index function $j\left(i\right)$ aligns in x observations to model parameters. The data kernel is $G_{ij}={\delta }_{i,j\left(i\right)}$. The prior information is given in (4), with autocovariance ${\left[C_h\right]}_{nm}={\sigma }_h^2\cos \left(q\left|x_n-x_m\right|\right)$ and

${\sigma }_h^2={\left(10\right)}^2$. The derivative is $\left(\partial /\partial q\right){\left[C_h\right]}_{nm}=-{\sigma }_h^2\left|x_n-x_m\right|\sin \left(q\left|x_n-x_m\right|\right)$. An

initial guess $p_0=0.95p^{true}$ is improved using a gradient descent method, yielding an estimated value of $p^{est}=0.1571$ that differs from $p^{true}$ by less than 0.01%. The reconstructed function is smooth and sinusoidal and the fit to the data is much improved.

Examples three and four were implemented in MATLAB® and executed in <5s on a notebook computer. They confirm the flexibility, speed and effectiveness of the method. An ability to tune prior information on autocovariance may be of special utility in seismic exploration applications, where three-dimensional waveform datasets are routinely interpolated.

A limitation of this overall “parametric” approach is that the solution is dependent on the choice of parameterization, which must be guided by prior knowledge of the general properties of the covariance matrices in particular problem being solved. In Example 3, we were able to recognize (say, by visually

examining the data plotted in Figure 2(a)) that observational error increases with x and chose ${\left[C_d\right]}_{mn}={\sigma }_d^2\left(1+q\left(x_n-x_1\right)\right){\delta }_{mn}$ that matched this scenario. If, instead, the degree of correlation between successive data increased with x, this pattern might be less expected, more difficult to detect, and require a different

parameterization—say, ${\left[C_d\left(q\right)\right]}_{nm}={\sigma }_d^2\exp \left[-\frac{1}{2}q\left(x_n+x_m\right)\left|x_n-x_m\right|\right]$.

Not every parameterization of $C_d$ (or $C_h$ ) is necessarily well-behaved. To avoid poor behavior, the parameterization must be chosen so its determinant does not have zeros at values of $q^{est}$ that will prevent the steepest descent process from converging to the global minimum. That this choice can be problematical is illustrated by the simple Toeplitz version of $C_d$ (with $N=10$,$J=9$ ):

$C_d=\left[\begin{array}{cccccc}1& q_1& q_2& q_3& \cdots & q_9\\ q_1& 1& q_1& q_2& \cdots & q_8\\ q_2& q_1& 1& q_1& \cdots & q_7\\ q_3& q_2& q_1& 1& \cdots & q_6\\ ⋮& ⋮& ⋮& ⋮& \ddots & ⋮\\ q_9& q_8& q_7& q_6& \cdots & 1\end{array}\right]$ (22)

with $\left|q_i\right|<1$. This form is useful for quantifying correlations within a stationary sequence of data [31]. Yet as is illustrated in Figure 4, the ${ℝ}^J$ volume is crossed

by many $\det C_d=0$ surfaces that correspond to surfaces of singular objective function Ψ. Their presence suggests that the steepest descent path between a starting value $q^{\left(0\right)}$ and the global minimum at $q^{est}$ may be very convoluted (if, indeed, such a path exists) unless $q^{\left(0\right)}$ is very close to $q^{est}$.

5. Conclusion

Generalized Least Squares requires the assignment of two prior covariance matrices, the prior covariance of the data and the prior covariance of the prior information. Making these assignments is often a very subjective process. However, in cases in which the forms of these matrices can be anticipated up to a set of poorly-known parameters, information contained within the data and prior information can be used to improve knowledge of them—a process we call “tuning”. Tuning can be achieved by minimizing an objective function that depends on both the generalized error and determinants of the covariance matrices to arrive at a best estimate of the parameters. Analytic and computationally-tractable formulas are derived for the derivative needed to implement the minimization via a gradient descent method. Furthermore, the problem is organized so that the minimization need be performed only over the space of covariance parameters, and not over the typically-much-larger space of model and covariance parameters. Although some care needs to be exercised as the covariance matrices are parametrized, the minimization is tractable and can lead to better estimates of the model parameters. An important outcome is this study is the recognition that the use of trade-off curves to determine relative weighting of covariance—a practice ubiquitous in the geophysical imaging—is not consistent with the underlying Bayesian framework of Generalized Least Squares. The strategy outlined here provides a consistent solution.

Acknowledgements

The author thanks Roger Creel for helpful discussion.

Conflicts of Interest

The author declares no conflicts of interest regarding the publication of this paper.

Cite this paper

Menke, W. (2021) Tuning of Prior Covariance in Generalized Least Squares. Applied Mathematics, 12, 157-170. https://doi.org/10.4236/am.2021.123011

References