Related papers: Sums of squares and sequences of modular forms
In this work we study the problem of writing a Hermitian polynomial as a Hermitian sum of squares modulo a Hermitian ideal. We investigate a novel idea of Putinar-Scheiderer to obtain necessary matrix positivity conditions for Hermitian…
A simple proof of Ramanujan's formula for the Fourier transform of the square of the modulus of the Gamma function restricted to a vertical line in the right half-plane is given. The result is extended to vertical lines in the left…
In correspondence with Goldbach, Euler began investigating series of the form $\sum_{k \geq 1} k^{-m}\left(1 + 2^{-n} + \cdots + k^{-n}\right)$, which are known today as Euler sums. For the case where $n=1$ and $m \geq 2$, Euler was able to…
The set of possible spectra (\lambda,\mu,\nu) of zero-sum triples of Hermitian matrices forms a polyhedral cone. We give a complete determination of its facets, finishing a long story with recent highlights by [Helmke-Rosenthal, Klyachko,…
We refine a remark of Steinerberger (2024), proving that for $\alpha \in \mathbb{R}$, there exists integers $1 \leq b_{1}, \ldots, b_{k} \leq n$ such that \[ \left\| \sum_{j=1}^k \sqrt{b_j} - \alpha \right\| = O(n^{-\gamma_k}), \] where…
Cohen-Ramanujan sum, denoted by $c_r^s(n)$, is an exponential sum similar to the Ramanujan sum $c_r(n):=\sum\limits_{\substack{h=1\\{(h,r)=1}}}^{r}e^{\frac{2\pi i n h}{r}}$. An arithmetical function $f$ is said to admit a Cohen-Ramanujan…
For each prime $\ell$, let $|\cdot|_\ell$ be an extension to $\bar \Q$ of the usual $\ell$-adic absolute value on $\Q$. Suppose $g(z) = \sum_{n=0}^\infty c(n)q^n \in M_{k+\half}(N)$ is an eigenform whose Fourier coefficients are algebraic…
The polynomial Ramanujan sum was first introduced by Carlitz [7], and a generalized version by Cohen [10]. In this paper, we study the arithmetical and analytic properties of these sums, derive various fundamental identities, such as H…
The sums $\sum_{j = 0}^k {u_{rj + s}^{2n}z^j }$, $\sum_{j = 0}^k {u_{rj + s}^{2n-1}z^j }$, $\sum_{j = 0}^k {v_{rj + s}^{n}z^j }$ and $\sum_{j = 0}^k {w_{rj + s}^{n}z^j }$ are evaluated; where $n$ is any positive integer, $r$, $s$ and $k$…
We considerably improve Ono's and Ahlgren-Ono's work on the frequent occurrence of Ramanujan-type congruences for the partition function, and demonstrate that Ramanujan-type congruences occur in families that are governed by square-classes.…
Let $h(B_d)$ denote the space of real-valued harmonic functions on the unit ball $B_d$ of $\mathbb{R}^d$, $d\ge 2$. Given a radial weight $w$ on $B_d$, consider the following problem: construct a finite family $\{f_1, f_2, \dots, f_J\}$ in…
We generalize the patterns of supercongruences of Ramanujan-type observed by L. Van Hamme and W. Zudilin to series involving simple square roots anywhere and not only in the result of the sum. To support our observations we give some…
We show that double sums of the form $$ \sum_{i,j=-n} ^{n} |i^sj^t(i^k-j^k)^\beta| \binom {2n} {n+i} \binom {2n} {n+j} $$ can always be expressed in terms of a linear combination of just four functions, namely $\binom {4n}{2n}$, ${\binom…
This paper proposes an elementary solution to a special case of finding all perfect squares that can be written as sum of consecutive integer cubes. It is shown that there are no non-trivial solutions if the perfect square is a prime power,…
We define, for each subset $S$ of primes, an $S_n$-module $Lie_n^S$ with interesting properties. When $S=\emptyset,$ this is the well-known representation $Lie_n$ of $S_n$ afforded by the free Lie algebra. The most intriguing case is…
We construct an infinite set of conserved tensor currents of rank $2n$, $n=1,2,\dots$, in the two-dimensional theory of free massive fermions, which are bilinear in the fermionic fields. The one-point functions of these currents on the…
We consider the expansion of the square of a complete homogeneous function $h_\lambda$, or of an elementary symmetric function $e_\lambda$, in the basis of Schur functions. This square also decomposes into two plethysms, $s_2[h_\lambda]$…
We study the arctanh sums h(k) = sum_{n=2}^\infty arctanh(n^{-k}) as a function of a complex variable k. Building on the closed-form identity h(k) = (1/2) log(g(2k)/g(k)^2) (proved in the companion preprint arXiv:2602.06244), we develop the…
Given a multiplicative function $f$ which is periodic over the primes, we obtain a full asymptotic expansion for the shifted convolution sum $\sum_{|h|<n\leq x} f(n) \tau(n-h)$, where $\tau$ denotes the divisor function and…
We study the representations of large integers $n$ as sums $p_1^2 + ... + p_s^2$, where $p_1,..., p_s$ are primes with $| p_i - (n/s)^{1/2} | \le n^{\theta/2}$, for some fixed $\theta < 1$. When $s = 5$ we use a sieve method to show that…