# The cyclic-induction Schur cone: Boolean sums, Ramanujan-square positivity, and integral structure

Preprint · Young-Tak Oh

- Archive id: arxiv:2608.29757
- Published: 2026-08-30
- arXiv: https://arxiv.org/abs/2608.29757
- Source URL: https://arxiv.org/abs/2608.29757
- PDF: https://arxiv.org/pdf/2608.29757
- Provenance: arxiv

## Abstract

We study the Schur-positive cone in $\\Rspace\_{n,\\mathbb R}\\coloneqq \\operatorname{span}\_{\\mathbb R}\\{p\_d^{n/d}:d\\mid n\\}$ through its basis $Q\_{n,d}\\coloneqq\\ell\_{n/d}^{(1)}\[p\_d\]$, where $\\ell\_m^{(1)}$ is the Frobenius characteristic of the representation induced to $S\_m$ from a faithful linear character of the subgroup generated by an $m$-cycle; brackets denote plethysm. A Boolean $Q$-sum is a sum of distinct elements of this basis. We give a unified proof of four conjectures of Sundaram on Schur positivity by classifying all Schur-positive Boolean $Q$-sums; the case of sums over divisors up to a prescribed bound recovers Hou's theorem. Specifically, for a nonempty set $J$ of divisors of $n$, the sum $\\sum\_{d\\in J}Q\_{n,d}$ is Schur-positive exactly when $1\\in J$ and, for even $n$, $n\\in J$ implies $n/2\\in J$. The same character estimates prove the Ramanujan-square conjecture of Shareshian and Sundaram: the function $\\sum\_{d\\mid n}c\_d(n/d)^2p\_d^{n/d}$, where $c\_d(r)$ is the Ramanujan sum, has a positive coefficient of $s\_λ$ for every $n\\ge1$ and $λ\\vdash n$, except when $n\\equiv2\\pmod4$ and $λ=(1^n)$, in which case the coefficient is zero. We prove that an element of this space has integral Schur coefficients if and only if its $Q$-coordinates are integral. The Boolean classification also determines the convex hull of the Schur-positive Boolean points with $Q\_{n,1}$-coordinate $1$. We compute its Ehrhart polynomial and volume, prove its integer decomposition property, and determine the Hilbert basis of its cone. For $n\\ge18$, we prove that setting the coefficient of $s\_{(n)}$ or $s\_{(1^n)}$ equal to $0$ or $1$ defines a facet of the section of the Schur-positive cone with $Q\_{n,1}$-coordinate $1$. The positivity results and coordinate formulas also yield inequalities for major-index residue multiplicities.

_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.