I recently stumbled upon the following identity, valid for any real numbers $\alpha_1,\dots,\alpha_n$ and $\lambda_{n1} \leq \dots \leq \lambda_{nn}$:

$$ \mathrm{det}( e^{\alpha_i \lambda_{nj}} )_{1 \leq i,j \leq n} = V(\alpha) \int_{GT_\lambda} \exp( \sum_{i=1}^n \sum_{j=1}^i \lambda_{ij} (\alpha_{n+1-i}-\alpha_{n-i}))$$
where $V(\alpha)$ is the Vandermonde determinant
$$ V(\alpha) := \prod_{1 \leq i < j \leq n} (\alpha_j - \alpha_i),$$
$GT_\lambda$ is the Gelfand-Tsetlin polytope of tuples $(\lambda_{ij})_{1 \leq j \leq i < n}$ obeying the interlacing relations $\lambda_{i+1,j} \leq \lambda_{i,j} \leq \lambda_{i,j+1}$ and with the usual Lebesgue measure, and one has the convention $\alpha_0 := 0$.  Thus for instance when $n=1$ one has
$$ e^{\alpha_1 \lambda_{11}} = \exp( \lambda_{11} \alpha_1 )$$
when $n=2$ one has
$$ \mathrm{det} \begin{pmatrix} e^{\alpha_1 \lambda_{21}} & e^{\alpha_1 \lambda_{22}} \\ e^{\alpha_2 \lambda_{21}} & e^{\alpha_2 \lambda_{22}} \end{pmatrix} $$
$$= (\alpha_2 - \alpha_1) \int_{\lambda_{21} \leq \lambda_{11} \leq \lambda_{22}} \exp( \lambda_{11} (\alpha_1-\alpha_2) + \lambda_{21} \alpha_2 + \lambda_{22} \alpha_2 )\ d\lambda_{11}$$
and when $n=3$ one has
$$ \mathrm{det} \begin{pmatrix} e^{\alpha_1 \lambda_{31}} & e^{\alpha_1 \lambda_{32}} & e^{\alpha_1 \lambda_{33}} \\ e^{\alpha_2 \lambda_{31}} & e^{\alpha_2 \lambda_{32}} & e^{\alpha_2 \lambda_{33}} \\ e^{\alpha_3 \lambda_{31}} & e^{\alpha_3 \lambda_{32}} & e^{\alpha_3 \lambda_{33}} \end{pmatrix} $$
$$ = (\alpha_2 - \alpha_1) (\alpha_3 - \alpha_1) (\alpha_3 - \alpha_2) \int_{\lambda_{31} \leq \lambda_{21} \leq \lambda_{32}} \int_{\lambda_{32} \leq \lambda_{22} \leq \lambda_{33}} \int_{\lambda_{21} \leq \lambda_{11} \leq \lambda_{22}}$$
$$ \exp( \lambda_{11} (\alpha_3-\alpha_2) + \lambda_{21} (\alpha_2-\alpha_1) + \lambda_{22} (\alpha_2-\alpha_1) + \lambda_{31} \alpha_1 + \lambda_{32} \alpha_1 + \lambda_{33} \alpha_1)$$
$$ d \lambda_{11} d\lambda_{22} d\lambda_{21},$$
and so forth.

The identity can be proven easily by induction.  I first discovered it by starting with the Schur polynomial identity
$$ \mathrm{det}( x_j^{a_i} )_{1 \leq i,j \leq n} = V(x) \sum_T x^{|T|}$$
where $0 \leq a_1 < \dots < a_n$ are natural numbers in increasing order, $T$ ranges over column-strict Young tableaux of shape $a_n-n+1, \dots, a_2-1, a_1$ with entries in $1,\dots,n$, and $x^{|T|} := x_1^{c_1} \dots x_n^{c_n}$ where $c_i$ is the number of occurrences of $i$ in $T$, and taking a suitable "continuum limit" as the $a_i$ go to infinity and the $x_j$ go to one in a particular fashion.  It can also be derived from the [Duistermaat-Heckmann formula][1] for the Fourier transform of [Schur-Horn measure][2], combined with the fact that this measure is the pushforward of Lebesgue measure on the Gelfand-Tsetlin polytope under a certain linear map.

Note that the identity also provides an immediate proof that any $n$ distinct exponential functions on $n$ distinct real numbers are linearly independent.

I am certain that this formula already appears in the literature, and perhaps even has a standard name, but I was unable to locate it with standard searches.  So my question here is if anyone recognizes the formula and can supply a reference for it.


  [1]: https://en.wikipedia.org/wiki/Duistermaat%E2%80%93Heckman_formula
  [2]: https://en.wikipedia.org/wiki/Schur%E2%80%93Horn_theorem