Log-Concavity of Codimension-Three Pure O-Sequences
For a pure O-sequence $h = (h_0, \dots, h_e)$ of codimension three and type two, is $h_i^2 \ge h_{i-1} h_{i+1}$ for every interior index $i$? The stated monomial case is proved; the broader level-Hilbert-function case remains open.