On the largest value of the solutions of Erdős's last equation

István Pink,Csaba Sándor

2024-11-07

Abstract:Let $n$ be a positive integer. The Diophantine equation $n(x_1+x_2+\dots +x_n)=x_1x_2\dots x_n$, $1 \le x_1\le x_2\le \dots \le x_n$ is called Erdős's last equation. We prove that $x_n\to \infty $ as $n\to \infty$ and determine all tuples $(n,x_1,\dots ,x_n)$ with $x_n\le 10$.

Number Theory

What problem does this paper attempt to address?

Equal Sum and Product Problem III

Csaba Sándor,Maciej Zakarczemny

2024-05-20

Abstract:Denote by $N(n)$ the number of integer solutions $(x_1,\,x_2,\ldots ,x_n)$ of the equation $x_1+x_2+\ldots+x_n=x_1x_2\cdot\ldots\cdot x_n$ such that $x_1\ge x_2\ge\ldots\ge x_n\ge 1$, $n \in \mathbb{Z}^+$. The aim of this paper are is twofold: first we present an asymptotic formula for $\sum\limits_{2\le n\le x}N(n)$, then we verify that the counting function $N(n)$ takes very large value compared to its average value.

Number Theory
On a problem of Erdős and Graham about consecutive sums in strictly increasing sequences

Adrian Beker

2023-11-17

Abstract:We show the existence of a constant $c > 0$ such that, for all positive integers $n$, there exist integers $1 \leq a_1 < \ldots < a_k \leq n$ such that there are at least $cn^2$ distinct integers of the form $\sum_{i=u}^{v}a_i$ with $1 \leq u \leq v \leq k$. This answers a question of Erdős and Graham. We also prove a non-trivial upper bound on the maximum number of distinct integers of this form and address several open problems.

Combinatorics,Number Theory
A new generalization of Fermat's Last Theorem

tianxin cai,deyi chen,yong zhang

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

IF: 0.679

2013-01-01

Journal of Number Theory

Abstract: In this paper, we consider some hybrid Diophantine equations of addition and multiplication. We first improve a result on new Hilbert-Waring problem. Then we consider the equation \begin{equation} \begin{cases} A+B=C ABC=D^n \end{cases} \end{equation} where $A,B,C,D,n \in\ZZ_{+}$ and $n\geq3$, which may be regarded as a generalization of Fermat's equation $x^n+y^n=z^n$. When $\gcd(A,B,C)=1$, $(1)$ is equivalent to Fermat's equation, which means it has no positive integer solutions. We discuss several cases for $\gcd(A,B,C)=p^k$ where $p$ is an odd prime. In particular, for $k=1$ we prove that $(1)$ has no nonzero integer solutions when $n=3$ and we conjecture that it is also true for any prime $n>3$. Finally, we consider equation $(1)$ in quadratic fields $\mathbb{Q}(\sqrt{t})$ for $n=3$.
A Variety of Euler's Conjecture

Tianxin Cai,Yong Zhang

2013-01-01

Abstract:We consider a variety of Euler's conjecture, i.e., whether the Diophantine system n=a_1+a_2+⋯+a_s-1, a_1a_2⋯ a_s-1(a_1+a_2+⋯+a_s-1)=b^s has solutions n,b,a_i∈ℤ^+,i=1,2,…,s-1,s≥ 3. By using the theory of elliptic curves, we prove that it has no solutions n,b,a_i∈ℤ^+ for s=3, but for s=4 it has infinitely many solutions n,b,a_i∈ℤ^+ and for s≥ 5 there are infinitely many polynomial solutions n,b,a_i∈ℤ[t_1,t_2,…,t_s-3] with positive value satisfying this Diophantine system.
A variety of Euler’s sum of powers conjecture

Tianxin Cai,Yong Zhang

DOI: https://doi.org/10.21136/CMJ.2021.0210-20

2021-01-01

Czechoslovak Mathematical Journal

Abstract:We consider a variety of Euler’s sum of powers conjecture, i.e., whether the Diophantine system $$\left\{{\matrix{{n = {a_1} + {a_2} + \ldots + {a_{s - 1}},} \hfill \cr {{a_1}{a_2} \ldots {a_{s - 1}}({a_1} + {a_2} + \ldots + {a_{s - 1}}) = {b^s}} \hfill \cr}} \right.$$ has positive integer or rational solutions n, b, aj, i = 1, 2, …, s − 1, s ⩾ 3. Using the theory of elliptic curves, we prove that it has no positive integer solution for s = 3, but there are infinitely many positive integers n such that it has a positive integer solution for s ⩾ 4. As a corollary, for s ⩾ 4 and any positive integer n, the above Diophantine system has a positive rational solution. Meanwhile, we give conditions such that it has infinitely many positive rational solutions for s ⩾ 4 and a fixed positive integer n.
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.
Asymptotic Fermat's Last Theorem for a family of equations of signature $(2, 2n, n)$

Pedro-José Cazorla García

2024-04-22

Abstract:In this paper, we study the integer solutions of a family of Fermat-type equations of signature $(2, 2n, n)$, $Cx^2 + q^ky^{2n} = z^n$. We provide an algorithmically testable set of conditions which, if satisfied, imply the existence of a constant $B_{C, q}$ such that if $n > B_{C,q}$, there are no solutions $(x, y, z, n)$ of the equation. Our methods use the modular method for Diophantine equations, along with level lowering and Galois theory.

Number Theory
Asymptotic Fermat's last theorem for a family of equations of signature (2,2n,n)

Pedro‐José Cazorla García

DOI: https://doi.org/10.1112/mtk.12279

2024-09-02

Mathematika

Abstract:In this paper, we study the integer solutions of a family of Fermat‐type equations of signature (2,2n,n) , Cx2+qky2n=zn . We provide an algorithmically testable set of conditions which, if satisfied, imply the existence of a constant BC,q such that if n>BC,q , there are no solutions (x,y,z,n) of the equation. Our methods use the modular method for Diophantine equations, along with level lowering and Galois theory.

mathematics, applied
On solutions of $\sum_{i=1}^n 1/x_i = 1$ in integers of the form $2^a k^b$

Joel Louwsma

2024-07-08

Abstract:We give an algorithm that produces all solutions of the equation $\sum_{i=1}^n 1/x_i = 1$ in integers of the form $2^a k^b$, where $k$ is a fixed positive integer that is not a power of $2$, $a$ is an element of $\{0,1,2\}$ that can vary from term to term, and $b$ is a nonnegative integer that can vary from term to term. We also completely characterize the pairs $(k,n)$ for which this equation has a nontrivial solution in integers of this form.

Number Theory,Combinatorics
Creating Decidable Diophantine Equations

Robert Dougherty-Bliss,Charles Kenney,Doron Zeilberger

2024-06-11

Abstract:Generalizing an argument of Matiyasevich, we illustrate a method to generate infinitely many diophantine equations whose solutions can be completely described by linear recurrences. In particular, we provide an integer-coefficient polynomial $p(x, y, z)$ whose only integer roots are consecutive triples of Tribonacci numbers.

Number Theory
A sum involving the greatest-integer function

David Ross Richman

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

2019-06-28

Abstract:We determine properties of the set of values of $ [nx] - ([x]/1 + [2x]/2 + \cdots + [nx]/x) $ as $n$ and $x$ vary.

Number Theory
Classical and modular approaches to exponential Diophantine equations II. The Lebesgue–Nagell equation

Yann Bugeaud,Maurice Mignotte,Samir Siksek

DOI: https://doi.org/10.1112/s0010437x05001739

2006-01-01

Compositio Mathematica

Abstract:This is the second in a series of papers where we combine the classical approach to exponential Diophantine equations (linear forms in logarithms, Thue equations, etc.) with a modular approach based on some of the ideas of the proof of Fermat's Last Theorem. In this paper we use a general and powerful new lower bound for linear forms in three logarithms, together with a combination of classical, elementary and substantially improved modular methods to solve completely the Lebesgue–Nagell equation x2 + D = yn, x, y integers, $n\geq 3$, for D in the range $1 \leq D \leq 100$.

mathematics
On a problem of Brown, Erdős and Sós

Shoham Letzter,Amedeo Sgueglia

2024-04-09

Abstract:Let $f^{(r)}(n;s,k)$ be the maximum number of edges in an $n$-vertex $r$-uniform hypergraph not containing a subhypergraph with $k$ edges on at most $s$ vertices. Recently, Delcourt and Postle, building on work of Glock, Joos, Kim, Kühn, Lichev and Pikhurko, proved that the limit $\lim_{n \to \infty} n^{-2} f^{(3)}(n;k+2,k)$ exists for all $k \ge 2$, solving an old problem of Brown, Erdős and Sós (1973). Meanwhile, Shangguan and Tamo asked the more general question of determining if the limit $\lim_{n \to \infty} n^{-t} f^{(r)}(n;k(r-t)+t,k)$ exists for all $r>t\ge 2$ and $k \ge 2$. Here we make progress on their question. For every even $k$, we determine the value of the limit when $r$ is sufficiently large with respect to $k$ and $t$. Moreover, we show that the limit exists for $k \in \{5,7\}$ and all $r > t \ge 2$.

Combinatorics
Variants of the Erdős distinct sums problem and variance method

Simone Costa,Stefano Della Fiore,Andrea Ferraguti

2024-02-01

Abstract:Let $\Sigma=\{a_1, \ldots , a_n\}$ be a set of positive integers with $a_1 < \ldots < a_n$ such that all $2^n$ subset sums are pairwise distinct. A famous conjecture of Erdős states that $a_n>C\cdot 2^n$ for some constant $C$, while the best result known to date is of the form $a_n>C\cdot 2^n/\sqrt{n}$. In this paper, we propose a generalization of the Erdős distinct sum problem that is in the same spirit as those of the Davenport and the Erdős-Ginzburg-Ziv constants recently introduced in \cite{CGS} and in \cite{CS}. More precisely, we require that the non-zero evaluations of the $m$-th degree symmetric polynomial are all distinct over the subsequences of $\Sigma$ whose size is at most $\lambda n$, for a given $\lambda\in (0,1]$, considering $\Sigma$ as a sequence in $\mathbb{Z}^k$ with each coordinate of each $a_i$ in $[0,M]$. If $\mathcal{F}_{\lambda,n}$ denotes the family of subsets of $[1,n]$ whose size is at most $\lambda n$, our main result is that, for each $k,m,$ and $\lambda$, there exists an explicit constant $C_{k,m,\lambda}$ such that $$ M\geq C_{k,m,\lambda} \frac{(1+o(1)) |\mathcal{F}_{\lambda,n}|^{\frac{1}{mk}}}{n^{1 - \frac{1}{2m}}}.$$

Combinatorics,Number Theory
Diophantine equations involving Euler function

Hairong Bai

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

2020-01-23

Abstract:In this paper, we show that the equation $\varphi(|x^{m}-y^{m}|)=|x^{n}-y^{n}|$ has no nontrivial solutions in integers $x,y,m,n$ with $xy\neq0, m>0, n>0$ except for the solutions $(x,y,m,n)=((2^{t-1}\pm1),-(2^{t-1}\mp1),2,1), (-(2^{t-1}\pm1),(2^{t-1}\mp1),2,1),$ where $t$ is a integer with $t\geq 2.$ The equation $\varphi(|\frac{x^{m}-y^{m}}{x-y}|)=|\frac{x^{n}-y^{n}}{x-y}|$ has no nontrivial solutions in integers $x,y,m,n$ with $xy\neq0, m>0, n>0$ except for the solutions $(x,y,m,n)=(a\pm1, -a, 1, 2), (a\pm i, -a, 2, 1),$ where $a$ is a integer with $i=1,2.$

Number Theory
Resolution of an Erdős' problem on least common multiples

Stijn Cambie

2024-10-12

Abstract:Erdős posed the question whether there exist infinitely many sets of consecutive numbers whose least common multiple (lcm) exceeds the lcm of another, larger set with greater consecutive numbers. In this paper, we answer this question affirmatively by proving that the ratio of the lcm's can be made arbitrarily large.

General Mathematics
A note on the Erdős Matching Conjecture

Ryan R. Martin,Balázs Patkós

2024-09-13

Abstract:The Erd\H os Matching Conjecture states that the maximum size $f(n,k,s)$ of a family $\mathcal{F}\subseteq \binom{[n]}{k}$ that does not contain $s$ pairwise disjoint sets is $\max\{|\mathcal{A}_{k,s}|,|\mathcal{B}_{n,k,s}|\}$, where $\mathcal{A}_{k,s}=\binom{[sk-1]}{k}$ and $\mathcal{B}_{n,k,s}=\{B\in \binom{[n]}{k}:B\cap [s-1]\neq \emptyset\}$. The case $s=2$ is simply the Erdős-Ko-Rado theorem on intersecting families and is well understood. The case $n=sk$ was settled by Kleitman and the uniqueness of the extremal construction was obtained by Frankl. Most results in this area show that if $k,s$ are fixed and $n$ is large enough, then the conjecture holds true. Exceptions are due to Frankl who proved the conjecture and considered variants for $n\in [sk,sk+c_{s,k}]$ if $s$ is large enough compared to $k$. A recent manuscript by Guo and Lu considers non-trivial families with matching number at most $s$ in a similar range of parameters. In this short note, we are concerned with the case $s\ge 3$ fixed, $k$ tending to infinity and $n\in\{sk,sk+1\}$. For $n=sk$, we show the stability of the unique extremal construction of size $\binom{sk-1}{k}=\frac{s-1}{s}\binom{sk}{k}$ with respect to minimal degree. As a consequence we derive $\lim\limits_{k\rightarrow \infty}\frac{f(sk+1,k,s)}{\binom{sk+1}{k}}<\frac{s-1}{s}-\varepsilon_s$ for some positive constant $\varepsilon_s$ which depends only on $s$.

Combinatorics
On an Erdős similarity problem in the large

Xiang Gao,Yuveshen Mooroogen,Chi Hoi Yip

2023-12-13

Abstract:In a recent paper, Kolountzakis and Papageorgiou ask if for every $\epsilon \in (0,1)$, there exists a set $S \subseteq \mathbb{R}$ such that $\vert S \cap I\vert \geq 1 - \epsilon$ for every interval $I \subset \mathbb{R}$ with unit length, but that does not contain any affine copy of a given increasing sequence of exponential growth or faster. This question is an analogue of the well-known Erdős similarity problem. In this paper, we show that for each sequence of real numbers whose integer parts form a set of positive upper Banach density, one can explicitly construct such a set $S$ that contains no affine copy of that sequence. Since there exist sequences of arbitrarily rapid growth that satisfy this condition, our result answers Kolountzakis and Papageorgiou's question in the affirmative. A key ingredient of our proof is a generalization of results by Amice, Kahane, and Haight from metric number theory. In addition, we construct a set $S$ with the required property -- but with $\epsilon \in (1/2, 1)$ -- that contains no affine copy of $\{2^n\}$.

Classical Analysis and ODEs,Number Theory
On the order of Erdős-Rogers functions

Dhruv Mubayi,Jacques Verstraete

2024-02-09

Abstract:For an integer $n \geq 1$, the Erdős-Rogers function $f_{s}(n)$ is the maximum integer $m$ such that every $n$-vertex $K_{s+1}$-free graph has a $K_s$-free subgraph with $m$ vertices. It is known that for all $s \geq 3$, $f_{s}(n) = \Omega(\sqrt{n\log n}/\log \log n)$ as $n \rightarrow \infty$. In this paper, we show that for all $s \geq 3$, \begin{equation*} f_{s}(n) = O(\sqrt{n}\, \log n). \end{equation*}

Combinatorics

On the largest value of the solutions of Erdős's last equation

Equal Sum and Product Problem III

On a problem of Erdős and Graham about consecutive sums in strictly increasing sequences

A new generalization of Fermat's Last Theorem

A Variety of Euler's Conjecture

A variety of Euler’s sum of powers conjecture

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

Asymptotic Fermat's Last Theorem for a family of equations of signature $(2, 2n, n)$

Asymptotic Fermat's last theorem for a family of equations of signature (2,2n,n)

On solutions of $\sum_{i=1}^n 1/x_i = 1$ in integers of the form $2^a k^b$

Creating Decidable Diophantine Equations

A sum involving the greatest-integer function

Classical and modular approaches to exponential Diophantine equations II. The Lebesgue–Nagell equation

On a problem of Brown, Erdős and Sós

Variants of the Erdős distinct sums problem and variance method

Diophantine equations involving Euler function

Resolution of an Erdős' problem on least common multiples

A note on the Erdős Matching Conjecture

On an Erdős similarity problem in the large

On the order of Erdős-Rogers functions