BZPEERSource author record
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
Catalog footprint
Published work
In this note we investigate the set S(n) of positive integer solutions of the title Diophantine equation. In particular, for a given n we prove boundedness of the number of solutions, give precise upper bound on the common value of σ2(Xn) and σn(Xn) together with the biggest value of the variable xn appearing in the solution. Moreover, we enumerate all solutions for n≤16 and discuss the set of values of xn/xn−1 over elements of S(n).
Let A be a subset of positive integers. By A-partition of n we understand the representation of n as a sum of elements from the set A. For given i,n∈N, by cA(i,n) we denote the number of A-partitions of n with exactly i parts. In the paper we obtain several result concerning sign behaviour of the sequence SA,k(n)=∑i=0n(−1)iikcA(i,n), where k∈N is fixed. In particular, we prove that for a broad class A of subsets of N+ we have that for each A∈A we have (−1)nSA,k(n)≥0 for each n,k∈N.
In this note we investigate the solutions of certain meta-Fibonacci recurrences of the form f(n)=f(n−f(n−1))+f(n−2) for various sets of initial conditions. In the case when f(n)=1 for n≤1, we prove that the resulting integer sequence is closely related to the function counting binary partitions of a certain type.
The aim of this note is to provoke discussion concerning arithmetic properties of function pd(n) counting partitions of an positive integer n into d-th powers, where d≥2. Besides results concerning the asymptotic behavior of pd(n) a little is known. In the first part of the paper, we prove certain congruences involving functions counting various types of partitions into d-th powers. The second part of the paper has experimental nature and contains questions and conjectures concerning arithmetic behavior of the sequence (pd(n))n∈N. They based on our computations of pd(n) for n≤105 in case of d=2, and n≤106 for d=3,4,5.
We study solvability of the Diophantine equation \begin{equation*} \frac{n}{2^{n}}=\sum_{i=1}^{k}\frac{a_{i}}{2^{a_{i}}}, \end{equation*} in integers n,k,a1,…,ak satisfying the conditions k≥2 and ai<ai+1 for i=1,…,k−1. The above Diophantine equation (of polynomial-exponential type) was mentioned in the monograph of Erdős and Graham, where several questions were stated. Some of these questions were already answered by Borwein and Loring. We extend their work and investigate other aspects of Erdős and Graham equation. First of all, we obtain the upper bound for the value ak given in terms of k only. This mean, that with fixed k our equation has only finitely many solutions in n,a1,…,ak. Moreover, we construct an infinite set K, such that for each k∈K, the considered equation has at least five solutions. As an application of our findings we enumerate all solutions of the equation for k≤8. Moreover, by applying greedy algorithm, we extend Borwein and Loring calculations and check that for each n≤104 there is a value of k such that the considered equation has a solution in integers n+1=a1<a2<…<ak. Based on our numerical calculations we formulate some further questions and conjectures.
We study an infinite class of sequences of sparse polynomials that have binomial coefficients both as exponents and as coefficients. This generalizes a sequence of sparse polynomials which arises in a natural way as graph theoretic polynomials. After deriving some basic identities, we obtain properties concerning monotonicity and log-concavity, as well as identities involving derivatives. We also prove upper and lower bounds on the moduli of the zeros of these polynomials.
Let p be a prime number and consider a p-automatic sequence u=(un)n∈N and its generating function U(X)=∑n=0∞unXn∈Fp[[X]]. Moreover, let us suppose that u0=0 and u1=0 and consider the formal power series V∈Fp[[X]] which is a compositional inverse of U(X), i.e., U(V(X))=V(U(X))=X. In this note we initiate the study of arithmetic properties of the sequence of coefficients of the power series V(X). We are mainly interested in the case when un=tn, where tn=s2(n)(mod2) and t=(tn)n∈N is the Prouhet-Thue-Morse sequence defined on the two letter alphabet {0,1}. More precisely, we study the sequence c=(cn)n∈N which is the sequence of coefficients of the compositional inverse of the generating function of the sequence t. This sequence is clearly 2-automatic. We describe the sequence a characterizing solutions of the equation cn=1. In particular, we prove that the sequence a is 2-regular. We also prove that an increasing sequence characterizing solutions of the equation cn=0 is not k-regular for any k. Moreover, we present a result concerning some density properties of a sequence related to a.
In this paper we deal with Diophantine equations involving products of consecutive integers, inspired by a question of Erdős and Graham.
In this paper we investigate Diophantine equations of the form T2=G(X),X=(X1,…,Xm), where m=3 or m=4 and G is specific homogenous quintic form. First, we prove that if F(x,y,z)=x2+y2+az2+bxy+cyz+dxz∈Z[x,y,z] and (b−2,4a−d2,d)=(0,0,0), then the Diophantine equation t2=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 T2=aX15+bX25+cX35+dX45, where a,b,c,d∈Z. In particular, we prove that for each m,n∈Z∖{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].
We consider various problems related to finding points in $\Q^{2}$ and in $\Q^{3}$ which lie at rational distance from the vertices of some specified geometric object, for example, a square or rectangle in $\Q^{2}$, and a cube or tetrahedron in $\Q^{3}$.
In this note we construct several infinite families of diagonal quartic surfaces \begin{equation*} ax^4+by^4+cz^4+dw^4=0, \end{equation*} where a,b,c,d∈Z∖{0} with infinitely many rational points and satisfying the condition abcd=□. In particular, we present an infinite family of diagonal quartic surfaces defined over $\Q$ with Picard number equal to one and possessing infinitely many rational points. Further, we present some sextic surfaces of type ax6+by6+cz6+dwi=0, i=2, 3, or 6, with infinitely many rational points.
Stiller proved that the Diophantine equation x2+119=15⋅2n has exactly six solutions in positive integers. Motivated by this result we are interested in constructions of Diophantine equations of Ramanujan-Nagell type x2=Akn+B with many solutions. Here, A,B∈Z (thus A,B are not necessarily positive) and k∈Z≥2 are given integers. In particular, we prove that for each k there exists an infinite set S containing pairs of integers (A,B) such that for each (A,B)∈S we have gcd(A,B) is square-free and the Diophantine equation x2=Akn+B has at least four solutions in positive integers. Moreover, we construct several Diophantine equations of the form x2=Akn+B with k>2, each containing five solutions in non-negative integers. %For example the equation y2=130⋅3n+5550606 has exactly five solutions with n=0,6,11,15,16. We also find new examples of equations x2=A2n+B having six solutions in positive integers, e.g. the following Diophantine equations has exactly six solutions: \begin{equation*} \begin{array}{ll} x^2= 57\cdot 2^{n}+117440512 & n=0, 14, 16, 20, 24, 25, x^2= 165\cdot 2^{n}+26404 & n=0, 5, 7, 8, 10, 12. \end{array} \end{equation*} Moreover, based on an extensive numerical calculations we state several conjectures on the number of solutions of certain parametric families of the Diophantine equations of Ramanujan-Nagell type.
Let sk(n) denote the sum of digits of an integer n in base k. Motivated by certain identities of Nieto, and Bateman and Bradley involving sums of the form ∑i=02n−1(−1)s2(i)(x+i)m for m=n and m=n+1, we consider the sequence of polynomials \begin{equation*} f_{m,n}^{\mathbf u}(x)=\sum_{i=0}^{k^{n}-1}ζ_{k}^{s_{k}(i)}(x+{\mathbf u}(i))^{m}. \end{equation*} defined for sequences u(i) satisfying a certain recurrence relation. We prove that computing these polynomials is essentially equivalent with computing their constant term and we find an explicit formula for this number. This allows us to prove several interesting identities involving sums of binary digits. We also prove some related results which are of independent interests and can be seen as further generalizations of certain sums involving Prouhet-Thue-Morse sequence.
Let $f\in\Q[x]$ be a square-free polynomial of degree ≥3 and m≥3 be an odd positive integer. Based on our earlier investigations we prove that there exists a function $D_{1}\in\Q(u,v,w)$ such that the Jacobians of the curves \begin{equation*} C_{1}:\;D_{1}y^2=f(x),\quad C_{2}:\;y^2=D_{1}x^m+b,\quad C_{3}:\;y^2=D_{1}x^m+c, \end{equation*} have all positive ranks over $\Q(u,v,w)$. Similarly, we prove that there exists a function $D_{2}\in\Q(u,v,w)$ such that the Jacobians of the curves \begin{equation*} C_{1}:\;D_{2}y^2=h(x),\quad C_{2}:\;y^2=D_{2}x^m+b,\quad C_{3}:\;y^2=x^m+cD_{2}, \end{equation*} have all positive ranks over $\Q(u,v,w)$. Moreover, if f(x)=xm+a for some a∈Z∖{0}, we prove the existence of a function $D_{3}\in\Q(u,v,w)$ such that the Jacobians of the curves \begin{equation*} C_{1}:\;y^2=D_{3}x^{m}+a,\quad C_{2}:\;y^2=D_{3}x^m+b,\quad C_{3}:\;y^2=x^m+cD_{3}, \end{equation*} have all positive ranks over $\Q(u,v,w)$. We present also some applications of these results. Finally, we present some results concerning the torsion parts of the Jacobians of the superelliptic curves yp=xm(x+a) and yp=xm(a−x)k for a prime p and 0<m<p−2 and k<p and apply our result in order to prove the existence of a function $D\in\Q(u,v,w,t)$ such that the Jacobians of the curves \begin{equation*} C_{1}:\;Dy^p=x^m(x+a),\quad Dy^p=x^m(x+b) \end{equation*} have both positive rank over $\Q(u,v,w,t)$.
Let Xˉn=(x1,…,xn) and σi(Xˉn)=∑xk1…xki be i-th elementary symmetric polynomial. In this note we prove that there are infinitely many triples of integers a,b,c such that for each 1≤i≤n the system of Diophantine equations \begin{equation*} σ_{i}(\bar{X}_{2n})=a, \quad σ_{2n-i}(\bar{X}_{2n})=b, \quad σ_{2n}(\bar{X}_{2n})=c \end{equation*} has infinitely many rational solutions. This result extend the recent results of Zhang and Cai, and the author. Moreover, we also consider some Diophantine systems involving sums of powers. In particular, we prove that for each k there are at least k n-tuples of integers with the same sum of i-th powers for i=1,2,3. Similar result is proved for i=1,2,4 and i=−1,1,2.
In this note we consider Diophantine equations of the form \begin{equation*} a(x^p-y^q) = b(z^r-w^s), \quad \mbox{where}\quad \frac{1}{p}+\frac{1}{q}+\frac{1}{r}+\frac{1}{s}=1, \end{equation*} with even positive integers p,q,r,s. We show that in each case the set of rational points on the underlying surface is dense in the Zariski topology. For the surface with (p,q,r,s)=(2,6,6,6) we prove density of rational points in the Euclidean topology. Moreover, in this case we construct infinitely many parametric solutions in coprime polynomials. The same result is true for (p,q,r,s)∈{(2,4,8,8),(2,8,4,8)}. In the case (p,q,r,s)=(4,4,4,4), we present some new parametric solutions of the equation x4−y4=4(z4−w4).
Let σi(x1,…,xn)=∑1≤k1<k2<…<ki≤nxk1…xki be the i-th elementary symmetric polynomial. In this note we generalize and extend the results obtained in a recent work of Zhang and Cai \cite{ZC,ZC2}. More precisely, we prove that for each n≥4 and rational numbers a,b with ab=0, the system of diophantine equations \begin{equation*} σ_{1}(x_{1},\ldots, x_{n})=a, \quad σ_{n}(x_{1},\ldots, x_{n})=b, \end{equation*} has infinitely many solutions depending on n−3 free parameters. A similar result is proved for the system \begin{equation*} σ_{i}(x_{1},\ldots, x_{n})=a, \quad σ_{n}(x_{1},\ldots, x_{n})=b, \end{equation*} with n≥4 and 2≤i<n. Here, a,b are rational numbers with b=0. We also give some results concerning the general system of the form \begin{equation*} σ_{i}(x_{1},\ldots, x_{n})=a, \quad σ_{j}(x_{1},\ldots, x_{n})=b, \end{equation*} with suitably chosen rational values of a,b and i<j<n. Finally, we present some remarks on the systems involving three different symmetric polynomials.
In this note we present some results concerning the unirationality of the algebraic variety Sf given by the equation \begin{equation*} N_{K/k}(X_{1}+αX_{2}+α^2 X_{3})=f(t), \end{equation*} where k is a number field, K=k(α), α is a root of an irreducible polynomial h(x)=x3+ax+b∈k[x] and f∈k[t]. We are mainly interested in the case of pure cubic extensions, i.e. a=0 and b∈k∖k3. We prove that if $\op{deg}f=4$ and the variety Sf contains a k-rational point (x0,y0,z0,t0) with f(t0)=0, then Sf is k-unirational. A similar result is proved for a broad family of quintic polynomials f satisfying some mild conditions (for example this family contains all irreducible polynomials). Moreover, the unirationality of Sf (with non-trivial k-rational point) is proved for any polynomial f of degree 6 with f not equivalent to the polynomial h satisfying the condition h(t)=h(ζ3t), where ζ3 is the primitive third root of unity. We are able to prove the same result for an extension of degree 3 generated by the root of polynomial h(x)=x3+ax+b∈k[x], provided that f(t)=t6+a4t4+a1t+a0∈k[t] with a1a4=0.
In a recent paper \cite{Jan}, Jankauskas proved some interesting results concerning the reducibility of quadrinomials of the form f(4,x), where f(a,x)=xn+xm+xk+a. He also obtained some examples of reducible quadrinomials f(a,x) with a∈Z, such that all the irreducible factors of f(a,x) are of degree ≥3. In this paper we perform a more systematic approach to the problem and ask about reducibility of f(a,x) with $a\in\Q$. In particular by computing the set of rational points on some genus two curves we characterize in several cases all quadrinomials f(a,x) with degree ≤6 and divisible by a quadratic polynomial. We also give further examples of reducible f(a,x), $a\in\Q$, such that all irreducible factors are of degree ≥3.
Let Bn(t) be a n-th Stern polynomial and let $e(n)=\op{deg}B_{n}(t)$ be its degree. In this note we continue our study started in \cite{Ul} of the arithmetic properties of the sequence of Stern polynomials and the sequence {e(n)}n=1∞. We also study the sequence $d(n)=\op{ord}_{t=0}B_{n}(t)$. Among other things we prove that d(n)=ν(n), where ν(n) is the maximal power of 2 which dividies the number n. We also count the number of the solutions of the equations e(m)=i and e(m)−d(m)=i in the interval [1,2n]. We also obtain an interesting closed expression for a certain sum involving Stern polynomials.
We prove several theorems concerning arithmetic properties of Stern polynomials defined in the following way: B0(t)=0,B1(t)=1,B2n(t)=tBn(t), and B2n+1(t)=Bn(t)+Bn+1(t). We study also the sequence $e(n)=\op{deg}_{t}B_{n}(t)$ and give various of its properties.
Say a trinomial $x^n+A x^m+B \in \Q[x]$ has reducibility type (n1,n2,...,nk) if there exists a factorization of the trinomial into irreducible polynomials in $\Q[x]$ of degrees n1, n2,...,nk, ordered so that n1≤n2≤...≤nk. Specifying the reducibility type of a monic polynomial of fixed degree is equivalent to specifying rational points on an algebraic curve. When the genus of this curve is 0 or 1, there is reasonable hope that all its rational points may be described; and techniques are available that may also find all points when the genus is 2. Thus all corresponding reducibility types may be described. These low genus instances are the ones studied in this paper.
Let f(x)=x5+ax3+bx2+cx∈Z[x] and consider the hypersurface of degree five given by the equation \cal{V}_{f}: f(p)+f(q)=f(r)+f(s). Under the assumption b=0 we show that there exists $\Q$-unirational elliptic surface contained in Vf. If b=0,a<0 and −a≡2,18,34(mod48) then there exists $\Q$-rational surface contained in Vf. Moreover, we prove that for each f of degree five there exists $\Q(i)$-rational surface contained in Vf.
Let Ef:y2=x3+f(t)x, where $f\in\Q[t]\setminus\Q$, and let us assume that $\op{deg}f\leq 4$. In this paper we prove that if $\op{deg}f\leq 3$, then there exists a rational base change t↦ϕ(t) such that on the surface Ef∘ϕ there is a non-torsion section. A similar theorem is valid in case when $\op{deg}f=4$ and there exists $t_{0}\in\Q$ such that infinitely many rational points lie on the curve Et0:y2=x3+f(t0)x. In particular, we prove that if $\op{deg}f=4$ and f is not an even polynomial, then there is a rational point on Ef. Next, we consider a surface Eg:y2=x3+g(t), where $g\in\Q[t]$ is a monic polynomial of degree six. We prove that if the polynomial g is not even, there is a rational base change t↦ψ(t) such that on the surface Eg∘ψ there is a non-torsion section. Furthermore, if there exists $t_{0}\in\Q$ such that on the curve Et0:y2=x3+g(t0) there are infinitely many rational points, then the set of these t0 is infinite. We also present some results concerning diophantine equation of the form x2−y3−g(z)=t, where t is a variable.
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.