17
$\begingroup$

While playing around with the MO question Determinant with factorials is not 0? about a determinant of the Hankel matrix of entries $(i+j-2)!$, having the value $\prod_{k=0}^{n-1}k!^2$, I stumbled on the following.

A permutation $\pi\in\mathfrak{S}_n$ is called a derangement if it has no fixed points. Let $d_n$ be the number of derangement permutations in $\mathfrak{S}_n$ which may be presented by the formula $$d_n=n!\sum_{k=0}^n\frac{(-1)^k}{k!}.$$

QUESTION. It appears that we have $\det((i+j-2)!)=\det(d_{i+j-2})$. Why? Why not?

$\endgroup$
3
  • $\begingroup$ When I saw the title, I thought right away: that could be of you :) $\endgroup$
    – Wolfgang
    Commented Aug 6, 2022 at 20:59
  • $\begingroup$ I wonder why? :-) $\endgroup$ Commented Aug 6, 2022 at 21:13
  • 13
    $\begingroup$ Could it be that Hankel determinants are invariant under binomial transforms? $\endgroup$
    – orangeskid
    Commented Aug 6, 2022 at 21:55

1 Answer 1

21
$\begingroup$

Orangeskid's guess is correct: a more general fact holds that the binomial transform preserves Hankel determinants.

For a matrix $(a_{ij})$ (it is convenient to enumerate rows and columns from 0,not from 1) denote $$b_{ij}=\sum_{k, s}{i\choose k}{j\choose s}a_{ks}.$$ This matrix transform corresponds to a left and right multiplicaton by unitriangular matrices, thus it preserves determinant. Now if $a_{ij}=f(i+j)$ is a Hankel matrix, then $$b_{ij}=\sum_t f(t)\sum_{k+s=t} {i\choose k}{j\choose s}=\sum_tf(t){i+j\choose t}$$ is a Hankel matrix corresponding to the binomial transform of $f$.

It remains to recall that $n! =\sum_k {n\choose k} d_k$ (combinatorially ${n\choose k} d_k$ counts the number of permutations of $\{1,\ldots, n\}$ with exactly $n-k$ fixed points, thus this formula), that means that the sequence of factorials is the binomial transform of the sequence of dearrangements.

$\endgroup$
2
  • 2
    $\begingroup$ And now take $f(t)=d_{t+1}$, use $n!=\sum_kd_k\binom nk$. $\endgroup$ Commented Aug 8, 2022 at 6:26
  • $\begingroup$ @DenisSerre $f(t)=d_t$ in my notations. I added this. $\endgroup$ Commented Aug 8, 2022 at 10:15

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .