English

Combinatorially interpreting generalized Stirling numbers

Combinatorics 2014-07-24 v5 Discrete Mathematics

Abstract

Let ww be a word in alphabet {x,D}\{x,D\} with mm xx's and nn DD's. Interpreting "xx" as multiplication by xx, and "DD" as differentiation with respect to xx, the identity wf(x)=xmnkSw(k)xkDkf(x)wf(x) = x^{m-n}\sum_k S_w(k) x^k D^k f(x), valid for any smooth function f(x)f(x), defines a sequence (Sw(k))k(S_w(k))_k, the terms of which we refer to as the {\em Stirling numbers (of the second kind)} of ww. The nomenclature comes from the fact that when w=(xD)nw=(xD)^n, we have Sw(k)={nk}S_w(k)={n \brace k}, the ordinary Stirling number of the second kind. Explicit expressions for, and identities satisfied by, the Sw(k)S_w(k) have been obtained by numerous authors, and combinatorial interpretations have been presented. Here we provide a new combinatorial interpretation that retains the spirit of the familiar interpretation of {nk}{n \brace k} as a count of partitions. Specifically, we associate to each ww a quasi-threshold graph GwG_w, and we show that Sw(k)S_w(k) enumerates partitions of the vertex set of GwG_w into classes that do not span an edge of GwG_w. We also discuss some relatives of, and consequences of, our interpretation, including qq-analogs and bijections between families of labelled forests and sets of restricted partitions.

Keywords

Cite

@article{arxiv.1308.2666,
  title  = {Combinatorially interpreting generalized Stirling numbers},
  author = {John Engbers and David Galvin and Justin Hilyard},
  journal= {arXiv preprint arXiv:1308.2666},
  year   = {2014}
}

Comments

To appear in Eur. J. Combin., doi:10.1016/j.ejc.2014.07.002

R2 v1 2026-06-22T01:08:12.629Z