arXiv++ Combinatorics

Let $f: {\Bbb R}^n \longrightarrow {\Bbb R}$ be a positive definite quadratic form and let $y \in {\Bbb R}^n$ be a point. We present a fully polynomial randomized approximation scheme (FPRAS) for computing $\sum_{x \in {\Bbb Z}^n} e^{-f(x)}$, provided the eigenvalues of $f$ lie in the interval roughly between $s$ and $e^{s}$ and for computing $\sum_{x \in {\Bbb Z}^n} e^{-f(x-y)}$, provided the eigenvalues of $f$ lie in the interval roughly between $e^{-s}$ and $s^{-1}$ for some $s \geq 3$. To compute the first sum, we represent it as the integral of an explicit log-concave function on ${\Bbb R}^n$, and to compute the second sum, we use the reciprocity relation for theta functions. We then apply our results to test the existence of many short integer vectors in a given subspace $L \subset {\Bbb R}^n$, to estimate the distance from a given point to a lattice, and to sample a random lattice point from the discrete Gaussian distribution.

In 2015, Vladimir Fock proved that the spectral transform, associating to an element of a dimer cluster integrable system its spectral data, is birational by constructing an inverse map using theta functions on Jacobians of spectral curves. We provide an alternate construction of the inverse map that involves only rational functions in the spectral data.

In this paper we add to the literature on the combinatorial nature of the mock theta functions, a collection of curious $q$-hypergeometric series introduced by Ramanujan in his last letter to Hardy in 1920, which we now know to be important examples of mock modular forms. Our work is inspired by Beck's conjecture, now a theorem of Andrews, related to Euler's identity: the excess of the number of parts in all partitions of $n$ into odd parts over the number of partitions of $n$ into distinct parts is equal to the number of partitions with only one (possibly repeated) even part and all other parts odd. We establish Beck-type identities associated to partition identities due to Andrews, Dixit, and Yee for the third order mock theta functions $ω(q), ν(q)$, and $φ(q)$. Our proofs are both analytic and combinatorial in nature, and involve mock theta generating functions and combinatorial bijections.

We apply the bound on independence number via Lov{á}sz theta function to eventown problem and its generalizations over $\mathbb{Z}_n$.

It is known that $q$-orthogonal polynomials play an important role in the field of $q$-series and special functions. During studying Dyson's "favorite" identity of Rogers--Ramanujan type, Andrews pointed out that the classical orthogonal polynomials also have surprising applications in the world of $q$. By inserting Chebyshev polynomials of the third and the fourth kinds into Bailey pairs, Andrews derived a family of Rogers--Ramanujan type identities and also results related to mock theta functions and Hecke--type series. In this paper, by constructing a new Bailey pair involving Chebyshev polynomials of the third kind, we further extend Andrews' way in the studying of Rogers--Ramanujan type identities. By fitting this Bailey pair into different weak forms of Bailey's lemma, we obtain a companion identity to Dyson's favorite one and also many other Rogers--Ramanujan type identities. Furthermore, as immediate consequences, we also obtain some results related to Appell--Lerch series and the generalized Hecke--type series.

In this note, we prove a general identity between a $q$-multisum $B_N(q)$ and a sum of $N^2$ products of quotients of theta functions. The $q$-multisum $B_N(q)$ recently arose in the computation of a probability involving modules over finite chain rings.

We develop the theory of copartitions, which are a generalization of partitions with connections to many classical topics in partition theory, including Rogers-Ramanujan partitions, theta functions, mock theta functions, partitions with parts separated by parity, and crank statistics. Using both analytic and combinatorial methods, we give two forms of the three-parameter generating function, and we study several special cases that demonstrate the potential broader impact the study of copartitions may have.

This is a self-contained exposition of several fundamental properties of cluster scattering diagrams introduced and studied by Gross, Hacking, Keel, and Kontsevich. In particular, detailed proofs are presented for the construction, the mutation invariance, and the positivity of theta functions of cluster scattering diagrams. Throughout the text we highlight the fundamental roles of the dilogarithm elements and the pentagon relation in cluster scattering diagrams.

We give a construction of generalized cluster varieties and generalized cluster scattering diagrams for reciprocal generalized cluster algebras, the latter of which were defined by Chekhov and Shapiro. These constructions are analogous to the structures given for ordinary cluster algebras in the work of Gross, Hacking, Keel, and Kontsevich. As a consequence of these constructions, we are also able to construct theta functions for generalized cluster algebras, again in the reciprocal case, and demonstrate a number of their structural properties.

We construct scattering diagrams for Chekhov-Shapiro's generalized cluster algebras where exchange polynomials are factorized into binomials, generalizing the cluster scattering diagrams of Gross, Hacking, Keel and Kontsevich. They turn out to be natural objects arising in Fock and Goncharov's cluster duality. Analogous features and structures (such as positivity and the cluster complex structure) in the ordinary case also appear in the generalized situation. With the help of these scattering diagrams, we show that generalized cluster variables are theta functions and hence have certain positivity property with respect to the coefficients in the binomial factors.

We prove certain Nahm-type sum representations for the (odd modulus) Andrews-Gordon identities, the (even modulus) Andrews-Bressoud identities, and Rogers' false theta functions. These identities are motivated on one hand by a recent work of C. Jennings-Shaffer and one of us on double pole series, and, on the other hand, by Córdova, Gaiotto and Shao's work on defect Schur's indices.

We introduce a statistic on overpartitions called the $\overline{k}$-rank. When there are no overlined parts, this coincides with the $k$-rank of a partition introduced by Garvan. Moreover, it reduces to the D-rank of an overpartition when $k=2$. The generating function for the $\overline{k}$-rank of overpartitions is given. We also establish a relation between the generating function of self-3-conjugate overpartitions and the tenth order mock theta functions $X(q)$ and $χ(q)$.

We extend upper bounds on the quantum independence number and the quantum Shannon capacity of graphs to their counterparts in the commuting operator model. We introduce a von Neumann algebraic generalization of the fractional Haemers bound (over $\mathbb{C}$) and prove that the generalization upper bounds the commuting quantum independence number. We call our bound the tracial Haemers bound, and we prove that it is multiplicative with respect to the strong product. In particular, this makes it an upper bound on the Shannon capacity. The tracial Haemers bound is incomparable with the Lovász theta function, another well-known upper bound on the Shannon capacity. We show that separating the tracial and fractional Haemers bounds would refute Connes' embedding conjecture. Along the way, we prove that the tracial rank and tracial Haemers bound are elements of the (commuting quantum) asymptotic spectrum of graphs (Zuiddam, Combinatorica, 2019). We also show that the inertia bound (an upper bound on the quantum independence number) upper bounds the commuting quantum independence number.

We prove a general alternate circular summation formula of theta functions, which implies a great deal of theta-function identities. In particular, we recover several identities in Ramanujan's Notebook from this identity. We also obtain two formulaes for $(q;q)_\infty^{2n}$.

The diamond is the graph obtained by removing an edge from the complete graph on 4 vertices. A graph is ($P_6$, diamond)-free if it contains no induced subgraph isomorphic to a six-vertex path or a diamond. In this paper we show that the chromatic number of a ($P_6$, diamond)-free graph $G$ is no larger than the maximum of 6 and the clique number of $G$. We do this by reducing the problem to imperfect ($P_6$, diamond)-free graphs via the Strong Perfect Graph Theorem, dividing the imperfect graphs into several cases, and giving a proper colouring for each case. We also show that there is exactly one 6-vertex-critical ($P_6$, diamond, $K_6$)-free graph. Together with the Lovász theta function, this gives a polynomial time algorithm to compute the chromatic number of ($P_6$, diamond)-free graphs.

Previously, we proved an identity for theta functions of degree eight, and several applications of it were also discussed. This identity is a natural extension of the addition formula for the Weierstrass sigma-function. In this paper we will use this identity to reexamine our work in theta function identities in the past two decades. Hundreds of results about elliptic modular functions, both classical and new, are derived from this identity with ease. Essentially, this general theta function identity is a theta identities generating machine. Our investigation shows that many well-known results about elliptic modular functions with different appearances due to Jacobi, Kiepert, Ramanujan and Weierstrass among others, actually share a common source. This paper can also be seen as a summary of my past work on theta function identities. A conjecture is also proposed.

George Andrews and Ae Ja Yee recently established beautiful results involving bivariate generalizations of the third order mock theta functions $ω(q)$ and $ν(q)$, thereby extending their earlier results with the second author. Generalizing the Andrews-Yee identities for trivariate generalizations of these mock theta functions remained a mystery, as pointed out by Li and Yang in their recent work. We partially solve this problem and generalize these identities. Several new as well as well-known results are derived. For example, one of our two main theorems gives, as a corollary, a special case of Soon-Yi Kang's three-variable reciprocity theorem. A relation between a new restricted overpartition function $p^{*}(n)$ and a weighted partition function $p_*(n)$ is obtained from one of the special cases of our second theorem.

In this paper, we discuss a few recent conjectures made by George Beck related to the ranks and cranks of partitions. The conjectures for the rank of a partition were proved by Andrews by using results due to Atkin and Swinnerton-Dyer on a suitable generating function, while the conjectures related to cranks were studied by Shane Chern using weighted partition moments. We revisit the conjectures on the crank of a partition by decomposing the relevant generating function and further explore connections with Apple-Lerch series and tenth order mock theta functions.

It is well known that Ramanujan conjectured congruences modulo powers of 5, 7 and and 11 for the partition function. These were subsequently proved by Watson (1938) and Atkin (1967). In 2009 Choi, Kang, and Lovejoy proved congruences modulo powers of 5 for the crank parity function. The generating function for rank parity function is f(q), which is the first example of a mock theta function that Ramanujan mentioned in his last letter to Hardy. We prove congruences modulo powers of 5 for the rank parity function.

Grötschel, Lovász, and Schrijver generalized the Lovász $\vartheta$ function by allowing a weight for each vertex. We provide a similar generalization of Duan, Severini, and Winter's $\tilde{\vartheta}$ on non-commutative graphs. While the classical theory involves a weight vector assigning a non-negative weight to each vertex, the non-commutative theory uses a positive semidefinite weight matrix. The classical theory is recovered in the case of diagonal weight matrices. Most of Grötschel, Lovász, and Schrijver's results generalize to non-commutative graphs. In particular, we generalize the inequality $\vartheta(G, w) \vartheta(\overline{G}, x) \ge \langle w, x \rangle$ with some modification needed due to non-commutative graphs having a richer notion of complementation. Similar to the classical case, facets of the theta body correspond to cliques and if the theta body anti-blocker is finitely generated then it is equal to the non-commutative generalization of the clique polytope. We propose two definitions for non-commutative perfect graphs, equivalent for classical graphs but inequivalent for non-commutative graphs.