Retriangular numbers and affine maps between polygonal numbers
Abstract
A positive integer a is called \emph{retriangular} if there is a positive integer b such that aT+b is a triangular number whenever T is. We show that the retriangular numbers are exactly the odd squares greater than $1$, and that for each of them b is unique. The proof rests on a rigidity principle: a non-constant affine map carrying the values of one quadratic sequence into the values of another is induced by an affine map of the plane sending the vertex of one parabola to the vertex of the other. We use it to classify all affine maps between sets of polygonal numbers; the s-gonal numbers map affinely into the t-gonal numbers if and only if Mt| Ms, where Ms=2(s−2)/gcd(s,4) defines a bijection from {3,4,5,…} onto the positive integers. We also treat sparse data, polynomial maps, figurate numbers of higher degree and sums of two triangular numbers, and we study the monoid of affine self-maps of an arbitrary set of integers. For the s-gonal numbers this monoid is an arithmetical congruence monoid, and the factorization of self-maps into irreducible ones is unique only for triangular and square numbers.
Related
- Rational Points on Affine Varieties over Finite Fields and Polygonal Number Sequences
- Rational Points on Danielewski Surfaces over Finite fields and Polygonal Numbers
- An incremental approximation to the prime-counting function via polygonal numbers
- Bridging persistence of discrete and continuous 1D maps: Total variation, permutation equivalence, and diagonal affine transformations
- On Mahler U-numbers under rational maps
BibTeX
@misc{matijasevick2026retriangular,
title = {{Retriangular numbers and affine maps between polygonal numbers}},
author = {Mateo Matijasevick},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.36284},
eprint = {2610.36284},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.36284},
}
RIS
TY - UNPB
TI - Retriangular numbers and affine maps between polygonal numbers
AU - Mateo Matijasevick
PY - 2026
DA - 2026/10/26
PB - arXiv
DO - 10.48550/arxiv.2610.36284
UR - https://arxiv.org/abs/2610.36284
AB - A positive integer a is called \emph{retriangular} if there is a positive integer b such that aT+b is a triangular number whenever T is. We show that the retriangular numbers are exactly the odd squares greater than $1$, and that for each of them b is unique. The proof rests on a rigidity principle: a non-constant affine map carrying the values of one quadratic sequence into the values of another is induced by an affine map of the plane sending the vertex of one parabola to the vertex of the other. We use it to classify all affine maps between sets of polygonal numbers; the s-gonal numbers map affinely into the t-gonal numbers if and only if M_t| M_s, where M_s=2(s−2)/gcd(s,4) defines a bijection from {3,4,5,…} onto the positive integers. We also treat sparse data, polynomial maps, figurate numbers of higher degree and sums of two triangular numbers, and we study the monoid of affine self-maps of an arbitrary set of integers. For the s-gonal numbers this monoid is an arithmetical congruence monoid, and the factorization of self-maps into irreducible ones is unique only for triangular and square numbers.
ER -