Related papers: A Proof on Hypothesis of Dirichlet Divisor Problem

Let $ x\geq 1 $ be a large number, let $ [x]=x-\{x\} $ be the largest integer function, and let $ \sigma(n)$ be the sum of divisors function. This note presents the first proof of the asymptotic formula for the average order $ \sum_{p\leq…

We study the first moment of primitive quadratic Dirichlet $L$-functions. Assuming the Riemann hypothesis and the generalized Lindel\"of hypothesis, we obtain an asymptotic formula at the central point with error $O(X^{1/4+\epsilon})$, and…

We consider the Dirichlet problem in an ellipsoidal cylinder when the data function is entire. Under an additional assumption that the order of the data function is less than one, we show that there is a solution that extends as an entire…

We completely prove the ACC for minimal log discrepancies on smooth threefolds. It implies on smooth threefolds the ACC for a-lc thresholds, the uniform m-adic semi-continuity of minimal log discrepancies and the boundedness of the log…

It is proved that, if $k\ge2$ is a fixed integer and $1 \ll H \le X/2$, then $$ \int_{X-H}^{X+H}\Delta^4_k(x)\d x \ll_\epsilon X^\epsilon\Bigl(HX^{(2k-2)/k} + H^{(2k-3)/(2k+1)}X^{(8k-8)/(2k+1)}\Bigr), $$ where $\Delta_k(x)$ is the error…

Let $(X, \Delta)$ be a four-dimensional log variety that is projective over the field of complex numbers. Assume that $(X, \Delta)$ is not Kawamata log terminal (klt) but divisorial log terminal (dlt). First we introduce the notion of "log…

This proof without words demonstrates that there are $\binom{n+2}{4}$ equilateral triangles in the regular $n$-vertices-per-side triangular grid by describing a map from four-element subsets of $\{1,2, \dots, n+2\}$ into the set of…

We obtain an asymptotic formula for the L^1 norm of the exponential sum $M(\alpha) = \sum_{n\le X}\tau(n)e(n\alpha)$ where $\tau(n) = \sum_{d|n} 1$ is the divisor function. In particular, we show that it is $\sim C\sqrt{X}\log X$ with $C =…

We provide infinitely many solutions of a Dirichlet problem on balls.

For $X(n)$ a Steinhaus random multiplicative function, we study the maximal size of the random Dirichlet polynomial $$ D_N(t) = \frac1{\sqrt{N}} \sum_{n \leq N} X(n) n^{it}, $$ with $t$ in various ranges. In particular, for fixed $C>0$ and…

Let $(X,\Delta)$ be a 4-dimensional log variety which is proper over the field of complex numbers and with only divisorial log terminal singularities. The log canonical divisor $K_X+\Delta$ is semi-ample, if it is nef (numerically…

Hilbert's epsilon-calculus is based on an extension of the language of predicate logic by a term-forming operator $\epsilon_{x}$. Two fundamental results about the epsilon-calculus, the first and second epsilon theorem, play a role similar…

We show that every graph $G$ on $n$ vertices with $\delta(G) \geq (1/2+\varepsilon)n$ is spanned by a complete blow-up of a cycle with clusters of nearly uniform size $\Omega(\log n)$. The proof is based on a recently introduced approach…

Let $X$ be a set of $n$ points in the plane, not all on a line. According to the Gallai-Sylvester theorem, $X$ always spans an \emph{ordinary line}, i.e., one that passes through precisely 2 elements of $X$. Given an integer $c\ge 2,$ a…

Reed in 1998 conjectured that every graph $G$ satisfies $\chi(G) \leq \lceil \frac{\Delta(G)+1+\omega(G)}{2} \rceil$. As a partial result, he proved the existence of $\varepsilon > 0$ for which every graph $G$ satisfies $\chi(G) \leq \lceil…

Let $f$ be an $E$-function (in Siegel's sense) not of the form $e^{\beta z}$, $\beta \in \overline{\mathbb{Q}}$, and let $\log$ denote any fixed determination of the complex logarithm. We first prove that there exists a finite set $S(f)$…

Suppose that P is an infinite set of primes such that P = A + B + C, where A,B,C are sets with at least two elements. We show that if P(x) > c x/log^d x (where P(x) = the number of elements of P that are <= x), and if A,B,C is a "regular"…

We show that there is an absolute constant $c>0$ such that $|A+\lambda\cdot A|\geq e^{c\sqrt{\log |A|}}|A|$ for any finite subset $A$ of $\mathbb{R}$ and any transcendental number $\lambda\in\mathbb{R}$. By a construction of Konyagin and…

We prove the finiteness of log pluricanonical representations for projective log canonical pairs with semi-ample log canonical divisor. As a corollary, we obtain that the log canonical divisor of a projective semi log canonical pair is…

A triangle decomposition of a graph $G$ is a partition of the edges of $G$ into triangles. Two necessary conditions for $G$ to admit such a decomposition are that $|E(G)|$ is a multiple of three and that the degree of any vertex in $G$ is…