Sufficiency of E, R, T for Generic Multiplicity Matrices

Conjecture on Sufficiency of Conditions E, R, T for Generic Tuples · arXiv:2205.09302

arXiv Informal medium confidence— first stated 2022-12-10

Authors: Noga Alon, Noah Kravitz, Kevin O'Bryant

Status solved high confidence

Ankit Bisain (arXiv:2209.13811, September 2022; published BLMS 2024) resolves the conjecture by classifying dope matrices when the entries of Λ are algebraically independent (i.e., generic), establishing that Conditions E, R, T are necessary and sufficient for an m×(n+1) matrix to be the multiplicity matrix of a polynomial with respect to a generic tuple. The paper also provides asymptotic upper and lower bounds on the total number of m×(n+1) dope matrices.

Cited literature (1)

proof Generic Classification and Asymptotic Enumeration of Dope Matrices (2022)

Ankit Bisain · Bulletin of the London Mathematical Society · arXiv:2209.13811 · doi:10.1112/blms.12924

Resolves the conjecture by classifying dope matrices when Λ is algebraically independent (generic), proving that Conditions E, R, T are necessary and sufficient for an m×(n+1) matrix to be the multiplicity matrix of some polynomial P with respect to Λ.

Reviewer notes. Bisain's paper (arXiv:2209.13811) was submitted to arXiv in September 2022, shortly after the source paper appeared in May 2022, and was published in the Bulletin of the London Mathematical Society in 2024 (doi:10.1112/blms.12924). The arXiv abstract page confirms it 'resolves a conjecture of Alon, Kravitz, and O'Bryant' by classifying dope matrices when Λ is algebraically independent; a secondary search result explicitly states that conditions E, R, T are necessary and sufficient for generic tuples, matching the conjecture exactly. The BLMS journal page returned HTTP 402 (paywall) and the PDF was binary-encoded, so the conclusion relies on the arXiv abstract and search-result descriptions.

Auto-reviewed 2026-05-15 with claude-sonnet-4-6 (web search enabled).

Informal. When $\Lambda$ is generic, Conditions E, R, and T are necessary and sufficient for an $m \times (n+1)$ matrix to be the multiplicity matrix of some polynomial $P$ with respect to $\Lambda$.

Context

Theorem 1 of the paper establishes that Conditions E, R, T are necessary and sufficient for a $2 \times (n+1)$ matrix to be a multiplicity matrix. The authors note that for $m > 2$ these three conditions are not sufficient in general (almost all matrices satisfying E, R, C for large $m = n$ are not multiplicity matrices), but conjecture sufficiency is restored when $\Lambda$ is generic. Further discussion is deferred to Section 8.

Notes. Stated in running prose in Section 3 without a labelled theorem environment; the authors write 'we conjecture that when $\Lambda$ is generic, Conditions E, R, and T are necessary and sufficient'.

Source paper

Counting Dope Matrices
Noga Alon, Noah Kravitz, Kevin O'Bryant · 2022-12-10
https://arxiv.org/abs/2205.09302 PDF source