Acyclic Systems of Permutations and Fine Mixed Subdivisions of Simplices
 139 Downloads
 1 Citations
Abstract
A fine mixed subdivision of a \((d1)\)simplex \(T\) of size \(n\) gives rise to a system of \({d \atopwithdelims ()2}\) permutations of \([n]\) on the edges of \(T\), and to a collection of \(n\) unit \((d1)\)simplices inside \(T\). Which systems of permutations and which collections of simplices arise in this way? The Spread Out Simplices Conjecture of Ardila and Billey proposes an answer to the second question. We propose and give evidence for an answer to the first question, the Acyclic System Conjecture. We prove that the system of permutations of \(T\) determines the collection of simplices of \(T\). This establishes the Acyclic System Conjecture as a first step towards proving the Spread Out Simplices Conjecture. We use this approach to prove both conjectures for \(n=3\) in arbitrary dimension.
Keywords
Fine mixed subdivisions Triangulations Product of simplices Tropical geometry1 Introduction
The fine mixed subdivisions of a dilated simplex arise in numerous contexts, and possess a remarkable combinatorial structure, which has been the subject of great attention recently. The goal of this paper is to prove several structural results about these subdivisions.
A fine mixed subdivision of a \((d1)\)simplex \(T\) of size \(n\) gives rise to a system of \({d \atopwithdelims ()2}\) permutations of \([n]\) on the edges of \(T\), and to a collection of \(n\) unit \((d1)\)simplices inside \(T\). We address the question: Which systems of permutations and which collections of simplices arise from such subdivisions? We prove several results in this direction. In particular we prove Ardila and Billey’s Spread Out Simplices Conjecture [2, Conjecture 7.1] in the special case \(n=3\).
1.2 The Fine Mixed Subdivisions of a Simplex \(n\Delta _{d1}\) are the subdivisions of the dilated simplex \(n\Delta _{d1}\) into fine mixed cells. A fine mixed cell is a \((d1)\)dimensional product of faces of \(\Delta _{d1}\) lying in independent affine subspaces. For \(d=3\), fine mixed subdivisions are the lozenge tilings of an equilateral triangle into unit equilateral triangles and rhombi.
The fine mixed subdivisions of \(n \Delta _{d1}\) are in onetoone correspondence with triangulations of the polytope \(\Delta _{n1} \times \Delta _{d1}\) via the Cayley trick [20]. These and other equivalent objects arise very naturally in many contexts [1, 3, 4, 5, 7, 8, 9, 10, 15, 17, 18, 20, 21]. Fine mixed subdivisions are our main object of study. We will often call them simply “subdivisions”.
1.3 The Coloring of a Fine Mixed Subdivision is a natural coloring of the cells of a fine mixed subdivision. It gives rise to an arrangement of tropical pseudohyperplanes which plays a key role in the theory of tropical oriented matroids [3, 11].
1.4 The System of Permutations of a fine mixed subdivision \(T\) is the restriction of the coloring to the edges of the simplex \(n \Delta _{d1}\). It can be seen as a set of permutations of \([n]\), one on each edge. It has the great advantage that it is simpler than the coloring, while maintaining substantial geometric information about the subdivision. Say a system of permutations of \(T\) is acyclic if no closed walk on the edges of the simplex contains two colors in alternating order: \(\ldots i \ldots j \ldots i \ldots j \ldots i \ldots j \ldots \) In two dimensions, this property characterizes the systems of permutations coming from subdivisions:
Theorem 4.2. (2D Acyclic System Theorem) A system of permutations on the edges of a triangle can be achieved by a lozenge tiling if and only if it is acyclic.
We also show a result which will be relevant later:
Theorem 4.3. (Short version) The positions of the triangles in a lozenge tiling of a triangle are completely determined by the system of permutations.
1.5 The Acyclic System Conjecture seeks to generalize Theorem 4.2 to higher dimensions:
Theorem 5.6. The system of permutations of a fine mixed subdivision of \(n\Delta _{d1}\) is acyclic.
Acyclic System Conjecture 5.7. Any acyclic system of permutations on \(n\Delta _{d1}\) is achievable as the system of permutations of a fine mixed subdivision.
We remark that this conjecture was recently disproved by Francisco Santos in [19], after this paper was submitted for publication. He constructed a counterexample in the case \(n=5\) and \(d=4\).
1.6 Duality, Deletion, and Contraction are useful notions, inspired by matroid theory [16], that were first studied for triangulations of products of simplices by Santos in [20], and for tropical oriented matroids by Ardila and Develin in [3]. We introduce these notions in the context of fine mixed subdivisions and systems of permutations, showing that they are compatible with the earlier ones.
1.7 From Systems of Permutations to Simplex Positions Ardila and Billey [2] proved that any fine mixed subdivision on \(n\Delta _{d1}\) contains exactly \(n\) simplices. We use duality to generalize Theorem 4.3 to any dimension:
Theorem 7.1. (Short version) The positions of the \(n\) simplices in a fine mixed subdivision of \(n\Delta _{d1}\) are completely determined by its system of permutations.
1.8. The Spread Out Simplices Conjecture of Ardila and Billey, which is motivated by the Schubert calculus computations of Billey and Vakil [6], concerns a surprising relation between fine mixed subdivisions and the matroid of lines in a generic complete flag arrangement. Using the machinery built up in the previous sections, we are able to prove this conjecture for small simplices in any dimension.
Ardila and Billey [2] showed that the \(n\) simplices in any fine mixed subdivision of \(n\Delta _{d1}\) must be spread out, meaning that any subsimplex of size \(k\) contains at most \(k\) of them. They also conjectured that the converse holds:
Spread Out Simplices Conjecture 8.1. [2] A collection of \(n\) simplices in \(n\Delta _{d1}\) can be extended to a fine mixed subdivision if and only if it is spread out.
Theorem 7.1 allows us to split the Spread Out Simplices Conjecture 8.1 into two: the Acyclic System Conjecture 5.7 and the Weak Spread Out Simplices Conjecture 8.8:
Weak Spread Out Simplices Conjecture 8.8. Every spread out collection of \(n\) simplices in \(n\Delta _{d1}\) can be achieved as the set of simplices of an acyclic system of permutations.
Using this approach, we are able to show:
Theorem 8.11. The Spread Out Simplices Conjecture holds for \(n=3\).
As we remarked above, Santos [19] recently disproved the Acyclic System Conjecture. The Spread Out Simplices Conjecture 8.1 (and the weak version of it) remain open.
2 Fine Mixed Subdivisions of a Simplex
Remark 2.1
We will simply refer to fine mixed subdivisions as “subdivisions” throughout the paper. The only other subdivisions we will consider are the triangulations of \(\Delta _{n1} \times \Delta _{d1}\), which we will always refer to as “triangulations”.
Remark 2.2
Throughout the paper, the vertices of \(\Delta _{n1}\) will be denoted \(v_1, \ldots , v_n\) and the vertices of \(\Delta _{d1}\) will be denoted \(w_1, \ldots , w_d.\) The letters \(a\) and \(b\) will represent elements of \([d]\) and the letters \(i,j,k,\) and \(\ell \) will represent elements of \([n]\).
Fine mixed subdivisions and several equivalent objects have been recently studied from many different points of view. Aside from their beautiful intrinsic structure [4, 5, 9], they have been used as a building block for constructing efficient triangulations of highdimensional cubes [10, 15] and disconnected flipgraphs [17, 18]. They also arise very naturally in connection with root lattices [1], arrangements of flags [2], tropical geometry [3, 8, 14], transportation problems, and Segre embeddings [21].
Before defining and studying subdivisions of \(n\Delta _{d1}\) in full generality, let us start by discussing the easier—but by no means trivial—problem of understanding the lozenge tilings of an equilateral triangle. This is the special case \(d=3\).
The most natural highdimensional analogs of the lozenge tilings of the triangle \(n\Delta _2\) are the fine mixed subdivisions of the simplex \(n\Delta _{d1}\). We briefly recall their definition; for a more thorough treatment, see [20].
Remark 2.3
Santos [20] showed that the cells in a subdivision of \(n\Delta _{d1}\) can be labeled by ordered Minkowski sums in such a way that, if \(B_1 + \cdots + B_n\) is a face of \(C_1 + \cdots + C_n\), then \(B_i\) is a face of \(C_i\) for each \(i\). This property is normally required in the definition of a mixed subdivision of \(P_1 + \cdots + P_n\), but it holds automatically in this special case.
Remark 2.4
Ardila and Billey showed that any subdivision of \(n\Delta _{d1}\) contains exactly \(n\) tiles that are simplices [2, Proposition 8.2].
3 The Coloring of a Fine Mixed Subdivision
Given a fine mixed subdivision of a simplex one can construct its colored dual polyhedral complex, which we simply call its colored dual. This complex can be regarded as a tropical pseudohyperplane arrangement; the interested reader is referred to [3, 14].
Definition 3.1
The Voronoi subdivision of a \(k\)simplex divides it into \(k+1\) regions, where region \(i\) consists of the points in the simplex for which \(i\) is the closest vertex. Given a subdivision \(S\) of \(n\Delta _{d1}\), we subdivide each fine mixed cell \(S_1+\cdots + S_n\) into regions \(R_1+\cdots +R_n\), where \(R_i\) is a region in the Voronoi subdivision of \(S_i\). The resulting subdivision of \(n\Delta _{d1}\) is called the mixed Voronoi subdivision of \(S\).
Definition 3.2
The colored dual of a subdivision \(S\) of \(n\Delta _{d1}\) is the colored polyhedral complex formed by the lower dimensional faces in the mixed Voronoi subdivision of \(S\), excluding those on the boundary of \(n \Delta _{d1}\). In the mixed cell \(S_1+\cdots +S_n\), color \(i\) is given to \(S_1+\cdots \overline{S_i}+\cdots +S_n\), where \(\overline{S_i}\) is the complex of lower dimensional faces in the Voronoi subdivision of \(S_i\), excluding those on the boundary of \(S_i\).
We will not use the metric properties of this subdivision. In fact, the dual complex may be defined as a purely combinatorial object. The distinction is not important for us, but this choice of geometric realization will simplify some of our definitions.
Remark 3.3
The color \(i\) is the subcomplex (called a tropical pseudohyperplane in [3]) consisting of the cells of the colored dual having color \(i\). It subdivides the simplex \(n\Delta _{d1}\) into \(d\) regions which are naturally labeled by the vertices \(w_1,\ldots , w_d\) of the simplex.
Remark 3.4
In the colored dual of a lozenge tiling \(S\), every pair of colors intersects exactly once. One way to see this is to consider, for positive variables \(\lambda _1, \ldots , \lambda _n\), the subdivision \(S_\mathbf{\lambda }\) of the triangle \(\lambda _1 \Delta _2 + \cdots + \lambda _n \Delta _2\) which is combinatorially isomorphic to \(S\). The area of this triangle is \(\sum _i \frac{1}{2} \lambda _i^2 + \sum _{i<j} \lambda _i \lambda _j\). The \(i\)th triangle of \(S_\lambda \) contributes an area of \(\frac{1}{2} \lambda _i^2\) to the subdivision, while a rhombus where colors \(i\) and \(j\) intersect contributes an area of \(\lambda _i \lambda _j\). Therefore, there is exactly one such rhombus for each \(i\) and \(j\). A similar statement (and proof) holds in any dimension.
4 The System of Permutations: The TwoDimensional Case
In this section, which focuses only on the twodimensional case, we define our main object of study: the system of permutations of a subdivision. We then prove several structural results about these systems of permutations. In Sects. 5, 6, and 7 we will do this (somewhat less successfully) in higher dimensions.
 1.
Is a lozenge tiling completely determined by its system of permutations?
 2.
Which triples of permutations of \([n]\) can arise from a lozenge tiling in this way?
 3.
How are the system of permutations and the positions of the unit triangles related?
4.1 The TwoDimensional Acyclic System Theorem
Definition 4.1
A system of permutations on the edges of the triangle \(n\Delta _2\) is a set of three permutations of \([n]\) on the edges of the triangle. We say that a system of permutations is acyclic if, when we read the three permutations in clockwise direction, starting from a vertex of the triangle, we never see a “cycle” of the form \(\ldots i \ldots j \ldots \), \(\ldots i \ldots j \ldots \), \(\ldots i \ldots j \ldots \)
The system of permutations \((12,12,12)\) on the edges of \(2\Delta _2\) is the smallest system that is not acyclic. It clearly cannot be realized as the system of permutations of a lozenge tiling.
Theorem 4.2
(\(2\)D Acyclic System Theorem) Let \(\sigma \) be a system of permutations on the edges of the triangle \(n\Delta _2\). Then \(\sigma \) is achievable as the system of permutations of a lozenge tiling if and only if \(\sigma \) is acyclic.
Proof of Theorem 4.2
Let \(\sigma =(u,v,w)\) be a system of permutations of a lozenge tiling of the triangle \(n\Delta _2\). If the three permutations \(u, v\), and \(w\) contained the elements \(i\) and \(j\) in the same order, then in the dual complex, colors \(i\) and \(j\) would need to intersect at least twice, contradicting Remark 3.4. This proves the forward direction.
For the converse we proceed by induction. The case \(n=1\) is trivial. Now assume that the result is true for \(n1\), and consider an acyclic system \(\sigma = (u,v,w)\) of permutations of \([n]\). Let \(\sigma ^{\prime } = (u^{\prime },v^{\prime },w^{\prime })\) be the acyclic system of permutation of \([n1]\) obtained by removing the number \(n\) from \(u,v,\) and \(w\), and let \(T^{\prime }\) be a tiling of the triangle \(ABC\) (of side length \(n1\)) realizing \(\sigma ^{\prime }\). Let \(D, E,\) and \(F\) be the points on the segments \(BC, CA,\) and \(AB\) where the number \(n\) needs to be inserted in the permutations \(w^{\prime }, v^{\prime },\) and \(u^{\prime }\).
In the tiling \(T^{\prime }\), let \(G_B\) be the union of all “southwest” paths from \(E\) to \(B\), consisting of southwest and west edges. Let \(G_C\) be the union of all “southeast” paths from \(F\) to \(C\), consisting of southeast and east edges. The (nonempty) intersection of \(G_B\) and \(G_C\) is a horizontal segment (or possibly a single point); label its left and right endpoints \(P\) and \(Q\), respectively. Assume that \(T^{\prime }\) was chosen so that the length of \(PQ\) is maximum.
If \(D\) is not between \(R\) and \(S\), then we claim that \(\sigma \) is not acyclic. To prove it, assume without loss of generality that \(D\) is to the left of \(R\). Consider the edge of \(T^{\prime }\) directly to the left of \(R\); say it has color \(i\). It is clear that triangle \(i\) must be in region \(1, 2,\) or \(4\). We will show that in fact triangle \(i\) is in region \(2\). This will imply that \(\sigma \) contains the cycle \(\ldots i \ldots n \ldots \), \(\ldots i \ldots n \ldots \), \(\ldots i \ldots n \ldots \).
It follows that triangle \(i\) is in region 2 as desired. This concludes the proof. \(\square \)
4.2 Acyclic Systems of Permutations and Triangle Positions
The following is the main result of this section.
Theorem 4.3
(Acyclic systems of permutations and triangle positions) In a lozenge tiling of a triangle, the acyclic system of permutations determines uniquely the numbered positions of the unit triangles. Conversely, the numbered positions of the triangles and one permutation of the system determine uniquely the other two permutations.
4.2.1 A Permutation Factorization
We begin by introducing a way of factoring a permutation uniquely into a particular standard form. This factorization will play an important role in our analysis of lozenge tilings. We use cycle notation for permutations throughout this section.
Lemma 4.4
Proof
Lemma 4.5
The following lemma tells us how to compute the values of \(p_1,\ldots , p_n\) and \(q_1,\ldots , q_n\) in terms of the permutations \(u\) and \(v\).
Lemma 4.6
Proof
4.2.2 Tilings and Wiring Diagrams
We perform a change of coordinates and label the nodes of \(G_n\) with pairs of numbers \((p,q)\), where \(p=x_1+x_3+1\) and \(q=x_3+1\). The \(p\) and \(q\) coordinates range from \(1\) to \(n\), and increase in the northeast and southeast directions, respectively. Figure 13 shows the coordinates \((p,q)\) of the graph \(G_4\). Given a lozenge tiling \(T\), and the corresponding routing of \(G_n\), number the positions of the unit triangles from \(1\) up to \(n\), such that the vertex of the \(i\)th triangle is routed to the vertex with \((p,q)\)coordinate equal to \((i,i)\). Let \((p_i, q_i)\) be the position of the \(i\)th triangle in \(T\). Since the triangles of \(T\) are spread out, we have \(1 \le q_i \le i \le p_i \le n\) for all \(i\). We now show that knowing the positions \((p_i, q_i)\) is equivalent to knowing the system of permutations \((u, v, w)\).
Lemma 4.7
Proof
To express \(u\) as a product of transpositions, it suffices to linearly order the crossings from bottom to top, in an order compatible with the partial order given by the wiring diagram, and multiply them left to right. One way of doing it is to proceed up the ray \(R_A(n)\), then up the ray \(R_A(n1)\), and so on up to the ray \(R_A(1)\), recording every crossing that we see along the way. This procedure lists every crossing exactly once, and the crossings along ray \(R_A(i)\) correspond to the transpositions \(s_i, s_{i+1}, \ldots , s_{p_i1}\) (where \(s_j=(j, j+1)\)) which multiply to the cycle \((i, \ldots , p_i)\).\(\square \)
We have now done all the work to prove the main result of this section.
Proof of Theorem 4.3
If we are given the numbered triangle positions and a permutation of the system, we can assume without loss of generality that the given permutation is \(w=n\ldots 1\). Lemma 4.7 then tells us how to obtain the two remaining permutations \(u\) and \(v\). Moreover, given that \(1 \le q_i \le i \le p_i \le n\), Lemmas 4.4 and 4.5 imply that this procedure is reversible, and Lemma 4.6 gives us an explicit way of computing the triangle positions in terms of \(u\) and \(v\).
4.2.3 From Acyclic Systems to Triangle Positions: Another Description
Let \(T\) be a lozenge tiling of \(n\Delta _2\) and \(\sigma \) be its corresponding acyclic system of permutations. In addition to Lemmas 4.6 and 4.7, we now present a different way of computing the triangle positions of \(T\) in terms of \(\sigma \).
As before, we identify the positions of the unit triangles in \(T\) with triples in the triangular array of nonnegative natural numbers \((x_1,x_2,x_3)\) whose sum is equal to \(n1\). For \(1\le i\ne j \le n\) define the directed graph \(G_{ij}\) on the triangle \(ABC\); we orient edge \(e\) according to the order in which \(i\) and \(j\) appear on \(e\) in the system of permutations \(\sigma \).
5 The Acyclic System Conjecture
The main goal of this section is to introduce the concept of the system of permutations of a higher dimensional subdivision of a simplex. We prove that the system of permutations of a subdivision is acyclic. Motivated by Theorem 4.2, we conjectured that the converse statement holds as well (The Acyclic System Conjecture 5.7). However, after this paper was submitted for publication, the conjecture was disproved by Francisco Santos in [19].
Let \(S\) be a subdivision on \(n\Delta _{d1}\). As mentioned in Remark 2.2, in order to prevent confusion we will denote indices in the set \([n]\) by the letters \(i,j,k,\ell \), and indices in the set \([d]\) by the letters \(a,b\). We also denote the vertices of the simplex \(\Delta _{d1}\) by \(w_1,\ldots , w_d\), the vertices of \(n\Delta _{d1}\) by \(nw_1,\ldots , nw_d\), the vertices of \(\Delta _{n1} \) by \(v_1,\ldots ,v_n\), and the vertices of d\(\Delta _{n1} \) by \(dv_1,\ldots ,dv_n\).
The restriction \(S _{nw_aw_b}\) of the subdivision \(S\) to the edge \(nw_aw_b\) is the subdivision of the segment \(nw_aw_b\) given by the Minkowski sums \(S_1+\cdots + S_n \in S\) for which \(S_i\subset \{w_a,w_b, w_aw_b \}\) for all \(i=1,\ldots ,n\).
Definition 5.1
(The permutation of an edge) Since \(S _{nw_aw_b}\) is a subdivision, for each \(i \in [n]\) there is a unique cell having \(i1\) summands equal to \(w_b,\,ni\) summands equal to \(w_a\), and one summand (which we denote \(S_{\sigma _{ab}(i)}\)) equal to \(w_aw_b\). It is easy to see that \(\sigma _{ab}\) is a permutation of \([n]\), which we call the permutation of the edge \(nw_aw_b\). (Note that \(\sigma _{ab}\) is the reverse of \(\sigma _{ba}\) for any \(1 \le a \ne b \le d\).)
Remark 5.2
It is worth describing more explicitly the subdivision along each edge. As we traverse the edge \(nw_aw_b\) from the vertex \(nw_a\) to \(nw_b\), the first edge of \(S\) that we encounter has the form \(w_a+\cdots +w_a + w_aw_b + w_a + \cdots + w_a\). Each subsequent edge is obtained from the previous one by converting the summand \(w_aw_b\) into \(w_b\) and converting one of the summands \(w_a\) into \(w_aw_b\). The permutation \(\sigma _{ab}\) tells us the order in which the summands \(w_a\) are converted to \(w_aw_b\) (and then to \(w_b\)).
Definition 5.3
(The system of permutations) The system of permutations of a fine mixed subdivision \(S\) of \(n\Delta _{d1}\) is the collection \(\sigma (S)=(\sigma _{ab})_{1\le a \ne b \le d}\) of permutations \(\sigma _{ab}\) of the edges \(nw_aw_b\).
Example 5.4
Definition 5.5
A system of permutations on the edges of \(n\Delta _{d1}\) is a collection \(\sigma =(\sigma _{ab})_{1\le a \ne b \le d}\) of permutations \(\sigma _{ab}\) of \([n]\) such that \(\sigma _{ab}\) is the reverse of \(\sigma _{ba}\) for all \(a, b\). For each pair \(1\le i \ne j \le n\) we define the directed graph \(G_{ij}(\sigma )\) of \(\sigma \) as the complete graph on \([d]\), where edge \(ab\) is directed \(a\rightarrow b\) if and only if the permutation \(\sigma _{ab}\) is of the form \(\ldots i \ldots j \ldots \) We say that a system of permutations \(\sigma \) is acyclic if and only if all the graphs \(G_{ij}(\sigma )\) are acyclic.
In other words, a system of permutations on the edges of a simplex is acyclic if and only if there is no closed walk along the edges such that the permutation on every directed edge of the walk has the form \(\ldots i \ldots j \ldots \) for some \(i\) and \(j\).
Theorem 5.6
Let \(S\) be a fine mixed subdivision of \(n\Delta _{d1}\), and \(\sigma (S)\) be the corresponding system of permutations. Then \(\sigma (S)\) is acyclic.
Proof
The cases \(d=1, 2\) are trivial. The case \(d=3\) was shown in Theorem 4.2. For \(d > 3\), notice that an orientation of the complete graph \(K_d\) is acyclic if and only if every triangle \(w_aw_bw_c\) is acyclic. But the orientation of triangle \(w_aw_bw_c\) is given by the subdivision \(S_{nw_aw_bw_c}\), and so it is acyclic by Theorem 4.2. \(\square \)
We conjectured that the converse also holds:
Acyclic System Conjecture 5.7
Any acyclic system of permutations on the edges of the simplex \(n\Delta _{d1}\) is achievable as the system of permutations of a fine mixed subdivision.
Theorem 4.2 says that the Acyclic System Conjecture 5.7 is true for \(d=3\). However, Francisco Santos recently disproved this conjecture in the general case [19]. He constructed an acyclic system of permutations on the edges of \(5\Delta _3\) that is not achievable as the system of permutations of a fine mixed subdivision.
6 Duality, Deletion and Contraction
Before we continue extending the results of Sect. 4 from two dimensions to higher dimensions we need some simple but useful machinery. This section introduces the notion of duality, deletion and contraction for acyclic systems of permutations on the edges of a simplex. We show that our definitions are compatible with the previously known notions of duality, deletion and contraction for subdivisions [3, 20]. Most of the results in this section follow easily from the definitions, and we omit their proofs.
6.1 Duality for Subdivisions
Given a subdivision \(S\) of \(n\Delta _{d1}\), we denote by \(S^*\) the dual subdivision of \(d\Delta _{n1}\) that corresponds to the triangulation of \(\Delta _{d1}\times \Delta _{n1}\). The dual subdivision is given by:
Lemma 6.1
The dual of a mixed cell \(S_1+\cdots +S_n\) in \(S\) is the mixed cell \(Z_1+\cdots + Z_d\) in \(S^*\), where \(Z_a=\{v_i: w_a \in S_i \}\).
6.2 Dualilty for Acyclic Systems of Permutations
Let \(\sigma = (\sigma _{ab})_{1\le a \ne b \le d}\) be an acyclic system of permutations on the edges of the simplex \(n\Delta _{d1}\). Recall that, for each pair \(1\le i \ne j \le n\), the graph \(G_{ij}(\sigma )\) on \([d]\) vertices has a directed edge \(a\rightarrow b\) if and only if the permutation \(\sigma _{ab}\) is of the form \(\ldots i \ldots j \ldots \) Since this graph is acyclic and complete, it can be naturally regarded as a permutation \(\sigma ^*_{ij}\) of \([d]\). More precisely, for \(a\in [d],\,\sigma ^*_{ij} (a)\) is the vertex of \(G_{ij}(\sigma )\) whose outdegree is equal to \(da\).
Definition 6.2
The dual system of an acyclic system \(\sigma \) of \(n\Delta _{d1}\) is the system of permutations \(\sigma ^*=(\sigma ^*_{ij})_{1\le i \ne j \le n}\) on the edges of \(d\Delta _{n1}\).
Example 6.3
If \(\sigma _{12}=132, \sigma _{23}=213, \sigma _{31}=231\), then \(\sigma ^*_{12} = 132, \sigma ^*_{23} = 231, \sigma ^*_{31} = 321\).
Lemma 6.4
The permutation \(\sigma _{ab}\) is of the form \(\ldots i \ldots j \ldots \) if and only if the permutation \(\sigma ^*_{ij}\) is of the form \(\ldots a \ldots b \ldots \).
Proof
Omitted. \(\square \)
Proposition 6.5
The system of permutations \(\sigma ^*\) is acyclic and \((\sigma ^*)^*=\sigma \).
Proof
Omitted. \(\square \)
6.3 Deletion and Contraction for Subdivisions
Recall that we denote the vertices of \(\Delta _{d1}\) by \(w_1,\ldots ,w_d\), and the vertices of \(\Delta _{n1}\) by \(v_1,\ldots ,v_n\).
Definition 6.6
Let \(S\) be a subdivision of \(n\Delta _{d1}\). For \(i\in [n]\), the deletion \(S{\backslash i}\) is the subdivision of \((n1)\Delta _{d1}\) whose mixed cells correspond to the Minkowski sums obtained from the Minkowski sums of \(S\) by deleting the \(i\)th summand.
Definition 6.7
Let \(S\) be a subdivision of the simplex \(n\Delta _{d1}\). For \(a \in [d]\), the contraction \(S/a\) is the subdivision of \(n\Delta _{d2}\) which consists of the cells \(S_1+\cdots +S_n\) of \(S\) such that \(S_i\subset \{ w_1,\ldots ,\hat{w_a},\ldots ,w_d \}\).
It is useful to also think of the deletion \(S{\backslash i}\) and the contraction \(S{/a}\) in terms of the Cayley trick. The subdivision \(S\) corresponds to a triangulation \(T\) of \(\Delta _{n1}\times \Delta _{d1}\); the deletion \(S{\backslash i}\) and contraction \(S{/a}\) correspond to the restriction of \(T\) to the appropriate facets of \(\Delta _{n1}\times \Delta _{d1}\).
6.4 Deletion and Contraction for Systems of Permutations
Definition 6.8
Let \(\sigma \) be a system of permutations on the edges of \(n\Delta _{d1}\). For \(i\in [n]\), the deletion \(\sigma {\backslash i}\) is a system of permutations on the edges of \((n1)\Delta _{d1}\), obtained from \(\sigma \) by deleting the number \(i\) from each permutation.
For example, for the system of permutations \(\sigma =\{1423, 3124, 4321\}\) on the edges of \(4\Delta _3\) in Fig. 5, we get \(\sigma {\backslash 2}=\{143, 314, 431\}\). Note that \(\sigma {\backslash 2}\) is the system of permutations of the deletion \(S{\backslash 2}\) of the subdivision \(S\) in the same figure.
Definition 6.9
Let \(\sigma \) be a system of permutations on the edges of \(n\Delta _{d1}\). For \(a \in [d]\), the contraction \(\sigma {/a}\) is the restriction of \(\sigma \) to the edges of the facet of \(n\Delta _{d1}\) that do not contain the vertex \(nw_a\).
The following proposition follows directly from the definitions.
Proposition 6.10
 1.
\(\sigma {\backslash i}=\sigma (S \backslash i)\)
 2.
\(\sigma {/a}=\sigma (S/a)\)
6.5 Properties
In this subsection we show that the operations of deletion and contraction are dual to each other, and that the dual system of the system of permutations of a subdivision \(S\) is equal to the system of permutations of the dual subdivision \(S^*\). This result will be a key lemma in Sect. 8.
Proposition 6.11
The geometric content of this proposition is the following: The deletion of a color \(i\) in a subdivision \(S\) corresponds to the contraction of the vertex \(i\) in the dual subdivision \(S^*\), and viceversa. This proposition follows directly from the Cayley trick and from the definitions.
Proposition 6.12
Let \(S\) be a subdivision of \(n\Delta _{d1}\) and \(\sigma (S)\) be the associated system of permutations. Then \({\sigma (S)}^*=\sigma (S^*)\).
Proof
The operations of restriction, contraction, and duality will be very be useful to us in what follows.
7 From Systems of Permutations to Simplex Positions
A subdivision of \(n\Delta _{d1}\) is not uniquely determined by its system of permutations, but in this section we will see that the positions of its simplices are completely determined. We already proved this result for lozenge tilings in Theorem 4.3. We now prove it in general.
Theorem 7.1
Proof
The Minkowski sum decomposition of the \(i\)th simplex \(T\) in the subdivision \(S\) has \(i\)th component equal to \(w_1\ldots w_d\). By Lemma 6.1, this implies that the letter \(v_i\) appears in all the components of the Minkowski decomposition of the dual cell \(T^*\). It follows that \(T^*\) is the unique fulldimensional cell of the subdivision \(S^*\) that contains the vertex \(dv_i\) of \(d\Delta _{n1}\). This dual cell \(T^*\) is completely determined by the colors of the edges adjacent to the vertex \(dv_i\) in \(S^*\), which are precisely the sources of \(G_{ij}(\sigma )\) with \(j\ne i\). More explicitly, for each index \(a \in [d]\), the Minkowski decomposition of the dual cell \(T^*\) has \(a\)th component equal to \(\{ v_j,\ j\in [n] : j=i \text{ or} \text{ source}(G_{ij}) = a \}\). Dualizing and applying Lemma 6.1 again, we get the desired Minkowski decomposition of the simplex \(T\).\(\square \)
Remark 7.2
In dimension 2, our proofs of Theorem 4.3 and Theorem 7.1 give two descriptions of the triangle positions as a function of the acyclic system of permutations. The first description, and Lemma 4.6 in particular, gives a simple computation of these positions. The second description gives us additional information about the triangles, namely, their Minkowski sum decompositions. For higher \(d\), this second computation works without modification. It would also be interesting to generalize the first one; i.e., to find a direct description of the positions of the simplices in the spirit of our proof of Theorem 4.3.
8 The Spread Out Simplices Conjecture
One of the motivations of this paper is the Spread Out Simplices Conjecture of Ardila and Billey. They showed that every subdivision of \(n\Delta _{d1}\) contains precisely \(n\) unit simplices, and studied where those simplices could be located. They conjectured that the possible positions of the simplices are given by the bases of the matroid determined by the lines in a generic complete flag arrangement. For details, see [2].
The following is an equivalent statement. Recall that a collection of \(n\) simplices in \(n \Delta _{d1}\) is said to be spread out if no subsimplex of size \(k\) contains more than \(k\) of them.
Spread Out Simplices Conjecture 8.1
[2, Conjecture 7.1] A collection of \(n\) simplices in \(n\Delta _{d1}\) can be extended to a fine mixed subdivision if and only if it is spread out.
8.1 Regular Subdivisions: Yoo’s Example
8.2 The Simplex Positions are Spread Out
We identify the possible positions of the simplices in a subdivision with the lattice points of the simplex \(\{ (x_1,\ldots ,x_d) \in \mathbb{R }^{d} : x_1+\cdots + x_d = n1 \text{ and} \, x_1,\ldots ,x_d \ge 0 \}\). Theorem 7.1 leads us to the following definition.
Definition 8.2
Notice that this definition makes sense for arbitrary acyclic systems, and not only for those coming from subdivisions. When \(\sigma \) comes from a subdivision, the set of positions \(P(\sigma )\) is the one given by Theorem 7.1.
Remark 8.3
As seen in the proof of Theorem 7.1, computing the positions of the simplices of \(\sigma \) is very easy if we know \(\sigma ^*\). Each simplex of \(\sigma \) corresponds to a vertex \(v\) of \(d \Delta _{n1}\), and its Minkowski summands are \(\Delta _{d1}\) and the \(d1\) labels on the edges coming out of \(v\) in \(\sigma ^*\). For instance, if \(\sigma \) is the subdivision on the top of Fig. 18, then its three simplices are readily given by the permutations around the dual triangle in \(\sigma ^*\): they are \(ABCD+A+A, D+ABCD+B, D+D+ABCD\).
Recall that Ardila and Billey proved the forward direction of Conjecture 8.1:
Theorem 8.4
[2, Proposition 8.2] The positions of the simplices of a fine mixed subdivision of \(n\Delta _{d1}\) are spread out.
In principle, our next result generalizes this:
Theorem 8.5
The positions of the simplices \(P(\sigma )\) of an acyclic system of permutations \(\sigma \) of \(n\Delta _{d1}\) are spread out.
Lemma 8.6
The graph \(H_{ab}(\sigma )\) is a subgraph of the complete, acyclic graph on \([n]\) that corresponds to the permutation \(\sigma _{ab}\).
Proof

Case 1: If \(\ell =j\), then \(T_{ij}=w_a\). This means that the graph \(G_{ij}\) has a source at \(a\in [d]\), which implies that the permutation \(\sigma _{ab}\) is of the form \(\ldots i\ldots j\ldots \)

Case 2: If \(\ell =i\), an analogous argument works.

Case 3: If \(\ell \ne i,j\), then \(T_{i\ell }=w_a\) and \(T_{j\ell }=w_b\), which means that the graphs \(G_{i\ell }\) and \(G_{j\ell }\) have sources at \(a\in [d]\) and \(b\in [d]\), respectively. This implies that the permutation \(\sigma _{ab}\) is of the form \(\ldots i\ldots \ell \ldots j\ldots \) \(\square \)
Remark 8.7
The graph \(H_{ab}\) is in general only a proper subgraph of the graph that corresponds to \(\sigma _{ab}\). In particular, in contrast with the 2dimensional case, the ordered list of positions of the simplices (or even their Minkowski sum decompositions) is not sufficient to determine the system of permutations. For instance, there are exactly two subdivisions of \(2\Delta _3\) for which the Minkowski decomposition of the two unit simplices are \(ABCD+A\) and \(B+ABCD\). These two subdivisions have different systems of permutations. The graph \(H_{CD}\) in these cases consists of two vertices \(C\) and \(D\) without any edge.
Proof of Theorem 8.5
We will prove that the first row of \(T(\sigma )\) has at least \(m_a\) dark letters \(w_a\) for all \(a\in [d]\). If \(m_a=0\) the result is obvious. Now suppose \(m_a>0\). If there is no light letter \(w_a\) on the first row of \(T(\sigma )\) then the claim clearly follows. Otherwise, we will construct, simultaneously for all \(b \in [d] \backslash \{a\}\), a path \(1=i_1\rightarrow \cdots \rightarrow i_r\) in the graphs \(H_{a b}\) ending on a row \(i_r\) that has no light letter \(w_a\). To do so, we start by drawing the arrows \(1=i_1\rightarrow i_2\) in \(H_{a b}\) for all \(b\), where \(i_2\) is the column of the first letter \(w_a\) under consideration. If there is no light letter \(w_a\) in row \(i_2\), we are done; otherwise, we continue the process. Since the graphs \(H_{a b}\) have no cycles, this process must end at some row \(i_r\).
Notice that row \(i_r\) must contain at least \(m_a\) dark letters, since it contains no light ones except for the one on the diagonal. Now consider the letters on the first row which are directly above the dark letters \(w_a\) on the row \(i_r\). They must all be equal to \(w_a\), or else they would form a cycle \(1=i_1\rightarrow \cdots \rightarrow i_r \rightarrow 1\) in \(H_{ab}\) for some \(b\). Therefore, the first row of \(T(\sigma )\) has at least \(m_a\) dark letters \(w_a\) as we claimed.
Finally, observe that the first row contains at least \(m_a\) dark letters \(w_a\) for all \(a \in [d]\), so the shaded rectangle must have width at least \(m_1 + \cdots + m_d = nk\), a contradiction.
\(\square \)
We conjecture that the converse of Theorem 8.5 is true as well:
Weak Spread Out Simplices Conjecture 8.8
Any \(n\) spread out simplices in \(n\Delta _{d1}\) can be achieved as the simplices of an acyclic system of permutations.
This conjecture is weaker than the Spread Out Simplices Conjecture 8.1, and has the advantage that it is more tractable computationally for small values of \(n\). Conjecture 8.1 would follow from Conjecture 5.7 and Conjecture 8.8. In the next section we prove these three conjectures in the special case \(n=3\).
As we remarked earlier, Santos [19] recently gave an example of an acyclic system of permutations on the edges of \(5\Delta _3\) which does not extend to a mixed subdivision. This is a counterexample to the Acyclic System Conjecture 5.7. By Theorem 8.5, Santos’s example gives a 5 spread out simplices in \(5\Delta _3\), which would be a good candidate for a counterexample of the Spread Out Simplices Conjecture 8.1. However, as Santos remarks, these 5 spread out simplices can be extended to a mixed subdivision of \(5 \Delta _3\). The Spread Out Simplices Conjecture 8.1 (and its Weak version, Conjecture 8.8) remain open.
8.3 The Spread Out Simplices Theorem for Simplices of Size Three
Theorem 8.9
(Acyclic System Conjecture 5.7 for \(n=3\)) Every acyclic system of permutations on \(3\Delta _{d1}\) is achievable as the system of permutations of a fine mixed subdivision.
Proof
Let \(\sigma \) be an acyclic system of \(3\Delta _{d1}\) and \(\sigma ^*\) be the dual system of \(d\Delta _2\). By Theorem 4.2 there exists a subdivision \(S^*\) of \(d\Delta _2\) whose system of permutations is equal to \(\sigma ^*\). The system of permutations of the dual subdivision \(S=(S^*)^*\) of \(3\Delta _{d1}\) is \(\sigma \). \(\square \)
Theorem 8.10
(Weak Spread Out Simplices Conjecture 8.8 for \(n=3\)) Any three spread out simplices in \(3\Delta _{d1}\) are achievable as the simplices of an acyclic system of permutations.
Proof
By duality and Remark 8.3, we will be done if, for each such triple, we can build a dual acyclic system \(\sigma ^*\) of \(d\Delta _2\) such that these are the pairs of labels adjacent to each of the three vertices of \(d\Delta _2\). This is also done in Fig. 22. The duals to those acyclic systems give rise to the desired simplex positions. \(\square \)
Theorem 8.11
(Spread Out Simplices Conjecture 8.1 for \(n=3\)) Three simplices in \(3\Delta _{d1}\) can be extended to a fine mixed subdivision if and only if they are spread out.
Proof
This result is a consequence of the previous two theorems. \(\square \)
Notes
Acknowledgments
We would like to thank Hwanchul Yoo for his example in Sect. 8.1, and Christopher O’Neill for running some computational experiments in support of the Weak Spread Out Simplices Conjecture 8.8. We are also grateful to Carolina Benedetti and Erik Backelin for helpful discussions about this paper. Federico Ardila was partially supported by the National Science Foundation CAREER Award DMS0956178, the National Science Foundation Grant DMS0801075, and the SFSUColombia Combinatorics Initiative. Cesar Ceballos was partially supported by the Proyecto Semilla of the Universidad de Los Andes, the Beca Mazda para el Arte y la Ciencia, and the SFSUColombia Combinatorics Initiative.
References
 1.Ardila, F., Beck, M., Hosten, S., Pfeifle, J., Seashore, K.: Root polytopes and growth series of root lattices. SIAM J. Discrete Math. 25, 360–378 (2011)MathSciNetMATHCrossRefGoogle Scholar
 2.Ardila, F., Billey, S.: Flag arrangements and triangulations of products of simplices. Adv. Math. 214, 495–524 (2007)MathSciNetMATHCrossRefGoogle Scholar
 3.Ardila, F., Develin, M.: Tropical hyperplane arrangements and oriented matroids. Math. Z. 262, 795–816 (2009)MathSciNetMATHCrossRefGoogle Scholar
 4.Babson, E., Billera, L.: The geometry of products of minors. Discrete Comput. Geom. 20, 231–249 (1998)MathSciNetMATHCrossRefGoogle Scholar
 5.Bayer, M.: Equidecomposable and weakly neighborly polytopes. Israel J. Math. 81, 301–320 (1993)MathSciNetMATHCrossRefGoogle Scholar
 6.Billey, S., Vakil, R.: Intersections of Schubert varieties and other permutation array schemes. In: IMA Volumes in Mathematics and its Applications, vol. 146: Algorithms in Algebraic Geometry, Springer, New York, pp. 21–54 (2008)Google Scholar
 7.De Loera, J.A., Rambau, J., Francisco, S.: Triangulations: structures for algorithms and applications. In: Algorithms and Computation in Mathematics, vol. 25. Springer, Berlin (2010)Google Scholar
 8.Develin, M., Sturmfels, B.: Tropical convexity. Doc. Math. 9, 1–27 (2004)MathSciNetMATHGoogle Scholar
 9.Gelfand, I.M., Kapranov, M., Zelevinsky, A.: Discriminants, resultants and multidimensional determinants. Birkhäuser, Boston (1994)MATHCrossRefGoogle Scholar
 10.Haiman, M.: A simple and relatively efficient triangulation of the $n$cube. Discrete Comput. Geom. 6, 287–289 (1991)MathSciNetMATHCrossRefGoogle Scholar
 11.Herrmann, S., Jensen, A., Joswig, M., Sturmfels, B.: How to draw tropical planes. Electron. J. Combin. 16 (2009) (Special volume in honor of Anders Björner, Research Paper 6, 26 pp)Google Scholar
 12.Huber, B., Rambau, J., Santos, F.: The Cayley trick, lifting subdivisions and the Bohne–Dress theorem on zonotopal tilings. J. Eur. Math. Soc. (JEMS) 2(2), 179–198 (2000)MathSciNetMATHCrossRefGoogle Scholar
 13.Luby, M., Randall, D., Sinclair, A.: Markov chain algorithms for planar lattice structures. In: IEEE Symposium on Foundations of Computer Science, pp. 150–159 (1995)Google Scholar
 14.Oh, S., Yoo, H.: Triangulations of $\Delta _{n1} \times \Delta _{d1}$ and tropical oriented matroids. In: Discrete Mathematics and Theoretical Computer Science Proceedings, FPSAC 2011, pp. 717–728Google Scholar
 15.Orden, D., Santos, F.: Asymptotically efficient triangulations of the $d$cube. Discrete Comput. Geom. 30, 509–528 (2003)MathSciNetMATHCrossRefGoogle Scholar
 16.Oxley, J.: Matroid Theory. Oxford University Press, New York (1992)MATHGoogle Scholar
 17.Santos, F.: A point configuration whose space of triangulations is disconnected. J. Am. Math. Soc. 13, 611–637 (2000)MATHCrossRefGoogle Scholar
 18.Santos, F.: Nonconnected toric Hilbert schemes. Math. Ann. 332, 645–665 (2005)MathSciNetMATHCrossRefGoogle Scholar
 19.Santos, F.: Some acyclic systems of permutations are not realizable by triangulations of a product of simplices. In: Proceedings of the CIEM Workshop in Tropical Geometry, Contemporary Math, AMS (to appear)Google Scholar
 20.Santos, F.: The Cayley trick and triangulations of products of simplices. In: Integer Points in Polyhedra—Geometry, Number Theory, Algebra, Optimization. Contemporary Mathematics, vol. 374. American Mathematical Society, Providence, RI, pp. 151–177 (2005)Google Scholar
 21.Sturmfels, B.: Grobner Bases and Convex Polytopes. University Lectures Series, No 8, American Mathematical Society, Providence, RI (1996)Google Scholar