-
Traces of partition Eisenstein series
Authors:
Tewodros Amdeberhan,
Michael Griffin,
Ken Ono,
Ajit Singh
Abstract:
We study "partition Eisenstein series", extensions of the Eisenstein series $G_{2k}(τ),$ defined by $$λ=(1^{m_1}, 2^{m_2},\dots, k^{m_k}) \vdash k \ \ \ \ \ \longmapsto \ \ \ \ \ G_λ(τ):= G_2(τ)^{m_1} G_4(τ)^{m_2}\cdots G_{2k}(τ)^{m_k}. $$ For functions $φ: \mathcal{P}\rightarrow \mathbb{C}$ on partitions, the weight $2k$ "partition Eisenstein trace" is the quasimodular form…
▽ More
We study "partition Eisenstein series", extensions of the Eisenstein series $G_{2k}(τ),$ defined by $$λ=(1^{m_1}, 2^{m_2},\dots, k^{m_k}) \vdash k \ \ \ \ \ \longmapsto \ \ \ \ \ G_λ(τ):= G_2(τ)^{m_1} G_4(τ)^{m_2}\cdots G_{2k}(τ)^{m_k}. $$ For functions $φ: \mathcal{P}\rightarrow \mathbb{C}$ on partitions, the weight $2k$ "partition Eisenstein trace" is the quasimodular form $$ {\mathrm{Tr}}_k(φ;τ):=\sum_{λ\vdash k} φ(λ)G_λ(τ). $$ 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}τ,$ 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.
△ Less
Submitted 16 August, 2024;
originally announced August 2024.
-
Derivatives of theta functions as Traces of Partition Eisenstein series
Authors:
Tewodros Amdeberhan,
Ken Ono,
Ajit Singh
Abstract:
In his "lost notebook'', Ramanujan used iterated derivatives of two theta functions to define sequences of $q$-series $\{U_{2t}(q)\}$ and $\{V_{2t}(q)\}$ that he claimed to be quasimodular. We give the first explicit proof of this claim by expressing them in terms of "partition Eisenstein series'', extensions of the classical Eisenstein series $E_{2k}(q)$ defined by…
▽ More
In his "lost notebook'', Ramanujan used iterated derivatives of two theta functions to define sequences of $q$-series $\{U_{2t}(q)\}$ and $\{V_{2t}(q)\}$ that he claimed to be quasimodular. We give the first explicit proof of this claim by expressing them in terms of "partition Eisenstein series'', extensions of the classical Eisenstein series $E_{2k}(q)$ defined by $$λ=(1^{m_1}, 2^{m_2},\dots, n^{m_n}) \vdash n \ \ \ \ \ \longmapsto \ \ \ \ \ E_λ(q):= E_2(q)^{m_1} E_4(q)^{m_2}\cdots E_{2n}(q)^{m_n}. $$ For functions $φ: \mathcal{P}\mapsto \mathbb{C}$ on partitions, the weight $2n$ partition Eisenstein trace is $$ \text{Tr}_n(φ;q):=\sum_{λ\vdash n} φ(λ)E_λ(q). $$ For all $t$, we prove that $U_{2t}(q)=\text{Tr}_t(φ_U;q)$ and $V_{2t}(q)=\text{Tr}_t(φ_V;q),$ where $φ_U$ and $φ_V$ are natural partition weights, giving the first explicit quasimodular formulas for these series.
△ Less
Submitted 6 August, 2024; v1 submitted 11 July, 2024;
originally announced July 2024.
-
Eichler-Selberg relations for singular moduli
Authors:
Yuqi Deng,
Toshiki Matsusaka,
Ken Ono
Abstract:
The Eichler-Selberg trace formula expresses the trace of Hecke operators on spaces of cusp forms as weighted sums of Hurwitz-Kronecker class numbers. We extend this formula to a natural class of relations for traces of singular moduli, where one views class numbers as traces of the constant function $j_0(τ)=1$. More generally, we consider the singular moduli for the Hecke system of modular functio…
▽ More
The Eichler-Selberg trace formula expresses the trace of Hecke operators on spaces of cusp forms as weighted sums of Hurwitz-Kronecker class numbers. We extend this formula to a natural class of relations for traces of singular moduli, where one views class numbers as traces of the constant function $j_0(τ)=1$. More generally, we consider the singular moduli for the Hecke system of modular functions \[ j_m(τ) := mT_m \left(j(τ)-744\right). \] For each $ν\geq 0$ and $m\geq 1$, we obtain an Eichler-Selberg relation. For $ν=0$ and $m\in \{1, 2\},$ these relations are Kaneko's celebrated singular moduli formulas for the coefficients of $j(τ).$ For each $ν\geq 1$ and $m\geq 1,$ we obtain a new Eichler-Selberg trace formula for the Hecke action on the space of weight $2ν+2$ cusp forms, where the traces of $j_m(τ)$ singular moduli replace Hurwitz-Kronecker class numbers. These formulas involve a new term that is assembled from values of symmetrized shifted convolution $L$-functions.
△ Less
Submitted 20 June, 2024;
originally announced June 2024.
-
Distribution of hooks in self-conjugate partitions
Authors:
William Craig,
Ken Ono,
Ajit Singh
Abstract:
We confirm the speculation that the distribution of $t$-hooks among unrestricted integer partitions essentially descends to self-conjugate partitions. Namely, we prove that the number of hooks of length $t$ among the size $n$ self-conjugate partitions is asymptotically normally distributed with mean
$μ_t(n) \sim \frac{\sqrt{6n}}π + \frac{3}{π^2} - \frac{t}{2}$ and variance…
▽ More
We confirm the speculation that the distribution of $t$-hooks among unrestricted integer partitions essentially descends to self-conjugate partitions. Namely, we prove that the number of hooks of length $t$ among the size $n$ self-conjugate partitions is asymptotically normally distributed with mean
$μ_t(n) \sim \frac{\sqrt{6n}}π + \frac{3}{π^2} - \frac{t}{2}$ and variance $σ_t^2(n) \sim \frac{(π^2 - 6) \sqrt{6n}}{π^3}.$
△ Less
Submitted 13 June, 2024;
originally announced June 2024.
-
Distribution of the Hessian values of Gaussian hypergeometric functions
Authors:
Ken Ono,
Sudhir Pujahari,
Hasan Saad,
Neelam Saikia
Abstract:
We consider a special family of Gaussian hypergeometric functions whose entries are cubic and trivial characters over finite fields. The special values of these functions are known to give the Frobenius traces of families of Hessian elliptic curves. Using the theory of harmonic Maass forms and mock modular forms, we prove that the limiting distribution of these values is semi-circular (i.e.…
▽ More
We consider a special family of Gaussian hypergeometric functions whose entries are cubic and trivial characters over finite fields. The special values of these functions are known to give the Frobenius traces of families of Hessian elliptic curves. Using the theory of harmonic Maass forms and mock modular forms, we prove that the limiting distribution of these values is semi-circular (i.e. $SU(2)$), confirming the usual Sato-Tate distribution in this setting.
△ Less
Submitted 25 May, 2024;
originally announced May 2024.
-
Integer partitions detect the primes
Authors:
William Craig,
Jan-Willem van Ittersum,
Ken Ono
Abstract:
We show that integer partitions, the fundamental building blocks in additive number theory, detect prime numbers in an unexpected way. Answering a question of Schneider, we show that the primes are the solutions to special equations in partition functions. For example, an integer $n\geq 2$ is prime if and only if…
▽ More
We show that integer partitions, the fundamental building blocks in additive number theory, detect prime numbers in an unexpected way. Answering a question of Schneider, we show that the primes are the solutions to special equations in partition functions. For example, an integer $n\geq 2$ is prime if and only if
$$
(3n^3 - 13n^2 + 18n - 8)M_1(n) + (12n^2 - 120n + 212)M_2(n) -960M_3(n) = 0,
$$
where the $M_a(n)$ are MacMahon's well-studied partition functions. More generally, for "MacMahonesque" partition functions $M_{\vec{a}}(n),$ we prove that there are infinitely many such prime detecting equations with constant coefficients, such as
$$
80M_{(1,1,1)}(n)-12M_{(2,0,1)}(n)+12M_{(2,1,0)}(n)+\dots-12M_{(1,3)}(n)-39M_{(3,1)}(n)=0.
$$
△ Less
Submitted 10 July, 2024; v1 submitted 10 May, 2024;
originally announced May 2024.
-
Corrigendum of "Construction of Kuranishi structures on the moduli spaces of pseudo holomorphic disks I, Surveys in Differential Geometry XXII (2018), 133-190"
Authors:
Kenji Fukaya,
Yong-Geun Oh,
Hiroshi Ohta,
Kaoru Ono
Abstract:
This is a corrigendum of Lemma 9.1 of the paper [FOOO3] in the title. This lemma is not correct as pointed out by A. Daemi and a referee of the paper [DF]. The corrigendum does not affect the applications of this lemma in [FOOO3] and other papers and exactly the same proofs as therein apply if one replaces the statement of [FOOO3,Lemma 9.1] by Lemma 2 of the present note.
This is a corrigendum of Lemma 9.1 of the paper [FOOO3] in the title. This lemma is not correct as pointed out by A. Daemi and a referee of the paper [DF]. The corrigendum does not affect the applications of this lemma in [FOOO3] and other papers and exactly the same proofs as therein apply if one replaces the statement of [FOOO3,Lemma 9.1] by Lemma 2 of the present note.
△ Less
Submitted 27 February, 2024;
originally announced March 2024.
-
Remarks on MacMahon's $q$-series
Authors:
Ken Ono,
Ajit Singh
Abstract:
In his important 1920 paper on partitions, MacMahon defined the partition generating functions \begin{align*} A_k(q)=\sum_{n=1}^{\infty}\mathfrak{m}(k;n)q^n&:=\sum_{0< s_1<s_2<\cdots<s_k} \frac{q^{s_1+s_2+\cdots+s_k}}{(1-q^{s_1})^2(1-q^{s_2})^2\cdots(1-q^{s_k})^2},\\ C_k(q)=\sum_{n=1}^{\infty} \mathfrak{m}_{odd}(k;n)q^n&:=\sum_{0< s_1<s_2<\cdots<s_k} \frac{q^{2s_1+2s_2+\cdots+2s_k-k}}{(1-q^{2s_1-1…
▽ More
In his important 1920 paper on partitions, MacMahon defined the partition generating functions \begin{align*} A_k(q)=\sum_{n=1}^{\infty}\mathfrak{m}(k;n)q^n&:=\sum_{0< s_1<s_2<\cdots<s_k} \frac{q^{s_1+s_2+\cdots+s_k}}{(1-q^{s_1})^2(1-q^{s_2})^2\cdots(1-q^{s_k})^2},\\ C_k(q)=\sum_{n=1}^{\infty} \mathfrak{m}_{odd}(k;n)q^n&:=\sum_{0< s_1<s_2<\cdots<s_k} \frac{q^{2s_1+2s_2+\cdots+2s_k-k}}{(1-q^{2s_1-1})^2(1-q^{2s_2-1})^2\cdots(1-q^{2s_k-1})^2}. \end{align*} These series give infinitely many formulas for two prominent generating functions. For each non-negative $k$, we prove that $A_k(q), A_{k+1}(q), A_{k+2}(q),\dots$ (resp. $C_k(q), C_{k+1}(q), C_{k+2}(q),\dots$) give the generating function for the 3-colored partition function $p_3(n)$ (resp. the overpartition function $\overline{p}(n)$).
△ Less
Submitted 17 May, 2024; v1 submitted 13 February, 2024;
originally announced February 2024.
-
A note on odd partition numbers
Authors:
Michael Griffin,
Ken Ono
Abstract:
Ramanujan's celebrated partition congruences modulo $\ell\in \{5, 7, 11\}$ assert that $$ p(\ell n+δ_{\ell})\equiv 0\pmod{\ell}, $$ where $0<δ_{\ell}<\ell$ satisfies $24δ_{\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. F…
▽ More
Ramanujan's celebrated partition congruences modulo $\ell\in \{5, 7, 11\}$ assert that $$ p(\ell n+δ_{\ell})\equiv 0\pmod{\ell}, $$ where $0<δ_{\ell}<\ell$ satisfies $24δ_{\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+δ_{\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.
△ Less
Submitted 16 March, 2024; v1 submitted 1 January, 2024;
originally announced January 2024.
-
Hook lengths in self-conjugate partitions
Authors:
Tewodros Amdeberhan,
George E. Andrews,
Ken Ono,
Ajit Singh
Abstract:
In 2010, G.-N. Han obtained the generating function for the number of size $t$ hooks among integer partitions. Here we obtain these generating functions for self-conjugate partitions, which are particularly elegant for even $t$. If $n_t(λ)$ is the number of size $t$ hooks in a partition $λ,$ then for even $t$ we have…
▽ More
In 2010, G.-N. Han obtained the generating function for the number of size $t$ hooks among integer partitions. Here we obtain these generating functions for self-conjugate partitions, which are particularly elegant for even $t$. If $n_t(λ)$ is the number of size $t$ hooks in a partition $λ,$ then for even $t$ we have $$\sum_{λ\in \mathcal{SC}} x^{n_t(λ)} q^{\vertλ\vert} = (-q;q^2)_{\infty} \cdot ((1-x^2)q^{2t};q^{2t})_{\infty}^{\frac{t}2}. $$ As a consequence, if $a_t^*(n)$ is the number of such hooks among the self-conjugate partitions of $n,$ then for even $t$ we obtain the simple formula $$ a_t^*(n)=t\sum_{j\geq 1} q^*(n-2tj), $$ where $q^*(m)$ is the number of partitions of $m$ into distinct odd parts. As a corollary, we find that $t\mid a_t^*(n),$ which confirms a conjecture of Ballantine, Burson, Craig, Folsom, and Wen.
△ Less
Submitted 7 February, 2024; v1 submitted 5 December, 2023;
originally announced December 2023.
-
MacMahon's sums-of-divisors and allied $q$-series
Authors:
Tewodros Amdeberhan,
Ken Ono,
Ajit Singh
Abstract:
Here we investigate the $q$-series \begin{align*} \mathcal{U}_a(q)&=\sum_{n=0}^{\infty} MO(a;n)q^n&:=\sum_{0< k_1<k_2<\cdots<k_a} \frac{q^{k_1+k_2+\cdots+k_a}}{(1-q^{k_1})^2(1-q^{k_2})^2\cdots(1-q^{k_a})^2},\\ \mathcal{U}_a^{\star}(q)&=\sum_{n=0}^{\infty}M(a;n)q^n&:=\sum_{1\leq k_1\leq k_2\leq\cdots\leq k_a} \frac{q^{k_1+k_2+\cdots+k_a}}{(1-q^{k_1})^2(1-q^{k_2})^2\cdots(1-q^{k_a})^2}. \end{align*}…
▽ More
Here we investigate the $q$-series \begin{align*} \mathcal{U}_a(q)&=\sum_{n=0}^{\infty} MO(a;n)q^n&:=\sum_{0< k_1<k_2<\cdots<k_a} \frac{q^{k_1+k_2+\cdots+k_a}}{(1-q^{k_1})^2(1-q^{k_2})^2\cdots(1-q^{k_a})^2},\\ \mathcal{U}_a^{\star}(q)&=\sum_{n=0}^{\infty}M(a;n)q^n&:=\sum_{1\leq k_1\leq k_2\leq\cdots\leq k_a} \frac{q^{k_1+k_2+\cdots+k_a}}{(1-q^{k_1})^2(1-q^{k_2})^2\cdots(1-q^{k_a})^2}. \end{align*} MacMahon introduced the $\mathcal{U}_a(q)$ in his seminal work on partitions and divisor functions. Recent works show that these series are sums of quasimodular forms with weights $\leq 2a.$ We make this explicit by describing them in terms of Eisenstein series. We use these formulas to obtain explicit and general congruences for the coefficients $MO(a;n)$ and $M(a;n).$ Notably, we prove the conjecture of Amdeberhan-Andrews-Tauraso as the $m=0$ special case of the infinite family of congruences $$ MO(11m+10; 11n+7)\equiv 0\pmod{11}, $$ and we prove that $$ MO(17m+16; 17n+15)\equiv 0\pmod{17}. $$ We obtain further formulae using the limiting behavior of these series. For $n\leq a+\binom{a+1}2,$ we obtain a ``hook length'' formulae for $MO(a;n)$, and for $n\leq 2a$, we find that $M(a;n)=\binom{a+n-1}{n-a}+\binom{a+n-2}{n-a-1}.$
△ Less
Submitted 13 November, 2023;
originally announced November 2023.
-
Twisted Sectors for Lagrangian Floer Theory on Symplectic Orbifolds
Authors:
Bohui Chen,
Kaoru Ono,
Bai-Ling Wang
Abstract:
The notion of twisted sectors play a crucial role in orbifold Gromov-Witten theory. We introduce the notion of dihedral twisted sectors in order to construct Lagrangian Floer theory on symplectic orbifolds and discuss related issues.
The notion of twisted sectors play a crucial role in orbifold Gromov-Witten theory. We introduce the notion of dihedral twisted sectors in order to construct Lagrangian Floer theory on symplectic orbifolds and discuss related issues.
△ Less
Submitted 5 February, 2024; v1 submitted 3 August, 2023;
originally announced August 2023.
-
Hypergeometry and the AGM over Finite Fields
Authors:
Eleanor McSpirit,
Ken Ono
Abstract:
One of the most celebrated applications of Gauss' $_2F_1$ hypergeometric functions is in connection with the rapid convergence of sequences and special values that arise in the theory of arithmetic and geometric means. This theory was the inspiration for a recent paper \cite{jelly1} in which a finite field analogue of AGM$_\mathbb{R}$ was defined and then studied using finite field hypergeometric…
▽ More
One of the most celebrated applications of Gauss' $_2F_1$ hypergeometric functions is in connection with the rapid convergence of sequences and special values that arise in the theory of arithmetic and geometric means. This theory was the inspiration for a recent paper \cite{jelly1} in which a finite field analogue of AGM$_\mathbb{R}$ was defined and then studied using finite field hypergeometric functions. Instead of convergent sequences, one gets directed graphs that combine to form disjoint unions of graphs that individually resemble "jellyfish". Echoing the connection of hypergeometric functions to periods of elliptic curves, these graphs organize elliptic curves over finite fields. Here we use such "jellyfish swarms" to prove new identities for Gauss' class numbers of positive definite binary quadratic forms. Moreover, we prove that the sizes of jellyfish are in part dictated by the order of the prime above 2 in certain class groups.
△ Less
Submitted 31 May, 2023; v1 submitted 20 February, 2023;
originally announced February 2023.
-
Counting matrix points on certain varieties over finite fields
Authors:
Yifeng Huang,
Ken Ono,
Hasan Saad
Abstract:
Classical hypergeometric functions are well-known to play an important role in arithmetic algebraic geometry. These functions offer solutions to ordinary differential equations, and special cases of such solutions are periods of Picard-Fuchs varieties of Calabi-Yau type. Gauss' $_2F_1$ includes the celebrated case of elliptic curves through the theory of elliptic functions. In the 80s, Greene defi…
▽ More
Classical hypergeometric functions are well-known to play an important role in arithmetic algebraic geometry. These functions offer solutions to ordinary differential equations, and special cases of such solutions are periods of Picard-Fuchs varieties of Calabi-Yau type. Gauss' $_2F_1$ includes the celebrated case of elliptic curves through the theory of elliptic functions. In the 80s, Greene defined finite field hypergeometric functions that can be used to enumerate the number of finite field points on such varieties. We extend some of these results to count finite field ``matrix points." For example, for every $n\geq 1,$ we consider the matrix elliptic curves $$ B^2 = A(A-I_n)(A-a I_n), $$ where $(A,B)$ are commuting $n\times n$ matrices over a finite field $\mathbb{F}_q$ and $a\neq 0,1$ is fixed. Our formulas are assembled from Greene's hypergeometric functions and $q$-multinomial coefficients. We use these formulas to prove Sato-Tate distributions for the error terms for matrix point counts for these curves and some families of $K3$ surfaces.
△ Less
Submitted 25 May, 2023; v1 submitted 9 February, 2023;
originally announced February 2023.
-
The partition function modulo 4
Authors:
Ken Ono
Abstract:
It is widely believed that the parity of the partition function $p(n)$ is ``random.'' Contrary to this expectation, in this note we prove the existence of infinitely many congruence relations modulo 4 among its values. For each square-free integer $1<D\equiv 23\pmod{24},$ we construct a weight 2 meromorphic modular form that is congruent modulo 4 to a certain twisted generating function for the nu…
▽ More
It is widely believed that the parity of the partition function $p(n)$ is ``random.'' Contrary to this expectation, in this note we prove the existence of infinitely many congruence relations modulo 4 among its values. For each square-free integer $1<D\equiv 23\pmod{24},$ we construct a weight 2 meromorphic modular form that is congruent modulo 4 to a certain twisted generating function for the numbers $p\big(\frac{Dm^2+1}{24}\big)\pmod 4$. We prove the existence of infinitely many linear dependence congruences modulo 4 among suitable sets of holomorphic normalizations of these series.
These results rely on the theory of class numbers and Hilbert class polynomials, and {\it generalized twisted Borcherds products} developed by Bruinier and the author.
△ Less
Submitted 13 December, 2022;
originally announced December 2022.
-
Zeros in the Character Tables of Symmetric Groups with an $\ell$-Core Index
Authors:
Eleanor McSpirit,
Ken Ono
Abstract:
Let $\mathcal{C}_n =\left [χ_λ(μ)\right]_{λ, μ}$ be the character table for $S_n,$ where the indices $λ$ and $μ$ run over the $p(n)$ many integer partitions of $n.$ In this note we study $Z_{\ell}(n),$ the number of zero entries $χ_λ(μ)$ in $\mathcal{C}_n,$ where $λ$ is an $\ell$-core partition of $n.$ For every prime $\ell\geq 5,$ we prove an asymptotic formula of the form…
▽ More
Let $\mathcal{C}_n =\left [χ_λ(μ)\right]_{λ, μ}$ be the character table for $S_n,$ where the indices $λ$ and $μ$ run over the $p(n)$ many integer partitions of $n.$ In this note we study $Z_{\ell}(n),$ the number of zero entries $χ_λ(μ)$ in $\mathcal{C}_n,$ where $λ$ is an $\ell$-core partition of $n.$ For every prime $\ell\geq 5,$ we prove an asymptotic formula of the form $$ Z_{\ell}(n)\sim α_{\ell}\cdot σ_{\ell}(n+δ_{\ell})p(n)\gg_{\ell} n^{\frac{\ell-5}{2}}e^{π\sqrt{2n/3}},$$ where $σ_{\ell}(n)$ is a twisted Legendre symbol divisor function, $δ_{\ell}:=(\ell^2-1)/24,$ and $1/α_{\ell}>0$ is a normalization of the Dirichlet $L$-value $L\left(\left(\frac{\cdot}{\ell}\right),\frac{\ell-1}{2}\right).$ For primes $\ell$ and $n>\ell^6/24,$ we show that $χ_λ(μ)=0$ whenever $λ$ and $μ$ are both $\ell$-cores. Furthermore, if $Z^*_{\ell}(n)$ is the number of zero entries indexed by two $\ell$-cores, then for $\ell\geq 5$ we obtain the asymptotic $$ Z^*_{\ell}(n)\sim α_{\ell}^2 \cdot σ_{\ell}( n+δ_{\ell})^2 \gg_{\ell} n^{\ell-3}. $$
△ Less
Submitted 21 June, 2022; v1 submitted 19 May, 2022;
originally announced May 2022.
-
Euler-Kronecker constants for cyclotomic fields
Authors:
Letong Hong,
Ken Ono,
Shengtong Zhang
Abstract:
The Euler-Mascheroni constant $γ=0.5772\dots\!$ is the $K=\mathbb{Q}$ example of an Euler-Kronecker constant $γ_K$ of a number field $K.$ In this note we consider the size of the $γ_q=γ_{K_q}$ for cyclotomic fields $K_q:=\mathbb{Q}(ζ_q).$ Assuming the Elliott-Halberstam Conjecture (EH), we prove uniformly in $Q$ that $$\frac{1}{Q}\sum_{Q<q\le 2Q} \left |γ_q - \log q\right |= o(\log Q).$$ In other…
▽ More
The Euler-Mascheroni constant $γ=0.5772\dots\!$ is the $K=\mathbb{Q}$ example of an Euler-Kronecker constant $γ_K$ of a number field $K.$ In this note we consider the size of the $γ_q=γ_{K_q}$ for cyclotomic fields $K_q:=\mathbb{Q}(ζ_q).$ Assuming the Elliott-Halberstam Conjecture (EH), we prove uniformly in $Q$ that $$\frac{1}{Q}\sum_{Q<q\le 2Q} \left |γ_q - \log q\right |= o(\log Q).$$ In other words, under EH the $γ_q / \log q$ in these ranges converge to the one point distribution at $1$. This theorem refines and extends a previous result of Ford, Luca, and Moree for prime $q.$
△ Less
Submitted 19 April, 2022; v1 submitted 7 March, 2022;
originally announced March 2022.
-
Distributions of Hook lengths in integer partitions
Authors:
Michael Griffin,
Ken Ono,
Wei-Lun Tsai
Abstract:
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 $μ_t(n)\sim \frac{\sqrt{6n}}π-\frac{t}{2}$ and variance $σ_t^2(n)\sim \frac{(π^2-6)\sqrt{6n}}{2π^3}.$ Furthermore, we prove that the distribution of the number of hook lengths that are multiples…
▽ More
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 $μ_t(n)\sim \frac{\sqrt{6n}}π-\frac{t}{2}$ and variance $σ_t^2(n)\sim \frac{(π^2-6)\sqrt{6n}}{2π^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 $θ=\sqrt{2/(t-1)}.$
△ Less
Submitted 22 August, 2022; v1 submitted 17 January, 2022;
originally announced January 2022.
-
Turán inequalities for the plane partition function
Authors:
Ken Ono,
Sudhir Pujahari,
Larry Rolen
Abstract:
Heim, Neuhauser, and Tröger recently established some inequalities for MacMahon's plane partition function $\mathrm{PL}(n)$ that generalize known results for Euler's partition function $p(n)$. They also conjectured that $\mathrm{PL}(n)$ is log-concave for all $n\geq 12.$ We prove this conjecture. Moreover, for every $d\geq 1$, we prove their speculation that $\mathrm{PL}(n)$ satisfies the degree…
▽ More
Heim, Neuhauser, and Tröger recently established some inequalities for MacMahon's plane partition function $\mathrm{PL}(n)$ that generalize known results for Euler's partition function $p(n)$. They also conjectured that $\mathrm{PL}(n)$ is log-concave for all $n\geq 12.$ We prove this conjecture. Moreover, for every $d\geq 1$, we prove their speculation that $\mathrm{PL}(n)$ satisfies the degree $d$ Turán inequality for sufficiently large $n$. The case where $d=2$ is the case of log-concavity.
△ Less
Submitted 9 September, 2022; v1 submitted 4 January, 2022;
originally announced January 2022.
-
Construction of a linear K-system in Hamiltonian Floer theory
Authors:
Kenji Fukaya,
Yong-Geun Oh,
Hiroshi Ohta,
Kaoru Ono
Abstract:
The notion of linear K-system is introduced by the present authors as an abstract model arising from the structure of compactified moduli spaces of solutions to Floer's equation in the book [FOOO14]. The purpose of the present article is to provide a geometric realization of the linear K-system associated with solutions to Floer's equation in the Morse-Bott setting. Immediate consequences (when co…
▽ More
The notion of linear K-system is introduced by the present authors as an abstract model arising from the structure of compactified moduli spaces of solutions to Floer's equation in the book [FOOO14]. The purpose of the present article is to provide a geometric realization of the linear K-system associated with solutions to Floer's equation in the Morse-Bott setting. Immediate consequences (when combined with the abstract theory from [FOOO14]) are construction of Floer cohomology for periodic Hamiltonian system on general compact symplectic manifold without any restriction, and construction of an isomorphism over the Novikov ring between the Floer cohomology and the singular cohomology of the underlying symplectic manifold. The present article utilizes various analytical results on pseudo-holomorphic curves established in our earlier papers and books.
However the paper itself is geometric in nature, and does not presume the readers' prior knowledge much on Kuranishi structure and its construction but assumes only the elementary part of thereof, and results from [FOOO11] and [FOOO,Chapter 8] on its construction, and the standard knowledge on Hamiltonian Floer theory. We explain the general procedure of the construction of a linear K-system by explaining in detail the inductive steps of ensuring the compatibility conditions for the system of Kuranishi structures leading to a linear K-system for the case of Hamiltonian Floer theory.
A certain minor errors are corrected in this version. (to appear in the special volume dedicated to Claude Viterbo of Journal of Fixed Point Theory and Applications.)
△ Less
Submitted 5 February, 2022; v1 submitted 23 December, 2021;
originally announced December 2021.
-
Limiting Betti distributions of Hilbert schemes on $n$ points
Authors:
Michael Griffin,
Ken Ono,
Larry Rolen,
Wei-Lun Tsai
Abstract:
Hausel and Rodriguez-Villegas recently observed that work of Göttsche, combined with a classical result of Erdő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 th…
▽ More
Hausel and Rodriguez-Villegas recently observed that work of Göttsche, combined with a classical result of Erdő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_{α,β}}$ 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ő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π)^k}e^{2π\sqrt{\frac1{6}\left(1-\frac1A\right)(n-Ak)}},
$$ a result which is of independent interest.
△ Less
Submitted 5 April, 2022; v1 submitted 9 December, 2021;
originally announced December 2021.
-
AGM and jellyfish swarms of elliptic curves
Authors:
Michael J. Griffin,
Ken Ono,
Neelam Saikia,
Wei-Lun Tsai
Abstract:
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…
▽ More
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.
△ Less
Submitted 22 December, 2022; v1 submitted 23 October, 2021;
originally announced October 2021.
-
Distributions on partitions arising from Hilbert schemes and hook lengths
Authors:
Kathrin Bringmann,
William Craig,
Joshua Males,
Ken Ono
Abstract:
Recent works at the interface of algebraic combinatorics, algebraic geometry, number theory, and topology have provided new integer-valued invariants on integer partitions. It is natural to consider the distribution of partitions when sorted by these invariants in congruence classes. We consider the prominent situations which arise from extensions of the Nekrasov-Okounkov hook product formula, and…
▽ More
Recent works at the interface of algebraic combinatorics, algebraic geometry, number theory, and topology have provided new integer-valued invariants on integer partitions. It is natural to consider the distribution of partitions when sorted by these invariants in congruence classes. We consider the prominent situations which arise from extensions of the Nekrasov-Okounkov hook product formula, and from Betti numbers of various Hilbert schemes of $n$ points on $\mathbb{C}^2.$ For the Hilbert schemes, we prove that homology is equidistributed as $n\to \infty.$ For $t$-hooks, we prove distributions which are often not equidistributed. The cases where $t\in \{2, 3\}$ stand out, as there are congruence classes where such counts are zero. To obtain these distributions, we obtain analytic results which are of independent interest. We determine the asymptotics, near roots of unity, of the ubiquitous infinite products $$ F_1(ξ; q):=\prod_{n=1}^{\infty}\left(1-ξq^n\right), \ \ \ F_2(ξ; q):=\prod_{n=1}^{\infty}\left(1-(ξq)^n\right) \ \ \ {\text {and}}\ \ \ F_3(ξ; q):=\prod_{n=1}^{\infty}\left(1-ξ^{-1}(ξq)^n\right). $$
△ Less
Submitted 17 April, 2022; v1 submitted 21 September, 2021;
originally announced September 2021.
-
Distribution of values of Gaussian hypergeometric functions
Authors:
Ken Ono,
Hasan Saad,
Neelam Saikia
Abstract:
In the 1980's, Greene defined {\it hypergeometric functions over finite fields} using Jacobi sums. The framework of his theory establishes that these functions possess many properties that are analogous to those of the classical hypergeometric series studied by Gauss and Kummer. These functions have played important roles in the study of Apéry-style supercongruences, the Eichler-Selberg trace form…
▽ More
In the 1980's, Greene defined {\it hypergeometric functions over finite fields} using Jacobi sums. The framework of his theory establishes that these functions possess many properties that are analogous to those of the classical hypergeometric series studied by Gauss and Kummer. These functions have played important roles in the study of Apéry-style supercongruences, the Eichler-Selberg trace formula, Galois representations, and zeta-functions of arithmetic varieties. We study the value distribution (over large finite fields) of natural families of these functions. For the $_2F_1$ functions, the limiting distribution is semicircular (i.e. $SU(2)$), whereas the distribution for the $_3F_2$ functions is the {\it Batman} distribution for the traces of the real orthogonal group $O_3$.
△ Less
Submitted 26 October, 2022; v1 submitted 21 August, 2021;
originally announced August 2021.
-
Proof of the elliptic expansion Moonshine Conjecture of Căldăraru, He, and Huang
Authors:
Letong Hong,
Michael H. Mertens,
Ken Ono,
Shengtong Zhang
Abstract:
Using predictions in mirror symmetry, Căldăraru, He, and Huang recently formulated a "Moonshine Conjecture at Landau-Ginzburg points" for Klein's modular $j$-function at $j=0$ and $j=1728.$ The conjecture asserts that the $j$-function, when specialized at specific flat coordinates on the moduli spaces of versal deformations of the corresponding CM elliptic curves, yields simple rational functions.…
▽ More
Using predictions in mirror symmetry, Căldăraru, He, and Huang recently formulated a "Moonshine Conjecture at Landau-Ginzburg points" for Klein's modular $j$-function at $j=0$ and $j=1728.$ The conjecture asserts that the $j$-function, when specialized at specific flat coordinates on the moduli spaces of versal deformations of the corresponding CM elliptic curves, yields simple rational functions. We prove this conjecture, and show that these rational functions arise from classical $ _2F_1$-hypergeometric inversion formulae for the $j$-function.
△ Less
Submitted 14 January, 2022; v1 submitted 2 August, 2021;
originally announced August 2021.
-
Tamagawa products of elliptic curves over $\mathbb{Q}$
Authors:
Michael Griffin,
Ken Ono,
Wei-Lun Tsai
Abstract:
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…
▽ More
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.
△ Less
Submitted 17 August, 2021; v1 submitted 7 May, 2021;
originally announced May 2021.
-
Even values of Ramanujan's tau-function
Authors:
Jennifer S. Balakrishnan,
Ken Ono,
Wei-Lun Tsai
Abstract:
In the spirit of Lehmer's speculation that Ramanujan's tau-function never vanishes, it is natural to ask whether any given integer $α$ is a value of $τ(n)$. For odd $α$, Murty, Murty, and Shorey proved that $τ(n)\neq α$ for sufficiently large $n$. Several recent papers have identified explicit examples of odd $α$ which are not tau-values. Here we apply these results (most notably the recent work o…
▽ More
In the spirit of Lehmer's speculation that Ramanujan's tau-function never vanishes, it is natural to ask whether any given integer $α$ is a value of $τ(n)$. For odd $α$, Murty, Murty, and Shorey proved that $τ(n)\neq α$ for sufficiently large $n$. Several recent papers have identified explicit examples of odd $α$ which are not tau-values. Here we apply these results (most notably the recent work of Bennett, Gherga, Patel, and Siksek) to offer the first examples of even integers that are not tau-values. Namely, for primes $\ell$ we find that $$ τ(n)\not \in \{ \pm 2\ell \ : \ 3\leq \ell< 100\} \cup \{\pm 2\ell^2 \ : \ 3\leq \ell <100\} \cup \{\pm 2\ell^3 \ : \ 3\leq \ell<100\ {\text {\rm with $\ell\neq 59$}}\}.$$ Moreover, we obtain such results for infinitely many powers of each prime $3\leq \ell<100$. As an example, for $\ell=97$ we prove that $$τ(n)\not \in \{ 2\cdot 97^j \ : \ 1\leq j\not \equiv 0\pmod{44}\}\cup \{-2\cdot 97^j \ : \ j\geq 1\}.$$ The method of proof applies mutatis mutandis to newforms with residually reducible mod 2 Galois representation and is easily adapted to generic newforms with integer coefficients.
△ Less
Submitted 13 December, 2021; v1 submitted 29 January, 2021;
originally announced February 2021.
-
Universal Approximation Property of Neural Ordinary Differential Equations
Authors:
Takeshi Teshima,
Koichi Tojo,
Masahiro Ikeda,
Isao Ishikawa,
Kenta Oono
Abstract:
Neural ordinary differential equations (NODEs) is an invertible neural network architecture promising for its free-form Jacobian and the availability of a tractable Jacobian determinant estimator. Recently, the representation power of NODEs has been partly uncovered: they form an $L^p$-universal approximator for continuous maps under certain conditions. However, the $L^p$-universality may fail to…
▽ More
Neural ordinary differential equations (NODEs) is an invertible neural network architecture promising for its free-form Jacobian and the availability of a tractable Jacobian determinant estimator. Recently, the representation power of NODEs has been partly uncovered: they form an $L^p$-universal approximator for continuous maps under certain conditions. However, the $L^p$-universality may fail to guarantee an approximation for the entire input domain as it may still hold even if the approximator largely differs from the target function on a small region of the input space. To further uncover the potential of NODEs, we show their stronger approximation property, namely the $\sup$-universality for approximating a large class of diffeomorphisms. It is shown by leveraging a structure theorem of the diffeomorphism group, and the result complements the existing literature by establishing a fairly large set of mappings that NODEs can approximate with a stronger guarantee.
△ Less
Submitted 4 December, 2020;
originally announced December 2020.
-
Partition-theoretic formulas for arithmetic densities, II
Authors:
Ken Ono,
Robert Schneider,
Ian Wagner
Abstract:
In earlier work generalizing a 1977 theorem of Alladi, the authors proved a partition-theoretic formula to compute arithmetic densities of certain subsets of the positive integers $\mathbb N$ as limiting values of $q$-series as $q\to ζ$ a root of unity (instead of using the usual Dirichlet series to compute densities), replacing multiplicative structures of $\mathbb N$ by analogous structures in t…
▽ More
In earlier work generalizing a 1977 theorem of Alladi, the authors proved a partition-theoretic formula to compute arithmetic densities of certain subsets of the positive integers $\mathbb N$ as limiting values of $q$-series as $q\to ζ$ a root of unity (instead of using the usual Dirichlet series to compute densities), replacing multiplicative structures of $\mathbb N$ by analogous structures in the integer partitions $\mathcal P$. In recent work, Wang obtains a wide generalization of Alladi's original theorem, in which arithmetic densities of subsets of prime numbers are computed as values of Dirichlet series arising from Dirichlet convolutions. Here the authors prove that Wang's extension has a partition-theoretic analogue as well, yielding new $q$-series density formulas for any subset of $\mathbb N$. To do so, we outline a theory of $q$-series density calculations from first principles, based on a statistic we call the "$q$-density" of a given subset. This theory in turn yields infinite families of further formulas for arithmetic densities.
△ Less
Submitted 6 April, 2021; v1 submitted 28 October, 2020;
originally announced October 2020.
-
Eichler integrals of Eisenstein series as $q$-brackets of weighted $t$-hook functions on partitions
Authors:
Kathrin Bringmann,
Ken Ono,
Ian Wagner
Abstract:
We consider the $t$-hook functions on partitions $f_{a,t}: \mathcal{P}\rightarrow \mathbb{C}$ defined by $$ f_{a,t}(λ):=t^{a-1} \sum_{h\in \mathcal{H}_t(λ)}\frac{1}{h^a}, $$ where $\mathcal{H}_t(λ)$ is the multiset of partition hook numbers that are multiples of $t$. The Bloch-Okounkov $q$-brackets $\langle f_{a,t}\rangle_q$ include Eichler integrals of the classical Eisenstein series. For even…
▽ More
We consider the $t$-hook functions on partitions $f_{a,t}: \mathcal{P}\rightarrow \mathbb{C}$ defined by $$ f_{a,t}(λ):=t^{a-1} \sum_{h\in \mathcal{H}_t(λ)}\frac{1}{h^a}, $$ where $\mathcal{H}_t(λ)$ is the multiset of partition hook numbers that are multiples of $t$. The Bloch-Okounkov $q$-brackets $\langle f_{a,t}\rangle_q$ include Eichler integrals of the classical Eisenstein series. For even $a\geq 2$, we show that these $q$-brackets are natural pieces of weight $2-a$ sesquiharmonic and harmonic Maass forms, while for odd $a\leq -1,$ we show that they are holomorphic quantum modular forms. We use these results to obtain new formulas of Chowla-Selberg type, and asymptotic expansions involving values of the Riemann zeta-function and Bernoulli numbers. We make use of work of Berndt, Han and Ji, and Zagier.
△ Less
Submitted 21 February, 2021; v1 submitted 15 September, 2020;
originally announced September 2020.
-
The Eichler integral of $E_2$ and $q$-brackets of $t$-hook functions
Authors:
Ken Ono
Abstract:
For functions $f: \mathcal{P}\rightarrow \mathbb{C}$ on partitions, Bloch and Okounkov defined a power series $\langle f\rangle_q$ that is the "weighted average" of $f$. As Fourier series in $q=e^{2πi z}$, such $q$-brackets generate the ring of quasimodular forms, and the modular forms that are powers of Dedekind's eta-function. Using work of Berndt and Han, we build modular objects from…
▽ More
For functions $f: \mathcal{P}\rightarrow \mathbb{C}$ on partitions, Bloch and Okounkov defined a power series $\langle f\rangle_q$ that is the "weighted average" of $f$. As Fourier series in $q=e^{2πi z}$, such $q$-brackets generate the ring of quasimodular forms, and the modular forms that are powers of Dedekind's eta-function. Using work of Berndt and Han, we build modular objects from $$ f_t(λ):= t\sum_{h\in \mathcal{H}_t(λ)}\frac{1}{h^2}, $$ weighted sums over partition hook numbers that are multiples of $t$. We find that $\langle f_t \rangle_q$ is the Eichler integral of $(1-E_2(tz))/24,$ which we modify to construct a function $M_t(z)$ that enjoys weight 0 modularity properties. As a consequence, the non-modular Fourier series $$H_t^*(z):=\sum_{λ\in \mathcal{P}} f_t(λ)q^{|λ|-\frac{1}{24}} $$ inherits weight $-1/2$ modularity properties. These are sufficient to imply a Chowla-Selberg type result, generalizing the fact that weight $k$ algebraic modular forms evaluated at discriminant $D<0$ points $τ$ are algebraic multiples of $Ω_D^k,$ the $k$th power of the canonical period. If we let $Ψ(τ):=-πi \left(\frac{τ^2-3τ+1}{12τ}\right)-\frac{\log(τ)}{2},$ then for $t=1$ we prove that $$ H_1^*(-1/τ)-\frac{1}{\sqrt{-iτ}}\cdot H_1^*(τ)\in \overline{\mathbb{Q}}\cdot \frac{Ψ(τ)}{\sqrt{Ω_D}}.$$
△ Less
Submitted 3 August, 2020; v1 submitted 29 July, 2020;
originally announced July 2020.
-
Heights of points on elliptic curves over $\mathbb Q$
Authors:
Michael Griffin,
Ken Ono,
Wei-Lun Tsai
Abstract:
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 $$Ψ_{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…
▽ More
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 $$Ψ_{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). $$
△ Less
Submitted 9 June, 2022; v1 submitted 18 July, 2020;
originally announced July 2020.
-
Coupling-based Invertible Neural Networks Are Universal Diffeomorphism Approximators
Authors:
Takeshi Teshima,
Isao Ishikawa,
Koichi Tojo,
Kenta Oono,
Masahiro Ikeda,
Masashi Sugiyama
Abstract:
Invertible neural networks based on coupling flows (CF-INNs) have various machine learning applications such as image synthesis and representation learning. However, their desirable characteristics such as analytic invertibility come at the cost of restricting the functional forms. This poses a question on their representation power: are CF-INNs universal approximators for invertible functions? Wi…
▽ More
Invertible neural networks based on coupling flows (CF-INNs) have various machine learning applications such as image synthesis and representation learning. However, their desirable characteristics such as analytic invertibility come at the cost of restricting the functional forms. This poses a question on their representation power: are CF-INNs universal approximators for invertible functions? Without a universality, there could be a well-behaved invertible transformation that the CF-INN can never approximate, hence it would render the model class unreliable. We answer this question by showing a convenient criterion: a CF-INN is universal if its layers contain affine coupling and invertible linear functions as special cases. As its corollary, we can affirmatively resolve a previously unsolved problem: whether normalizing flow models based on affine coupling can be universal distributional approximators. In the course of proving the universality, we prove a general theorem to show the equivalence of the universality for certain diffeomorphism classes, a theoretical insight that is of interest by itself.
△ Less
Submitted 3 November, 2020; v1 submitted 19 June, 2020;
originally announced June 2020.
-
Optimization and Generalization Analysis of Transduction through Gradient Boosting and Application to Multi-scale Graph Neural Networks
Authors:
Kenta Oono,
Taiji Suzuki
Abstract:
It is known that the current graph neural networks (GNNs) are difficult to make themselves deep due to the problem known as over-smoothing. Multi-scale GNNs are a promising approach for mitigating the over-smoothing problem. However, there is little explanation of why it works empirically from the viewpoint of learning theory. In this study, we derive the optimization and generalization guarantees…
▽ More
It is known that the current graph neural networks (GNNs) are difficult to make themselves deep due to the problem known as over-smoothing. Multi-scale GNNs are a promising approach for mitigating the over-smoothing problem. However, there is little explanation of why it works empirically from the viewpoint of learning theory. In this study, we derive the optimization and generalization guarantees of transductive learning algorithms that include multi-scale GNNs. Using the boosting theory, we prove the convergence of the training error under weak learning-type conditions. By combining it with generalization gap bounds in terms of transductive Rademacher complexity, we show that a test error bound of a specific type of multi-scale GNNs that decreases corresponding to the number of node aggregations under some conditions. Our results offer theoretical explanations for the effectiveness of the multi-scale structure against the over-smoothing problem. We apply boosting algorithms to the training of multi-scale GNNs for real-world node prediction tasks. We confirm that its performance is comparable to existing GNNs, and the practical behaviors are consistent with theoretical observations. Code is available at https://github.com/delta2323/GB-GNN.
△ Less
Submitted 6 January, 2021; v1 submitted 15 June, 2020;
originally announced June 2020.
-
Quadratic twists of elliptic curves and class numbers
Authors:
Michael Griffin,
Ken Ono,
Wei-Lun Tsai
Abstract:
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…
▽ More
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{Γ\left (\frac{r(a)}{2}+1\right)}{(4π)^{\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êa 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.
△ Less
Submitted 26 June, 2020; v1 submitted 1 June, 2020;
originally announced June 2020.
-
Variants of Lehmer's speculation for newforms
Authors:
Jennifer S. Balakrishnan,
William Craig,
Ken Ono,
Wei-Lun Tsai
Abstract:
In the spirit of Lehmer's unresolved speculation on the nonvanishing of Ramanujan's tau-function, it is natural to ask whether a fixed integer is a value of $τ(n)$ or is a Fourier coefficient $a_f(n)$ of any given newform $f(z)$. We offer a method, which applies to newforms with integer coefficients and trivial residual mod 2 Galois representation, that answers this question for odd integers. We d…
▽ More
In the spirit of Lehmer's unresolved speculation on the nonvanishing of Ramanujan's tau-function, it is natural to ask whether a fixed integer is a value of $τ(n)$ or is a Fourier coefficient $a_f(n)$ of any given newform $f(z)$. We offer a method, which applies to newforms with integer coefficients and trivial residual mod 2 Galois representation, that answers this question for odd integers. We determine infinitely many spaces for which the primes $3\leq \ell\leq 37$ are not absolute values of coefficients of newforms with integer coefficients. For $τ(n)$ with $n>1$, we prove that $$τ(n)\not \in \{\pm 1, \pm 3, \pm 5, \pm 7, \pm 13, \pm 17, -19, \pm 23, \pm 37, \pm 691\},$$ and assuming GRH we show for primes $\ell$ that $$τ(n)\not \in \left \{ \pm \ell\ : \ 41\leq \ell\leq 97 \ {\textrm{with}}\ \left(\frac{\ell}{5}\right)=-1\right\} \cup \left \{ -11, -29, -31, -41, -59, -61, -71, -79, -89\right\}. $$ We also obtain sharp lower bounds for the number of prime factors of such newform coefficients. In the weight aspect, for powers of odd primes $\ell$, we prove that $\pm \ell^m$ is not a coefficient of any such newform $f$ with weight $2k>M^{\pm}(\ell,m)=O_{\ell}(m)$ and even level coprime to $\ell,$ where $M^{\pm}(\ell,m)$ is effectively computable.
△ Less
Submitted 24 September, 2023; v1 submitted 20 May, 2020;
originally announced May 2020.
-
Variations of Lehmer's Conjecture for Ramanujan's tau-function
Authors:
Jennifer S. Balakrishnan,
William Craig,
Ken Ono
Abstract:
We consider natural variants of Lehmer's unresolved conjecture that Ramanujan's tau-function never vanishes. Namely, for $n>1$ we prove that $$τ(n)\not \in \{\pm 1, \pm 3, \pm 5, \pm 7, \pm 691\}.$$ This result is an example of general theorems for newforms with trivial mod 2 residual Galois representation, which will appear in forthcoming work of the authors with Wei-Lun Tsai. Ramanujan's well-kn…
▽ More
We consider natural variants of Lehmer's unresolved conjecture that Ramanujan's tau-function never vanishes. Namely, for $n>1$ we prove that $$τ(n)\not \in \{\pm 1, \pm 3, \pm 5, \pm 7, \pm 691\}.$$ This result is an example of general theorems for newforms with trivial mod 2 residual Galois representation, which will appear in forthcoming work of the authors with Wei-Lun Tsai. Ramanujan's well-known congruences for $τ(n)$ allow for the simplified proof in these special cases. We make use of the theory of Lucas sequences, the Chabauty-Coleman method for hyperelliptic curves, and facts about certain Thue equations.
△ Less
Submitted 20 May, 2020;
originally announced May 2020.
-
Elliptic curves and lower bounds for class numbers
Authors:
Michael Griffin,
Ken Ono
Abstract:
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 i…
▽ More
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.
△ Less
Submitted 29 April, 2020; v1 submitted 20 January, 2020;
originally announced January 2020.
-
Fields generated by characters of finite linear groups
Authors:
Madeline Locus Dawsey,
Ken Ono,
Ian Wagner
Abstract:
In previous work, the authors confirmed the speculation of J. G. Thompson that certain multiquadratic fields are generated by specified character values of sufficiently large alternating groups $A_n$. Here we address the natural generalization of this speculation to the finite general linear groups $\mathrm{GL}_m\left(\mathbb{F}_q\right)$ and $\mathrm{SL}_2\left(\mathbb{F}_q\right)$.
In previous work, the authors confirmed the speculation of J. G. Thompson that certain multiquadratic fields are generated by specified character values of sufficiently large alternating groups $A_n$. Here we address the natural generalization of this speculation to the finite general linear groups $\mathrm{GL}_m\left(\mathbb{F}_q\right)$ and $\mathrm{SL}_2\left(\mathbb{F}_q\right)$.
△ Less
Submitted 27 January, 2021; v1 submitted 15 December, 2019;
originally announced December 2019.
-
Jensen Polynomials for the Riemann Xi Function
Authors:
Michael Griffin,
Ken Ono,
Larry Rolen,
Jesse Thorner,
Zachary Tripp,
Ian Wagner
Abstract:
We investigate Riemann's xi function $ξ(s):=\frac{1}{2}s(s-1)π^{-\frac{s}{2}}Γ(\frac{s}{2})ζ(s)$ (here $ζ(s)$ is the Riemann zeta function). The Riemann Hypothesis (RH) asserts that if $ξ(s)=0$, then $\mathrm{Re}(s)=\frac{1}{2}$. Pólya proved that RH is equivalent to the hyperbolicity of the Jensen polynomials $J^{d,n}(X)$ constructed from certain Taylor coefficients of $ξ(s)$. For each $d\geq 1$,…
▽ More
We investigate Riemann's xi function $ξ(s):=\frac{1}{2}s(s-1)π^{-\frac{s}{2}}Γ(\frac{s}{2})ζ(s)$ (here $ζ(s)$ is the Riemann zeta function). The Riemann Hypothesis (RH) asserts that if $ξ(s)=0$, then $\mathrm{Re}(s)=\frac{1}{2}$. Pólya proved that RH is equivalent to the hyperbolicity of the Jensen polynomials $J^{d,n}(X)$ constructed from certain Taylor coefficients of $ξ(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 $ξ^{(n)}(s)$ influence the hyperbolicity of $J^{d,n}(X)$.
△ Less
Submitted 17 December, 2020; v1 submitted 2 October, 2019;
originally announced October 2019.
-
Class Numbers and Self-Conjugate 7-Cores
Authors:
Ken Ono,
Wissam Raji
Abstract:
We investigate $sc_7(n)$, the number of self-conjugate $7$-core partitions of size $n$. It turns out that $sc_7(n)=0$ for $n\equiv 7\pmod 8$. For $n\equiv 1, 3, 5\pmod 8$, with $n\not \equiv 5\pmod 7,$ we find that $sc_7(n)$ is essentially a Hurwitz class number. Using recent work of Gao and Qin, we show that $$ sc_7(n) = 2^{-\varepsilon(n)-1}\cdot H(-D_n), $$ where…
▽ More
We investigate $sc_7(n)$, the number of self-conjugate $7$-core partitions of size $n$. It turns out that $sc_7(n)=0$ for $n\equiv 7\pmod 8$. For $n\equiv 1, 3, 5\pmod 8$, with $n\not \equiv 5\pmod 7,$ we find that $sc_7(n)$ is essentially a Hurwitz class number. Using recent work of Gao and Qin, we show that $$ sc_7(n) = 2^{-\varepsilon(n)-1}\cdot H(-D_n), $$ where $-D_n:=-4^{\varepsilon(n)}(7n+14)$ and $\varepsilon(n):=\frac{1}{2}\cdot(1+(-1)^{\frac{n-1}{2}})$. This fact implies several corollaries which are of interest. For example, if $-D_n$ is a fundamental discriminant and $p\not \in \{2, 7\}$ is a prime with $ord_p(-D_n)\leq 1$, then for every positive integer $k$ we have $$ sc_7\left((n+2)p^{2k}-2\right)=sc_7(n)\cdot \left(1+\frac{p^{k+1}-p}{p-1}-\frac{p^k-1}{p-1}.\left(\frac{-D_n}{p}\right)\right), $$ where $\left(\frac{-D_n}{p}\right)$ is the Legendre symbol.
△ Less
Submitted 11 September, 2019;
originally announced September 2019.
-
Mock modular Eisenstein series with Nebentypus
Authors:
Michael H. Mertens,
Ken Ono,
Larry Rolen
Abstract:
By the theory of Eisenstein series, generating functions of various divisor functions arise as modular forms. It is natural to ask whether further divisor functions arise systematically in the theory of mock modular forms. We establish, using the method of Zagier and Zwegers on holomorphic projection, that this is indeed the case for certain (twisted) "small divisors" summatory functions…
▽ More
By the theory of Eisenstein series, generating functions of various divisor functions arise as modular forms. It is natural to ask whether further divisor functions arise systematically in the theory of mock modular forms. We establish, using the method of Zagier and Zwegers on holomorphic projection, that this is indeed the case for certain (twisted) "small divisors" summatory functions $σ_ψ^{\mathrm{sm}}(n)$. More precisely, in terms of the weight 2 quasimodular Eisenstein series $E_2(τ)$ and a generic Shimura theta function $θ_ψ(τ)$, we show that there is a constant $α_ψ$ for which $$ \mathcal{E}^{+}_ψ(τ):= α_ψ\cdot\frac{E_2(τ)}{θ_ψ(τ)}+ \frac{1}{θ_ψ(τ)} \sum_{n=1}^\infty σ^{\mathrm{sm}}_ψ(n)q^n $$ is a half integral weight (polar) mock modular form. These include generating functions for combinatorial objects such as the Andrews $spt$-function and the "consecutive parts" partition function. Finally, in analogy with Serre's result that the weight $2$ Eisenstein series is a $p$-adic modular form, we show that these forms possess canonical congruences with modular forms.
△ Less
Submitted 29 September, 2020; v1 submitted 18 June, 2019;
originally announced June 2019.
-
Multiquadratic fields generated by characters of $A_n$
Authors:
Madeline Locus Dawsey,
Ken Ono,
Ian Wagner
Abstract:
For a finite group $G$, let $K(G)$ denote the field generated over $\mathbb{Q}$ by its character values. For $n>24$, G. R. Robinson and J. G. Thompson proved that $$K(A_n)=\mathbb{Q}\left (\{ \sqrt{p^*} \ : \ p\leq n \ {\text{ an odd prime with } p\neq n-2}\}\right),$$ where $p^*:=(-1)^{\frac{p-1}{2}}p$. Confirming a speculation of Thompson, we show that arbitrary suitable multiquadratic fields ar…
▽ More
For a finite group $G$, let $K(G)$ denote the field generated over $\mathbb{Q}$ by its character values. For $n>24$, G. R. Robinson and J. G. Thompson proved that $$K(A_n)=\mathbb{Q}\left (\{ \sqrt{p^*} \ : \ p\leq n \ {\text{ an odd prime with } p\neq n-2}\}\right),$$ where $p^*:=(-1)^{\frac{p-1}{2}}p$. Confirming a speculation of Thompson, we show that arbitrary suitable multiquadratic fields are similarly generated by the values of $A_n$-characters restricted to elements whose orders are only divisible by ramified primes. To be more precise, we say that a $π$-number is a positive integer whose prime factors belong to a set of odd primes $π:= \{p_1, p_2,\dots, p_t\}$. Let $K_π(A_n)$ be the field generated by the values of $A_n$-characters for even permutations whose orders are $π$-numbers. If $t\geq 2$, then we determine a constant $N_π$ with the property that for all $n> N_π$, we have $$K_π(A_n)=\mathbb{Q}\left(\sqrt{p_1^*}, \sqrt{p_2^*},\dots, \sqrt{p_t^*}\right).$$
△ Less
Submitted 2 May, 2019; v1 submitted 24 April, 2019;
originally announced April 2019.
-
Approximation and Non-parametric Estimation of ResNet-type Convolutional Neural Networks
Authors:
Kenta Oono,
Taiji Suzuki
Abstract:
Convolutional neural networks (CNNs) have been shown to achieve optimal approximation and estimation error rates (in minimax sense) in several function classes. However, previous analyzed optimal CNNs are unrealistically wide and difficult to obtain via optimization due to sparse constraints in important function classes, including the Hölder class. We show a ResNet-type CNN can attain the minimax…
▽ More
Convolutional neural networks (CNNs) have been shown to achieve optimal approximation and estimation error rates (in minimax sense) in several function classes. However, previous analyzed optimal CNNs are unrealistically wide and difficult to obtain via optimization due to sparse constraints in important function classes, including the Hölder class. We show a ResNet-type CNN can attain the minimax optimal error rates in these classes in more plausible situations -- it can be dense, and its width, channel size, and filter size are constant with respect to sample size. The key idea is that we can replicate the learning ability of Fully-connected neural networks (FNNs) by tailored CNNs, as long as the FNNs have \textit{block-sparse} structures. Our theory is general in a sense that we can automatically translate any approximation rate achieved by block-sparse FNNs into that by CNNs. As an application, we derive approximation and estimation error rates of the aformentioned type of CNNs for the Barron and Hölder classes with the same strategy.
△ Less
Submitted 13 August, 2023; v1 submitted 24 March, 2019;
originally announced March 2019.
-
Jensen polynomials for the Riemann zeta function and other sequences
Authors:
Michael Griffin,
Ken Ono,
Larry Rolen,
Don Zagier
Abstract:
In 1927 Pólya proved that the Riemann Hypothesis is equivalent to the hyperbolicity of Jensen polynomials for the Riemann zeta function $ζ(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 $ζ^{(2n)}(1/2)$ that is accurate to all orders, which allows us to prove the hyperbolicity of a density $1$ subse…
▽ More
In 1927 Pólya proved that the Riemann Hypothesis is equivalent to the hyperbolicity of Jensen polynomials for the Riemann zeta function $ζ(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 $ζ^{(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.
△ Less
Submitted 31 March, 2019; v1 submitted 19 February, 2019;
originally announced February 2019.
-
From partitions to Hodge numbers of Hilbert Schemes of Surfaces
Authors:
Nate Gillman,
Xavier Gonzalez,
Ken Ono,
Larry Rolen,
Matthew Schoenbauer
Abstract:
We celebrate the 100th anniversary of Srinivasa Ramanujan's election as a Fellow of the Royal Society, which was largely based on his work with G. H. Hardy on the asymptotic properties of the partition function. After recalling this revolutionary work, marking the birth of the "circle method", we present a contemporary example of its legacy in topology. We deduce the equidistribution of Hodge numb…
▽ More
We celebrate the 100th anniversary of Srinivasa Ramanujan's election as a Fellow of the Royal Society, which was largely based on his work with G. H. Hardy on the asymptotic properties of the partition function. After recalling this revolutionary work, marking the birth of the "circle method", we present a contemporary example of its legacy in topology. We deduce the equidistribution of Hodge numbers for Hilbert schemes of suitable smooth projective surfaces.
△ Less
Submitted 14 June, 2019; v1 submitted 14 February, 2019;
originally announced February 2019.
-
Construction of Kuranishi structures on the moduli spaces of pseudo holomorphic disks: II
Authors:
Kenji Fukaya,
Yong-Geun Oh,
Hiroshi Ohta,
Kaoru Ono
Abstract:
This is the second of a series of two articles in which we provide detailed and self-contained account of the construction of a system of Kuranishi structures on the moduli spaces of pseudo holomorphic disks. Using the notion of obstruction bundle data introduced in [FOOO8], we give a systematic way of constructing a system of Kuranishi structures on the moduli spaces of pseudo holomorphic disks w…
▽ More
This is the second of a series of two articles in which we provide detailed and self-contained account of the construction of a system of Kuranishi structures on the moduli spaces of pseudo holomorphic disks. Using the notion of obstruction bundle data introduced in [FOOO8], we give a systematic way of constructing a system of Kuranishi structures on the moduli spaces of pseudo holomorphic disks which are compatible at the boundary and corners. More specifically, it defines a tree like K-system in the sense of [FOOO6, Definition 21.9]. The method given in this paper does not only simplify the description of the constructions in the earlier literature, but also is designed to provide a systematic utility tool for the construction of a system of Kuranishi structures in the future research. We also establish its uniqueness.
△ Less
Submitted 15 February, 2024; v1 submitted 18 August, 2018;
originally announced August 2018.
-
Higher Width Moonshine
Authors:
Madeline Locus Dawsey,
Ken Ono
Abstract:
\textit{Weak moonshine} for a finite group $G$ is the phenomenon where an infinite dimensional graded $G$-module $$V_G=\bigoplus_{n\gg-\infty}V_G(n)$$ has the property that its trace functions, known as McKay-Thompson series, are modular functions. Recent work by DeHority, Gonzalez, Vafa, and Van Peski established that weak moonshine holds for every finite group. Since weak moonshine only relies o…
▽ More
\textit{Weak moonshine} for a finite group $G$ is the phenomenon where an infinite dimensional graded $G$-module $$V_G=\bigoplus_{n\gg-\infty}V_G(n)$$ has the property that its trace functions, known as McKay-Thompson series, are modular functions. Recent work by DeHority, Gonzalez, Vafa, and Van Peski established that weak moonshine holds for every finite group. Since weak moonshine only relies on character tables, which are not isomorphism class invariants, non-isomorphic groups can have the same McKay-Thompson series. We address this problem by extending weak moonshine to arbitrary width $s\in\mathbb{Z}^+$. For each $1\leq r\leq s$ and each irreducible character $χ_i$, we employ Frobenius' $r$-character extension $χ_i^{(r)} \colon G^{(r)}\rightarrow\mathbb{C}$ to define \textit{width $r$ McKay-Thompson series} for $V_G^{(r)}:=V_G\times\cdots\times V_G$ ($r$ copies) for each $r$-tuple in $G^{(r)}:=G\times\cdots\times G$ ($r$ copies). These series are modular functions which then reflect differences between $r$-character values. Furthermore, we establish orthogonality relations for the Frobenius $r$-characters, which dictate the compatibility of the extension of weak moonshine for $V_G$ to width $s$ weak moonshine.
△ Less
Submitted 16 October, 2019; v1 submitted 18 July, 2018;
originally announced July 2018.
-
Black holes and class groups
Authors:
Nathan Benjamin,
Shamit Kachru,
Ken Ono,
Larry Rolen
Abstract:
The theory of quadratic forms and class numbers has connections to many classical problems in number theory. Recently, class numbers have appeared in the study of black holes in string theory. We describe this connection and raise questions in the hope of inspiring new collaborations between number theorists and physicists.
The theory of quadratic forms and class numbers has connections to many classical problems in number theory. Recently, class numbers have appeared in the study of black holes in string theory. We describe this connection and raise questions in the hope of inspiring new collaborations between number theorists and physicists.
△ Less
Submitted 29 September, 2018; v1 submitted 2 July, 2018;
originally announced July 2018.
-
On Witten's extremal partition functions
Authors:
Ken Ono,
Larry Rolen
Abstract:
In his famous 2007 paper on three dimensional quantum gravity, Witten
defined candidates for the partition functions $$Z_k(q)=\sum_{n=-k}^{\infty}w_k(n)q^n$$ of potential extremal CFTs with central charges of the form $c=24k$. Although such CFTs remain elusive, he proved that these modular functions are well-defined. In this note, we point out several explicit representations of these functions.…
▽ More
In his famous 2007 paper on three dimensional quantum gravity, Witten
defined candidates for the partition functions $$Z_k(q)=\sum_{n=-k}^{\infty}w_k(n)q^n$$ of potential extremal CFTs with central charges of the form $c=24k$. Although such CFTs remain elusive, he proved that these modular functions are well-defined. In this note, we point out several explicit representations of these functions. These involve the partition function $p(n)$, Faber polynomials, traces of singular moduli, and Rademacher sums. Furthermore, for each prime $p\leq 11$, the $p$ series $Z_k(q)$, where $k\in \{1, \dots, p-1\} \cup \{p+1\},$ possess a Ramanujan congruence. More precisely, for every non-zero integer $n$ we have that $$
w_k(pn) \equiv 0\begin{cases} \pmod{2^{11}}\ \ \ \ &{\text {\rm if}}\ p=2,
\pmod{3^5} \ \ \ \ &{\text {\rm if}}\ p=3,
\pmod{5^2}\ \ \ \ &{\text {\rm if}}\ p=5,
\pmod{p} \ \ \ \ &{\text {\rm if}}\ p=7, 11.
\end{cases}
$$
△ Less
Submitted 16 April, 2019; v1 submitted 1 July, 2018;
originally announced July 2018.