Related papers: Explicit bounds for sums of squares

We present an extension of the Hardy--Littlewood inequality for multilinear forms. More precisely, let $\mathbb{K}$ be the real or complex scalar field and $m,k$ be positive integers with $m\geq k\,$ and $n_{1},\dots ,n_{k}$ be positive…

In this paper, we estimate the shifted convolution sum \[\sum_{n\geqslant1}\lambda_1(1,n)\lambda_2(n+h)V\Big(\frac{n}{X}\Big),\] where $V$ is a smooth function with support in $[1,2]$, $1\leqslant|h|\leqslant X$, $\lambda_1(1,n)$ and…

We study the extremal function $S^k_d(n)$, defined as the maximum number of regular $(k-1)$-simplices spanned by $n$ points in $\mathbb{R}^d$. For any fixed $d\geq2k\geq6$, we determine the asymptotic behavior of $S^k_d(n)$ up to a…

New bounds are derived for the eigenvalues of sums of Kronecker products of square matrices by relating the corresponding matrix expressions to the covariance structure of suitable bi-linear stochastic systems in discrete and continuous…

Srinivasa Ramanujan provided Fourier series expansions of certain arithmetical functions in terms of the exponential sum defined by $c_q(n)=\sum\limits_{\substack{{m=1}\\(m,q)=1}}^{q}e^{\frac{2 \pi imn}{q}}$. Later, H. Delange derived the…

Let $R_k(x)$ denote the error incurred by approximating the number of $k$-free integers less than $x$ by $x/\zeta(k)$. It is well known that $R_k(x)=\Omega(x^{\frac{1}{2k}})$, and widely conjectured that…

Let $sym^{2} f$ denote the symmetric square lift of a Hecke eigenform $f \in S_{k}(\Gamma_{0}(N))$ with the $n^{\rm th}$-Fourier coefficients $ \lambda_{sym^{2}f}(n)$. In this article, we prove an estimate for the first moment of the…

We use Gale duality for polynomial complete intersections and adapt the proof of the fewnomial bound for positive solutions to obtain the bound (e^4+3) 2^(k choose 2) n^k/4 for the number of non-zero real solutions to a system of n…

Let $p^k m^2$ be an odd perfect number with special prime $p$. Extending previous work of the authors, we prove that the inequality $m < p^k$ follows from $m^2 - p^k = 2^r t$, where $r \geq 2$ and $\gcd(2,t)=1$, under the following…

For any given positive definite binary quadratic form $Q$ with integer coefficients, we establish two results on Diophantine approximation with integers represented by $Q$. Firstly, we show that for every irrational number $\alpha$, there…

In 2000 Deaconescu raised a question whether there exists a composite $n$ for which $S_2(n)|\phi(n)-1$, where $\phi(n)$ is Euler's function and $S_2(n)$ is Schemmel's totient function. In this paper we prove that any such $n$ is odd,…

We obtain the decomposition of the tensor space $\mathfrak{sl}_n^{\otimes k}$ as a module for $\mathfrak{sl}_n$, find an explicit formula for the multiplicities of its irreducible summands, and (when $n \ge 2k$) describe the centralizer…

Let $f^{(r)}(n;s,k)$ denote the maximum number of edges in an $r$-graph on $n$ vertices in which every $k$ edges span more than $s$ vertices. Brown, Erd\H{o}s and S\'{o}s in 1973 conjectured that for every $k\geq 2$, the limit…

Let $f$ be a smooth real function with strictly monotone first $k$ derivatives. We show that for a finite set $A$, with $|A+A|\leq K|A|$, $|2^kf(A)-(2^k-1)f(A)|\gg_k |A|^{k+1-o(1)}/K^{O_k(1)}$. We deduce several new sum-product type…

Let $f \in S_{k}(\Gamma_{0}(N))$ be a normalized Hecke eigenform. We study the Fourier coefficients $\lambda_{f \otimes \cdots \otimes_{\ell} f}(n)$ of the $\ell$-fold product $L$-function for odd $\ell \ge 3$. Our focus is the distribution…

Let $A$ be a finite nonempty set of integers. An asymptotic estimate of several dilates sum size was obtained by Bukh. The unique known exact bound concerns the sum $|A+k\cdot A|,$ where $k$ is a prime and $|A|$ is large. In its full…

If $N={q^k}{n^2}$ is an odd perfect number given in Eulerian form, then the Descartes-Frenicle-Sorli conjecture predicts that $k=1$. Brown has recently announced a proof for the inequality $q < n$, and a partial proof that $q^k < n$ holds…

We find an upper bound for the sum $\sum_{x<n\leq 2x}\textbf{1}_{\mathbb{P}}(n+h_{i_{1}})\cdots\textbf{1}_{\mathbb{P}}(n+h_{i_{m+1}})w_{n}$, where $(h_{i_{1}},...,h_{i_{m+1}})$ is any $(m+1)$-tuple of elements in the admissible set…

Let $\mathbb{K}$ be a field of characteristic $0$. For each choice of distinct $a_1, \ldots, a_n\in \mathbb{K}$ and distinct $b_1, \ldots, b_n\in \mathbb{K}$, consider the sum $S=\sum_{i=1}^n a_i b_{\pi(i)}$ as $\pi$ ranges over the…

We study representations of integers as sums of the form $\pm a_1\pm a_2\pm \dotsb \pm a_n$, where $a_1,a_2,\ldots$ is a prescribed sequence of integers. Such a sequence is called an Erd\H{o}s-Sur\'anyi sequence if every integer can be…