$q$-analogs of total positivity A real matrix $M$ is called totally positive if all of its minors are positive; these matrices have been extensively studied, and there are generalizations to other Lie types, for example by Lusztig.
I am interested in the following $q$-analog: a matrix $M$ with entries in $\mathbb{R}[q]$ is $q$-totally positive if all of its minors are polynomials in $q$ with positive coefficients.  I see that one other question asked about this notion in the case of the $q$-Pascal matrix. 
Has this class of matrices been studied (other than showing that particular matrices have this property)?  Is this the "right" $q$-analog of total positivity?  Is there a good Lie-theoretic definition of this class of matrices that works in other types?
 A: This is a wonderful question but unfortunately I don't think that there is a definite answer in the literature just yet. Let's look at two somewhat recent lines of research in this direction:
1) A. Sokal outlines a project of understanding what he calls coefficientwise total positivity in this research proposal (see theme #2, and also the referenced talk "Coefficientwise total positivity (via continued fractions) for some Hankel matrices of combinatorial polynomials"). His definition is identical to yours, but the only results they have are focused on Hankel type matrices, and only specific ones with various combinatorially meaningful coefficients. At the end of the talk there are a few open questions about establishing coefficientwise total positivity for some combinatorial sequences and it is mentioned that empirical observations show something stronger: not only are all minors coefficientwise positive, but their coefficients are also log-concave. I personally already take this as a hint that just asking for coefficientwise positivity might not be restrictive enough to "capture combinatorics". This brings us to the next proposal.
2) One first thought is that there is no reason to stop at just polynomials, we might as well extend to power series $\mathbb R[[q]]$ or formal Laurent series $\mathbb R((q))$. If we just focus on the simplest instance of defining the object $GL_1(\mathbb R[[q]])_{\geq 0}$, there is a classical definition of a totally positive function $a_0+a_1q+a_2q^2+\cdots$ (also called Polya frequency sequence/function) as one which satisfies the property of its associated infinite Toeplitz matrix, $\big(a_{j-i}\big)_{i,j\in \mathbb Z}$ being totally nonnegative (confusing teminology, I know). There is a rich theory around this notion, notable examples including the Edrei-Thoma classification of all such series, and the connection to the asymptotic representation of the symmetric groups.
The way I think of this is to think of the entire ring $\mathbb R[[q]]$ (or $\mathbb R((q))$) as a ring of infinite Toeplitz matrices, where $1$ corresponds to the identity and $q$ corresponds to the shift matrix. This way an arbitrary element corresponds to a Toeplitz matrix (with appropriate entries that are south-west enough being set to zero) and positivity of an element under the classical definition is the total nonnegativity of the corresponding Toeplitz matrix.
This is what allows Lam and Pylyavskyy to think of an element of $GL_n(\mathbb R((q)))$ as a matrix of matrices (aka the obvious block-Toeplitz matrix) and defining the totally nonnegative part as the elements whose associated block-Toeplitz matrix is totally nonnegative (there is also a slightly technical definition for total positivity instead of nonnegativity). The theory is spelled out in the papers "Total positivity in loop groups" I and II. The nice thing is that this q-analog of total positivity seems very promising. It shows structural similarity to the classical case: there is an analogous relation to cylindrical networks, an analogous generalization of the Edrei-Thoma theorem, the relation to Chevalley generators etc. However the generalization to other types is missing (in the first paper it is listed as "in preparation"). The authors mention that this line of thought might lead to "asymptotic cluster algebras", the same way that the classical picture of total positivity lead to the discovery of cluster algebras.
A: Here's an example of $\Bbb{R}[[q]]$-total positivity arising from specializing an instance of Schur-positivity related to the Grassmannian:
Given an ordered $k$-subset $I = \{i_1 < \dots < i_k \}$
taken from $\{1, \dots, n\}$ let $s_I$ denote the Schur function associated to the partition $\big(i_k - k, \, \dots, \, i_1 - 1 \big)$ and let $[I]$ denote the corresponding Plücker coordinate on Grassmannian $\mathrm{Gr}_{k,n}$.
The mapping $[I] \stackrel{s}{\mapsto} s_I$ extends to a ring homomorphsim from the homogeneous coordinate ring $\Bbb{C}\Big[\widehat{\mathrm{Gr}}_{k,n}\Big]$ of the (affine cone over of the) Grassmannian $\mathrm{Gr}_{k,n}$ to the ring of symmetric functions. Now take the principal specialization $x_i = q^{i-1}$ for $i\geq 1$ of the Schur functions. In this way we obtain a point $\mathrm{P}(q)$ in $\widehat{\mathrm{Gr}}_{k,n}$ with the property that
\begin{equation}
\begin{array}{ll}
\displaystyle [I](\mathrm{P}(q)) 
&\displaystyle = \, s_I \big(1,q,q^2, \dots \big) \\ \\
&\displaystyle = \,
q^{\eta(\lambda)} \, \prod_{\stackrel{\scriptstyle\mathrm{boxes}}{b \in \lambda}} \, \Big( 1 - q^{ \, \mathrm{hook}(b)} \Big)^{-1}
\end{array}
\end{equation}
the coefficients of which are clearly positive integers upon expansion
in $\Bbb{R}[[q]]$. One might say the point $\mathrm{P}(q)$ is a $\Bbb{R}[[q]]$-totally positive point of the Grassmannian.
regards, ines.
p.s. I say an instance of Schur-positivity because, conjecturally, $s(\phi)$ will be Schur-positive for any cluster variable $\phi$ generated inside $\Bbb{C}\Big[ \widehat{\mathrm{Gr}}_{k,n}\Big]$. If
the conjecture is true then $\phi(\mathrm{P}(q))$ will also be
$\Bbb{R}[[q]]$-positive.
