arXiv++ Combinatorics

We prove formulas for generalized rank deviations for overpartitions. These formulas are in terms of Appell-Lerch series and sums of quotients of theta functions and extend work of Lovejoy and the second author. As an application, we compute a dissection.

Around 1991, J.M. and P.B. Borwein established a cubic analogue of Jacobi's fundamental identity for theta functions. Their identity serves as the foundation for the subsequent development by B.C. Berndt, S. Bhargava, and F.G. Garvan of Ramanujan's theory of elliptic functions to the cubic base. In 2013, D. Schultz discovered an identity for theta series in three variables which generalizes the Borweins' identity. In this article, we revisit Schultz's identity and present two distinct approaches to its derivation. Our investigation not only provides new proofs but also yields several identities of a similar type. Furthermore, this study enables us to construct new two-variable generalizations of Jacobi's original classical identity.

Ramanujan introduced mock theta functions in his last letter to G.H.Hardy. He provided examples and various relations between them. G.N.Watson found transformations for the third order mock theta functions $f(q)$ and $ω$(q). Zwegers in 2000 built on Watson's techniques to complete these mock theta functions and connected them to real analytic modular forms. We show how to derive these transformations using Lerch sums. To show the equivalence of the results involves some new $q$-series identities thus resulting in a new proof of Zwegers' theorem.

In this paper, we investigate new relationships for bilateral series related to two-parameter mock theta functions, which lead to many identities concerning the bilateral mock theta functions. In addition, interesting relations between the classical mock theta functions and the bilateral series are also concluded.

We study the distribution of partition parts in arithmetic progressions and find asymptotic results that capture all exponentially growing terms. This is accomplished by studying the behavior of non-modular Eisenstein series that appear in their generating function and have expressions in terms of indefinite and false-indefinite theta functions.

We use Bailey pairs to prove $q$-series identities at roots of unity due to Cohen and Bryson-Ono-Pitman-Rhoades. The proofs use Bailey pairs with quadratic forms developed in the study of mock theta functions. In addition to the standard Bailey lemma, we require some changes-of-base established by Bressoud-Ismail-Stanton. We then embed the identities in infinite families using the Bailey chain.

In this paper, we show that the classical Cassini and Catalan identities for Fibonacci numbers arise naturally from a single quadratic theta-function identity of Ramanujan. Expanding the identity $ψ(q)ψ(q^{3})=ψ(q^{4})\varphi(q^{6})+q\,\varphi(q^{2})ψ(q^{12})$ via the Jacobi triple product and equating coefficients yields the unified $q$-determinant $F_{n+r}(q)F_{n-r}(q)-F_{n}(q)^{2}=(-q)^{\,n-r}F_{r}(q)^{2}$, $n\ge r\ge 1$, where $ψ(q)$ and $\varphi(q)$ are Ramanujan's theta functions with $q$ a complex parameter in the unit disc $(\lvert q \rvert < 1)$ and $F_n(q)$ denotes the Carlitz $q$-Fibonacci polynomials. The radial limit $q\to1^{-}$ recovers Cassini's formula ($r=1$) and Catalan's one-parameter extension, while the same derivation with an auxiliary weight produces new partition-refined versions. The argument uses only standard $q$-series algebra (triple-product expansions, $q$-Pochhammer cancellations, and coefficient extraction), providing a transparent modular explanation of the alternating sign $(-1)^{\,n-r}$ in Catalan's identity through the level-6 provenance of $\varphi$ and $ψ$. Beyond unifying Cassini\textendash Catalan in a single framework, the method lifts seamlessly to higher-order recurrences, giving a template for Tribonacci-type determinants and suggesting congruence phenomena obtained from modular dissections and root-of-unity limits. The results place familiar Fibonacci determinants within Ramanujan's analytic landscape, indicate routes to combinatorial bijections that mirror the analytic cancellations, and connect with themes in modern $q$-series\textemdash ranging from colored partition identities to quantum-modular and exactly solvable models\textemdash thereby highlighting both the explanatory power and the ongoing relevance of Ramanujan's theta identities.

A new sums-of-tails identity involving two parameters $b$ and $d$ is obtained and is used to derive more results of similar type. One of Ramanujan's sums-of-tails identities from the Lost Notebook is shown to be a special case of our result. In the course of deriving Ramanujan's identity, we obtain a new result of combinatorial significance. Two new representations for an infinite series associated to a mock theta function are derived. Also, we give an application of an identity of Andrews and Onofri.

Real and regular soliton solutions of the KP hierarchy have been classified in terms of the totally nonnegative (TNN) Grassmannians. These solitons are referred to as KP solitons, and they are expressed as singular (tropical) limits of shifted Riemann theta functions. In this talk, for each element of the TNN Grassmannian, we construct a Schottky group, which uniformizes the Riemann surface associated with a real finite-gap solution. Then we show that the KP solitons are obtained by degenerating these finite-gap solutions.

Ramanujan derived a sequence of even weight $2n$ quasimodular forms $U_{2n}(q)$ from derivatives of Jacobi's weight $3/2$ theta function. Using the generating function for this sequence, one can construct sequences of quasimodular forms of all nonnegative integer weights with minimal input: a weight 1 modular form and a power series $F(X)$. Using the weight 1 form $θ(q)^2$ and $F(X)=\exp(X/2)$, we obtain a sequence $\{Y_n(q)\}$ of weight $n$ quasimodular forms on $Γ_0(4)$ whose symmetric function avatars $\widetilde{Y}_n(\pmb{x}^k)$ are the symmetric polynomials $T_n(\pmb{x}^k)$ that arise naturally in the study of syzygies of numerical semigroups. With this information, we settle two conjectures about the $T_n(\pmb{x}^k).$ Finally, we note that these polynomials are systematically given in terms of the Borel-Hirzebruch $\widehat{A}$-genus for spin manifolds, where one identifies power sum symmetric functions $p_i$ with Pontryagin classes.

For a finite subset $X$ of the $d$-dimensional unit sphere, the harmonic strength $T(X)$ of $X$ is the set of $\ell\in \mathbb{N}$ such that $\sum_{x\in X} P(x)=0$ for all harmonic polynomials $P$ of homogeneous degree $\ell$. We will study three exceptional finite groups of unit quaternions, called the binary tetrahedral group $2T$ of order 24, the octahedral group $2O$ of order 48, and the icosahedral group $2I$ of order 120, which can be viewed as a subset of the 3-dimensional unit sphere. For these three groups, we determine the harmonic strength and show the minimality and the uniqueness as spherical designs. In particular, the group $2O$ is unique as a minimal subset $X$ of the 3-dimensional unit sphere with $T(X)=\{22,14,10,6,4,2 \}\cup \mathbb{O}^+$, where $\mathbb{O}^+$ denotes the set of all positive odd integers. This result provides the first characterization of $2O$ from the spherical design viewpoint. For $G\in \{2T,2O,2I\}$, we consider the lattice $\mathcal{O}_{G}$ generated by $G$ over $R_G$ on which the group $G$ acts on by multiplication, where $R_{2T}=\mathbb{Z},\ R_{2O}=\mathbb{Z}[\sqrt{2}],\ R_{2I}=\mathbb{Z}[(1+\sqrt{5})/2]$ are the ring of integers. We introduce the spherical theta function $θ_{G,P}(z)$ attached to the lattice $\mathcal{O}_G$ and a harmonic polynomial $P$ of degree $\ell$ and prove that they are modular forms. By applying our results on the characterization of $G$ as a spherical design, we determine the cases in which the $\mathbb{C}$-vector space spanned by all $θ_{G,P}(z)$ of harmonic polynomials $P$ of homogeneous degree $\ell$ has dimension zero--without relying on the theory of modular forms.

We extend the recently developed theory of Roehrig and Zwegers on indefinite theta functions to prove certain power series are modular forms. As a consequence, we obtain several power series identities for powers of the generating function of triangular numbers. We also show that these identities arise as specializations of denominator identities of affine Lie superalgebras.

We prove that theta functions constructed from positive scattering diagrams satisfy valuative independence. That is, for certain valuations $\operatorname{val}_{v}$, we have $\operatorname{val}_v(\sum_u c_u \vartheta_u)=\min_{c_u\neq 0} \operatorname{val}_v(\vartheta_u)$. As applications, we prove linear independence of theta functions with specialized coefficients and characterize when theta functions for cluster varieties are unchanged by the unfreezing of an index. This yields a general gluing result for theta functions from moduli of local systems on marked surfaces. We then prove that theta functions for cluster varieties satisfy a symmetry property called theta reciprocity: briefly, $\operatorname{val}_v(\vartheta_u)=\operatorname{val}_u(\vartheta_v)$. For this we utilize a new framework called a "seed datum" for understanding cluster-type varieties. One may apply valuative independence and theta reciprocity together to identify theta function bases for global sections of line bundles on partial compactifications of cluster varieties.

Let $G$ be a graph on $n$ vertices, independence number $α(G)$, Lovász theta function $\vartheta(G)$, and Shannon capacity $Θ(G)$. We define $n_{\ge0}(G)$ to be the minimum number of non-negative eigenvalues taken over all Hermitian weighted adjacency matrices of $G$. It is well known that $α(G) \le Θ(G) \le \vartheta(G)$ and $α(G) \le n_{\ge0}(G)$. Continuing a long line of work, we investigate the relationships between $ α(G) $, $ \vartheta(G) $, $Θ(G)$, and $ n_{\ge 0}(G) $. We prove a conjecture of Kwan and Wigderson, showing that for every integer $k$, there exists a graph $G$ with $α(G) \leq 2$ and $n_{\ge 0}(G) \ge k$. In addition, we prove that for every integer $k$, there exists a graph $G$ with $Θ(G) \leq 3$ and $n_{\ge 0}(G) \ge k$. Both results rely on a new observation: if the complement of $G$ contains a good spectral expander, then $n_{\geq 0}(G)$ must be large. We also show that $\vartheta(G)$ can be exponentially larger than $n_{\ge 0}(G)$, improving a recent result of Ihringer.

Around 2016, Calinescu, Milas and Penn conjectured that the rank $r$ Nahm sum associated with the $r\times r$ tadpole Cartan matrix is modular, and they provided a proof for $r=2$. The $r=3$ case was recently resolved by Milas and Wang. We prove this conjecture for the next cases $r=4,5$. We also prove the modularity of some companion Nahm sums by establishing the corresponding Rogers--Ramanujan type identities. A key new ingredient in our proofs is some rank reduction formulas which allow us to decompose higher rank tadpole Nahm sums to mixed products of some lower rank Nahm-type sums and theta functions.

We address the enumeration of Eulerian orientations of 4-valent planar maps according to three parameters: the number of vertices, the number of alternating vertices (having in/out/in/out incident edges), and the number of clockwise oriented faces. This is a refinement of the six vertex model studied by Kostov, then Zinn-Justin and Elvey Price, where one only considers the first two parameters. Via a bijection of Ambjorn and Budd, our problem is equivalent to the enumeration of Eulerian partial orientations of general planar maps, counted by the number of edges, the number of undirected edges, and the number of vertices. We first derive from combinatorial arguments a system of functional equations characterising the associated trivariate series $Q(t,ω,v)$. We then derive from this system a compact characterisation of this series. We use it to determine $Q(t,ω,v)$ in three two-parameter cases. The first two cases correspond to setting the variable $ω$ counting alternating vertices (or undirected edges after the AB bijection) to $0$ or $1$: when $ω=0$ we count Eulerian orientations of general planar maps by edges and vertices, and when $ω=1$ we count Eulerian orientations of quartic maps by vertices and clockwise faces. The final forms of these two series, namely $Q(t,0, v)$ and $Q(t,1,v)$, refine those obtained by the authors in an earlier paper for $v=1$. The third case that we solve, namely $v=1$ (but $ω$ arbitrary), is the standard six-vertex model, for which we provide a new proof of the formula of Elvey Price and Zinn-Justin involving Jacobi theta functions. This new derivation remains purely in the world of formal power series, not relying on complex analysis. Our results also use a more direct approach to solving the functional equations, in contrast to the guess and check approaches used in previous work.

In the recent past, the work in the area of vanishing coefficients of infinite $q$-products has been taken to the forefront. Weaving the same thread as Ramanujan, Richmond, Szekeres, Andrews, Alladi, Gordon, Mc Laughlin, Baruah, Kaur, Tang, we further prove vanishing coefficients in arithmetic progressions moduli 5, 7, 11, 13, 19, 21, 23 and 29 of the following four families of infinite products, where $\{X_{a,b,sm,km,u,v}(n)\}_{n\geq n_0}$, $\{Y_{a,b,sm,km,u,v}(n)\}_{n\geq n_0}$, $\{Z_{a,b,sm,km,u,v}(n)\}_{n\geq n_0}$ and $\{W_{a,b,sm,km,u,v}(n) \}_{n\geq n_0}$ are defined by \begin{align*} \sum_{n\geq n_0}^{\infty}X_{a,b,sm,km,u,v}(n)q^n:=&(q^{a},q^{sm-a};q^{sm})_{infty}^u(q^{b},q^{km-b};q^{km})_{infty}^v, \\ \sum_{n\geq n_0}^{\infty}Y_{a,b,sm,km,u,v}(n)q^n:=&(q^{a},q^{sm-a};q^{sm})_{infty}^u(-q^{b},-q^{km-b};q^{km})_{infty}^v, \\ \sum_{n\geq n_0}^{\infty}Z_{a,b,sm,km,u,v}(n)q^n:=&(-q^{a},-q^{sm-a};q^{sm})_{infty}^u(q^{b},q^{km-b};q^{km})_{infty}^v,\\ \sum_{n\geq n_0}^{\infty}W_{a,b,sm,km,u,v}(n)q^n:=&(-q^{a},-q^{sm-a};q^{sm})_{infty}^u(-q^{b},-q^{km-b};q^{km})_{infty}^v, \end{align*} here $a, b, s, k, u$ and $v$ are chosen in such a way that the infinite products in the right-hand side of the above are convergent and $n_0$ is an integer (possibly negative or zero) depending on $a, b, s, k, u$ and $v$. The proof uses the Jacobi triple product identity and the properties of Ramanujan general theta function.

In 1994, Kac and Wakimoto found the denominator identity for classical affine Lie superalgebras, generalizing that for affine Lie algebras. As an application, they obtained power series identities for some powers of $\triangle(q)$, where $\triangle(q)$ is the generating function of triangular numbers. In this article, we give a different proof of one of their identities. The main step is to prove that a certain indefinite theta function involving spherical polynomials is a modular form. We use the technique recently developed by Roehrig and Zwegers.

A new characterization of the Lovasz theta function is provided by relating it to the (weighted) walk-generating function, thus establishing a relationship between two seemingly quite distinct concepts in algebraic graph theory. An application of this new characterization is given by showing how it straightforwardly entails multiple natural generalizations of the Hoffman upper bound (on both the independence number and Lovasz number) to arbitrary non-regular graphs. These new bounds possess properties that make them advantageous to previously derived such generalizations. It will also be shown that the Lovasz theta function equals a natural relaxation of the independence number, here dubbed the spherical independence number -- the determination of which involves producing a vector corresponding to a generalized maximum independent set which might be significant for the maximum independent set problem. Lastly, the derivation of the new characterization involves proving a certain analysis result which may in itself be of interest.

In this paper, we establish that the number of partitions of a natural number with positive odd rank is equal to the number of two-color partitions (red and blue), where the smallest part is even (say $2n$) and all red parts are even and lie within the interval $(2n,4n]$. This led us to derive a new representation for the third order mock theta function $f_3(q)$ and an analogue of the fundamental identity for the smallest part partition function Spt$(n)$, both of which are of significant interest in their own right. We also consider the odd smallest part version of the above two-color partition, whose generating function involves another third order mock theta function $φ_3(q)$.