BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Christoph Aistleitner

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

ResearcherUnclaimed source record
math.NTmath.PRmath.CAmath.NAmath.COmath-phmath.MPmath.HOmath.SPComputational ComplexityDiscrete MathematicsInformation Theorymath.CVmath.DSmath.FAmath.ITq-fin.CP

Catalog footprint

What is connected

38works
17topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

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

38 published item(s)

preprint2022arXiv

On the metric theory of approximations by reduced fractions: a quantitative Koukoulopoulos-Maynard theorem

Let $ψ: \mathbb{N} \to [0,1/2]$ be given. The Duffin-Schaeffer conjecture, recently resolved by Koukoulopoulos and Maynard, asserts that for almost all reals $α$ there are infinitely many coprime solutions $(p,q)$ to the inequality $|α- p/q| < ψ(q)/q$, provided that the series $\sum_{q=1}^\infty φ(q) ψ(q) / q$ is divergent. In the present paper, we establish a quantitative version of this result, by showing that for almost all $α$ the number of coprime solutions $(p,q)$, subject to $q \leq Q$, is of asymptotic order $\sum_{q=1}^Q 2 φ(q) ψ(q) / q$. The proof relies on the method of GCD graphs as invented by Koukoulopoulos and Maynard, together with a refined overlap estimate coming from sieve theory, and number-theoretic input on the "anatomy of integers". The key phenomenon is that the system of approximation sets exhibits "asymptotic independence on average" as the total mass of the set system increases.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

On the order of magnitude of Sudler products

Given an irrational number $α\in(0,1)$, the Sudler product is defined by $P_N(α) = \prod_{r=1}^{N}2|\sinπrα|$. Answering a question of Grepstad, Kaltenböck and Neumüller we prove an asymptotic formula for distorted Sudler products when $α$ is the golden ratio $(\sqrt{5}+1)/2$ and establish that in this case $\limsup_{N \to \infty} P_N(α)/N < \infty$. We obtain similar results for quadratic irrationals $α$ with continued fraction expansion $α= [a,a,a,\dots]$ for some integer $a \geq 1$, and give a full characterization of the values of $a$ for which $\liminf_{N \to \infty} P_N(α)>0$ and $\limsup_{N \to \infty} P_N(α) / N < \infty$ hold, respectively. We establish that there is a (sharp) transition point at $a=6$, and resolve as a by-product a problem of the first named author, Larcher, Pillichshammer, Saad Eddin, and Tichy.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

A pair correlation problem, and counting lattice points with the zeta function

The pair correlation is a localized statistic for sequences in the unit interval. Pseudo-random behavior with respect to this statistic is called Poissonian behavior. The metric theory of pair correlations of sequences of the form $(a_n α)_{n \geq 1}$ has been pioneered by Rudnick, Sarnak and Zaharescu. Here $α$ is a real parameter, and $(a_n)_{n \geq 1}$ is an integer sequence, often of arithmetic origin. Recently, a general framework was developed which gives criteria for Poissonian pair correlation of such sequences for almost every real number $α$, in terms of the additive energy of the integer sequence $(a_n)_{n \geq 1}$. In the present paper we develop a similar framework for the case when $(a_n)_{n \geq 1}$ is a sequence of reals rather than integers, thereby pursuing a line of research which was recently initiated by Rudnick and Technau. As an application of our method, we prove that for every real number $θ>1$, the sequence $(n^θα)_{n \geq 1}$ has Poissonian pair correlation for almost all $α\in \mathbb{R}$.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Circular automata synchronize with high probability

In this paper we prove that a uniformly distributed random circular automaton $\mathcal{A}_n$ of order $n$ synchronizes with high probability (whp). More precisely, we prove that $$ \mathbb{P}\left[\mathcal{A}_n \text{ synchronizes}\right] = 1- O\left(\frac{1}{n}\right). $$ The main idea of the proof is to translate the synchronization problem into properties of a random matrix; these properties are then handled with tools of the probabilistic method. Additionally, we provide an upper bound for the probability of synchronization of circular automata in terms of chromatic polynomials of circulant graphs.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

On the pair correlations of powers of real numbers

A classical theorem of Koksma states that for Lebesgue almost every $x>1$ the sequence $(x^n)_{n=1}^{\infty}$ is uniformly distributed modulo one. In the present paper we extend Koksma's theorem to the pair correlation setting. More precisely, we show that for Lebesgue almost every $x>1$ the pair correlations of the fractional parts of $(x^n)_{n=1}^{\infty}$ are asymptotically Poissonian. The proof is based on a martingale approximation method.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Additive Energy and Irregularities of Distribution

We consider strictly increasing sequences $\left(a_{n}\right)_{n \geq 1}$ of integers and sequences of fractional parts $\left(\left\{a_{n} α\right\}\right)_{n \geq 1}$ where $α\in \mathbb{R}$. We show that a small additive energy of $\left(a_{n}\right)_{n \geq 1}$ implies that for almost all $α$ the sequence $\left(\left\{a_{n} α\right\}\right)_{n \geq 1}$ has large discrepancy. We prove a general result, provide various examples, and show that the converse assertion is not necessarily true.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Additive Energy and the Hausdorff dimension of the exceptional set in metric pair correlation problems

For a sequence of integers $\{a(x)\}_{x \geq 1}$ we show that the distribution of the pair correlations of the fractional parts of $\{ \langle αa(x) \rangle \}_{x \geq 1}$ is asymptotically Poissonian for almost all $α$ if the additive energy of truncations of the sequence has a power savings improvement over the trivial estimate. Furthermore, we give an estimate for the Hausdorff dimension of the exceptional set as a function of the density of the sequence and the power savings in the energy estimate. A consequence of these results is that the Hausdorff dimension of the set of $α$ such that $\{\langle αx^d \rangle\}$ fails to have Poissonian pair correlation is at most $\frac{d+2}{d+3} < 1$. This strengthens a result of Rudnick and Sarnak which states that the exceptional set has zero Lebesgue measure. On the other hand, classical examples imply that the exceptional set has Hausdorff dimension at least $\frac{2}{d+1}$. An appendix by Jean Bourgain was added after the first version of this paper was written. In this appendix two problems raised in the paper are solved.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Large values of L-functions from the Selberg class

In the present paper we prove lower bounds for L-functions from the Selberg class, by this means improving earlier results obtained by the second author together with Jörn Steuding. We formulate two theorems which use slightly different technical assumptions, and give two totally different proofs. The first proof uses the "resonance method", which was introduced by Soundararajan, while the second proof uses methods from Diophantine approximation which resemble those used by Montgomery. Interestingly, both methods lead to roughly the same lower bounds, which fall short of those known for the Riemann zeta function and seem to be difficult to be improved. Additionally to these results, we also prove upper bounds for L-functions in the Selberg class and present a further application of a theorem of Chen which is used in the Diophantine approximation method mentioned above.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Metric results on the discrepancy of sequences $\left(a_{n} α\right)_{n \geq 1}$ modulo one for integer sequences $\left(a_{n}\right)_{n \geq 1}$ of polynomial growth

An important result of H. Weyl states that for every sequence $\left(a_{n}\right)_{n \geq 1}$ of distinct positive integers the sequence of fractional parts of $\left(a_{n} α\right)_{n\geq 1}$ is uniformly distributed modulo one for almost all $α$. However, in general it is a very hard problem to calculate the precise order of convergence of the discrepancy of $\left(\left\{a_{n} α\right\}\right)_{n \geq 1}$ for almost all $α$. In particular it is very difficult to give sharp lower bounds for the speed of convergence. Until now this was only carried out for lacunary sequences $\left(a_{n}\right)_{n \geq 1}$ and for some special cases such as the Kronecker sequence $\left(\left\{n α\right\}\right)_{n \geq 1}$ or the sequence $\left(\left\{n^2 α\right\}\right)_{n \geq1}$. In the present paper we answer the question for a large class of sequences $\left(a_{n}\right)_{n \geq 1}$ including as a special case all polynomials $a_{n} = P\left(n\right)$ with $P \in \mathbb{Z} \left[x\right]$ of degree at least 2.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

On Weyl products and uniform distribution modulo one

In the present paper we study the asymptotic behavior of trigonometric products of the form $\prod_{k=1}^N 2 \sin(πx_k)$ for $N \to \infty$, where the numbers $ω=(x_k)_{k=1}^N$ are evenly distributed in the unit interval $[0,1]$. The main result are matching lower and upper bounds for such products in terms of the star-discrepancy of the underlying points $ω$, thereby improving earlier results obtained by Hlawka in 1969. Furthermore, we consider the special cases when the points $ω$ are the initial segment of a Kronecker or van der Corput sequence. The paper concludes with some probabilistic analogues.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Pair correlations and equidistribution

A deterministic sequence of real numbers in the unit interval is called \emph{equidistributed} if its empirical distribution converges to the uniform distribution. Furthermore, the limit distribution of the pair correlation statistics of a sequence is called Poissonian if the number of pairs $x_k,x_l \in (x_n)_{1 \leq n \leq N}$ which are within distance $s/N$ of each other is asymptotically $\sim 2sN$. A randomly generated sequence has both of these properties, almost surely. There seems to be a vague sense that having Poissonian pair correlations is a "finer" property than being equidistributed. In this note we prove that this really is the case, in a precise mathematical sense: a sequence whose asymptotic distribution of pair correlations is Poissonian must necessarily be equidistributed. Furthermore, for sequences which are not equidistributed we prove that the square-integral of the asymptotic density of the sequence gives a lower bound for the asymptotic distribution of the pair correlations.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Lower bounds for the maximum of the Riemann zeta function along vertical lines

Let $α\in (1/2,1)$ be fixed. We prove that $$ \max_{0 \leq t \leq T} |ζ(α+it)| \geq \exp\left(\frac{c_α(\log T)^{1-α}}{(\log \log T)^α}\right) $$ for all sufficiently large $T$, where we can choose $c_α= 0.18 (2α-1)^{1-α}$. The same result has already been obtained by Montgomery, with a smaller value for $c_α$. However, our proof, which uses a modified version of Soundararajan's "resonance method" together with ideas of Hilberdink, is completely different from Montgomery's. This new proof also allows us to obtain lower bounds for the measure of those $t \in [0,T]$ for which $|ζ(α+it)|$ is of the order mentioned above.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

On parametric Thue-Morse Sequences and Lacunary Trigonometric Products

One of the fundamental theorems of uniform distribution theory states that the fractional parts of the sequence $(n α)_{n \geq 1}$ are uniformly distributed modulo one (u.d. mod 1) for every irrational number $α$. Another important result of Weyl states that for every sequence $(n_k)_{k \geq 1}$ of distinct positive integers the sequence of fractional parts of $(n_k α)_{k \geq 1}$ is u.d. mod 1 for almost all $α$. However, in this general case it is usually extremely difficult to classify those $α$ for which uniform distribution occurs, and to measure the speed of convergence of the empirical distribution of $(\{n_1 α\}, ..., \{n_N α\})$ towards the uniform distribution. In the present paper we investigate this problem in the case when $(n_k)_{k \geq 1}$ is the Thue--Morse sequence of integers, which means the sequence of positive integers having an even sum of digits in base 2. In particular we utilize a connection with lacunary trigonometric products $\prod^{L}_{\ell=0} |\sin π2^{\ell} α|$, and by giving sharp metric estimates for such products we derive sharp metric estimates for exponential sums of $(n_{k} α)_{k \geq 1}$ and for the discrepancy of $(\{n_{k} α\})_{k \geq 1}.$ Furthermore, we comment on the connection between our results and an open problem in the metric theory of Diophantine approximation, and we provide some explicit examples of numbers $α$ for which we can give estimates for the discrepancy of $(\{n_{k} α\})_{k \geq1}$.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

On sequences with prescribed metric discrepancy behavior

An important result of H. Weyl states that for every sequence $\left(a_{n}\right)_{n\geq 1}$ of distinct positive integers the sequence of fractional parts of $\left(a_{n} α\right)_{n \geq1}$ is uniformly distributed modulo one for almost all $α$. However, in general it is a very hard problem to calculate the precise order of convergence of the discrepancy $D_{N}$ of $\left(\left\{a_{n} α\right\}\right)_{n \geq 1}$ for almost all $α$. By a result of R. C. Baker this discrepancy always satisfies $N D_{N} = \mathcal{O} \left(N^{\frac{1}{2}+\varepsilon}\right)$ for almost all $α$ and all $\varepsilon >0$. In the present note for arbitrary $γ\in \left(0, \frac{1}{2}\right]$ we construct a sequence $\left(a_{n}\right)_{n \geq 1}$ such that for almost all $α$ we have $ND_{N} = \mathcal{O} \left(N^γ\right)$ and $ND_{N} = Ω\left(N^{γ-\varepsilon}\right)$ for all $\varepsilon > 0$, thereby proving that any prescribed metric discrepancy behavior within the admissible range can actually be realized.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

On some questions of V.I. Arnold on the stochasticity of geometric and arithmetic progressions

In some of his final papers, V.I. Arnold studied pseudorandomness properties of finite deterministic sequences, which he measured in terms of their "stochasticity parameter". In the present paper we illustrate the background in probability theory and number theory of some of his considerations, and give answers to some of the questions raised in his papers.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Convergence of series of dilated functions and spectral norms of GCD matrices

We establish a connection between the $L^2$ norm of sums of dilated functions whose $j$th Fourier coefficients are $\mathcal{O}(j^{-α})$ for some $α\in (1/2,1)$, and the spectral norms of certain greatest common divisor (GCD) matrices. Utilizing recent bounds for these spectral norms, we obtain sharp conditions for the convergence in $L^2$ and for the almost everywhere convergence of series of dilated functions.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Extremal discrepancy behavior of lacunary sequences

In 1975 Walter Philipp proved the law of the iterated logarithm (LIL) for the discrepancy of lacunary sequences: for any sequence $(n_k)_{k \geq 1}$ satisfying the Hadamard gap condition $n_{k+1} / n_k \geq q > 1,~k \geq 1,$ we have $$ \frac{1}{4 \sqrt{2}} \leq \limsup_{N \to \infty} \frac{N D_N(\{ n_1 x \}, \dots, \{n_N x\})}{\sqrt{2 N \log \log N}} \leq C_q $$ for almost all $x$. In recent years there has been significant progress concerning the precise value of the limsup in this LIL for special sequences $(n_k)_{k \geq 1}$ having a ``simple'' number-theoretic structure. However, since the publication of Philipp's paper there has been no progress concerning the lower bound in this LIL for generic lacunary sequences $(n_k)_{k \geq 1}$. The purpose of the present paper is to collect known results concerning this problem, to investigate what the optimal value in the lower bound could be, and for which special sequences $(n_k)_{k \geq 1}$ a small value of the limsup in this LIL can be obtained. We formulate three open problems, which could serve as the main targets for future research.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Functions of bounded variation, signed measures, and a general Koksma-Hlawka inequality

In this paper we prove a correspondence principle between multivariate functions of bounded variation in the sense of Hardy and Krause and signed measures of finite total variation, which allows us to obtain a simple proof of a generalized Koksma--Hlawka inequality for non-uniform measures. Applications of this inequality to importance sampling in Quasi-Monte Carlo integration and tractability theory are given. Furthermore, we discuss the problem of transforming a low-discrepancy sequence with respect to the uniform measure into a sequence with low discrepancy with respect to a general measure $μ$, and show the limitations of a method suggested by Chelson.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Lacunary sequences and permutations

By a classical principle of analysis, sufficiently thin subsequences of general sequences of functions behave like sequences of independent random variables. This observation not only explains the remarkable properties of lacunary trigonometric series, but also provides a powerful tool in many areas of analysis. In contrast to "true" random processes, however, the probabilistic structure of lacunary sequences is not permutation-invariant and the analytic properties of such sequences can change radically after rearrangement. The purpose of this paper is to survey some recent results of the authors on permuted function series. We will see that rearrangement properties of lacunary trigonometric series $\sum (a_k\cos n_kx+b_k \sin n_kx)$ and their nonharmonic analogues $\sum c_k f(n_kx)$ are intimately connected with the number theoretic properties of $(n_k)_{k \geq 1}$ and we will give a complete characterization of permutational invariance in terms of the Diophantine properties of $(n_k)_{k \geq 1}$. We will also see that in a certain statistical sense, permutational invariance is the "typical" behavior of lacunary sequences.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

On permutations of Hardy-Littlewood-Pólya sequences

Let ${\cal H}=(q_1, \ldots q_r)$ be a finite set of coprime integers and let $n_1, n_2, \ldots$ denote the multiplicative semigroup generated by $\cal H$ and arranged in increasing order. The distribution of such sequences has been studied intensively in number theory and they have remarkable probabilistic and ergodic properties. For example, the asymptotic properties of the sequence $\{n_kx\}$ are very similar to those of independent, identically distributed random variables; here $\{\cdot \}$ denotes fractional part. However, the behavior of this sequence depends sensitively on the generating elements of $(n_k)$ and the combination of probabilistic and number-theoretic effects results in a unique, highly interesting asymptotic behavior. In particular, the properties of $\{n_kx\}$ are not permutation invariant, in contrast to i.i.d. behavior. The purpose of this paper is to show that $\{n_kx\}$ satisfies a strong independence property ("interlaced mixing"), enabling one to determine the precise asymptotic behavior of permuted sums $S_N (σ)= \sum_{k=1}^N f(n_{σ(k)} x)$. As we will see, the behavior of $S_N(σ)$ still follows that of sums of independent random variables, but its growth speed (depending on $σ$) is given by the classical Gál function of Diophantine approximation theory. Some examples describing the class of possible growth functions are given.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

On permutations of lacunary series

It is a well known fact that for periodic measurable $f$ and rapidly increasing $(n_k)_{k \geq 1}$ the sequence $(f(n_kx))_{k\ge 1}$ behaves like a sequence of independent, identically distributed random variables. For example, if $f$ is a periodic Lipschitz function, then $(f(2^kx))_{k\ge 1}$ satisfies the central limit theorem, the law of the iterated logarithm and several further limit theorems for i.i.d.\ random variables. Since an i.i.d.\ sequence remains i.i.d.\ after any permutation of its terms, it is natural to expect that the asymptotic properties of lacunary series are also permutation-invariant. Recently, however, Fukuyama (2009) showed that a rearrangement of the sequence $(f(2^kx))_{k\ge 1}$ can change substantially its asymptotic behavior, a very surprising result. The purpose of the present paper is to investigate this interesting phenomenon in detail and to give necessary and sufficient criteria for the permutation-invariance of the CLT and LIL for $f(n_kx)$.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

On the asymptotic behavior of weakly lacunary series

Let $f$ be a measurable function satisfying $$f(x+1)=f(x), \qquad \int_0^1 f(x) dx=0, \qquad \textrm{Var} ~f < + \infty,$$ and let $(n_k)_{k\ge 1}$ be a sequence of integers satisfying $n_{k+1}/n_k \ge q >1$ $(k=1, 2, \ldots)$. By the classical theory of lacunary series, under suitable Diophantine conditions on $n_k$, $(f(n_kx))_{k\ge 1}$ satisfies the central limit theorem and the law of the iterated logarithm. These results extend for a class of subexponentially growing sequences $(n_k)_{k\ge 1}$ as well, but as Fukuyama (2009) showed, the behavior of $f(n_kx)$ is generally not permutation-invariant, e.g. a rearrangement of the sequence can ruin the CLT and LIL. In this paper we construct an infinite order Diophantine condition implying the permutation-invariant CLT and LIL without any growth conditions on $(n_k)_{k\ge 1}$ and show that the known finite order Diophantine conditions in the theory do not imply permutation-invariance even if $f(x)=\sin 2πx$ and $(n_k)_{k\ge 1}$ grows almost exponentially. Finally we prove that, in a suitable statistical sense, for almost all sequences $(n_k)_{k\ge 1}$ growing faster than polynomially, $(f(n_kx))_{k\ge 1}$ has permutation-invariant behavior.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

On the law of the iterated logarithm for permuted lacunary sequences

It is known that for any smooth periodic function $f$ the sequence $(f(2^kx))_{k\ge 1}$ behaves like a sequence of i.i.d.\ random variables, for example, it satisfies the central limit theorem and the law of the iterated logarithm. Recently Fukuyama showed that permuting $(f(2^kx))_{k\ge 1}$ can ruin the validity of the law of the iterated logarithm, a very surprising result. In this paper we present an optimal condition on $(n_k)_{k\ge 1}$, formulated in terms of the number of solutions of certain Diophantine equations, which ensures the validity of the law of the iterated logarithm for any permutation of the sequence $(f(n_k x))_{k \geq 1}$. A similar result is proved for the discrepancy of the sequence $(\{n_k x\})_{k \geq 1}$, where $\{ \cdot \}$ denotes fractional part.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

On the law of the iterated logarithm for trigonometric series with bounded gaps II

It is well-known that for a quickly increasing sequence $(n_k)_{k \geq 1}$ the functions $(\cos 2 πn_k x)_{k \geq 1}$ show a behavior which is typical for sequences of independent random variables. If the growth condition on $(n_k)_{k \geq 1}$ is relaxed then this almost-independent behavior generally fails. Still, probabilistic constructions show that for \emph{some} very slowly increasing sequences $(n_k)_{k \geq 1}$ this almost-independence property is preserved. For example, there exists $(n_k)_{k \geq 1}$ having bounded gaps such that the normalized sums $\sum \cos 2 πn_k x$ satisfy the central limit theorem (CLT). However, due to a ``loss of mass'' phenomenon the variance in the CLT for a sequence with bounded gaps is always smaller than $1/2$. In the case of the law of the iterated logarithm (LIL) the situation is different; as we proved in an earlier paper, there exists $(n_k)_{k \geq 1}$ with bounded gaps such that $$ \limsup_{N \to \infty} \frac{\left| \sum_{k=1}^N \cos 2 πn_k x \right|}{\sqrt{N \log \log N}} = \infty \qquad \textrm{for almost all $x$.} $$ In the present paper we prove a complementary results showing that any prescribed limsup-behavior in the LIL is possible for sequences with bounded gaps. More precisely, we show that for any real number $Λ\geq 0$ there exists a sequence of integers $(n_k)_{k \geq 1}$ satisfying $n_{k+1} - n_{k} \in \{1,2\}$ such that the limsup in the LIL equals $Λ$ for almost all $x$. Similar results are proved for sums $\sum f(n_k x)$ and for the discrepancy of $(\langle n_k x \rangle)_{k \geq 1}$.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

On the system $f(nx)$ and probabilistic number theory

Let $f: {\mathbb R}\to {\mathbb R}$ be a measurable function satisfying \begin{equation*} f(x+1)=f(x), \qquad \int_0^1 f(x)\, dx=0, \qquad \int_0^1 f^2(x)\, dx<\infty. \end{equation*} The asymptotic properties of series $\sum c_k f(kx)$ have been studied extensively in the literature and turned out to be, in general, quite different from those of the trigonometric system. As the theory shows, the behavior of such series is determined by a combination of analytic, probabilistic and number theoretic effects, resulting in highly interesting phenomena not encountered in classical harmonic analysis. In this paper we survey some recent results in the field and prove asymptotic results for the system $\{f(nx), n\ge 1\}$ in the case when the function $f$ is not square integrable.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

A central limit theorem for Latin hypercube sampling with dependence and application to exotic basket option pricing

We consider the problem of estimating $\mathbb{E} [f(U^1, \ldots, U^d)]$, where $(U^1, \ldots, U^d)$ denotes a random vector with uniformly distributed marginals. In general, Latin hypercube sampling (LHS) is a powerful tool for solving this kind of high-dimensional numerical integration problem. In the case of dependent components of the random vector $(U^1, \ldots, U^d)$ one can achieve more accurate results by using Latin hypercube sampling with dependence (LHSD). We state a central limit theorem for the $d$-dimensional LHSD estimator, by this means generalising a result of Packham and Schmidt. Furthermore we give conditions on the function $f$ and the distribution of $(U^1, \ldots, U^d)$ under which a reduction of variance can be achieved. Finally we compare the effectiveness of Monte Carlo and LHSD estimators numerically in exotic basket option pricing problems.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

GCD sums from Poisson integrals and systems of dilated functions

Upper bounds for GCD sums of the form [\sum_{k,{\ell}=1}^N\frac{(\gcd(n_k,n_{\ell}))^{2α}}{(n_k n_{\ell})^α}] are proved, where $(n_k)_{1 \leq k \leq N}$ is any sequence of distinct positive integers and $0<α\le 1$; the estimate for $α=1/2$ solves in particular a problem of Dyer and Harman from 1986, and the estimates are optimal except possibly for $α=1/2$. The method of proof is based on identifying the sum as a certain Poisson integral on a polydisc; as a byproduct, estimates for the largest eigenvalues of the associated GCD matrices are also found. The bounds for such GCD sums are used to establish a Carleson--Hunt-type inequality for systems of dilated functions of bounded variation or belonging to $\lip12$, a result that in turn settles two longstanding problems on the a.e.\ behavior of systems of dilated functions: the a.e. growth of sums of the form $\sum_{k=1}^N f(n_k x)$ and the a.e.\ convergence of $\sum_{k=1}^\infty c_k f(n_kx)$ when $f$ is 1-periodic and of bounded variation or in $\lip12$.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Low-discrepancy point sets for non-uniform measures

In the present paper we prove several results concerning the existence of low-discrepancy point sets with respect to an arbitrary non-uniform measure $μ$ on the $d$-dimensional unit cube. We improve a theorem of Beck, by showing that for any $d \geq 1$, $N \geq 1,$ and any non-negative, normalized Borel measure $μ$ on $[0,1]^d$ there exists a point set $x_1, \dots, x_N \in [0,1]^d$ whose star-discrepancy with respect to $μ$ is of order $$ D_N^*(x_1, \dots, x_N; μ) \ll \frac{(\log N)^{(3d+1)/2}}{N}. $$ For the proof we use a theorem of Banaszczyk concerning the balancing of vectors, which implies an upper bound for the linear discrepancy of hypergraphs. Furthermore, the theory of large deviation bounds for empirical processes indexed by sets is discussed, and we prove a numerically explicit upper bound for the inverse of the discrepancy for Vapnik--Červonenkis classes. Finally, using a recent version of the Koksma--Hlawka inequality due to Brandolini, Colzani, Gigante and Travaglini, we show that our results imply the existence of cubature rules yielding fast convergence rates for the numerical integration of functions having discontinuities of a certain form.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Metric number theory, lacunary series and systems of dilated functions

By a classical result of Weyl, for any increasing sequence $(n_k)_{k \geq 1}$ of integers the sequence of fractional parts $(\{n_k x\})_{k \geq 1}$ is uniformly distributed modulo 1 for almost all $x \in [0,1]$. Except for a few special cases, e.g. when $n_k=k, k \geq 1$, the exceptional set cannot be described explicitly. The exact asymptotic order of the discrepancy of $(\{n_k x\})_{k \geq 1}$ is only known in a few special cases, for example when $(n_k)_{k \geq 1}$ is a (Hadamard) lacunary sequence, that is when $n_{k+1}/n_k \geq q > 1, k \geq 1$. In this case of quickly increasing $(n_k)_{k \geq 1}$ the system $(\{n_k x\})_{k \geq 1}$ (or, more general, $(f(n_k x))_{k \geq 1}$ for a 1-periodic function $f$) shows many asymptotic properties which are typical for the behavior of systems of \emph{independent} random variables. Precise results depend on a fascinating interplay between analytic, probabilistic and number-theoretic phenomena. Without any growth conditions on $(n_k)_{k \geq 1}$ the situation becomes much more complicated, and the system $(f(n_k x))_{k \geq 1}$ will typically fail to satisfy probabilistic limit theorems. An important problem which remains is to study the almost everywhere convergence of series $\sum_{k=1}^\infty c_k f(k x)$, which is closely related to finding upper bounds for maximal $L^2$-norms of the form $$ \int_0^1 (\max_{1 \leq M \leq N}| \sum_{k=1}^M c_k f(kx)|^2 dx. $$ The most striking example of this connection is the equivalence of the Carleson convergence theorem and the Carleson--Hunt inequality for maximal partial sums of Fourier series. For general functions $f$ this is a very difficult problem, which is related to finding upper bounds for certain sums involving greatest common divisors.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Normal numbers and normality measure

The normality measure $\mathcal{N}$ has been introduced by Mauduit and S{á}rk{ö}zy in order to describe the pseudorandomness properties of finite binary sequences. Alon, Kohayakawa, Mauduit, Moreira and R{ö}dl proved that the minimal possible value of the normality measure of an $N$-element binary sequence satisfies $$ (1/2 + o(1)) \log_2 N \leq \min_{E_N \in \{0,1\}^N} \mathcal{N}(E_N) \leq 3 N^{1/3} (\log N)^{2/3} $$ for sufficiently large $N$. In the present paper we improve the upper bound to $c (\log N)^2$ for some constant $c$, by this means solving the problem of the asymptotic order of the minimal value of the normality measure up to a logarithmic factor, and disproving a conjecture of Alon \emph{et al.}. The proof is based on relating the normality measure of binary sequences to the discrepancy of normal numbers in base 2.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

On the inverse of the star-discrepancy

The inverse of the star-discrepancy $N^*(d,\ve)$ denotes the smallest possible cardinality of a set of points in $[0,1]^d$ achieving a star-discrepancy of at most $\ve$. By a result of Heinrich, Novak, Wasilkowski and Wo{ź}niakowski, $$ N^*(d,\ve) \leq c_{\textup{abs}} d \ve^{-2}. $$ Here the dependence on the dimension $d$ is optimal, while the precise dependence on $\ve$ is an open problem. In the present paper we prove that $$ N^*(d,\ve) \leq c_{\textup{abs}} d \ve^{-3/2} (\log (\ve^{-1}))^{1/2}. $$ This is a surprising result, which disproves a conjecture of Novak and Wo{ź}niakowski.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Quantitative uniform distribution results for geometric progressions

By a classical theorem of Koksma the sequence of fractional parts $(\{x^n\})_{n \geq 1}$ is uniformly distributed for almost all values of $x$. In the present paper we obtain an exact quantitative version of Koksma's theorem, by calculating the precise asymptotic order of the discrepancy of $(\{ξx^{s_n}\})_{n \geq 1}$ for typical values of $x>1$ (in the sense of Lebesgue measure). Here $ξ>0$ is an arbitrary constant, and $(s_n)_{n \geq 1}$ can be any increasing sequence of positive integers.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Tractability results for the weighted star-discrepancy

The weighted star-discrepancy has been introduced by Sloan and Wo{ź}niakowski to reflect the fact that in multidimensional integration problems some coordinates of a function may be more important than others. It provides upper bounds for the error of multidimensional numerical integration algorithms for functions belonging to weighted function spaces of Sobolev type. In the present paper, we prove several tractability results for the weighted star-discrepancy. In particular, we obtain rather sharp sufficient conditions under which the weighted star-discrepancy is strongly tractable. The proofs are probabilistic, and use empirical process theory.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

On a problem of Bourgain concerning the $L^1$-norm of exponential sums

Bourgain posed the problem of calculating $$ Σ= \sup_{n \geq 1} ~\sup_{k_1 <... < k_n} \frac{1}{\sqrt{n}}\| \sum_{j=1}^n e^{2 πi k_j θ}\|_{L^1([0,1])}. $$ It is clear that $Σ\leq 1$; beyond that, determining whether $Σ< 1$ or $Σ=1$ would have some interesting implications, for example concerning the problem whether all rank one transformations have singular maximal spectral type. In the present paper we prove $Σ\geq \sqrtπ/2 \approx 0.886$, by this means improving a result of Karatsuba. For the proof we use a quantitative two-dimensional version of the central limit theorem for lacunary trigonometric series, which in its original form is due to Salem and Zygmund.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

On the uniform distribution modulo 1 of multidimensional LS-sequences

Ingrid Carbone introduced the notion of so-called LS-sequences of points, which are obtained by a generalization of Kakutani's interval splitting procedure. Under an appropriate choice of the parameters $L$ and $S$, such sequences have low discrepancy, which means that they are natural candidates for Quasi-Monte Carlo integration. It is tempting to assume that LS-sequences can be combined coordinatewise to obtain a multidimensional low-discrepancy sequence. However, in the present paper we prove that this is not always the case: if the parameters $L_1,S_1$ and $L_2,S_2$ of two one-dimensional low-discrepancy LS-sequences satisfy certain number-theoretic conditions, then their two-dimensional combination is not even dense in $[0,1]^2$.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Probabilistic discrepancy bound for Monte Carlo point sets

By a profound result of Heinrich, Novak, Wasilkowski, and Wo{ź}niakowski the inverse of the star-discrepancy $n^*(s,\ve)$ satisfies the upper bound $n^*(s,\ve) \leq c_{\mathrm{abs}} s \ve^{-2}$. This is equivalent to the fact that for any $N$ and $s$ there exists a set of $N$ points in $[0,1]^s$ whose star-discrepancy is bounded by $c_{\mathrm{abs}} s^{1/2} N^{-1/2}$. The proof is based on the observation that a random point set satisfies the desired discrepancy bound with positive probability. In the present paper we prove an applied version of this result, making it applicable for computational purposes: for any given number $q \in (0,1)$ there exists an (explicitly stated) number $c(q)$ such that the star-discrepancy of a random set of $N$ points in $[0,1]^s$ is bounded by $c(q) s^{1/2} N^{-1/2}$ with probability at least $q$, uniformly in $N$ and $s$.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Point sets on the sphere $\mathbb{S}^2$ with small spherical cap discrepancy

In this paper we study the geometric discrepancy of explicit constructions of uniformly distributed points on the two-dimensional unit sphere. We show that the spherical cap discrepancy of random point sets, of spherical digital nets and of spherical Fibonacci lattices converges with order $N^{-1/2}$. Such point sets are therefore useful for numerical integration and other computational simulations. The proof uses an area-preserving Lambert map. A detailed analysis of the level curves and sets of the pre-images of spherical caps under this map is given.

0 citations0 reviewsNo code linkedOpen access