Chamber Structures of Schur-Positive Multiplicity Functions

Definitions and mathematical statement

For terminology, a partition is a finite weakly decreasing sequence of positive integers, with the empty partition also allowed. Write $s_\lambda$ for the Schur function indexed by a partition $\lambda$. In a Schur expansion \[ F=\sum_{\lambda}a_\lambda s_\lambda, \] Schur positivity means that the coefficients $a_\lambda$ are nonnegative. If these coefficients are intended as representation multiplicities, they must be nonnegative integers. The supplied record does not specify the coefficient ring, the permitted class of symmetric functions or formal series, or whether $F$ denotes a single function or a parameterized family.

A conventional coefficient multiplicity function would be \[ m_F(\lambda)=[s_\lambda]F=a_\lambda. \] This is a possible interpretation of the notation, not a definition established by the supplied source record: the record does not identify the arguments of $m_F$, their domain, or their relation to Schur coefficients.

For clarity about the requested terminology, suppose an index domain $D$ lies in a finite-rank lattice $L$. A function $f:D\to{\mathbb{Q}}$ has a quasipolynomial description on a specified region $C\subseteq L\otimes_{{\mathbb{Z}}}{\mathbb{R}}$ if there are a finite-index sublattice $L'\subseteq L$ and polynomials $p_\gamma$, one for each $\gamma\in L/L'$, such that \[ f(x)=p_\gamma(x)\qquad \text{for }x\in D\cap C\cap(\gamma+L'). \] A piecewise-quasipolynomial chamber description supplies such descriptions on specified polyhedral regions covering the domain, with their boundaries accounted for. This explains the terminology conditionally; the record supplies neither such a lattice nor a chamber decomposition, and does not establish that such a description exists.

Research question as supplied. Characterize the multiplicity functions $m_F$ arising from Schur-positive symmetric functions, including their piecewise-quasipolynomial chamber structures and the behavior of \[ m_F(\omega_0+k\omega). \] The intended class of $F$, the definition and domain of $m_F$, the meanings of $\omega_0$ and $\omega$, and the range of $k$ are unresolved. Any specialization of this expression must specify these data and ensure that its argument belongs to the domain of $m_F$. The source also leaves unspecified whether the desired behavior concerns exact formulas, eventual quasipolynomiality, growth, or another property. Consequently, the record supports this research question but does not determine a fully quantified conjecture or theorem.

Short English statement

The question asks for a description of multiplicities associated with Schur-positive symmetric functions, their possible quasipolynomial formulas on chambers, and their behavior along expressions $\omega_0+k\omega$. The supplied record leaves the multiplicity function, index domain, parameters, and requested behavior unspecified, so a precise conjecture requires further source clarification.

Sources

• Local UnsolvedMath registry, permanent ID $30004420$, source problem code catalogue entry, title: Chamber Structures of Schur-Positive Multiplicity Functions. The supplied record belongs to the Oberwolfach Reports Open Problems collection. No individual proposer is supplied; the proposed year is recorded as 2020.
• Supplied report citation: Mini-Workshop: Kronecker, Plethysm, and Sylow Branching Coefficients and their Applications to Complexity Theory (2021), Oberwolfach Reports, pp. 517--568, DOI 10.4171/owr/2020/9. Supplied source URL and literature-source link, labeled "original OWR report": https://doi.org/10.4171/owr/2020/9. The collection describes these reports as documenting mathematical workshops and their open-problem discussions. No problem-specific page or passage is supplied.
• Literature assessment dated exactly 2026-08-22: the supplied curation labels the question open and describes it as underspecified, with no definite theorem or conjecture to verify and no general resolution identified. This is supplied dated curation, not an independently verified literature assessment. Its background explicitly requests independent verification of time-sensitive status and cited claims.
• The registry labels the statement corrected_verified and reports a manual semantic, typographic, and LaTeX review claiming self-containment and preservation of the mathematical target. These are supplied review assertions; they do not resolve the formulation gaps identified here or constitute independent mathematical verification.