Abstract:For non-negative integers $a,b,$ and $n$, let $N(a, b; n)$ be the number of representations of $n$ as a sum of squares with coefficients $1$ or $3$ ($a$ of ones and $b$ of threes). Let $N^*(a,b; n)$ be the number of representations of $n$ as a sum of odd squares with coefficients $1$ or $3$ ($a$ of ones and $b$ of threes). We have that $N^*(a,b;8n+a+3b)$ is the number of representations of $n$ as a sum of triangular numbers with coefficients $1$ or $3$ ($a$ of ones and $b$ of threes). It is known that for $a$ and $b$ satisfying $1\leq a+3b \leq 7$, we have $$ N^*(a,b;8n+a+3b)= \frac{2}{2+{a\choose4}+ab} N(a,b;8n+a+3b) $$ and for $a$ and $b$ satisfying $a+3b=8$, we have $$ N^*(a,b;8n+a+3b) = \frac{2}{2+{a\choose4}+ab} \left( N(a,b;8n+a+3b) - N(a,b; (8n+a+3b)/4) \right). %& t(8,0;{n}) = \frac{1}{36} \left( N(8,0;8n+8) - N(8,0;2n+2) \right). \label{eq31_5} $$ Such identities are not known for $a+3b>8$. In this paper, for general $a$ and $b$ with $a+b$ even, we prove asymptotic equivalence of formulas similar to the above, as $n\rightarrow\infty$. One of our main results extends a theorem of Bateman, Datskovsky, and Knopp where the case $b=0$ and general $a$ was considered. Our approach is different from Bateman-Datskovsky-Knopp's proof where the circle method and singular series were used. We achieve our results by explicitly computing the Eisenstein components of the generating functions of $N^*(a,b;8n+a+3b)$ and $N(a,b;8n+a+3b)$. The method we use is robust and can be adapted in studying the asymptotics of other representation numbers with general coefficients.

Sums of the triple divisor function over values of a ternary quadratic form

On the divisor problem with congruence conditions

Higher order divisor functions over values of mixed powers

On moments of the error term of the multivariable k-th divisor functions

Universal Sums of Three Quadratic Polynomials

Quantitative strong approximation for ternary quadratic forms I

On correlation of the 3-fold divisor function with itself

A Note on Large Sums of Divisor-Bounded Multiplicative Functions

On sums involving divisor function, Euler's totient function, and floor function

TERNARY DIVISOR FUNCTIONS IN ARITHMETIC PROGRESSIONS TO SMOOTH MODULI

Ternary cyclotomic numbers and ternary Jacobi sums

Arithmetic progressions represented by diagonal ternary quadratic forms

Quaternary quadratic forms with prime discriminant

Quantitative strong approximation for ternary quadratic forms II

Small solutions of generic ternary quadratic congruences to general moduli

A variety of Euler’s sum of powers conjecture

Some Universal Quadratic Sums over the Integers

On a sum involving certain arithmetic functions and the integral part function

Sums of triangular numbers and sums of squares

Ternary Quadratic Forms and the Class Numbers of Imaginary Quadratic Fields

On a sum of the error term of the Dirichlet divisor function over primes