Abstract:For a positive integer sequence $\boldsymbol{a}=(a_1, \dots, a_{N+1})$, Sylvester's denumerant $E(\boldsymbol{a}; t)$ counts the number of nonnegative integer solutions to $\sum_{i=1}^{N+1} a_i x_i = t$ for a nonnegative integer $t$. It has been extensively studied and a well-known result asserts that $E(\boldsymbol{a}; t)$ is a quasi-polynomial in $t$ of degree $N$. A milestone is Baldoni et al.'s polynomial algorithm in 2015 for computing the top $k$ coefficients when $k$ is fixed. Their development uses heavily lattice point counting theory in computational geometry. In this paper, we explain their work in the context of algebraic combinatorics and simplify their computation. Our work is based on constant term method, Barvinok's unimodular cone decomposition, and recent results on fast computation of generalized Todd polynomials. We develop the algorithm \texttt{CT-Knapsack}, together with an implementation in \texttt{Maple}. Our algorithm avoids plenty of repeated computations and is hence faster.

Non-commutative Sylvester's determinantal identity

Yet Another Proof of Sylvester's Determinant Identity

A Determinantal Identity

A combinatorial proof of an identity involving Eulerian numbers

The Vandermonde determinant identity in higher dimension

A new determinantal formula for the classical discriminant

From Sylvester's Determinant Identity to Cramer's Rule

A New Determinantal Formula for Three Matrices

Advanced Determinant Calculus: A Complement

A duality formula between elliptic determinants

On the non-commutative Newton binomial formula

An algebraic combinatorial approach to Sylvester's denumerant

Combinatorial approach to Andrews-Gordon and Bressoud type identities

On an identity for the projection operators of automorphic forms

Sylvester's Minorant Criterion, Lagrange-Beltrami Identity, and Nonnegative Definiteness

Yay for Determinants!

A proof of Sylvester's theorem

A determinantal formula for orthosymplectic Schur functions

A Combinatorial Interpretation of the Joint Cumulant

CURIOUS IDENTITIES AND CONGRUENCES INVOLVING BERNOULLI POLYNOMIALS

Combinatorial Proofs of Capelli's and Turnbull's Identities from Classical Invariant Theory