# Proof of a conjecture of Garvan and Jennings-Shaffer on the nonnegativity of M_{C1}(m,n) and M_{C5}(m,n)

Preprint · Bing He, Shuming Liu

- Archive id: arxiv:2509.12561
- Published: 2025-09-16
- arXiv: https://arxiv.org/abs/2509.12561
- Source URL: https://arxiv.org/abs/2509.12561
- PDF: https://arxiv.org/pdf/2509.12561
- Provenance: arxiv

## Abstract

In their 2016 paper on exotic Bailey--Slater SPT-functions, Garvan and Jennings-Shaffer introduced many new spt-crank-type functions and proposed a conjecture that the spt-crank-type functions $M\_{C1}(m,n)$ and $M\_{C5}(m,n)$ are both nonnegative for all $m\\in\\mathbb{Z}$ and $n\\in\\mathbb{N}.$ Applying Wright\\textquoteright s circle method, Jang and Kim showed that $M\_{C1}(m,n)$ and $M\_{C5}(m,n)$ are both positive for a fixed integer $m$ and large enough integers $n.$ Up to now, no complete proof of this conjecture has been given. In this paper, we provide a complete proof for this conjecture by using the theory of lattice points. Our proof is quite different from that of Jang and Kim.

_Abstract reproduced under CC0-1.0 (arXiv descriptive metadata)._

---
Space Kitty Archive · https://space-kitty.com · API: https://space-kitty.com/api/v1 · MCP: https://space-kitty.com/mcp · Premium: $0.20/request via x402 (Base Sepolia (testnet)). Metadata: arXiv (CC0), OpenAlex (CC0), Europe PMC (CC BY/CC0 works), ClinicalTrials.gov.