Pith. sign in

REVIEW

On the Diophantine equations of the form $\lambda_1U_{n_1} + \lambda_2U_{n_2} +\ldots + \lambda_kU_{n_k} = wp_1^{z_1}p_2^{z_2} \cdots p_s^{z_s}$

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2212.11945 v1 pith:WBUNECKS submitted 2022-12-22 math.NT

classification math.NT
keywords lambdadotsfixedcdotsdiophantineintegerldotslinear
verification ladder T0 review T1 audit T2 compute T3 formal

Signed reviews

No signed human review yet.

0 comments
abstract

In this paper, we consider the Diophantine equation $\lambda_1U_{n_1}+\ldots+\lambda_kU_{n_k}=wp_1^{z_1} \cdots p_s^{z_s},$ where $\{U_n\}_{n\geq 0}$ is a fixed non-degenerate linear recurrence sequence of order greater than or equal to 2; $w$ is a fixed non-zero integer; $p_1,\dots,p_s$ are fixed, distinct prime numbers; $\lambda_1,\dots,\lambda_k$ are strictly positive integers; and $n_1,\dots,n_k,z_1,\dots,z_s$ are non-negative integer unknowns. We prove the existence of an effectively computable upper-bound on the solutions $(n_1,\dots,n_k,z_1,\dots,z_s)$. In our proof, we use lower bounds for linear forms in logarithms, extending the work of Pink and Ziegler (2016), Mazumdar and Rout (2019), Meher and Rout (2017), and Ziegler (2019).

Discussion (0). Continue with ORCID to comment.

Pith tools