Current browse context:
math.CO
Change to browse by:
References & Citations
Mathematics > Combinatorics
Title: Presburger arithmetic, rational generating functions, and quasi-polynomials
(Submitted on 31 Oct 2012 (v1), last revised 6 Jan 2015 (this version, v2))
Abstract: Presburger arithmetic is the first-order theory of the natural numbers with addition (but no multiplication). We characterize sets that can be defined by a Presburger formula as exactly the sets whose characteristic functions can be represented by rational generating functions; a geometric characterization of such sets is also given. In addition, if p=(p_1,...,p_n) are a subset of the free variables in a Presburger formula, we can define a counting function g(p) to be the number of solutions to the formula, for a given p. We show that every counting function obtained in this way may be represented as, equivalently, either a piecewise quasi-polynomial or a rational generating function. Finally, we translate known computational complexity results into this setting and discuss open directions.
Submission history
From: Kevin Woods [view email][v1] Wed, 31 Oct 2012 20:16:16 GMT (34kb)
[v2] Tue, 6 Jan 2015 14:38:57 GMT (94kb)
Link back to: arXiv, form interface, contact.