Wrapped distribution explained

In probability theory and directional statistics, a wrapped probability distribution is a continuous probability distribution that describes data points that lie on a unit n-sphere. In one dimension, a wrapped distribution consists of points on the unit circle. If

\phi

is a random variate in the interval

(-infty,infty)

with probability density function (PDF)

p(\phi)

, then

z=ei\phi

is a circular variable distributed according to the wrapped distribution

pwz(\theta)

and

\theta=\arg(z)

is an angular variable in the interval

(-\pi,\pi]

distributed according to the wrapped distribution

pw(\theta)

.

Any probability density function

p(\phi)

on the line can be "wrapped" around the circumference of a circle of unit radius.[1] That is, the PDF of the wrapped variable

\theta=\phi\mod2\pi

in some interval of length

2\pi

is

pw(\theta)=\sum

infty
k=-infty

{p(\theta+2\pik)}

which is a periodic sum of period

2\pi

. The preferred interval is generally

(-\pi<\theta\le\pi)

for which

ln(ei\theta)=\arg(ei\theta)=\theta

.

Theory

In most situations, a process involving circular statistics produces angles (

\phi

) which lie in the interval

(-infty,infty)

, and are described by an "unwrapped" probability density function

p(\phi)

. However, a measurement will yield an angle

\theta

which lies in some interval of length

2\pi

(for example, 0 to

2\pi

). In other words, a measurement cannot tell whether the true angle

\phi

or a wrapped angle

\theta=\phi+2\pia

, where

a

is some unknown integer, has been measured.

If we wish to calculate the expected value of some function of the measured angle it will be:

\langle

infty
f(\theta)\rangle=\int
-infty

p(\phi)f(\phi+2\pia)d\phi

.

We can express the integral as a sum of integrals over periods of

2\pi

:

\langle

infty
f(\theta)\rangle=\sum
k=-infty
2\pi(k+1)
\int
2\pik

p(\phi)f(\phi+2\pia)d\phi

.

Changing the variable of integration to

\theta'=\phi-2\pik

and exchanging the order of integration and summation, we have

\langlef(\theta)\rangle=

2\pi
\int
0

pw(\theta')f(\theta'+2\pia')d\theta'

where

pw(\theta')

is the PDF of the wrapped distribution and

a'

is another unknown integer

(a'=a+k)

. The unknown integer

a'

introduces an ambiguity into the expected value of

f(\theta)

, similar to the problem of calculating angular mean. This can be resolved by introducing the parameter

z=ei\theta

, since

z

has an unambiguous relationship to the true angle

\phi

:

z=ei\theta=ei\phi

.

Calculating the expected value of a function of

z

will yield unambiguous answers:

\langlef(z)\rangle=

2\pi
\int
0
i\theta'
p
w(\theta')f(e

)d\theta'

.

For this reason, the

z

parameter is preferred over measured angles

\theta

in circular statistical analysis. This suggests that the wrapped distribution function may itself be expressed as a function of

z

such that:

\langlef(z)\rangle=\ointpwz(z)f(z)dz

where

pw(z)

is defined such that

pw(\theta)|d\theta|=pwz(z)|dz|

. This concept can be extended to the multivariate context by an extension of the simple sum to a number of

F

sums that cover all dimensions in the feature space:

pw(\vec\theta)=\sum

infty
k1,...,kF=-infty

{p(\vec\theta+2\pik1e1+...+2\pikFeF)}

where
T
e
k=(0,...,0,1,0,...,0)
is the

k

th Euclidean basis vector.

Expression in terms of characteristic functions

A fundamental wrapped distribution is the Dirac comb, which is a wrapped Dirac delta function:

\Delta2\pi

infty
(\theta)=\sum
k=-infty

{\delta(\theta+2\pik)}

.

Using the delta function, a general wrapped distribution can be written

pw(\theta)=\sum

infty
k=-infty
infty
\int
-infty

p(\theta')\delta(\theta-\theta'+2\pik)d\theta'

.

Exchanging the order of summation and integration, any wrapped distribution can be written as the convolution of the unwrapped distribution and a Dirac comb:

pw(\theta)=\int

infty
-infty

p(\theta')\Delta2\pi(\theta-\theta')d\theta'

.

The Dirac comb may also be expressed as a sum of exponentials, so we may write:

p
w(\theta)=1
2\pi
infty
\int
-infty
infty
p(\theta')\sum
n=-infty

ein(\theta-\theta')d\theta'

.

Again exchanging the order of summation and integration:

p
w(\theta)=1
2\pi
infty
\sum
n=-infty
infty
\int
-infty

p(\theta')ein(\theta-\theta')d\theta'

.

Using the definition of

\phi(s)

, the characteristic function of

p(\theta)

yields a Laurent series about zero for the wrapped distribution in terms of the characteristic function of the unwrapped distribution:
p
w(\theta)=1
2\pi
infty
\sum
n=-infty

\phi(n)e-in\theta

or

pwz(z)=

1
2\pi
infty
\sum
n=-infty

\phi(n)z-n

Analogous to linear distributions,

\phi(m)

is referred to as the characteristic function of the wrapped distribution (or more accurately, the characteristic sequence).[2] This is an instance of the Poisson summation formula, and it can be seen that the coefficients of the Fourier series for the wrapped distribution are simply the coefficients of the Fourier transform of the unwrapped distribution at integer values.

Moments

The moments of the wrapped distribution

pw(z)

are defined as:

\langlezm\rangle=\ointpwz(z)zmdz

.

Expressing

pw(z)

in terms of the characteristic function and exchanging the order of integration and summation yields:

\langlezm\rangle=

1
2\pi
infty
\sum
n=-infty

\phi(n)\ointzm-ndz

.

From the residue theorem we have

\ointzm-ndz=2\pi\deltam-n

where

\deltak

is the Kronecker delta function. It follows that the moments are simply equal to the characteristic function of the unwrapped distribution for integer arguments:

\langlezm\rangle=\phi(m)

.

Generation of random variates

If

X

is a random variate drawn from a linear probability distribution

P

, then

Z=ei

is a circular variate distributed according to the wrapped

P

distribution, and

\theta=\arg(Z)

is the angular variate distributed according to the wrapped

P

distribution, with

-\pi<\theta\leq\pi

.

Entropy

The information entropy of a circular distribution with probability density

pw(\theta)

is defined as:

H=-\int\Gammapw(\theta)ln(pw(\theta))d\theta

where

\Gamma

is any interval of length

2\pi

.[1] If both the probability density and its logarithm can be expressed as a Fourier series (or more generally, any integral transform on the circle), the orthogonal basis of the series can be used to obtain a closed form expression for the entropy.

The moments of the distribution

\phi(n)

are the Fourier coefficients for the Fourier series expansion of the probability density:
p
w(\theta)=1
2\pi
infty
\sum
n=-infty

\phine-in\theta

.

If the logarithm of the probability density can also be expressed as a Fourier series:

ln(pw(\theta))=\sum

infty
m=-infty

cmeim\theta

where

c
m=1
2\pi

\int\Gamma

-im\theta
ln(p
w(\theta))e

d\theta

.

Then, exchanging the order of integration and summation, the entropy may be written as:

H=-1
2\pi
infty
\sum
n=-infty

cm\phin\int\Gammaei(m-n)\thetad\theta

.

Using the orthogonality of the Fourier basis, the integral may be reduced to:

infty
H=-\sum
n=-infty

cn\phin

.

For the particular case when the probability density is symmetric about the mean,

c-m=cm

and the logarithm may be written:

ln(pw(\theta))=c0+

infty
2\sum
m=1

cm\cos(m\theta)

and

c
m=1
2\pi

\int\Gammaln(pw(\theta))\cos(m\theta)d\theta

and, since normalization requires that

\phi0=1

, the entropy may be written:

H=-c0-2\sum

infty
n=1

cn\phin

.

See also

References

  1. Book: Mardia, Kantilal . Directional Statistics . Kantilal Mardia . Jupp, Peter E. . 1999. Wiley . 978-0-471-95333-3 .
  2. Book: Mardia, K. . Statistics of Directional Data . 1972 . Academic press . New York. 978-1-4832-1866-3 .

External links