Showing 1–50 of 69 results for author: Kane, B

On a conjecture about prime-detecting quasimodular forms

Authors: Ben Kane, Krishnarjun Krishnamoorthy, Yuk-Kam Lau

Abstract: Motivated by weighted partition of $n$ that vanish if and only if $n$ is a prime, Craig, van Ittersum, and Ono conjecture a classification of quasimodular forms which detect primes in the sense that the $n$-th Fourier coefficient vanishes if and only if $n$ is a prime. In this paper, we prove this conjecture by showing that Fourier coefficients of quasimodular cusp forms exhibit infinitely many si… ▽ More Motivated by weighted partition of $n$ that vanish if and only if $n$ is a prime, Craig, van Ittersum, and Ono conjecture a classification of quasimodular forms which detect primes in the sense that the $n$-th Fourier coefficient vanishes if and only if $n$ is a prime. In this paper, we prove this conjecture by showing that Fourier coefficients of quasimodular cusp forms exhibit infinitely many sign changes. △ Less

Submitted 30 June, 2025; originally announced July 2025.

MSC Class: 11F11; 11F30

Higher order Turán inequalities for unimodal sequences

Authors: Koustav Banerjee, Kathrin Bringmann, Ben Kane

Abstract: We derive an asymptotic expansion with effective error bound for $u(n)$, counting the number of unimodal sequences of size $n$. We prove that $u(n)$ satisfies the higher order Turán inequalities for $n\geq33$ and that certain second $j$-shifted difference of $u(n)$ are positive. We derive an asymptotic expansion with effective error bound for $u(n)$, counting the number of unimodal sequences of size $n$. We prove that $u(n)$ satisfies the higher order Turán inequalities for $n\geq33$ and that certain second $j$-shifted difference of $u(n)$ are positive. △ Less

Submitted 21 May, 2025; originally announced May 2025.

Vanishing properties of Fourier coefficients of holomorphic $η$-quotients

Authors: Kathrin Bringmann, Guoniu Han, Bernhard Heim, Ben Kane

Abstract: In this paper, we study vanishing of Fourier coefficients of holomorphic $η$-quotients. We investigate examples of two different types: the first one involves integral weight CM newforms, while the second one involves half-integral weight $η$-quotients associated with sums of squares and Hurwitz class numbers. In this paper, we study vanishing of Fourier coefficients of holomorphic $η$-quotients. We investigate examples of two different types: the first one involves integral weight CM newforms, while the second one involves half-integral weight $η$-quotients associated with sums of squares and Hurwitz class numbers. △ Less

Submitted 8 November, 2024; originally announced November 2024.

Sign changes of Fourier coefficients for holomorphic eta-quotients

Authors: Kathrin Bringmann, Guoniu Han, Bernhard Heim, Ben Kane

Abstract: In this paper we study sign changes of an infinite class of $η$-quotients which are holomorphic modular forms. There is also a relation to Hurwitz class numbers. In this paper we study sign changes of an infinite class of $η$-quotients which are holomorphic modular forms. There is also a relation to Hurwitz class numbers. △ Less

Submitted 15 October, 2024; originally announced October 2024.

Sums of generalized polygonal numbers of almost prime "length"

Authors: Soumyarup Banerjee, Ben Kane, Daejun Kim

Abstract: In this paper, we consider sums of three generalized $m$-gonal numbers whose parameters are restricted to integers with a bounded number of prime divisors. With some restrictions on $m$ modulo $30$, we show that a density one set of integers is represented as such a sum, where the parameters are restricted to have at most 6361 prime factors. Moreover, if the squarefree part of $f_m(n)$ is sufficie… ▽ More In this paper, we consider sums of three generalized $m$-gonal numbers whose parameters are restricted to integers with a bounded number of prime divisors. With some restrictions on $m$ modulo $30$, we show that a density one set of integers is represented as such a sum, where the parameters are restricted to have at most 6361 prime factors. Moreover, if the squarefree part of $f_m(n)$ is sufficiently large, then $n$ is represented as such a sum, where $f_m(n)$ is a natural linear function in $n$. △ Less

Submitted 20 September, 2024; v1 submitted 12 September, 2024; originally announced September 2024.

MSC Class: 11F27; 11F37; 11E20; 11E45; 11N36

Periodic sign changes for weakly holomorphic $η$-quotients

Authors: Kathrin Bringmann, Guoniu Han, Bernhard Heim, Ben Kane

Abstract: In this paper, we study sign changes of weakly holomorphic modular forms which are given as $η$-quotients. We give representative examples for forms of negative weight, weight zero, and positive weight. In this paper, we study sign changes of weakly holomorphic modular forms which are given as $η$-quotients. We give representative examples for forms of negative weight, weight zero, and positive weight. △ Less

Submitted 11 September, 2024; originally announced September 2024.

MSC Class: 11F11; 11F20; 11F30; 11F37

On a sign-change conjecture of Schlosser and Zhou

Authors: Kathrin Bringmann, Bernhard Heim, Ben Kane

Abstract: In this paper, we investigate the signs changes of Fourier coefficients of infinite products of $q$-series of Rogers--Ramanujan type. In particular, we prove a conjecture made by Schlosser--Zhou pertaining to such sign changes for products of modulus $10$. In this paper, we investigate the signs changes of Fourier coefficients of infinite products of $q$-series of Rogers--Ramanujan type. In particular, we prove a conjecture made by Schlosser--Zhou pertaining to such sign changes for products of modulus $10$. △ Less

Submitted 12 July, 2024; v1 submitted 5 June, 2024; originally announced June 2024.

The bias conjecture for elliptic curves over finite fields and Hurwitz class numbers in arithmetic progressions

Authors: Ben Kane, Sudhir Pujahari, Zichen Yang

Abstract: In this paper, we consider a version of the bias conjecture for second moments in the setting of elliptic curves over finite fields whose trace of Frobenius lies in an arbitrary fixed arithmetic progression. Contrary to the classical setting of reductions of one-parameter families over the rationals, where it is conjectured by Steven J. Miller that the bias is always negative, we prove that in our… ▽ More In this paper, we consider a version of the bias conjecture for second moments in the setting of elliptic curves over finite fields whose trace of Frobenius lies in an arbitrary fixed arithmetic progression. Contrary to the classical setting of reductions of one-parameter families over the rationals, where it is conjectured by Steven J. Miller that the bias is always negative, we prove that in our setting the bias is positive for a positive density of arithmetic progressions and negative for a positive density of arithmetic progressions. Along the way, we obtain explicit formulas for moments of traces of Frobenius of elliptic curves over finite fields in arithmetic progressions and related moments of Hurwitz class numbers in arithmetic progressions, the distribution of which are of independent interest. △ Less

Submitted 29 August, 2024; v1 submitted 23 May, 2024; originally announced May 2024.

MSC Class: 11E41; 11F11; 11F27; 11F37; 11G05; 11G07

The mass of shifted lattices and class numbers of inhomogeneous quadratic polynomials

Authors: Kathrin Bringmann, Zilong He, Ben Kane

Abstract: In this paper, we investigate class numbers of shifted quadratic lattices $L+\frac{\boldsymbol{u}}{c}$ with $\boldsymbol{u}\in L$ and odd conductor $c\in \mathbb{N}$. For a lattice $L$ whose genus only contains one class, we determine a lower bound for the number of classes in the genus of $L+\frac{\boldsymbol{u}}{c}$ depending on $c$. As a result, we obtain an explicit bound $c_0$ such that any s… ▽ More In this paper, we investigate class numbers of shifted quadratic lattices $L+\frac{\boldsymbol{u}}{c}$ with $\boldsymbol{u}\in L$ and odd conductor $c\in \mathbb{N}$. For a lattice $L$ whose genus only contains one class, we determine a lower bound for the number of classes in the genus of $L+\frac{\boldsymbol{u}}{c}$ depending on $c$. As a result, we obtain an explicit bound $c_0$ such that any such shifted lattice with one class in its genus must have conductor smaller than $c_0$, restricting the possible choices of such $L+\frac{\boldsymbol{u}}{c}$ to a finite set. △ Less

Submitted 29 May, 2023; originally announced May 2023.

MSC Class: 11E08; 11E12; 11E41

On finiteness theorems for sums of generalized polygonal numbers

Authors: Ben Kane, Zichen Yang

Abstract: In this paper, we consider mixed sums of generalized polygonal numbers. Specifically, we obtain a finiteness condition for universality of such sums; this means that it suffices to check representability of a finite subset of the positive integers in order to conclude that the sum of generalized polygonal numbers represents every positive integer. The sub-class of sums of generalized polygonal num… ▽ More In this paper, we consider mixed sums of generalized polygonal numbers. Specifically, we obtain a finiteness condition for universality of such sums; this means that it suffices to check representability of a finite subset of the positive integers in order to conclude that the sum of generalized polygonal numbers represents every positive integer. The sub-class of sums of generalized polygonal numbers which we consider is those sums of $m_j$-gonal numbers for which $\operatorname{lcm}(m_1-2,\dots,m_{r}-2)\leq \mathfrak{M}$ and we obtain a bound on the asymptotic growth of a constant $Γ_{\mathfrak{M}}$ such that it suffices to check the representability condition for $n\leq Γ_{\mathfrak{M}}$. △ Less

Submitted 23 May, 2023; originally announced May 2023.

MSC Class: 11E25; 11F27; 11F30

Generalized $L$-functions related to the Riemann zeta function

Authors: Kathrin Bringmann, Ben Kane, Srimathi Varadharajan

Abstract: In this paper, we construct generalized $L$-functions associated to meromorphic modular forms of weight $\frac12$ for the theta group with a single simple pole in the fundamental domain. We then consider their behaviour towards $i\infty$ and relate this to the Riemann zeta function. In this paper, we construct generalized $L$-functions associated to meromorphic modular forms of weight $\frac12$ for the theta group with a single simple pole in the fundamental domain. We then consider their behaviour towards $i\infty$ and relate this to the Riemann zeta function. △ Less

Submitted 22 May, 2023; originally announced May 2023.

MSC Class: 11F12; 11M41; 11M06

Hecke eigenforms for meromorphic cusp forms

Authors: Kathrin Bringmann, Ben Kane, Michael H. Mertens

Abstract: In this paper, we construct Hecke eigenforms for two families of quotient spaces of meromorphic cusp forms on $\mathrm{SL}_2(\mathbb{Z})$. We show that each quotient space in the first (resp. second family) is isomorphic as a Hecke module to the space $S_{2k}$ (resp. $M_{2k}$) of cusp forms (resp. holomorphic modular forms) of the same weight on $\mathrm{SL}_2(\mathbb{Z})$. In this paper, we construct Hecke eigenforms for two families of quotient spaces of meromorphic cusp forms on $\mathrm{SL}_2(\mathbb{Z})$. We show that each quotient space in the first (resp. second family) is isomorphic as a Hecke module to the space $S_{2k}$ (resp. $M_{2k}$) of cusp forms (resp. holomorphic modular forms) of the same weight on $\mathrm{SL}_2(\mathbb{Z})$. △ Less

Submitted 2 May, 2023; originally announced May 2023.

Comments: 20 pages, comments welcome

MSC Class: 11F11; 11F25; 11F37

Eisenstein series part of the primitive representations for even rank quadratic forms

Authors: Ben Kane, Luhao Xue

Abstract: In this paper, we first investigate the relationship between the number of primitive representations of $n$ by quadratic forms and the number of non-primitive ones. We hence obtain a theorem to deal with the Eisenstein series part with quadratic Dirichlet character when deriving the formula for the number of primitive representations of an integer $n$ by even rank quadratic forms from the number o… ▽ More In this paper, we first investigate the relationship between the number of primitive representations of $n$ by quadratic forms and the number of non-primitive ones. We hence obtain a theorem to deal with the Eisenstein series part with quadratic Dirichlet character when deriving the formula for the number of primitive representations of an integer $n$ by even rank quadratic forms from the number of non primitive ones. Formulas for special cases are given as examples. △ Less

Submitted 27 August, 2023; v1 submitted 31 March, 2023; originally announced March 2023.

MSC Class: 11F11; 11F27; 11E20

Journal ref: Involve 17 (2024) 771-794

Theta series of ternary quadratic lattice cosets

Authors: Ben Kane, Daejun Kim

Abstract: In this paper, we consider the decomposition of theta series for lattice cosets of ternary lattices. We show that the natural decomposition into an Eisenstein series, a unary theta function, and a cuspidal form which is orthogonal to unary theta functions correspond to the theta series for the genus, the deficiency of the theta series for the spinor genus from that of the genus, and the deficiency… ▽ More In this paper, we consider the decomposition of theta series for lattice cosets of ternary lattices. We show that the natural decomposition into an Eisenstein series, a unary theta function, and a cuspidal form which is orthogonal to unary theta functions correspond to the theta series for the genus, the deficiency of the theta series for the spinor genus from that of the genus, and the deficiency of the theta series for the class from that of the spinor genus, respectively. These three pieces are hence invariants of the genus, spinor genus, and class, respectively, extending known results for lattices and verifying a conjecture of the first author and Haensch. We furthermore extend the definition of $p$-neighbors to include lattice cosets and construct an algorithm to compute respresentatives for the classes in the genus or spinor genus via the $p$-neighborhoods. △ Less

Submitted 8 May, 2024; v1 submitted 7 November, 2022; originally announced November 2022.

MSC Class: 11F37; 11F60; 11E20; 11H55

Explicit Class number formulas for Siegel--Weil averages of ternary quadratic forms

Authors: Ben Kane, Daejun Kim, Srimathi Varadharajan

Abstract: In this paper, we investigate the interplay between positive-definite integral ternary quadratic forms and class numbers. We generalize a result of Jones relating the theta function for the genus of a quadratic form to the Hurwitz class numbers, obtaining an asymptotic formula (with a main term and error term away from finitely many bad square classes $t_j\mathbb{Z}^2$) relating the number of latt… ▽ More In this paper, we investigate the interplay between positive-definite integral ternary quadratic forms and class numbers. We generalize a result of Jones relating the theta function for the genus of a quadratic form to the Hurwitz class numbers, obtaining an asymptotic formula (with a main term and error term away from finitely many bad square classes $t_j\mathbb{Z}^2$) relating the number of lattices points in a quadratic space of a given norm with a sum of class numbers related to that norm and the squarefree part of the discriminant of the quadratic form on this lattice. △ Less

Submitted 30 March, 2022; originally announced March 2022.

MSC Class: 11E20; 11E41; 11H55

Universal sums of generalized heptagonal numbers

Authors: Ramanujam Kamaraj, Ben Kane, Ryoko Tomiyasu

Abstract: In this paper, we consider representations of integers as sums of generalized heptagonal numbers with a prescribed number of repeats of each heptagonal number appearing in the sum. In particular, we investigate the classification of such sums which are universal, i.e., those that represent every positive integer. We prove an explicit finite bound such that a given sum is universal if and only if i… ▽ More In this paper, we consider representations of integers as sums of generalized heptagonal numbers with a prescribed number of repeats of each heptagonal number appearing in the sum. In particular, we investigate the classification of such sums which are universal, i.e., those that represent every positive integer. We prove an explicit finite bound such that a given sum is universal if and only if it represents positive integer up to the given bound. △ Less

Submitted 28 March, 2022; originally announced March 2022.

MSC Class: 11E25; 11E45; 11F27; 11F11

Generalized L-functions for meromorphic modular forms and their relation to the Riemann zeta function

Authors: Kathrin Bringmann, Ben Kane

Abstract: In this paper, we construct a family of generalized $L$-functions, one for each point $z$ in the upper half-plane. We prove that as $z$ approaches $i\infty$, these generalized $L$-functions converge to an $L$-function which can be written in terms of the Riemann zeta function. In this paper, we construct a family of generalized $L$-functions, one for each point $z$ in the upper half-plane. We prove that as $z$ approaches $i\infty$, these generalized $L$-functions converge to an $L$-function which can be written in terms of the Riemann zeta function. △ Less

Submitted 23 December, 2021; originally announced December 2021.

MSC Class: 11F12; 11M41; 11M06

Odd moments for the trace of Frobenius and the Sato--Tate conjecture in arithmetic progressions

Authors: Kathrin Bringmann, Ben Kane, Sudhir Pujahari

Abstract: In this paper, we consider the moments of the trace of Frobenius of elliptic curves if the trace is restricted to a fixed arithmetic progression. We determine the asymptotic behavior for the ratio of the $(2k+1)$-th moment to the zeroeth moment as the size of the finite field $\mathbb{F}_{p^r}$ goes to infinity. These results follow from similar asymptotic formulas relating sums and moments of Hur… ▽ More In this paper, we consider the moments of the trace of Frobenius of elliptic curves if the trace is restricted to a fixed arithmetic progression. We determine the asymptotic behavior for the ratio of the $(2k+1)$-th moment to the zeroeth moment as the size of the finite field $\mathbb{F}_{p^r}$ goes to infinity. These results follow from similar asymptotic formulas relating sums and moments of Hurwitz class numbers where the sums are restricted to certain arithmetic progressions. As an application, we prove that the distribution of the trace of Frobenius in arithmetic progressions is equidistributed with respect to the Sato--Tate measure. △ Less

Submitted 19 June, 2024; v1 submitted 15 December, 2021; originally announced December 2021.

MSC Class: 11E41; 11F27; 11F37; 11G05

Conjectures of Sun about sums of polygonal numbers

Authors: Kathrin Bringmann, Ben Kane

Abstract: In this paper, we show that certain sums of generalized $m$-gonal numbers represent every positive integer if and only if they represent every positive integer up to an explicit bound $C_m$, verifying a conjecture of Sun for sufficiently large positive integers. In this paper, we show that certain sums of generalized $m$-gonal numbers represent every positive integer if and only if they represent every positive integer up to an explicit bound $C_m$, verifying a conjecture of Sun for sufficiently large positive integers. △ Less

Submitted 29 September, 2021; originally announced September 2021.

MSC Class: 11F11; 11F27

Formulas for moments of class numbers in arithmetic progressions

Authors: Kathrin Bringmann, Ben Kane, Sudhir Pujahari

Abstract: In this paper, we obtain explicit formulas for the second moments for Hurwitz class numbers $H(4n-t^2)$ with $t$ running through a fixed congruence class modulo $3$. In this paper, we obtain explicit formulas for the second moments for Hurwitz class numbers $H(4n-t^2)$ with $t$ running through a fixed congruence class modulo $3$. △ Less

Submitted 15 September, 2021; originally announced September 2021.

MSC Class: 11E41; 11F27; 11F37; 11G05

Packing theory derived from phyllotaxis and products of linear forms 0

Authors: S. E. Graiff Zurita, B. Kane, R. Oishi-Tomiyasu

Abstract: \textit{Parastichies} are spiral patterns observed in plants and numerical patterns generated using golden angle method. We generalize this method by using Markoff theory and the theory of product of linear forms, to obtain a theory for packing of Riemannian manifolds of general dimensions $n$ with a locally diagonalizable metric, including the Euclidean spaces. For example, packings in a plane wi… ▽ More \textit{Parastichies} are spiral patterns observed in plants and numerical patterns generated using golden angle method. We generalize this method by using Markoff theory and the theory of product of linear forms, to obtain a theory for packing of Riemannian manifolds of general dimensions $n$ with a locally diagonalizable metric, including the Euclidean spaces. For example, packings in a plane with logarithmic spirals and in a 3D ball (3D analogue of the Vogel spiral) are newly obtained. Using this method, we prove that it is possible to generate almost uniformly distributed point sets on any real analytic Riemannian surfaces in a local sense. We also discuss how to extend the packing to the whole manifold in some special cases including the Vogel spiral. The packing density is bounded below by approximately 0.7 for surfaces and 0.38 for 3-manifolds under the most general assumption. △ Less

Submitted 26 September, 2024; v1 submitted 23 June, 2021; originally announced June 2021.

MSC Class: 52C15; 52C17 (primary); 11J70; 11J06; 35Q92 (secondary)

Finiteness theorems for universal sums of squares of almost primes

Authors: Soumyarup Banerjee, Ben Kane

Abstract: In this paper we study quadratic forms which are universal when restricted to almost prime inputs, establishing finiteness theorems akin to the Conway--Schneeberger 15 theorem. In this paper we study quadratic forms which are universal when restricted to almost prime inputs, establishing finiteness theorems akin to the Conway--Schneeberger 15 theorem. △ Less

Submitted 5 July, 2021; v1 submitted 9 June, 2021; originally announced June 2021.

MSC Class: 11F37; 11F11; 11E45

A very special case of Siegel's mass formula and Hecke operators

Authors: Pavel Guerzhoy, Ben Kane

Abstract: We make use of Hecke operators and arithmetic of imaginary quadratic fields to derive an explicit version of a special case of Siegel's mass formula. We make use of Hecke operators and arithmetic of imaginary quadratic fields to derive an explicit version of a special case of Siegel's mass formula. △ Less

Submitted 3 May, 2021; originally announced May 2021.

MSC Class: 11E16; 11E41; 11F12; 11F25; 11F27; 11F30

Representations of integers as sums of four polygonal numbers and partial theta functions

Authors: Kathrin Bringmann, Min-Joo Jang, Ben Kane

Abstract: In this paper, we consider representations of integers as sums of at most four distinct $m$-gonal numbers (allowing a fixed number of repeats of each polygonal number occurring in the sum). We show that the number of such representations with non-negative parameters (hence counting the number of points in a regular $m$-gon) is asymptotically the same as $\frac{1}{16}$ times the number of such repr… ▽ More In this paper, we consider representations of integers as sums of at most four distinct $m$-gonal numbers (allowing a fixed number of repeats of each polygonal number occurring in the sum). We show that the number of such representations with non-negative parameters (hence counting the number of points in a regular $m$-gon) is asymptotically the same as $\frac{1}{16}$ times the number of such representations with arbitrary integer parameters (often called generalized polygonal numbers). △ Less

Submitted 17 March, 2021; originally announced March 2021.

MSC Class: 11F11; 11F37; 11E45

Fractional partitions and conjectures of Chern-Fu-Tang and Heim-Neuhauser

Authors: Kathrin Bringmann, Ben Kane, Larry Rolen, Zack Tripp

Abstract: Many papers have studied inequalities for partition functions. Recently, a number of papers have considered mixtures between additive and multiplicative behavior in such inequalities. In particular, Chern-Fu-Tang and Heim-Neuhauser gave conjectures on inequalities for coefficients of powers of the generating partition function. These conjectures were posed in the context of colored partitions and… ▽ More Many papers have studied inequalities for partition functions. Recently, a number of papers have considered mixtures between additive and multiplicative behavior in such inequalities. In particular, Chern-Fu-Tang and Heim-Neuhauser gave conjectures on inequalities for coefficients of powers of the generating partition function. These conjectures were posed in the context of colored partitions and the Nekrasov-Okounkov formula. Here, we study the precise size of differences of products of two such coefficients. This allows us to prove the Chern-Fu-Tang conjecture and to show the Heim-Neuhauser conjecture in a certain range. The explicit error terms provided will also be useful in the future study of partition inequalities. These are laid out in a user-friendly way for the researcher in combinatorics interested in such analytic questions. △ Less

Submitted 10 April, 2021; v1 submitted 17 November, 2020; originally announced November 2020.

Distribution of moments of Hurwitz class numbers in arithmetic progressions and holomorphic projection

Authors: Ben Kane, Sudhir Pujahari

Abstract: In this paper, we study moments of Hurwitz class numbers associated to imaginary quadratic orders restricted into fixed arithmetic progressions. In particular, we fix $t$ in an arithmetic progression $t\equiv m\pmod{M}$ and consider the ratio of the $2k$-th moment to the zeroeth moment for $H(4n-t^2)$ as one varies $n$. The special case $n=p^r$ yields as a consequence asymptotic formulas for momen… ▽ More In this paper, we study moments of Hurwitz class numbers associated to imaginary quadratic orders restricted into fixed arithmetic progressions. In particular, we fix $t$ in an arithmetic progression $t\equiv m\pmod{M}$ and consider the ratio of the $2k$-th moment to the zeroeth moment for $H(4n-t^2)$ as one varies $n$. The special case $n=p^r$ yields as a consequence asymptotic formulas for moments of the trace $t\equiv m\pmod{M}$ of Frobenius on elliptic curves over finite fields with $p^r$ elements. △ Less

Submitted 29 March, 2022; v1 submitted 28 October, 2020; originally announced October 2020.

MSC Class: 11E41; 11F27; 11F37; 11G05

The degenerate parts of spaces of meromorphic cusp forms under a regularized inner product

Authors: Kathrin Bringmann, Ben Kane

Abstract: We investigate the inner product between meromorphic modular forms from certain distinguished subspaces. In particular, we compute the degenerate parts of these subspaces and further compute the inner product on some of the remaining quotient spaces. We investigate the inner product between meromorphic modular forms from certain distinguished subspaces. In particular, we compute the degenerate parts of these subspaces and further compute the inner product on some of the remaining quotient spaces. △ Less

Submitted 5 August, 2020; originally announced August 2020.

MSC Class: 11F37; 11F11

On $t$-core and self-conjugate $(2t-1)$-core partitions in arithmetic progressions

Authors: Kathrin Bringmann, Ben Kane, Joshua Males

Abstract: We extend recent results of Ono and Raji, relating the number of self-conjugate $7$-core partitions to Hurwitz class numbers. Furthermore, we give a combinatorial explanation for the curious equality $2\operatorname{sc}_7(8n+1) = \operatorname{c}_4(7n+2)$. We also conjecture that an equality of this shape holds if and only if $t=4$, proving the cases $t\in\{2,3,5\}$ and giving partial results for… ▽ More We extend recent results of Ono and Raji, relating the number of self-conjugate $7$-core partitions to Hurwitz class numbers. Furthermore, we give a combinatorial explanation for the curious equality $2\operatorname{sc}_7(8n+1) = \operatorname{c}_4(7n+2)$. We also conjecture that an equality of this shape holds if and only if $t=4$, proving the cases $t\in\{2,3,5\}$ and giving partial results for $t>5$. △ Less

Submitted 15 February, 2021; v1 submitted 14 May, 2020; originally announced May 2020.

MSC Class: 11E41; 05A17; 11F37; 11F30

Sign changes of Fourier coefficients of cusp forms of half-integral weight over split and inert primes in quadratic number fields

Authors: Zilong He, Ben Kane

Abstract: In this paper, we investigate sign changes of Fourier coefficients of half-integral weight cusp forms. In a fixed square class $t\mathbb{Z}^2$, we investigate the sign changes in the $tp^2$-th coefficient as $p$ runs through the split or inert primes over the ring of integers in a quadratic extension of the rationals. We show that sign changes occur in both sets of primes when there exists a prime… ▽ More In this paper, we investigate sign changes of Fourier coefficients of half-integral weight cusp forms. In a fixed square class $t\mathbb{Z}^2$, we investigate the sign changes in the $tp^2$-th coefficient as $p$ runs through the split or inert primes over the ring of integers in a quadratic extension of the rationals. We show that sign changes occur in both sets of primes when there exists a prime dividing the discriminant of the field which does not divide the level of the cusp form and find an explicit condition that determines whether sign changes occur when every prime dividing the discriminant also divides the level. △ Less

Submitted 11 November, 2020; v1 submitted 1 April, 2020; originally announced April 2020.

MSC Class: 11F37; 11F30; 11N69; 11R11; 11E20

Class numbers and representations by ternary quadratic forms with congruence conditions

Authors: Kathrin Bringmann, Ben Kane

Abstract: In this paper, we are interested in the interplay between integral ternary quadratic forms and class numbers. This is partially motivated by a question of Petersson. In this paper, we are interested in the interplay between integral ternary quadratic forms and class numbers. This is partially motivated by a question of Petersson. △ Less

Submitted 5 February, 2020; originally announced February 2020.

Comments: GP/Pari code used for this paper may be found at https://hkumath.hku.hk/~bkane/papers/PeterssonQF/polygonal-Petersson.gp

MSC Class: 11F11; 11F37; 11E41; 11Y99

Fermat's polygonal number theorem for repeated generalized polygonal numbers

Authors: Soumyarup Banerjee, Manav Batavia, Ben Kane, Muratzhan Kyranbay, Dayoon Park, Sagnik Saha, Hiu Chun So, Piyush Varyani

Abstract: In this paper, we consider sums of generalized polygonal numbers with repeats, generalizing Fermat's polygonal number theorem which was proven by Cauchy. In particular, we obtain the minimal number of generalized $m$-gonal numbers required to represent every positive integer and we furthermore generalize this result to obtain optimal bounds when many of the generalized $m$-gonal numbers are repeat… ▽ More In this paper, we consider sums of generalized polygonal numbers with repeats, generalizing Fermat's polygonal number theorem which was proven by Cauchy. In particular, we obtain the minimal number of generalized $m$-gonal numbers required to represent every positive integer and we furthermore generalize this result to obtain optimal bounds when many of the generalized $m$-gonal numbers are repeated $r$ times, where $r\in\mathbb{N}$ is fixed. △ Less

Submitted 8 May, 2020; v1 submitted 6 August, 2019; originally announced August 2019.

MSC Class: 11E12; 11E25; 11E08

Regular ternary polygonal forms

Authors: Zilong He, Ben Kane

Abstract: Inspired by Dickson's classification of regular ternary quadratic forms, we prove that there are no primitive regular $m$-gonal forms when $m$ is sufficiently large. In order to do so, we construct sequences of primes that are inert in a certain quadratic field and show that they satisfy a certain inequality bounding the next prime by the product of the previous primes, a question of independent i… ▽ More Inspired by Dickson's classification of regular ternary quadratic forms, we prove that there are no primitive regular $m$-gonal forms when $m$ is sufficiently large. In order to do so, we construct sequences of primes that are inert in a certain quadratic field and show that they satisfy a certain inequality bounding the next prime by the product of the previous primes, a question of independent interest. △ Less

Submitted 8 May, 2020; v1 submitted 3 May, 2019; originally announced May 2019.

MSC Class: 11D09; 11E12; 11E20

Interesting identities involving weighted representations of integers as sums of arbitrarily many squares

Authors: Min-Joo Jang, Ben Kane, Winfried Kohnen, Siu-Hang Man

Abstract: In this paper, we obtain formulas for the number of representations of positive integers as sums of arbitrarily many squares (and other polygonal numbers) with a certain natural weighting. The resulting weighted sums give Fourier coefficients of weight two quasimodular forms. In this paper, we obtain formulas for the number of representations of positive integers as sums of arbitrarily many squares (and other polygonal numbers) with a certain natural weighting. The resulting weighted sums give Fourier coefficients of weight two quasimodular forms. △ Less

Submitted 15 August, 2019; v1 submitted 14 April, 2019; originally announced April 2019.

MSC Class: 05A15; 05A17; 11E45; 11F11; 11F37

An extension of Rohrlich's Theorem to the $j$-function

Authors: Kathrin Bringmann, Ben Kane

Abstract: In this paper, we extend Rohrlich's Theorem on the integral of logarithms of meromorphic functions to compute the inner product between such functions and polynomials in the $j$-function. We then show that the generating function for these inner products with $j_n$ is part of a weight two modular object. In this paper, we extend Rohrlich's Theorem on the integral of logarithms of meromorphic functions to compute the inner product between such functions and polynomials in the $j$-function. We then show that the generating function for these inner products with $j_n$ is part of a weight two modular object. △ Less

Submitted 11 September, 2019; v1 submitted 15 March, 2019; originally announced March 2019.

MSC Class: 11F03; 11F37

Python Framework for HP Adaptive Discontinuous Galerkin Method for Two Phase Flow in Porous Media

Authors: Andreas Dedner, Birane Kane, Robert Klöfkorn, Martin Nolte

Abstract: In this paper we present a framework for solving two phase flow problems in porous media. The discretization is based on a Discontinuous Galerkin method and includes local grid adaptivity and local choice of polynomial degree. The method is implemented using the new Python frontend Dune-FemPy to the open source framework Dune. The code used for the simulations is made available as Jupyter notebook… ▽ More In this paper we present a framework for solving two phase flow problems in porous media. The discretization is based on a Discontinuous Galerkin method and includes local grid adaptivity and local choice of polynomial degree. The method is implemented using the new Python frontend Dune-FemPy to the open source framework Dune. The code used for the simulations is made available as Jupyter notebook and can be used through a Docker container. We present a number of time stepping approaches ranging from a classical IMPES method to fully coupled implicit scheme. The implementation of the discretization is very flexible allowing for test different formulations of the two phase flow model and adaptation strategies. △ Less

Submitted 1 May, 2018; originally announced May 2018.

Comments: Keywords: DG, hp-adaptivity, Two-phase flow, IMPES, Fully implicit, Dune, Python, Porous media. 28 pages, 9 figures, various code snippets

MSC Class: 65M08; 65M60; 65M50

Central $L$-values of elliptic curves and local polynomials

Authors: Stephan Ehlen, Pavel Guerzhoy, Ben Kane, Larry Rolen

Abstract: Here we study the recently introduced notion of a locally harmonic Maass form and its applications to the theory of $L$-functions. In particular, we find finite formulas for certain twisted central $L$-values of a family of elliptic curves in terms of finite sums over canonical binary quadratic forms. This yields vastly simpler formulas related to work of Birch and Swinnerton-Dyer for such $L$-val… ▽ More Here we study the recently introduced notion of a locally harmonic Maass form and its applications to the theory of $L$-functions. In particular, we find finite formulas for certain twisted central $L$-values of a family of elliptic curves in terms of finite sums over canonical binary quadratic forms. This yields vastly simpler formulas related to work of Birch and Swinnerton-Dyer for such $L$-values, and extends beyond their framework to special non-CM elliptic curves. △ Less

Submitted 20 October, 2019; v1 submitted 28 March, 2018; originally announced March 2018.

Comments: 29 pages, 4 tables and 1 diagram

MSC Class: 11F37; 11F11; 11E76; 11M20

Universal sums of $m$-gonal numbers

Authors: Ben Kane, Jingbo Liu

Abstract: In this paper we study universal quadratic polynomials which arise as sums of polygonal numbers. Specifically, we determine an asymptotic upper bound (as a function of $m$) on the size of the set $S_m\subset\mathbb{N}$ such that if a sum of $m$-gonal numbers represents $S_m$, then it represents $\mathbb{N}$. In this paper we study universal quadratic polynomials which arise as sums of polygonal numbers. Specifically, we determine an asymptotic upper bound (as a function of $m$) on the size of the set $S_m\subset\mathbb{N}$ such that if a sum of $m$-gonal numbers represents $S_m$, then it represents $\mathbb{N}$. △ Less

Submitted 30 December, 2018; v1 submitted 22 February, 2018; originally announced February 2018.

MSC Class: 11F37; 11F11; 11E45

Regularized inner products and weakly holomorphic Hecke eigenforms

Authors: Kathrin Bringmann, Ben Kane

Abstract: We show that the image of repeated differentiation on weak cusp forms is precisely the subspace which is orthogonal to the space of weakly holomorphic modular forms. This gives a new interpretation of the weakly holomorphic Hecke eigenforms. We show that the image of repeated differentiation on weak cusp forms is precisely the subspace which is orthogonal to the space of weakly holomorphic modular forms. This gives a new interpretation of the weakly holomorphic Hecke eigenforms. △ Less

Submitted 6 November, 2017; originally announced November 2017.

MSC Class: 11F11; 11F25; 11F37

The Bruinier--Funke pairing and the orthogonal complement of unary theta functions

Authors: Ben Kane, Siu Hang Man

Abstract: We describe an algorithm for computing the inner product between a holomorphic modular form and a unary theta function, in order to determine whether the form is orthogonal to unary theta functions without needing a basis of the entire space of modular forms and without needing to use linear algebra to decompose this space completely. We describe an algorithm for computing the inner product between a holomorphic modular form and a unary theta function, in order to determine whether the form is orthogonal to unary theta functions without needing a basis of the entire space of modular forms and without needing to use linear algebra to decompose this space completely. △ Less

Submitted 23 June, 2017; originally announced June 2017.

Comments: Conference proceedings in Springer for L-functions and automorphic forms, held at the University of Heidelberg, February 22-26, 2016

MSC Class: 11F37; 11F12; 11F30; 11E20

Differential operators on polar harmonic Maass forms and elliptic duality

Authors: Kathrin Bringmann, Paul Jenkins, Ben Kane

Abstract: In this paper, we study polar harmonic Maass forms of negative integral weight. Using work of Fay, we construct Poincaré series which span the space of such forms and show that their elliptic coefficients exhibit duality properties which are similar to the properties known for Fourier coefficients of harmonic Maass forms and weakly holomorphic modular forms. In this paper, we study polar harmonic Maass forms of negative integral weight. Using work of Fay, we construct Poincaré series which span the space of such forms and show that their elliptic coefficients exhibit duality properties which are similar to the properties known for Fourier coefficients of harmonic Maass forms and weakly holomorphic modular forms. △ Less

Submitted 27 April, 2017; originally announced April 2017.

MSC Class: 11F25; 11F37

Number-theoretic generalization of the Monster denominator formula

Authors: Kathrin Bringmann, Ben Kane, Steffen Löbrich, Ken Ono, Larry Rolen

Abstract: The denominator formula for the Monster Lie algebra is the product expansion for the modular function $j(z)-j(τ)$ in terms of the Hecke system of $\operatorname{SL}_2(\mathbb{Z})$-modular functions $j_n(τ)$. This formula can be reformulated entirely number-theoretically. Namely, it is equivalent to the description of the generating function for the $j_n(z)$ as a weight 2 modular form in $τ$ with a… ▽ More The denominator formula for the Monster Lie algebra is the product expansion for the modular function $j(z)-j(τ)$ in terms of the Hecke system of $\operatorname{SL}_2(\mathbb{Z})$-modular functions $j_n(τ)$. This formula can be reformulated entirely number-theoretically. Namely, it is equivalent to the description of the generating function for the $j_n(z)$ as a weight 2 modular form in $τ$ with a pole at $z$. Although these results rely on the fact that $X_0(1)$ has genus 0, here we obtain a generalization, framed in terms of polar harmonic Maass forms, for all of the $X_0(N)$ modular curves. In this survey we discuss this generalization, and we offer an introduction to the theory of polar harmonic Maass forms. We conclude with applications to formulas of Ramanujan and Green's functions. △ Less

Submitted 15 September, 2017; v1 submitted 1 February, 2017; originally announced February 2017.

Comments: accepted for publication in Journal of Physics A, arXiv admin note: text overlap with arXiv:1609.08100

On Divisors of Modular Forms

Authors: Kathrin Bringmann, Ben Kane, Steffen Löbrich, Ken Ono, Larry Rolen

Abstract: The denominator formula for the Monster Lie algebra is the product expansion for the modular function $j(z)-j(τ)$ given in terms of the Hecke system of $\operatorname{SL}_2(\mathbb Z)$-modular functions $j_n(τ)$. It is prominent in Zagier's seminal paper on traces of singular moduli, and in the Duncan-Frenkel work on Moonshine. The formula is equivalent to the description of the generating functio… ▽ More The denominator formula for the Monster Lie algebra is the product expansion for the modular function $j(z)-j(τ)$ given in terms of the Hecke system of $\operatorname{SL}_2(\mathbb Z)$-modular functions $j_n(τ)$. It is prominent in Zagier's seminal paper on traces of singular moduli, and in the Duncan-Frenkel work on Moonshine. The formula is equivalent to the description of the generating function for the $j_n(z)$ as a weight 2 modular form with a pole at $z$. Although these results rely on the fact that $X_0(1)$ has genus 0, here we obtain a generalization, framed in terms of polar harmonic Maass forms, for all of the $X_0(N)$ modular curves. We use these functions to study divisors of modular forms. △ Less

Submitted 24 March, 2017; v1 submitted 26 September, 2016; originally announced September 2016.

MSC Class: 11F03; 11F37; 11F30

Almost universal ternary sums of polygonal numbers

Authors: Anna Haensch, Ben Kane

Abstract: For a natural number $m$, generalized $m$-gonal numbers are those numbers of the form $p_m(x)=\frac{(m-2)x^2-(m-4)x}{2}$ with $x\in \mathbb Z$. In this paper we establish conditions on $m$ for which the ternary sum $p_m(x)+p_m(y)+p_m(z)$ is almost universal. For a natural number $m$, generalized $m$-gonal numbers are those numbers of the form $p_m(x)=\frac{(m-2)x^2-(m-4)x}{2}$ with $x\in \mathbb Z$. In this paper we establish conditions on $m$ for which the ternary sum $p_m(x)+p_m(y)+p_m(z)$ is almost universal. △ Less

Submitted 26 October, 2017; v1 submitted 22 July, 2016; originally announced July 2016.

MSC Class: 11E20; 11E25; 11E45; 11E81; 11H55; 05A30

Polar harmonic Maass forms and their applications

Authors: Kathrin Bringmann, Ben Kane

Abstract: In this survey, we present recent results of the authors about non-meromorphic modular objects known as polar harmonic Maass forms. These include the computation of Fourier coefficients of meromorphic modular forms and relations between inner products of meromorphic modular forms and higher Green's functions evaluated at CM-points. In this survey, we present recent results of the authors about non-meromorphic modular objects known as polar harmonic Maass forms. These include the computation of Fourier coefficients of meromorphic modular forms and relations between inner products of meromorphic modular forms and higher Green's functions evaluated at CM-points. △ Less

Submitted 30 October, 2016; v1 submitted 2 June, 2016; originally announced June 2016.

MSC Class: 11F03; 11F11; 11F12; 11F25; 11F30; 11F37

Journal ref: Abh. Math. Sem. Univ. Hamburg, vol. 86 (2016), pp. 213-233

Analogues of the Ramanujan--Mordell Theorem

Authors: Shaun Cooper, Ben Kane, Dongxi Ye

Abstract: The Ramanujan--Mordell Theorem for sums of an even number of squares is extended to other quadratic forms and quadratic polynomials. The Ramanujan--Mordell Theorem for sums of an even number of squares is extended to other quadratic forms and quadratic polynomials. △ Less

Submitted 21 May, 2016; originally announced May 2016.

MSC Class: 11F11; 11F20; 11F30; 11E25

Ramanujan-like formulas for Fourier coefficients of all meromorphic cusp forms

Authors: Kathrin Bringmann, Ben Kane

Abstract: In this paper, we investigate Fourier expansions of meromorphic modular forms. Over the years, a number of special cases of meromorphic modular forms were shown to have Fourier expansions closely resembling the expansion of the reciprocal of the weight $6$ Eisenstein series which was computed by Hardy and Ramanujan. By investigating meromorphic modular forms within a larger space of so-called pola… ▽ More In this paper, we investigate Fourier expansions of meromorphic modular forms. Over the years, a number of special cases of meromorphic modular forms were shown to have Fourier expansions closely resembling the expansion of the reciprocal of the weight $6$ Eisenstein series which was computed by Hardy and Ramanujan. By investigating meromorphic modular forms within a larger space of so-called polar harmonic Maass forms, we prove in this paper that all negative-weight meromorphic modular forms (and furthermore all quasi-meromorpic modular forms) have Fourier expansions of this type, granted that they are bounded towards $i\infty$. △ Less

Submitted 11 July, 2016; v1 submitted 30 March, 2016; originally announced March 2016.

MSC Class: 11F11; 11F12; 11F30

Ramanujan and coefficients of meromorphic modular forms

Authors: Kathrin Bringmann, Ben Kane

Abstract: The study of Fourier coefficients of meromorphic modular forms dates back to Ramanujan, who, together with Hardy, studied the reciprocal of the weight 6 Eisenstein series. Ramanujan conjectured a number of further identities for other meromorphic modular forms and quasi-modular forms which were subsequently established by Berndt, Bialek, and Yee. In this paper, we place these identities into the c… ▽ More The study of Fourier coefficients of meromorphic modular forms dates back to Ramanujan, who, together with Hardy, studied the reciprocal of the weight 6 Eisenstein series. Ramanujan conjectured a number of further identities for other meromorphic modular forms and quasi-modular forms which were subsequently established by Berndt, Bialek, and Yee. In this paper, we place these identities into the context of a larger family by making use of Poincaré series introduced by Petersson and a new family of Poincaré series which we construct here and which are of independent interest. In addition we establish a number of new explicit identities. In particular, we give the first examples of Fourier expansions for meromorphic modular form with third-order poles and quasi-meromorphic modular forms with second-order poles. △ Less

Submitted 23 March, 2016; originally announced March 2016.

MSC Class: 11F30; 11F37; 11F11

On sign changes of cusp forms and the halting of an algorithm to construct a supersingular elliptic curve with a given endomorphism ring

Authors: King Cheong Fung, Ben Kane

Abstract: Chevyrev and Galbraith recently devised an algorithm which inputs a maximal order of the quaternion algebra ramified at one prime and infinity and constructs a supersingular elliptic curve whose endomorphism ring is precisely this maximal order. They proved that their algorithm is correct whenever it halts, but did not show that it always terminates. They did however prove that the algorithm halts… ▽ More Chevyrev and Galbraith recently devised an algorithm which inputs a maximal order of the quaternion algebra ramified at one prime and infinity and constructs a supersingular elliptic curve whose endomorphism ring is precisely this maximal order. They proved that their algorithm is correct whenever it halts, but did not show that it always terminates. They did however prove that the algorithm halts under a reasonable assumption which they conjectured to be true. It is the purpose of this paper to verify their conjecture and in turn prove that their algorithm always halts. More precisely, Chevyrev and Galbraith investigated the theta series associated with the norm maps from primitive elements of two maximal orders. They conjectured that if one of these theta series "dominated" the other in the sense that the $n$th (Fourier) coefficient of one was always larger than or equal to the $n$th coefficient of the other, then the maximal orders are actually the same. We prove that this is the case. △ Less

Submitted 10 July, 2016; v1 submitted 6 November, 2015; originally announced November 2015.

Comments: 12 pages

MSC Class: 11E20; 11E45; 11F37; 11G05; 16H05; 68W40

Explicit congruences for mock modular forms

Authors: Ben Kane, Matthias Waldherr

Abstract: In recent work of Bringmann, Guerzhoy, and the first author, p-adic modular forms were constructed from mock modular forms. This paper proves explicit congruences for these p-adic modular forms. In recent work of Bringmann, Guerzhoy, and the first author, p-adic modular forms were constructed from mock modular forms. This paper proves explicit congruences for these p-adic modular forms. △ Less

Submitted 10 October, 2015; originally announced October 2015.

MSC Class: 11F33; 11F30; 11F12; 11F25

A problem of Petersson about weight 0 meromorphic modular forms

Authors: Kathrin Bringmann, Ben Kane

Abstract: In this paper, we provide an explicit construction of weight $0$ meromorphic modular forms. Following work of Petersson, we build these via Poincaré series. There are two main aspects of our investigation which differ from his approach. Firstly, the naive definition of the Poincaré series diverges and one must analytically continue via Hecke's trick. Hecke's trick is further complicated in our sit… ▽ More In this paper, we provide an explicit construction of weight $0$ meromorphic modular forms. Following work of Petersson, we build these via Poincaré series. There are two main aspects of our investigation which differ from his approach. Firstly, the naive definition of the Poincaré series diverges and one must analytically continue via Hecke's trick. Hecke's trick is further complicated in our situation by the fact that the Fourier expansion does not converge everywhere due to singularities in the upper half-plane so it cannot solely be used to analytically continue the functions. To explain the second difference, we recall that Petersson constructed linear combinations from a family of meromorphic functions which are modular if a certain principal parts condition is satisfied. In contrast to this, we construct linear combinations from a family of non-meromorphic modular forms, known as polar harmonic Maass forms, which are meromorphic whenever the principal parts condition is satisfied. △ Less

Submitted 23 March, 2016; v1 submitted 2 May, 2015; originally announced May 2015.

MSC Class: 11F03; 11F12; 11F25