English

On universal sums of polygonal numbers

Number Theory 2015-05-15 v9 Combinatorics

Abstract

For m=3,4,m=3,4,\ldots, the polygonal numbers of order mm are given by pm(n)=(m2)(n2)+n (n=0,1,2,)p_m(n)=(m-2)\binom n2+n\ (n=0,1,2,\ldots). For positive integers a,b,ca,b,c and i,j,k3i,j,k\ge3 with max{i,j,k}5\max\{i,j,k\}\ge5, we call the triple (api,bpj,cpk)(ap_i,bp_j,cp_k) universal if for any n=0,1,2,n=0,1,2,\ldots there are nonnegative integers x,y,zx,y,z such that n=api(x)+bpj(y)+cpk(z)n=ap_i(x)+bp_j(y)+cp_k(z). We show that there are only 95 candidates for universal triples (two of which are (p4,p5,p6)(p_4,p_5,p_6) and (p3,p4,p27)(p_3,p_4,p_{27})), and conjecture that they are indeed universal triples. For many triples (api,bpj,cpk)(ap_i,bp_j,cp_k) (including (p3,4p4,p5),(p4,p5,p6)(p_3,4p_4,p_5),(p_4,p_5,p_6) and (p4,p4,p5)(p_4,p_4,p_5)), we prove that any nonnegative integer can be written in the form api(x)+bpj(y)+cpk(z)ap_i(x)+bp_j(y)+cp_k(z) with x,y,zZx,y,z\in\mathbb Z. We also show some related new results on ternary quadratic forms, one of which states that any nonnegative integer n1(mod6)n\equiv 1\pmod{6} can be written in the form x2+3y2+24z2x^2+3y^2+24z^2 with x,y,zZx,y,z\in\mathbb Z. In addition, we pose several related conjectures one of which states that for any m=3,4,m=3,4,\ldots each natural number can be expressed as pm+1(x1)+pm+2(x2)+pm+3(x3)+rp_{m+1}(x_1)+p_{m+2}(x_2)+p_{m+3}(x_3)+r with x1,x2,x3{0,1,2,}x_1,x_2,x_3\in\{0,1,2,\ldots\} and r{0,,m3}r\in\{0,\ldots,m-3\}.

Keywords

Cite

@article{arxiv.0905.0635,
  title  = {On universal sums of polygonal numbers},
  author = {Zhi-Wei Sun},
  journal= {arXiv preprint arXiv:0905.0635},
  year   = {2015}
}

Comments

42 pages, final published version

R2 v1 2026-06-21T12:58:24.651Z