On Diophantine tuples involving star numbers

Tapas Chatterjee; Sagar Mandal

Home/Archive/arXiv

arXiv · 2610.27033

On Diophantine tuples involving star numbers

Tapas Chatterjee·Sagar Mandal

View original source ↗Read source document ↗Export metadata ↓

Abstract

In this paper, we discuss two related Diophantine tuple problems involving star numbers $S_n=6n(n-1)+1$. First, we investigate classical $D(k)$-tuples whose elements are star numbers. We construct infinitely many $D(k)$-pairs for several positive and negative admissible values of $k$, and we prove several nonexistence results for $D(k)$-triples and quadruples. Second, we introduce a modified notion of a star number $D(k)$-tuple, requiring $a_ia_j+k$ itself to be a star number. We construct several infinite families of $D(1)$-triples, and study their extensions to quadruples. In particular, we prove that $\{4,108,165\}$ has the unique extension $\{4,108,165,360\}$ to a star number $D(1)$-quadruple. The main tools used in this paper are generalized Pell equations, Nagell's theorem, lower bounds for linear forms in logarithms due to Matveev and Dujella-Pethő version of the Baker-Davenport reduction method in diophantine approximation.

Explore related subjects

math.GM

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Tapas Chatterjee, Sagar Mandal. 2026-10-19. On Diophantine tuples involving star numbers. https://arxiv.org/abs/2610.27033

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Prescribed Primitive Roots And The Least Primes

Let $q\ne \pm1,v^2$ be a fixed integer. The least prime number $p \geq2 $ such that $q$ is a primitive root modulo $p$ is conjectured to be $p\ll (\log q)(\log \log q)),$ where $\gcd(p,q)=1$. This note proves the existence of a small subset of primes $p$ that satisfies the stated upper bound.

math.GM↗

arXiv2026

Lateral Weak Stieltjes Derivatives: A Global Characterization of Stieltjes--Sobolev Spaces

Weak formulations for Stieltjes differential equations must retain the directional information carried by atoms of the driving measure. We derive a lateral integration-by-parts identity in which the posterior trace of the test function is forced by the atomic product rule. The resulting dual formulation gives an exact global characterization of integral Stieltjes--Sobolev spaces for the full exponent range from one to infinity and reconstructs the unique strong representative from its traced weak state. We prove that the associated traced weak operator is closed, establish Poincaré--Stieltjes estimates, and \rev{characterize Stieltjes absolute continuity inside bounded variation through a canonical derivative measure whose restriction to the open interval is the classical distributional derivative}. The framework is then applied to finite-dimensional nonlinear measure-driven systems, yielding equivalence of weak, integral, and measure formulations, existence and uniqueness under integrable Lipschitz assumptions, compactness-based existence, and intrinsic reset laws. Cubic and logistic models illustrate the simultaneous encoding of continuous evolution and instantaneous interventions.

math.GM↗

arXiv2026

Admissible $qx+1$ Sequences, Semiconvergents, and Rational Catalan Numbers

Let $q\geq3$ be odd and put $m_r=\lfloor r\log_2q\rfloor$. We count parity sequences with exactly $r$ odd entries for which the coefficient in the $qx+1$ iteration first drops below $1$ at step $m_r+1$. Their number $a_q(r)$ also counts the corresponding residue classes modulo $2^{m_r+1}$. We derive a first-violation recurrence which, for $q=3$, proves a recurrence conjectured in 2015. We establish the sharp inequalities \[ \frac1r\binom{m_r-1}{r-1}\leq a_q(r)\leq\frac1r\binom{m_r}{r-1}. \] Equality is characterized by the lower and upper record indices of $\{r\log_2q\}$, equivalently by denominators of convergents and semiconvergents from below and above. At these indices $r\geq2$, the values $a_q(r)$ are rational Catalan numbers. We also characterize the dependence on $q$ and prove, for each fixed odd $q\geq3$, that $a_q(r)=Θ_q(r^{-3/2}B_q^r)$, where $B_q=(\log_2q)^{\log_2q}/(\log_2q-1)^{\log_2q-1}$. For $q=3$, this settles Hikawa's conjecture concerning the polynomial factor in a related counting function.

math.GM↗