Skip to main content
added 715 characters in body
Source Link
darij grinberg
  • 33.8k
  • 4
  • 117
  • 253

EDIT: OOPS! The solution below is FALSE. My apologies for wasting everyone's time (particularly those among you who already were aware of Schur functions) with this scrible. I'll let it stay around because maybe this thread will one day be renamed "how not to show a certain determinant..." and maybe there is something to be learned from it.

For the record, the mistake is to claim that "multiplying $\lambda_1$, $\lambda_2$, ..., $\lambda_n$ by their common denominator $p$ is easily compensated by replacing the positive reals $y_1$, $y_2$, ..., $y_n$ by the (equally positive) reals $y_1^{1/p}$, $y_2^{1/p}$, ..., $y_n^{1/p}$". This is true for the original question, but not for the more subtle (1). Sorry again!


For the sake of pushing algebraic combinatorics (specifically Schur polynomials), let me present a different proof of the nonvanishing of the determinant in question. The idea of this proof is taken from my Jan 7, 2013 comment on the original question, but it has been tweaked to work in the general case.

For the sake of pushing algebraic combinatorics (specifically Schur polynomials), let me present a different proof of the nonvanishing of the determinant in question. The idea of this proof is taken from my Jan 7, 2013 comment on the original question, but it has been tweaked to work in the general case.

EDIT: OOPS! The solution below is FALSE. My apologies for wasting everyone's time (particularly those among you who already were aware of Schur functions) with this scrible. I'll let it stay around because maybe this thread will one day be renamed "how not to show a certain determinant..." and maybe there is something to be learned from it.

For the record, the mistake is to claim that "multiplying $\lambda_1$, $\lambda_2$, ..., $\lambda_n$ by their common denominator $p$ is easily compensated by replacing the positive reals $y_1$, $y_2$, ..., $y_n$ by the (equally positive) reals $y_1^{1/p}$, $y_2^{1/p}$, ..., $y_n^{1/p}$". This is true for the original question, but not for the more subtle (1). Sorry again!


For the sake of pushing algebraic combinatorics (specifically Schur polynomials), let me present a different proof of the nonvanishing of the determinant in question. The idea of this proof is taken from my Jan 7, 2013 comment on the original question, but it has been tweaked to work in the general case.

added 147 characters in body; added 72 characters in body
Source Link
darij grinberg
  • 33.8k
  • 4
  • 117
  • 253

Let us WLOG assume that $x_1 < x_2 < ... < x_n$$x_1 > x_2 > ... > x_n$ and $\lambda_1 > \lambda_2 > ... > \lambda_n$ (because interchanging the $x_i$ or the $\lambda_i$ boils down to row resp. column swaps on the matrix whose determinant we are concerned with).

Let us denote $y_i = e^{x_i}$ for every $i\in\left\lbrace 1,2,...,n\right\rbrace$. Then, $y_1$, $y_2$, ..., $y_n$ are $n$ positive reals satisfying $y_1 < y_2 < ... < y_n$$y_1 > y_2 > ... > y_n$, and we must prove that $\det\left(\left(y_i^{\lambda_j}\right)_{1\leq i,j\leq n}\right)\neq 0$ (since $e^{\lambda_j x_i} = \left(e^{x_i}\right)^{\lambda_j} = y_i^{\lambda_j}$ for any $i$ and $j$).

(1) $\det\left(\left(y_i^{\lambda_j}\right)_{1\leq i,j\leq n}\right) \geq \prod\limits_{1\leq i < j \leq n} \left(y_j-y_i\right) \cdot \prod\limits_{k=1}^n y_i^{\lambda_k - n + k}$$\det\left(\left(y_i^{\lambda_j}\right)_{1\leq i,j\leq n}\right) \geq \prod\limits_{1\leq i < j \leq n} \left(y_i-y_j\right) \cdot \prod\limits_{k=1}^n y_k^{\lambda_k - n + k}$.

So it remains to prove (1) for any $n$ positive reals $y_1$, $y_2$, ..., $y_n$ satisfying $y_1 < y_2 < ... < y_n$$y_1 > y_2 > ... > y_n$, and any $n$ nonnegative reals $\lambda_1$, $\lambda_2$, ..., $\lambda_n$ satisfying $\lambda_1 > \lambda_2 > ... > \lambda_n$.

Note that both sides of the inequality (1) are continuous as functions in $\lambda_1$, $\lambda_2$, ..., $\lambda_n$. Hence, we can WLOG assume that $\lambda_1$, $\lambda_2$, ..., $\lambda_n$ are nonnegative rationals (because the inequality is non-strict, and the set of strictly increasing $n$-tuples of nonnegative rationals is dense in the set of strictly increasing $n$-tuples of nonnegative reals). Assuming this, we can go further and assume WLOG that $\lambda_1$, $\lambda_2$, ..., $\lambda_n$ are nonnegative integers, because multiplying $\lambda_1$, $\lambda_2$, ..., $\lambda_n$ by their common denominator $p$ is easily compensated by replacing the positive reals $y_1$, $y_2$, ..., $y_n$ by the (equally positive) reals $y_1^{1/p}$, $y_2^{1/p}$, ..., $y_n^{1/p}$. So assume this, and let $\mu$ denote the sequence $\left(\lambda_1+n-1, \lambda_2+n-2, ..., \lambda_n+n-n\right)$. This sequence $\mu$ is a partition (in the sense of algebraic combinatorics), i. e., a finite weakly decreasing sequence of nonnegative integers.

Now, for any sequence $\kappa = \left(\kappa_1,\kappa_2,...,\kappa_n\right)$ of nonnegative integers, let $a_{\kappa}$ denote the determinant $\det\left(\left(y_i^{\kappa_j}\right)_{1\leq i,j\leq n}\right)$. Let $\rho$ be the sequence $\left(n-1,n-2,...,0\right)$. Then, $a_{\rho} = \prod\limits_{1\leq i < j \leq n} \left(y_j-y_i\right)$$a_{\rho} = \prod\limits_{1\leq i < j \leq n} \left(y_i-y_j\right)$ (by Vandermonde's determinant) while (using the notation $\mu+\rho$ for the termwise sum of the sequences $\mu$ and $\rho$) we have $a_{\mu+\rho} = \det\left(\left(y_i^{\lambda_j}\right)_{1\leq i,j\leq n}\right)$ (since $\mu+\rho$ is the sequence $\left(\lambda_1,\lambda_2,...,\lambda_n\right)$). Hence, (1) rewrites as

$a_{\mu+\rho} \geq a_{\rho} \cdot \prod\limits_{k=1}^n y_i^{\lambda_k - n + k}$$a_{\mu+\rho} \geq a_{\rho} \cdot \prod\limits_{k=1}^n y_k^{\lambda_k - n + k}$.

Since $a_{\rho} = \prod\limits_{1\leq i < j \leq n} \left(y_j-y_i\right) > 0$$a_{\rho} = \prod\limits_{1\leq i < j \leq n} \left(y_i-y_j\right) > 0$, this is equivalent to

(2) $\dfrac{a_{\mu+\rho}}{a_{\rho}} \geq \prod\limits_{k=1}^n y_i^{\lambda_k - n + k}$$\dfrac{a_{\mu+\rho}}{a_{\rho}} \geq \prod\limits_{k=1}^n y_k^{\lambda_k - n + k}$.

(3) $\dfrac{a_{\mu+\rho}}{a_{\rho}} = s_{\mu}\left(y_1,y_2,...,y_n\right) = \sum\limits_{T} \prod\limits_{k=1}^n y_i^{\text{number of }i\text{'s in }T}$$\dfrac{a_{\mu+\rho}}{a_{\rho}} = s_{\mu}\left(y_1,y_2,...,y_n\right) = \sum\limits_{T} \prod\limits_{k=1}^n y_k^{\text{number of }k\text{'s in }T}$,

where the $T$ on the right hand side runs over all semistandard (i. e., column-strict) Young tableaux of shape $\mu$ with entries in $\left\lbrace 1,2,...,n\right\rbrace$. One such tableau is obtained by filling each cell in row $k$ with the number $k$, for every $k \in \left\lbrace 1,2,...,n\right\rbrace$ (where the numbering of rows starts with $1$). This tableau contributes one addend to the sum on the right hand side of (3), and this addend is $\prod\limits_{k=1}^n y_i^{\lambda_k - n + k}$$\prod\limits_{k=1}^n y_k^{\lambda_k - n + k}$ (because the length of the $k$-th row is $\lambda_k - n + k$, and the $k$'s in the tableau are exactly the entries of the $k$-th row). Since all the other addends on the right hand side of (3) are nonnegative (being monomials in $y_1$, $y_2$, ..., $y_n$ with coefficient $1$), this yields

$\dfrac{a_{\mu+\rho}}{a_{\rho}} \geq \prod\limits_{k=1}^n y_i^{\lambda_k - n + k}$$\dfrac{a_{\mu+\rho}}{a_{\rho}} \geq \prod\limits_{k=1}^n y_k^{\lambda_k - n + k}$.

Let us WLOG assume that $x_1 < x_2 < ... < x_n$ and $\lambda_1 > \lambda_2 > ... > \lambda_n$ (because interchanging the $x_i$ or the $\lambda_i$ boils down to row resp. column swaps on the matrix whose determinant we are concerned with).

Let us denote $y_i = e^{x_i}$ for every $i\in\left\lbrace 1,2,...,n\right\rbrace$. Then, $y_1$, $y_2$, ..., $y_n$ are $n$ positive reals satisfying $y_1 < y_2 < ... < y_n$, and we must prove that $\det\left(\left(y_i^{\lambda_j}\right)_{1\leq i,j\leq n}\right)\neq 0$ (since $e^{\lambda_j x_i} = \left(e^{x_i}\right)^{\lambda_j} = y_i^{\lambda_j}$ for any $i$ and $j$).

(1) $\det\left(\left(y_i^{\lambda_j}\right)_{1\leq i,j\leq n}\right) \geq \prod\limits_{1\leq i < j \leq n} \left(y_j-y_i\right) \cdot \prod\limits_{k=1}^n y_i^{\lambda_k - n + k}$.

So it remains to prove (1) for any $n$ positive reals $y_1$, $y_2$, ..., $y_n$ satisfying $y_1 < y_2 < ... < y_n$, and any $n$ nonnegative reals $\lambda_1$, $\lambda_2$, ..., $\lambda_n$ satisfying $\lambda_1 > \lambda_2 > ... > \lambda_n$.

Note that both sides of the inequality (1) are continuous as functions in $\lambda_1$, $\lambda_2$, ..., $\lambda_n$. Hence, we can WLOG assume that $\lambda_1$, $\lambda_2$, ..., $\lambda_n$ are nonnegative rationals (because the inequality is non-strict). Assuming this, we can go further and assume WLOG that $\lambda_1$, $\lambda_2$, ..., $\lambda_n$ are nonnegative integers, because multiplying $\lambda_1$, $\lambda_2$, ..., $\lambda_n$ by their common denominator $p$ is easily compensated by replacing the positive reals $y_1$, $y_2$, ..., $y_n$ by the (equally positive) reals $y_1^{1/p}$, $y_2^{1/p}$, ..., $y_n^{1/p}$. So assume this, and let $\mu$ denote the sequence $\left(\lambda_1+n-1, \lambda_2+n-2, ..., \lambda_n+n-n\right)$. This sequence $\mu$ is a partition (in the sense of algebraic combinatorics), i. e., a finite weakly decreasing sequence of nonnegative integers.

Now, for any sequence $\kappa = \left(\kappa_1,\kappa_2,...,\kappa_n\right)$ of nonnegative integers, let $a_{\kappa}$ denote the determinant $\det\left(\left(y_i^{\kappa_j}\right)_{1\leq i,j\leq n}\right)$. Let $\rho$ be the sequence $\left(n-1,n-2,...,0\right)$. Then, $a_{\rho} = \prod\limits_{1\leq i < j \leq n} \left(y_j-y_i\right)$ (by Vandermonde's determinant) while (using the notation $\mu+\rho$ for the termwise sum of the sequences $\mu$ and $\rho$) we have $a_{\mu+\rho} = \det\left(\left(y_i^{\lambda_j}\right)_{1\leq i,j\leq n}\right)$ (since $\mu+\rho$ is the sequence $\left(\lambda_1,\lambda_2,...,\lambda_n\right)$). Hence, (1) rewrites as

$a_{\mu+\rho} \geq a_{\rho} \cdot \prod\limits_{k=1}^n y_i^{\lambda_k - n + k}$.

Since $a_{\rho} = \prod\limits_{1\leq i < j \leq n} \left(y_j-y_i\right) > 0$, this is equivalent to

(2) $\dfrac{a_{\mu+\rho}}{a_{\rho}} \geq \prod\limits_{k=1}^n y_i^{\lambda_k - n + k}$.

(3) $\dfrac{a_{\mu+\rho}}{a_{\rho}} = s_{\mu}\left(y_1,y_2,...,y_n\right) = \sum\limits_{T} \prod\limits_{k=1}^n y_i^{\text{number of }i\text{'s in }T}$,

where the $T$ on the right hand side runs over all semistandard (i. e., column-strict) Young tableaux of shape $\mu$ with entries in $\left\lbrace 1,2,...,n\right\rbrace$. One such tableau is obtained by filling each cell in row $k$ with the number $k$, for every $k \in \left\lbrace 1,2,...,n\right\rbrace$ (where the numbering of rows starts with $1$). This tableau contributes one addend to the sum on the right hand side of (3), and this addend is $\prod\limits_{k=1}^n y_i^{\lambda_k - n + k}$ (because the length of the $k$-th row is $\lambda_k - n + k$). Since all the other addends on the right hand side of (3) are nonnegative (being monomials in $y_1$, $y_2$, ..., $y_n$ with coefficient $1$), this yields

$\dfrac{a_{\mu+\rho}}{a_{\rho}} \geq \prod\limits_{k=1}^n y_i^{\lambda_k - n + k}$.

Let us WLOG assume that $x_1 > x_2 > ... > x_n$ and $\lambda_1 > \lambda_2 > ... > \lambda_n$ (because interchanging the $x_i$ or the $\lambda_i$ boils down to row resp. column swaps on the matrix whose determinant we are concerned with).

Let us denote $y_i = e^{x_i}$ for every $i\in\left\lbrace 1,2,...,n\right\rbrace$. Then, $y_1$, $y_2$, ..., $y_n$ are $n$ positive reals satisfying $y_1 > y_2 > ... > y_n$, and we must prove that $\det\left(\left(y_i^{\lambda_j}\right)_{1\leq i,j\leq n}\right)\neq 0$ (since $e^{\lambda_j x_i} = \left(e^{x_i}\right)^{\lambda_j} = y_i^{\lambda_j}$ for any $i$ and $j$).

(1) $\det\left(\left(y_i^{\lambda_j}\right)_{1\leq i,j\leq n}\right) \geq \prod\limits_{1\leq i < j \leq n} \left(y_i-y_j\right) \cdot \prod\limits_{k=1}^n y_k^{\lambda_k - n + k}$.

So it remains to prove (1) for any $n$ positive reals $y_1$, $y_2$, ..., $y_n$ satisfying $y_1 > y_2 > ... > y_n$, and any $n$ nonnegative reals $\lambda_1$, $\lambda_2$, ..., $\lambda_n$ satisfying $\lambda_1 > \lambda_2 > ... > \lambda_n$.

Note that both sides of the inequality (1) are continuous as functions in $\lambda_1$, $\lambda_2$, ..., $\lambda_n$. Hence, we can WLOG assume that $\lambda_1$, $\lambda_2$, ..., $\lambda_n$ are nonnegative rationals (because the inequality is non-strict, and the set of strictly increasing $n$-tuples of nonnegative rationals is dense in the set of strictly increasing $n$-tuples of nonnegative reals). Assuming this, we can go further and assume WLOG that $\lambda_1$, $\lambda_2$, ..., $\lambda_n$ are nonnegative integers, because multiplying $\lambda_1$, $\lambda_2$, ..., $\lambda_n$ by their common denominator $p$ is easily compensated by replacing the positive reals $y_1$, $y_2$, ..., $y_n$ by the (equally positive) reals $y_1^{1/p}$, $y_2^{1/p}$, ..., $y_n^{1/p}$. So assume this, and let $\mu$ denote the sequence $\left(\lambda_1+n-1, \lambda_2+n-2, ..., \lambda_n+n-n\right)$. This sequence $\mu$ is a partition (in the sense of algebraic combinatorics), i. e., a finite weakly decreasing sequence of nonnegative integers.

Now, for any sequence $\kappa = \left(\kappa_1,\kappa_2,...,\kappa_n\right)$ of nonnegative integers, let $a_{\kappa}$ denote the determinant $\det\left(\left(y_i^{\kappa_j}\right)_{1\leq i,j\leq n}\right)$. Let $\rho$ be the sequence $\left(n-1,n-2,...,0\right)$. Then, $a_{\rho} = \prod\limits_{1\leq i < j \leq n} \left(y_i-y_j\right)$ (by Vandermonde's determinant) while (using the notation $\mu+\rho$ for the termwise sum of the sequences $\mu$ and $\rho$) we have $a_{\mu+\rho} = \det\left(\left(y_i^{\lambda_j}\right)_{1\leq i,j\leq n}\right)$ (since $\mu+\rho$ is the sequence $\left(\lambda_1,\lambda_2,...,\lambda_n\right)$). Hence, (1) rewrites as

$a_{\mu+\rho} \geq a_{\rho} \cdot \prod\limits_{k=1}^n y_k^{\lambda_k - n + k}$.

Since $a_{\rho} = \prod\limits_{1\leq i < j \leq n} \left(y_i-y_j\right) > 0$, this is equivalent to

(2) $\dfrac{a_{\mu+\rho}}{a_{\rho}} \geq \prod\limits_{k=1}^n y_k^{\lambda_k - n + k}$.

(3) $\dfrac{a_{\mu+\rho}}{a_{\rho}} = s_{\mu}\left(y_1,y_2,...,y_n\right) = \sum\limits_{T} \prod\limits_{k=1}^n y_k^{\text{number of }k\text{'s in }T}$,

where the $T$ on the right hand side runs over all semistandard (i. e., column-strict) Young tableaux of shape $\mu$ with entries in $\left\lbrace 1,2,...,n\right\rbrace$. One such tableau is obtained by filling each cell in row $k$ with the number $k$, for every $k \in \left\lbrace 1,2,...,n\right\rbrace$ (where the numbering of rows starts with $1$). This tableau contributes one addend to the sum on the right hand side of (3), and this addend is $\prod\limits_{k=1}^n y_k^{\lambda_k - n + k}$ (because the length of the $k$-th row is $\lambda_k - n + k$, and the $k$'s in the tableau are exactly the entries of the $k$-th row). Since all the other addends on the right hand side of (3) are nonnegative (being monomials in $y_1$, $y_2$, ..., $y_n$ with coefficient $1$), this yields

$\dfrac{a_{\mu+\rho}}{a_{\rho}} \geq \prod\limits_{k=1}^n y_k^{\lambda_k - n + k}$.

Source Link
darij grinberg
  • 33.8k
  • 4
  • 117
  • 253

For the sake of pushing algebraic combinatorics (specifically Schur polynomials), let me present a different proof of the nonvanishing of the determinant in question. The idea of this proof is taken from my Jan 7, 2013 comment on the original question, but it has been tweaked to work in the general case.

We want to prove that $\det\left(\left(e^{\lambda_j x_i}\right)_{1\leq i,j\leq n}\right)\neq 0$ for any $n$ distinct reals $x_1$, $x_2$, ..., $x_n$ and any $n$ distinct reals $\lambda_1$, $\lambda_2$, ..., $\lambda_n$.

Let us WLOG assume that $x_1 < x_2 < ... < x_n$ and $\lambda_1 > \lambda_2 > ... > \lambda_n$ (because interchanging the $x_i$ or the $\lambda_i$ boils down to row resp. column swaps on the matrix whose determinant we are concerned with).

Let us denote $y_i = e^{x_i}$ for every $i\in\left\lbrace 1,2,...,n\right\rbrace$. Then, $y_1$, $y_2$, ..., $y_n$ are $n$ positive reals satisfying $y_1 < y_2 < ... < y_n$, and we must prove that $\det\left(\left(y_i^{\lambda_j}\right)_{1\leq i,j\leq n}\right)\neq 0$ (since $e^{\lambda_j x_i} = \left(e^{x_i}\right)^{\lambda_j} = y_i^{\lambda_j}$ for any $i$ and $j$).

We can WLOG assume that $\lambda_1$, $\lambda_2$, ..., $\lambda_n$ are all nonnegative, since we could replace the whole $n$-tuple $\left(\lambda_1,\lambda_2,...,\lambda_n\right)$ by $\left(\lambda_1+m,\lambda_2+m,...,\lambda_n+m\right)$ for a sufficiently large real $m$ without changing much about our determinant (namely, the determinant would merely gain a multiplicative factor of $y_1^m y_2^m ... y_n^m$). So assume this.

We will actually prove that

(1) $\det\left(\left(y_i^{\lambda_j}\right)_{1\leq i,j\leq n}\right) \geq \prod\limits_{1\leq i < j \leq n} \left(y_j-y_i\right) \cdot \prod\limits_{k=1}^n y_i^{\lambda_k - n + k}$.

Once this is proven, it will follow that $\det\left(\left(y_i^{\lambda_j}\right)_{1\leq i,j\leq n}\right) > 0$ (because the right hand side of (1) is positive) and thus $\det\left(\left(y_i^{\lambda_j}\right)_{1\leq i,j\leq n}\right) \neq 0$, which is exactly what we need to prove.

So it remains to prove (1) for any $n$ positive reals $y_1$, $y_2$, ..., $y_n$ satisfying $y_1 < y_2 < ... < y_n$, and any $n$ nonnegative reals $\lambda_1$, $\lambda_2$, ..., $\lambda_n$ satisfying $\lambda_1 > \lambda_2 > ... > \lambda_n$.

Note that both sides of the inequality (1) are continuous as functions in $\lambda_1$, $\lambda_2$, ..., $\lambda_n$. Hence, we can WLOG assume that $\lambda_1$, $\lambda_2$, ..., $\lambda_n$ are nonnegative rationals (because the inequality is non-strict). Assuming this, we can go further and assume WLOG that $\lambda_1$, $\lambda_2$, ..., $\lambda_n$ are nonnegative integers, because multiplying $\lambda_1$, $\lambda_2$, ..., $\lambda_n$ by their common denominator $p$ is easily compensated by replacing the positive reals $y_1$, $y_2$, ..., $y_n$ by the (equally positive) reals $y_1^{1/p}$, $y_2^{1/p}$, ..., $y_n^{1/p}$. So assume this, and let $\mu$ denote the sequence $\left(\lambda_1+n-1, \lambda_2+n-2, ..., \lambda_n+n-n\right)$. This sequence $\mu$ is a partition (in the sense of algebraic combinatorics), i. e., a finite weakly decreasing sequence of nonnegative integers.

Now, for any sequence $\kappa = \left(\kappa_1,\kappa_2,...,\kappa_n\right)$ of nonnegative integers, let $a_{\kappa}$ denote the determinant $\det\left(\left(y_i^{\kappa_j}\right)_{1\leq i,j\leq n}\right)$. Let $\rho$ be the sequence $\left(n-1,n-2,...,0\right)$. Then, $a_{\rho} = \prod\limits_{1\leq i < j \leq n} \left(y_j-y_i\right)$ (by Vandermonde's determinant) while (using the notation $\mu+\rho$ for the termwise sum of the sequences $\mu$ and $\rho$) we have $a_{\mu+\rho} = \det\left(\left(y_i^{\lambda_j}\right)_{1\leq i,j\leq n}\right)$ (since $\mu+\rho$ is the sequence $\left(\lambda_1,\lambda_2,...,\lambda_n\right)$). Hence, (1) rewrites as

$a_{\mu+\rho} \geq a_{\rho} \cdot \prod\limits_{k=1}^n y_i^{\lambda_k - n + k}$.

Since $a_{\rho} = \prod\limits_{1\leq i < j \leq n} \left(y_j-y_i\right) > 0$, this is equivalent to

(2) $\dfrac{a_{\mu+\rho}}{a_{\rho}} \geq \prod\limits_{k=1}^n y_i^{\lambda_k - n + k}$.

But it is known (e. g., Corollary 2.37 in Victor Reiner, Hopf algebras in combinatorics) that $\dfrac{a_{\mu+\rho}}{a_{\rho}}$ equals the Schur polynomial $s_{\mu}$ evaluated at $\left(y_1,y_2,...,y_n\right)$. Thus,

(3) $\dfrac{a_{\mu+\rho}}{a_{\rho}} = s_{\mu}\left(y_1,y_2,...,y_n\right) = \sum\limits_{T} \prod\limits_{k=1}^n y_i^{\text{number of }i\text{'s in }T}$,

where the $T$ on the right hand side runs over all semistandard (i. e., column-strict) Young tableaux of shape $\mu$ with entries in $\left\lbrace 1,2,...,n\right\rbrace$. One such tableau is obtained by filling each cell in row $k$ with the number $k$, for every $k \in \left\lbrace 1,2,...,n\right\rbrace$ (where the numbering of rows starts with $1$). This tableau contributes one addend to the sum on the right hand side of (3), and this addend is $\prod\limits_{k=1}^n y_i^{\lambda_k - n + k}$ (because the length of the $k$-th row is $\lambda_k - n + k$). Since all the other addends on the right hand side of (3) are nonnegative (being monomials in $y_1$, $y_2$, ..., $y_n$ with coefficient $1$), this yields

$\dfrac{a_{\mu+\rho}}{a_{\rho}} \geq \prod\limits_{k=1}^n y_i^{\lambda_k - n + k}$.

But this is exactly (2). Since we know that (2) is equivalent to (1), this completes the proof of (1), and thus solves the problem.

Remark: Why did we take the detour through (1) rather than confine ourselves to proving the (weaker but sufficient) inequality

(4) $\det\left(\left(y_i^{\lambda_j}\right)_{1\leq i,j\leq n}\right) > 0$ ?

Because (1) is a non-strict inequality, whereas (4) is strict. When proving a strict inequality, it is not enough to prove it on a dense subset of its domain, even if it is continuous; for example, Vasile Cîrtoaje's brainteaser $\left(x^2+y^2+z^2\right)^2\geq 3\left(x^3y+y^3z+z^3x\right)$ (an inequality holding for all $x,y,z\in \mathbb R$) attains its equality at $x=y=z$ but also at $x:y:z=\sin^2\dfrac{4\pi}{7}:\sin^2\dfrac{2\pi}{7}:\sin^2\dfrac{\pi}{7}$, an equality condition invisible when one restricts oneself to the dense subset of rationals.