The \(g\)-theorem matrices are totally nonnegative (Q1024373)

Let \(M_d\) be the matrix whose \((i,j)\)-entry for \(0 \leq i \leq \lfloor d/2 \rfloor\) and \(0 \leq j \leq d\) is \[ \binom{d+1-i}{d+1-j} - \binom{i}{d+1-j}. \] For a simplicial \(d\)-polytope with \(f\)-vector \((f_{-1},f_0,\ldots,f_{d-1})\), its \(g\)-vector \((g_0,\ldots,g_{\lfloor d/2 \rfloor})\) is such that \(f = gM_d\). \textit{A. Björner} [Pure Appl. Math. Q. 3, No. 1, 347--356 (2007; Zbl 1144.52009)] showed that the \(2 \times 2\) minors of \(M_d\) are non-negative, and conjectured that the same was true of all its minors. In this note, the authors prove the conjecture by associating the minors with certain weighted planar directed graphs.