Indefinite Summation and the Kronecker Delta
Loading...
No Access Until
Permanent Link(s)
Other Titles
Author(s)
Abstract
Indefinite summation, together with a generalized version of the Kronecker delta, provide a calculus for reasoning about various polynomial functions that arise in combinatorics, such as the Tutte, chromatic, flow, and reliability polynomials. In this paper we develop the algebraic properties of the indefinite summation operator and the generalized Kronecker delta from an axiomatic viewpoint. Our main result is that the axioms are equationally complete; that is, all equations that hold under the intended interpretations are derivable in the calculus.
Journal / Series
Volume & Issue
Description
Sponsorship
Date Issued
2007-10-18T17:33:14Z
Publisher
Keywords
Kronecker delta; chromatic polynomial; Moebius algebra; Tutte polynomial; indefinite summation