464d995f4108b28c.tex
1: \begin{abstract}
2: We show that polynomial-time randomness (p-randomness) is preserved under a variety of familiar operations, including addition and multiplication by a nonzero polynomial-time computable real number.  These results follow from a general theorem: If $I\subseteq\reals$ is an open interval, $\map{f}{I}{\reals}$ is a function, and $r\in I$ is p-random, then $f(r)$ is p-random provided
3: \begin{enumerate}
4: \item
5: $f$ is p-computable on the dyadic rational points in $I$, and
6: \item
7: $f$ varies sufficiently at $r$, i.e., there exists a real constant $C > 0$ such that either
8: \[ (\forall x\in I-\{r\})\left[\frac{f(x) - f(r)}{x-r} \ge C\right] \]
9: or
10: \[ (\forall x\in I-\{r\})\left[\frac{f(x) - f(r)}{x-r} \le -C\right]\;. \]
11: \end{enumerate}
12: 
13: Our theorem implies in particular that any analytic function about a p-computable point whose power series has uniformly p-computable coefficients preserves p-randomness in its open interval of absolute convergence.  Such functions include all the familiar functions from first-year calculus.
14: 
15: \bigskip
16: 
17: %\keywords{%
18: \noindent\textbf{Keywords: } Randomness, p-randomness, complexity, polynomial time, measure, martingale, real analysis%}
19: \end{abstract}
20: