An analogue of a formula of Popov

Pedro Ribeiro

2024-08-13

Abstract:Let $r_{k}(n)$ denote the number of representations of the positive integer $n$ as the sum of $k$ squares. We prove a new summation formula involving $r_{k}(n)$ and the Bessel functions of the first kind, which constitutes an analogue of a result due to the Russian mathematician A. I. Popov.

Number Theory,Classical Analysis and ODEs

What problem does this paper attempt to address?

Several formulae for summation over $SL(2,\mathbb Z)$

Nikita Kalinin

2024-09-17

Abstract:New formulae for a summation over a positive part of $SL(2,\mathbb Z)$ are presented. Such formulae can be written for any convex curve. We present several formulae where $\pi$ is obtained.

General Mathematics
On Popoviciu type tormulas for generalized restricted partition function

Nan Li,Sheng Chen

2007-01-01

Abstract:Suppose that $a_1(n),a_2(n),...,a_s(n),m(n)$ are integer-valued polynomials in $n$ with positive leading coefficients. This paper presents Popoviciu type formulas for the generalized restricted partition function $$p_{A(n)}(m(n)):=#\{(x_1,...,x_s)\in \mathbb{Z}^{s}: all x_j\geqslant 0, x_1a_1(n)+...+x_sa_s(n)=m(n) \}$$ when $s=2$ or 3. In either case, the formula implies that the function is an integer-valued quasi-polynomial. The main result is proved by a reciprocity law for a class of fractional part sums and the theory of generalized Euclidean division.
A q-analog of certain symmetric functions and one of its specializations

Vincent Brugidou

2024-09-20

Abstract:Let the symmetric functions be defined for the pair of integers $\left( n,r\right) $, $n\geq r\geq 1$, by $p_{n}^{\left( r\right) }=\sum m_{\lambda }$ where $m_{\lambda }$ are the monomial symmetric functions, the sum being over the partitions $\lambda $ of the integer $n$ with length $r$. We introduce by a generating function, a $q$-analog of $p_{n}^{\left( r\right) }$ and give some of its properties. This $q$-analog is related to its the classical form using the $q$-Stirling numbers. We also start with the same procedure the study of a $p,q$-analog of $p_{n}^{\left( r\right) }$. By specialization of this $q$-analog in the series $\sum\nolimits_{n=0}^{ \infty }q^{\binom{n}{2}}t^{n}/n!$, we recover in a purely formal way$\ $a class of polynomials $J_{n}^{\left( r\right) }$ historically introduced as combinatorial enumerators, in particular of tree inversions. This also results in a new linear recurrence for those polynomials whose triangular table can be constructed, row by row, from the initial conditions $ J_{r}^{\left( r\right) }=1$. The form of this recurrence is also given for the reciprocal polynomials of $J_{n}^{\left( r\right) }$, known to be the sum enumerators of parking functions. Explicit formulas for $J_{n}^{\left( r\right) }$ and their reciprocals are deduced, leading inversely to new representations of these polynomials as forest statistics.

Combinatorics,Commutative Algebra
On a higher-order version of a formula due to Ramanujan

J. M. Campbell

DOI: https://doi.org/10.1080/10652469.2024.2309203

2024-02-03

Integral Transforms and Special Functions

Abstract:A special case of an Entry in Part II of Ramanujan's Notebooks is such that 1+15(12)2+19(1⋅32⋅4)2+⋯=Γ4(14)16π2. This formula leads us to consider the higher-order version of the above series given by replacing the squares of normalized central binomial coefficients with fourth powers. Using a Fourier–Legendre expansion introduced in a 2022 article by Cantarini, together with a multiple elliptic integral evaluation conjectured by Wan and proved by Zhou, we prove the very natural extension shown below of Ramanujan's formula: 1+15(12)4+19(1⋅32⋅4)4+⋯=Γ8(14)96π5. Furthermore, and in a closely related way, we show how a main result in an article by Papanikolas et al. concerning a Calabi–Yau threefold is equivalent to the evaluation of a Clebsch–Gordan-type multiple elliptic integral related to the work of Zhou and Brychkov.

mathematics, applied
Exact formulae for ranks of partitions

Qihang Sun

2024-06-10

Abstract:In 2009, Bringmann <a class="link-https" data-arxiv-id="0708.0691" href="https://arxiv.org/abs/0708.0691">arXiv:0708.0691</a> [math.NT] used the circle method to prove an asymptotic formula for the Fourier coefficients of rank generating functions. In this paper, we prove that Bringmann's formula, when summing up to infinity and in the case of prime modulus, gives a Rademacher-type exact formula involving sums of vector-valued Kloosterman sums. As a corollary, in an upcoming paper, we will provide a new proof of Dyson's conjectures by showing that the certain Kloosterman sums vanish.

Number Theory
Sums of triangular numbers and sums of squares

Amir Akbary,Zafer Selcuk Aygin

DOI: https://doi.org/10.48550/arXiv.2107.00787

2021-07-02

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.

Number Theory
On Berndt's summation formula

Alexander E. Patkowski

DOI: https://doi.org/10.48550/arXiv.2111.06256

2021-11-11

Abstract:We offer a proof of a summation formula equivalent to one due to Berndt. Our proof uses the M$\ddot{u}$ntz formula and the Poisson summation formula. Several new applications are offered as corollaries.

Number Theory
Product formulas for the Higher Bessel functions

Ilia Gaiur,Vladimir Rubtsov,Duco van Straten

2024-05-06

Abstract:We consider the generating function $\Phi^{(N)}$ for the reciprocals $N$-th power of factorials. We show a connection of product formulas for such series with the periods for certain families of algebraic hypersurfaces. For these families we describe their singular loci. We show that these singular loci are given by zeros of the Buchstaber-Rees polynomials, which define $N$-valued group laws. We describe a generalized Frobenius method and use it to obtain special expansions for multiplication kernels in the sense of Kontsevich. Using these expansions we provide some experimental results that connect $N$-Bessel kernels and the hierarchies of the palindromic unimodal polynomials. We study the properties of such polynomials and conjecture positivity of their roots. We also discuss the connection with Kloosterman motives as a version of the mirror duality.

Algebraic Geometry,Classical Analysis and ODEs,Number Theory
Sums of squares and sequences of modular forms

Alexander Kalmynin

2024-07-03

Abstract:Let $h_n(v)$ be the sequence of rational functions with $$ \frac{h_n(v)}{v}-nh_n(v)+(n-1)h_{n-1}(v)-vh_{n-1}'(v)+\frac{v(v(vh_{n-1}(v))')'}{4}=0 $$ for $n>0$ and $h_0(v)=1$. We prove that $h_n(v)$ has a pole at $v=\frac{1}{n}$ if and only if $n$ is a sum of two squares of integers. Moreover, if $r_2(n)=\#\{(a,b)\in \mathbb Z^2: a^2+b^2=n\}$, then we derive the formula $$ \underset{v=1/n}{\mathrm{Res}}h_n(v)=\frac{(-1)^{n-1}r_2(n)}{n16^n}. $$ The results are then generalized to arbitrary modular forms with respect to $\Gamma(2)$ and as a consequence we obtain a new criterion for Lehmer's conjecture for Ramanujan's $\tau$-function.

Number Theory
Asymptotic formula for the sum of a prime and a square-full number in short intervals

Fumi Ogihara,Yuta Suzuki

2024-05-08

Abstract:Let $R_{m, \mathrm{sq-full}}(N)$ be a representation function for the sum of a prime and a square-full number. In this article, we prove an asymptotic formula for the sum of $R_{m, \mathrm{sq-full}}(N)$ over positive integers $N$ in a short interval ($X$, $X+H$] of length $H$ slightly bigger than $X^{\frac{1}{2}}$.

Number Theory
On Frobenius Formulas of Power Sequences

Feihu Liu,Guoce Xin

2024-06-26

Abstract:Let $A=(a_1, a_2, \ldots, a_n)$ be a sequence of relative prime integers, each greater than or equal to 2. The Frobenius number $g(A)$ represents the largest integer that cannot be expressed as a nonnegative linear combination of the elements in $A$. Our recent work has introduced a combinatorial method for calculating $g(A)$ in the specific form $A=(a, a+B)=(a, a+b_1, \ldots, a+b_k)$. This method reduces the problem to a simpler optimization problem, denoted as $O_B(M)$. In this paper, we apply this method to solve the open problem of characterizing $g(A)$ for the square sequence $A=(a,a+1,a+2^2,\ldots, a+k^2)$. We demonstrate that the Frobenius number $g(a, a+1^2, a+2^2, \ldots)$ for the infinite square sequence admits a simpler solution. This is because the corresponding optimization problem, $O_B(M)$, can be solved by applying number-theoretic principles, specifically Lagrange's Four-Square Theorem and related results. Consequently, we are able to resolve the open problem by utilizing Lagrange's Four-Square Theorem in conjunction with generating functions.

Combinatorics
An Explicit Formula for the Berezin Star Product

Hao Xu

DOI: https://doi.org/10.1007/s11005-012-0552-y

2012-01-01

Letters in Mathematical Physics

Abstract:We prove an explicit formula of the Berezin star product on Kähler manifolds. The formula is expressed as a summation over certain strongly connected digraphs. The proof relies on a combinatorial interpretation of Engliš’ work on the asymptotic expansion of the Laplace integral.
Voronoi summation formulas, oscillations of Riesz sums, and Ramanujan-Guinand and Cohen type identities

Shashank Charge,Atul Dixit

2024-10-06

Abstract:We derive Vorono\"{\dotlessi} summation formulas for the Liouville function $\lambda(n)$, the Möbius function $\mu(n)$, and for $d^{2}(n)$, where $d(n)$ is the divisor function. The formula for $\lambda(n)$ requires explicit evaluation of certain infinite series for which the use of the Vinogradov-Korobov zero-free region of the Riemann zeta function is indispensable. Several results of independent interest are obtained as special cases of these formulas. For example, a special case of the one for $\mu(n)$ is a famous result of Ramanujan, Hardy, and Littlewood. Cohen type and Ramanujan-Guinand type identities are established for $\lambda(n)$ and $\sigma_a(n)\sigma_b(n)$, where $\sigma_s(n)$ is the generalized divisor function. As expected, infinite series over the non-trivial zeros of $\zeta(s)$ now form an essential part of all of these formulas. A series involving $\sigma_a(n)\sigma_b(n)$ and product of modified Bessel functions occurring in one of our identities has appeared in a recent work of Dorigoni and Treilis in string theory. Lastly, we obtain results on oscillations of Riesz sums associated to $\lambda(n), \mu(n)$ and of the error term of Riesz sum of $d^2(n)$ under the assumption of the Riemann Hypothesis, simplicity of the zeros of $\zeta(s)$, the Linear Independence conjecture, and a weaker form of the Gonek-Hejhal conjecture.

Number Theory,Classical Analysis and ODEs
Sums of powers of integers and the sequence A304330

José L. Cereceda

2024-04-25

Abstract:For integer $k \geq 1$, let $S_k(n)$ denote the sum of the $k$th powers of the first $n$ positive integers $1^k + 2^k + \cdots + n^k$. In this paper, we derive a new formula expressing $2^{2k}$ times $S_{2k}(n)$ as a sum of $k$ terms involving the numbers in the $k$th row of the integer sequence A304330, which is closely related to the central factorial numbers of the second kind with even indices. Furthermore, we provide an alternative proof of Knuth's formula for $S_{2k}(n)$ and show that it can equally be expressed in terms of A304330. We also deduce the corresponding formulas for the odd-indexed power sums $S_{2k-1}(n)$. Finally, we determine the Faulhaber form of $S_{2k}(n)$ and $S_{2k+1}(n)$ in terms of the sequence A304330 and the Legendre-Stirling numbers of the first kind.

General Mathematics
Frobenius numbers associated with Diophantine triples of $x^2+y^2=z^r$ (extended version)

Takao Komatsu,Neha Gupta,Manoj Upreti

2024-03-12

Abstract:We give an explicit formula for the $p$-Frobenius number of triples associated with Diophantine equations $x^2+y^2=z^r$, that is, the largest positive integer that can only be represented in $p$ ways by combining the three integers of the solutions of Diophantine equations $x^2+y^2=z^r$. When $r=2$, the Frobenius number has already been given.

Number Theory,Combinatorics
A Voronoï--Oppenheim summation formula for number fields

Zhi Qi

DOI: https://doi.org/10.48550/arXiv.2105.09083

2022-05-12

Abstract:In this note, we establish a Voronoï--Oppenheim summation formula for divisor functions over an arbitrary number field.

Number Theory
Two New Kinds of Numbers and Their Arithmetic Properties

Zhi-Wei Sun

2014-01-01

Abstract:We mainly introduce two new kinds of numbers given by $$R_n=\sum_{k=0}^n\binom nk\binom{n+k}k\frac1{2k-1}\quad (n=0,1,2,...)$$ and $$S_n=\sum_{k=0}^n\binom nk^2\binom{2k}k(2k+1)\quad (n=0,1,2,...).$$ We find that such numbers have many interesting arithmetic properties. For example, if $p\equiv1\pmod 4$ is a prime with $p=x^2+y^2$ (where $x\equiv1\pmod 4$ and $y\equiv0\pmod 2$), then $$R_{(p-1)/2}\equiv p-(-1)^{(p-1)/4}2x\pmod{p^2}.$$ Also, $$\frac1{n^2}\sum_{k=0}^{n-1}S_k\in\mathbb Z \frac1n\sum_{k=0}^{n-1}S_k(x)\in\mathbb Z[x]\quad\text{for all} n=1,2,3,...,$$ where $S_k(x)=\sum_{j=0}^k\binom kj^2\binom{2j}j(2j+1)x^j$. For any positive integers $a$ and $n$, we show that, somewhat surprisingly, $$\frac1{n^2}\sum_{k=0}^{n-1}(2k+1)\binom{n-1}k^a\binom{-n-1}k^a\in\mathbb Z {and} \frac 1n\sum_{k=0}^{n-1}\frac{\binom{n-1}k^a\binom{-n-1}k^a}{4k^2-1}\in\mathbb Z.$$ We also solve a conjecture of V.J.W. Guo and J. Zeng, and pose several conjectures for further research.
Figurate numbers, forms of mixed type, and their representation numbers

Vaishya, Lalit

DOI: https://doi.org/10.1007/s11139-024-00868-9

2024-05-17

The Ramanujan Journal

Abstract:In this article, we consider the problem of determining formulas for the number of representations of a natural number n by a sum of figurate numbers with certain positive integer coefficients. To achieve this, we prove that the associated generating function gives rise to a modular form of integral weight under certain conditions on the coefficients when even number of higher figurate numbers are considered. In particular, we obtain the modular property of the generating function corresponding to a sum of even number of triangular numbers with coefficients. We also obtain the modularity property of the generating function of mixed forms involving figurate numbers (including the squares and triangular numbers) with coefficients and forms of the type with coefficients. In particular, we show the modularity of the generating function of odd number of squares and odd number of triangular numbers (with coefficients). As a consequence, explicit formulas for the number of representations of these mixed forms are obtained using a basis of the corresponding space of modular forms of integral weight. We also obtain several applications concerning the triangular numbers with coefficients similar to the ones obtained in Ono et al. (Aequat Math 50:73–94, 1995). In 2016, Xia et al. (Int J Number Theory 12:945–954) considered some special cases of mixed forms and obtained the number of representations of these 21 mixed forms using the ( p , k ) parametrization method. We also derive these 21 formulas using our method and further obtain as a consequence, the ( p , k ) parametrization of the Eisenstein series and its duplications. It is to be noted that the ( p , k ) parametrization of and its duplications were derived by a different method in [3, 8]. We illustrate our method with several examples.

mathematics
The Frobenius Formula for $A=(a,ha+d,ha+b_2d,...,ha+b_kd)$

Feihu Liu,Guoce Xin,Suting Ye,Jingjing Yin

2023-04-26

Abstract:Given relative prime positive integers $A=(a_1, a_2, ..., a_n)$, the Frobenius number $g(A)$ is the largest integer not representable as a linear combination of the $a_i$'s with nonnegative integer coefficients. We find the ``Stable" property introduced for the square sequence $A=(a,a+1,a+2^2,\dots, a+k^2)$ naturally extends for $A(a)=(a,ha+dB)=(a,ha+d,ha+b_2d,...,ha+b_kd)$. This gives a parallel characterization of $g(A(a))$ as a ``congruence class function" modulo $b_k$ when $a$ is large enough. For orderly sequence $B=(1,b_2,\dots,b_k)$, we find good bound for $a$. In particular we calculate $g(a,ha+dB)$ for $B=(1,2,b,b+1)$, $B=(1,2,b,b+1,2b)$, $B=(1,b,2b-1)$ and $B=(1,2,...,k,K)$. Our idea also applies to the case $B=(b_1,b_2,...,b_k)$, $b_1> 1$.

Combinatorics,Number Theory
Waring's problem with almost proportional summands

Zarullo Rakhmonov,Firuz Rakhmonov

2024-11-09

Abstract:For $n \geq 3$, an asymptotic formula is derived for the number of representations of a sufficiently large natural number $N$ as a sum of $r = 2^n + 1$ summands, each of which is an $n$-th power of natural numbers $x_i$, $i = \overline{1, r}$, satisfying the conditions $$ |x_i^n-\mu_iN|\le H,\qquad H\ge N^{1-\theta(n,r)+\varepsilon},\qquad \theta(n,r)=\frac2{(r+1)(n^2-n)}, $$ where $\mu_1, \ldots, \mu_r$ are positive fixed numbers, and $\mu_1 + \ldots + \mu_n = 1$. This result strengthens the theorem of <a class="link-external link-http" href="http://E.M.Wright" rel="external noopener nofollow">this http URL</a>.

Number Theory

An analogue of a formula of Popov

Several formulae for summation over $SL(2,\mathbb Z)$

On Popoviciu type tormulas for generalized restricted partition function

A q-analog of certain symmetric functions and one of its specializations

On a higher-order version of a formula due to Ramanujan

Exact formulae for ranks of partitions

Sums of triangular numbers and sums of squares

On Berndt's summation formula

Product formulas for the Higher Bessel functions

Sums of squares and sequences of modular forms

Asymptotic formula for the sum of a prime and a square-full number in short intervals

On Frobenius Formulas of Power Sequences

An Explicit Formula for the Berezin Star Product

Voronoi summation formulas, oscillations of Riesz sums, and Ramanujan-Guinand and Cohen type identities

Sums of powers of integers and the sequence A304330

Frobenius numbers associated with Diophantine triples of $x^2+y^2=z^r$ (extended version)

A Voronoï--Oppenheim summation formula for number fields

Two New Kinds of Numbers and Their Arithmetic Properties

Figurate numbers, forms of mixed type, and their representation numbers

The Frobenius Formula for $A=(a,ha+d,ha+b_2d,...,ha+b_kd)$

Waring's problem with almost proportional summands