Search

We study "partition Eisenstein series", extensions of the Eisenstein series $G_{2k}(\tau),$ defined by $$\lambda=(1^{m_1}, 2^{m_2},\dots, k^{m_k}) \vdash k \ \ \ \ \ \longmapsto \ \ \ \ \ G_{\lambda}(\tau):= G_2(\tau)^{m_1} G_4(\tau)^{m_2}\cdots G_{2k}(\tau)^{m_k}. $$ For functions $\phi: \mathcal{P}\rightarrow \mathbb{C}$ on partitions, the weight $2k$ "partition Eisenstein trace" is the quasimodular form $$ {\mathrm{Tr}}_k(\phi;\tau):=\sum_{\lambda \vdash k} \phi(\lambda)G_{\lambda}(\tau). $$ These traces give explicit formulas for some well-known generating functions, such as the $k$th elementary symmetric functions of the inverse points of 2-dimensional complex lattices $\mathbb{Z}\oplus \mathbb{Z}\tau,$ as well as the $2k$th power moments of the Andrews-Garvan crank function. To underscore the ubiquity of such traces, we show that their generalizations give the Taylor coefficients of generic Jacobi forms with torsional divisor., Comment: Correcting minor typographical errors

Ramanujan's celebrated partition congruences modulo $\ell\in \{5, 7, 11\}$ assert that $$ p(\ell n+\delta_{\ell})\equiv 0\pmod{\ell}, $$ where $0<\delta_{\ell}<\ell$ satisfies $24\delta_{\ell}\equiv 1\pmod{\ell}.$ By proving Subbarao's Conjecture, Radu showed that there are no such congruences when it comes to parity. There are infinitely many odd (resp. even) partition numbers in every arithmetic progression. For primes $\ell \geq 5,$ we give a new proof of the conclusion that there are infinitely many $m$ for which $p(\ell m+\delta_{\ell})$ is odd. This proof uses a generalization, due to the second author and Ramsey, of a result of Mazur in his classic paper on the Eisenstein ideal. We also refine a classical criterion of Sturm for modular form congruences, which allows us to show that the smallest such $m$ satisfies $m<(\ell^2-1)/24,$ representing a significant improvement to the previous bound., Comment: Corrects minor typos found by the referees

Differences in staining and imaging procedures can cause significant color variations in histopathology images, leading to poor generalization when deploying deep-learning models trained from a different data source. Various color augmentation methods have been proposed to generate synthetic images during training to make models more robust, eliminating the need for stain normalization during test time. Many color augmentation methods leverage domain labels to generate synthetic images. This approach causes three significant challenges to scaling such a model. Firstly, incorporating data from a new domain into deep-learning models trained on existing domain labels is not straightforward. Secondly, dependency on domain labels prevents the use of pathology images without domain labels to improve model performance. Finally, implementation of these methods becomes complicated when multiple domain labels (e.g., patient identification, medical center, etc) are associated with a single image. We introduce ContriMix, a novel domain label free stain color augmentation method based on DRIT++, a style-transfer method. Contrimix leverages sample stain color variation within a training minibatch and random mixing to extract content and attribute information from pathology images. This information can be used by a trained ContriMix model to create synthetic images to improve the performance of existing classifiers. ContriMix outperforms competing methods on the Camelyon17-WILDS dataset. Its performance is consistent across different slides in the test set while being robust to the color variation from rare substances in pathology images. We make our code and trained ContriMix models available for research use. The code for ContriMix can be found at https://gitlab.com/huutan86/contrimix

Motivated by the many roles that hook lengths play in mathematics, we study the distribution of the number of $t$-hooks in the partitions of $n$. We prove that the limiting distribution is normal with mean $\mu_t(n)\sim \frac{\sqrt{6n}}{\pi}-\frac{t}{2}$ and variance $\sigma_t^2(n)\sim \frac{(\pi^2-6)\sqrt{6n}}{2\pi^3}.$ Furthermore, we prove that the distribution of the number of hook lengths that are multiples of a fixed $t\geq 4$ in partitions of $n$ converge to a shifted Gamma distribution with parameter $k=(t-1)/2$ and scale $\theta=\sqrt{2/(t-1)}.$, Comment: Minor edits and a new first paragraph on previous related work (added at the suggestion of a referee)

Hausel and Rodriguez-Villegas recently observed that work of G\"ottsche, combined with a classical result of Erd\H{o}s and Lehner on integer partitions, implies that the limiting Betti distribution for the Hilbert schemes $(\mathbb{C}^2)^{[n]}$ on $n$ points, as $n\rightarrow +\infty,$ is a \textit{Gumbel distribution}. In view of this example, they ask for further such Betti distributions. We answer this question for the quasihomogeneous Hilbert schemes $((\mathbb{C}^2)^{[n]})^{T_{\alpha,\beta}}$ that are cut out by torus actions. We prove that their limiting distributions are also of Gumbel type. To obtain this result, we combine work of Buryak, Feigin, and Nakajima on these Hilbert schemes with our generalization of the result of Erd\H{o}s and Lehner, which gives the distribution of the number of parts in partitions that are multiples of a fixed integer $A\geq 2.$ Furthermore, if $p_k(A;n)$ denotes the number of partitions of $n$ with exactly $k$ parts that are multiples of $A$, then we obtain the asymptotic $$ p_k(A,n)\sim \frac{24^{\frac k2-\frac14}(n-Ak)^{\frac k2-\frac34}}{\sqrt2\left(1-\frac1A\right)^{\frac k2-\frac14}k!A^{k+\frac12}(2\pi)^k}e^{2\pi\sqrt{\frac1{6}\left(1-\frac1A\right)(n-Ak)}}, $$ a result which is of independent interest., Comment: Minor revision addressing referee comments

The classical $\mathrm{AGM}$ produces wonderful interdependent infinite sequences of arithmetic and geometric means with common limit. For finite fields $\mathbb{F}_q,$ with $q\equiv 3\pmod 4,$ we introduce a finite field analogue $\mathrm{AGM}_{\mathbb{F}_q}$ that spawns directed finite graphs instead of infinite sequences. The compilation of these graphs reminds one of a $\mathit{jellyfish~swarm},$ as the 3D renderings of the connected components resemble $\mathit{jellyfish}$ (i.e. tentacles connected to a bell head). These swarms turn out to be more than the stuff of child's play; they are taxonomical devices in number theory. Each jellyfish is an isogeny graph of elliptic curves with isomorphic groups of $\mathbb{F}_q$-points, which can be used to prove that each swarm has at least $(1/2-\varepsilon)\sqrt{q}$ jellyfish. Additionally, this interpretation gives a description of the $\mathit{class~numbers}$ of Gauss, Hurwitz, and Kronecker which is akin to counting types of spots on jellyfish., Comment: Corrects minor typos

We explicitly construct the Dirichlet series $$L_{\mathrm{Tam}}(s):=\sum_{m=1}^{\infty}\frac{P_{\mathrm{Tam}}(m)}{m^s},$$ where $P_{\mathrm{Tam}}(m)$ is the proportion of elliptic curves $E/\mathbb{Q}$ in short Weierstrass form with Tamagawa product $m.$ Although there are no $E/\mathbb{Q}$ with everywhere good reduction, we prove that the proportion with trivial Tamagawa product is $P_{\mathrm{Tam}}(1)=0.5053\dots.$ As a corollary, we find that $L_{\mathrm{Tam}}(-1)=1.8193\dots$ is the average Tamagawa product for elliptic curves over $\mathbb{Q}.$ We give an application of these results to canonical and Weil heights., Comment: This version corrects a typographical error in a Remark on page 3

A modular grid is a pair of sequences $(f_m)_m$ and $(g_n)_n$ of weakly holomorphic modular forms such that for almost all $m$ and $n$, the coefficient of $q^n$ in $f_m$ is the negative of the coefficient of $q^m$ in $g_n$. Zagier proved this coefficient duality in weights $1/2$ and $3/2$ in the Kohnen plus space, and such grids have appeared for Poincar\'{e} series, for modular forms of integral weight, and in many other situations. We give a general proof of coefficient duality for canonical row-reduced bases of spaces of weakly holomorphic modular forms of integral or half-integral weight for every group $\Gamma \subseteq {\text{SL}}_2(\mathbb{R})$ commensurable with ${\text{SL}}_2(\mathbb{Z})$. We construct bivariate generate functions that encode these modular forms, and study linear operations on the resulting modular grids., Comment: Second revision

In this note we obtain effective lower bounds for the canonical heights of non-torsion points on $E(\mathbb{Q})$ by making use of suitable elliptic curve ideal class pairings $$\Psi_{E,-D}: E(\mathbb{Q})\times E_{-D}(\mathbb{Q})\mapsto \mathrm{CL}(-D).$$ In terms of the class number $H(-D)$ and $T_E(-D)$, a logarithmic function in $D$, we prove $$ \widehat{h}(P)> \frac{|E_{\mathrm{tor}}(\mathbb{Q})|^2}{\left( H(-D)+ |E_{\mathrm{tor}}(\mathbb{Q})|\right)^2}\cdot T_E(-D). $$, Comment: Comments. 1) This paper was published as Proceedings of the American Mathematical Society 149 (2021), 5093-5100. 2) After the paper was published, we discovered a typographical error in the example after Theorem 1.1. The number 0.043 should be 0.035

For positive rank $r$ elliptic curves $E(\mathbb{Q})$, we employ ideal class pairings $$ E(\mathbb{Q})\times E_{-D}(\mathbb{Q}) \rightarrow \mathrm{CL}(-D), $$ for quadratic twists $E_{-D}(\mathbb{Q})$ with a suitable ``small $y$-height'' rational point, to obtain effective class number lower bounds. For the curves $E^{(a)}: \ y^2=x^3-a,$ with rank $r(a),$ this gives $$ h(-D) \geq \frac{1}{10}\cdot \frac{|E_{\mathrm{tor}}(\mathbb{Q})|}{\sqrt{R_{\mathbb{Q}}(E)}}\cdot \frac{\Gamma\left (\frac{r(a)}{2}+1\right)}{(4\pi)^{\frac{r(a)}{2}}} \cdot \frac{\log(D)^{\frac{r(a)}{2}}}{\log \log D}, $$ representing an improvement to the classical lower bound of Goldfeld, Gross and Zagier when $r(a)\geq 3$. We prove that the number of twists $E_{-D}^{(a)}(\mathbb{Q})$ with such a point (resp. with such a point and rank $\geq 2$ under the Parity Conjecture) is $\gg_{a,\varepsilon} X^{\frac{1}{2}-\varepsilon}.$ We give infinitely many cases where $r(a)\geq 6$. These results can be viewed as an analogue of the classical estimate of Gouv\^ea and Mazur for the number of rank $\geq 2$ quadratic twists, where in addition we obtain ``log-power'' improvements to the Goldfeld-Gross-Zagier class number lower bound., Comment: We correct minor typographical errors, including the formula in the abstract and equation (1.3)

The modularity theorem implies that for every elliptic curve $E /\mathbb{Q}$ there exist rational maps from the modular curve $X_0(N)$ to $E$, where $N$ is the conductor of $E$. These maps may be expressed in terms of pairs of modular functions $X(z)$ and $Y(z)$ where $X(z)$ and $Y(z)$ satisfy the Weierstrass equation for $E$ as well as a certain differential equation. Using these two relations, a recursive algorithm can be used to calculate the $q$ - expansions of these parametrizations at any cusp. %These functions are algebraic over $\mathbb{Q}(j(z))$ and satisfy modular polynomials where each of the coefficient functions are rational functions in $j(z)$. Using these functions, we determine the divisor of the parametrization and the preimage of rational points on $E$. We give a sufficient condition for when these preimages correspond to CM points on $X_0(N)$. We also examine a connection between the algebras generated by these functions for related elliptic curves, and describe sufficient conditions to determine congruences in the $q$-expansions of these objects.

Ideal class pairings map the rational points of rank $r\geq 1$ elliptic curves $E/\Q$ to the ideal class groups $\CL(-D)$ of certain imaginary quadratic fields. These pairings imply that $$h(-D) \geq \frac{1}{2}(c(E)-\varepsilon)(\log D)^{\frac{r}{2}} $$ for sufficiently large discriminants $-D$ in certain families, where $c(E)$ is a natural constant. These bounds are effective, and they offer improvements to known lower bounds for many discriminants., Comment: Corrected a typo appearing in bounds

We investigate Riemann's xi function $\xi(s):=\frac{1}{2}s(s-1)\pi^{-\frac{s}{2}}\Gamma(\frac{s}{2})\zeta(s)$ (here $\zeta(s)$ is the Riemann zeta function). The Riemann Hypothesis (RH) asserts that if $\xi(s)=0$, then $\mathrm{Re}(s)=\frac{1}{2}$. P\'olya proved that RH is equivalent to the hyperbolicity of the Jensen polynomials $J^{d,n}(X)$ constructed from certain Taylor coefficients of $\xi(s)$. For each $d\geq 1$, recent work proves that $J^{d,n}(X)$ is hyperbolic for sufficiently large $n$. Here we make this result effective. Moreover, we show how the low-lying zeros of the derivatives $\xi^{(n)}(s)$ influence the hyperbolicity of $J^{d,n}(X)$., Comment: 13 pages. This revision represents a major revision of the previous version. The exposition has been improved and many clarifications have been added. Moreover, Theorem 1.1 has been improved

In 1927 P\'olya proved that the Riemann Hypothesis is equivalent to the hyperbolicity of Jensen polynomials for the Riemann zeta function $\zeta(s)$ at its point of symmetry. This hyperbolicity has been proved for degrees $d\leq 3$. We obtain an asymptotic formula for the central derivatives $\zeta^{(2n)}(1/2)$ that is accurate to all orders, which allows us to prove the hyperbolicity of a density $1$ subset of the Jensen polynomials of each degree. Moreover, we establish hyperbolicity for all $d\leq 8$. These results follow from a general theorem which models such polynomials by Hermite polynomials. In the case of the Riemann zeta function, this proves the GUE random matrix model prediction in derivative aspect. The general theorem also allows us to prove a conjecture of Chen, Jia, and Wang on the partition function., Comment: 11 pages

Euler showed that there are infinitely many triangular numbers that are three times other triangular numbers. In general, it is an easy consequence of the Pell equation that for a given square-free m > 1, the relation P=mP' is satisfied by infinitely many pairs of triangular numbers P, P'. After recalling what is known about triangular numbers, we shall study this problem for higher polygonal numbers. Whereas there are always infinitely many triangular numbers which are fixed multiples of other triangular numbers, we give an example that this is false for higher polygonal numbers. However, as we will show, if there is one such solution, there are infinitely many. We will give conditions which conjecturally assure the existence of a solution. But due to the erratic behavior of the fundamental unit in quadratic number fields, finding such a solution is exceedingly difficult. Finally, we also show in this paper that, given m > n > 1 with obvious exceptions, the system of simultaneous relations P = mP', P = nP'' has only finitely many possibilities not just for triangular numbers, but for triplets P, P', P'' of polygonal numbers, and give examples of such solutions., Comment: 17 pages, 1 figure, 2 tables. New version added a table of solutions to the second problem

The transition from globular to elongated states of biopolymers in shear flow occurs at a distinct critical shear rate, $\dot{\gamma }^{*}$. The magnitude of $\dot{\gamma }^{*}$ depends on the internal potential and the polymer length. For example, the critical shear is much larger for von Willebrand Factor (vWF) compared to DNA. Furthermore, it is shown through computational analysis of vWF (model-vWF) that $\dot{\gamma }^{*}\sim N^{1/3}$, where N is the number of dimeric units in the vWF. In this study, we show that in the presence of charged nanoparticles (CNP) and polymer, the critical shear rate scales differently depending on the polymer length and the charge-strength of the CNP. It is shown that CNP alter the conformational dynamics of polymers under shear flow when the polymer beads have an opposite charge. The introduction of CNP shifts the critical shear rate and alters the scaling. Furthermore, it is shown that the critical zeta potential of CNP, $\zeta^{*}$, scales linearly with shear rate, and scales cubically with ratio $\beta$ between final CNP-polymer composite size and original polymer size, that is $\zeta^{*}\sim \dot{\gamma }\beta ^{-3}$.

Modular and mock modular forms possess many striking $p$-adic properties, as studied by Bringmann, Guerzhoy, Kane, Kent, Ono, and others. Candelori developed a geometric theory of harmonic Maass forms arising from the de Rham cohomology of modular curves. In the setting of over-convergent $p$-adic modular forms, Candelori and Castella showed this leads to $p$-adic analogs of harmonic Maass forms. In this paper we take an analytic approach to construct $p$-adic analogs of harmonic Maass forms of weight $0$ %and $1/2$ with square free level. Although our approaches differ, where the two theories intersect the forms constructed are the same. However our analytic construction defines these functions on the full super singular locus as well as on the ordinary locus. As with classical harmonic Maass forms, these $p$-adic analogs are connected to weight $2$ cusp forms and their modular derivatives are weight $2$ weakly holomorphic modular forms. Traces of their CM values also interpolate the coefficients of half integer weight modular and mock modular forms. We demonstrate this through the construction of $p$-adic analogs of two families of theta lifts for these forms.

In this paper we prove the existence of an infinite dimensional graded super-module for the finite sporadic Thompson group $Th$ whose McKay-Thompson series are weakly holomorphic modular forms of weight $\frac 12$ satisfying properties conjectured by Harvey and Rayhaun., Comment: 36 pages, 8 tables v2 addresses reviewer's comments and corrects a mistake in the proof of Lemma 2.10

Bloch-Okounkov studied certain functions on partitions $f$ called shifted symmetric polynomials. They showed that certain $q$-series arising from these functions (the so-called \emph{$q$-brackets} $\left_q$) are quasimodular forms. We revisit a family of such functions, denoted $Q_k$, and study the $p$-adic properties of their $q$-brackets. To do this, we define regularized versions $Q_k^{(p)}$ for primes $p.$ We also use Jacobi forms to show that the $\left_q$ are quasimodular and find explicit expressions for them in terms of the $\left_q$., Comment: 16 pages

The Umbral Moonshine Conjectures assert that there are infinite-dimensional graded modules, for prescribed finite groups, whose McKay-Thompson series are certain distinguished mock modular forms. Gannon has proved this for the special case involving the largest sporadic simple Mathieu group. Here we establish the existence of the umbral moonshine modules in the remaining 22 cases., Comment: 56 pages, to appear in Research in the Mathematical Sciences

Monstrous moonshine relates distinguished modular functions to the representation theory of the monster. The celebrated observations that 196884=1+196883 and 21493760=1+196883+21296876, etc., illustrate the case of the modular function j-744, whose coefficients turn out to be sums of the dimensions of the 194 irreducible representations of the monster. Such formulas are dictated by the structure of the graded monstrous moonshine modules. Recent works in moonshine suggest deep relations between number theory and physics. Number theoretic Kloosterman sums have reappeared in quantum gravity, and mock modular forms have emerged as candidates for the computation of black hole degeneracies. This paper is a survey of past and present research on moonshine. We also compute the quantum dimensions of the monster orbifold, and obtain exact formulas for the multiplicities of the irreducible components of the moonshine modules. These formulas imply that such multiplicities are asymptotically proportional to dimensions., Comment: 67 pages; a number of revisions and corrections in v.2, including a new result (Cor. 8.3) on the quantum dimensions of the monster orbifold, obtained following a suggestion of an anonymous referee

Mock modular forms, which give the theoretical framework for Ramanujan's enigmatic mock theta functions, play many roles in mathematics. We study their role in the context of modular parameterizations of elliptic curves $E/\mathbb{Q}$. We show that mock modular forms which arise from Weierstrass $\zeta$-functions encode the central $L$-values and $L$-derivatives which occur in the Birch and Swinnerton-Dyer Conjecture. By defining a theta lift using a kernel recently studied by H\"ovel, we obtain canonical weight 1/2 harmonic Maass forms whose Fourier coefficients encode the vanishing of these values for the quadratic twists of $E$. We employ results of Bruinier and the third author, which builds on seminal work of Gross, Kohnen, Shimura, Waldspurger, and Zagier. We also obtain $p$-adic formulas for the corresponding weight 2 newform using the action of the Hecke algebra on the Weierstrass mock modular form., Comment: To appear in Research in Number Theory

The two Rogers-Ramanujan $q$-series \[ \sum_{n=0}^{\infty}\frac{q^{n(n+\sigma)}}{(1-q)\cdots (1-q^n)}, \] where $\sigma=0,1$, play many roles in mathematics and physics. By the Rogers-Ramanujan identities, they are essentially modular functions. Their quotient, the Rogers-Ramanujan continued fraction, has the special property that its singular values are algebraic integral units. We find a framework which extends the Rogers-Ramanujan identities to doubly-infinite families of $q$-series identities. If $a\in\{1,2\}$ and $m,n\geq 1$, then we have \[ \sum_{\substack{\lambda \lambda_1\leq m}} q^{a|\lambda|} P_{2\lambda}(1,q,q^2,\dots;q^n) =\textrm{"infinite product modular function"}, \] where the $P_{\lambda}(x_1,x_2,\dots;q)$ are Hall-Littlewood polynomials. These $q$-series are specialized characters of affine Kac--Moody algebras. Generalizing the Rogers-Ramanujan continued fraction, we prove in the case of $\textrm{A}_{2n}^{(2)}$ that the relevant $q$-series quotients are integral units., Comment: 44 pages. This paper supersedes the paper arXiv:1309.5216 "The A_{2n}^{(2)} Rogers-Ramanujan identities"; Improved introduction, typos corrected and references added; Final version to appear in Duke Mathematical Journal; Typographical errors are corrected