We prove that the ratio of the Newman sum over numbers multiple of a fixed integer which is not multiple of 3 and the Newman sum over numbers multiple of a fixed integer divisible by 3 is o(1) when the upper limit of summing tends to infinity.We also discuss a connection of our results with a digit conjecture on primes.
We obtain a simple relations for the Newman sum over multiples of a prime with a primitive or semiprimitive root 2. We consider the case of p=17 as well.
We give two simple algorithms for the evaluation of difference between the numbers of multiples of 3 with even and odd binary digit sums in interval [0,x), and give an elementary proof of Coquet's sharp estimates for it.
Andrews and Newman introduced the minimal excludant or ``$mex$'' function for an integer partition $π$ of a positive integer $n$, $mex(π)$, as the smallest positive integer that is not a part of $π$. They defined $σmex(n)$ to be the sum of $mex(π)$ taken over all partitions $π$ of $n$. We prove infinite families of congruence and multiplicative formulas for $σmex(n)$. By restricting to the part of $π$, Andrews and Newman also introduced $moex(π)$ to be the smallest odd integer that is not a part of $π$ and $σmoex(n)$ to be the sum of $moex(π)$ taken over all partitions $π$ of $n$. In this arti…
A length $n$ cosine sum is an expression of the form $\cos a_1θ+ \cdots + \cos a_nθ$ where $a_1 < \cdots < a_n$ are positive integers, and a length $n$ Newman polynomial is an expression of the form $z^{a_1} + \cdots + z^{a_n}$ where $a_1 < \cdots < a_n$ are nonnegative integers. We define $-λ(n)$ to be the largest minimum of a length $n$ cosine sum as $\{a_1,\ldots,a_n\}$ ranges over all sets of $n$ positive integers, and we define $μ(n)$ to be the largest minimum modulus on the unit circle of a length $n$ Newman polynomial as $\{a_1,\ldots,a_n\}$ ranges over all sets of $n$ nonnegative integ…
The minimal excludant, or "mex" function, on a set $S$ of positive integers is the least positive integer not in $S$. In a recent paper, Andrews and Newman extended the mex-function to integer partitions and found numerous surprising partition identities connected with these functions. Very recently, da Silva and Sellers present parity considerations of one of the families of functions Andrews and Newman studied, namely $p_{t,t}(n)$, and provide complete parity characterizations of $p_{1,1}(n)$ and $p_{3,3}(n)$. In this article, we study the parity of $p_{t,t}(n)$ when $t=2^α, 3\cdot 2^α$ for …
A Newman polynomial has all the coefficients in $\{ 0,1\}$ and constant term 1, whereas a Littlewood polynomial has all coefficients in $\{-1,1\}$. We call $P(X)\in\mathbb{Z}[X]$ a Borwein polynomial if all its coefficients belong to $\{ -1,0,1\}$ and $P(0)\neq 0$. By exploiting an algorithm which decides whether a given monic integer polynomial with no roots on the unit circle $|z|=1$ has a non-zero multiple in $\mathbb{Z}[X]$ with coefficients in a finite set $\mathcal{D} \subset \mathbb{Z}$, for every Borwein polynomial of degree at most 9 we determine whether it divides any Littlewood or N…
The reduction modulo $p$ of a family of lacunary integer polynomials, associated with the dynamical zeta function $ζ_β(z)$ of the $β$-shift, for $β> 1$ close to one, is investigated. We briefly recall how this family is correlated to the problem of Lehmer. A variety of questions is raised about their numbers of zeroes in $\mathbb{F}_p$ and their factorizations, via Kronecker's Average Value Theorem (viewed as an analog of classical Theorems of Uniform Distribution Theory). These questions are partially answered using results of Schinzel, revisited by Sawin, Shusterman and Stoll, and density th…
Ramanujan (and others) proved that the partition function satisfies a number of striking congruences modulo powers of 5, 7 and 11. A number of further congruences were shown by the works of Atkin, O'Brien, and Newman. In this paper we prove that there are infinitely many such congruences for every prime modulus exceeding 3. In addition, we provide a simple criterion guaranteeing the truth of Newman's conjecture for any prime modulus exceeding 3 (recall that Newman's conjecture asserts that the partition function hits every residue class modulo a given integer M infinitely often).
A well known result of Newman says that upto a limit, multiples of $3$ with even number of 1's in binary representation always exceed multiples of $3$ with odd number of 1's. The phenomenon of preponderance of even number of 1's is now known as Newman's phenomenon. We show that this phenomenon exists for higher bases. Let $b$ be a positive integer($\geq 2$). Let $A_{b}$ be the set of all natural numbers which contain only 0's and 1's in b-ary expansion and $S^{(b)}_{q,i}(n)$ be the difference between the corresponding number of $k_e<n$, $k_e\equiv i \mod q$, $k_e\in A_{b}$ and $k_e$ has even n…
For integer $m, p,$ we study tangent power sum $\sum^m_{k=1}\tan^{2p}\frac{πk}{2m+1}.$ We prove that, for every $m, p,$ it is integer, and, for a fixed p, it is a polynomial in $m$ of degree $2p.$ We give recurrent, asymptotical and explicit formulas for these polynomials and indicate their connections with Newman's digit sums in base $2m.$
For each $t \in \mathbf{R}$, define the entire function $$ H_t(z) := \int_0^\infty e^{tu^2} Φ(u) \cos(zu)\ du$$ where $Φ$ is the super-exponentially decaying function $$ Φ(u) := \sum_{n=1}^\infty (2π^2 n^4 e^{9u} - 3πn^2 e^{5u} ) \exp(-πn^2 e^{4u} ).$$ This is essentially the heat flow evolution of the Riemann $ξ$ function. From the work of de Bruijn and Newman, there exists a finite constant $Λ$ (the \emph{de Bruijn-Newman constant}) such that the zeroes of $H_t$ are all real precisely when $t \geq Λ$. The Riemann hypothesis is equivalent to the assertion $Λ\leq 0$; recently, Rodgers and Tao …
By the theory of elliptic curves, we study the integers representable as the product of the sum of four integers with the sum of their reciprocals and give a sufficient condition for the integers with a positive representation.
We say a positive integer is a sum of three nonunit squares if it is a sum of three squares of integers other than one. In this article, we find all integers which are sums of three nonunit squares assuming that the Generalized Riemann Hypothesis(GRH) holds. As applications, we find all integers, under the GRH only when $k=3$, which are sums of $k$ nonzero triangular numbers, sums of $k$ nonzero generalized pentagonal numbers, and sums of $k$ nonzero generalized octagonal numbers, respectively for any integer $k\ge 3$.
In this note, we show the existence of integer sequences of lengths at least 3 (except 7) such that for every integer in position $i\equiv 1\pmod{4}$ (respectively position $j\equiv 3\pmod{4}$), counting from left to right, the sum of the integer and the adjacent integer(s) has a constant sum $x$ (respectively $y$) with $x\ne y$.
It is well known that the harmonic sum $H_n(1)=\sum_{k=1}^n\frac{1}{k}$ is never an integer for $n>1$. In 1946, Erdős and Niven proved that the nested multiple harmonic sum $H_n(\{1\}^r)=\sum_{1\le k_1<\dots<k_r\le n}\frac{1}{k_1\cdots k_r}$ can take integer values only for a finite number of positive integers $n$. In 2012, Chen and Tang refined this result by showing that $H_n(\{1\}^r)$ is an integer only for $(n,r)=(1,1)$ and $(n,r)=(3,2)$. In this paper, we consider the integrality problem for arbitrary multiple harmonic and multiple harmonic star sums and show that none of these sums is an…
An integer $a$ is said to be regular (mod $r$) if there exists an integer $x$ such that $a^2x\equiv a\pmod{r}$. In this paper we introduce an analogue of Ramanujan's sum with respect to regular integers (mod $r$) and show that this analogue possesses properties similar to those of the usual Ramanujan's sum.
Uniformly for small $q$ and $(a,q)=1$, we obtain an estimate for the weighted number of ways a sufficiently large integer can be represented as the sum of a prime congruent to $a$ modulo $q$ and a square-free integer. Our method is based on the notion of local model developed by Ramaré and may be viewed as an abstract circle method.
We show that if there exists an integer subject to some congruence conditions that cannot be written as the sum of the norm of an ideal in $\mathbb{Z}[\exp(2πi/2^k)]$ and at most $k$ powers of $2$, $k\geq 3$, then there are infinitely many such integers. Also, if there exists an integer that cannot be written as the sum of an integer which is the norm of an ideal in in $\mathbb{Z}[\exp(2πi/p)]$ and at most $p-2$ powers of $p$, where $p\geq 3$ is a prime, then there are infinitely many such integers. Finally it is shown that there are infinitely many integers not the sum of the norm of an ideal…
In this paper we construct $q$-Genocchi numbers and polynomials. By using these numbers and polynomials, we investigate the $q$-analogue of alternating sums of powers of consecutive integers due to Euler.
Suppose a positive integer $n$ is written as a sum of squares of $m$ integers. What can one say about the value $T$ of the sum of these $m$ integers itself? Which $T$ can be obtained if one considers all possible representations of $n$ as a sum of squares of $m$ integers? Denoting this set of all possible $T$ by $\mathscr{S}_m(n)$, Goldmakher and Pollack have given a simple characterization of $\mathscr{S}_4(n)$ using elementary arguments. Their result can be reinterpreted in terms of Mordell's theory of representations of binary integral quadratic forms as sums of squares of integral linear f…
We study the problem of representing integers as sums of prime numbers from a fixed Beatty sequence $B_{α,β}$, where $α>1$ is irrational and of finite type.
The set of integers which can be written as the sum of four prime cubes has lower density at least $0.009664$. This improves earlier bounds of $0.003125$ by Ren and $0.005776$ by Liu.
In this paper we construct a new q-Euler numbers and polynomials. By using these numbers and polynomials, we give the interesting formulae related to alternating sums of powers of consecutive q-integers following an idea due to Euler.
We prove that the greatest positive integer that is not expressible as a linear combination with integer coefficients of elements of the set $\{n^2,(n+1)^2,\ldots \}$ is asymptotically $O(n^2)$, verifying thus a conjecture of Dutch and Rickett. Furthermore we ask a question on the representation of integers as sum of four large squares.
We prove that every positive integer $n$ which is not equal to $1$, $2$, $3$, $6$, $11$, $30$, $155$, or $247$ can be represented as a sum of a squarefree number and a prime not exceeding $\sqrt{n}$.
In totally real number fields, we characterize the rings of $S$-integers (obtained by inverting a rational integer $m$) such that all their totally positive elements are represented as a sum of squares. We further obtain partial answers to the question: when are all the totally positive algebraic integers that are divisible by $m$ represented as a sum of squares?
This paper is concerned with the function $r_{k,s}(n)$, the number of (ordered) representations of $n$ as the sum of $s$ positive $k$-th powers, where integers $k,s\ge 2$. We examine the mean average of the function, or equivalently, \begin{equation*} \sum_{m=1}^n r_{k,s}(m). \end{equation*}
Andrews and Newman introduced the mex-function $\text{mex}_{A,a}(λ)$ for an integer partition $λ$ of a positive integer $n$ as the smallest positive integer congruent to $a$ modulo $A$ that is not a part of $λ$. They then defined $p_{A,a}(n)$ to be the number of partitions $λ$ of $n$ satisfying $\text{mex}_{A,a}(λ)\equiv a\pmod{2A}$. They found the generating function for $p_{t,t}(n)$ and $p_{2t,t}(n)$ for any positive integer $t$, and studied their arithmetic properties for some small values of $t$. In this article, we study the partition function $p_{mt,t}(n)$ for all positive integers $m$ a…
Considering the problem of finding all the integer solutions of the sum of $M$ consecutive integer squares starting at $a^{2}$ being equal to a squared integer $s^{2}$, it is shown that this problem has no solutions if $M\equiv3,5,6,7,8$ or $10 (mod\,12)$ and has integer solutions if $M\equiv0,9,24$ or $33 (mod\,72)$; or $M\equiv1,2$ or $16 (mod\,24)$; or $M\equiv11 (mod\,12)$. All the allowed values of $M$ are characterized using necessary conditions. If $M$ is a square itself, then $M\equiv1 (mod\,24)$ and $(M-1)/24$ are all pentagonal numbers, except the first two.
Assuming the Riemann Hypothesis we obtain asymptotic estimates for the mean value of the number of representations of an integer as a sum of two primes. By proving a corresponding Omega-term, we prove that our result is essentially the best possible.
We prove that $164634913$ is the smallest positive integer that is a sum of two rational sixth powers but not a sum of two integer sixth powers. If $C_{k}$ is the curve $x^{6} + y^{6} = k$, we use the existence of morphisms from $C_{k}$ to elliptic curves, together with the Mordell-Weil sieve, to rule out the existence of rational points on $C_{k}$ for various $k$.
The representation of any integer as the sum of two cubes to a fixed modulus is always possible if and only if the modulus is not divisible by seven or nine. For a positive non-prime integer N there is given an inductive way to find its remainders that can be represented as the sum of two cubes to a fixed modulus N. Moreover, it is possible to find the components of this representation.
We give some theoretical and computational results on "random" harmonic sums with prime numbers, and more generally, for integers with a fixed number of prime factors.
In this paper, we prove a conjecture of Chan and Chua for the number of representations of integers as sums of 8s integral squares. The proof uses a theorem of Imamoglu and Kohnen, and the double shuffle relations satisfied by the double Eisenstein series of level 2.
A classical theorem in number theory due to Euler states that a positive integer $z$ can be written as the sum of two squares if and only if all prime factors $q$ of $z$, with $q\equiv 3 \pmod{4}$, have even exponent in the prime factorization of $z$. One can consider a minor variation of this theorem by not allowing the use of zero as a summand in the representation of $z$ as the sum of two squares. Viewing each of these questions in $\Z_n$, the ring of integers modulo $n$, we give a characterization of all integers $n\ge 2$ such that every $z\in \Z_n$ can be written as the sum of two squares…
Zeckendorf proved that every positive integer has a unique partition as a sum of non-consecutive Fibonacci numbers. We study the difference between the number of summands in the partition of two consecutive integers. In particular, let $L(n)$ be the number of summands in the partition of $n$. We characterize all positive integers such that $L(n) > L(n+1)$, $L(n) < L(n+1)$, and $L(n) = L(n+1)$. Furthermore, we call $n+1$ a peak of $L$ if $L(n) < L(n+1) > L(n+2)$ and a divot of $L$ if $L(n) > L(n+1) < L(n+2)$. We characterize all such peaks and divots of $L$.
Given an integer n>1, it is a classical Diophantine problem that whether n can be written as a sum of two rational cubes. The study of this problem, considering several special cases of n, has a copious history that can be traced back to the works of Sylvester, Satgé, Selmer etc. and up to the recent works of Alpöge-Bhargava-Shnidman. In this article, we consider the cube sum problem for cube-free integers n which has two distinct prime factors none of which is 3.
We consider sets of positive integers containing no sum of two elements in the set and also no product of two elements. We show that the upper density of such a set is strictly smaller than 1/2 and that this is best possible. Further, we also find the maximal order for the density of such sets that are also periodic modulo some positive integer.
A sum-and-distance system is a collection of finite sets of integers such that the sums and differences formed by taking one element from each set generate a prescribed arithmetic progression. Such systems, with two component sets, arise naturally in the study of matrices with symmetry properties and consecutive integer entries. Sum systems are an analogous concept where only sums of elements are considered. We establish a bijection between sum systems and sum-and-distance systems of corresponding size, and show that sum systems are equivalent to principal reversible cuboids, which are tensors…