2013
DOI: 10.1016/j.jcta.2013.03.007
|View full text |Cite
|
Sign up to set email alerts
|

Lattice-point generating functions for free sums of convex sets

Abstract: Let J and K be convex sets in R n whose affine spans intersect at a single rational point in J ∩ K, and let J ⊕ K = conv(J ∪ K). We give formulas for the generating functionof lattice points in all integer dilates of J ⊕ K in terms of σ cone J and σ cone K , under various conditions on J and K. This work is motivated by (and recovers) a product formula of B. Braun for the Ehrhart series of P ⊕Q in the case where P and Q are lattice polytopes containing the origin, one of which is reflexive.In particular, we fi… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1

Citation Types

0
22
0

Year Published

2015
2015
2019
2019

Publication Types

Select...
5
2

Relationship

0
7

Authors

Journals

citations
Cited by 18 publications
(22 citation statements)
references
References 14 publications
0
22
0
Order By: Relevance
“…, e n−1 , v 0 ) is a sum of a unique element from L 1 and a unique element from L 2 . Together, these facts mean F 0 is the affine free sum of G 1 and G 2 , as introduced in [3]. Since G 2 is a standard simplex, its normalized volume is 1; moreover, it is known that the k-dimensional standard simplex ∆ k is Gorenstein of index k + 1, that is, there exists a unique vector v ∈ Z k (namely, v = (−1, .…”
Section: Cycle Graphsmentioning
confidence: 99%
“…, e n−1 , v 0 ) is a sum of a unique element from L 1 and a unique element from L 2 . Together, these facts mean F 0 is the affine free sum of G 1 and G 2 , as introduced in [3]. Since G 2 is a standard simplex, its normalized volume is 1; moreover, it is known that the k-dimensional standard simplex ∆ k is Gorenstein of index k + 1, that is, there exists a unique vector v ∈ Z k (namely, v = (−1, .…”
Section: Cycle Graphsmentioning
confidence: 99%
“…It is straightforward to compute that the lattice points in ∆ (1,q) are the columns of the following matrix.  (1,2,2,15,20,20) .…”
Section: The Integer Decomposition Property and ∆mentioning
confidence: 99%
“…It is straightforward to verify that this point is not the sum of exactly two lattice points in ∆ (1,2,2,15,20,20) , and thus this simplex is not IDP. However, (2, 2, 15, 20, 20) satisfies our linear system.…”
Section: The Integer Decomposition Property and ∆mentioning
confidence: 99%
See 1 more Smart Citation
“…The conditions needed for Braun's formula to hold were significantly relaxed in [3], including a multivariate generalization. However, we will not need such power here.…”
mentioning
confidence: 99%