A combinatorial correspondence for walks in Weyl chambers (Q1899073)

From MaRDI portal





scientific article; zbMATH DE number 802359
Language Label Description Also known as
default for all languages
No label defined
    English
    A combinatorial correspondence for walks in Weyl chambers
    scientific article; zbMATH DE number 802359

      Statements

      A combinatorial correspondence for walks in Weyl chambers (English)
      0 references
      27 June 1996
      0 references
      Let \(t_l\) be a sequence satisfying \(t_{-l}= t_l\). Then there is a determinantal identity \[ \text{det}|t_{i- j}|= \text{det}|t_{i- j}+ t_{i+ j+ 1}|\text{det} |t_{i- j}+ t_{i+ j- 1}|, \] which can be proved using elementary row and column operations. The same ideas can be used to factor determinants of the form \(\text{det}|t_{a_i- b_j}|\). In the paper under review, these determinantal identities are given combinatorial bijective proofs in the case where \(t_l\) is the hyperbolic Bessel function \[ I_l(2x)= \sum^\infty_{k= 0} x^{2k+ l}/ k!(k+ l)!. \] A similar treatment is given in case \(t_l= (\begin{smallmatrix} k\\ k/2+ l\end{smallmatrix})\). The counting argument is based on a relation between unconstrained walks in \(W\)-inariant lattices in \(\mathbb{R}^n\), \(W\) a Weyl group, and walks that are constrained to lie in the interior of a Weyl chamber. Exponential generating functions for the constrained walk numbers are shown to be determinants of hyperbolic Bessel functions. Terms on either side of the identities are paired up using symmetries from \(W\). The details are somewhat involved. Applications of the results of this paper to representation theory are given, using a relation in some cases between the numbers of constrained walks and the weights which occur in irreducible decompositions of tensor products of representations of Lie groups.
      0 references
      determinantal identity
      0 references
      hyperbolic Bessel function
      0 references
      Weyl group
      0 references
      Weyl chamber
      0 references
      generating functions
      0 references
      constrained walk
      0 references
      tensor products of representations
      0 references
      0 references
      0 references

      Identifiers

      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references