Related papers: Large sets containing no copies of a given infinit…
We consider exponential systems $E\left(\Lambda\right)=\left\{ e^{i\lambda t}\right\} _{\lambda\in\Lambda}$ for $\Lambda\subset\mathbb{Z}$. It has been shown by Londner and Olevskii in [9] that there exists a subset of the circle, of…
We extend the theoretical framework of proof mining by establishing general logical metatheorems that allow for the extraction of the computational content of theorems with prima facie "non-computational" proofs from probability theory,…
Let $P=(x_1,\ldots,x_n)$ be a population consisting of $n\ge 2$ real numbers whose sum is zero, and let $k <n$ be a positive integer. We sample $k$ elements from $P$ without replacement and denote by $X_P$ the sum of the elements in our…
For every $k \in \mathbb{N}$ and $\alpha \in (0,1)$ we construct a divergence-free $u \in C^k([0,T],C^\alpha(\mathbb{T}^d,\mathbb{R}^d))$, $d \geq 2$, such that there is no measurable selection of solutions of the ODE $\dot{X}_t = u(t,X_t)$…
In this survey we summarize properties of pseudorandomness and non-randomness of some number-theoretic sequences and present results on their behaviour under the following measures of pseudorandomness: balance, linear complexity,…
Motivation: P values derived from the null hypothesis significance testing framework are strongly affected by sample size, and are known to be irreproducible in underpowered studies, yet no suitable replacement has been proposed. Results:…
Peres and Solomyak asked the question: Do there exist self-similar sets with positive Lebesgue measure and empty interior? This question was answered in the affirmative by Cs\"{o}rnyei et al. They gave a parameterised family of iterated…
In [8] we found a class of overlapping asymmetric self-similar measures on the real line, which are generically absolutely continuous with respect to the Lebesgue measure. Here we construct exceptional measures in this class being singular.
Given all (finite) moments of two measures $\mu$ and $\lambda$ on $\R^n$, we provide a numerical scheme to obtain the Lebesgue decomposition $\mu=\nu+\psi$ with $\nu\ll\lambda$ and $\psi\perp\lambda$. When$\nu$ has a density in…
Let $(X, \mathcal{B},\mu,T)$ be an ergodic measure preserving system, $A \in \mathcal{B}$ and $\epsilon>0$. We study the largeness of sets of the form \begin{equation*} \begin{split} S = \left\{ n\in\mathbb{N}\colon\mu(A\cap…
Let $1 < p < \infty$, $p\neq 2$. We prove that if $d\geq d_p$ is sufficiently large, and $A\subs\R^d$ is a measurable set of positive upper density then there exists $\la_0=\la_0(A)$ such for all $\la\geq\la_0$ there are $x,y\in\R^d$ such…
Let $E$ be a Frechet-Montel space and $(E_n)_{n \in \mathbb{N}}$ be a finite dimensional unconditional decomposition of $E$ with $\dim(E_n)\leq k$ for some fixed $k \in \mathbb{N}$ and for all $n \in \mathbb{N}$. Consider a sequence…
The main goal of this note is to prove the following theorem. If $A_n$ is a sequence of measurable sets in a $\sigma$-finite measure space $(X, \mathcal{A}, \mu)$ that covers $\mu$-a.e. $x \in X$ infinitely many times, then there exists a…
A causal set is a countably infinite poset in which every element is above finitely many others; causal sets are exactly the posets that have a linear extension with the order-type of the natural numbers -- we call such a linear extension a…
We show that at least 1/3 of positive real numbers are in the set of limit points of normalized prime gaps. More precisely, if $p_n$ denotes the $n$th prime and $\mathbb{L}$ is the set of limit points of the sequence $\{(p_{n+1}-p_n)/\log…
This paper is devoted to the structure of the complete asymptotic expansion of the probability that a large combinatorial object is irreducible or consists of a given number of irreducible parts, where irreducibility is understood in terms…
For a fixed $c > 0$ we construct an arbitrarily large set $B$ of size $n$ such that its sum set $B+B$ contains a convex sequence of size $cn^2$, answering a question of Hegarty.
Consider universal data compression: the length $l(x^n)$ of sequence $x^n\in A^n$ with finite alphabet $A$ and length $n$ satisfies Kraft's inequality over $A^n$, and $-\frac{1}{n}\log \frac{P^n(x^n)}{Q^n(x^n)}$ almost surely converges to…
We analyze certain parametrized families of one-dimensional maps with infinitely many critical points from the measure-theoretical point of view. We prove that such families have absolutely continuous invariant probability measures for a…
We construct a probabilistic quantum cloning machine by a general unitary-reduction operation. With a postselection of the measurement results, the machine yields faithful copies of the input states. It is shown that the states secretly…