Related papers: The Least Prime Number in a Beatty Sequence

Using an approach of Bergh, we give an alternate proof of Bennett's result on lower bounds for non-negative matrices acting on non-increasing non-negative sequences in $l^p$ when $p \geq 1$ and its dual version, the upper bounds when $0<p…

We show that there is a low T-upper bound for the class of K-trivial sets, namely those which are weak from the point of view of algorithmic randomness. This result is a special case of a more general characterization of ideals in the…

We prove an NP upper bound on a theory of integer-indexed integer-valued arrays that extends combinatory array logic with an ordering relation on the index set and the ability to express sums of elements. We compare our fragment with seven…

We present an elementary proof of the irrationality of $\zeta(5)$ based upon the Dirichlet's approximation theorem and the Prime Number Theorem.

Bounds for $\max\{m,\tilde{m}\}$ subject to $m,\tilde{m} \in \mathbb{Z}\cap[1,p)$, $p$ prime, $z$ indivisible by $p$, $m\tilde{m}\equiv z\bmod p$ and $m$ belonging to some fixed Beatty sequence $\{ \lfloor n\alpha+\beta \rfloor :…

In this article, we give a few examples of local rings in relation to weak normality and seminormality in mixed characteristic. It is known that two concepts can differ in the equal prime characteristic case, while they coincide in the…

In this paper, we use Betti splittings of binomial edge ideals to establish improved upper and lower bounds for their regularity in the case of trees. As a consequence, we determine the exact regularity for certain classes of trees.

We study the minimal gap statistic for sequences of the form $\left( \alpha x_n \right)_{n = 1}^{\infty}$ where $\left( x_n \right)_{n = 1}^{\infty}$ is a sequence of real numbers, and its connection to the additive energy of $\left( x_n…

Consider the problem of packing Hamming balls of a given relative radius subject to the constraint that they cover any point of the ambient Hamming space with multiplicity at most $L$. For odd $L\ge 3$ an asymptotic upper bound on the rate…

In this paper, we present an elementary proof of the Bhatia-\v{S}emrl Theorem, utilizing the Minimax Theorem for bounded linear operators by Asplund and Ptak [1]. Some related results are also discussed.

We present the formalization of Dirichlet's theorem on the infinitude of primes in arithmetic progressions, and Selberg's elementary proof of the prime number theorem, which asserts that the number $\pi(x)$ of primes less than $x$ is…

Define a(k,q) to be the smallest positive multiple of k such that the sum of its digits in base q is equal to k. The asymptotic behavior, lower and upper bound estimates of a(k,q) are investigated. A characterization of the minimality…

The classical Brun--Titchmarsh theorem gives an upper bound, which is of correct order of magnitude in the full range, for the number of primes $p\leqslant x$ satisfying $p\equiv a\bmod q$. We strengthen this inequality for different ranges…

We establish an explicit bound for the least prime occurring in the Chebotarev density theorem without any restriction. Let $L/K$ be any Galois extension of number fields such that $L\not=\mathbb{Q}$, and let $C$ be a conjugacy class in the…

We show that the de Bruijn-Erd\H{o}s condition for the error term in their improvement of Fekete's Lemma is not only sufficient but also necessary in the following strong sense. Suppose that given a sequence $0\leq f(1)\leq f(2)\leq…

We present a new method to propagate lower bounds on conditional probability distributions in conventional Bayesian networks. Our method guarantees to provide outer approximations of the exact lower bounds. A key advantage is that we can…

We study the problem of computing the tightest upper and lower bounds on the probability that the sum of $n$ dependent Bernoulli random variables exceeds an integer $k$. Under knowledge of all pairs of bivariate distributions denoted by a…

Computing the partition function and the marginals of a global probability distribution are two important issues in any probabilistic inference problem. In a previous work, we presented sub-tree based upper and lower bounds on the partition…

This paper gives a sharp upper bound for the Betti numbers of a finitely generated multigraded $R$-module, where $R=\Bbbk [x_{1},...,x_{m}]$ is the polynomial ring over a field $\Bbbk$ in $m$ variables. The bound is given in terms of the…

In this note we examine Littlewood's proof of the prime number theorem. We show that this can be extended to provide an equivalence between the prime number theorem and the non-vanishing of Riemann's zeta-function on the one-line. Our…