English

Lattice-point generating functions for free sums of convex sets

Combinatorics 2016-06-07 v2

Abstract

Let \J\J and \K\K be convex sets in Rn\R^{n} whose affine spans intersect at a single rational point in \J\K\J \cap \K, and let \J\K=\conv(\J\K)\J \oplus \K = \conv(\J \cup \K). We give formulas for the generating function {equation*} \sigma_{\cone(\J \oplus \K)}(z_1,..., z_n, z_{n+1}) = \sum_{(m_1,..., m_n) \in t(\J \oplus \K) \cap \Z^{n}} z_1^{m_1}... z_n^{m_n} z_{n+1}^{t} {equation*} of lattice points in all integer dilates of \J\K\J \oplus \K in terms of σ\cone\J\sigma_{\cone \J} and σ\cone\K\sigma_{\cone \K}, under various conditions on \J\J and \K\K. This work is motivated by (and recovers) a product formula of B.\ Braun for the Ehrhart series of \Q\P \oplus \Q in the case where \P and \Q\Q are lattice polytopes containing the origin, one of which is reflexive. In particular, we find necessary and sufficient conditions for Braun's formula and its multivariate analogue.

Keywords

Cite

@article{arxiv.1207.0164,
  title  = {Lattice-point generating functions for free sums of convex sets},
  author = {Matthias Beck and Pallavi Jayawant and Tyrrell B. McAllister},
  journal= {arXiv preprint arXiv:1207.0164},
  year   = {2016}
}

Comments

17 pages, 2 figures, to appear in Journal of Combinatorial Theory Series A