knitr::read_chunk("chunks.R")



  devtools::load_all()
  knitr::read_chunk("../code/holder-weierstrass-notrandom.R")

Introduction

Darkhovsky and Piryatinska have conjectured that for a constant generating process the complexity coefficients time series generated by that process are constant. More concretely, we tested if, for a constant Hölder class of functions, the complexity coefficients are also constant.

A Hölder-$\alpha$ class of functions is a set of functions with a bounded rate of change indexed by the parameter $\alpha$. Specifically, a Hölder continuous function $f(x)$ is one that satisfies [ | f(x + h) - f(x)| < C|h|^{\alpha}, ] for positive constants $C$, $\alpha$.

Three of the simulations used in our previous tests have parameters that determine the Hölder-$\alpha$ class of the time series generated by the process or function -- fractional Brownian Motion (fBm), the random Weierstrass function, and the Cauchy process. For each of these random processes, and for the Weierstrass function, the Hölder class and fractal dimension are determined by the same parameter. The complexity coefficients were estimated on time series generated over a range of parameters for each function or process. In addition to computing the complexity coefficients, fractal dimension was estimated using a variogram-based estimator[^1].

For all process except for the random Weierstrass function, the mean of the complexity coefficient $B$ changed linearly with the Hölder class of the time series and with the time series' estimated fractal dimension. Here we present the results from the Weierstrass function and the Cauchy process.

Weierstrass Function

The Weierstrass function is well-known example of a continuous but nowhere differentiable function. The function can be written: $$ W_{\alpha}(x) = \sum_{n=0}^{\infty}b^{-n\alpha}\cos(b^n \pi x). $$ In this form, the single parameter $\alpha$ is the Hölder class for the function and $2-\alpha$ is the functions fractal dimension[^2]. Graphs of the Weierstrass function where $b = 2$ and for several $\alpha$ parameters are shown below.

<<weierstrass-notrandom-plot>>

The complexity coefficients and fractal dimension were estimated for 20 values of $\alpha$. The results plotted below show that the all both complexity coefficients and fractal dimension change linearly with the $\alpha$ parameter.

  <<holder-coefficients>> 
  knitr::read_chunk("../code/holder-cauchy-plots.R")

Cauchy process

The Hurst parameter is a measure of the long range dependence of a random process. Fractional Brownian motion has a single parameter that determines both the Hölder class andfractal dimension of its sample paths and the Hurst parameter. The Cauchy process, on the other hand, has two parameters which separately determine the fractal dimension and Hurst parameter of sample paths of the process.

The Cauchy process is defined in terms of its correlation function [ c(h) = (1 + |h|^{\alpha})^{-\beta/\alpha}, \hspace{1em} h \in \mathbb{R}. ]

For $\alpha \in (0, 2]$ the fractal dimension of the Cauchy process is [ D = 2 - \frac{\alpha}{2}. ]

And for $\beta \in (0,1)$ its Hurst parameter is [ H = 1 - \frac{\beta}{2}. ]

The plot below shows the Cauchy process on a 3 $\times$ 3 grid of parameters. Fractal dimension (and the Hölder class) are constant on the columns. The plots are labeled with their theoretical Hurst parameter and the estimated complexity coefficient $B$.

  <<cauchy>>

30 samples were generated for each parameter combination on a 10 $\times$ 10 grid. The plots below show the estimates for the complexity coefficients and fractal dimension plotted separately against the $\alpha$ parameter and $\beta$ parameter. The plots show the complexity coefficient $B$ and the fractal dimension estimator change linearly with $\alpha$ but are largely unaffected by the changes in the Hurst parameter.

  knitr::read_chunk("../code/holder-cauchy.R")
  <<cauchy-coefficients>>

Discussion

Similar results held for fBm but not for the random Weierstrass function. For each process tested in this section, the complexity coefficient $B$ behaved like the variogram-based fractal dimension estimator. It's likely that the complexity coefficient $B$ is an estimator of fractal dimension. One approach to proving this is would be to restrict the proof, for example, to stationary Gaussian processes and to simple polynomial or even linear approximation.

[^1]: Estimators of fractal dimension [^2]: This was recently proved by Shen.

Session information




nateaff/eeg-complex documentation built on May 14, 2019, 2:55 p.m.