Showing 1–7 of 7 results for author: Gomez, K

Hecke polynomials for the mock modular form arising from the Delta-function

Authors: Kevin Gomez, Ken Ono

Abstract: We consider a mock modular form $M_Δ(τ)$ that arises naturally from Ramanujan's Delta-function. It is a weight $-10$ harmonic Maass form whose nonholomorphic part is the "period integral function'' of $Δ(τ)$. The Hecke operator $T_{-10}(m)$ acts on this mock modular form in terms of Ramanujan's $τ(m)$ and a monic degree $m$ polynomial $F_m(x),$ evaluated at $x=j(τ).$ In analogy with results by Asa… ▽ More We consider a mock modular form $M_Δ(τ)$ that arises naturally from Ramanujan's Delta-function. It is a weight $-10$ harmonic Maass form whose nonholomorphic part is the "period integral function'' of $Δ(τ)$. The Hecke operator $T_{-10}(m)$ acts on this mock modular form in terms of Ramanujan's $τ(m)$ and a monic degree $m$ polynomial $F_m(x),$ evaluated at $x=j(τ).$ In analogy with results by Asai, Kaneko, and Ninomiya on the zeros of Hecke polynomials for the $j$-function, we prove that the zeros of each $F_m(x)$, including $x=0$ and $x=1728,$ are distinct and lie in $[0, 1728]$. Additionally, as $m \to +\infty,$ these zeros become equidistributed in $[0, 1728].$ △ Less

Submitted 20 June, 2025; originally announced June 2025.

Comments: Submitted to the Proceedings of the 17th Mathematical Society of Japan's Seasonal Institute; In celebration of Masanobu Kaneko's (60+4)th birthday

MSC Class: 11F30; 11F25

Pentagonal number recurrence relations for $p(n)$

Authors: Kevin Gomez, Ken Ono, Hasan Saad, Ajit Singh

Abstract: We revisit Euler's partition function recurrence, which asserts, for integers $n\geq 1,$ that $$ p(n)=p(n-1)+p(n-2)-p(n-5)-p(n-7)+\dots = \sum_{k\in \mathbb{Z}\setminus \{0\}} (-1)^{k+1} p(n-ω(k)), $$ where $ω(m):=(3m^2+m)/2$ is the $m$th pentagonal number. We prove that this classical result is the $ν=0$ case of an infinite family of ``pentagonal number'' recurrences. For each $ν\geq 0,$ we prove… ▽ More We revisit Euler's partition function recurrence, which asserts, for integers $n\geq 1,$ that $$ p(n)=p(n-1)+p(n-2)-p(n-5)-p(n-7)+\dots = \sum_{k\in \mathbb{Z}\setminus \{0\}} (-1)^{k+1} p(n-ω(k)), $$ where $ω(m):=(3m^2+m)/2$ is the $m$th pentagonal number. We prove that this classical result is the $ν=0$ case of an infinite family of ``pentagonal number'' recurrences. For each $ν\geq 0,$ we prove for positive $n$ that $$ p(n)=\frac{1}{g_ν(n,0)}\left(α_ν\cdot σ_{2ν-1}(n)+ \mathrm{Tr}_{2ν}(n) +\sum_{k\in \mathbb{Z}\setminus \{0\}} (-1)^{k+1} g_ν(n,k)\cdot p(n-ω(k))\right), $$ where $σ_{2ν-1}(n)$ is a divisor function, $\mathrm{Tr}_{2ν}(n)$ is the $n$th weight $2ν$ Hecke trace of values of special twisted quadratic Dirichlet series, and each $g_ν(n,k)$ is a polynomial in $n$ and $k.$ The $ν=6$ case can be viewed as a partition theoretic formula for Ramanujan's tau-function, as we have $$ \mathrm{Tr}_{12}(n)=-\frac{33108590592}{691}\cdot τ(n). $$ △ Less

Submitted 21 April, 2025; v1 submitted 25 November, 2024; originally announced November 2024.

Comments: A few minor typos corrected. This paper will appear in Advances in Mathematics

MSC Class: 11P82; 05A17

MacMahonesque partition functions detect sets related to primes

Authors: Kevin Gomez

Abstract: Recent work by Craig, van Ittersum, and Ono constructs explicit expressions in the partition functions of MacMahon that detect the prime numbers. Furthermore, they define generalizations, the MacMahonesque functions, and prove there are infinitely many such expressions in these functions. Here, we show how to modify and adapt their construction to detect cubes of primes as well as primes in arithm… ▽ More Recent work by Craig, van Ittersum, and Ono constructs explicit expressions in the partition functions of MacMahon that detect the prime numbers. Furthermore, they define generalizations, the MacMahonesque functions, and prove there are infinitely many such expressions in these functions. Here, we show how to modify and adapt their construction to detect cubes of primes as well as primes in arithmetic progressions. △ Less

Submitted 16 January, 2025; v1 submitted 21 September, 2024; originally announced September 2024.

Comments: Minor corrections caught by referee

MSC Class: 11P81; 05A17 (Primary) 11Fxx (Secondary)

The second shifted difference of partitions and its applications

Authors: Kevin Gomez, Joshua Males, Larry Rolen

Abstract: A number of recent papers have estimated ratios of the partition function $p(n-j)/p(n)$, which appears in many applications. Here, we prove an easy-to-use effective bound on these ratios. Using this, we then study second shifted difference of partitions, $f(j,n):= p(n) -2p(n-j) +p(n-2j)$, and give another easy-to-use estimate of $f(j,n)$. As applications of these, we prove a shifted convexity prop… ▽ More A number of recent papers have estimated ratios of the partition function $p(n-j)/p(n)$, which appears in many applications. Here, we prove an easy-to-use effective bound on these ratios. Using this, we then study second shifted difference of partitions, $f(j,n):= p(n) -2p(n-j) +p(n-2j)$, and give another easy-to-use estimate of $f(j,n)$. As applications of these, we prove a shifted convexity property of $p(n)$, as well as giving new estimates of the $k$-rank partition function $N_k(m,n)$ and non-$k$-ary partitions along with their differences. △ Less

Submitted 20 October, 2023; v1 submitted 22 March, 2022; originally announced March 2022.

Comments: 13 pages, incorporated referee's comments. To appear in Bull. Aust. Math. Soc

Report number: MPIM-Bonn-2022

Infinite families of crank functions, Stanton-type conjectures, and unimodality

Authors: Kathrin Bringmann, Kevin Gomez, Larry Rolen, Zack Tripp

Abstract: Dyson's rank function and the Andrews--Garvan crank function famously give combinatorial witnesses for Ramanujan's partition function congruences modulo 5, 7, and 11. While these functions can be used to show that the corresponding sets of partitions split into 5, 7, or 11 equally sized sets, one may ask how to make the resulting bijections between partitions organized by rank or crank combinatori… ▽ More Dyson's rank function and the Andrews--Garvan crank function famously give combinatorial witnesses for Ramanujan's partition function congruences modulo 5, 7, and 11. While these functions can be used to show that the corresponding sets of partitions split into 5, 7, or 11 equally sized sets, one may ask how to make the resulting bijections between partitions organized by rank or crank combinatorially explicit. Stanton recently made conjectures which aim to uncover a deeper combinatorial structure along these lines, where it turns out that minor modifications of the rank and crank are required. Here, we prove two of these conjectures. We also provide abstract criteria for quotients of polynomials by certain cyclotomic polynomials to have non-negative coefficients based on unimodality and symmetry. Furthermore, we extend Stanton's conjecture to an infinite family of cranks. This suggests further applications to other combinatorial objects. We also discuss numerical evidence for our conjectures, connections with other analytic conjectures such as the distribution of partition ranks. △ Less

Submitted 22 March, 2022; v1 submitted 29 August, 2021; originally announced August 2021.

Report number: MPIM-Bonn-2022

Supersingular Loci from Traces of Hecke Operators

Authors: Kevin Gomez, Kaya Lakein, Anne Larsen

Abstract: A classical observation of Deligne shows that, for any prime $p \geq 5$, the divisor polynomial of the Eisenstein series $E_{p-1}(z)$ mod $p$ is closely related to the supersingular polynomial at $p$, $$S_p(x) := \prod_{E/\bar{\mathbb{F}}_p \text{ supersingular}}(x-j(E)) \in \mathbb{F}_p[x].$$ Deuring, Hasse, and Kaneko and Zagier found other families of modular forms which also give the supersing… ▽ More A classical observation of Deligne shows that, for any prime $p \geq 5$, the divisor polynomial of the Eisenstein series $E_{p-1}(z)$ mod $p$ is closely related to the supersingular polynomial at $p$, $$S_p(x) := \prod_{E/\bar{\mathbb{F}}_p \text{ supersingular}}(x-j(E)) \in \mathbb{F}_p[x].$$ Deuring, Hasse, and Kaneko and Zagier found other families of modular forms which also give the supersingular polynomial at $p$. In a new approach, we prove an analogue of Deligne's result for the Hecke trace forms $T_k(z)$ defined by the Hecke action on the space of cusp forms $S_k$. We use the Eichler-Selberg trace formula to identify congruences between trace forms of different weights mod $p$, and then relate their divisor polynomials to $S_p(x)$ using Deligne's observation. △ Less

Submitted 8 May, 2022; v1 submitted 29 June, 2021; originally announced June 2021.

Comments: Minor revisions addressing a referee's comments

MSC Class: 11F33; 11G07

Bounds for Coefficients of the $f(q)$ Mock Theta Function and Applications to Partition Ranks

Authors: Kevin Gomez, Eric Zhu

Abstract: We compute effective bounds for $α(n)$, the Fourier coefficients of Ramunujan's mock theta function $f(q)$ utilizing a finite algebraic formula due to Bruinier and Schwagenscheidt. We then use these bounds to prove two conjectures of Hou and Jagadeesan on the convexity and maximal multiplicative properties of the even and odd partition rank counting functions. We compute effective bounds for $α(n)$, the Fourier coefficients of Ramunujan's mock theta function $f(q)$ utilizing a finite algebraic formula due to Bruinier and Schwagenscheidt. We then use these bounds to prove two conjectures of Hou and Jagadeesan on the convexity and maximal multiplicative properties of the even and odd partition rank counting functions. △ Less

Submitted 16 January, 2021; v1 submitted 19 August, 2020; originally announced August 2020.

Comments: 19 + epsilon pages