Related papers: On the First and the Second Borel-Cantelli Lemmas

Let $A_1$ and $A_2$ be randomly chosen subsets of the first $n$ integers of cardinalities $s_2\geq s_1 = \Omega(s_2)$, such that their sumset $A_1+A_2$ has size $m$. We show that asymptotically almost surely $A_1$ and $A_2$ are almost fully…

We generalise the main theorems from the paper "The Borel cardinality of Lascar strong types" by I. Kaplan, B. Miller and P. Simon to a wider class of bounded invariant equivalence relations. We apply them to describe relationships between…

Let $\A=\{a_1<a_2<a_3.....<a_n<...\}$ be an infinite sequence of integers and let $R_2(n)=|\{(i,j):\ \ a_i+a_j=n;\ \ a_i,a_j\in \A;\ \ i\le j\}|$. We define $S_k=\s_{l=1}^k(R_2(2l)-R_2(2l+1))$. We prove that, if $L^{\infty}$ norm of…

Consider a random $n\times n$ zero-one matrix with "density" $p$, sampled according to one of the following two models: either every entry is independently taken to be one with probability $p$ (the "Bernoulli" model), or each row is…

Let $S$ be a compact infinite set in the complex plane with $0\notin{S}$, and let $R_n$ be the minimal residual polynomial on $S$, i.e., the minimal polynomial of degree at most $n$ on $S$ with respect to the supremum norm provided that…

Let ${\pmb b}=\{b_0,\,b_1,\,\ldots\}$ be the known sequence of numbers such that $b_0\neq0$. In this work, we develop methods to find another sequence ${\pmb a}=\{a_0,\,a_1,\,\ldots\}$ that is related to ${\pmb b}$ as follows:…

In this paper, we study the binomial sum $S_{n}(q):=% \overset{n}{\underset{k=0}{\sum }}a_{k}\binom{n}{k}\left( 1-q\right) ^{k}q^{n-k}$ for a given sequence $\left( a_{n}\right) $ of real or complex numbers. We express $S_{n}(q)$ in…

Let $(\Omega,\mathcal{F})$ be a standard Borel space and $\mathcal{P}(\mathcal{F})$ the collection of all probability measures on $\mathcal{F}$. Let $E\subset\Omega\times\Omega$ be a measurable equivalence relation, that is,…

The BKR inequality conjectured by van den Berg and Kesten in [11], and proved by Reimer in [8], states that for $A$ and $B$ events on $S$, a finite product of finite sets $S_i,i=1,\ldots,n$, and $P$ any product measure on $S$, $$ P(A \Box…

Consider an inhomogeneous Poisson process and let $D$ be the first of its epochs which is followed by a gap of size $\ell>0$. We establish a criterion for $D<\infty$ a.s., as well as for $D$ being long-tailed and short-tailed, and obtain…

For a numerical semigroup $S := \langle n_1, \dots, n_k \rangle$ with minimal generators $n_1 < \cdots < n_k$, Barron, O'Neill, and Pelayo showed that $L(s+n_1) = L(s) + 1$ and $\ell(s+n_k) = \ell(s) + 1$ for all sufficiently large $s \in…

Generalizing a theorem of Campercholi, we characterize, in syntactic terms, the ranges of epimorphisms in an arbitrary class of similar first-order structures (as opposed to an elementary class). This allows us to strengthen a result of…

We propose quantum Painlev\'e systems of type $A_l^{(1)}$. These systems, for $l=1$ and $l\ge 2$, should be regarded as quantizations of the second Painlev\'e equation and the differential systems with the affine Weyl group symmetries of…

For a sequence $S$ of terms from an abelian group $G$ of length $|S|$, let $\Sigma_n(S)$ denote the set of all elements that can be represented as the sum of terms in some $n$-term subsequence of $S$. When the subsum set is very small,…

We prove characterization theorems for relative entropy (also known as Kullback-Leibler divergence), q-logarithmic entropy (also known as Tsallis entropy), and q-logarithmic relative entropy. All three have been characterized axiomatically…

We introduce and study a `level two' generalization of the poly-Bernoulli numbers, which may also be regarded as a generalization of the cosecant numbers. We prove a recurrence relation, two exact formulas, and a duality relation for…

An infinite real sequence $\{a_n\}$ is called an invariant sequence of the first (resp., second) kind if $a_n=\sum_{k=0}^n {n \choose k} (-1)^k a_k$ (resp., $a_n=\sum_{k=n}^{\infty} {k \choose n} (-1)^k a_k$). We review and investigate…

We introduce probability estimation, a broadly applicable framework to certify randomness in a finite sequence of measurement results without assuming that these results are independent and identically distributed. Probability estimation…

Comparing probability distributions is an indispensable and ubiquitous task in machine learning and statistics. The most common way to compare a pair of Borel probability measures is to compute a metric between them, and by far the most…

The Bernoulli convolution with parameter $\lambda\in(0,1)$ is the probability measure $\mu_\lambda$ that is the law of the random variable $\sum_{n\ge0}\pm\lambda^n$, where the signs are independent unbiased coin tosses. We prove that each…