Source author record

Maciej Ulas

Maciej Ulas appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

24works
4topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

24 published item(s)

preprint2022arXiv

On the Diophantine equation $σ_{2}(\overline{X}_{n})=σ_{n}(\overline{X}_{n})$

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}(\overline{X}_{n})$ and $σ_{n}(\overline{X}_{n})$ together with the biggest value of the variable $x_{n}$ appearing in the solution. Moreover, we enumerate all solutions for $n\leq 16$ and discuss the set of values of $x_{n}/x_{n-1}$ over elements of $S(n)$.

preprint2022arXiv

Signs behaviour of sums of weighted numbers of partitions

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\in\N$, by $c_{A}(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 $S_{A,k}(n)=\sum_{i=0}^{n}(-1)^{i}i^{k}c_{A}(i,n)$, where $k\in\N$ is fixed. In particular, we prove that for a broad class $\cal{A}$ of subsets of $\N_{+}$ we have that for each $A\in \cal{A}$ we have $(-1)^{n}S_{A,k}(n)\geq 0$ for each $n, k\in\N$.

preprint2021arXiv

Some observations and speculations on partitions into $d$-th powers

The aim of this note is to provoke discussion concerning arithmetic properties of function $p_{d}(n)$ counting partitions of an positive integer $n$ into $d$-th powers, where $d\geq 2$. Besides results concerning the asymptotic behavior of $p_{d}(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 $(p_{d}(n))_{n\in\N}$. They based on our computations of $p_{d}(n)$ for $n\leq 10^5$ in case of $d=2$, and $n\leq 10^{6}$ for $d=3, 4, 5$.

preprint2020arXiv

On a Diophantine equation of Erdős and Graham

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, a_{1},\ldots, a_{k}$ satisfying the conditions $k\geq 2$ and $a_{i}<a_{i+1}$ for $i=1,\ldots,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 $a_{k}$ given in terms of $k$ only. This mean, that with fixed $k$ our equation has only finitely many solutions in $n, a_{1},\ldots, a_{k}$. Moreover, we construct an infinite set $\cal{K}$, such that for each $k\in\cal{K}$, the considered equation has at least five solutions. As an application of our findings we enumerate all solutions of the equation for $k\leq 8$. Moreover, by applying greedy algorithm, we extend Borwein and Loring calculations and check that for each $n\leq 10^4$ there is a value of $k$ such that the considered equation has a solution in integers $n+1=a_{1}<a_{2}<\ldots <a_{k}$. Based on our numerical calculations we formulate some further questions and conjectures.

preprint2020arXiv

Some Properties of a Class of Sparse Polynomials

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.

preprint2016arXiv

On formal inverse of the Prouhet-Thue-Morse sequence

Let $p$ be a prime number and consider a $p$-automatic sequence ${\bf u}=(u_{n})_{n\in\N}$ and its generating function $U(X)=\sum_{n=0}^{\infty}u_{n}X^{n}\in\mathbb{F}_{p}[[X]]$. Moreover, let us suppose that $u_{0}=0$ and $u_{1}\neq 0$ and consider the formal power series $V\in\mathbb{F}_{p}[[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 $u_{n}=t_{n}$, where $t_{n}=s_{2}(n)\pmod{2}$ and ${\bf t}=(t_{n})_{n\in\N}$ is the Prouhet-Thue-Morse sequence defined on the two letter alphabet $\{0,1\}$. More precisely, we study the sequence ${\bf c}=(c_{n})_{n\in\N}$ which is the sequence of coefficients of the compositional inverse of the generating function of the sequence ${\bf t}$. This sequence is clearly 2-automatic. We describe the sequence ${\bf a}$ characterizing solutions of the equation $c_{n}=1$. In particular, we prove that the sequence ${\bf a}$ is 2-regular. We also prove that an increasing sequence characterizing solutions of the equation $c_{n}=0$ is not $k$-regular for any $k$. Moreover, we present a result concerning some density properties of a sequence related to ${\bf a}$.

preprint2015arXiv

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

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]$.

preprint2014arXiv

Constructions of diagonal quartic and sextic surfaces with infinitely many rational points

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\in\Z\setminus\{0\}$ with infinitely many rational points and satisfying the condition $abcd\neq \square$. 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 $ax^6+by^6+cz^6+dw^i=0$, $i=2$, $3$, or $6$, with infinitely many rational points.

preprint2014arXiv

Some experiments with Ramanujan-Nagell type Diophantine equations

Stiller proved that the Diophantine equation $x^2+119=15\cdot 2^{n}$ has exactly six solutions in positive integers. Motivated by this result we are interested in constructions of Diophantine equations of Ramanujan-Nagell type $x^2=Ak^{n}+B$ with many solutions. Here, $A,B\in\Z$ (thus $A, B$ are not necessarily positive) and $k\in\Z_{\geq 2}$ are given integers. In particular, we prove that for each $k$ there exists an infinite set $\cal{S}$ containing pairs of integers $(A, B)$ such that for each $(A,B)\in \cal{S}$ we have $\gcd(A,B)$ is square-free and the Diophantine equation $x^2=Ak^n+B$ has at least four solutions in positive integers. Moreover, we construct several Diophantine equations of the form $x^2=Ak^n+B$ with $k>2$, each containing five solutions in non-negative integers. %For example the equation $y^2=130\cdot 3^{n}+5550606$ has exactly five solutions with $n=0, 6, 11, 15, 16$. We also find new examples of equations $x^2=A2^{n}+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.

preprint2014arXiv

Some identities involving Prouhet-Thue-Morse sequence and its relatives

Let $s_{k}(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 $\sum_{i=0}^{2^{n}-1}(-1)^{s_{2}(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 ${\bf 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.

preprint2014arXiv

Variations on twists of tuples of hyperelliptic curves and related results

Let $f\in\Q[x]$ be a square-free polynomial of degree $\geq 3$ and $m\geq 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)=x^m+a$ for some $a\in\Z\setminus\{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 $y^p=x^{m}(x+a)$ and $y^p=x^{m}(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)$.

preprint2013arXiv

A note on Diophantine systems involving three symmetric polynomials

Let $\bar{X}_{n}=(x_{1},\ldots,x_{n})$ and $σ_{i}(\bar{X}_{n})=\sum x_{k_{1}}\ldots x_{k_{i}}$ 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\leq i\leq 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$.

preprint2013arXiv

On certain diophantine equations of diagonal type

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)\in\{(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 $x^4-y^4=4(z^4-w^4)$.

preprint2013arXiv

On some Diophantine systems involving symmetric polynomials

Let $σ_{i}(x_{1},\ldots, x_{n})=\sum_{1\leq k_{1}<k_{2}<\ldots <k_{i}\leq n}x_{k_{1}}\ldots x_{k_{i}}$ 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\geq 4$ and rational numbers $a, b$ with $ab\neq 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\geq 4$ and $2\leq i< n$. Here, $a, b$ are rational numbers with $b\neq 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.

preprint2013arXiv

Rational solutions of certain Diophantine equations involving norms

In this note we present some results concerning the unirationality of the algebraic variety $\cal{S}_{f}$ 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)=x^3+ax+b\in k[x]$ and $f\in k[t]$. We are mainly interested in the case of pure cubic extensions, i.e. $a=0$ and $b\in k\setminus k^{3}$. We prove that if $\op{deg}f=4$ and the variety $\cal{S}_{f}$ contains a $k$-rational point $(x_{0},y_{0},z_{0},t_{0})$ with $f(t_{0})\neq 0$, then $\cal{S}_{f}$ 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 $\cal{S}_{f}$ (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)\neq h(ζ_{3}t)$, 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)=x^3+ax+b\in k[x]$, provided that $f(t)=t^6+a_{4}t^4+a_{1}t+a_{0}\in k[t]$ with $a_{1}a_{4}\neq 0$.

preprint2013arXiv

Some observations concerning reducibility of quadrinomials

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)=x^{n}+x^{m}+x^{k}+a$. He also obtained some examples of reducible quadrinomials $f(a,x)$ with $a\in\Z$, such that all the irreducible factors of $f(a,x)$ are of degree $\geq 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 $\leq 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 $\geq 3$.

preprint2011arXiv

Arithmetic properties of the sequence of degrees of Stern polynomials and related results

Let $B_{n}(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}^{\infty}$. 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,2^{n}]$. We also obtain an interesting closed expression for a certain sum involving Stern polynomials.

preprint2011arXiv

On the reducibility type of trinomials

Say a trinomial $x^n+A x^m+B \in \Q[x]$ has reducibility type $(n_1,n_2,...,n_k)$ if there exists a factorization of the trinomial into irreducible polynomials in $\Q[x]$ of degrees $n_1$, $n_2$,...,$n_k$, ordered so that $n_1 \leq n_2 \leq ... \leq n_k$. 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.

preprint2008arXiv

Rational points on certain quintic hypersurfaces

Let $f(x)=x^5+ax^3+bx^2+cx \in \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\neq 0$ we show that there exists $\Q$-unirational elliptic surface contained in $\cal{V}_{f}$. If $b=0, a<0$ and $-a\not\equiv 2,18,34 \pmod {48}$ then there exists $\Q$-rational surface contained in $\cal{V}_{f}$. Moreover, we prove that for each $f$ of degree five there exists $\Q(i)$-rational surface contained in $\cal{V}_{f}$.

preprint2007arXiv

Rational points on certain elliptic surfaces

Let $\mathcal{E}_{f}:y^2=x^3+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\mapstoϕ(t)$ such that on the surface $\cal{E}_{f\circϕ}$ 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 $E_{t_{0}}:y^2=x^3+f(t_{0})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 $\cal{E}_{f}$. Next, we consider a surface $\cal{E}^{g}:y^2=x^3+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\mapstoψ(t)$ such that on the surface $\cal{E}^{g\circψ}$ there is a non-torsion section. Furthermore, if there exists $t_{0}\in\Q$ such that on the curve $E^{t_{0}}:y^2=x^3+g(t_{0})$ there are infinitely many rational points, then the set of these $t_{0}$ is infinite. We also present some results concerning diophantine equation of the form $x^2-y^3-g(z)=t$, where $t$ is a variable.