Abstract:Mizuno provided 15 examples of generalized rank three Nahm sums with symmetrizer $\mathrm{diag}(1,2,2)$ which are conjecturally modular. Using the theory of Bailey pairs and some $q$-series techniques, we establish a number of triple sum Rogers--Ramanujan type identities. These identities confirm the modularity of all of Mizuno's examples except for two non-modular cases. We show that the two exceptional cases of Nahm sums are sums of modular forms of weights $0$ and $1$. We also prove Mizuno's conjectural modular transformation formulas for two vector-valued functions consisting of Nahm sums with symmetrizers $\mathrm{diag}(1,1,2)$ and $\mathrm{diag}(1,2,2)$.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to confirm and prove the modularity of the generalized three - level Nahm sums (i.e., Nahm sums) proposed by Mizuno for the specific symmetric matrix $\text{diag}(1,2,2)$. Specifically, the article aims to verify whether these Nahm sums are modular forms by establishing a series of Rogers - Ramanujan - type identities for triple sums, and deals with two non - modular cases among them, expressing them as the sum of modular forms with weights 0 and 1. In addition, the author also proves the modular transformation formula of the vector - valued function of Mizuno's conjecture.
### Detailed Explanation
#### Research Background
Nahm sums are a class of special multiple - sum basic hypergeometric series, in the form of:
\[
f_{A,b,c}(q) := \sum_{n=(n_1,\ldots,n_r)^T \in (\mathbb{Z}_{\geq 0})^r} q^{\frac{1}{2}n^T A n + n^T b + c}\prod_{i = 1}^r\frac{1}{(q;q)_{n_i}}
\]
where $A$ is a real positive - definite symmetric matrix, $b$ is a vector, and $c$ is a scalar. An important problem proposed by Nahm is to determine all rational matrices $A$, rational vectors $B$, and rational scalars $C$ such that $f_{A,B,C}(q)$ becomes a modular form. This type of problem is of great significance in mathematical physics, especially related to the characteristics in rational conformal field theory.
#### Mizuno's Work
Mizuno considered a class of generalized Nahm sums:
\[
\tilde{f}_{A,b,c,d}(q) := \sum_{n=(n_1,\ldots,n_r)^T \in (\mathbb{Z}_{\geq 0})^r} q^{\frac{1}{2}n^T A D n + n^T b + c}\prod_{i = 1}^r\frac{1}{(q^{d_i};q^{d_i})_{n_i}}
\]
where $d=(d_1,\ldots,d_r)\in\mathbb{Z}_{>0}^r$, and $A$ is a diagonalizable matrix such that $AD$ is symmetric positive - definite. Mizuno provided 15 examples of generalized three - level Nahm sums with the symmetric matrix $\text{diag}(1,2,2)$ and guessed that these examples are modular forms.
#### Main Contributions of This Paper
The main contributions of this paper are as follows:
1. **Establish Rogers - Ramanujan - type Identities**: By using Bailey pair theory and other q - series techniques, multiple Rogers - Ramanujan - type identities for triple sums are established, thus confirming the modularity of most of the examples provided by Mizuno.
2. **Handle Non - modular Cases**: For two non - modular cases, the author expresses them as the sum of modular forms with weights 0 and 1.
3. **Prove Modular Transformation Formula**: Prove the modular transformation formula of the vector - valued function of Mizuno's conjecture, further verifying the modular properties of these Nahm sums.
#### Formula Example
For example, in Example 1, the author proves the following identity:
\[
\sum_{i,j,k\geq 0}\frac{q^{i^2 + 2j^2 + k^2 + 2ij+ik}}{(q;q)_i(q^2;q^2)_j(q^2;q^2)_k}=\frac{(q^{20},q^{24},q^{44};q^{44})_\infty}{(q,q^3,q^4;q^4)_\infty}+q\frac{(-q,q^{10},-q^{11};-q^{11})_\infty}{(q^2,q^2,q^4;q^4)_\infty}
\]
The establishment of these identities not only verifies the modularity of Nahm sums but also reveals the relationship between these sums and infinite products.