Total nonnegativity of GCD matrices and kernels (Q2321373)

Let \(A=(a_{ij})_{m\times n}\) over \(\mathbb{N}\) and \(A[\alpha,\beta]=(a_{ij})_{i\in \alpha,j\in \beta}\) for any subset \(\alpha\) of \(\{1,\ldots,m\}\) and \(\beta\) of \(\{1,\ldots,n\}\). The matrix \(A\) is said to be totally nonnegative if \(\det(A[\alpha,\beta])\geq 0\) for all such \(\alpha\) and \(\beta\) of same cardinality. Given a list of \(n\) positive integers \(X=(x_1,\ldots,x_n)\), the GCD matrix of \(X\) is \(S(X)=\gcd(x_i,x_j)\). Among several other characterizations involving \(S(X)\), it is proved that for \(n\geq 3\), \(S(X)\) is totally nonnegative if and only if \(S(X)\) is Green's matrix.