arXiv++ Combinatorics

We present an algorithmic approach to the verification of identities on multiple theta functions in the form of products of theta functions $[(-1)^δa_1^{α_1}a_2^{α_2}\cdots a_r^{α_r}q^{s}; q^{t}]_\infty$, where $α_i$ are integers, $δ=0$ or $1$, $s\in \mathbb{Q}$, $t\in \mathbb{Q}^{+}$, and the exponent vectors $(α_1,α_2,\ldots,α_r)$ are linearly independent over $\mathbb{Q}$. For an identity on such multiple theta functions, we provide an algorithmic approach for computing a system of contiguous relations satisfied by all the involved multiple theta functions. Using Stanley's Lemma on the fundamental parallelepiped, we show that a multiple theta function can be determined by a finite number of its coefficients. Thus such an identity can be reduced to a finite number of simpler relations. Many classical multiple theta function identities fall into this framework, including Riemann's addition formula and the extended Riemann identity.

The famous Rogers-Ramanujan and Andrews--Gordon identities are embedded in a doubly-infinite family of Rogers-Ramanujan-type identities labelled by positive integers m and n. For fixed m and n the product side corresponds to a specialised character of the affine Kac-Moody algebra A_{2n}^{(2)} at level m, and is expressed as a product of n^2 theta functions of modulus 2m+2n+1, or by level-rank duality, as a product of m^2 theta functions. Rogers-Ramanujan-type identities for even moduli, corresponding to the affine Lie algebras C_n^{(1)} and D_{n+1}^{(2)}, are also proven.

In his deathbed letter to Hardy, Ramanujan gave a vague definition of a mock modular function: at each root of unity its asymptotics matches the one of a modular form, though a choice of the modular function depends on the root of unity. Recently Folsom, Ono and Rhoades have proved an elegant result about the match for a general family related to Dyson's rank (mock theta) function and the Andrews--Garvan crank (modular) function---the match with explicit formulae for implied $O(1)$ constants. In this note we give another elementary proof of Ramanujan's original claim and outline some heuristics which may be useful for obtaining a new proof of the general Folsom--Ono--Rhoades theorem.

The tail of a sequence $\{P_n(q)\}_{n \in \mathbb{N}}$ of formal power series in $\mathbb{Z}[[q]]$ is the formal power series whose first $n$ coefficients agree up to a common sign with the first $n$ coefficients of $P_n$. This paper studies the tail of a sequence of admissible trivalent graphs with edges colored $n$ or $2n$. We use local skein relations to understand and compute the tail of these graphs. We also give product formulas for the tail of such trivalent graphs. Furthermore, we show that our skein theoretic techniques naturally lead to a proof for the Andrews-Gordon identities for the two variable Ramanujan theta function as well to corresponding identities for the false theta function.

Let $\bar{p}(n)$ denote the number of overpartitions of $n$. It was conjectured by Hirschhorn and Sellers that $\bar{p}(40n+35)\equiv 0\ ({\rm mod\} 40)$ for $n\geq 0$. Employing 2-dissection formulas of quotients of theta functions due to Ramanujan, and Hirschhorn and Sellers, we obtain a generating function for $\bar{p}(40n+35)$ modulo 5. Using the $(p, k)$-parametrization of theta functions given by Alaca, Alaca and Williams, we give a proof of the congruence $\bar{p}(40n+35)\equiv 0\ ({\rm mod\} 5)$. Combining this congruence and the congruence $\bar{p}(4n+3)\equiv 0\ ({\rm mod\} 8)$ obtained by Hirschhorn and Sellers, and Fortin, Jacob and Mathieu, we give a proof of the conjecture of Hirschhorn and Sellers.

We study families of partitions with gap conditions that were introduced by Schur and Andrews, and describe their fundamental connections to combinatorial q-series and automorphic forms. In particular, we show that the generating functions for these families naturally lead to deep identities for theta functions and Hickerson's universal mock theta function, which provides a very general answer to Andrews' Conjecture on the modularity of the Schur-type generating function. Furthermore, we also complete the second part of Andrews' speculation by determining the asymptotic behavior of these functions. In particular, we use Wright's Circle Method in order to prove families of asymptotic inequalities in the spirit of the Alder-Andrews Conjecture. As a final application, we prove the striking result that the universal mock theta function can be expressed as a conditional probability in a certain natural probability space with an infinite sequence of independent events.

The infinite grid is the Cayley graph of $\mathbb{Z} \times \mathbb{Z}$ with the usual generators. In this paper, the Ihara zeta function for the infinite grid is computed using elliptic integrals and theta functions. The zeta function of the grid extends to an analytic, multivalued function which satisfies a functional equation. The set of singularities in its domain is finite. The grid zeta function is the first computed example which is non-elementary, and which takes infinitely many values at each point of its domain. It is also the limiting value of the normalized sequence of Ihara zeta functions for square grid graphs and torus graphs.

We employ spectral methods of automorphic forms to establish a holomorphic projection operator for tensor products of vector-valued harmonic weak Maass forms and vector-valued modular forms. We apply this operator to discover simple recursions for Fourier series coefficients of Ramanujan's mock theta functions.

In this paper we obtain precise asymptotics for certain families of graphs, namely circulant graphs and degenerating discrete tori. The asymptotics contain interesting constants from number theory among which some can be interpreted as corresponding values for continuous limiting objects. We answer one question formulated in a paper from Atajan, Yong and Inaba in [1] and formulate a conjecture in relation to the paper from Zhang, Yong and Golin [21]. A crucial ingredient in the proof is to use the matrix tree theorem and express the combinatorial laplacian determinant in terms of Bessel functions. A non-standard Poisson summation formula and limiting properties of theta functions are then used to evaluate the asymptotics.

Let $\mathscr{F}$ and $\mathscr{G}$ be families of $k$- and $\ell$-dimensional subspaces, respectively, of a given $n$-dimensional vector space over a finite field $\mathbb{F}_q$. Suppose that $x \cap y \ne 0$ for all $x \in \mathscr{F}$ and $y \in \mathscr{G}$. By explicitly constructing optimal feasible solutions to a semidefinite programming problem which is akin to Lovász's theta function, we show that $|\mathscr{F}| |\mathscr{G}| \leq {n-1 \brack k-1} {n-1 \brack \ell-1}$, provided that $n \geq 2k$ and $n \geq 2\ell$. The characterization of the extremal families is also established.

Let $Γ$ be a compact tropical curve (or metric graph) of genus $g$. Using the theory of tropical theta functions, Mikhalkin and Zharkov proved that there is a canonical effective representative (called a break divisor) for each linear equivalence class of divisors of degree $g$ on $Γ$. We present a new combinatorial proof of the fact that there is a unique break divisor in each equivalence class, establishing in the process an "integral" version of this result which is of independent interest. As an application, we provide a "geometric proof" of (a dual version of) Kirchhoff's celebrated Matrix-Tree Theorem. Indeed, we show that each weighted graph model $G$ for $Γ$ gives rise to a canonical polyhedral decomposition of the $g$-dimensional real torus ${\rm Pic}^g(Γ)$ into parallelotopes $C_T$, one for each spanning tree $T$ of $G$, and the dual Kirchhoff theorem becomes the statement that the volume of ${\rm Pic}^g(Γ)$ is the sum of the volumes of the cells in the decomposition.

In important work on the parity of the partition function, Ono related values of the partition function to coefficients of a certain mock theta function modulo 2. In this paper, we use Möbius inversion to give analogous results which relate several combinatorial functions via identities rather than congruences.

For a given prime $p$, we study the properties of the $p$-dissection identities of Ramanujan's theta functions $ψ(q)$ and $f(-q)$, respectively. Then as applications, we find many infinite family of congruences modulo 2 for some $\ell$-regular partition functions, especially, for $\ell=2,4,5,8,13,16$. Moreover, based on the classical congruences for $p(n)$ given by Ramanujan, we obtain many more congruences for some $\ell$-regular partition functions.

We give short proofs of conjectural identities due to Gordon and McIntosh involving two 10th order mock theta functions.

Andrews, Lewis and Lovejoy introduced the partition function PD(n) as the number of partitions of $n$ with designated summands, where we assume that among parts with equal size, exactly one is designated. They proved that PD(3n+2) is divisible by 3. We obtain a Ramanujan type identity for the generating function of PD(3n+2) which implies the congruence of Andrews, Lewis and Lovejoy. For PD(3n), Andrews, Lewis and Lovejoy showed that the generating function can be expressed as an infinite product of powers of $(1-q^{2n+1})$ times a function $F(q^2)$. We find an explicit formula for $F(q^2)$, which leads to a formula for the generating function of PD(3n). We also obtain a formula for the generating function of PD(3n+1). Our proofs rely on Chan's identity on Ramanujan's cubic continued fraction and some identities on cubic theta functions. By introducing a rank for the partitions with designed summands, we give a combinatorial interpretation of the congruence of Andrews, Lewis and Lovejoy.

Recently, Bringmann and Kane established two new Bailey pairs and used them to relate certain q-hypergeometric series to real quadratic fields. We show how these pairs give rise to new mock theta functions in the form of q-hypergeometric double sums. Additionally, we prove an identity between one of these sums and two classical mock theta functions introduced by Gordon and McIntosh.

In this note, we make a correction of the imaginary transformation formula of Chan and Liu's circular formula of theta functions. We also get the imaginary transformation formulaes for a type of generalized cubic theta functions.

Standard applications of the Bailey chain preserve mixed mock modularity but not mock modularity. After illustrating this with some examples, we show how to use a change of base in Bailey pairs due to Bressoud, Ismail and Stanton to explicitly construct families of q-hypergeometric multisums which are mock theta functions. We also prove identities involving some of these multisums and certain classical mock theta functions.

In this work, we give combinatorial proofs for generating functions of two problems, i.e., flushed partitions and concave compositions of even length. We also give combinatorial interpretation of one problem posed by Sylvester involving flushed partitions and then prove it. For these purposes, we first describe an involution and use it to prove core identities. Using this involution with modifications, we prove several problems of different nature, including Andrews' partition identities involving initial repetitions and partition theoretical interpretations of three mock theta functions of third order $f(q)$, $φ(q)$ and $ψ(q)$. An identity of Ramanujan is proved combinatorially. Several new identities are also established.

We give a new structural development of harmonic polynomials on Hamming space, and harmonic weight enumerators of binary linear codes, that parallels one approach to harmonic polynomials on Euclidean space and weighted theta functions of Euclidean lattices. Namely, we use the finite-dimensional representation theory of sl_2 to derive a decomposition theorem for the spaces of discrete homogeneous polynomials in terms of the spaces of discrete harmonic polynomials, and prove a generalized MacWilliams identity for harmonic weight enumerators. We then present several applications of harmonic weight enumerators, corresponding to some uses of weighted theta functions: an equivalent characterization of t-designs, the Assmus-Mattson Theorem in the case of extremal Type II codes, and configuration results for extremal Type II codes of lengths 8, 24, 32, 48, 56, 72, and 96.