Related papers: A Proof on Hypothesis of Dirichlet Divisor Problem
Let $\exp[x_0,x_1,\dots,x_n]$ denote the divided difference of the exponential function. (i) We prove that exponential divided differences are log-submodular. (ii) We establish the four-point inequality $…
Let $f$ be a continuous real function defined in a subset of the real line. The standard definition of continuity at a point $x$ allow us to correlate any given epsilon with a (possibly depending of $x$) delta value. This pairing is known…
In this paper, a theorem about similar triangles is proved. It shows that two small and four large triangles similar to the original triangle can appear if we choose well among several intersections of the perpendicular bisectors of the…
Two simple proofs of the triangle inequality for the Jaccard distance in terms of nonnegative, monotone, submodular functions are given and discussed.
We prove that Bourgain's hyperplane conjecture and the Kannan-Lov\'asz-Simonovits (KLS) isoperimetric conjecture hold true up to a factor that is polylogarithmic in the dimension.
We improve existing estimates of moments of the Riemann zeta function. As a consequence, we are able to derive new estimates for the asymptotic behaviour of $\sum_{N \alpha \le x} \mathfrak{t}_k(\alpha)$, where $N$ stands for the norm of a…
The main result of this paper, is the complete parametric description of the family of triangles which have integer sidelengths and with one angle being sixty degrees.
It is shown that given a set of $N$ points in the plane or on the sphere, there is a subset of size $\gtrsim N^{1/3}/\log N$ with all pairwise distances between points distinct.
A number of authors have proven explicit versions of Lehmer's conjecture for polynomials whose coefficients are all congruent to 1 modulo m. We prove a similar result for polynomials f(X) that are divisible in (Z/mZ)[X] by a polynomial of…
We study the triple convolution sum of the generalised divisor functions $$\sum_{n\leq x} d_k(n+h)d_l(n)d_m(n-h),$$ where $h \le x^{1-\epsilon}$ for any $\epsilon>0$ and $d_k(n)$ denotes the generalised divisor function which counts the…
We study the solutions $u$ to the equation $$ \begin{cases} \operatorname{div} u + \langle a , u \rangle = f & \textrm{ in } \Omega,\\ u=0 & \textrm{ on } \partial \Omega, \end{cases} $$ where $a$ and $f$ are given. We significantly improve…
It is proved that any continuous function f on the unit circle such that the sequence e^{in f}, n=1,2,... has small Wiener norm \| e^{in f} \|_A = o (\frac{\log^{1/22} |n|}{(\log \log |n|)^{3/11}}), is linear. Moreover, we get lower bounds…
Assume that $N$ is a sufficiently large positive number. In this paper we show that for a small constant $\varepsilon>0$, the logarithmic inequality \begin{equation*} \big|p_1\log p_1+p_2\log p_2+p_3\log p_3-N\big|<\varepsilon…
Iannucci considered the positive divisors of a natural number $n$ that do not exceed the square root of $n$ and found all numbers whose such divisors are in arithmetic progression. Continuing the work, we define large divisors to be…
Following Selberg it is known that uniformly for V << (logloglog T)^{1/2 - \epsilon} the measure of those t \in [T;2T] for which log |\zeta(1/2 + it)| > V*((1/2)loglog T)^{1/2} is approximately T times the probability that a standard…
In this work, we consider the Dirichlet boundary value problem for nonlinear triharmonic equation. Due to the reduction of the nonlinear boundary value problem to operator equation for the nonlinear term and the unknown second normal…
The Cramer-Castillon problem (CCP) consists in finding one or more polygons inscribed in a circle such that their sides pass cyclically through a list of $N$ points. We study this problem where the points are the vertices of a triangle and…
In this paper we quantify the rate of convergence in Selberg's central limit theorem for $\log|\zeta(1/2+it)|$ based on the method of proof given by Radziwill and Soundararajan. We achieve the same rate of convergence of $(\log\log\log…
Let $(X,\Delta)$ be a log canonical pair over $\mathbb{C}$ with $X$ a normal projective variety, $\Delta$ an effective $\mathbb{Q}$-divisor, and $K_X+\Delta$ nef. We give a non-vanishing criterion for $K_X+\Delta$ in dimension $n$ with $X$…
Given any $\epsilon >0$ and any planar region $\Omega$ bounded by a simple n-gon $P$ we construct a ($1 + \epsilon)$-quasiconformal map between $\Omega$ and the unit disk in time $C(\epsilon)n$. One can take $ C(\epsilon) = C + C \log…