{"id":"arxiv:2610.28186","kind":"preprint","title":"Sharp Euler-factor positivity for the BG-rank-refined five-core crank","authors":["Huan Xiong"],"author_count":1,"year":2026,"published":"2026-10-20","venue":null,"cited_by":0,"doi":null,"arxiv_id":"2610.28186","nct_id":null,"source_url":"https://arxiv.org/abs/2610.28186","archive_url":"https://space-kitty.com/papers/arxiv:2610.28186","updated":"2026-10-20","pmid":null,"pmcid":null,"openalex_id":"W7223137005","pdf_url":"https://arxiv.org/pdf/2610.28186","abstract":"In this paper, we complete the resolution of Stanton's problem OPAC--005 by proving its fixed-BG-rank assertion. We further establish a sharp nine-factor positivity theorem for the joint generating function. Let $K_{n,j}(z)$ enumerate partitions of $5n+4$ with BG-rank $j$ by the integer five-core crank prescribed in OPAC--005, and put $[5]_z=1+z+z^2+z^3+z^4$. We prove that $K_{n,j}(z)/[5]_z$ has nonnegative integer Laurent coefficients for every $n\\ge0$ and $j\\in \\mathbb Z$. The refined equidistribution theorem of Berkovich and Garvan gives divisibility; the new assertion is coefficientwise nonnegativity. Set $Ψ(u,z,q)=\\sum_{n\\ge0}\\sum_{j\\in \\mathbb Z}q^{n+1}u^jK_{n,j}(z)$ and $D(q)=\\prod_{d\\ge1}(1-q^{2d})$. For every nonnegative integer $M$, we show that $D(q)^MΨ(u,z,q)/[5]_z$ has nonnegative coefficients if and only if $M\\le9$. Thus positivity survives after removing nine of the ten partition factors supplied by the core--quotient decomposition. A coefficient equal to $-4$ at $M=10$ proves sharpness. The key step is a compensation between lattice terms of different core sizes that preserves both the BG-rank and the full integer crank. Theta identities and three local coefficient inequalities provide the required nonnegative contributions, and an explicit allocation ensures that none is used twice. The resulting factorization also yields a nine-color convolution and coefficientwise finite-difference inequalities through order nine.","abstract_license":"CC0-1.0 (arXiv descriptive metadata)","license":null,"is_open_access":false,"retracted":false,"peer_reviewed":false,"categories":["math.CO"],"details":null,"provenance":"arxiv","attribution":"Abstract: arXiv descriptive metadata (CC0). Thank you to arXiv for use of its open access interoperability. This service was not reviewed or approved by, nor does it necessarily express or reflect the policies or opinions of, arXiv.","topics":[{"slug":"landmark-math-results","name":"Landmark Results in Pure Mathematics","domain_slug":"math-cs"}],"cited_in_dossiers":[]}