Searcharxiv⌕ Search

arXiv subjects

Maciej Ulas

Publications and source records attributed to Maciej Ulas.

At least 37 records · Page 2Linked to original sources
arXiv2020

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.

math.NT↗
arXiv2019

Strong arithmetic property of certain Stern polynomials

Let $B_{n}(t)$ be the $n$th Stern polynomial, i.e., the $n$th term of the sequence defined recursively as $B_{0}(t)=0, B_{1}(t)=1$ and $B_{2n}(t)=tB_{n}(t), B_{2n+1}(t)=B_{n}(t)+B_{n-1}(t)$ for $n\in\N$. It is well know that $i$th coefficient in the polynomial $B_{n}(t)$ counts the number of hyperbinary representations of $n-1$ containing exactly $i$ digits 1. In this note we investigate the existence of odd solutions of the congruence \begin{equation*} B_{n}(t)\equiv 1+rt\frac{t^{e(n)}-1}{t-1}\pmod{m}, \end{equation*} where $m\in\N_{\geq 2}$ and $r\in\{0,\ldots,m-1\}$ are fixed and $e(n)=\op{deg}B_{n}(t)$. We prove that for $m=2$ and $r\in\{0,1\}$ and for $m=3$ and $r=0$, there are infinitely many odd numbers $n$ satisfying the above congruence. We also present results of some numerical computations.

math.NT↗
arXiv2019

Arithmetic properties of polynomial solutions of the Diophantine equation $P(x)x^{n+1}+Q(x)(x+1)^{n+1}=1$

For each integer $n\geq 1$ we consider the unique polynomials $P, Q\in\mathbb{Q}[x]$ of smallest degree $n$ that are solutions of the equation $P(x)x^{n+1}+Q(x)(x+1)^{n+1}=1$. We derive numerous properties of these polynomials and their derivatives, including explicit expansions, differential equations, recurrence relations, generating functions, resultants, discriminants, and irreducibility results. We also consider some related polynomials and their properties.

math.NT↗
arXiv2019

On the Diophantine equation $\binom{n}{k}=\binom{m}{l}+d$

By finding all integral points on certain elliptic and hyperelliptic curves we completely solve the Diophantine equation $\binom{n}{k}=\binom{m}{l}+d$ for $-3\leq d\leq 3$ and $(k,l)\in\{(2,3),\; (2,4),\;(2,5),\; (2,6),\; (2,8),\; (3,4),\; (3,6),\; (4,6), \; (4,8)\}.$ Moreover, we present some other observations of computational and theoretical nature concerning the title equation.

math.NT↗
arXiv2019

On some properties of the number of permutations being products of pairwise disjoint $d$-cycles

Let $d\geq 2$ be an integer. In this paper we study arithmetic properties of the sequence $(H_d(n))_{n\in\N}$, where $H_{d}(n)$ is the number of permutations in $S_{n}$ being products of pairwise disjoint cycles of a fixed length $d$. In particular we deal with periodicity modulo a given positive integer, behaviour of the $p$-adic valuations and various divisibility properties. Moreover, we introduce some related families of polynomials and study they properties. Among many results we obtain qualitative description of the $p$-adic valuation of the number $H_{d}(n)$ extending in this way earlier results of Ochiai and Ishihara, Ochiai, Takegehara and Yoshida.

math.NT↗
arXiv2019

On $p$-adic valuations of certain $m$ colored $p$-ary partition functions

Let $k\in\N_{\geq 2}$ and for given $m\in\Z\setminus\{0\}$ consider the sequence $(S_{k,m}(n))_{n\in\N}$ defined by the power series expansion $$ \frac{1}{(1-x)^{m}}\prod_{i=0}^{\infty}\frac{1}{(1-x^{k^{i}})^{m}}=\sum_{n=0}^{\infty}S_{k,m}(n)x^{n}. $$ The number $S_{k,m}(n)$ for $m\in\N_{+}$ has a natural combinatorial interpretation: it counts the number of representations of $n$ as sums of powers of $k$, where the part equal to $1$ takes one among $mk$ colors and each part $>1$ takes $m(k-1)$ colors. We concentrate on the case when $k=p\in\mathbb{P}$. Our main result is the computation of the exact value of the $p$-adic valuation of $S_{p,m}(n)$. In particular, in each case the set of values of $ν_{p}(S_{p,m}(n))$ is finite and the maximum value is bounded by $\op{max}\{ν_{p}(m)+1,ν_{p}(m+1)+1\}$. Our results can be seen as a generalization of earlier work of Churchhouse and recent work of Gawron, Miska and Ulas, and the present authors.

math.NT↗
arXiv2019

On consecutive 1's in continued fractions expansions of square roots of prime numbers

In this note, we study the problem of existence of sequences of consecutive 1's in the periodic part of the continued fractions expansions of square roots of primes. We prove unconditionally that, for a given $N\gg 1$, there are at least $N\log^{-3/2}N$ prime numbers $p\leq N$ such that the continued fraction expansion of $\sqrt{p}$ contains three consecutive 1's on the beginning of the periodic part. We also present results of our computations related to the considered problem and some related problems, formulate several open questions and conjectures and get some results under the assumption of Hypothesis H of Schinzel.

math.NT↗
arXiv2018

Power values of sums of certain products of consecutive integers and related results

Let $n$ be a non-negative integer and put $p_{n}(x)=\prod_{i=0}^{n}(x+i)$. In the first part of the paper, for given $n$, we study the existence of integer solutions of the Diophantine equation $$ y^m=p_{n}(x)+\sum_{i=1}^{k}p_{a_{i}}(x), $$ where $m\in\N_{\geq 2}$ and $a_{1}<a_{2}<\ldots <a_{k}<n$. This equation can be considered as a generalization of the Erdős-Selfridge Diophantine equation $y^m=p_{n}(x)$. We present some general finiteness results concerning the integer solutions of the above equation. In particular, if $n\geq 2$ with $a_{1}\geq 2$, then our equation has only finitely many solutions in integers. In the second part of the paper we study the equation $$ y^m=\sum_{i=1}^{k}p_{a_{i}}(x_{i}), $$ for $m=2, 3$, which can be seen as an additive version of the equation considered by Erdős and Graham. In particular, we prove that if $m=2, a_{1}=1$ or $m=3, a_{2}=2$, then for each $k-1$ tuple of positive integers $(a_{2},\ldots, a_{k})$ there are infinitely many solutions in integers.

math.NT↗
arXiv2018

On $p$-adic valuations of colored $p$-ary partitions

Let $m\in\N_{\geq 2}$ and for given $k\in\N_{+}$ consider the sequence $(A_{m,k}(n))_{n\in\N}$ defined by the power series expansion $$ \prod_{n=0}^{\infty}\frac{1}{\left(1-x^{m^{n}}\right)^{k}}=\sum_{n=0}^{\infty}A_{m,k}(n)x^{n}. $$ The number $A_{m,k}(n)$ counts the number of representations of $n$ as sums of powers of $m$, where each summand has one among $k$ colors. In this note we prove that for each $p\in\mathbb{P}_{\geq 3}$ and $s\in\N_{+}$, the $p$-adic valuation of the number $A_{p,(p-1)(p^s-1)}(n)$ is equal to 1 for $n\geq p^s$. We also obtain some results concerning the behaviour of the sequence $(ν_{p}(A_{p,(p-1)(up^s-1)}(n)))_{n\in\N}$ for fixed $u\in\{2,\ldots,p-1\}$ and $p\geq 3$. Our results generalize the earlier findings obtained for $p=2$ by Gawron, Miska and the first author.

math.NT↗
arXiv2017

A note on the Diophantine equation $2^{n-1}(2^{n}-1)=x^3+y^3+z^3$

Motivated by the recent result of Farhi we show that for each $n\equiv \pm 1\pmod{6}$ the title Diophantine equation has at least two solutions in integers. As a consequence, we get that each (even) perfect number is a sum of three cubes of integers. Moreover, we present some computational results concerning the considered equation and state some questions and conjectures.

math.NT↗
arXiv2017

On a problem of Pethő

In this paper we deal with a problem of Pethő related to existence of quartic algebraic integer $α$ for which $$ β=\frac{4α^4}{α^4-1}-\fracα{α-1} $$ is a quadratic algebraic number. By studying rational solutions of certain Diophantine system we prove that there are infinitely many $α$'s such that the corresponding $β$ is quadratic. Moreover, we present a description of all quartic numbers $α$ such that $β$ is quadratic real number.

math.NT↗
arXiv2017

On representing coordinates of points on elliptic curves by quadratic forms

Given an elliptic quartic of type $Y^2=f(X)$ representing an elliptic curve of positive rank over $\Q$, we investigate the question of when the $Y$-coordinate can be represented by a quadratic form of type $ap^2+bq^2$. In particular, we give examples of equations of surfaces of type $c_0+c_1x+c_2x^2+c_3x^3+c_4x^4=(ap^2+bq^2)^2$, $a,b,c \in \Q$ where we can deduce the existence of infinitely many rational points. We also investigate surfaces of type $Y^2=f(a p^2+b q^2)$ where the polynomial $f$ is of degree $3$.

math.NT↗
arXiv2017

Arithmetic properties of coefficients of power series expansion of $\prod_{n=0}^{\infty}\left(1-x^{2^{n}}\right)^{t}$ (with an Appendix by Andrzej Schinzel)

Let $F(x)=\prod_{n=0}^{\infty}(1-x^{2^{n}})$ be the generating function for the Prouhet-Thue-Morse sequence $((-1)^{s_{2}(n)})_{n\in\N}$. In this paper we initiate the study of the arithmetic properties of coefficients of the power series expansions of the function $$ F_{t}(x)=F(x)^{t}=\sum_{n=0}^{\infty}f_{n}(t)x^{n}. $$ For $t\in\N_{+}$ the sequence $(f_{n}(t))_{n\in\N}$ is the Cauchy convolution of $t$ copies of the Prouhet-Thue-Morse sequence. For $t\in\Z_{<0}$ the $n$-th term of the sequence $(f_{n}(t))_{n\in\N}$ counts the number of representations of the number $n$ as a sum of powers of 2 where each summand can have one among $-t$ colors. Among other things, we present a characterization of the solutions of the equations $f_{n}(2^k)=0$, where $k\in\N$, and $f_{n}(3)=0$. Next, we present the exact value of the 2-adic valuation of the number $f_{n}(1-2^{m})$ - a result which generalizes the well known expression concerning the 2-adic valuation of the values of the binary partition function introduced by Euler and studied by Churchhouse and others.

math.NT↗
arXiv2016

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

math.CO↗
arXiv2015

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

math.NT↗
arXiv2014

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.

math.NT↗