Searcharxiv⌕ Search

arXiv subjects

Ken Ono

Publications and source records attributed to Ken Ono.

At least 73 records · Page 4Linked to original sources

Turán inequalities for the plane partition function

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.

math.NT↗

Distributions of Hook lengths in integer partitions

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)}.$

math.NT↗

Zeros in the Character Tables of Symmetric Groups with an $\ell$-Core Index

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}. $$

math.NT↗

Heights of points on elliptic curves over $\mathbb Q$

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). $$

math.NT↗

Euler-Kronecker constants for cyclotomic fields

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.$

math.NT↗

Distributions on partitions arising from Hilbert schemes and hook lengths

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). $$

math.NT↗

Limiting Betti distributions of Hilbert schemes on $n$ points

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.

math.AG↗

Proof of the elliptic expansion Moonshine Conjecture of Căldăraru, He, and Huang

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.

math.NT↗

Even values of Ramanujan's tau-function

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.

math.NT↗

Tamagawa products of elliptic curves over $\mathbb{Q}$

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.

math.NT↗

Partition-theoretic formulas for arithmetic densities, II

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.

math.NT↗

Eichler integrals of Eisenstein series as $q$-brackets of weighted $t$-hook functions on partitions

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.

math.NT↗

Fields generated by characters of finite linear groups

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)$.

math.NT↗

Jensen Polynomials for the Riemann Xi Function

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)$.

math.NT↗

Mock modular Eisenstein series with Nebentypus

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.

math.NT↗

The Eichler integral of $E_2$ and $q$-brackets of $t$-hook functions

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}}.$$

math.NT↗

Quadratic twists of elliptic curves and class numbers

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.

math.NT↗

Variations of Lehmer's Conjecture for Ramanujan's tau-function

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.

math.NT↗