A new Andrews--Crandall-type identity and the number of integer solutions to $x^2+2y^2+2z^2=n$

Mariia Dospolova,Ekaterina Kochetkova,Eric T. Mortenson

DOI: https://doi.org/10.1007/s11139-023-00797-z

2023-07-11

Abstract:Using a higher-dimensional analog of an identity known to Kronecker, we discover a new Andrews--Crandall-type identity and use it to count the number of integer solutions to $x^2+2y^2+2z^2=n$.

Number Theory

What problem does this paper attempt to address?

Integer Solutions, Rational solutions of the equations x^4+y^4+z^4 -2(x^2)(y^2)-2(y^2)(z^2)-2(z^2)(x^2)=n and x^2+y^4+z^4-2x(y^2)-2x(z^2)-2(y^2)(z^2)=n; And Crux Mathematicorum Contest problem CC24

Konstantine Zelator

DOI: https://doi.org/10.48550/arXiv.1308.4040

2013-08-16

General Mathematics

Abstract:The subject matter of this work are the two equations: x^4+y^4+z^4-2(x^2)(y^2)-2(y^2)(z^2)-2(z^2)(x^2)= n (1) And x^2+y^4+z^4-2x(y^2)-2x(z^2)-2(y^4)(z^4)= n (2) where n is a natural number. Contest Corner problem CC24, published in the May2012 issue of the journal Crux Mathematicorum(see reference[1]); provided the motivation behind this work. In Th.1, we show that eq.(1) if n=8N, N odd; then eq.(1) has no integer solutions; which generalizes problem CC24(the case n=24). We use Th.2, to find some rational solutions of eq.(1); which answers the second question in CC24. In Th.4, we show that if n= p, 4, or pq; where p and q are distinct primes. Then eq.(1)has no integer solutions. In Th.6, we determine all the integer solutions to (1), when n=p^2, p an odd prime. Theorems 7 through13, deal with equation (2). In Th.11, we determine all the integer solutions of eq.(2). Th.12 states that (2) has no integer solutions in n is congruent to 2 or 3 modulo4. Finally, in Th.13 we determine all the rational solutions of eq.(2).
New Solutions of $d=2x^3+y^3+z^3$

Allan J. MacLeod

DOI: https://doi.org/10.48550/arXiv.1109.2396

2011-09-12

Abstract:We discuss finding large integer solutions of $d=2x^3+y^3+z^3$ by using Elsenhans and Jahnel's adaptation of Elkies' LLL-reduction method. We find 28 first solutions for $|d|<10000$.

Number Theory
On the Diophantine Equation F (X) F (Y) = F (Z(2))

Yong Zhang,Tianxin Cai

DOI: https://doi.org/10.1007/s10998-014-0068-6

2013-01-01

Publicationes Mathematicae Debrecen

Abstract:Let $f\in {\mathbb {Q}}[X]$ be a polynomial without multiple roots and $deg(f)\ge 2$. We consider the Diophantine equation $f(x)f(y)=f(z^2)$. For two classes of irreducible quadratic polynomials, this equation has infinitely many nontrivial integer solutions, if the corresponding Pell’s equations satisfy a condition. For a special cubic polynomial, it has a one-parameter family of rational solutions. For $f(X)=X(X^2+X+k)$ and $X(X^2+kX+1)$ there are infinitely many $k \in {\mathbb {Q}}$ such that the title equation has rational solutions.
Some Identities for Multiple Zeta Values

Zhongyan Shen,Tianxin Cai

DOI: https://doi.org/10.1016/j.jnt.2011.06.011

2011-01-01

Scientia Sinica Mathematica

Abstract:In this note, we obtain the following identities,∑a+b+c=nζ(2a,2b,2c)=58ζ(2n)−14ζ(2)ζ(2n−2),for n>2,∑a+b+c+d=nζ(2a,2b,2c,2d)=3564ζ(2n)−516ζ(2)ζ(2n−2),for n>3. Meanwhile, some weighted version of sum formulas are also obtained.
On the diophantine equation $X^6-Y^6 = W^n-Z^n, n=2,3,4$

Seiji Tomita

2024-01-15

Abstract:In this paper, we proved that there are infinitely many integer solutions of $X^6 - Y^6 = W^n - Z^n,\ n=2,3,4$.

General Mathematics
Representing n as n = x plus y + z with x(2) + y(2) + z(2) a square

Chao Huang,Zhi-Wei Sun

DOI: https://doi.org/10.1007/s00013-023-01896-5

2023-01-01

Archiv der Mathematik

Abstract:In this paper, we mainly confirm the following conjecture of Sun posed in 2013: Each positive integer n can be written as n = x + y + z with x, y, z positive integers such that x(2) + y(2) + z(2) is a square, unless n has the form n = 2(a) 3(b) or 2(a) 7 with a and b nonnegative integers.
Number of solutions to a special type of unit equations in two variables II

Takafumi Miyazaki,István Pink

DOI: https://doi.org/10.48550/arXiv.2205.11217

2022-05-23

Number Theory

Abstract:This paper contributes to the conjecture of R. Scott and R. Styer which asserts that for any fixed relatively prime positive integers $a,b$ and $c$ greater than 1 there is at most one solution to the equation $a^x+b^y=c^z$ in positive integers $x,y$ and $z$, except for specific cases. The fundamental result proves the conjecture under some congruence condition modulo $c$ on $a$ and $b$. As applications the conjecture is confirmed to be true if $c$ takes some small values including the Fermat primes found so far, and this particularly provides an analytic proof of the celebrated theorem of Scott [R. Scott, On the equations $p^x-b^y=c$ and $a^x+b^y=c^z$, J. Number Theory 44(1993), 153-165] solving the conjecture for $c=2$ in a purely algebraic manner. The method can be generalized for smaller modulus cases, and it turns out that the conjecture holds true for infinitely many specific values of $c$ not being perfect powers. The main novelty is to apply a special type of the $p$-adic analogue to Baker's theory on linear forms in logarithms via a certain divisibility relation arising from the existence of two hypothetical solutions to the equation. The other tools include Baker's theory in the complex case and its non-Archimedean analogue for number fields together with various elementary arguments through rational and quadratic numbers, and extensive computation.
Representing n as n=x+y+z with x^2+y^2+z^2 a square

Chao Huang,Zhi-Wei Sun

DOI: https://doi.org/10.1007/s00013-023-01896-5

2023-01-01

Archiv der Mathematik

Abstract:In this paper, we mainly confirm the following conjecture of Sun posed in 2013: Each positive integer n can be written as n=x+y+z with x , y , z positive integers such that x^2+y^2+z^2 is a square, unless n has the form n=2^a3^b or 2^a7 with a and b nonnegative integers.
Bernstein-Kouchnirenko-Khovanskii with a symmetry

Alexander Esterov,Lionel Lang

2024-01-23

Abstract:A generic polynomial f(x,y,z) with a prescribed Newton polytope defines a symmetric spatial curve f(x,y,z)=f(y,x,z)=0. We study its geometry: the number, degree and genus of its irreducible components, the number and type of singularities, etc. and discuss to what extent these results generalize to higher dimension and more complicated symmetries. As an application, we characterize generic one-parameter families of complex univariate polynomials, whose Galois group is a complete symmetric group.

Algebraic Geometry
Number of solutions to a special type of unit equations in two unknowns, III

Takafumi Miyazaki,István Pink

2024-03-29

Abstract:It is conjectured that for any fixed relatively prime positive integers $a,b$ and $c$ all greater than 1 there is at most one solution to the equation $a^x+b^y=c^z$ in positive integers $x,y$ and $z$, except for specific cases. We develop the methods in our previous work which rely on a variety from Baker's theory and thoroughly study the conjecture for cases where $c$ is small relative to $a$ or $b$. Using restrictions derived under which there is more than one solution to the equation, we obtain a number of finiteness results on the conjecture, which in particular enables us to find some new values of $c$ being presumably infinitely many such that for each such $c$ the conjecture holds true except for only finitely many pairs of $a$ and $b$. Most importantly we prove that if $c=13$ then the equation has at most one solution, except for $(a,b)=(3,10)$ or $(10,3)$ which exactly gives two solutions. Further our study with the help of Schmidt Subspace Theorem among others brings strong contributions to the study of Pillai's type Diophantine equations, which includes a general and satisfactory result on a well-known conjecture of M. Bennett on the equation $a^x-b^y=c$ for any fixed positive integers $a,b$ and $c$ with both $a$ and $b$ greater than 1. Some conditional results are presented under the $abc$-conjecture as well.

Mathematics
On primitive integer solutions of the Diophantine equation $t^2=G(x,y,z)$ and related results

Maciej Gawron,Maciej Ulas

DOI: https://doi.org/10.48550/arXiv.1502.07307

2015-02-26

Abstract:In this paper we investigate Diophantine equations of the form $T^2=G(\overline{X}),\; \overline{X}=(X_{1},\ldots,X_{m})$, where $m=3$ or $m=4$ and $G$ is specific homogenous quintic form. First, we prove that if $F(x,y,z)=x^2+y^2+az^2+bxy+cyz+dxz\in\Z[x,y,z]$ and $(b-2,4a-d^2,d)\neq (0,0,0)$, then the Diophantine equation $t^2=nxyzF(x,y,z)$ has solution in polynomials $x, y, z, t$ with integer coefficients, without polynomial common factor of positive degree. In case $a=d=0, b=2$ we prove that there are infinitely many primitive integer solutions of the Diophantine equation under consideration. As an application of our result we prove that for each $n\in\Q\setminus\{0\}$ the Diophantine equation \begin{equation*} T^2=n(X_{1}^5+X_{2}^5+X_{3}^5+X_{4}^5) \end{equation*} has a solution in co-prime (non-homogenous) polynomials in two variables with integer coefficients. We also present a method which sometimes allow us to prove the existence of primitive integers solutions of more general quintic Diophantine equation of the form $T^2=aX_{1}^5+bX_{2}^5+cX_{3}^5+dX_{4}^5$, where $a, b, c, d\in\Z$. In particular, we prove that for each $m, n\in\Z\setminus\{0\},$ the Diophantine equation \begin{equation*} T^2=m(X_{1}^5-X_{2}^5)+n^2(X_{3}^5-X_{4}^5) \end{equation*} has a solution in polynomials which are co-prime over $\Z[t]$. Moreover, we show how modification of the presented method can be used in order to prove that for each $n\in\Q\setminus\{0\}$, the Diophantine equation \begin{equation*} t^2=n(X_{1}^5+X_{2}^5-2X_{3}^5) \end{equation*} has a solution in polynomials which are co-prime over $\Z[t]$.

Number Theory
On x(ax + 1)+y(by + 1)+z(cz + 1) and x(ax + b)+y(ay + c)+z(az + d)

Zhi-Wei Sun

DOI: https://doi.org/10.1016/j.jnt.2016.07.024

IF: 0.679

2017-01-01

Journal of Number Theory

Abstract:In this paper we first investigate for what positive integers a,b,c every nonnegative integer n can be written as x(ax+1)+y(by+1)+z(cz+1) with x,y,z integers. We show that (a,b,c) can be either of the following seven triples(1,2,3),(1,2,4),(1,2,5),(2,2,4),(2,2,5),(2,3,3),(2,3,4), and conjecture that any triple (a,b,c) among(2,2,6),(2,3,5),(2,3,7),(2,3,8),(2,3,9),(2,3,10) also has the desired property. For integers 0⩽b⩽c⩽d⩽a with a>2, we prove that any nonnegative integer can be written as x(ax+b)+y(ay+c)+z(az+d) with x,y,z integers, if and only if the quadruple (a,b,c,d) is among(3,0,1,2),(3,1,1,2),(3,1,2,2),(3,1,2,3),(4,1,2,3).
Each Natural Number is of the Form X^2+(2y)^2+z(z+1)/2

Zhi-Wei Sun

2005-01-01

Abstract:In this paper we investigate mixed sums of squares and triangular numbers. By means of q-series, we prove that any natural number n can be written as x + (2y) + Tz with x, y, z ∈ Z and Tz = z(z + 1)/2, this is stronger than a conjecture of Chen. Also, we can express n in any of the following forms: x + 2y + Tz , x 2 + 2y + 2Tz , x 2 + 2y + 4Tz , x 2 + 4y + 2Tz , 2x + 2y + Tz , x 2 + 2Ty + 2Tz , x 2 + 4Ty + Tz , x 2 + 4Ty + 2Tz , 2x + Ty + Tz , 2x 2 + 2Ty + Tz , 2x 2 + 4Ty + Tz , Tx + 4Ty + Tz , 2Tx + 2Ty + Tz , 2Tx + 4Ty + Tz . Concerning the converse we establish several theorems and make some conjectures.
The Solutions of Indefinite Equation X~2+y~2+z~2=1+dxyz

Xiaokang Yang

2010-01-01

Abstract:In this paper,a solution of the equation(x2+y2+z2=1+dxyz) is discussed by some theory which include fundamental elementary vary and congruence relation,and all the solution is given by it.
The Vandermonde determinant identity in higher dimension

Itaï Ben Yaacov

2024-05-06

Abstract:We generalise the Vandermonde determinant identity to one which tests whether a family of hypersurfaces in $\mathbf{P}^n$ has an unexpected intersection point.

Commutative Algebra
Arithmeticity of the Kontsevich--Zorich monodromies of certain families of square-tiled surfaces II

Manuel Kany,Carlos Matheus

2024-01-24

Abstract:In this note, we extend the scope of our previous work joint with Bonnafoux, Kattler, Niño, Sedano-Mendoza, Valdez and Weitze-Schmithüsen by showing the arithmeticity of the Kontsevich--Zorich monodromies of infinite families of square-tiled surfaces of genera four, five and six.

Dynamical Systems,Algebraic Geometry
The congruent number problem and the Birch-Swinnerton-Dyer conjecture

Agostino Prástaro

DOI: https://doi.org/10.48550/arXiv.1504.07507

2015-05-04

Abstract:By introducing a new point of view in Algebraic Topology relating elliptic curves in $\mathbb{R}^2$ and suitable bordism groups, the congruent number problem is solved showing that the Tunnell's theorem is also sufficient. This could be considered also an indirect proof that the Birch Swinnerton-Dyer conjecture is true.

General Mathematics
New results similar to Lagrange's four-square theorem

Zhi-Wei Sun

2024-11-22

Abstract:In this paper we establish some new results similar to Lagrange's four-square theorem. For example, we prove that any integer $n>1$ can be written $w(5w+1)/2+x(5x+1)/2+y(5y+1)/2+z(5z+1)/2$ with $w,x,y,z\in\mathbb Z$. Here we state two general results: (1) If $a$ and $b$ are odd integers with $a>0$, $b>-a$ and $\gcd(a,b)=1$, then all sufficient large integers can be written as $$\frac{w(aw+b)}2+\frac{x(ax+b)}2+\frac{y(ay+b)}2+\frac{z(az+b)}2$$ with $w,x,y,z$ nonnegative integers. (2) If $a$ and $b$ are integers with $a>0$, $b>-a$, $2\mid a$ and $\gcd(a,b)=1$, then all sufficient large integers can be written as $$w(aw+b)+x(ax+b)+y(ay+b)+z(az+b)$$ with $w,x,y,z$ nonnegative integers.

Number Theory
Some uniform effective results on André--Oort for sums of powers in $\mathbb{C}^n$

Guy Fowler

2024-05-10

Abstract:We prove an André--Oort-type result for a family of hypersurfaces in $\mathbb{C}^n$ that is both uniform and effective. Let $K_*$ denote the single exceptional imaginary quadratic field which occurs in the Siegel--Tatuzawa lower bound for the class number. We prove that, for $m, n \in \mathbb{Z}_{>0}$, there exists an effective constant $c(m, n)>0$ with the following property: if pairwise distinct singular moduli $x_1, \ldots, x_n$ with respective discriminants $\Delta_1, \ldots, \Delta_n$ are such that $a_1 x_1^m + \ldots + a_n x_n^m \in \mathbb{Q}$ for some $a_1, \ldots, a_n \in \mathbb{Q} \setminus \{0\}$ and $\# \{ \Delta_i : \mathbb{Q}(\sqrt{\Delta_i}) = K_*\} \leq 1$, then $\max_i \lvert \Delta_i \rvert \leq c(m, n)$. In addition, we prove an unconditional and completely explicit version of this result when $(m, n) = (1, 3)$ and thereby determine all the triples $(x_1, x_2, x_3)$ of singular moduli such that $a_1 x_1 + a_2 x_2 + a_3 x_3 \in \mathbb{Q}$ for some $a_1, a_2, a_3 \in \mathbb{Q} \setminus \{0\}$.

Number Theory
Arithmeticity of the Kontsevich–Zorich monodromies of certain families of square‐tiled surfaces II

Manuel Kany,Carlos Matheus

DOI: https://doi.org/10.1002/mana.202300085

2024-01-25

Mathematische Nachrichten

Abstract:In this note, we extend the scope of our previous work joint with Bonnafoux, Kattler, Niño, Sedano‐Mendoza, Valdez, and Weitze‐Schmithüsen by showing the arithmeticity of the Kontsevich–Zorich monodromies of infinite families of square‐tiled surfaces of genera four, five, and six.

mathematics

A new Andrews--Crandall-type identity and the number of integer solutions to $x^2+2y^2+2z^2=n$

Integer Solutions, Rational solutions of the equations x^4+y^4+z^4 -2(x^2)(y^2)-2(y^2)(z^2)-2(z^2)(x^2)=n and x^2+y^4+z^4-2x(y^2)-2x(z^2)-2(y^2)(z^2)=n; And Crux Mathematicorum Contest problem CC24

New Solutions of $d=2x^3+y^3+z^3$

On the Diophantine Equation F (X) F (Y) = F (Z(2))

Some Identities for Multiple Zeta Values

On the diophantine equation $X^6-Y^6 = W^n-Z^n, n=2,3,4$

Representing n as n = x plus y + z with x(2) + y(2) + z(2) a square

Number of solutions to a special type of unit equations in two variables II

Representing n as n=x+y+z with x^2+y^2+z^2 a square

Bernstein-Kouchnirenko-Khovanskii with a symmetry

Number of solutions to a special type of unit equations in two unknowns, III

On primitive integer solutions of the Diophantine equation $t^2=G(x,y,z)$ and related results

On x(ax + 1)+y(by + 1)+z(cz + 1) and x(ax + b)+y(ay + c)+z(az + d)

Each Natural Number is of the Form X^2+(2y)^2+z(z+1)/2

The Solutions of Indefinite Equation X~2+y~2+z~2=1+dxyz

The Vandermonde determinant identity in higher dimension

Arithmeticity of the Kontsevich--Zorich monodromies of certain families of square-tiled surfaces II

The congruent number problem and the Birch-Swinnerton-Dyer conjecture

New results similar to Lagrange's four-square theorem

Some uniform effective results on André--Oort for sums of powers in $\mathbb{C}^n$

Arithmeticity of the Kontsevich–Zorich monodromies of certain families of square‐tiled surfaces II