Showing 1–19 of 19 results for author: Allaart, P C

An algebraic approach to entropy plateaus in non-integer base expansions

Authors: Pieter C. Allaart

Abstract: For a positive integer $M$ and a real base $q\in(1,M+1]$, let $\mathcal{U}_q$ denote the set of numbers having a unique expansion in base $q$ over the alphabet $\{0,1,\dots,M\}$, and let $\mathbf{U}_q$ denote the corresponding set of sequences in $\{0,1,\dots,M\}^{\mathbb{N}}$. Komornik et al. [Adv. Math. 305 (2017), 165--196] showed recently that the Hausdorff dimension of $\mathcal{U}_q$ is give… ▽ More For a positive integer $M$ and a real base $q\in(1,M+1]$, let $\mathcal{U}_q$ denote the set of numbers having a unique expansion in base $q$ over the alphabet $\{0,1,\dots,M\}$, and let $\mathbf{U}_q$ denote the corresponding set of sequences in $\{0,1,\dots,M\}^{\mathbb{N}}$. Komornik et al. [Adv. Math. 305 (2017), 165--196] showed recently that the Hausdorff dimension of $\mathcal{U}_q$ is given by $h(\mathbf{U}_q)/\log q$, where $h(\mathbf{U}_q)$ denotes the topological entropy of $\mathbf{U}_q$. They furthermore showed that the function $H: q\mapsto h(\mathbf{U}_q)$ is continuous, nondecreasing and locally constant almost everywhere. The plateaus of $H$ were characterized by Alcaraz Barrera et al. [Trans. Amer. Math. Soc., 371 (2019), 3209--3258]. In this article we reinterpret the results of Alcaraz Barrera et al.~by introducing a notion of composition of fundamental words, and use this to obtain new information about the structure of the function $H$. This method furthermore leads to a more streamlined proof of their main theorem. △ Less

Submitted 10 June, 2019; v1 submitted 21 December, 2018; originally announced December 2018.

Comments: 19 pages, 1 figure; only minor changes since last version

MSC Class: 11A63 (primary); 37B10; 37B40; 68R15 (secondary)

Journal ref: Discrete Contin. Dyn. Syst. A 39, no. 11, 6507--6522 (2019)

A random walk version of Robbins' problem: small horizon

Authors: Pieter C. Allaart, Andrew Allen

Abstract: 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 variabl… ▽ More 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. △ Less

Submitted 16 November, 2018; originally announced November 2018.

Comments: 18 pages, 2 tables

MSC Class: 60G40

Journal ref: Math. Appl. 47, no. 2, 293-312 (2019)

Differentiability and Hölder spectra of a class of self-affine functions

Authors: Pieter C. Allaart

Abstract: This paper studies a large class of continuous functions $f:[0,1]\to\mathbb{R}^d$ whose range is the attractor of an iterated function system $\{S_1,\dots,S_{m}\}$ consisting of similitudes. This class includes such classical examples as Pólya's space-filling curves, the Riesz-Nagy singular functions and Okamoto's functions. The differentiability of $f$ is completely classified in terms of the con… ▽ More This paper studies a large class of continuous functions $f:[0,1]\to\mathbb{R}^d$ whose range is the attractor of an iterated function system $\{S_1,\dots,S_{m}\}$ consisting of similitudes. This class includes such classical examples as Pólya's space-filling curves, the Riesz-Nagy singular functions and Okamoto's functions. The differentiability of $f$ is completely classified in terms of the contraction ratios of the maps $S_1,\dots,S_{m}$. Generalizing results of Lax (1973) and Okamoto (2006), it is shown that either (i) $f$ is nowhere differentiable; (ii) $f$ is non-differentiable almost everywhere but with uncountably many exceptions; or (iii) $f$ is differentiable almost everywhere but with uncountably many exceptions. The Hausdorff dimension of the exceptional sets in cases (ii) and (iii) above is calculated, and more generally, the complete multifractal spectrum of $f$ is determined. △ Less

Submitted 3 January, 2018; v1 submitted 23 July, 2017; originally announced July 2017.

Comments: 41 pages; slightly restructured the proof of Theorem 6.1 and fixed a few typos

MSC Class: 26A27

Journal ref: Adv. Math. 328 (2018), 1-39

Differentiability of a two-parameter family of self-affine functions

Authors: Pieter C. Allaart

Abstract: This paper highlights an unexpected connection between expansions of real numbers to noninteger bases (so-called {\em $β$-expansions}) and the infinite derivatives of a class of self-affine functions. Precisely, we extend Okamoto's function (itself a generalization of the well-known functions of Perkins and Katsuura) to a two-parameter family $\{F_{N,a}: N\in\mathbb{N}, a\in(0,1)\}$. We first show… ▽ More This paper highlights an unexpected connection between expansions of real numbers to noninteger bases (so-called {\em $β$-expansions}) and the infinite derivatives of a class of self-affine functions. Precisely, we extend Okamoto's function (itself a generalization of the well-known functions of Perkins and Katsuura) to a two-parameter family $\{F_{N,a}: N\in\mathbb{N}, a\in(0,1)\}$. We first show that for each $x$, $F_{N,a}'(x)$ is either $0$, $\pm\infty$, or undefined. We then extend Okamoto's theorem by proving that for each $N$, depending on the value of $a$ relative to a pair of thresholds, the set $\{x: F_{N,a}'(x)=0\}$ is either empty, uncountable but Lebesgue null, or of full Lebesgue measure. We compute its Hausdorff dimension in the second case. The second result is a characterization of the set $\mathcal{D}_\infty(a):=\{x:F_{N,a}'(x)=\pm\infty\}$, which enables us to closely relate this set to the set of points which have a unique expansion in the (typically noninteger) base $β=1/a$. Recent advances in the theory of $β$-expansions are then used to determine the cardinality and Hausdorff dimension of $\mathcal{D}_\infty(a)$, which depends qualitatively on the value of $a$ relative to a second pair of thresholds. △ Less

Submitted 24 June, 2016; originally announced June 2016.

Comments: 20 pages, 4 figures

MSC Class: 26A27

Journal ref: J. Math. Anal. Appl. 450 (2017), no. 2, 954-968

On univoque and strongly univoque sets

Authors: Pieter C. Allaart

Abstract: Much has been written about expansions of real numbers in noninteger bases. Particularly, for a finite alphabet $\{0,1,\dots,α\}$ and a real number (base) $1<β<α+1$, the so-called {\em univoque set} of numbers which have a unique expansion in base $β$ has garnered a great deal of attention in recent years. Motivated by recent applications of $β$-expansions to Bernoulli convolutions and a certain c… ▽ More Much has been written about expansions of real numbers in noninteger bases. Particularly, for a finite alphabet $\{0,1,\dots,α\}$ and a real number (base) $1<β<α+1$, the so-called {\em univoque set} of numbers which have a unique expansion in base $β$ has garnered a great deal of attention in recent years. Motivated by recent applications of $β$-expansions to Bernoulli convolutions and a certain class of self-affine functions, we introduce the notion of a {\em strongly univoque} set. We study in detail the set $D_β$ of numbers which are univoque but not strongly univoque. Our main result is that $D_β$ is nonempty if and only if the number $1$ has a unique nonterminating expansion in base $β$, and in that case, $D_β$ is uncountable. We give a sufficient condition for $D_β$ to have positive Hausdorff dimension, and show that, on the other hand, there are infinitely many values of $β$ for which $D_β$ is uncountable but of Hausdorff dimension zero. △ Less

Submitted 24 June, 2016; v1 submitted 18 January, 2016; originally announced January 2016.

Comments: 25 pages. Slightly extended the results and added more references

MSC Class: 11A63

Journal ref: Adv. Math. 308 (2017), 575-598

A sharp lower bound for choosing the maximum of an independent sequence

Authors: Pieter C. Allaart, Jose A. Islas

Abstract: This paper considers a variation of the full-information secretary problem where the random variables to be observed are independent but not necessary identically distributed. The main result is a sharp lower bound for the optimal win probability. Precisely, if $X_1,\dots,X_n$ are independent random variables with known continuous distributions and $V_n(X_1,\dots,X_n):=\sup_τP(X_τ=M_n)$, where… ▽ More This paper considers a variation of the full-information secretary problem where the random variables to be observed are independent but not necessary identically distributed. The main result is a sharp lower bound for the optimal win probability. Precisely, if $X_1,\dots,X_n$ are independent random variables with known continuous distributions and $V_n(X_1,\dots,X_n):=\sup_τP(X_τ=M_n)$, where $M_n:=\max\{X_1,\dots,X_n\}$ and the supremum is over all stopping times adapted to $X_1,\dots,X_n$, then $$V_n(X_1,\dots,X_n)\geq \left(1-\frac{1}{n}\right)^{n-1},$$ and this bound is attained. The method of proof consists in reducing the problem to that of a sequence of two-valued random variables, and then applying Bruss' sum-the-odds theorem (2000). In order to obtain a sharp bound for each $n$, we improve Bruss' lower bound (2003) for the sum-the-odds problem. △ Less

Submitted 16 January, 2016; v1 submitted 6 November, 2015; originally announced November 2015.

Comments: 13 pages

MSC Class: 60G40

Journal ref: J. Appl. Prob. 53 (2016), no. 4, 1041-1051

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

Authors: Pieter C. Allaart

Abstract: 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 thi… ▽ More 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. △ Less

Submitted 10 June, 2015; v1 submitted 11 February, 2015; originally announced February 2015.

Comments: 26 pages; more figures were added and Theorem 2.6 now includes additional statements

MSC Class: 26A27; 26A30 (primary); 28A78; 11A63 (secondary)

Journal ref: J. Fractal Geom. 3 (2016), no. 1, 1-31

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

Authors: Pieter C. Allaart

Abstract: 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… ▽ More 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. △ Less

Submitted 11 May, 2014; v1 submitted 7 December, 2013; originally announced December 2013.

Comments: 17 pages. An extra figure was added and several of the proofs are now worked out in more detail

MSC Class: 26A27

Journal ref: J. Math. Anal. Appl. 419, 1168-1180 (2014)

Correction and strengthening of "How large are the level sets of the Takagi function?"

Authors: Pieter C. Allaart

Abstract: The purpose of this note is to correct an error in an earlier paper by the author about the level sets of the Takagi function [Monatsh. Math. 167 (2012), 311-331 and arXiv:1102.1616], and to prove a stronger form of one of the main results of that paper about the propensity of level sets containing uncountably many local level sets. The purpose of this note is to correct an error in an earlier paper by the author about the level sets of the Takagi function [Monatsh. Math. 167 (2012), 311-331 and arXiv:1102.1616], and to prove a stronger form of one of the main results of that paper about the propensity of level sets containing uncountably many local level sets. △ Less

Submitted 17 October, 2013; v1 submitted 1 June, 2013; originally announced June 2013.

Comments: 6 pages, correction of arXiv:1102.1616. A small mistake in the proof of Theorem 8 was corrected

MSC Class: 26A27 (primary); 54E52 (secondary)

Journal ref: Monatsh. Math. 175, no. 2, 313-318 (2014)

Hausdorff dimension of level sets of generalized Takagi functions

Authors: Pieter C. Allaart

Abstract: This paper examines level sets of two families of continuous, nowhere differentiable functions (one a subfamily of the other) defined in terms of the "tent map". The well-known Takagi function is a special case. Sharp upper bounds are given for the Hausdorff dimension of the level sets of functions in these two families. Furthermore, the case where a function f is chosen at random from either fami… ▽ More This paper examines level sets of two families of continuous, nowhere differentiable functions (one a subfamily of the other) defined in terms of the "tent map". The well-known Takagi function is a special case. Sharp upper bounds are given for the Hausdorff dimension of the level sets of functions in these two families. Furthermore, the case where a function f is chosen at random from either family is considered, and results are given for the Hausdorff dimension of the zero set and the set of maximum points of f. △ Less

Submitted 17 October, 2013; v1 submitted 20 January, 2013; originally announced January 2013.

Comments: 34 pages, 5 figures. The statement of Theorem 1.1 was expanded and various improvements to the presentation were made

MSC Class: 26A27; 28A78

Journal ref: Math. Proc. Camb. Phil. Soc. 157 (2014) 253-278

Level sets of signed Takagi functions

Authors: Pieter C. Allaart

Abstract: 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. Fo… ▽ More 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. △ Less

Submitted 22 May, 2013; v1 submitted 26 September, 2012; originally announced September 2012.

Comments: This is a stand-alone version of Section 5 in arXiv:1102.1616, with more proof details. 15 pages, 2 figures. An error in the proof of Theorem 1.3 was corrected, and the theorem now has a slightly stronger statement

MSC Class: 26A27

Journal ref: Acta Math. Hungarica 141, no. 4, 339-352 (2013)

Digital sum inequalities and approximate convexity of Takagi-type functions

Authors: Pieter C. Allaart

Abstract: 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 certa… ▽ More 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. △ Less

Submitted 13 August, 2012; originally announced August 2012.

Comments: 15 pages

MSC Class: 11A63 (Primary) 26A27; 26A51 (Secondary)

Journal ref: Mathematical Inequalities and Applications 17 (2014), no. 2, 679-691

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

Authors: Pieter C. Allaart

Abstract: 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… ▽ More 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. △ Less

Submitted 17 October, 2011; v1 submitted 4 July, 2011; originally announced July 2011.

Comments: New title and some minor corrections; 27 pages, 1 figure

MSC Class: 26A27 (Primary) 28A80 (Secondary)

Journal ref: J. Math. Anal. Appl. 388, 1117-1129 (2012)

How large are the level sets of the Takagi function?

Authors: Pieter C. Allaart

Abstract: 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… ▽ More 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. △ Less

Submitted 10 September, 2011; v1 submitted 8 February, 2011; originally announced February 2011.

Comments: Added a new Section 5 with generalization of the main results; some new and corrected proofs of the old material; 29 pages, 3 figures

MSC Class: 26A27 (primary); 54E52 (secondary)

Journal ref: Monatsh. Math. 167 (2012), 311-331

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

Authors: Pieter C. Allaart

Abstract: 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… ▽ More 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. △ Less

Submitted 27 February, 2011; v1 submitted 7 September, 2010; originally announced September 2010.

Comments: 11 pages, included more detail in the proofs and added a new Corollary 4

MSC Class: 26A27 (primary); 26A51 (secondary)

Journal ref: J. Math. Anal. Appl. 381 (2), 689-694 (2011)

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

Authors: Pieter C. Allaart, Kiko Kawamura

Abstract: 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 infin… ▽ More 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. △ Less

Submitted 13 February, 2010; originally announced February 2010.

Comments: 16 pages

MSC Class: 26A27; 26A15

Journal ref: J. Math. Anal. Appl. 372 (2010) 656-665

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

Authors: Pieter C. Allaart

Abstract: 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 sh… ▽ More 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. △ Less

Submitted 19 March, 2012; v1 submitted 3 December, 2009; originally announced December 2009.

Comments: 20 pages; added a few specific examples and additional references

MSC Class: 60G40; 60G50; 60G51; 60G25

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

Authors: Pieter C. Allaart

Abstract: 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 optima… ▽ More 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. △ Less

Submitted 3 October, 2009; originally announced October 2009.

Comments: 13 pages

MSC Class: 60G40; 60G50; 60J65; 60G25

Journal ref: J. Appl. Probab. 47, no. 4, 1072-1083 (2010)

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

Authors: Pieter C. Allaart

Abstract: 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… ▽ More 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. △ Less

Submitted 21 November, 2006; originally announced November 2006.

Comments: 16 pages with 1 figure; submitted to Sequential Analysis in shortened form

MSC Class: 60G40

Journal ref: Sequential Anal. 26, no. 4, 403-413 (2007)