A combinatorial correspondence for walks in Weyl chambers (Q1899073)

From MaRDI portal
scientific article
Language Label Description Also known as
English
A combinatorial correspondence for walks in Weyl chambers
scientific article

    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

    Identifiers

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