arXiv++ Combinatorics

In recent work by Botkin, Dawsey, Hemmer, Just and the present author, a deterministic model of prime number distribution is developed based on properties of integer partitions that gives almost exact estimates for $π(n)$, the number of primes less than or equal to positive integer $n$, up to $n=10{,}000$. In this follow-up paper, the author summarizes the ideas behind this partition-theoretic model of primes and formulates a computational model that is practically exact in its estimates of $π(n)$ up to $n=100,000$.

Any power series with unit constant term can be factored into an infinite product of the form $\prod_{n\geq 1} (1-q^n)^{-a_n}$. We give direct formulas for the exponents $a_n$ in terms of the coefficients of the power series, and vice versa, as sums over partitions. As examples, we prove identities for certain partition enumeration functions. Finally, we note $q$-analogues of our enumeration formulas.

We make an application of ideas from partition theory to a problem in multiplicative number theory. We propose a deterministic model of prime number distribution, from first principles related to properties of integer partitions, that naturally predicts the prime number theorem as well as the twin prime conjecture. The model posits that, for $n\geq 2$, $$p_{n}\ =\ 1\ +\ 2\sum_{j=1}^{n-1}\left\lceil \frac{d(j)}{2}\right\rceil\ +\ \varepsilon(n),$$ where $p_k$ is the $k$th prime number, $d(k)$ is the divisor function, and $\varepsilon(k)$ is an explicit error term that is negligible asymptotically; both the main term and error term represent enumerative functions in our conceptual model. We refine the error term to give numerical estimates of $π(n)$ similar to those provided by the logarithmic integral, and much more accurate than $\operatorname{li}(n)$ up to $n=10{,}000$ where the estimates are {\it almost exact}. We then perform computational tests of unusual predictions of the model, finding limited evidence of predictable variations in prime gaps.

In a 2022 paper, Dawsey, Just and the present author prove that the set of integer partitions, taken as a monoid under a partition multiplication operation I defined in my Ph.D. work, is isomorphic to the positive integers as a monoid under integer multiplication. In this note, I extend partition multiplication to the set of overpartitions, which are of much interest in partition theory. I prove the overpartitions form an Abelian group under partition multiplication. Moreover, the overpartitions and the positive rational numbers are isomorphic as multiplicative groups. I then prove further overpartition isomorphisms and discuss approaches to a ring theory of overpartitions.

We define integer multimodal sequences, which are generalizations of unimodal sequences having multiple local peaks of equal size. The generating functions for multimodal sequences represent novel types of $q$-series that combine generating functions for both integer partitions and integer compositions. We prove a bijection between multimodal sequences of equal size (sum), and show that multimodal generating functions become finite series at roots of unity like the ``strange'' function of Kontsevich, quantum modular forms, and other examples of this phenomenon in the $q$-series literature.

We use sums over integer compositions analogous to generating functions in partition theory, to express certain partition enumeration functions as sums over compositions into parts that are $k$-gonal numbers; our proofs employ Ramanujan's theta functions. We explore applications to lacunary $q$-series, and to a new class of composition-theoretic Dirichlet series.

Let $d_S$ denote the arithmetic density of a subset $S \subseteq \mathbb N$. We derive a power series in $q\in \mathbb C$, $|q|<1$, with coëfficients related to integer partitions and integer compositions, that yields $1/d_S$ in the limit as $q\to 1$ radially.

Following Cayley, MacMahon, and Sylvester, define a non-unitary partition to be an integer partition with no part equal to one, and let $ν(n)$ denote the number of non-unitary partitions of size $n$. In a 2021 paper, the sixth author proved a formula to compute $p(n)$ by enumerating only non-unitary partitions of size $n$, and recorded a number of conjectures regarding the growth of $ν(n)$ as $n\to \infty$. Here we refine and prove some of these conjectures. For example, we prove $p(n) \sim ν(n)\sqrt{n/ζ(2)}$ as $n\to \infty$, and give Ramanujan-like congruences between $p(n)$ and $ν(n)$ such as $p(5n)\equiv ν(5n)\ (\operatorname{mod} 5)$.

We identify a class of "semi-modular" forms invariant on special subgroups of $GL_2(\mathbb Z)$, which includes classical modular forms together with complementary classes of functions that are also nice in a specific sense. We define an Eisenstein-like series summed over integer partitions, and use it to construct families of semi-modular forms.

Using partition generating function techniques, we prove $q$-series analogues of a formula of Frobenius generalizing Abel's convergence theorem for complex power series. Frobenius' result states that for $|q|<1$, $\lim_{q\to 1}(1-q)\sum_{n\geq 1} f(n) q^n $ is equal to the average value $\lim_{N\to \infty}$ $\frac{1}{N}\sum_{k=1}^{N}f(k)$ of the sequence $\{f(n)\}$ as $n\to \infty$, if the average value exists.

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.

In this Ph.D. dissertation (2018, Emory University) we prove theorems at the intersection of the additive and multiplicative branches of number theory, bringing together ideas from partition theory, $q$-series, algebra, modular forms and analytic number theory. We present a natural multiplicative theory of integer partitions (which are usually considered in terms of addition), and explore new classes of partition-theoretic zeta functions and Dirichlet series -- as well as "Eulerian" $q$-hypergeometric series -- enjoying many interesting relations. We find a number of theorems of classical number theory and analysis arise as particular cases of extremely general combinatorial structure laws. Among our applications, we prove explicit formulas for the coefficients of the $q$-bracket of Bloch-Okounkov, a partition-theoretic operator from statistical physics related to quasi-modular forms; we prove partition formulas for arithmetic densities of certain subsets of the integers, giving $q$-series formulas to evaluate the Riemann zeta function; we study $q$-hypergeometric series related to quantum modular forms and the "strange" function of Kontsevich; and we show how Ramanujan's odd-order mock theta functions (and, more generally, the universal mock theta function $g_3$ of Gordon-McIntosh) arise from the reciprocal of the Jacobi triple product via the $q$-bracket operator, connecting also to unimodal sequences in combinatorics and quantum modular-like phenomena.

Define a "nuclear partition" to be an integer partition with no part equal to one. In this study we prove a simple formula to compute the partition function $p(n)$ by counting only the nuclear partitions of $n$, a vanishingly small subset by comparison with all partitions of $n$ as $n\to \infty$. Variations on the proof yield other formulas for $p(n)$, as well as Ramanujan-like congruences and an application to parity of the partition function.

In recent work, M. Schneider and the first author studied a curious class of integer partitions called "sequentially congruent" partitions: the $m$th part is congruent to the $(m+1)$th part modulo $m$, with the smallest part congruent to zero modulo the number of parts. Let $p_{\mathcal S}(n)$ be the number of sequentially congruent partitions of $n,$ and let $p_{\square}(n)$ be the number of partitions of $n$ wherein all parts are squares. In this note we prove bijectively, for all $n\geq 1,$ that $p_{\mathcal S}(n) = p_{\square}(n).$ Our proof naturally extends to show other exotic classes of partitions of $n$ are in bijection with certain partitions of $n$ into $k$th powers.

We examine "partition zeta functions" analogous to the Riemann zeta function but summed over subsets of integer partitions. We prove an explicit formula for a family of partition zeta functions already shown to have nice properties -- those summed over partitions of fixed length -- which yields complete information about analytic continuation, poles and trivial roots of the zeta functions in the family. Then we present a combinatorial proof of the explicit formula, which shows it to be a zeta function analog of MacMahon's partial fraction decomposition of the generating function for partitions of fixed length.

We study a curious class of partitions, the parts of which obey an exceedingly strict congruence condition we refer to as "sequential congruence": the $m$th part is congruent to the $(m+1)$th part modulo $m$, with the smallest part congruent to zero modulo the length of the partition. It turns out these obscure-seeming objects are embedded in a natural way in partition theory. We show that sequentially congruent partitions with largest part $n$ are in bijection with the partitions of $n$. Moreover, we show sequentially congruent partitions induce a bijection between partitions of $n$ and partitions of length $n$ whose parts obey a strict "frequency congruence" condition -- the frequency (or multiplicity) of each part is divisible by that part -- and prove families of similar bijections, connecting with G. E. Andrews's theory of partition ideals.

We connect a primitive operation from arithmetic -- summing the digits of a base-$B$ integer -- to $q$-series and product generating functions analogous to those in partition theory. We find digit sum generating functions to be intertwined with distinctive classes of "$B$-ary" Lambert series, which themselves enjoy nice transformations. We also consider digit sum Dirichlet series.

If $\gcd(r,t)=1$, then a theorem of Alladi offers the Möbius sum identity $$-\sum_{\substack{ n \geq 2 \\ p_{\rm{min}}(n) \equiv r \pmod{t}}} μ(n)n^{-1}= \frac{1}{\varphi(t)}. $$ Here $p_{\rm{min}}(n)$ is the smallest prime divisor of $n$. The right-hand side represents the proportion of primes in a fixed arithmetic progression modulo $t$. Locus generalized this to Chebotarev densities for Galois extensions. Answering a question of Alladi, we obtain analogs of these results to arithmetic densities of subsets of positive integers using $q$-series and integer partitions. For suitable subsets $§$ of the positive integers with density $d_§$, we prove that \[- \lim_{q \to 1} \sum_{\substack{ λ\in \mathcal{P} \\ \rm{sm}(λ) \in §}} μ_{\mathcal{P}} (λ)q^{\vert λ\vert} = d_§,\] where the sum is taken over integer partitions $λ$, $μ_{\mathcal{P}}(λ)$ is a partition-theoretic Möbius function, $\vert λ\vert$ is the size of partition $λ$, and $\rm{sm}(λ)$ is the smallest part of $λ$. In particular, we obtain partition-theoretic formulas for even powers of $π$ when considering power-free integers.

In Ramanujan's final letter to Hardy, he listed examples of a strange new class of infinite series he called "mock theta functions". It turns out all of these examples are essentially specializations of a so-called universal mock theta function $g_3(z,q)$ of Gordon-McIntosh. Here we show that $g_3$ arises naturally from the reciprocal of the classical Jacobi triple product -- and is intimately tied to rank generating functions for unimodal sequences, which are connected to mock modular and quantum modular forms -- under the action of an operator related to statistical physics and partition theory, the $q$-bracket of Bloch-Okounkov. Secondly, we find $g_3(z,q)$ to extend in $q$ to the entire complex plane minus the unit circle, and give a finite formula for this universal mock theta function at roots of unity, that is simple by comparison to other such formulas in the literature; we also indicate similar formulas for other $q$-hypergeometric series. Finally, we look at interesting "quantum" behaviors of mock theta functions inside, outside, and on the unit circle.

We introduce and survey results on two families of zeta functions connected to the multiplicative and additive theories of integer partitions. In the case of the multiplicative theory, we provide specialization formulas and results on the analytic continuations of these "partition zeta functions", find unusual formulas for the Riemann zeta function, prove identities for multiple zeta values, and see that some of the formulas allow for $p$-adic interpolation. The second family we study was anticipated by Manin and makes use of modular forms, functions which are intimately related to integer partitions by universal polynomial recurrence relations. We survey recent work on these zeta polynomials, including the proof of their Riemann Hypothesis.