In statistics, compositional data are quantitative descriptions of the parts of some whole, conveying relative information. Mathematically, compositional data is represented by points on a simplex. Measurements involving probabilities, proportions, percentages, and ppm can all be thought of as compositional data.
Compositional data in three variables can be plotted via ternary plots. The use of a barycentric plot on three variables graphically depicts the ratios of the three variables as positions in an equilateral triangle.
In general, John Aitchison defined compositional data to be proportions of some whole in 1982.[1] In particular, a compositional data point (or composition for short) can be represented by a real vector with positive components. The sample space of compositional data is a simplex:
D=\left\{x=[x | |
l{S} | |
1,x |
2,...,x
D | |
D]\inR |
\left|xi>0,i=1,2,...,D;
D | |
\sum | |
i=1 |
xi=\kappa\right.\right\}.
The only information is given by the ratios between components, so the information of a composition is preserved under multiplication by any positive constant. Therefore, the sample space of compositional data can always be assumed to be a standard simplex, i.e.
\kappa=1
\scriptstylel{C}[ ⋅ ]
l{C}[x1,x2,...,x
, | ||||||||||||||
|
x2 | |||||||||
|
,...,
xD | |||||||||
|
\right],
where D is the number of parts (components) and
[ ⋅ ]
The simplex can be given the structure of a vector space in several different ways. The following vector space structure is called Aitchison geometry or the Aitchison simplex and has the following operations:
x ⊕ y=\left[
x1y1 | , | ||||||||
|
x2y2 | |||||||||
|
,...,
xDyD | |||||||||
|
\right]=C[x1y1,\ldots,xDyD] \forallx,y\inSD
\alpha\odotx=\left[
| , | ||||||||||||||
|
| |||||||||||||||
|
,\ldots,
| |||||||||||||||
|
\right]=
\alpha, | |
C[x | |
1 |
\ldots,
\alpha] | |
x | |
D |
\forallx\inSD, \alpha\inR
\langlex,y\rangle=
1 | |
2D |
D | |
\sum | |
i=1 |
D log | |
\sum | |
j=1 |
xi | |
xj |
log
yi | |
yj |
\forallx,y\inSD
Under these operations alone, it is sufficient to show that the Aitchison simplex forms a
(D-1)
\left[ | 1 |
D |
,...,
1 | |
D |
\right]
Since the Aitchison simplex forms a finite dimensional Hilbert space, it is possible to construct orthonormal bases in the simplex. Every composition
x
x=
D | |
oplus | |
i=1 |
* | |
x | |
i |
\odotei
where
e1,\ldots,eD-1
*, | |
x | |
i |
i=1,2,\ldots,D-1
x
(\operatorname{ilr})
There are three well-characterized isomorphisms that transform from the Aitchison simplex to real space. All of these transforms satisfy linearity and as given below
The additive log ratio (alr) transform is an isomorphism where
\operatorname{alr}:SD → RD-1
\operatorname{alr}(x)=\left[log
x1 | |
xD |
… log
xD-1 | |
xD |
\right]
The choice of denominator component is arbitrary, and could be any specified component.This transform is commonly used in chemistry with measurements such as pH. In addition, this is the transform most commonly used for multinomial logistic regression. The alr transform is not an isometry, meaning that distances on transformed values will not be equivalent to distances on the original compositions in the simplex.
The center log ratio (clr) transform is both an isomorphism and an isometry where
\operatorname{clr}:SD → U, U\subsetRD
\operatorname{clr}(x)=\left[log
x1 | |
g(x) |
… log
xD | |
g(x) |
\right]
Where
g(x)
x
The isometric log ratio (ilr) transform is both an isomorphism and an isometry where
\operatorname{ilr}:SD → RD-1
\operatorname{ilr}(x)=[\langlex,e1\rangle,\ldots,\langlex,eD-1\rangle]
There are multiple ways to construct orthonormal bases, including using the Gram–Schmidt orthogonalization or singular-value decomposition of clr transformed data. Another alternative is to construct log contrasts from a bifurcating tree. If we are given a bifurcating tree, we can construct a basis from the internal nodes in the tree.
Each vector in the basis would be determined as follows
e\ell=C[\exp(\underbrace{0,\ldots,0}k,\underbrace{a,\ldots,a}r,\underbrace{b,\ldots,b}s,\underbrace{0,\ldots,0}t)]
The elements within each vector are given as follows
a=
\sqrt{s | |
where
k,r,s,t
Once the basis
\Psi
\operatorname{ilr}(x)=\operatorname{clr}(x)\PsiT
where each element in the ilr transformed data is of the following form
bi=\sqrt{
rs | |
r+s |
where
xR
xS
R
S