We study the surface arising from the diophantine equation $m^3+(m+1)^3+...+(m+k-1)^3=l^2$. It turns out that this is a $K3$ surface with Picard number 20. We stduy its aritmetic properties in detail. We construct elliptic fibrations on it, and we find a parametric solution to the original equation. Also, we determine the Hasse-Weil zeta function of the surface over $Q$.
Euler noted the relation $6^3=3^3+4^3+5^3$ and asked for other instances of cubes that are sums of consecutive cubes. Similar problems have been studied by Cunningham, Catalan, Gennochi, Lucas, Pagliani, Cassels, Uchiyama, Stroeker and Zhongfeng Zhang. In particular Stroeker determined all squares that can be written as a sum of at most $50$ consecutive cubes. We generalize Stroeker's work by determining all perfect powers that are sums of at most $50$ consecutive cubes. Our methods include descent, linear forms in two logarithms, and Frey-Hellegouarch curves.
We give an explicit form of Ingham's Theorem on primes in the short intervals, and show that there is at least one prime between every two consecutive cubes $x\sp{3}$ and $(x+1)\sp{3}$ if $\log\log x\ge 15$.
In this paper, we consider the problem about finding out perfect powers in an alternating sum of consecutive cubes. More precisely, we completely solve the Diophantine equation $(x+1)^3 - (x+2)^3 + \cdots - (x + 2d)^3 + (x + 2d + 1)^3 = z^p$, where $p$ is prime and $x,d,z$ are integers with $1 \leq d \leq 50$.
Let $E$ be an elliptic curve over $\mathbb{Q}$ described by $y^2= x^3+ Kx+ L$ where $K, L \in \mathbb{Q}$. A set of rational points $(x_i,y_i) \in E(\mathbb{Q})$ for $i=1, 2, \cdots, k$, is said to be a sequence of consecutive cubes on $E$ if the $x-$coordinates of the points $x_i$'s for $i=1, 2, \cdots$ form consecutive cubes. In this note, we show the existence of an infinite family of elliptic curves containing a length-$5$-term sequence of consecutive cubes. Morever, these five rational points in $E (\mathbb{Q})$ are linearly independent and the rank $r$ of $E(\mathbb{Q})$ is at least $5$.
We investigate the asymptotic formula for the number of representations of a large positive integer as a sum of $k$-th powers of integers represented as the sums of three positive cubes, counted with multiplicities. We also obtain a lower bound for the number of representations when the sums of three cubes are counted without multiplicities.
We show that Euler's relation and the Taxi-Cab relation are both solutions of the same equation. General solutions of sums of two consecutive cubes equaling the sum of two other cubes are calculated. There is an infinite number of relations to be found among the sums of two consecutive cubes and the sum of two other cubes, in the form of two families. Their recursive and parametric equations are calculated.
Let $p\equiv 2,5\mod 9$ be a prime. We prove that both $3p$ and $3p^2$ are cube sums. We also establish some explicit Gross-Zagier formulae and investigate the 3 part full BSD conjecture of the related elliptic curves.
We investigate a version of Waring's Problem over quaternion rings, focusing on cubes in quaternion rings with integer coefficients. We determine the global upper and lower bounds for the number of cubes necessary to represent all such quaternions.
We establish estimates for linear correlation sums involving sums of three positive integral cubes. Under appropriate conditions, the underlying methods permit us to establish the solubility of systems of homogeneous linear equations in sums of three positive cubes whenever these systems have more than twice as many variables as equations.
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.
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 obtain explicit factored closed-form expressions for Fibonacci and Lucas sums of the form \mbox{$\sum_{k = 1}^n {F_{2rk}^3 }$} and \mbox{$\sum_{k = 1}^n {L_{2rk}^3 }$}, where $r$~and~$n$ are integers.
We give an upper bound for the minimum $s$ with the property that every sufficiently large integer can be represented as the sum of $s$ positive $k$-th powers of integers represented as the sum of three positive cubes for the cases $2\leq k\leq 4.$
In this paper we construct the q-analogue of Barnes' Bernoulli numbers and plynomials of degree 2, which is an answer to a part of Schlosser's question. Finally, we treat the q-analogue of the sums of powers of consecutive integrs.
We prove that the equation $(x-2r)^3 + (x-r)^3 + x^3 + (x+r)^3 + (x+2r)^3= y^p$ only has solutions which satisfy $xy=0$ for $1\leq r\leq 10^6$ and $p\geq 5$ prime.
We give a characterization of all pairs $(k,n)$ of positive integers for which the ratio $$ \frac{1^k-2^k+3^k-\dots+(-1)^{n+1} n^k}{1^k-2^k+3^k-\dots+(-1)^{n}(n-1)^k} $$ of two consecutive alternating power sums is an integer.
In this paper we construct the $q$-analogue of Barnes's Bernoulli numbers and polynomials of degree 2, for positive even integers, which is an answer to a part of Schlosser's question. For positive odd integers, Schlosser's question is still open. Finally, we will treat the $q$-analogue of the sums of powers of consecutive integers.
Higher-dimensional Dedekind sums are defined as a generalization of a recent 1-dimensional probability model of Dilcher and Girstmair to a d-dimensional cube. The analysis of the frequency distribution of marked lattice points leads to new formulae in certain special cases, and to new bounds for the classical Dedekind sums. Upper bounds for the generalized Dedekind sums are defined in terms of 1-dimensional moments. In the classical two-dimensional case, the ratio of these sums to their upper bounds are cosines of angles between certain vectors of n-dimensional cones, conjectured to have a lar…
In a surprising recent work, Lemke Oliver and Soundararajan noticed how experimental data exhibits erratic distributions for consecutive pairs of primes in arithmetic progressions, and proposed a heuristic model based on the Hardy--Littlewood conjectures containing a large secondary term, which fits the data very well. In this paper, we study consecutive pairs of sums of squares in arithmetic progressions, and develop a similar heuristic model based on the Hardy--Littlewood conjecture for sums of squares, which also explain the biases in the experimental data. In the process, we prove several …
Let $p\equiv 2,5\mod 9$ be an odd prime. In this paper, we prove that at least one of $3p$ and $3p^2$ is a cube sum by constructing certain nontrivial Heegner points. We also establish the explicit Gross-Zagier formulae for these Heegner points and give variants of the Birch and Swinnerton-Dyer conjecture of the related elliptic curves.
We show that the diophantine equation $n^\ell+(n+1)^\ell + ...+ (n+k)^\ell=(n+k+1)^\ell+ ...+ (n+2k)^\ell$ has no solutions in positive integers $k,n \ge 1$ for all $\ell \ge 3$.
Using only elementary arguments, Cassels and Uchiyama (independently) determined all squares that are sums of three consecutive cubes. Zhongfeng Zhang extended this result and determined all perfect powers that are sums of three consecutive cubes. Recently, the equation $(x-r)^k + x^k + (x+r)^k$ has been studied for $k=4$ by Zhongfeng Zhang and for $k=2$ by Koutsianas. In this paper, we complement the work of Cassels, Koutsianas and Zhang by considering the case when $k=3$ and showing that the equation $(x-r)^3+x^3+(x+r)^3=y^n$ with $n\geq 5$ a prime and $0 < r \leq 10^6$ only has trivial solu…
In this paper, we refine the method introduced by Izadi and Baghalaghdam to search integer solutions to the Diophantine equation $X_1^5+X_2^5+X_3^5=Y_1^3+Y_2^3+Y_3^3$. We show that the Diophantine equation has infinitely many positive solutions.
The search of solutions of the Diophantine equation $x^3 + y^3 + z^3 = k$ for $k<1000$ has been extended with bounds of $|x|$, $|y|$ and $|z|$ up to $10^{15}$. The first solution for $k=74$ is reported. This only leaves $k=33$ and $k=42$ for $k<100$ for which no solution has yet been found. A total of 966 new solutions were found.
Let $μ_1, \ldots, μ_s$ be real numbers, with $μ_1$ irrational. We investigate sums of shifted cubes $F(x_1,\ldots,x_s) = (x_1 - μ_1)^3 + \ldots + (x_s - μ_s)^3$. We show that if $η$ is real, $τ>0$ is sufficiently large, and $s \ge 9$, then there exist integers $x_1 > μ_1, \ldots, x_s > μ_s$ such that $|F(\mathbf{x})- τ| < η$. This is a real analogue to Waring's problem. We then prove a full density result of the same flavour for $s \ge 5$. For $s \ge 11$, we provide an asymptotic formula. If $s \ge 6$ then $F(\mathbf{Z}^s)$ is dense on the reals. Given nine variables, we can generalise this to…
Let $k \ge 2$ be even, and let $r$ be a non-zero integer. We show that for almost all $d \ge 2$ (in the sense of natural density), the equation $$ x^k+(x+r)^k+\cdots+(x+(d-1)r)^k=y^n, \qquad x,~y,~n \in \mathbb{Z}, \qquad n \ge 2, $$ has no solutions.
All integer solutions $\left(M,a,c\right)$ to the problem of the sums of $M$ consecutive cubed integers $\left(a+i\right)^{3}$ ($a>1$, $0\leq i\leq M-1$) equaling squared integers $c^{2}$ are found by decomposing the product of the difference and sum of the triangular numbers of $\left(a+M-1\right)$ and $\left(a-1\right)$ in the product of their greatest common divisor $g$ and remaining square factors $δ^{2}$ and $σ^{2}$, yielding $c=gδσ$. Further, the condition that $g$ must be integer for several particular and general cases yield generalized Pell equations whose solutions allow to find all …
We prove that a suitable asymptotic formula for the average number of representations of integers $n=p_{1}^{3}+p_{2}^{3}+p_{3}^{3}+p_{4}^{3}$, where $p_1,p_2,p_3,p_4$ are prime numbers, holds in intervals shorter than the the ones previously known.
In recent work, we considered the frequencies of patterns of consecutive primes $\pmod{q}$ and numerically found biases toward certain patterns and against others. We made a conjecture explaining these biases, the dominant factor in which permits an easy description but fails to distinguish many patterns that have seemingly very different frequencies. There was a secondary factor in our conjecture accounting for this additional variation, but it was given only by a complicated expression whose distribution was not easily understood. Here, we study this term, which proves to be connected to bot…
Let $S_k(m):=1^k+2^k+\cdots+(m-1)^k$ denote a power sum. In 2011 Bernd Kellner formulated the conjecture that for $m\ge 4$ the ratio $S_k(m+1)/S_k(m)$ of two consecutive power sums is never an integer. We will develop some techniques that allow one to exclude many integers $ρ$ as a ratio and combine them to exclude the integers $3\le ρ\le 1501$ and, assuming a conjecture on irregular primes to be true, a set of density $1$ of ratios $ρ$. To exclude a ratio $ρ$ one has to show that the Erdős-Moser type equation $(ρ-1)S_k(m)=m^k$ has no non-trivial solutions.
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.
In this paper we study the Diophantine equation \begin{align*} b^k + \left(a+b\right)^k + &\left(2a+b\right)^k + \ldots + \left(a\left(x-1\right) + b\right)^k = \\ &y\left(y+c\right) \left(y+2c\right) \ldots \left(y+ \left(\ell-1\right)c\right), \end{align*} where $a,b,c,k,\ell$ are given integers under natural conditions. We prove some effective results for special values for $c,k$ and $\ell$ and obtain a general ineffective result based on Bilu-Tichy method.
We prove that the equation $(x-3r)^3+(x-2r)^3 + (x-r)^3 + x^3 + (x+r)^3 + (x+2r)^3+(x+3r)^3= y^p$ only has solutions which satisfy $xy=0$ for $1\leq r\leq 10^6$ and $p\geq 5$ prime. This article complements the work on the equations $(x-r)^3 + x^3 + (x+r)^3 = y^p$ and $(x-2r)^3 + (x-r)^3 + x^3 + (x+r)^3 + (x+2r)^3= y^p$ . The methodology in this paper makes use of the Primitive Divisor Theorem due to Bilu, Hanrot and Voutier for a complete resolution of the Diophantine equation.
In this paper, we sharpen earlier work of the first author, Luca and Mulholland, showing that the Diophantine equation $$ A^3+B^3 = q^αC^p, \, \, ABC \neq 0, \, \, \gcd (A,B) =1, $$ has, for "most" primes $q$ and suitably large prime exponents $p$, no solutions. We handle a number of (presumably infinite) families where no such conclusion was hitherto known. Through further application of certain {\it symplectic criteria}, we are able to make some conditional statements about still more values of $q$, a sample such result is that, for all but $O(\sqrt{x}/\log x)$ primes $q$ up to $x$, the equa…
Using only elementary arguments, Cassels solved the Diophantine equation $(x-1)^3+x^3+(x+1)^3=z^2$ in integers $x$, $z$. The generalization $(x-1)^k+x^k+(x+1)^k=z^n$ (with $x$, $z$, $n$ integers and $n \ge 2$) was considered by Zhongfeng Zhang who solved it for $k=2$, $3$, $4$ using Frey-Hellegouarch curves and their Galois representations. In this paper, by employing some sophisticated refinements of this approach, we show that the only solution for $k=5$ is $x=z=0$, and that there are no solutions for $k=6$. The chief innovation we employ is a computational one, which enables us to avoid the…
A decomposition of a natural number n is a sequence of consecutive natural numbers that sums to n. We construct a one-to-one correspondence between the odd factors of a natural number and its decompositions. We study the decompositions by their lengths and introduce the concept of length spectrum. Also, we use diagrams to illustrate the ideas behind our proofs.
Sums of $M$ consecutive squared integers $\left(a+i\right)^{2}$ equaling squared integers (for $a\geq1$, $0\leq i\leq M-1$) yield certain linear groupings of pairs $\left(a_{1},a_{2}\right)$ of $a$ values for successive same values of $M$ when these are linked by $a_{1}+a_{2}=μM+1$ with $μ=\left(η/δ\right)\in\mathbb{\mathbb{Q}}^{+}$. In this paper, congruent conditions on $M,η,δ$, and on the difference $\left(a_{2}-a_{1}\right)$ are demonstrated for these linear groupings to hold. It is found that $η\equiv1\left(mod\,2\right)$ and $δ\equiv0,1$ or $5\left(mod\,6\right)$, and if $δ\equiv0\left(m…
This paper is a first attempt at getting information on a symmetric power representation of a $GL_2$ automorphic form via a trace formula that is beyond endoscopic techniques. In particular, we study the symmetric third power representation for all forms over $\Q$ adjoined the cube roots of unity. A key tool needed in the study is an identity relating cubic exponential sums to Kloosterman sums. This very same identity is crucial to the fundamental lemma of a trace formula comparison in work of Mao and Rallis.
We give a complete description of all solutions to the equation $f_1^3 + f_2^3 = f_3^3 + f_4^3$ for quadratic forms $f_j \in \mathbb C[x,y]$ and show how Ramanujan's example can be extended to three equal sums of pairs of cubes. We also give a complete census in counting the number of ways a sextic $p \in \mathbb C[x,y]$ can be written as a sum of two cubes. The extreme example is $p(x,y) = xy(x^4-y^4)$, which has six such representations.
The problem of finding all the integer solutions in $a$, $M$ and $s$ of sums of $M$ consecutive integer squares starting at $a^{2}\geq1$ equal to squared integers $s^{2}$, has no solutions if $M\equiv3,5,6,7,8$ or $10\left(mod\,12\right)$ and has integer solutions if $M\equiv0,9,24% or %33\left(mod\,72\right)$; or $M\equiv1,2$ or $16\left(mod\,24\right)$; or $M\equiv11\left(mod\,12\right)$. In this paper, additional congruence conditions are demonstrated on the allowed values of $M$ that yield solutions to the problem by using Beeckmans' eight necessary conditions, refining further the possibl…