1: \begin{abstract}

2: Our aim is to construct high order approximation schemes for general semigroups of

3: linear operators $P_{t},t\geq 0$. In order to do it, we fix a time horizon $T

4: $ and the discretization steps $h_{l}=\frac{T}{n^{l}},l\in \N$ and we suppose

5: that we have at hand some short time approximation operators $Q_{l}$ such

6: that $P_{h_{l}}=Q_{l}+O(h_{l}^{1+\alpha })$ for some $\alpha >0$. Then, we

7: consider random time grids $\Pi (\omega )=\{t_0(\omega )=0<t_{1}(\omega )<...<t_{m}(\omega )=T\}$ such that for all $1\le k\le m$, $t_{k}(\omega )-t_{k-1}(\omega )=h_{l_{k}}$

8: for some $l_{k}\in \N$, and we associate the approximation discrete semigroup 

9: $P_{T}^{\Pi (\omega )}=Q_{l_{n}}...Q_{l_{1}}.$ Our main result is the following: for any approximation order $\nu $, we

10:  can construct random grids $\Pi_{i}(\omega )$ and coefficients $c_{i}$, with $i=1,...,r$ such that 

11: \[

12: P_{t}f=\sum_{i=1}^{r}c_{i}\E(P_{t}^{\Pi _{i}(\omega )}f(x))+O(n^{-\nu})

13: \]%

14: with the expectation concerning the random grids $\Pi _{i}(\omega ).$ Besides, $\card(\Pi _{i}(\omega ))=O(n)$

15: and the complexity of the algorithm is of order $n$, for any order

16: of approximation $\nu$. The standard example concerns diffusion processes, using the Euler approximation for~$Q_l$.

17: In this particular case and under suitable conditions, we are 

18: able to gather the terms in order to produce an estimator of $P_tf$ with finite variance.

19: However, an important feature of our approach is its universality in the sense that

20: it works for every general semigroup $P_{t}$ and approximations. Besides, approximation schemes sharing the same $\alpha$ lead to 

21: the same random grids $\Pi_{i}$ and coefficients $c_{i}$. Numerical illustrations are given for ordinary differential equations, piecewise deterministic Markov processes and diffusions. 

22: \end{abstract}