Source author record

Pieter C. Allaart

Pieter C. Allaart appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

13works
5topics
2close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

13 published item(s)

preprint2018arXiv

A random walk version of Robbins' problem: small horizon

In Robbins' problem of minimizing the expected rank, a finite sequence of $n$ independent, identically distributed random variables are observed sequentially and the objective is to stop at such a time that the expected rank of the selected variable (among the sequence of all $n$ variables) is as small as possible. In this paper we consider an analogous problem in which the observed random variables are the steps of a symmetric random walk. Assuming continuously distributed step sizes, we describe the optimal stopping rules for the cases $n=2$ and $n=3$ in two versions of the problem: a "full information" version in which the actual steps of the random walk are disclosed to the decision maker; and a "partial information" version in which only the relative ranks of the positions taken by the random walk are observed. When $n=3$, the optimal rule and expected rank depend on the distribution of the step sizes. We give sharp bounds for the optimal expected rank in the partial information version, and fairly sharp bounds in the full information version.

preprint2015arXiv

The infinite derivatives of Okamoto's self-affine functions: an application of beta-expansions

Okamoto's one-parameter family of self-affine functions $F_a: [0,1]\to[0,1]$, where $0<a<1$, includes the continuous nowhere differentiable functions of Perkins ($a=5/6$) and Bourbaki/Katsuura ($a=2/3$), as well as the Cantor function ($a=1/2$). The main purpose of this article is to characterize the set of points at which $F_a$ has an infinite derivative. We compute the Hausdorff dimension of this set for the case $a\leq 1/2$, and estimate it for $a>1/2$. For all $a$, we determine the Hausdorff dimension of the sets of points where: (i) $F_a'=0$; and (ii) $F_a$ has neither a finite nor an infinite derivative. The upper and lower densities of the digit $1$ in the ternary expansion of $x\in[0,1]$ play an important role in the analysis, as does the theory of $β$-expansions of real numbers.

preprint2014arXiv

On the level sets of the Takagi-van der Waerden functions

This paper examines the level sets of the continuous but nowhere differentiable functions \begin{equation*} f_r(x)=\sum_{n=0}^\infty r^{-n}ϕ(r^n x), \end{equation*} where $ϕ(x)$ is the distance from $x$ to the nearest integer, and $r$ is an integer with $r\geq 2$. It is shown, by using properties of a symmetric correlated random walk, that almost all level sets of $f_r$ are finite (with respect to Lebesgue measure on the range of $f$), but that for an abscissa $x$ chosen at random from $[0,1)$, the level set at level $y=f_r(x)$ is uncountable almost surely. As a result, the occupation measure of $f_r$ is singular.

preprint2013arXiv

Level sets of signed Takagi functions

This paper examines level sets of functions of the form $f(x)=\sum_{n=0}^\infty \frac{r_n}{2^n}ϕ(2^n x)$, where phi(x) is the distance from x to the nearest integer, and r_n equals 1 or -1 for each n. Such functions are referred to as signed Takagi functions. The case when r_n=1 for all n is the classical Takagi function, a well-known example of a continuous but nowhere differentiable function. For f of the above form, the maximum and minimum values of f are expressed in terms of the sequence {r_n}. It is then shown that almost all level sets of f are finite (with respect to Lebesgue measure on the range of f), but the set of ordinates y with an uncountably large level set is residual in the range of f. The concept of a local level set of the Takagi function, due to Lagarias and Maddock, is extended to arbitrary signed Takagi functions. It is shown that the average number of local level sets contained in a level set of f is the reciprocal of the height of the graph of f, and consequently, this average lies between 3/2 and 2.

preprint2012arXiv

Digital sum inequalities and approximate convexity of Takagi-type functions

For an integer b>=2, let s_b(n) be the sum of the digits of the integer n when written in base b, and let S_b(N) be the sum of s_b(n) over n=0,...,N-1, so that S_b(N) is the sum of all b-ary digits needed to write the numbers 0,1,...,N-1. Several inequalities are derived for S_b(N). Some of the inequalities can be interpreted as comparing the average value of s_b(n) over integer intervals of certain lengths to the average value of a beginning subinterval. Two of the main results are applied to derive a pair of "approximate convexity" inequalities for a sequence of Takagi-like functions. One of these inequalities was discovered recently via a different method by V. Lev; the other is new.

preprint2012arXiv

Predicting the supremum: optimality of "stop at once or not at all"

Let X_t, 0<=t<=T be a one-dimensional stochastic process with independent and stationary increments. This paper considers the problem of stopping the process X_t "as close as possible" to its eventual supremum M_T:=sup{X_t: 0<=t<=T}, when the reward for stopping with a stopping time tau<=T is a nonincreasing convex function of M_T-X_tau. Under fairly general conditions on the process X_t, it is shown that the optimal stopping time tau is of "bang-bang" form: it is either optimal to stop at time 0 or at time T. For the case of random walk, the rule tau=T is optimal if the steps of the walk stochastically dominate their opposites, and the rule tau=0 is optimal if the reverse relationship holds. For Le'vy processes X_t with finite Le'vy measure, an analogous result is proved assuming that the jumps of X_t satisfy the above condition, and the drift of X_t has the same sign as the mean jump. Finally, conditions are given under which the result can be extended to the case of nonfinite Le'vy measure.

preprint2011arXiv

An inequality for sums of binary digits, with application to Takagi functions

This paper considers a parametrized family of generalized Takagi functions f_p with parameter p. Tabor and Tabor [J. Math. Anal. Appl. 356 (2009), 729-737] recently proved that for p in [1,2], f_p is (1,p)-midconvex. We give a simpler proof of this result by developing an explicit expression for f_p at dyadic rational points and showing that (1,p)-midconvexity of f_p reduces to a simple inequality for weighted sums of binary digits.

preprint2011arXiv

How large are the level sets of the Takagi function?

Let T be Takagi's continuous but nowhere-differentiable function. This paper considers the size of the level sets of T both from a probabilistic point of view and from the perspective of Baire category. We first give more elementary proofs of three recently published results. The first, due to Z. Buczolich, states that almost all level sets (with respect to Lebesgue measure on the range of T) are finite. The second, due to J. Lagarias and Z. Maddock, states that the average number of points in a level set is infinite. The third result, also due to Lagarias and Maddock, states that the average number of local level sets contained in a level set is 3/2. In the second part of the paper it is shown that, in contrast to the above results, the set of ordinates y with uncountably infinite level sets is residual, and a fairly explicit description of this set is given. The paper also gives a negative answer to a question of Lagarias and Maddock by showing that most level sets (in the sense of Baire category) contain infinitely many local level sets, and that a continuum of level sets even contain uncountably many local level sets. Finally, several of the main results are extended to a version of T with arbitrary signs in the summands.

preprint2011arXiv

On the distribution of the cardinalities of level sets of the Takagi function

Let T be Takagi's continuous but nowhere-differentiable function. It is known that almost all level sets (with respect to Lebesgue measure on the range of T) are finite. We show that the most common cardinality of the level sets of T is two, and investigate in detail the set of ordinates y such that the level set at level y has precisely two elements. As a by-product, we obtain a simple iterative procedure for solving the equation T(x)=y. We show further that any positive even integer occurs as the cardinality of some level set, and investigate which cardinalities occur with positive probability if an ordinate y is chosen at random from the range of T. The key to the results is a system of set equations for the level sets, which are derived from the partial self-similarity of T. These set equations yield a system of linear relationships between the cardinalities of level sets at various levels, from which all the results of this paper flow.

preprint2010arXiv

The improper infinite derivatives of Takagi's nowhere-differentiable function

Let T be Takagi's continuous but nowhere-differentiable function. Using a representation in terms of Rademacher series due to N. Kono, we give a complete characterization of those points where T has a left-sided, right-sided, or two-sided infinite derivative. This characterization is illustrated by several examples. A consequence of the main result is that the sets of points where T'(x) is infinite have Hausdorff dimension one. As a byproduct of the method of proof, some exact results concerning the modulus of continuity of T are also obtained.

preprint2009arXiv

A general "bang-bang" principle for predicting the maximum of a random walk

Let $(B_t)_{0\leq t\leq T}$ be either a Bernoulli random walk or a Brownian motion with drift, and let $M_t:=\max\{B_s: 0\leq s\leq t\}$, $0\leq t\leq T$. This paper solves the general optimal prediction problem \sup_{0\leqτ\leq T}\sE[f(M_T-B_τ)], where the supremum is over all stopping times $τ$ adapted to the natural filtration of $(B_t)$, and $f$ is a nonincreasing convex function. The optimal stopping time $τ^*$ is shown to be of "bang-bang" type: $τ^*\equiv 0$ if the drift of the underlying process $(B_t)$ is negative, and $τ^*\equiv T$ is the drift is positive. This result generalizes recent findings by S. Yam, S. Yung and W. Zhou [{\em J. Appl. Probab.} {\bf 46} (2009), 651--668] and J. Du Toit and G. Peskir [{\em Ann. Appl. Probab.} {\bf 19} (2009), 983--1014], and provides additional mathematical justification for the dictum in finance that one should sell bad stocks immediately, but keep good ones as long as possible.

preprint2006arXiv

Prophet inequalities for i.i.d. random variables with random arrival times

Suppose $X_1,X_2,...$ are i.i.d. nonnegative random variables with finite expectation, and for each $k$, $X_k$ is observed at the $k$-th arrival time $S_k$ of a Poisson process with unit rate which is independent of the sequence $\{X_k\}$. For $t>0$, comparisons are made between the expected maximum $M(t):=\rE[\max_{k\geq 1} X_k \sI(S_k\leq t)]$ and the optimal stopping value $V(t):=\sup_{τ\in\TT}\sE[X_τ\sI(S_τ\leq t)]$, where $\TT$ is the set of all $\NN$-valued random variables $τ$ such that $\{τ=i\}$ is measurable with respect to the $σ$-algebra generated by $(X_1,S_1),...,(X_i,S_i)$. For instance, it is shown that $M(t)/V(t)\leq 1+α_0$, where $α_0\doteq 0.34149$ satisfies $\int_0^1(y-y\ln y+α_0)^{-1} dy=1$; and this bound is asymptotically sharp as $t\to\infty$. Another result is that $M(t)/V(t)<2-(1-e^{-t})/t$, and this bound is asymptotically sharp as $t\downarrow 0$. Upper bounds for the difference $M(t)-V(t)$ are also given, under the additional assumption that the $X_k$ are bounded.