arXiv++ Combinatorics

In 2012 Bryson, Ono, Pitman and Rhoades showed how the generating functions for certain strongly unimodal sequences are related to quantum modular and mock modular forms. They proved some parity results and conjectured some mod 4 congruences for the coefficients of these generating functions. In 2016 Kim, Lim and Lovejoy obtained similar results for odd-balanced unimodal sequences and made similar mod 4 conjectures. We prove all of these mod 4 conjectures and similar congruences for the Andrews spt-function and related mock theta functions. Our method of proof involves new Hecke-Rogers type identities for indefinite binary quadratic forms and the Hurwitz class number.

Product identities in two variables $x, q$ expand infinite products as infinite sums, which are linear combinations of theta functions; famous examples include Jacobi's triple product identity, Watson's quintuple identity, and Hirschhorn's septuple identity. We view these series expansions as representations in canonical bases of certain vector spaces of quasiperiodic meromorphic functions (related to sections of line and vector bundles), and find new identities for two nonuple products, an undecuple product, and several two-variable Rogers-Ramanujan type sums. Our main theorem explains a correspondence between the septuple product identity and the two original Rogers-Ramanujan identities, involving two-variable analogues of fifth-order mock theta functions. We also prove a similar correspondence between an octuple product identity of Ewell and two simpler variations of the Rogers-Ramanujan identities, which is related to third-order mock theta functions, and conjecture other occurrences of this phenomenon. As applications, we specialize our results to obtain identities for quotients of generalized Dedekind eta functions and mock theta functions.

The Shannon capacity of a graph is a fundamental quantity in zero-error information theory measuring the rate of growth of independent sets in graph powers. Despite being well-studied, this quantity continues to hold several mysteries. Lovász famously proved that the Shannon capacity of $C_5$ (the 5-cycle) is at most $\sqrt{5}$ via his theta function. This bound is achieved by a simple linear code over $\mathbb{F}_5$ mapping $x \mapsto 2x$. This motivates the notion of linear Shannon capacity of graphs, which is the largest rate achievable when restricting oneself to linear codes. We give a simple proof based on the polynomial method that the linear Shannon capacity of $C_5$ is $\sqrt{5}$. Our method applies more generally to Cayley graphs over the additive group of finite fields $\mathbb{F}_q$, giving an upper bound on the linear Shannon capacity. We compare this bound to the Lovász theta function, showing that they match for self-complementary Cayley graphs (such as $C_5$), and that the bound is smaller in some cases. We also exhibit a quadratic gap between linear and general Shannon capacity for some graphs.

In this paper, we introduce the so-called elliptic Askey-Wilson polynomials which are homogeneous polynomials in two special theta functions. With regard to the significance of polynomials of such kind, we establish some general elliptic interpolation formulas by the methods of matrix inversions and of polynomial representations. Furthermore, we find that the basis of elliptic interpolation space due to Schlosser can be uniquely characterized via the elliptic Askey-Wilson polynomials. As applications of these elliptic interpolation formulas, we establish some new elliptic function identities, including an extension of Weierstrass' theta identity, a generalized elliptic Karlsson-Minton type identity, and an elliptic analogue of Gasper's summation formula for very-well-poised ${}_{6+2m}φ_{5+2m}$ series.

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.

In this paper, we give a purely bijective proof that two different partition classes that are both combinatorial interpretations of the partition function $p_ν(n)$, a partition function related to the third order mock theta function $ν(q)$, are equinumerous. In doing so, we give a partial solution to a combinatorial problem proposed in a paper by Andrews.

Recently Gordon and McIntosh introduced the third order mock theta function $ξ(q)$ defined by $$ ξ(q)=1+2\sum_{n=1}^{\infty}\frac{q^{6n^2-6n+1}}{(q;q^6)_{n}(q^5;q^6)_{n}}. $$ Our goal in this paper is to study arithmetic properties of the coefficients of this function. We present a number of such properties, including several infinite families of Ramanujan--like congruences.

We study the parity of coefficients of classical mock theta functions. Suppose $g$ is a formal power series with integer coefficients, and let $c(g;n)$ be the coefficient of $q^n$ in its series expansion. We say that $g$ is of parity type $(a,1-a)$ if $c(g;n)$ takes even values with probability $a$ for $n\geq 0$. We show that among the 44 classical mock theta functions, 21 of them are of parity type $(1,0)$. We further conjecture that 19 mock theta functions are of parity type $(\frac{1}{2},\frac{1}{2})$ and 4 functions are of parity type $(\frac{3}{4},\frac{1}{4})$. We also give characterizations of $n$ such that $c(g;n)$ is odd for the mock theta functions of parity type $(1,0)$.

We introduce a general framework for studying anticoncentration and local limit theorems for random variables, including graph statistics. Our methods involve an interplay between Fourier analysis, decoupling, hypercontractivity of Boolean functions, and transference between ``fixed-size'' and ``independent'' models. We also adapt a notion of ``graph factors'' due to Janson. As a consequence, we derive a local central limit theorem for connected subgraph counts in the Erdős-Renyi random graph $G(n,p)$, building on work of Gilmer and Kopparty and of Berkowitz. These results improve an anticoncentration result of Fox, Kwan, and Sauermann and partially answers a question of Fox, Kwan, and Sauermann. We also derive a local limit central limit theorem for induced subgraph counts, as long as $p$ is bounded away from a set of ``problematic'' densities, partially answering a question of Fox, Kwan, and Sauermann. We then prove these restrictions are necessary by exhibiting a disconnected graph for which anticoncentration for subgraph counts at the optimal scale fails for all constant $p$, and finding a graph $H$ for which anticoncentration for induced subgraph counts fails in $G(n,1/2)$. These counterexamples resolve anticoncentration conjectures of Fox, Kwan, and Sauermann in the negative. Finally, we also examine the behavior of counts of $k$-term arithmetic progressions in subsets of $\mathbb{Z}/n\mathbb{Z}$ and deduce a local limit theorem wherein the behavior is Gaussian at a global scale but has nontrivial local oscillations (according to a Ramanujan theta function). These results improve on results of and answer questions of the authors and Berkowitz, and answer a question of Fox, Kwan, and Sauermann.

We address the problem of counting walks by winding angle on the Kreweras lattice, an oriented version of the triangular lattice. Our method uses a new decomposition of the lattice, which allows us to write functional equations characterising a generating function of walks counted by length, endpoint and winding angle. We then solve these functional equations in terms of Jacobi theta functions. By using this result in conjunction with the reflection principle, we count walks confined to a cone of opening angle any multiple of $\fracπ{3}$, allowing us to extract asymptotic and algebraic information for these walks. Our method and results extend analogously to three other lattices, including the square lattice and triangular lattice. On the square lattice, most of our results were derived by Timothy Budd in 2017, so the current work can be seen as an extension of Budd's results to the three other lattices that we consider. Budd's method of deducing these results was very different, as it was based on an explicit eigenvalue decomposition of certain matrices counting paths in the lattice.

We establish discrete and continuous log-concavity results for a biparametric extension of the $q$-numbers and of the $q$-binomial coefficients. By using classical results for the Jacobi theta function we are able to lift some of our log-concavity results to the elliptic setting. One of our main ingredients is a putatively new lemma involving a multiplicative analogue of Turán's inequality.

We continue the study of the quantum channel version of Shannon's zero-error capacity problem. We generalize the celebrated Haemers bound to noncommutative graphs (obtained from quantum channels). We prove basic properties of this bound, such as additivity under the direct sum and submultiplicativity under the tensor product. The Haemers bound upper bounds the Shannon capacity of noncommutative graphs, and we show that it can outperform other known upper bounds, including noncommutative analogues of the Lovász theta function (Duan-Severini-Winter, IEEE Trans. Inform. Theory, 2013 and Boreland-Todorov-Winter, arXiv, 2019).

In this article, a finite analogue of the generalized sum-of-tails identity of Andrews and Freitas is obtained. We derive several interesting results as special cases of this analogue, in particular, a recent identity of Dixit, Eyyyunni, Maji and Sood. We derive a new extension of Abel's lemma with the help of which we obtain a one-parameter generalization of a sum-of-tails identity of Andrews, Garvan and Liang, an identity of Ramanujan as well as two new results - one for Ramanujan's function $σ(q)$ and another for the function recently introduced by Andrews and Ballantine. Later we introduce a new generalization $\mathrm{FFW}_{c}(n)$ of a function of Fokkink, Fokkink and Wang and derive an identity for its generating function. This gives, as a special case, a recent representation for the generating function of $\mathrm{spt}(n)$ given by Andrews, Garvan and Liang. We also obtain some weighted partition identities along with new representations for two of Ramanujan's third order mock theta functions through combinatorial techniques.

In [GHKK18], Gross-Hacking-Keel-Kontsevich discuss compactifications of cluster varieties from "positive subsets" in the real tropicalization of the mirror. To be more precise, let $\mathfrak{D}$ be the scattering diagram of a cluster variety $V$ (of either type -- $\mathcal{A}$ or $\mathcal{X}$), and let $S$ be a closed subset of $\left(V^\vee\right)^{\text{trop}}(\mathbb{R})$ -- the ambient space of $\mathfrak{D}$. The set $S$ is positive if the theta functions corresponding to the integral points of $S$ and its $\mathbb{N}$-dilations define an $\mathbb{N}$-graded subalgebra of $Γ(V, \mathcal{O}_V)[x]$. In particular, a positive set $S$ defines a compactification of $V$ through a Proj construction applied to the corresponding $\mathbb{N}$-graded algebra. In this paper we give a natural convexity notion for subsets of $\mathfrak{D}$, called "broken line convexity", and show that a set is positive if and only if it is broken line convex. The combinatorial criterion of broken line convexity provides a tractable way to construct positive subsets of $\mathfrak{D}$, or to check positivity of a given subset.

We state and prove product formulae for several generating functions for sequences $(a_n)_{n\ge0}$ that are defined by the property that $Pa_n+b^2$ is a square, where $P$ and $b$ are given integers. In particular, we prove corresponding conjectures of the second author. We show that, by means of the Jacobi triple product identity, all these generating functions can be reduced to a linear combination of theta function products. The proof of our formulae then consists in simplifying these linear combinations of theta products into single products. We do this in two ways: (1) by using modular function theory, and (2) by applying the Weierstraßaddition formula for theta products.

The notion of duality is a key element in understanding the interplay between the stability and chromatic numbers of a graph. This notion is a central aspect in the celebrated theory of perfect graphs, and is further and deeply developed in the context of the Lovász theta function and its equivalent characterizations and variants. The main achievement of this paper is the introduction of a new family of norms, providing upper bounds for the stability number, that are obtained from duality from the norms motivated by Hoffman's lower bound for the chromatic number and which achieve the (complementary) Lovász theta function at their optimum. As a consequence, our norms make it formal that Hoffman's bound for the chromatic number and the Delsarte-Hoffman ratio bound for the stability number are indeed dual. Further, we show that our new bounds strengthen the convex quadratic bounds for the stability number studied by Luz and Schrijver, and which achieve the Lovász theta function at their optimum. One of the key observations regarding weighted versions of these bounds is that, for any upper bound for the stability number of a graph which is a positive definite monotone gauge function, its gauge dual is a lower bound on the fractional chromatic number, and conversely. Our presentation is elementary and accessible to a wide audience.

Given a graph $G$ and a positive integer $d$, an orthogonal vector $d$-coloring of $G$ is an assignment $f$ of vectors of $\mathbb{R}^d$ to $V(G)$ in such a way that adjacent vertices receive orthogonal vectors. The orthogonal chromatic number of $G$, denoted by $χ_v(G)$, is the minimum $d$ for which $G$ admits an orthogonal vector $d$-coloring. This notion has close ties with the notions of Lovász Theta Function, quantum chromatic number, and many other problems, and even though this and related metrics have been extensively studied over the years, we have found that there is a gap in the knowledge concerning the edge version of the problem. In this article, we discuss this version and its relation with other insteresting known facts, and pose a question about the orthogonal chromatic index of cubic graphs.

In this paper, by applying a range of classic summation and transformation formulas for basic hypergeometric series, we obtain a three-term identity for partial theta functions. It extends the Andrews-Warnaar partial theta function identity, and also unifies several results on partial theta functions due to Ramanujan, Lovejoy and Kim. We also establish a two-term version of the extension, which can be used to derive identities for partial and false theta functions. Finally, we present a relation between the big $q$-Jacobi polynomials and the Andrews-Warnaar partial theta function identity.

Let $p(x) \in C(x)$ be a rational function satisfying the condition $p(0)=1$ and $q$ an integer larger than $1$, in this article we will consider the power expansion of the infinite product $$f(x)=\prod_{s=0}^{\infty}f(x^{q^{s}})=\sum_{i=0}^{\infty}c_ix^i,$$ and study when the sequence $(c_i)_{i \in \mathbf{N}}$ is $q$-automatic. The main result is that for given integers $q \geq 2$ and $d \geq 0$, there exist finitely many polynomials of degree $d$ defined over the field of rational numbers $\mathbf{Q}$, such that $\prod_{s=0}^{\infty}f(x^{q^{s}})=\sum_{i=1}^{\infty}c_ix^i$ is a $q$-automatic power series.

We give simple proofs of Hecke-Rogers indefinite binary theta series identities for the two Ramanujan fifth order mock theta functions $χ_0(q)$ and $χ_1(q)$ and all three of Ramanujan's seventh order mock theta functions. We find that the coefficients of the three mock theta functions of order 7 are surprisingly related.