# Variogram

In spatial statistics the theoretical variogram, denoted $2\gamma (\mathbf {s} _{1},\mathbf {s} _{2})$, is a function describing the degree of spatial dependence of a spatial random field or stochastic process $Z(\mathbf {s} )$. The semivariogram $\gamma (\mathbf {s} _{1},\mathbf {s} _{2})$ is half the variogram.
For example, in gold mining, a variogram will give a measure of how much two samples taken from the mining area will vary in gold percentage depending on the distance between those samples. Samples taken far apart will vary more than samples taken close to each other.

## Definition

The semivariogram $\gamma (h)$ was first defined by Matheron (1963) as half the average squared difference between a function and a translated copy of the function separated at distance $h$. Formally
    $\gamma (h)={\frac {1}{2}}\iiint _{V}\left[f(M+h)-f(M)\right]^{2}dM,$
where $M$ is a point in the geometric field $V$, and $f(M)$ is the value at that point. The triple integral is over 3 dimensions. $h$ is the separation distance (e.g., in meters or km) of interest. For example, the value $f(M)$ could represent the iron content in soil, at some location $M$ (with geographic coordinates of latitude, longitude, and elevation) over some region $V$ with element of volume $dV$. To obtain the semivariogram for a given $\gamma (h)$, all pairs of points at that exact distance would be sampled. In practice it is impossible to sample everywhere, so the empirical variogram is used instead.
The variogram is twice the semivariogram and can be defined, differently, as the variance of the difference between field values at two locations ($\mathbf {s} _{1}$ and $\mathbf {s} _{2}$, note change of notation from $M$ to $\mathbf {s}$ and $f$ to $Z$) across realizations of the field (Cressie 1993):
    $2\gamma (\mathbf {s} _{1},\mathbf {s} _{2})={\text{var}}\left(Z(\mathbf {s} _{1})-Z(\mathbf {s} _{2})\right)=E\left[((Z(\mathbf {s} _{1})-Z(\mathbf {s} _{2}))-E[Z(\mathbf {s} _{1})-Z(\mathbf {s} _{2})])^{2}\right].$
If the spatial random field has constant mean $\mu$, this is equivalent to the expectation for the squared increment of the values between locations $\mathbf {s} _{1}$ and $s_{2}$ (Wackernagel 2003) (where $\mathbf {s} _{1}$ and $\mathbf {s} _{2}$ are points in space and possibly time):
    $2\gamma (\mathbf {s} _{1},\mathbf {s} _{2})=E\left[\left(Z(\mathbf {s} _{1})-Z(\mathbf {s} _{2})\right)^{2}\right].$
In the case of a stationary process, the variogram and semivariogram can be represented as a function $\gamma _{s}(h)=\gamma (0,0+h)$ of the difference $h=\mathbf {s} _{2}-\mathbf {s} _{1}$ between locations only, by the following relation (Cressie 1993):
    $\gamma (\mathbf {s} _{1},\mathbf {s} _{2})=\gamma _{s}(\mathbf {s} _{2}-\mathbf {s} _{1}).$
If the process is furthermore isotropic, then the variogram and semivariogram can be represented by a function $\gamma _{i}(h):=\gamma _{s}(he_{1})$ of the distance $h=\|\mathbf {s} _{2}-\mathbf {s} _{1}\|$ only (Cressie 1993):
    $\gamma (\mathbf {s} _{1},\mathbf {s} _{2})=\gamma _{i}(h).$
The indexes $i$ or $s$ are typically not written. The terms are used for all three forms of the function. Moreover, the term "variogram" is sometimes used to denote the semivariogram, and the symbol $\gamma$ is sometimes used for the variogram, which brings some confusion.

## Properties

According to (Cressie 1993, Chiles and Delfiner 1999, Wackernagel 2003) the theoretical variogram has the following properties:
* The semivariogram is nonnegative $\gamma (\mathbf {s} _{1},\mathbf {s} _{2})\geq 0$, since it is the expectation of a square.
* The semivariogram $\gamma (\mathbf {s} _{1},\mathbf {s} _{1})=\gamma _{i}(0)=E\left((Z(\mathbf {s} _{1})-Z(\mathbf {s} _{1}))^{2}\right)=0$ at distance 0 is always 0, since $Z(\mathbf {s} _{1})-Z(\mathbf {s} _{1})=0$.
* A function is a semivariogram if and only if it is a conditionally negative definite function, i.e. for all weights $w_{1},\ldots ,w_{N}$ subject to $\sum _{i=1}^{N}w_{i}=0$ and locations $s_{1},\ldots ,s_{N}$ it holds:
       $\sum _{i=1}^{N}\sum _{j=1}^{N}w_{i}\gamma (\mathbf {s} _{i},\mathbf {s} _{j})w_{j}\leq 0$
    which corresponds to the fact that the variance $var(X)$ of $X=\sum _{i=1}^{N}w_{i}Z(x_{i})$ is given by the negative of this double sum and must be nonnegative.
* If the covariance function of a stationary process exists, it is related to variogram by$2\gamma (\mathbf {s} _{1},\mathbf {s} _{2})=C(\mathbf {s} _{1},\mathbf {s} _{1})+C(\mathbf {s} _{2},\mathbf {s} _{2})-2C(\mathbf {s} _{1},\mathbf {s} _{2})$
* If a stationary random field has no spatial dependence (i.e. $C(h)=0$ if $h\not =0$), the semivariogram is the constant $var(Z(\mathbf {s} ))$ everywhere except at the origin, where it is zero.
* $\gamma (\mathbf {s} _{1},\mathbf {s} _{2})=E\left[|Z(\mathbf {s} _{1})-Z(\mathbf {s} _{2})|^{2}\right]=\gamma (\mathbf {s} _{2},\mathbf {s} _{1})$ is a symmetric function.
* Consequently, $\gamma _{s}(h)=\gamma _{s}(-h)$ is an even function.
* If the random field is stationary and ergodic, the $\lim _{h\to \infty }\gamma _{s}(h)=var(Z(\mathbf {s} ))$ corresponds to the variance of the field. The limit of the semivariogram is also called its sill.
* As a consequence the semivariogram might be non continuous only at the origin. The height of the jump at the origin is sometimes referred to as nugget or nugget effect.

### Parameters

In summary, the following parameters are often used to describe variograms:
* nugget $n$: The height of the jump of the semivariogram at the discontinuity at the origin.
* sill $s$: Limit of the variogram tending to infinity lag distances.
* range $r$: The distance in which the difference of the variogram from the sill becomes negligible. In models with a fixed sill, it is the distance at which this is first reached; for models with an asymptotic sill, it is conventionally taken to be the distance when the semivariance first reaches 95% of the sill.

## Empirical variogram

Generally, an empirical variogram is needed for measured data, because sample information $Z$ is not available for every location. The sample information for example could be concentration of iron in soil samples, or pixel intensity on a camera. Each piece of sample information has coordinates $\mathbf {s} =(x,y)$ for a 2D sample space where $x$ and $y$ are geographical coordinates. In the case of the iron in soil, the sample space could be 3 dimensional. If there is temporal variability as well (e.g., phosphorus content in a lake) then $\mathbf {s}$ could be a 4 dimensional vector $(x,y,z,t)$. For the case where dimensions have different units (e.g., distance and time) then a scaling factor $B$ can be applied to each to obtain a modified Euclidean distance.
Sample observations are denoted $Z(\mathbf {s} _{i})=z_{i}$. Samples may be taken at $k$ total different locations. This would provide as set of samples $z_{1},\ldots ,z_{k}$ at locations $\mathbf {s} _{1},\ldots ,\mathbf {s} _{k}$. Generally, plots show the semivariogram values as a function of sample point separation $h$. In the case of empirical semivariogram, separation distance bins $h\pm \delta$ are used rather than exact distances, and usually isotropic conditions are assumed (i.e., that $\gamma$ is only a function of $h$ and does not depend on other variables such as center position). Then, the empirical semivariogram ${\hat {\gamma }}(h\pm \delta )$ can be calculated for each bin:
    ${\hat {\gamma }}(h\pm \delta ):={\frac {1}{2|N(h\pm \delta )|}}\sum _{(i,j)\in N(h\pm \delta )}|z_{i}-z_{j}|^{2}$
Or in other words, each pair of points separated by $h$ (plus or minus some bin width tolerance range $\delta$) are found. These form the set of points $N(h\pm \delta )\equiv \{(\mathbf {s} _{i},\mathbf {s} _{j}):|\mathbf {s} _{i},\mathbf {s} _{j}|=h\pm \delta ;i,j=1,\ldots ,N\}$. The number of these points in this bin is $|N(h\pm \delta )|$. Then for each pair of points $i,j$, the square of the difference in the observation (e.g., soil sample content or pixel intensity) is found ($|z_{i}-z_{j}|^{2}$). These squared differences are added together and normalized by the natural number $|N(h\pm \delta )|$. By definition the result is divided by 2 for the semivariogram at this separation.
For computational speed, only the unique pairs of points are needed. For example, for 2 observations pairs [$(z_{a},z_{b}),(z_{c},z_{d})$] taken from locations with separation $h\pm \delta$ only [$(z_{a},z_{b}),(z_{c},z_{d})$] need to be considered, as the pairs [$(z_{b},z_{a}),(z_{d},z_{c})$] do not provide any additional information.

## Variogram models

The empirical variogram cannot be computed at every lag distance $h$ and due to variation in the estimation it is not ensured that it is a valid variogram, as defined above. However some geostatistical methods such as kriging need valid semivariograms. In applied geostatistics the empirical variograms are thus often approximated by model function ensuring validity (Chiles&Delfiner 1999). Some important models are (Chiles&Delfiner 1999, Cressie 1993):
* The exponential variogram model
    $\gamma (h)=(s-n)(1-\exp(-h/(ra)))+n1_{(0,\infty )}(h).$
* The spherical variogram model
    $\gamma (h)=(s-n)\left(\left({\frac {3h}{2r}}-{\frac {h^{3}}{2r^{3}}}\right)1_{(0,r)}(h)+1_{[r,\infty )}(h)\right)+n1_{(0,\infty )}(h).$
* The Gaussian variogram model
    $\gamma (h)=(s-n)\left(1-\exp \left(-{\frac {h^{2}}{r^{2}a}}\right)\right)+n1_{(0,\infty )}(h).$
The parameter $a$ has different values in different references, due to the ambiguity in the definition of the range. E.g. $a=1/3$ is the value used in (Chiles&Delfiner 1999). The $1_{A}(h)$ function is 1 if $h\in A$ and 0 otherwise.

## Discussion

Three functions are used in geostatistics for describing the spatial or the temporal correlation of observations: these are the correlogram, the covariance, and the semivariogram. The last is also more simply called variogram.
The variogram is the key function in geostatistics as it will be used to fit a model of the temporal/spatial correlation of the observed phenomenon. One is thus making a distinction between the experimental variogram that is a visualization of a possible spatial/temporal correlation and the variogram model that is further used to define the weights of the kriging function. Note that the experimental variogram is an empirical estimate of the covariance of a Gaussian process. As such, it may not be positive definite and hence not directly usable in kriging, without constraints or further processing. This explains why only a limited number of variogram models are used: most commonly, the linear, the spherical, the Gaussian, and the exponential models.

## Applications

The empirical variogram is used in geostatistics as a first estimate of the variogram model needed for spatial interpolation by kriging.
* Empirical variograms for the spatiotemporal variability of column-averaged carbon dioxide was used to determine coincidence criteria for satellite and ground-based measurements.
* Empirical variograms were calculated for the density of a heterogeneous material (Gilsocarbon).
* Empirical variograms are calculated from observations of strong ground motion from earthquakes. These models are used for seismic risk and loss assessments of spatially-distributed infrastructure.

## Related concepts

The squared term in the variogram, for instance $(Z(\mathbf {s} _{1})-Z(\mathbf {s} _{2}))^{2}$, can be replaced with different powers: A madogram is defined with the absolute difference, $|Z(\mathbf {s} _{1})-Z(\mathbf {s} _{2})|$, and a rodogram is defined with the square root of the absolute difference, $|Z(\mathbf {s} _{1})-Z(\mathbf {s} _{2})|^{0.5}$. Estimators based on these lower powers are said to be more resistant to outliers. They can be generalized as a "variogram of order α",
    $2\gamma (\mathbf {s} _{1},\mathbf {s} _{2})=E\left[\left|Z(\mathbf {s} _{1})-Z(\mathbf {s} _{2})\right|^{\alpha }\right]$,
in which a variogram is of order 2, a madogram is a variogram of order 1, and a rodogram is a variogram of order 0.5.
When a variogram is used to describe the correlation of different variables it is called cross-variogram. Cross-variograms are used in co-kriging. Should the variable be binary or represent classes of values, one is then talking about indicator variograms. Indicator variograms are used in indicator kriging.