---
title: Recursive Formula for Binomial Determinants
url: https://www.emergentmind.com/topics/recursive-formula-for-binomial-determinants
type: topic
---

# Recursive Formula for Binomial Determinants

A recursive formula for binomial determinants describes the relations satisfied by a family of determinants formed from binomial coefficients, where the determinants themselves satisfy explicit recurrences. A notable instance is Andrews’s determinant, which arose in the study of descending plane partitions and the enumeration of cyclically symmetric rhombus tilings of a hexagon with holes. The evaluation of such determinants involves algebraic, combinatorial, and determinant-theoretic techniques, especially leveraging the Desnanot–Jacobi–Dodgson (DJD) identity to obtain recursive structures and closed-form expressions [1709.02616].

## 1. Definition and Family of Binomial Determinants

Let $\mu$ be an indeterminate. For integers $n \geq 1$, $s$, and $t$, define the two-parameter family of determinants:
\[
D_{s,t}(n;\mu) = \det_{1 \leq i,j \leq n}\bigg( \binom{\mu + i + j + s + t - 2}{j + t - 1} + \delta_{i+s,\, j+t} \bigg)
\]
where $\delta_{a,b}$ denotes the Kronecker delta, which is $1$ if $a=b$ and $0$ otherwise. The determinant $D(n) \equiv D_{1,1}(n;\mu)$ is referred to as Andrews’s "curious" determinant. This family encompasses several subfamilies, each encoding enumeration problems in algebraic combinatorics, notably the enumeration of tilings of certain hexagonal regions.

## 2. Recurrence Relation via Desnanot–Jacobi–Dodgson Identity

A central structure is the two-term recurrence derived from the Desnanot–Jacobi–Dodgson (DJD) identity. Utilizing notational abbreviations:
\[
M_{s,t}(n) = D_{s,t}(n;\mu), \quad R_{s,t}(n) = \frac{M_{s,t}(n+1)}{M_{s,t}(n)}
\]
The DJD identity states:
\[
M_{0,0}(n+1)\,M_{1,1}(n-1) = M_{0,0}(n)\,M_{1,1}(n) - M_{1,0}(n)\,M_{0,1}(n)
\]
Dividing through by $M_{0,0}(n)$ and isolating $D_{1,1}(n)$ yields:
\[
D_{1,1}(n) = R_{0,0}(n) D_{1,1}(n-1) + \frac{D_{1,0}(n) D_{0,1}(n)}{D_{0,0}(n)}
\]
This recursive equation encapsulates the structure of the sequence of binomial determinants and forms the backbone for their explicit evaluation [1709.02616, Sec. 4, eqn. (**)].

## 3. Initial Data and Parity-Based Simplifications

The recursion requires specification of initial terms. Direct computation yields:
\[
D_{1,1}(1) = \binom{\mu+2}{1} + 1 = \mu + 3
\]
\[
D_{1,1}(2) = (\mu + 3)(\mu + 4)
\]
A crucial structural simplification arises from parity considerations. Specifically,
\[
D_{1,0}(n) = D_{0,1}(n) = 0 \quad \text{for all even } n
\]
For odd $n=2k+1$,
\[
D_{1,0}(2k+1) = \prod_{i=1}^k R_{1,0}(i), \qquad D_{0,1}(2k+1) = \prod_{i=1}^k R_{0,1}(i)
\]
Thus, the recursion specializes as follows:

| Parity of $n$    | Structure of $D_{1,1}(n)$                                                                                            |
|------------------|----------------------------------------------------------------------------------------------------------------------|
| Even ($n=2m$)    | $D_{1,1}(n) = R_{0,0}(n)\, D_{1,1}(n-1)$                                                                              |
| Odd ($n=2k+1$)   | $D_{1,1}(n) = R_{0,0}(n)\, D_{1,1}(n-1) + \prod_{i=1}^k R_{1,0}(i)\prod_{i=1}^k R_{0,1}(i)$                            |

This dichotomy, demonstrated through Lemmas 3–4 in the cited work, drastically constrains the structure of the determinant sequences.

## 4. Derivation via Desnanot–Jacobi–Dodgson Identity

The recurrence emerges from the DJD identity as applied to infinite bi-indexed matrices of binomial coefficients with a Kronecker delta correction:
\[
M_{s,t}[i,j] = \binom{\mu + i + j + s + t - 2}{j + t - 1} + \delta_{i+s,\, j+t}
\]
The DJD identity for such matrices can be synthesized as:
\[
\det M_{s,t}(n)\cdot \det M_{s+1,t+1}(n-2) = \det M_{s,t}(n-1)\cdot \det M_{s+1,t+1}(n-1) - \det M_{s,t+1}(n-1)\cdot \det M_{s+1,t}(n-1)
\]
Specializing to $(s,t) = (0,0)$ yields the precise two-term relation for the determinants $D_{1,1}(n)$, $D_{1,0}(n)$, $D_{0,1}(n)$, and $D_{0,0}(n)$. This recurrence, coupled with the initial conditions and even/odd behavior, uniquely determines all $D_{1,1}(n)$.

## 5. Closed-Form ("Single-Sum") Solution

By iterated unrolling of the recurrence and further application of DJD, a closed-form (single-sum) formula for $D_{1,1}(n)$ is provided [1709.02616, Thm. 13]. Let $m = \lfloor n/2 \rfloor$. Then:
- For $n=2m+1$ odd,
\[
D_{1,1}(2m+1) = \sum_{k=0}^m
\frac{(\mu-2)!}{4\,(\mu-2)!}
\frac{(\mu+4k)!}{(2k-1)!\,(2k)!}
\prod_{j=1}^{k} \frac{(\mu+2j+1)(\mu+2j+3)}{(2j-1)(2j+1)}
\cdot \prod_{i=1}^{m}R_{0,0}(i)
\]
- For $n=2m$ even,
\[
D_{1,1}(2m) = \sum_{k=0}^{m-1}
\frac{(\mu-2)!}{4\,(\mu-2)!}
\frac{(\mu+4k+2)!}{(2k)!\,(2k+1)!}
\prod_{j=1}^{k} \frac{(\mu+2j)(\mu+2j+4)}{(2j)(2j+2)}
\cdot \prod_{i=1}^{m} R_{0,0}(i)
\]
This closed form is verified to satisfy the two-term recurrence and the requisite initial data.

## 6. Combinatorial Context and Significance

The determinants $D_{1,1}(n;\mu)$, as originally considered by Andrews, enumerate combinatorial objects—specifically, descending plane partitions and cyclically symmetric rhombus tilings of hexagons with triangular holes. The recursive evaluation and closed forms facilitate the enumeration of such tilings, resolving longstanding enumeration challenges. More broadly, the family $D_{s,t}(n;\mu)$ and its recursions, as analyzed by Fischer and collaborators, provide a framework for the algebraic study of tiling functions, with proofs leveraging holonomic and automated methods [1709.02616].

## 7. Broader Impact and Related Methodologies

The recursive structure provided by the DJD identity exemplifies the utility of classical determinant identities in modern combinatorics and discrete algebra. Extensions of the holonomic ansatz approach, as used in the evaluation of these binomial determinants, have wider applicability in the systematic proof and discovery of closed forms for combinatorial sums and determinants. The results connect to areas such as enumeration of plane partitions, alternating sign matrices, and symmetric tiling problems, thereby constituting a canonical example of the algebraic–combinatorial interface [1709.02616].

Source: https://www.emergentmind.com/topics/recursive-formula-for-binomial-determinants