arxiv: v1 [math.co] 30 Sep 2017

Transcription

1 LAPLACIAN SIMPLICES ASSOCIATED TO DIGRAPHS GABRIELE BALLETTI, TAKAYUKI HIBI, MARIE MEYER, AND AKIYOSHI TSUCHIYA arxiv:70.005v [math.co] 0 Sep 07 Abstract. We associate to a finite digraph D a lattice polytope P D whose vertices are the rows of the Laplacian matrix of D. This generalizes a construction introduced by Braun and the third author. As a consequence of the Matrix-Tree Theorem, we show that the normalized volume of P D equals the complexity of D, and P D contains the origin in its relative interior if and only if D is strongly connected. Interesting connections with other families of simplices are established and then used to describe reflexivity, h -polynomial, and integer decomposition property of P D in these cases. We extend Braun and Meyer s study of cycles by considering cycle digraphs. In this setting we characterize reflexivity and show there are only four non-trivial reflexive Laplacian simplices having the integer decomposition property.. Introduction The use of linear algebra to study properties of graphs is an established technique in combinatorics and consequently has led to the development of the so called spectral graph theory. There is an extensive literature on algebraic aspects of spectral graph theory and on how combinatorial properties are encoded in characteristic polynomials, eigenvalues and eigenvectors of adjacency or Laplacian matrices of graphs (see [7] for a survey). It is tempting to take a step forward and associate a polytope P G to any graph G, by interpreting the rows of a matrix encoding the data of G as the vertices of P G. This is the case of the edge polytope [5, 0], the convex hull of the rows of the unsigned vertex-edge incidence matrix of a graph, whose geometric and combinatorial properties have been extensively studied in the last two decades (see e.g. [, 9]), and used to build counterexamples []. Recently the third author and Braun [5] took a similar direction by associating to any graph G the simplex T G (called the Laplacian simplex) whose vertices are the rows of the Laplacian matrix of G. They established basic properties of T G and study reflexivity, the integer decomposition property, and unimodality of the Ehrhart h -vectors of T G for some special classes of graph. Our contribution is to provide a more general setting for the investigation on Laplacian simplices. We do this by allowing G to be a directed multigraph. In this way the objects studied in [5] can be seen as a special case of our setting (see Remark ). We have reasons to believe this generalization is the correct direction to take. Indeed, in the undirected and simple case, the origin of a Laplacian simplex coincides with the barycenter of its vertices, which is an uncommon property for a lattice simplex. In our setting, it is clarified (Proposition 5 and Corollary 6) that this happens only for special digraphs, i.e. they need to be strongly connected and have the same number of spanning trees converging to each vertex. Moreover, in the original settings the volume of a Laplacian simplex associated to a graph with n vertices equals n times the number of spanning trees of the graph G. Extending to digraphs, it turns out (Proposition 7) that the factor n appears because in the undirected case each vertex has the same number of spanning trees converging to it. Main results and organization of the paper. In Section we set notation, basic definitions and prove the first important properties of Laplacian simplices in this new settings. In particular, we prove that the Laplacian simplex P D associated to a digraph D with n vertices, satisfies the following properties. () P D is a (n )-simplex if and only if D has positive complexity, i.e. if D has at least a spanning converging tree (Proposition ). Now assume that D has positive complexity. 00 Mathematics Subject Classification. Primary: 5B0; Secondary: 05C0. Key words and phrases. Lattice polytope, Laplacian simplex, Laplacian of a digraph, spanning tree, Matrix-Tree Theorem.

2 G. BALLETTI, T. HIBI, M. MEYER, AND A. TSUCHIYA () The numbers of spanning trees converging to each of the vertices of D encode the barycentric coordinates of the origin with respect to the vertices of P D (Proposition 5). () P D contains the origin 0, which is in the strict relative interior of P D if and only if D is strongly connected (Corollary 6). () The normalized volume of P D equals the total complexity of D, i.e. the total number of spanning converging trees (Proposition 7). In Section, moreover we prove that, under some assumptions on D, P D is equivalent to the simplex associated to a weighted projective space (Proposition 8). Under even more restrictive assumptions, P D is equivalent to one of the (,q) simplices described in []. In such cases, we use this equivalence to characterize reflexivity (Corollary 0), describe the Ehrhart h -polynomial, and the integer decomposition property of P D in terms of the spanning converging trees of D. In Section we use these descriptions to extend the study of cycle graphs of Braun Meyer [5] to cycle digraphs, i.e. strongly connected simple digraphs whose underlying graph is a cycle (see Definition 6). We prove the following results. () In Proposition we prove that a Laplacian simplex associated to a simple digraph has at most one interior lattice point. In particular, Laplacian simplices associated to cycle digraphs have exactly one interior point. () In Theorem 7 we prove that the Laplacian simplices P D associated to a cycle digraph is terminal Fano, i.e. it contains no lattice points other than the origin and its vertices, unless D is one of the following six digraphs. () In Theorem 8 we characterize the reflexivity of P D in terms of combinatorial properties of the cycle digraph D. () In Theorem 9 we prove that a reflexive Laplacian simplex P D has the integer decomposition property if and only if D is the oriented cycle n n for any n, or one of the following four exceptional digraphs. (5) In Theorem 0 we construct a family of reflexive Laplacian simplices with symmetric but non-unimodal h -vector (,...,,,...,,,...,,,...,,,...,,,...,,,..., ). In the final Section 5 we try to understand how the structure of the underlying simple and undirected graph of a digraph affects the reflexivity of its Laplacian polytope. In particular we show that there is a graph which is not the underlying graph of any simple directed graph whose Laplacian simplex is reflexive. A more general version of this problem (Question C) remains open. Acknowledgments The authors would like to thank Benjamin Braun for helpful comments. The project started during the Workshop on Convex Polytopes for Graduate Students at Osaka University. The first author is partially supported by the Vetenskapsrådet grant NT:0-99. The fourth author is partially supported by Grant-in-Aid for JSPS Fellows 6J059.

3 LAPLACIAN SIMPLICES ASSOCIATED TO DIGRAPHS. The Laplacian Polytope Construction and properties of Laplacian simplices.. The Laplacian of a digraph. Let D be a finite directed graph (digraph) on the vertex set V (D) = [n], where [n] := {,..., n}. Let E(D) be the set of the directed edges of D. A directed edge e = (i, j) E(D) points from a vertex i (called the tail of e) to another vertex j (called the head of e). Multiple directed edges between vertices are allowed, and we denote by a i,j the number of directed edges having tail on the vertex i and head on the vertex j of D, with i, j [n] and i j. Since loops do not affect the Laplacian matrix, we assume D to be without loops, and thus a i,i = 0 for all i [n]. The number of edges with vertex i as a tail is called the outdegree of i and is denoted by outdeg(i), while the number of edges with vertex i as a head is called the indegree of i and is denoted by indeg(i). We call D strongly connected if it contains a directed path from i to j for every pair of vertices i, j [n] and weakly connected if there exists a path (not necessarily directed) between i and j for every pair of vertices i, j [n]. In this paper we assume D has no isolated vertices, i.e. vertices with indegree and outdegree equal to zero. A converging tree is a weakly connected digraph having one vertex with outdegree zero, called the root of the tree, while all other vertices have outdegree one. We say that a subgraph D of D is spanning if the vertex set of D is [n]. All the data of D can be encoded in the adjacency matrix of D, that is, the n n matrix A(D) := (a i,j ) i,j n. We define the outdegree matrix of D to be O(D) := (d i,j ) i,j n, the n n matrix with d i,j = outdeg(i), if i = j, and d i,j = 0 otherwise. We define the Laplacian matrix of D to be the matrix L(D) := O(D) A(D). Observe the sum of the entries of each row of L(D) is zero. Thus the rank of the Laplacian matrix is never maximal, i.e. () rk(l(d)) n. A combinatorial interpretation for having equality in () is given by the Matrix-Tree Theorem, which is presented here in its generalized version for digraphs. The interpretation is given in terms of spanning converging trees of D. For any i [n], we denote by c i the number of spanning trees which converge to i, i.e. the converging trees of D with n vertices having i as the root. We denote by c(d) the total number of converging spanning trees of D, i.e. c(d) := n i= c i. The number c(d) is usually referred to as the complexity of the digraph D. Theorem (Matrix-Tree Theorem [8, Theorem 5.6.]). Let D be a digraph without loops on the vertex set [n]. Let i, j [n], and L(D) i,j the matrix obtained from L(D) by removing its i-th row and j-th column. Then the determinant of L(D) i,j equals, up to a change of sign, the number of spanning trees of D converging to i, i.e. In particular the complexity of D is ( ) i+j det L(D) i,j = det L(D) i,i = c i. c(d) = det L(D) i,i. i=.. The Laplacian polytope associated to a digraph. Let D be a digraph on the vertex set [n]. To D we associate a convex polytope in R n having vertices in the integer lattice Z n. We call the Laplacian polytope associated to D the polytope P D := conv({v,..., v n }) R n, where v i is the i-th row of the Laplacian matrix of D. The polytope P D is not full dimensional; since the sum of the entries in each row of L(D) vanishes, P D is contained in the hyperplane H := {x = (x,..., x n ) : n i= x i = 0} of R n. In particular, the dimension of the Laplacian polytope, dim(p D ), equals the rank of the Laplacian matrix L(D). When the rank of L(D) is equal to n, then P D is a simplex, called the Laplacian simplex associated to D. Remark. The Laplacian simplex in this context is a generalization of the Laplacian simplex introduced by Braun-Meyer in [5]. For a connected simple graph G, they define the simplex T G as the convex hull of the rows of the graph Laplacian matrix of G. The Laplacian L(G) of G can be interpreted as the Laplacian of a digraph D G, and thus the resulting simplices are equal, that is, T G = P DG.

4 G. BALLETTI, T. HIBI, M. MEYER, AND A. TSUCHIYA Two lattice polytopes P, Q R n are said to be unimodularly equivalent if there exists an affine lattice automorphism ϕ GL n (Z) Z n of Z n such that ϕ R (P ) = Q. Sometimes it is convenient to work with full dimensional lattice polytopes, i.e. lattice polytopes embedded in a space of their same dimension. Given a Laplacian simplex P D, one can easily get a full dimensional unimodularly equivalent copy of P D by considering the lattice polytope defined as the convex hull of the rows of L(D) with one column deleted. An example of this can be observed in Example. Example. Let D be the following digraph with its Laplacian matrix L(D). 0 L(D) = 0 Note that L(D) has rank two, which means P D is a two dimensional simplex in R. Full dimensional unimodularly equivalent copies of P D can be obtained by deleting any of the columns of L(D) and considering the convex hull of the rows as in Figure. Figure. Three unimodularly equivalent full dimensional copies of P D obtained by deleting the first, second, and third columns of L(D), respectively... Properties of Laplacian simplices. From the Matrix-Tree Theorem (Theorem ) the following characterization can be immediately obtained. Proposition. Let D be a digraph on n vertices. The following are equivalent:. D has positive complexity c(d);. rk(l(d)) = n ;. P D is an (n )-simplex. Following the work of Braun-Meyer [5], we focus our attention to the case in which a digraph D on n vertices defines an (n )-simplex. Proposition asserts we will always assume the digraph D has positive complexity. As another consequence of Theorem, we deduce the following result. Proposition 5. Let D a digraph with positive complexity. Then the numbers of spanning converging trees c,..., c n of D encode the unique linear dependence among the vertices v,..., v n of P D, i.e. c i v i = 0. i= Proof. Since the determinant of L(D) is zero, the Laplace expansion along the j-th column of L(D) yields n i= ( )i+j det L(D) i,j v i,j = 0, where L(D) i,j is the matrix of L(D) obtained by removing the i-th row and j-th column of L(D), and v i,j is the j-th entry of v i. By Theorem, det L(D) i,i = c i. Corollary 6. Let D be a digraph on n vertices having positive complexity. Then 0 P D. Moreover 0 is an interior point of P D if and only if D is strongly connected. Proof. The first statement is a direct consequence of Proposition 5. For the second it is enough to note that D is strongly connected if and only if each vertex has at least one spanning converging tree.

5 LAPLACIAN SIMPLICES ASSOCIATED TO DIGRAPHS 5 In this setting we prove a formula for the normalized volume of P D. If a polytope P is n- dimensional, its normalized volume Vol(P ) is defined to be n! times the Euclidean volume of P. Proposition 7. Let D be a digraph with positive complexity. Then its normalized volume equals the complexity of D, i.e. Vol(P D ) = c(d), Proof. In this case P D is a (n )-simplex by Proposition. For i =,..., n, we denote by F i the facet of P D not containing the vertex i. By Proposition 5, 0 P D, so we can triangulate P D with the S i := conv({0} F i ). In particular Vol(P D ) = Vol(S i ), where we consider Vol(S i ) = 0 if S i is not of dimension n. Let S i be the unimodular copy of S i obtained as the convex hull of the rows of L(D) i,i, the matrix obtained from L(D) by removing the i-th row and i-th column. Vol(P D ) = Vol(S i ) = Vol(S i) = det L(D) i,i = c i, i= i= where the last equality follows from Theorem. i= i=. Connections with other families of simplices Laplacian simplices associated to strongly connected digraphs have interesting intersections with the study of weighted projective space arising from algebraic geometry and with the study of other families of simplices. We use these connections to describe properties of Laplacian simplices with particular attention to reflexivity, the integer decomposition property, and h -vectors of lattice polytopes. For the convenience of the reader, the next two subsections are a quick introduction to these topics... Weighted projective spaces. Given positive integers λ,..., λ n which are coprime, i.e. such that gcd{λ,..., λ n } =, we define the polynomial algebra S(λ,..., λ n ) := C[x,..., x n ] graded by deg x i := λ i. A weighted projective space with weights λ,..., λ n is the projective variety P(λ,..., λ n ) := Proj(S(λ,..., λ n )). Since P(λ,..., λ n ) is a toric variety, it corresponds to a fan that can be characterized as follows. Let v,..., v n be primitive lattice points which generate the lattice and satisfy n i= λ iv i = 0, where gcd{λ,..., λ n } =. Then, up to isomorphism, the fan is the fan whose rays are generated by the v i. Note that the fan identifies uniquely the simplex S := conv({v,..., v n }). With an abuse of terminology, we say that a simplex is the weighted projective space P(λ,..., λ n ) if it is unimodularly equivalent to the simplex S. For details we refer the reader to [9, ]... Ehrhart Theory, reflexivity and integer decomposition properties of lattice polytopes. For a proper introduction to Ehrhart Theory and related topics, we refer to the textbook []. A classical result by Ehrhart states that the number of lattice points in integer dilations of a d-dimensional lattice polytope P R d behaves polynomially. In terms of generating series this translates into the equality + n np Z d z n = h d zd + + h z + ( z) d+, where h (z) = h d zd + + h z + is a polynomial with non-negative integer coefficients, called the h -polynomial of P. This is an important invariant as it preserves much information about P. For example, the following relations are well known: d h = P Z d d, h d = P Z d, + h i = Vol(P ), where P denotes the relative interior of P. The h -polynomial of P is often identified with the vector of its coefficient (, h,..., h d ), called the h -vector of P. We call a vector (x 0, x,..., x d ) i= i=

6 6 G. BALLETTI, T. HIBI, M. MEYER, AND A. TSUCHIYA unimodal if there exists a j d such that x i x i+ for all 0 i < j and x k x k+ for all j k < d. An important open problem in Ehrhart Theory is to understand under which conditions h -vectors are unimodal (see [] for a survey). The dual polytope P of a full dimensional rational polytope P which contains the origin is the polytope P := {x R d x y for all y P }. If P is a lattice polytope, we call it reflexive if its dual P is again a lattice polytope. We extend the definition of reflexive to all the lattice polytopes which are unimodular equivalent to P. Reflexive polytopes were first introduced in []. A well known result of the second author [0] characterizes reflexive polytopes as lattice polytopes having a symmetric h -vector, i.e. such that h i = h d i for 0 i d. We say that a lattice polytope P has the integer decomposition property, if, for every positive integer n and for all x np Z d there exist x,..., x n P Z d such that x = x x n. A polytope having the integer decomposition property is often called IDP. Many efforts have been made to find sufficient conditions for unimodality. It has been conjectured by Stanley [7] that a standard graded Cohen-Macaulay integral domain has unimodal h-vector. Although this has proven to be wrong in general [6], in the context of lattice polytope this can be translated in the following question which remains open: does an IDP polytope always have unimodal h -vector? A weaker statement of this question has also been suggested by Ohsugi and the second author [6], who conjectured that being reflexive and IDP is a sufficient condition for a lattice polytope to have unimodular h -vector... Connections with weighted projective spaces and (,q) -simplices. We now relate Laplacian polytopes to weighted projective spaces. Proposition 8. Let D be a strongly connected digraph such that gcd{c,..., c n } =. Then P D is equivalent to the weighted projective space P(c,..., c n ). Proof. By Corollary 6, n i= λ iv i = 0; so we just need to prove that the vertices of P D span the lattice. Let L be the lattice spanned by all the vertices, and L i the lattice spanned by all the vertices v j such that j i. Then we have the following inclusions of subgroups of Z d : L i L Z n. In particular for all i, Z n : L L : L i = Z n : L i = c i, which implies that L = Z n. In [8, ] characterizations for properties of weighted projective spaces are given in terms of their weights and are used to perform classifications. We use these results to translate properties of D to properties of P D. Motivated by the open questions mentioned in the previous subsection, we focus on reflexivity, integer decomposition property, and description of the h -polynomial. We use the following result of Conrads, presented below in a slightly weaker form. Proposition 9 ([8, Proposition 5.]). Let S = conv(v,..., v n ) be an (n )-simplex such that n i= q iv i = 0 for some positive integers q,..., q n satisfying gcd(q,..., q n ) =. Then S is reflexive if and only if () q i divides the total weight Q = q j for i =,..., n. From this we can derive the following corollary. Corollary 0. Let D be a strongly connected digraph such that gcd{c,..., c n } =. Then P D is reflexive if and only if c i c(d) for all i. Proposition 9 is also used by Braun Davis Solus [] to define an interesting class of reflexive simplices. In particular they are interested in studying the integer decomposition property and unimodality of the h -vectors of such simplices constructed the following way. Let q = (q,..., q n ) be an nondecreasing sequence of positive integers satisfying the condition q j ( + i j q i) for all j =,..., n. For such a vector q, the simplex (,q) is defined as { } (,q) := conv e, e,..., e n, q i e i, where e i R n is the i-th standard basis vector. By Proposition 9, (,q) is a reflexive simplex. Note that (,q) is equivalent to the weighted projective space with weights (, q,..., q n ). j= i=

7 LAPLACIAN SIMPLICES ASSOCIATED TO DIGRAPHS 7 The next proposition shows that the simplices (,q) are a subfamily of Laplacian simplices arising from special star-shaped strongly connected digraphs. Proposition. Let q = (q, q,..., q n ) be any nondecreasing sequence of positive integers. Then there is a strongly connected digraph D such that P D = P(, q,..., q n ). In particular, if q satisfies the condition q j ( + i j q i) for all j =,..., n, then P D = (,q). Proof. As in Figure, we define D as the star-shaped digraph on the vertices,..., n + such that () for i =,..., n there are q i many edges directed from to i + ; () for i =,..., n there is one edge directed from i + to. It is easy to verify that c = and, for i, c i = q i. Proposition 8 concludes the proof. n + q q n q n q n Figure. The star shaped digraph D such that P D = P(, q,..., q n ). The label on an edge from i to j represent the total number of edges from i to j. In [] an explicit formula for the h -polynomial of the simplices (,q) is given. We remark that such formula can be also extracted from [], where it is proved in the more general setting of weighted projective spaces; however, the formulation given in [] perfectly fits our needs. Theorem ([, Theorem.5]). The h -polynomial of (,q) is where h ( (,q) ; z) = w(b) := b i= q + +q n b=0 z w(b) q i b. + q + + q n Finally, in [], necessary conditions for a (,q) simplex to be IDP are given. Lemma ([, Corollary.7]). If (,q) is IDP, then for all j =,,..., n + { } qi =. q j q j i j. Laplacian simplices associated to cycle digraphs We now want to extend the study of Braun Meyer on simplices associated to cycle graphs. They show that the Laplacian simplex associated to a cycle is reflexive if and only if the cycle has odd length n; in that case it has a unimodal h -vector and fails to be IDP for n 5 [5, Section 5]. We generalize their study by extending the notion of cycle graphs to cycle digraphs. A natural way to do it, would be to consider digraphs whose underlying simple graphs are cycle graphs. Here by underlying simple graph G D of a digraph D we mean the simple undirected graph on the vertex set V (G D ) := V (D) such that the edge {i, j} is in E(G D ) if and only if there is at least one directed edge between i and j in D (in either of the two directions). But since we are interested in reflexivity, we know, by Corollary 6, that D has to be strongly connected, therefore D needs to contain a cycle entirely oriented in one of the two possible directions. This generalization of cycle graphs will be

8 8 G. BALLETTI, T. HIBI, M. MEYER, AND A. TSUCHIYA made clear later (Definition 6). Moreover, in order to ensure the presence of no more than one interior point, we will assume that D is a simple digraph. In the next subsection we show that this is always true for any simple graph... Laplacian simplices associated to simple digraphs. In this section we focus on simple digraphs, where by simple we mean there is at most one directed edge from i to j, for any pair of vertices i, j [n], i j. Note that the presence of both a directed edge from i to j and one from j to i is allowed. As in the previous section, we restrict our attention to those digraphs having positive complexity. Note this case still generalizes the work of Braun Meyer [5] (see Remark ) and defines polytopes with at most one interior point. Indeed we prove that all the Laplacian polytopes of a simple directed graph on n vertices are subpolytopes of P Kn, the Laplacian simplex associated to the complete simple digraph. Observe P Kn is equivalent to the n-th dilation of an (n )-dimensional unimodular simplex, and therefore it has exactly one interior lattice point. Proposition. Let D be a simple digraph on n vertices. Then P D is a subpolytope of P Kn. In particular, if D is strongly connected, then P D has exactly one interior lattice point. Proof. Corollary 6 implies that P D has at least one interior lattice point, so the second statement follows directly from the first one. In order to prove the first part, we show that any vertex u of P D is in P Kn. Up to a relabeling of the vertices, we can assume that u = (a,,...,, 0,..., 0), where a equals the number entries of u which are equal to. We know that the Laplacian L(K n ) is n... n... L(K n ) = n We denote by v i the i-th row of L(K n ), as well as the corresponding vertex of P Kn. It is then enough to prove that u can be written as a convex combination of the vertices of K n, i.e. that u = n i=0 λ iv i, with 0 λ i and n i=0 λ i =. This can be done with the following choice of barycentric coordinates: a+ n, if i = λ i = 0, if i a +. n, if a + i n This proves that P D is a subpolytope of P Kn... Lattice simplices associated to generalized cycles. In [5] the authors study the Laplacian simplex associated to the undirected cycle graph C n, proving the following result. Theorem 5 ([5, Theorem 5.]). For n, the simplex T Cn is reflexive if and only if n is odd. The rest of this section is aimed to generalize their result to the case of directed cycles. Note that in order to have reflexivity (or, in particular, to have one interior lattice point) we need the digraph to be strongly connected (Corollary 6). Therefore, all cycles we consider will always contain a cycle entirely oriented in one of the two possible directions and some additional edges directed in the opposite direction. Informally speaking, we define a cycle digraph to have all the edges pointing clockwise and some edges pointing counterclockwise. Definition 6. Let n. We say that a digraph D on the vertex set [n] is a cycle digraph if, up to a relabeling of the vertices, E(D) = E (D) E (D), where E (D) = {(, ), (, ),..., (n, n), (n, )}, E (D) {(n, n ), (n, n ),..., (, ), (, n)}. If such a relabeling exists, D is completely determined by E (D), and we denote it by D = C S n, where S [n] is the set of the tails of the directed edges in E (D). As an example see Figure. We first prove that, for most of the directed cycles, the associated Laplacian simplex has no other lattice points other than the origin and the vertices. Borrowing some terminology from the algebraic geometers, we call terminal Fano a simplex with this property.

9 LAPLACIAN SIMPLICES ASSOCIATED TO DIGRAPHS 9 5 Figure. The cycle digraph C, 5. Theorem 7. Let D be any cycle digraph. P D is terminal Fano if and only if D is not, up to a relabeling of the vertices, one of the following six exceptional directed cycles. Proof. We prove that, for n 5, P C S n is terminal Fano for all S [n]. The lower dimensional cases are checked individually, leading to the six exceptional cases above. For i n, we set v i = a i e i + b i e i e i+ with a j {, 0} and b j = a j {, }, where a 0 = a n, e 0 = e n and e n+ = e. Assume that P C S n is not terminal Fano. Let x = (x,..., x n ) be a lattice point of P C S n \ ({v,..., v n, 0}) and set x = n i= λ iv i with 0 λ,..., λ n < and λ + + λ n =. Then one has x i = λ i + b i λ i + a i+ λ i+ {, 0, } for each i, where λ 0 = λ n, λ n+ = λ and a n+ = a. If x =, then we obtain a =, 0 < λ, λ < and λ j = 0 for any j,. Since x = λ, it follows that λ = λ = / and a =. However, x = /, a contradiction. Hence we have x i {0, } for each i. Since x 0, we can assume that x =. Then one has b = and λ /. If b =, then we obtain λ = λ = /. However, x = /, a contradiction. Hence one has b = b =. Moreover, it follows from λ / that x = x = 0. Then it follows that λ = a 5 λ 5 + λ λ 0. Hence we obtain λ = λ = /. However, x = /, a contradiction. Therefore, P C S n is terminal Fano. Now we characterize reflexivity for Laplacian simplices P C S n, extending Theorem 5 by Braun Meyer. Theorem 8. The Laplacian simplex P C S n associated to a cycle digraph Cn S, is reflexive if and only if one of the following conditions is satisfied: () S =, or () S = [n] and n =, or () S = [n] and n is odd, or () S [n], such that k c(d) for each integer k K +, where K is the longest chain of consecutive edges pointing counterclockwise, i.e. K := max{j {a +,..., a + j} S, for some a [n]}, where, since S [n], we have assumed without loss of generality, that / S. Proof. If S satisfies () or (), then it trivial to check that P C S n is reflexive. If S satisfies (), then P C S n is reflexive by Theorem 5. Suppose now that S satisfies (). In particular we have assumed that / S. This implies vertex n has exactly one spanning converging tree, i.e. c n =. As usual, c i denotes, the number of spanning trees which converge to vertex i. Then gcd(c,..., c n ) =, and P C S n is a weighted projective space by Proposition 8. For each vertex i we denote by K i the length of the longest chain of consecutive edges pointing counterclockwise ending in i, i.e. K i := max{j {i +,..., i + j} S}, for i n in particular K n = 0 and K = max{k i i [n]}. Given i [n], note that there are exactly K i + spanning trees converging to i. There are K i, having edge set {(j, j ),..., (i +, i), (j +, j + ),..., (n, n), (n, ),..., (i, i)},

10 0 G. BALLETTI, T. HIBI, M. MEYER, AND A. TSUCHIYA for all j {i +,..., i + K i }, plus an additional clockwise tree with edges {(i +, i + ),..., (n, n), (n, ),..., (i, i)}. By Corollary 0, P C S n is reflexive if and only if c i c(d), for all i [n]. We conclude by noting that if c i > for some i [n], then c i+ = c i, in particular {c i i [n]} = {,..., K + }. We now have all the tools to completely characterize all the reflexive IDP simplices arising from cycle digraphs. Theorem 9. Let C S n be a cycle digraph on n vertices such that P C S n is reflexive. Then P C S n possesses the integer decomposition property if and only if D satisfies one of the following conditions: () S =, or () D is, up to a relabeling of the vertices, one of the following directed cycles. Proof. If S = then Cn S is always a reflexive IDP simplex. If S = [n], from Theorem 5, P [n] C n is reflexive if and only if n is odd. In this case it is known that P [n] C is IDP if and only if n = n [5, Corollary 5.]. Now, assume that S [n] and P C S n is IDP. We use the same notation introduced in Theorem 8. Then we can assume that c =, c = K +, c = K,..., c K+ =. Set q = (c,..., c n ). It follows that P C S n is unimodularly equivalent to (,q). By Lemma, we know that, for each j n () But, if K, by () we get n K + + i= c j + i j { ci c j } =. { } ci K + K + + K K + + K K + >, so K must satisfy K. By applying () in these cases one gets n. By checking all the cycle digraph having up to four vertices, we get the exceptions represented above. As an application of the tools developed in this section, we build a special family of cycle digraphs whose Laplacian polytopes are reflexive and have non unimodal h -vectors. Theorem 0. Let α, β, k Z >0 such that α β k and α + β k +. Let D = C S n be the cycle digraph, with n := 6(k + ) α β, and S := S S S, with S := { + h 0 h α }, S := { + h 0 h α }, S := {α + + h 0 h β α }. Then P D is a reflexive simplex of dimension 6(k + ) α β with symmetric and nonunimodal h -vector (,...,,,...,,,...,,,...,,,...,,,...,,,..., ) }{{}}{{}}{{}}{{}}{{}}{{}}{{} (k+) α α (k+) α β β (k+) α β α (k+) α Proof. An example of the digraph in the statement is represented in Figure. The digraph has no more than two consecutive vertices with outdegree two, so the number of spanning trees converging to each of the vertices of D is at most three. Specifically,, if i S, c i =, if i S S,, if i [n] \ S.

11 LAPLACIAN SIMPLICES ASSOCIATED TO DIGRAPHS Figure. An example of the construction of Theorem 0. In this case α = β = and k =. The Laplacian simplex associated to this digraph has h -polynomial (,,,,,,,,,,,,,, ). Since each c i divides c(d) = n i= c i = 6(k + ), then P D is reflexive by Theorem 8. Now we use Theorem to describe its h -polynomial. In particular In our case this becomes which yields h (P D, z) = c(d) b=0 x w(b), w(b) = b α with w(b) = b b (k + ) β i= b (k + ) c i b 6(k + ) b, if 0 b (k + ), b α, if (k + ) b (k + ), w(b) = b α β, if (k + ) b (k + ), b α β, if (k + ) b 6(k + ). From this we deduce the i-th coefficient of the h -polynomial: (k + ) α i (k + ), or h, if (k + ) α β i (k + ) α, or i = (k + ) α β i (k + ) α β ;, otherwise.,. 5. Further Questions Note that, in the case of undirected cycles studied by Braun-Meyer [5], the reflexivity is influenced by the number of vertices of the graph (Theorem 5). On the other hand, when passing to the undirected case we discussed in Section, it is clear (from Theorem 8) that one can build reflexive Laplacian simplices starting from cycles of any length. This can be done by orienting a cycle in one of the two directions. It is natural to wonder how the structure of the underlying simple graph G D of a digraph D plays a role in determining the reflexivity of P D (see Section for the definition of underlying simple graph). We formalize this problem with the three questions below. We define an oriented graph to be a simple digraph D such that if there is an edge pointing from i to j, then there is no edge pointing from j to i. Question A. For any simple graph G on [n], does there exist an oriented graph D on [n] such that G D = G and P D is a reflexive (n )-simplex?

12 G. BALLETTI, T. HIBI, M. MEYER, AND A. TSUCHIYA Question B. For any simple graph G on [n], does there exist a digraph D on [n] such that G D = G and P D is a reflexive (n )-simplex? Question C. For any simple graph G on [n], does there exist a simple digraph D on [n] such that G D = G and P D is a reflexive (n )-simplex? We have been able to answer negatively the first two questions with the following examples. Let G be the following graph. G = 5 Assume that D is an orientation of G such that P D is a reflexive -simplex. Since D is strongly connected, we may assume, without loss of generality, that the edges (5, ), (, ), (, ), (, 5) are in E(D ). It follows that either (, ), (, 5) or (5, ), (, ) are in E(D ). In both cases, P D is not reflexive. In particular there are graphs that cannot be oriented to produce reflexive Laplacian simplices. Hence Question A is not true in general. However, G is not a counterexample of Question B. Indeed, let D be the following simple digraph. D = 5 Note that its underlying simple graph is still G, but P D following graph. is reflexive. However, let G be the G = 5 6 Note that there are finitely many possible directed simple graphs having it as underlying graph. A computer-assisted check shows that none of them produces a reflexive Laplacian simplex. Hence Question B is also not true in general. However, G is not a counterexample of Question C. Indeed, let D be the following digraph (the label on an edge from i to j, if present, represents the total number of edges from i to j). D = 5 6 Then P D is reflexive simplex. Question C remains open.

13 LAPLACIAN SIMPLICES ASSOCIATED TO DIGRAPHS References [] Victor V. Batyrev. Dual polyhedra and mirror symmetry for Calabi-Yau hypersurfaces in toric varieties. J. Algebraic Geom., ():9 55, 99. [] Matthias Beck and Sinai Robins. Computing the continuous discretely. Undergraduate Texts in Mathematics. Springer, New York, second edition, 05. Integer-point enumeration in polyhedra, With illustrations by David Austin. [] Benjamin Braun. Unimodality problems in Ehrhart theory. In Recent trends in combinatorics, volume 59 of IMA Vol. Math. Appl., pages Springer, [Cham], 06. [] Benjamin Braun, Robert Davis, and Liam Solus. Detecting the integer decomposition property and ehrhart unimodality in reflexive simplices, 06. Preprint arxiv: [5] Benjamin Braun and Marie Meyer. Laplacian simplices, 07. Preprint arxiv: [6] Francesco Brenti. Log-concave and unimodal sequences in algebra, combinatorics, and geometry: an update. In Jerusalem combinatorics 9, volume 78 of Contemp. Math., pages Amer. Math. Soc., Providence, RI, 99. [7] Fan R. K. Chung. Spectral graph theory, volume 9 of CBMS Regional Conference Series in Mathematics. Published for the Conference Board of the Mathematical Sciences, Washington, DC; by the American Mathematical Society, Providence, RI, 997. [8] Heinke Conrads. Weighted projective spaces and reflexive simplices. Manuscripta Math., 07():5 7, 00. [9] Igor Dolgachev. Weighted projective varieties. In Group actions and vector fields (Vancouver, B.C., 98), volume 956 of Lecture Notes in Math., pages 7. Springer, Berlin, 98. [0] Takayuki Hibi. Dual polytopes of rational convex polytopes. Combinatorica, ():7 0, 99. [] A. R. Iano-Fletcher. Working with weighted complete intersections. In Explicit birational geometry of -folds, volume 8 of London Math. Soc. Lecture Note Ser., pages 0 7. Cambridge Univ. Press, Cambridge, 000. [] Alexander Kasprzyk. Classifying terminal weighted projective space, 0. Preprint arxiv:0.09. [] Tetsushi Matsui, Akihiro Higashitani, Yuuki Nagazawa, Hidefumi Ohsugi, and Takayuki Hibi. Roots of Ehrhart polynomials arising from graphs. J. Algebraic Combin., ():7 79, 0. [] H. Ohsugi and T. Hibi. A normal (0, )-polytope none of whose regular triangulations is unimodular. Discrete Comput. Geom., ():0 0, 999. [5] Hidefumi Ohsugi and Takayuki Hibi. Normal polytopes arising from finite graphs. J. Algebra, 07():09 6, 998. [6] Hidefumi Ohsugi and Takayuki Hibi. Special simplices and Gorenstein toric rings. J. Combin. Theory Ser. A, ():78 75, 006. [7] Richard P. Stanley. Log-concave and unimodal sequences in algebra, combinatorics, and geometry. In Graph theory and its applications: East and West (Jinan, 986), volume 576 of Ann. New York Acad. Sci., pages New York Acad. Sci., New York, 989. [8] Richard P. Stanley. Enumerative combinatorics. Vol., volume 6 of Cambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge, 999. With a foreword by Gian-Carlo Rota and appendix by Sergey Fomin. [9] Tuan Tran and Günter M. Ziegler. Extremal edge polytopes. Electron. J. Combin., ():Paper.57, 6, 0. [0] Rafael H. Villarreal. On the equations of the edge cone of a graph and some applications. Manuscripta Math., 97():09 7, 998. (G. Balletti) Department of Mathematics, Stockholm University, SE-06 9 Stockholm, Sweden address: balletti@math.su.se (T. Hibi) Department of Pure and Applied Mathematics, Graduate School of Information Science and Technology, Osaka University, Suita, Osaka , Japan address: hibi@math.sci.osaka-u.ac.jp (M. Meyer) Department of Mathematics, University of Kentucky, Lexington, KY address: marie.meyer@uky.edu (A. Tsuchiya) Department of Pure and Applied Mathematics, Graduate School of Information Science and Technology, Osaka University, Suita, Osaka , Japan address: a-tsuchiya@ist.osaka-u.ac.jp