BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
William Craig contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
In this paper, we generalize Andrews' partitions separated by parity to overpartitions in two ways. We investigate the generating functions for 16 overpartition families whose parts are separated by parity, and we prove various $q$-series identities for these functions. These identities include relations to modular forms, $q$-hypergeometric series, and mock modular forms.
The discriminant of a polynomial of the form $\pm x^n \pm x^m \pm 1$ has the form $n^n \pm m^m(n-m)^{n-m}$ when $n,m$ are relatively prime. We investigate when these discriminants have prime power divisors. We explain several symmetries that appear in the classification of these values of $n,m$. We prove that there are infinitely many pairs of integers $n,m$ for which this discriminant has no prime cube divisors. This result is extended to show that for infinitely many fixed $m$, there are infinitely many $n$ for which the discriminant has no prime cube divisor.
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). $$
The study of Ramanujan-type congruences for functions specific to additive number theory has a long and rich history. Motivated by recent connections between divisor sums and overpartitions via congruences in arithmetic progressions, we investigate the existence and classification of Ramanujan-type congruences for functions in multiplicative number theory.
For integers $0 < r \leq t$, let the function $D_{r,t}(n)$ denote the number of parts among all partitions of $n$ into distinct parts that are congruent to $r$ modulo $t$. We prove the asymptotic formula $$D_{r,t}(n) \sim \dfrac{3^{\frac 14} e^{π\sqrt{\frac{n}{3}}}}{2πt n^{\frac 14}} \left( \log(2) + \left( \dfrac{\sqrt{3} \log(2)}{8π} - \dfracπ{4\sqrt{3}} \left( r - \dfrac{t}{2} \right) \right) n^{- \frac 12} \right)$$ as $n \to \infty$. A corollary of this result is that for $0 < r < s \leq t$, the inequality $D_{r,t}(n) \geq D_{s,t}(n)$ holds for all sufficiently large $n$. We make this effective, showing that for $2 \leq t \leq 10$ the inequality $D_{r,t}(n) \geq D_{s,t}(n)$ holds for all $n > 8$.
In 2018 Coll, Mayers, and Mayers conjectured that the $q$-series $( q, -q^3; q^4 )_\infty^{-1}$ is the generating function for a certain parity statistic related to the index of seaweed algebras. We prove this conjecture. Thanks to earlier work by Seo and Yee, the conjecture would follow from the non-negativity of the coefficients of this infinite product. Using a variant of the circle method along with Euler-Maclaurin summation, we establish this non-negativity, thereby confirming the Coll-Mayers-Mayers Conjecture.
Nicolas and DeSalvo and Pak proved that the partition function $p(n)$ is log concave for $n \geq 25$. Chen, Jia and Wang proved that $p(n)$ satisfies the third order Turán inequality, and that the associated degree 3 Jensen polynomials are hyperbolic for $n \geq 94$. More recently, Griffin, Ono, Rolen and Zagier proved more generally that for all $d$, the degree $d$ Jensen polynomials associated to $p(n)$ are hyperbolic for sufficiently large $n$. In this paper, we prove that the same result holds for the $k$-regular partition function $p_k(n)$ for $k \geq 2$. In particular, for any positive integers $d$ and $k$, the order $d$ Turán inequalities hold for $p_k(n)$ for sufficiently large $n$. The case when $d = k = 2$ proves a conjecture by Neil Sloane that $p_2(n)$ is log concave.
Partitions, the partition function $p(n)$, and the hook lengths of their Ferrers-Young diagrams are important objects in combinatorics, number theory and representation theory. For positive integers $n$ and $t$, we study $p_t^e(n)$ (resp. $p_t^o(n)$), the number of partitions of $n$ with an even (resp. odd) number of $t$-hooks. We study the limiting behavior of the ratio $p_t^e(n)/p(n)$, which also gives $p_t^o(n)/p(n)$ since $p_t^e(n) + p_t^0(n) = p(n)$. For even $t$, we show that $$\lim\limits_{n \to \infty} \dfrac{p_t^e(n)}{p(n)} = \dfrac{1}{2},$$ and for odd $t$ we establish the non-uniform distribution $$\lim\limits_{n \to \infty} \dfrac{p^e_t(n)}{p(n)} = \begin{cases} \dfrac{1}{2} + \dfrac{1}{2^{(t+1)/2}} & \text{if } 2 \mid n, \\ \\ \dfrac{1}{2} - \dfrac{1}{2^{(t+1)/2}} & \text{otherwise.} \end{cases}$$ Using the Rademacher circle method, we find an exact formula for $p_t^e(n)$ and $p_t^o(n)$, and this exact formula yields these distribution properties for large $n$. We also show that for sufficiently large $n$, the signs of $p_t^e(n) - p_t^o(n)$ are periodic.
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.