## THE TROPICAL DIVISION PROBLEM AND THE MINKOWSKI FACTORIZATION OF GENERALIZED PERMUTAHEDRA

ROBERT ALEXANDER CROWELL

Abstract. Given two tropical polynomials f, g on R n , we provide a characterization for the existence of a factorization f = h /circledot g and the construction of h . As a ramification of this result we obtain a parallel result for the Minkowski factorization of polytopes. Using our construction we show that for any given polytopal fan there is a polytope factorization basis, i.e. a finite set of polytopes with respect to which any polytope whose normal fan is refined by the original fan can be uniquely written as a signed Minkowski sum. We explicitly study the factorization of polymatroids and their generalizations, Coxeter matroid polytopes, and give a hyperplane description of the cone of deformations for this class of polytopes.

Keywords: Tropical Geometry, Tropical Rational Functions, Factorization, Generalized Permutahedra, Polymatroids, Minkowski Sum, Coxeter Matroid Polytopes

## 1. Introduction

Consider the max-plus semi-ring ( R , ⊕ /circledot , ) defined by a ⊕ b := max { a, b } and a /circledot b := a + b for all a, b ∈ R . Given two tropical polynomial functions on R n , where A, B ⊂ Z n are finite sets and v : A → R , u : B → R , we pose the following question.

$$f ( x ) = \bigoplus _ { a \in A } ( v _ { a } \odot x ^ { \odot a } ), \quad \text{and} \quad g ( x ) = \bigoplus _ { b \in B } ( u _ { b } \odot x ^ { \odot b } ) \\ \dots \mathbb { Z } ^ { n } \, \text{are finite sets and } v \, \colon A \to \mathbb { R }. \, u \, \colon B \to \mathbb { R }. \, \text{we nose the followin} \sigma$$

Problem 1 (Tropical Division Problem) . Given a pair of tropical polynomials ( f, g ) decide whether there is a tropical polynomial h such that the factorization f ( x ) = g x ( ) /circledot h x ( ) holds.

A tropical polynomial function is a piecewise affine and convex function. Thus the problem asks for conditions on f and g to guarantee that the piecewise affine function f -g is convex. Our characterization of the division problem uses extended weight functions , generalizing the work of Mikhalkin [Mik04, Sec. 2], viz .

Theorem 1.1. The division problem has a solution if and only if V ( g ) ⊂ V ( f ) and for all n -1 dimensional cells σ in T ( f ) . In this case the complex T ( f ) is balanced once weighted with w ↑ h = w f -w ↑ g .

$$w _ { f } ( \sigma ) & - w _ { g } ^ { \uparrow } ( \sigma ) \geq 0 \\ \dots \ \tau / \varepsilon \quad \tau _ { \dots } \ \dots \ \tau _ { \dots }$$

Here V ( f ) is the tropical variety of f , i.e. the set of points in R n where f is not smooth, and T ( f ) is the tropical variety viewed as a n -1 dimensional polyhedral complex. The extended weight functions w f and w ↑ g , given in Definition 3.2, assign a natural number to each top-dimensional cell and must satisfy a certain balancing condition stated in (5). With Theorem 1.1 the divisibility problem can be decided directly from the sets A, B and the tropical varieties, thereby providing a constructive and computable characterization.

Other recent work on tropical factorization, yet from a different perspective includes [LT17].

1.1. Ramifications and Applications. To demonstrate the applicability of Theorem 1.1 we discuss some consequences. A lattice polytope P can be viewed as a tropical polynomial f P with constant coefficients and vertices of P as exponents. Minkowski sums then translate into products of such polynomials, and the factorization of lattice polytopes in the Minkowski sense can be understood as a special case of the tropical division problem.

Problem 2 (Polytope Factorization Problem) . Let ( P, Q ) be a pair of lattice polytopes. Decide if there exists a lattice polytope R such that P = R + Q , in the Minkowski sense.

Following the terminology of [Pos09,She63] we call Q a deformation of P , and note that in this case the signed Minkowski sum P -Q := R can be meaningfully defined. The factorization problem is also known as the decomposability problem [Ost75, She63, Smi87, GL01, Gao01, GS93]. In Section 4 we show how Theorem 1.1 can be used to decide the polytope factorization problem. Theorem 1.1 can also be applied to obtain the following.

Proposition 1.2 (Unique Polytope Factorization) . Let N be the normal fan of a lattice polytope. Then there exists a finite polytope factorization basis B N ( ) = { B , . . . , B 1 r } of lattice polytopes such that any lattice polytope Q whose normal fan is refined by N possesses a unique expansion with y i ∈ Z , where y + := max { y, 0 } and y := y -y .

$$Q + \sum _ { i = 1 } ^ { r } y _ { i } ^ { - } B _ { i } = \sum _ { i = 1 } ^ { r } y _ { i } ^ { + } B _ { i }, \\ \coloneqq \max \{ y, 0 \} \ a n d \ y ^ { - } \coloneqq y ^ { + } - y.$$

In particular, if N is the normal fan of the Mikowski sum of lattice polytopes P , . . . , P 1 k , then each P i is uniquely factorizable with respect to B N ( ). While polytope factorization bases are not unique, their cardinality is, and so is any expansion with respect to a fixed basis. For a different result in this direction we emphasize [LT17, Cor. 23]. Their approach is based on support functions rather than weighted and balanced fans.

/negationslash

$$M + \sum _ { I \subset [ n + 1 ] } y _ { I } ^ { - } \cdot \triangle _ { I } = \sum _ { I \subset [ n + 1 ] } y _ { I } ^ { + } \cdot \triangle _ { I } \\ \circ \wedge \varepsilon - \cos \Gamma ( e. \cdot i \subseteq I \searrow \text{This in turn notification the notation}$$

1.1.1. Factorization of Generalized Permutahedra and Polymatroids. An important class of polytopes whose deformations are the focus of extensive study are polymatroids , which for the purpose of introduction are lattice polytopes with edges parallel to some vector e i -e j ∈ R n +1 for i = j in [ n + 1], [GGMS87]. They are also called generalized permutahedra in [Pos09, PRW08], M -convex sets in [Mur03], or type A n Coxeter matroid polytopes in [BGW03]. For polymatroids a factorization basis in the sense of Proposition 1.2 is known to be the geometric simplex and its faces, [FS05,ABD10], yet the orthodox technique of proof in this special case differs from ours and relies heavily on the structure of polymatroids. Explicitly, if M is a polymatroid, then there are unique weights y I ∈ Z for I ⊂ [ n +1] such that the factorization holds true, where /triangle I = conv( e i : i ∈ I ). This in turn justifies the notation

The sum, however, is merely formal since signed Minkowski sums do not commute. Giving a concise description of the weights that define a polytope is the content of the next problem.

$$M = \sum _ { I \subset [ n + 1 ] } y _ { I } \cdot \triangle _ { I }. \\ \text{al since sioned Minknowski}$$

Problem 3 (Polymatroid Representation Problem) . Let y I ∈ Z for I ⊂ [ n +1] be weights. Does there exist a polymatroid M such that (2) holds?

The set of such weights forms a cone, known as the deformation cone of type A n , [ACEP19]. We use Theorem 1.1 to give a characterization of this cone that is independent of submodular functions, distinguishing it from [ABD10, Prop. 2.3] and [AA17, Thm. 12.3].

Theorem 1.3 (Deformation Cone of Type A n ) . Let y I ∈ Z for I ⊂ [ n +1] . There exists a polytope M such that (2) holds if and only if

$$\sum _ { I \subset [ n + 1 ] } y _ { I } w _ { I } ^ { \uparrow } ( \pi ) \geq 0 \\, \dots \dots \dots \dots \dots \dots.$$

for all π ∈ Π [ n +1] , where w ↑ is the weight matrix of type A n .

The set Π [ n +1] consists of ordered partitions of [ n + 1] into n parts, which encode the combinatorics of the n -1 dimensional cones of the Braid arrangement. The weight matrix of type A n is a 0-1-matrix given in Section 5.2. As an example we provide the weight matrices of types A 2 and A 3 in Appendix A, showing that (3) is easily computed.

The theorem has an interesting interpretation in terms of matroids. The elements in the cone defined by (3) are in bijection with polymatroids in R n . Certain polymatroids are matroid basis polytopes [GGMS87, Thm. 4.1] and provide another description of matroids, much like the well known correspondence with submodular functions, e.g. [Edm03, Mur03]. The Gelfand-Serganova Theorem [GGMS87,BGW03] together with our characterization in Theorem 1.3 show that the weighted Minkowski sum description of polymatroids elicits significant information about the structure of the underlying matroid. To be more specific, note that the vertices of the matroid basis polytope correspond to the bases of the underlying matroid on [ n + 1]. The presence of an edge parallel to e i -e j in the basis polytope is equivalent to an exchange of i with j in the corresponding bases. On the level of weighted fans, the chambers correspond to bases, and the n -1 dimensional cones to possible exchanges. Once this identification has been made, a non-zero weight y · w ↑ ( π ) &gt; 0 on the n -1 cone π is equivalent to an exchange in the matroid defined by (2), and a weight of zero y · w ↑ ( π ) = 0 means that no such basis exchange π is present.

1.1.2. Factorization of Coxeter Polytopes. It is also worthwhile pointing out that these considerations generalize to all finite reflection groups, allowing us to study other classes of polytopes with rich combinatorial structure in a similar fashion. One class we emphasize is that of Coxeter Polytopes , or Φ -Polytopes , which are polytopes whose edges are parallel to roots in a given crystallographic system Φ, [BGW97, BGW03]. In fact polymatroids are nothing but type A n Coxeter lattice polytopes.

To our knowledge there is no systematic theory on the factorization of Coxeter polytopes. Proposition 1.2 shows that a basis expansion for such polytopes must exist. With the aide of the associated Weyl group associated to Φ the strategy that leads to Theorem 1.3 easily extends to obtain a characterization of the deformation cone for general Φ-Polytopes. We thereby obtain analogous results for any finite reflection group in the form of Theorem 6.7.

It is a priori not clear how to generalize the techniques used by other authors in the case of polymatroids to all Coxeter polytopes, mainly because they rely on the characterization of polymatroids via submodular functions, which does not easily extend to other root systems, cf. [AA17,ABD10,ACEP19]. In contrast, on the level of balanced and weighted fans we can use the action of the Weyl group on the Coxeter Arrangement of Φ to systematize calculations. For instance we explicitly treat the Coxeter group of type BC 2 in Example 6.9.

Organization. We recall some terminology from tropical geometry and a theorem of [Mik04] in Section 2. Section 3 contains the definition of extended weight functions and the proof of Theorem 1.1. This section answers the tropical division problem. Sections 4 to 6 contain applications and ramifications of Theorem 1.1. Section 4 is concerned with the polytope factorization problem, Section 5 with the polymatroid representation problem, and Section 6 extends our approach to general reflection groups.

/negationslash

Notation. For an integer n , we denote by [ n ] the set { 1 , . . . , n } . If I ⊂ [ n +1] and I = ∅ then /triangle I = conv( { e i : i ∈ I } ) ⊂ R n +1 denotes the n -dimensional simplex embedded into R n +1 , and conv denotes the convex hull. We work in the tropical max-plus algebra, defined by a ⊕ b := max { a, b } and a /circledot b := a + , componentwise for b a, b ∈ R n . For a tropical polynomial f , we denote its tropical variety viewed as a set by V ( f ), and its tropical variety viewed as a n -1 dimensional polyhedral complex by T ( f ). For a polytope P we denote by N P its normal fan, and the symbol ∧ is used for the refinement of fans or polyhedral complexes. If x ∈ R n , then x + := max { x, 0 } and x -:= x + -x denote the positive and negative parts.

Acknowledgements. I thank Ngoc Mai Tran for pointing out to me the tropical division problem and some of its ramifications. This work would not have been started without her initiative. Her comments on Section 5.1 were greatly appreciated. My thanks extend to Komei Fukuda for an interesting discussion, the questions for further research he raised and the encouragement he offered. I thank Alex Fink for pointing out several errors and and providing detailed feedback on this manuscript.

## 2. Preliminaries

2.1. Tropical Polynomials. We work in the tropical max-plus algebra. This is R equipped with the algebraic operations a ⊕ b := max { a, b } and a /circledot b := a + , which turn ( b R , ⊕ /circledot , ) into a semi-ring that lacks an additive identity. The operations are extended to R n componentwise. A tropical polynomial function on R n is a piecewise affine and convex map

$$f ( x ) & = \bigoplus _ { a \in A } ( v _ { a } \odot x ^ { \odot a } ) \\ \text{nd a function } n \cdot A \to \mathbb { R } \ \text{The set } \mathcal { V } ( f ) \sim \mathbb { R } ^ { n } \text{ of points for which}$$

↦

If f, g and h are tropical polynomials such that f = g /circledot h , then we have the relation for a finite set A ⊂ Z n and a function v : A → R . The set V ( f ) ⊂ R n of points for which x → f ( x ) is not smooth is known as the tropical hypersurface defined by f , [MS15]. The coarsest n -1 dimensional polyhedral complex in R n with the property that f is affine on each cell will be denoted by T ( f ). Evidently the support of T ( f ) is V ( f ). Furthermore we write T ( f ) ≤ k for the k -skeleton, and T ( f ) k for the set of k -cells.

$$\mathcal { V } ( f ) = \mathcal { V } ( g \odot h ) = \mathcal { V } ( h ) \cup \mathcal { V } ( g ), \\ \mathfrak { w } \, \mathcal { W } \, \sum \, \left ( \mathfrak { w } \, \left ( \mathfrak { w } \, \right ) \, \mathfrak { w } \, \right ) \, \mathfrak { w } \, \left ( \mathfrak { w } \, \right ) \, \mathfrak { w } \, \right ) \, \mathfrak { w } \, \right ) \, \mathfrak { w } \, \right ).$$

and thus V ( h , ) V ( g ) ⊂ V ( f ), e.g. [Jos17]. This provides us with an immediate necessary condition for the tropical division problem.

2.2. Weighted and Balanced Complexes. Let Σ be a rational polyhedral complex, pure of dimension n -1. We view the complex Σ as weighted by means of a weight function w : Σ n -1 → N . Given a pair of cells τ ⊂ σ where σ ∈ Σ n -1 and τ ∈ Σ n -2 , let L Z ( τ ) and L Z ( σ ) be the Z linear spaces parallel to τ , and σ , respectively. Choose c Σ ,τ,σ to be the primitive vector contained in L Z ( σ ) which is orthogonal to L Z ( τ ) and points at σ . The latter condition means that t + c Σ ,τ,σ ∈ σ for some t ∈ τ . The linear functional c Σ ,τ ( σ, · ) : Z n → Z

represented by c Σ ,τ,σ is called the covector map at τ . We shall say that the complex Σ is balanced at τ if

$$\ u \ u v \ t \ t \ t \sum _ { \tau \subset \sigma } w ( \sigma ) c _ { \Sigma, \tau } ( \sigma, x ) & = 0 \mod L _ { \mathbb { Z } } ( \tau ) \quad \text{for all } x \in \mathbb { Z } ^ { n } \,. \\ \text{that $\mathcal{T}(f)$ is a balanced compilex if it is balanced at all its $n-2$ dimensional cells.}$$

We say that T ( f ) is a balanced complex if it is balanced at all its n -2 dimensional cells. Recall from [Mik04, Sec. 2] how to view T ( f ) as a rational, weighted and balanced polyhedral complex. By definition, each top-dimensional cell σ ∈ T ( f ) is contained in the intersection-locus of two affine functions { x : v a + a x · = v a ′ + a ′ · x } for some distinct a, a ′ ∈ A . The exponents a ∈ A of the tropical polynomial can thus be used to define the covector maps, which we shall denote by c f in this case. In particular the complex T ( f ) is pure of dimension n -1 and rational. The coefficients v a for a ∈ A can be lifted to ( a, v a ) ∈ A × R n . By projecting the bounded faces of conv( { ( a, v a ) + R ≥ 0 · (0 , . . . , 0 1) : , a ∈ A } ) onto the Newton polytope Newt( f ) := conv( A ) ⊂ R n we obtain the regular subdivision ∆ f of Newt( f ) induced by f . For each n -1 cell σ in T ( f ) there is an edge e σ ∈ ∆ dual under the Legendre transform, f [Mik04, Prop. 2.1]. We set the weight w f ( σ ) to be one less than the number of lattice points in e σ , or equivalently the greatest common divisor of the coordinates in vector obtained by translating the edge to the origin. A combinatorial interpretation of this construction is found in [MS15, Sec. 3.3], and [FS97], [RG96, Sec. 13.1].

The following well-known characterization is fundamental in tropical geometry.

Theorem 2.1. [Mik04, Prop. 2.4] A rational, weighted, polyhedral complex Π ⊂ R n , pure of dimension n -1 is the tropical hypersurface of a tropical polynomial if and only if it is balanced.

The proof of this theorem is constructive. Given a rational, weighted and balanced complex Π, it provides us with a function f Π , unique up to an affine function, whose non-smooth points are precisely the support of Π.

## 3. The Division Problem

Let ( f, g ) be given tropical polynomials and denote their tropical varieties by T ( f ) and T ( g ). For these varieties we have the covector and weight functions c f , c g and w , w f g , respectively, as defined in Section 2.2. The following is straightforward from the definitions.

Lemma 3.1. Suppose V ( g ) ⊂ V ( f ) , and let c f and c g be the covector maps. View the refinement T := T ( g ) ∧ T ( f ) as a subcomplex of T ( f ) . Then covector map c g extends uniquely to T , in the sense that if τ ⊂ σ in T and τ ⊂ σ ′ in T ( g ) are pairs of n -2 and n -1 cells such that σ ⊂ σ ′ , then c T ,τ,σ equals c g,τ,σ ′ up to a unique sign. Moreover, the extension of c g agrees with c f on T ( f ) .

In case V ( g ) ⊂ V ( f ) we would like to extend w g to be defined on the finer complex T ( f ) in such a way that together with c f the weighted complex ( T ( f ) , w ↑ g , c f ) is balanced.

Definition 3.2. Let w g : T ( g ) n -1 → N be the weight function defined from the tropical polynomial g . The extended weight function w ↑ g : T ( f ) n -1 → N ∪{ } 0 is defined via:

$$w _ { g } ^ { \uparrow } ( \sigma ) & \colon = 0 & \text{ if there does not exist } \sigma ^ { \prime } \in \mathcal { T } ( g ) _ { n - 1 } \text{ s.t. } \sigma \subset \sigma ^ { \prime } \\ w _ { g } ^ { \uparrow } ( \sigma ) & \colon = w ( \sigma ^ { \prime } ) & \text{ if there is a } \sigma ^ { \prime } \in \mathcal { T } ( g ) _ { n - 1 } \text{ s.t. } \sigma \subset \sigma ^ { \prime }$$

for all σ ∈ T ( f ) n -1

$$w _ { g } ^ { \uparrow } ( \sigma ) \coloneqq w ( \sigma ^ { \prime } ) & & \text{if there is a $\sigma^{\prime} \in \mathcal{T}(g)_{n-1}$ s.t $\sigma\subset\sigma^{\prime}$} \\ \in \mathcal { T } ( f ) _ { n - 1 }.$$

Lemma 3.3. If V ( g ) ⊂ V ( f ) , then the complex T ( f ) is balanced with the extended weights w ↑ g . Moreover, the graph of any convex function defined from the extended weights w ↑ g on T ( f ) coincides with g up to an affine function.

/negationslash

/negationslash

/negationslash

To define a convex, piecewise affine function g ′ : R n → R from the triplet ( T ( f ) , c f , w ↑ g ), proceed inductively. Let D 0 be a component of R n \V ( f ), and set g ′ = 0 on D 0 . Now let D ′ be a component of R n \V ( f ) next to D where g ′ is already defined, and let σ = D ∩ D ′ in T ( f ) n -1 . Define

Proof. We prove that the complex is balanced. First assume that τ ∈ T ( f ) n -2 \T ( g ) n -2 . Let σ , . . . , σ 1 r ∈ T ( f ) n -1 the the cells meeting τ . Since τ ∈ T ( g ) n -2 , it must be that σ i ∈ T ( g ) n -1 for any i ∈ [ r ]. Let σ i be a cell having non-zero weight with respect to w ↑ g and consider σ ′ i ∈ T ( g ) n -1 with σ i ⊂ σ ′ i . There is a σ j = σ i in T ( f ) n -1 with σ j ⊂ σ ′ i , for otherwise τ ∈ T ( g ). By our definition we have w ↑ g ( σ i ) = w ↑ g ( σ j ). Now, σ i and σ j have codimension zero in σ ′ i and differ by a reflection along τ in σ ′ i . Thus by Lemma 3.1 we must have c f,τ ( σ i ) = -c f,τ ( σ j ) and hence the terms cancel. If follows that T ( f ) is balanced at τ . Now choose τ ∈ T ( g ) n -2 . Let σ , . . . σ 1 r ∈ T ( g ) n -1 \T ( f ) n -1 and σ , . . . σ ′ 1 ′ s ∈ T ( g ) n -1 be cells meeting τ . In the balancing condition the cells σ i contribute zero by the above consideration, and the cells σ ′ j contribute zero, since T ( g ) is balanced and the covectors coincide. Consequently T ( f ) is balanced as claimed.

$$g ^ { \prime } | _ { D ^ { \prime } } ( x ) \coloneqq l _ { D } ( x ) + w _ { g } ^ { \uparrow } ( \sigma ) d _ { f, \sigma } ( D ^ { \prime }, x ) + c, \quad \text{(6)} \text{ if the union linear functional}$$

where l D is the affine function extending g ′ on D d , f,σ ( D,x ′ ) is the unique linear functional represented by the primitive vector d f,σ,D ′ contained in Z n , orthogonal to L Z ( σ ) pointing at D ′ , and c is a constant chosen such that g ′ | D ′ agrees with g ′ | D on σ . The balancing condition ensures that this iterative procedure is well defined. Indeed, considering the components D i and the n -1 cells σ j meeting any n -2 cell τ modulo L R ( τ ), we see that the primitive vectors d f,σ,D and c f,τ,σ differ by a rotation around τ by a right angle. Finally, observe that if w ↑ g ( F ) = 0, then g ′ is affine on D ∪ D ′ . It is easy to see that g ′ coincides with g up to the affine function extending ( g -g ′ ) | D 0 . /square

Weights are a measure of the convexity of a function at a point where it is not differentiable. By extending the weight function we make the degree of convexity of f and g comparable. Having developed the necessary terminology to make Theorem 1.1 precise, we proceed to give its proof.

Proof of Theorem 1.1. Define the function w ↑ h : T ( f ) n -1 → Z via and suppose w f -w ↑ g ≥ 0, i.e. w ↑ h is an extended weight function. Then one defines a convex function h ′ via the inductive procedure in (6), unique up to an affine function. From the construction we see that this affine function can be chosen uniquely to obtain h satisfying f = g + h . Conversely, suppose that the tropical division problem for the pair ( f, g ) has a solution, and let h be a the tropical polynomial solving f = h /circledot g . Then T ( h ) is balanced with its weight function w h . Extend the weight functions w g and w h to w ↑ g and w ↑ h defined on T ( f ) as in Definition 3.2. Then by Lemma 3.3 and the construction in (6) it follows that w ↑ h = w f -w ↑ g . Moreover w ↑ h ≥ 0 by the definition of the extension and our assumption that h is a tropical polynomial, i.e. w h turns V ( h ) ⊂ V ( f ) into a weighted balanced complex. Thus w ↑ h is an extended weight function on T ( f ). /square

$$w _ { h } ^ { \uparrow } ( \sigma ) \coloneqq w _ { f } ( \sigma ) - w _ { g } ^ { \uparrow } ( \sigma ) \quad \text{for all } \sigma \in \mathcal { T } ( f ) _ { n - 1 }, \\ \lambda \cdot \quad \hat { \ }. \quad \hat { \ }. \quad \hat { \ }. \quad \hat { \ }. \quad \hat { \ }. \quad \hat { \ }. \quad \hat { \ }. \quad \hat { \ }.$$

One would be inclined to think that subtracting extended weight functions for two balanced complexes (5) one would automatically obtain a balanced complex. However, if the weights obtained this way are negative, then this is equivalent to reversing the co-orientation locally, contradicting the choice of a globally coherent orientation. From the proof of Lemma 3.3 we see that in this case the function constructed form the complex need not be convex. Thus it is crucial that the difference does not change sign once orientations have been fixed.

Remark 3.4 (Extensions of Theorem 1.1) . In foresight of our extensions below, we remark that Theorem 1.1 can be generalized in several ways.

Firstly, to the case of polyhedral complexes which are not rational. Formally this extension covers the case of 'tropical polynomials' (4) with a finite set of real exponents A ⊂ R n . While this may appear unnatural from the point of view of tropical geometry, it will be useful for the factorization of polytopes which do not have lattice realizations in Section 6. To this end, let us be given an inner product on R n with associated norm ‖ · ‖ . Define the covector similarly as in Section 2.2, but instead let c Σ ,τ,σ to be the vector of unit length with respect to ‖·‖ contained in L R ( σ ) which is orthogonal to L R ( τ ) and points at σ . The weight function in this case is given by the ‖ · ‖ length of the edge dual to σ in ∆ . f Finally the balancing condition in (5) is required to hold for all x ∈ R n , and modulo L R ( τ ). The proofs of this section continue to be true up to obvious modifications of the notation.

Secondly, to the case of tropical varieties arising from polynomials over more general fields and polyhedral complexes which are rational with respect to the value group, by following the more algebraic approach of Maclagan and Sturmfels [MS15, Sect. 3.3].

3.1. Examples on the Division Problem. Here we consider examples with n = 2. In the first the division problem has a solution, in the second it does not. In all figures heavy black lines indicate the tropical variety. Dotted lines indicate the cells in T ( f ) not contained in V ( g ) or V ( h ).

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00241v1-figure-fcd11527-618e-4bcd-8156-08f6f357567a.jpg)

- (a) Refinement T ( g ) ⊂ T ( f )

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00241v1-figure-794ef2f6-8a0a-4ec9-bf63-38b5abfe4ee4.jpg)

T

⊂ T

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00241v1-figure-61676736-295b-4ffd-944c-4a2f86296cba.jpg)

T

Figure 1. The division problem has a solution. Figure accompanies Example 3.5.

Example 3.5. In Figure 1, A = { (0 , 0) , (0 , 1) , (1 , 0) , (1 , 2) , (2 , 1) , (2 , 2) } and v (0 0) , = 0 and the other coefficients are chosen appropriately. B = { (0 , 0) , (0 , 1) , (1 , 0) , (1 , 1) } and u (0 0) , = 0. One computes that h is convex with lifted points in the tropical polynomial (0 , 0) and (1 , 1). Let us now compute the covectors and weights. We have

$$c _ { g, \tau } ( \sigma _ { 1 } ^ { g }, x ) = ( - 1, 0 ) \cdot x, \ \ c _ { g, \tau } ( \sigma _ { 3 } ^ { g }, x ) = ( 0, 1 ) \cdot x, \ \ c _ { g, \tau } ( \sigma _ { 4 } ^ { g }, x ) = ( 1, - 1 ) \cdot x$$

and w g ( σ g 1 ) = w g ( σ g 3 ) = w g ( σ g 4 ) = 1. The complex T ( g ) is balanced as τ , as expected. Moreover, c f,τ ( σ , x g 1 ) = ( -1 0) , · x, c f,τ ( σ , x f 2 ) = ( -1 1) , · x, c f ( σ , x f 3 ) = (0 , 1) · x, c f,τ ( σ , x f 4 ) = (1 , -1) · x and w f ( σ f 1 ) = w f ( σ f 2 ) = w f ( σ f 3 ) = 1 and w f ( σ f 4 ) = 2. We now extend w g by adding w ↑ g ( σ g 2 ) = 0, and verify w f -w g ≥ 0. Indeed, from the refined polyhedral complex T ( h ) we compute c h,τ = c f,τ . Moreover w ↑ h ( σ h 1 ) = w ↑ h ( σ h 3 ) = 0, so h is smooth on σ h 1 and σ g 3 , and with the remaining weights w ↑ h ( σ h 2 ) = w ↑ h ( σ h 4 ) = 1 the complex is balanced at the zero cell τ .

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00241v1-figure-1e717910-66a4-47b7-8304-8eead755f654.jpg)

T

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00241v1-figure-59f878c9-7791-4124-bc54-23bcad5026bd.jpg)

-

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00241v1-figure-e0c180e7-2ef7-456c-a27e-34c8354b05a2.jpg)

T

Figure 2. The division problem does not have a solution. Figure to Example 3.6.

Example 3.6. In Figure 2 we have B = { (0 , 2) , (2 , 0) , ( -2 0) (0 , , , -2) } and coefficients u b ( ) = 0 for all b ∈ B . Then c g,τ ( σ , x g 1 ) = ( -1 1) , · x , and w g ( σ g 1 ) = 2. One easily calculates the other covectors and finds that all weights are equal to 2. Now we define f via A = { (0 , 2) , (2 , 0) , ( -2 0) (0 , , , -2) , (0 , 1) , (1 , 0) , (0 , -1) , ( -1 0) , } and coefficients v ((0 , 2)) = v ((2 , 0)) = v (( -2 0)) = , v ((0 , -2)) = 0 and v ((0 , 1)) = v ((1 , 0)) = v (( -1 0)) = , v ((0 , -1)) = 1. We find that c f,τ ( σ , x f 1 ) = ( -1 1) , · x, c f,τ ( σ , x f 2 ) = (0 , -1) · x, c f,τ ( σ , x f 3 ) = (1 , 0) · x, c f,τ ( σ , x f 4 ) = (1 , -1) · x, with weights given by

$$w _ { f } ( \sigma _ { 1 } ^ { f } ) = 2, w _ { f } ( \sigma _ { 2 } ^ { f } ) = 1, w _ { f } ( \sigma _ { 3 } ^ { f } ) = 1, w _ { f } ( \sigma _ { 4 } ^ { f } ) = 1.$$

We see that the complex is balanced at the zero cell τ . Now we extend w to ( f

$$w _ { g } ^ { \uparrow } ( \sigma _ { 1 } ^ { f } ) = \ 2, w _ { g } ^ { \uparrow } ( \sigma _ { 2 } ^ { f } ) = 0, w _ { g } ^ { \uparrow } ( \sigma _ { 3 } ^ { f } ) = 0, w _ { g } ^ { \uparrow } ( \sigma _ { 4 } ^ { f } ) = 2.$$

g T ) to obtain .

However, w f ( F 4 ) -w ↑ g ( F 4 ) = 1 -2 &lt; 0. Hence, as depicted in panel (c), the function f -g is not convex, but a tent.

## 4. Minkowski Factorization of Polytopes

In this section we will specialize Theorem 1.1 and apply it to the Minkowski factorization of polytopes. A lattice polytope P can be viewed as a tropical polynomial f P with exponents corresponding to vertices of P , A := vert( P ) and constant coefficients v a = 0in (4). In this case the tropical hypersurface of f P coincides with the codimension 1 skeleton of the normal fan of P , and the Newton polytope of f P is Newt( f P ) = conv( P ) with trivial subdivision,

e.g. [MS15,Jos14]. From the identity Newt( f P ) = Newt( f R /circledot f Q ) = Newt( f R ) + Newt( f Q ) we see that the factorization of lattice polytopes P = Q + R in the Minkowski sense can be understood as a special case of the tropical division problem.

Definition 4.1. Let F be a pointed fan in R n pure of dimension n and w : F n -1 → N a weight function. We call the pair ( F , w ) a weighted fan , and say that it is balanced if the balancing condition (5) holds.

Note that the weight function w P on T ( f P ) as defined in Section 2.2 can be calculated from the vertices and edges of P alone. For our purposes, working with T ( f P ) or N ( P ) is equivalent, since we may view the normal fan N ( P ) as weighted by w P . Note that if N is a fan that refines N ( P ), then we may extend the weight function as specified in Definition 3.2.

$$w _ { P } ( F ) - w _ { Q } ^ { \uparrow } ( F ) \geq 0 \\ \vdots \lambda \, \mathbb { m } \, \mathbb { m } \, \left ( \mathcal { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathcal { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \mathbb { n } \, \mathbb { n } \, \mathbb { n } \, \mathbb { n } \, \mathbb { n } \, \mathbb { n } \, \mathbb { n } \, \mathbb { n } \, \mathbb { n } \, \mathbb { n } \, \mathbb { n } \, \mathbb { n } \, \mathbb { n } \, \mathbb { n } \, \mathbb { n } \, \mathbb { n } \, \mathbb { n } \, \mathbb { n } \, \mathbb { n } \, \mathbb { n } \, \mathbb { n } \, \mathbb { n } \, \mathbb { n } \, \mathbb { n } \, \mathbb { n } \, \mathbb { n } \mathbb { n } \, \mathbb { n } \, \mathbb { n } \, \mathbb { n } \, \mathbb { n } \, \mathbb { n } \, \mathbb { n } \, \mathbb { n } \, \mathbb { n } \, \mathbb { n } \, \mathbb { n } \, \mathbb { n } \, \mathbb { n } \, \mathbb { n } \, \mathbb { n } \, \mathbb { n } \, \mathbb { n } \, \mathbb { n } \, \mathbb { n } \, \mathbb { n } \, \mathbb { n } \, \mathbb { n } \, \mathbb { n } \, \mathbb { n } \, \mathbb { n }$$

Proposition 4.2. Let P, Q be lattice polytopes and denote by N ( P ) and N ( Q ) their balanced normal fans. There exists R such that P = R + Q if and only if N ( P ) refines N ( Q ) and for all n -1 dimensional cones F in N ( P ) . In this case the polytope R is the Newton polytope of the tropical polynomial f P -f Q .

Proof. The only claim which is not a direct consequence of Theorem 1.1 and the preceding discussion is the last part. Let r := f P -f Q , which by Theorem 1.1 is a tropical polynomial. From the identity Newt( r /circledot f Q ) = Newt( )+Newt( r f Q ), and P = Newt( f P ) and Q = Newt( f Q ) we get the claim. /square

We can use the machinery we developed to give a short proof of the following known result.

Proposition 4.3 ([DP18, Thm. 2.6]) . Let P and Q be lattice polytopes. Then there is a c ∈ Q ≥ 0 and a lattice polytope R such that P = c · Q + R if and only if P and P + Q have the same number of vertices.

Proof. Let N be the normal fan of P + Q . Since both P and P + Q are polytopes, the fan N weighted with w P + Q and w ↑ P must be balanced. Moreover P + Q implies that w P + Q ≥ w ↑ P , so w := w P + Q -w ↑ P ≥ 0 is a proper weight function on N and must be balanced. We must thus show w ↑ Q = w if and only if P and P + Q have the same number of vertices. If P and P + Q have the same number of vertices, then each n -1 cone in N must carry a strictly positive weight under w ↑ P . In this case Proposition 4.2 implies w = w ↑ Q . For the converse, suppose w P -w Q ≥ 0 on the normal fan of P , N ( P ). In this case any n -1 cone of N ( P ) carries a strictly positive weight. Moreover w P + w ↑ Q is a balanced weight function which also gives strictly positive weights to each n -1 cone. By Proposition 4.2, it is the weight function of P + Q , which must therefore have an equal number of vertices as P . /square

4.1. Balanced Coarsenings. Signed Minkowsi sums are intricate, for instance, they do not commute [Pos09, LT17]. Importantly, on the level of polyhedral fans, extended weight functions can be added and subtracted commutatively while respecting the non-negativity constraints imposed by Proposition 4.2. Consequently we are able to restore to a certain degree an Abelian nature of signed Minkowski sums. Traditionally the study via support functions has played a similar role for Minkowski factorization. This is also the direction explored e.g. in [LT17, Prop. 13] and [ACEP19], and more generally in [DLRS10, Sec. 2.5 and Thm. 9.5.6] Here we emphasize a different view by considering weighted fans . We now develop some terminology that will be useful in the following examples.

Definition 4.4 (Balanced Coarsening) . Let ( N 1 , w 1 ) and ( N 2 , w 2 ) be balanced fans and suppose that N 1 refines N 2 .

- (1) We call N 2 a strict balanced coarsening of N 1 if w 1 -w ↑ 2 ≥ 0 with strict inequality for at least one n -1 cone. In this case we write N /follows 2 b N 1 .

/negationslash

- (2) We call ( N 2 , w 2 ) a minimal balanced coarsening if there does not exist another strict balanced coarsening ( N ′ , w ′ ) of N 1 such that w , w 1 2 = w ′ up to multiplication by a constant and N /follows 2 b N /follows ′ b N 1 .

We shall call a Polytope which cannot be factorized into two different polytopes up to scaling indecomposable . Deciding decomposability of polytopes has important applications in algebra, algebraic geometry and theoretical computer science, e.g. [Ost75, She63, Smi87, GL01,Gao01,GS93]. For systematic development of polytope algebra, see [McM89].

Definition 4.5 (Minimal and Maximal Summands) . Let P be a lattice polytope and R a Minkowski summand. We call R a (Minkowski) minimal summand if it is indecomposable. We call R ′ a (Minkowski) maximal summand if P = R ′ + R and R is a minimal summand.

If P = R ′ + R then R ′ is maximal if and only if R is minimal. Indeed if P = R ′ + R and R is not minimal, then R = S + S ′ with S indecomposable. Hence P = S +( R ′ + S ′ ), and R ′ is not maximal.

Corollary 4.6. Let P be a lattice polytope. The maximal Minkowski summands of P are in bijection with the minimal balanced coarsenings of N ( P ) .

Since Q = { } 0 is a Minkowski summand of any polytope, we can define the maximal factorizations to be those decomposing P into maximal chains of minimal balanced coarsenings.

Corollary 4.7. Let P and Q are lattice polytopes. Suppose N ( Q ) /follows b N ( P ) . Any sequence of weighted refinements N ( Q ) = N /follows 0 b N /follows 1 b . . . N k -1 /follows b N k = N ( P ) corresponds exactly to a sequence ( S , S , . . . , S 0 1 k -1 , S k ) of lattice polytopes where S 0 = P , S k = Q and S i is an maximal Minkowski summand of S i -1 .

- 4.2. Polytope Factorization Bases. To get a canonical decomposition we must develop an appropriate notion of bases. Let N be the normal fan of some lattice polytope. Fix some n -2 cone A and denote by C A ( ) = { F , . . . , F 1 l } the set of n -1 cones F in N such that A ⊂ F . If we denote by c A ( F, · ) the covector functional, we obtain the linear map

↦

$$\lambda & \mapsto \phi ^ { A } ( \lambda ) = \sum _ { F \in C ( A ) } \lambda _ { F } c _ { A } ( F, \cdot ) \in \hom _ { \mathbb { Z } } ( \mathbb { Z } ^ { n } / L _ { \mathbb { Z } } ( A ), \mathbb { Z } ). \\ \intertext { n h o t h o m b o r o f n } \ m h o r o f n \quad 1 \, \text{conc} \, \text{in} \, \mathbb { M } \, \text{and} \, \text{cost}$$

Now let m be the number of n -1 cones in N and set

$$W ( \mathcal { N } ) = \bigcap _ { A \in \mathcal { N } _ { n - 2 } } \ker _ { \mathbb { Z } } \phi ^ { A } \cap \mathbb { N } _ { 0 } ^ { m } \\ \intertext { r n. 1. 2 } \int _ { \mathbb { R } } \dots \int _ { \mathbb { R } } \dots \int _ { \mathbb { R } } \dots \int _ { \mathbb { R } } \dots \int _ { \mathbb { R } } \dots \int _ { \mathbb { R } } \dots \int _ { \mathbb { R } } \dots \int _ { \mathbb { R } } \dots \int _ { \mathbb { R } } \dots \int _ { \mathbb { R } } \dots \int _ { \mathbb { R } } \dots \int _ { \mathbb { R } } \dots \int _ { \mathbb { R } } \dots \int _ { \mathbb { R } } \dots \int _ { \mathbb { R } } \dots \int _ \mathbb { R } } \dots$$

Definition 4.8. A N Polytope Factorization Basis is the set of polytopes B N ( ) = { B , . . . , B 1 r } associated via Proposition 4.2 to a lattice basis B ( N ) = { b , . . . , b 1 r } for the linear span of W ( N ) over Z which consists of non-negative vectors b i .

The fact that such a basis always exists follows from the proof below. We will exhibit two specific bases in the following sections. Having developed the necessary terminology to make Proposition 1.2 rigorous, let us stride to its proof.

Proof of Proposition 1.2. First observe that B ( N ) is non-empty. Indeed, since N is polytopal there is some weight function such that any n -1 cone of N carries a strictly positive weight. This implies that ⋂ A ∈N n -2 ker Z φ A contains some vector all of whose coordinates are strictly positive. In particular we conclude from this that there exists some basis of the kernel contained in N m . Fix such a basis of primitive vectors and call it B ( N ) = { b , . . . , b 1 r } . By Proposition 4.2 each b i corresponds to a unique polytope B i whose normal fan is refined by N . Denote this collection of polytopes B N ( ) = { B , . . . , B 1 r } . Now let Q be any lattice polytope such that the normal fan N Q is refined by N . Extend the weight function w Q on N Q to w ↑ Q on N . Since this turns N into a balanced fan by Proposition 3.3, it must be that w ↑ Q ∈ W ( N ) and thus there is a unique expansion

$$w _ { Q } ^ { \uparrow } = \sum _ { i _ { 1 } } ^ { m } y _ { i } b _ { i } \\ \circ \text{conclude that}.$$

$$Q + \sum _ { B \in \mathcal { B } ( \mathcal { N }$$

with y i ∈ Z . From Proposition 4.2 we conclude that which is the unique representation of Q we sought.

/square

Let us remark that Proposition 1.2 can be phrased in terms of polytopes P = { P , . . . , P 1 k } instead of normal fans. Indeed, in this case P = ∑ i P i is a polytope and its normal fan N P carries a positive weight on each n -1 cone. In particular, each P i can be uniquely factorized with respect to B N ( P ).

The factorization of polytopes can also be understood using abstract order theory for vector spaces. Since W ( N ) is a cone, it gives rise to a partial order /follows for polytopes, as follows. For polytopes P, Q with normal fans refined by N , we write P /follows Q if and only if w ↑ P -w ↑ Q ∈ W N ( ). Reflecting upon Proposition 4.2, we see that this is the very definition of signed Minkowski sums from the introduction and the basic insight that underlies the proof. Uniqueness of such a representation in our apparatus only uses simple facts from linear algebra. In particular we easily see that all polytope factorization bases have the same cardinality.

- 4.3. Examples on Minkowski Factorization. We first present an example of a polytope which does not admit a non-trivial factorization, i.e. an indecomposable polytope. The second example is a polytope which admits only one factorization. Finally we give an example of a polytope which admits three different maximal factorizations, one of which is of maximal length. We conclude this section by giving a polytope factorization basis with respect to which all of these examples have unique factorization.

Example 4.9 (Indecomposable polytope) . Here V ( Q ) = A = { (0 , 0) , (0 , 1) , (1 , 0) } and v = 0. We define f Q as in Section 2.1. The polyhedral complex T ( f Q ) is the normal fan of Q in Figure 3 with covector function

$$\begin{array} {$$

which becomes balanced with weight function

$$w _ { Q } ( F _ { 1 } ) = 1, \ \ w _ { Q }$$

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00241v1-figure-e7f91769-7c23-4f00-8d99-2f911dae0bf1.jpg)

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00241v1-figure-b1342da2-a554-4e76-8d01-410ebd6283cf.jpg)

- (a) A non-factorizable polytope Q
- (b) Tropical hypersurface of f Q

Figure 3. Non-factorizable polytope. Figure accompanies Example 4.9.

Clearly the only extended weight functions on T ( f Q ) 1 which are balanced are multiples of w Q or w = 0. Thus there is no non-trivial Minkowski summand contained in Q , in other words, Q is indecomposable.

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00241v1-figure-2c86ef03-428f-4350-b86d-20d3d9a55da5.jpg)

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00241v1-figure-c1381fa2-566b-448b-b76e-81897864121f.jpg)

- (a) A factorizable polytope P
- (b) Tropical hypersurface f P

Figure 4. Uniquely factorizable polytope. Figure to Example 4.10.

Example 4.10 (Uniquely factorizable polytope) . Here V ( P ) = A = { (0 , 0) , (0 , 1) , (2 , 0) , (1 , 1) } and v = 0. The polyhedral complex T ( f P ) is the normal fan of P with covector function

$$\cdots \cdots \cdots \cdots \cdots \cdots \cdots \$$

which becomes balanced with weight function

$$w _ { P } ( F _ { 1 } ) = 1, \ \ w _ { P }$$

Now consider the extended weight function

$$w _ { R } ( F _ { 1 } ) = 0, \ \ w _ { R } ( F _ { 2 } ) = 1, \ \ w _ { R } ( F _ { 3 } ) = 1, \ \ w _ { R } ( F _ { 4 } ) = 0,$$

which can be seen as the extension of the weight function of R = conv ( { (0 , 0) , (1 , 0) } ). Then w R + w Q = w P , and P = Q + R . The extended weight-functions w ,w R Q are the only weight functions which turn T ( f P ) into a balanced complex and satisfy w ,w Q R ≤ w P . Here the weight functions w P -w R and w P -w Q correspond to minimal balanced coarsenings.

Example 4.11 (Uniquely factorizable polytope, continued) . Consider a similar example with A = { (0 , 0) , (0 , 1) , (2 , 1) , (3 , 0) } and P ′ = conv( A ). Then P ′ = Q S S + , = conv( { (0 , 0) , (2 , 0) } ). However, S = R + R where R = conv( { (0 , 0) , (1 , 0) } ). Note that w S = 2 · w R from the previous example. Thus the weight functions w P ′ -w S and w P ′ -w Q correspond to minimal coarsening which correspond to the maximal summands S and Q of P ′ .

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00241v1-figure-9389c8e4-70ef-4b19-8976-dba5fa2d7a03.jpg)

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00241v1-figure-3f25a9eb-4084-4dec-a630-001b9216ec94.jpg)

(a) A factorizable polytope S

(b) Tropical hypersurface f S

Figure 5. A polytope with many factorizations. Figure to Example 4.12.

Example 4.12 (A decomposable polytope with many factorizations.) . In this example

$$V ( S ) = A = \{ ( 1, 0 ), ( 0, 1 ), ( 2, 0 ), ( 0, 2 ), ( 3, 1 ), ( 3, 2 ), ( 2, 3 ), ( 1, 3 ) \}$$

and v = 0. The polyhedral complex T ( f S ) is the normal fan of S with covector function

$$c _ { S } ( F _ { 1 } ) = ( - 1, 0 ), \quad c _ { S } ( F _ { 2 } ) = ( - 1, 1 ), \quad c _ { S } ( F _ { 3 } ) = ( 0, 1 ), \quad c _ { S } ( F _ { 4 } ) = ( 1, 1 ), \\ c _ { S } ( F _ { 5 } ) = ( 1, 0 ), \quad c _ { S } ( F _ { 6 } ) = ( 1, - 1 ), \quad c _ { S } ( F _ { 7 } ) = ( - 1, 0 ), \quad c _ { S } ( F _ { 8 } ) = ( - 1, - 1 ),$$

$$c _ { S } ( F _ { 5 } ) = ( 1, 0 ), \ \ c _ { S } ( F _ { 6 } ) = ( 1, - 1 ), \ \ c _ { S } ( F _ { 7 } ) = ( - 1, 0 ), \ \ c _ { S } ( F _ { 8 } ) = ( - 1, - 1 ),$$

which becomes balanced with weight function w S ( F i ) = 1 for i = 1 , . . . , 8.

We can now consider several other weight-functions which sum to w S and turn T ( f S ) into a balanced complex, which correspond to the following Minkowski factorizations of S :

$$S = \text{conv} ( ( 1, 0 ), ( 0, 1 ) ) + \text{conv} ( ( 0, 0 ), ( 0, 1 ) ) + \text{conv} ( ( 0, 0 ), ( 1, 0 ) ) + \text{conv} ( ( 0, 0 ), ( 1, 1 ) )$$

which is a factorization of maximal length, and

$$S = \text{conv} ( ( 0, 0 ), ( 0, 1 ), ( 1, 0 ) ) + \text{conv} ( ( 1, 0 ), ( 0, 1 ), ( 1, 1 ) ) + \text{conv} ( ( 0, 0 ), ( 1, 1 ) )$$

$$S = \text{conv} ( ( 0, 0 ), ( 1, 1 ), ( 0, 1 ) ) + \text{conv} ( ( 0, 0 ), ( 1, 0 ), ( 1, 1 ) ) + \text{conv} ( ( 1, 0 ), ( 0, 1 ) )$$

all of which are factorizations into indecomposable polytopes. Thus all correspond to minimal coarsenings. Note that scaling the polytope S preserves our construction. A polytope factorization basis that resolves this ambiguity is given in the following example.

Example 4.13 (Polytope Factorization Basis) . Consider again the normal fan N S = T ( f S ) in Figure 5, with covectors given in Example 4.12. A basis for W ( N S ) consisting of coordinate

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00241v1-figure-1f3b0383-a652-4e14-a9e5-5f6fa67af28e.jpg)

Figure 6. A polytope factorization basis B N ( S ). Figure to Example 4.13.

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00241v1-figure-9c7e4a2a-e305-479c-9841-0e4fe6a696c6.jpg)

(a)

A

N

polytope

P

1

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00241v1-figure-3c32ade1-5fb3-4dcf-a9ac-4eab3e0116aa.jpg)

N

Figure 7. Two N -Polytopes which are linear combinations of the polytopes in the factorization basis B N ( ) = { B , . . . , B 1 7 } of Example 4.13.

wise non-negative vectors B ( N S ) is given by the columns of the following matrix

Each basis vector corresponds to an indecomposable polytope in B N ( S ): the first 4 basis vectors correspond to 4 line segments, the last three basis vectors correspond to three triangles given in Figure 6. It is clear that Examples 4.9 and 4.10 possess unique factorization with respect to B N ( S ). For Example 4.12, we have S = B 1 + B 2 + B 3 + B 4 . Note that all other factorizations in Example 4.12 are linear combinations of this basis. For instance, in the third factorization conv((0 , 0) , (1 , 1) , (0 , 1)) + conv((0 , 0) , (1 , 0) , (1 , 1)) = B 1 + B 2 + B 3

$$\text{rs } B ( \mathcal { N } _ { S } ) \text{ is given by the columns of the follo} \\ \begin{bmatrix} b _ { 1 } \\ b _ { 2 } \\ b _ { 3 } \\ b _ { 4 } \\ b _ { 5 } \\ b _ { 6 } \\ b _ { 7 } \end{bmatrix} = \begin{bmatrix} 1 & 0 & 0 & 0 & 1 & 0 & 0 & 0 \\ 0 & 1 & 0 & 0 & 0 & 1 & 0 & 0 \\ 0 & 0 & 1 & 0 & 0 & 0 & 1 & 0 \\ 0 & 0 & 0 & 1 & 0 & 0 & 1 \\ 1 & 0 & 0 & 2 & 0 & 0 & 1 & 0 \\ 0 & 0 & 1 & 1 & 0 & 1 & 0 & 0 \\ 1 & 0 & 0 & 1 & 0 & 1 & 0 & 0 \end{bmatrix} \\ \text{expands to an indecomposable polytope in } \mathcal { B } \\ \text{line segments, the last three basis vectors corre:}$$

Example 4.14 (Basis Expansions) . Consider now the two polytopes in Figure 7, whose normal fans are refined by N S . The first polytope possesses the unique B N ( S ) basis expansion and the second unique expansion is obtained via

$$P _ { 1 } = 2 B _ { 1 } + B _ { 2 } + B _ { 3 } + B _ { 4 } - B _ { 6 } - B _ { 7 }, \\........................................................................................................................................................................................................$$

$$P _ { 2 } = 2 B _ { 1 } + B _ { 2 } + B _ { 4 } - P _ { 1 } = B _ { 6 } + B _ { 7 } - B _ { 3 }.$$

## 5. Weighted Minkowski Representation of Generalized Permutahedra

In the following we want to consider the factorization of a special class of lattice polytopes.

Definition 5.1. A lattice polytope in R n +1 such that each edge is parallel to some vector e i -e j for i = j is called a Generalized Permutahedron .

/negationslash

Generalized permutahedra as defined in [Pos09, Def. 6.1] nest many important classes of polytopes. For instance, they are the M -convex sets of [Mur03], include the classical permutahedron, polymatroids, associaheda [Pos09,FR05], and matroid basis polytopes. Here we study the Minkowski factorization of this class of polytopes and provide an answer to Problem 3 from the introduction.

We remark once more that a polytope factorization basis in the sense of Definition 4.8 for generalized permutahedra is given by {/triangle I : I ⊂ [ n + 1] } , cf . [ABD10]. The proof of [Pos09,AA17,ABD10] haevily relies on the characterization of generalized permutahedra via submodular functions. In Section 6.3 we develop a general method for calculating such bases.

## Definition 5.2. The unweighted fan

$$\stackrel { \mu } { \mathcal { U } } \coloneqq \bigwedge _ { \substack { I \subset [ n + 1 ] \\ | I | = 2 } } \mathcal { N } ( \triangle _ { I } ) / \mathbb { R } \cdot ( 1, \dots, 1 ) \subset \mathbb { R } ^ { n }$$

is called the type A n universal fan .

Note that the n -1 skeleton of the normal fan of any weighted sum of the geometric simplex and its faces is always refined by the n -1 skeleton of the universal fan. In the following we will need to develop the necessary notation to label the n -1 dimensional cones of the universal fan. Our approach is based on [BS94,Sta04,Zie12].

- 5.1. Cones of the Universal Fan. For I ⊂ [ n +1] denote by G I the graph on vertex set [ n +1] with edge { i, j } if and only if i = j are in I . Write

/negationslash for the associated graphical arrangements, and F ( G I ) for the fan generated by A ( G I ). For the complete graph G [ n +1] , A ( G [ n +1] ) is the Braid arrangement modulo its linearliy space. Since /triangle I ↪ → R n +1 we have that N /triangle ( I ) / R is refined by F ( G [ n +1] ).

$$\mathcal { A } ( G _ { I } ) = \{ x \in \mathbb { R } ^ { n + 1 } \ \colon \ x _ { i } - x _ { j } = 0, \ \{ i, j \} \subset I, i < j \} / \mathbb { R } \cdot ( 1, \dots, 1 ) \\ \sim \colon \text{$two$ a $concat $random $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $from $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $from $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $from $from $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $no $from $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $too $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $no $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $Random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $no $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $To $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $too $from $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $To $Random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $from $no $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $from $from $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $from $to $from $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $from $from $from $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $Random $to $from $from $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $from $to $random $from $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $from $to $from $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random $to $random$$

Let us develop notation to index the n -1 dimensional cones of the fan generated by the graphic arrangement A ( G [ n +1] ), and its sub-arrangements. For I = { i 1 , . . . , i k } ⊂ [ n +1] we denote by Π I the set or ordered partitions of I into k -1 parts, i.e. vectors ( A , . . . , A 1 k -1 ) consisting of non-empty and pairwise disjoint subsets A j ⊂ I , such that A i ∪ . . . ∪ A k -1 = I . Evidently exactly one A j contains two elements, while all others are singleton sets.

The n -1 dimensional cones of the fan F ( G I ) are in bijection with Π , as follows. I Let C be such a cone, and x a point in its relative interior. Then

$$x _ { \pi ( i _ { 1 } ) } > x _ { \pi ( i _ { 2 } ) } > \dots > x _ { \pi ( i _ { j - 1 } ) } > x _ { \pi ( i _ { j } ) } = x _ { \pi ( i _ { j + 1 } ) } > \dots > x _ { \pi ( i _ { k } ) }$$

for some permutation π on I . Indeed, since C has dimension n -1 it is contained in some hyperplane { x : x i r -x i s = 0 . Moreover, no other such equality can hold for otherwise } C would have dimension at most n -2. It follows that (8) is valid, and the ordered partition ( { π i ( 1 ) } , . . . , { π i ( j ) , π ( i j +1 ) } , . . . , { π i ( k ) } ) is in Π . I We shall denote this partition by π C ( ). Conversely, any π ∈ Π determines a cone of dimension I n -1 by virtue of

$$\{ x \in \mathbb { R } ^ { n + 1 } \ \colon \ x _ { \pi ( i _ { 1 } ) } > x _ { \pi ( i _ { 2 } ) } > \dots > x _ { \pi ( i _ { j - 1 } ) } > x _ { \pi ( i _ { j } ) } = x _ { \pi ( i _ { j + 1 } ) } > \dots > x _ { \pi ( i _ { k } ) } \}.$$

This cone modulo R · (1 , . . . , 1) is in F ( G I ) and will be denoted by C π ( ).

In particular, in case I = [ n + 1] the n -1 dimensional cones of the universal fan are indexed by Π [ n +1] .

Definition 5.3. Let I ⊂ [ n +1] and π ∈ Π [ n +1] . We say that π restricts to Π , if the ordered I partition π | I obtained by deleting the coordinates which contain elements that are not in I , is an element of Π . I

In the following we identify which n -1 dimensional cones of the universal fan refine those of the normal fan of the simplex and its faces. To this end let I = { i 1 , . . . , i k } ⊂ [ n +1] and consider the normal fan N /triangle ( I ) / R · (1 , . . . , 1) ⊂ R n . Any closed n -1 dimensional cone in the normal fan is of the form

$$C _ { r s } = \{ x \in \mathbb { R } ^ { n + 1 } / \mathbb { R } \cdot ( 1, \dots, 1 ) \ \colon \, x _ { i _ { r } } = x _ { i _ { s } }, x _ { i _ { r } } \geq x _ { i _ { t } } \text{ for all } \, t = 1, \dots, k \text{ and } t \neq r, s \}, \\ \text{for some no\ } no\, \text{ and } \, \text{-- with } \, \text{--\ } \text{--\ } \text{--\ } \text{--\ } \text{--\ } \text{--\ } \text{--\ } \text{--\ } \text{--\ } \text{--\ } \text{--\ } \text{--\ } \text{--\ } \text{--\ } \text{--\ } \text{--\ } \text{--\ } \text{--\ } \text{--\ } \text{--\ } \text{--\ } \text{--\ } \text{--\ } \text{--\ } \text{--\ } \text{--\ } \text{--\ } \text{--\ } \text{--\ } \text{--\ } \text{--\ } \text{--\ } \text{--\ } \text{--\ } \end{cases}$$

/negationslash for some pair s = r with s, r ∈ I . We thus have that the associated ordered partition π C ( rs ) ∈ Π has as first coordinate the set I { i r , i s } , followed by some permutation of I \{ i r , i s } .

/negationslash

- 5.2. Extension of Weights and Characterization Result. For each I ⊂ [ n +1] we use Definition 3.2 to extend the weight function w I := w /triangle I on N /triangle ( I ) / R · (1 , . . . , 1) to the n -1 dimensional cones of U , as follows. Let C ∈ U n -1 , then

$$w _ { I } ^ { \uparrow } ( C ) = \begin{cases} 1 & \text{if $C\subset C^{\prime}\in \mathcal{N}(\triangle_{I})/\mathbb{R}^{\prime}_{(1,\dots,1)_{n-1}}$} \\ 0 & \text{otherwise.} \end{cases}$$

Instead of cones we can define the weight function on the ordered partitions Π [ n +1] , giving a more convenient combinatorial description.

↦

Proof. Fix I and let C be an n -1 dimensional cone in U . The restriction π I ( C ) of π C ( ) encodes the position of the points in C relative to the fan F ( G I ). A cone in F ( G I ) of dimension n -1 is in N /triangle ( I ) / R · (1 , . . . , 1) if and only if the first coordinate of the associated permutation contains two elements, which are a subset of I . Hence C is contained in a normal cone if and only if π I ( C ) is in Π I and the first coordinate is a subset of I containing two elements. /square

Proposition 5.4 (Characterization of the weights) . Let π be in Π [ n +1] and I ⊂ [ n +1] . The extended weight function on ordered partitions w ↑ : Π [ n +1] →{ 0 1 , } is given by the following: w ↑ I ( π ) = 1 if and only if π restricts to Π I and the first coordinate of π | I is a two element set.

/negationslash

Evidently, in the case | I | = 2, the normal fan N /triangle ( I ) / R · (1 , . . . , 1) contains exactly one n -1 dimensional cone given by H ij = { x ∈ R n +1 : x i -x j = 0 } / R · (1 , . . . , 1) for i = j . Then, by definition, C ⊂ H ij if and only if I appears as a coordinate in π C ( ), i.e. π I ( C ) = I . We have now developed the necessary terminology to make Theorem 1.3 precise. In par- ticular this addresses Problem 3 from the introduction.

Proof of Theorem 1.3. Use Proposition 5.4 to identify each n -1 cone C of U with π ∈ Π [ n +1] . Then the sum (3) defines non-negative extended weights. Letting R = ∑ I ⊂ [ n +1] y + I /triangle I and Q = I ⊂ [ n +1] y -I /triangle I and applying Proposition 4.2 we get the desired representation. /square

∑ The inequality characterization of the cone of deformations in (3) is best written concisely in matrix notation, with weight matrix W ∈ { 0 1 , } U n -1 × 2 n +1 , whose entries are given by W C,I = w ↑ I ( C ) as identified in Proposition 5.4. Then our inequality reads W y · ≥ 0, which is easily calculated and verified.

- 5.3. Examples of Generalized Permutahedra. Tables 1, and 2 in Appendix A exhibit the extended weight functions and combinatorics of the n -1 dimensional cones of the universal fan U for n = 2 and n = 3, respectively. Example 5.5 provides a graphic example for n = 2.
- (a) The two-simplex /triangle { 1 2 3 , , }

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00241v1-figure-0fd70501-9b92-44b9-8cfb-e7c608add722.jpg)

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00241v1-figure-69cef872-4c01-4002-9f42-04ed15b2e2a0.jpg)

(b) The Universal fan U for n = 2

Figure 8. The two-simplex /triangle { 1 2 3 , , }

Example 5.5. Consider the case n = 2, then /triangle { 1 2 3 , , } = conv( { (1 , 0 0) (0 1 0) (0 0 1) , , , , , , , } ). Let y + [ n +1] = 1 , y + { 1 2 , } = 2 and y -{ 1 2 , } = 1, with all other coefficients being zero. One calculates

$$w _ { \{ 1, 2 \} } ^ { \uparrow } ( C _ { ( 1, \{ 2, 3 \} ) } ) & = 0, \quad \ w _ { \{ 1, 2 \} } ^ { \uparrow } ( C _ { ( 2, \{ 1, 3 \} ) } ) & = 0, \quad \ w _ { \{ 1, 2 \} } ^ { \uparrow } ( C _ { ( 3, \{ 1, 2 \} ) } ) & = 1 \\ w _ { \{ 1, 2 \} } ^ { \uparrow } ( C _ { ( \{ 2, 3 \}, 1 ) } ) & = 0, \quad \ w _ { \{ 1, 2 \} } ^ { \uparrow } ( C _ { ( \{ 1, 3 \}, 2 ) } ) & = 1$$

and

$$w ^ { \uparrow } _ { \{ 1, 2, 3 \} } ( C _ { ( 1, \{ 2, 3 \} ) } ) & = 0, \quad \ w ^ { \uparrow } _ { \{ 1, 2, 3 \} } ( C _ { ( 2, \{ 1, 3 \} ) } ) & = 0, \quad \ w ^ { \uparrow } _ { \{ 1, 2, 3 \} } ( C _ { ( 3, \{ 1, 2 \} ) } ) & = 0 \\ w ^ { \uparrow } _ { \{ 1, 2, 3 \} } ( C _ { ( \{ 2, 3 \}, 1 ) } ) & = 1, \quad \ w ^ { \uparrow } _ { \{ 1, 2, 3 \} } ( C _ { ( \{ 1, 3 \}, 2 ) } ) & = 1$$

Our condition is thus 2 w ↑ { 1 2 , } ( C π ) + 1 w ↑ { 1 2 3 , , } ( C π ) ≥ w ↑ { 1 2 , } ( C π ), which is easily verified to be true. Thus there is a Q such that Q + /triangle { 1 2 , } = 2 /triangle { 1 2 , } + /triangle { 1 2 3 , , } . This polytope can be seen to be /triangle { 1 2 , } + /triangle { 1 2 3 , , } .

/negationslash

Now consider instead the case where y + { 1 2 , } = 1 and y -{ 1 2 3 , , } = 1 with all other coefficients being zero. Then one sees that w ↑ { 1 2 3 , , } ( C ( { 2 3 , } , 1) ) ≤ w ↑ { 1 2 , } ( C ( { 2 3 , } , 1) ), hence there is no Q such that Q + /triangle { 1 2 3 , , } = /triangle { 1 2 , } .

Example 5.6. In Table 1 we calculated the extended weight function for n = 2. Considering polytopes up to translation, we want to identify those y = ( y { 1 2 , } , y { 2 3 , } , y { 1 3 , } , y { 1 2 3 , , } ) ∈ Z 4 for which there is a polytope Q solving (2). We get the following inequalities for y :

$$y _ { \{ 1, 2 \} } \geq 0, \ \ y _ { \{ 2, 3 \} } \geq 0, \ \ y _ { \{ 1, 3 \} } \geq 0$$

and

$$y _ { \{ 1, 2 \} } + y _ { \{ 1, 2, 3 \} } \geq 0, \quad y _ { \{ 2, 3 \} } + y _ { \{ 1, 2, 3 \} } \geq 0, \quad y _ { \{ 1, 3 \} } + y _ { \{ 1, 2, 3 \} } \geq 0. \\ \int \Pi \, \min \, \pi \, \left ( \pi \, \left ( \pi \, \right ) \, \left ( \pi \, \right ) \, \right ) \, \right ) \, \right )$$

From Example 5.5 we see that the first case respects the inequalities, while the second case violates them.

## 6. Factorization of Generalized Permutahedra for Reflection Groups

The approach taken in Section 5 readily generalizes root systems other than those of type A n considered above. This is achieved by replacing the group of permutations on [ n +1] by general reflection groups on R n . We refer to [Hum92,Bro89,AB08] for the basic terminology and results. Here we restrict ourselves to the standard scalar product on R n , and note that this also fixes an isomorphism with the dual ( R n ) ∗ . We denote by ‖ · ‖ the associated norm. The reader will easily be convinced by inspecting the proof of Theorem 1.1 that our approach generalizes to other scalar products. Also we appeal to Remark 3.4 to handle polytopes which need not have an integer realization.

- 6.1. Preliminaries from Finite Reflection Groups. Let H ⊂ R n be a hyperplane. By s H we denote the reflection along the hyperplane H , that is the unique element of the orthogonal group O ( R n ) fixing H and sending any vector α orthogonal to H to -α . By a (generalized) root system we mean a finite set of vectors Φ ⊂ R n called roots , with the property that for any α ∈ Φ we have span R ( α ) ∩ Φ = {-α, α } , and that Φ is invariant under the set of reflections s α := α H α for all α ∈ Φ. Here and in the following we assume that the span of Φ is R n , [AB08, Def. 1.5]. While uncustomary we shall also assume that roots have unit length with respect to the norm ‖ · ‖ . Observe that the reflections in s α ∈ O ( R n ) preserve these lengths.

To Φ we associate the Coxeter Arrangement Σ(Φ) consisting of the hyperplanes H α for α ∈ Φ. The reflections s α of the root system generate the associated Weyl group G ⊂ O ( R n ), which acts simply transitively on the chambers of Σ(Φ). Any Φ together with a total order on R n partitions Φ uniquely into a set of positive roots Φ + and negative roots Φ -. Contained in Φ + is a unique set of linearly independent roots, called simple roots ∆ ⊂ Φ + ⊂ Φ, that span R n over R . The reflections s α for α ∈ ∆ are termed simple reflections and denoted by r , . . . , r 1 n . The simple reflections are a minimal generating set for the Weyl group, that is, any g ∈ G can be expressed as a word of the form g = r i 1 · · · r i k for k ∈ N and r i being simple reflections. Moreover any reflection is involutive, and the Weyl group is a finitely presented Coxeter group subject to certain restrictions on the orders of pairwise products. This makes them particularly simple to compute, see [BB06, Sec. 4.8].

For any I ⊂ [ n ], the subgroup of the form

$$G _ { I } \coloneqq \langle r _ { i } \ \colon \ i \in I \rangle \subset G \\ \dots \dots,$$

is referred to as a standard parabolic subgroup . Subgroups conjugate to standard parabolic groups are called parabolic subgroups , which are themselves reflection groups but fix certain subspaces.

Definition 6.1. Let G = G (Φ) be the Weyl group associated to Φ acting on R n . Fix a point x ∈ R n which is not on any of the hyperplanes in Σ(Φ). The convex hull of the orbit of x under G , is called a ΦPermutahedron .

$$P _ { G } ( x ) = \text{conv} ( \{ g. x \ \colon \ g \in G \} )$$

The polytope P G ( x ) is invariant under the action of G . Moreover, since G acts simply and transitively on the chambers of Σ(Φ), every point g.x in the orbit of G is a vertex.

We have the following important Lemma, see e.g. [Hum92,BGW03,Hoh11], which lets us identify the face lattice of the family of polytopes P G with with the combinatorics of the Weyl group G .

Lemma 6.2. Let P G ( x ) be a Φ -Permutahedron.

- (1) Let F be k -dimensional face, and g ∈ G a word such that g.x ∈ F . Then there is I ⊂ [ n ] of cardinality k such that

$$F = g. P _ { G _ { I } } ( x ),$$

in other words, each face is a Φ -Permutahedron of a parabolic subgroup.

- (2) For g, h ∈ G and I ⊂ [ n ] , we have g.F G I = h.F G I if and only if gG I = hG I . Equivalently, faces are parametrized by the cosets G/G I for I ⊂ [ n ] .
- (3) The face lattice of P G is isomorphic to the poset of parabolic subgroups, that is, g.F G I ⊂ h.F G J if and only if gG I ⊂ hG J .

/negationslash

Remark 6.3. For the root system of type A n , e.g. Φ = ˜ { e i -e j ∈ R n +1 : i = j, i, j ∈ [ n +1] , } the Weyl group is isomorphic to the permutations on [ n + 1]. Note that the dimension of the span of Φ is ˜ n , and we harmonize the exposition in this section with that of the previous sections by quotienting the lineality space R · (1 , . . . , 1). In this case the permutahedron for A n is just the classical permutahedron, and Lemma 6.2 formalizes the well known statments that faces of the permutahedron are again permutahedra, parametrized by certain ordered partitions [Zie12, Sec. 0]. The set Π [ n +1] , as defined in Section 5.1 is nothing but the collection of parabolic subgroups of order two. In particular it indexes the edges of the permutahedron, which are in correspondence with the n -1 cones of the Braid arrangement. We relied on this fact in our construction of Section 5 and will use its generalization it in the following.

- 6.2. Coxeter Polytopes and Cones of the Coxeter Arrangement. We come to a core definition given in [BGW03] which is related to Coxeter Matroids. We note, however, that there is a discord in the choice of terminology in the literature. Our definition below follows [BGW03] in calling deformations of a Φ-Permutahedron, a Φ-Polytope or a Coxeter polytope . Like [Pos09] we call A n -polytopes generalized permutahedra . This was the class or polytopes discussed in Section 5. However, 'generalized permutahedra' is also the terminology used by other authors for what we call Φ-Permutahedra, e.g. [Hoh11,BGW03].

Definition 6.4 (Φ-Polytope) . A polytope P ⊂ R n whose edges are parallel to roots in Φ will be called a Coxeter Polytope or a Φ -Polytope .

From the considerations in [ACEP19] and [Pos09], we see that Coxeter polytopes can be obtained by deformation of Φ-Permutahedra, which geometrically correspond to parallel shifting of facet defining hyperplanes. Observe that the normal fan of any Φ-Polytope is refined by the Coxeter Arrangement Σ(Φ). To apply Theorem 1.1 we must understand how the n -2 faces intersect with the n -1 faces, and how covector map from Section 2 behaves under the action of the Weyl group. For the root system of type A n this was done in Section 5 using the symmetric group, here we rely on the terminology of abstract reflection groups.

/negationslash

In the following we identify the covectors in the sense of Section 2.2 with roots. Let A be a n -2 cone in Σ(Φ) and write C A ( ) be the set of n -1 cones F such that F ∩ A = A . Let { α , . . . , α 1 k } ⊂ Φ + be the maximal subset of positive roots such that A ⊂ ⋂ i ∈ [ k ] H α i . Since reflections are involutive, by Lemma 6.2, for any F ∈ C A ( ) there is a unique F ′ ∈ C A ( ) such that F = F ′ , F ∩ F ′ = A and F, F ′ ∈ H α i for some i ∈ [ k ]. We arbitrarily label F + i := F and F -i := F ′ and observe that C A ( ) contains 2 k cones. We denote the covectors of Σ(Φ) of an n -1 cone F with n -2 face A by c Φ ,A,F . With our notation we have the relation c Φ ,A,F + i = -c Φ ,A,F -i . We remark once more that here the covectors are not assumed to be

primitive, but have unit length with respect to ‖ · ‖ . Our discussion here carries over to the case of primitive covectors and roots.

Lemma 6.5. Let A be an n -2 cone and let C A ( ) = { F + 1 , F -1 , . . . , F + k , F -k } be the n -1 cones with face A . Then

$$\sum _ { i \in [ k ] } w ( F _ { i } ^ { + } ) c _ { \Sigma, A } ( F _ { i } ^ { + }, x ) + w ( F _ { i } ^ { - } ) c _ { \Sigma, A } ( F _ { i } ^ { - }, x ) & = 0 \mod L _ { \mathbb { R } } ( A ) \quad \text{for all } x \in \mathbb { R } ^ { n } \quad \quad ( 9 ) \\ \text{holds if $and $onHu$ if}$$

holds if and only if

$$\L \cdots \L _ { \L } ^ { \L } \nu \sum _ { i \in [ k ] } w ( F _ { i } ^ { + } ) \alpha _ { i } - w ( F _ { i } ^ { - } ) \alpha _ { i } = 0 \mod L _ { \mathbb { R } } ( A ). & & ( 1 0 ) \\ \cdot & \text{the balance condition can be verified from the roots.}$$

In particular the balancing condition can be verified from the roots.

Proof. Consider R n /L R ( A ) /similarequal R 2 . In this case the covectors c Φ ,A,F + i and c Φ ,A,F -i are orthogonal to the roots α i and -α i . Fixing a rotation of R 2 by a right angle we obtain a linear transformation from the covectors to roots. Since the balancing conditions (9) and (10) are linear with respect to this rotation we get the claimed equivalence. /square

- 6.3. Coxeter Weight Matrix. Fix a root system Φ and consider the fan on Σ(Φ). Let m be the number of n -1 dimensional cones of the fan, and identify each such cone with a coordinate in [ m ]. Given a n -2 dimensional cone A of Σ(Φ), we have the linear map φ A : R m → hom ( R R /L R ( A , ) R ) defined via

↦

$$w & \mapsto \sum _ { F _ { i } ^ { + }, F _ { i } ^ { - } \in C ( A ) } ( w _ { F _ { i } ^ { + } } - w _ { F _ { i } ^ { - } } ) \alpha _ { i }. \\ \shortintertext { i \sim \lambda \sim \lambda \sim 1 } \sim \frac { 1 } { 2 } \sim \lambda \sim \lambda \sim \lambda \sim \lambda \sim \lambda \sim \lambda \sim \lambda \sim \lambda \sim \lambda \sim \lambda \sim \lambda \sim \lambda \sim \lambda \sim \lambda \sim \lambda \sim \lambda \sim \lambda \sim \lambda \sim \lambda \sim \lambda \sim \lambda \sim \lambda \sim \lambda \sim \lambda \sim \lambda \sim \lambda \sim \lambda \sim \lambda \sim \lambda \sim \lambda \sim \lambda \sim \lambda \sim \lambda \sim \lambda \sim \lambda \sim \lambda \sim \lambda \sim \lambda \sim \lambda \sim \lambda \sim \lambda \sim \lambda \sim \lambda \sim \lambda \sim \lambda \sim \lambda \sim \lambda \sim \lambda \sim \lambda \sim \lambda \sim \alpha \sim \alpha \sim \alpha \sim \alpha \sim \alpha \sim \alpha \sim \alpha \sim \alpha \sim \alpha \sim \alpha \sim \alpha \sim \alpha \sim \alpha \sim \alpha \sim \alpha \sim \alpha \sim \alpha \sim \alpha \sim \alpha \sim \alpha \sim \alpha \sim \alpha \sim \alpha \sim \alpha \sim \alpha \sim \alpha \sim \alpha \sim \alpha \sim \alpha \sim \alpha \sim \alpha \sim \alpha \sim \alpha \sim \alpha \sim \alpha \sim \alpha \sim \alpha \sim \alpha \sim \alpha \sim \alpha \sim \alpha \sim \alpha \sim \alpha \sim \alpha \sim \alpha \sim \alpha \sim \alpha \sim \alpha \sim \alpha \sim \alpha \sim \beta \sim \beta \sim \beta \sim \beta \sim \beta \sim \beta \sim \beta \sim \beta \sim \beta \sim \beta \sim \beta \sim \beta \sim \beta \sim \beta \sim \beta \sim \beta \sim \beta \sim \beta \sim \beta \sim \beta \sim \beta \sim \beta \sim \beta \sim \beta \sim \beta \sim \beta \sim \beta \sim \beta \sim \beta \sim \beta \sim \beta \sim \beta \sim \beta \sim \beta \sim \beta \sim \beta \sim \beta \sim \beta \sim \beta \sim \beta \sim \beta \sim \beta \sim \beta \sim \beta \sim \beta \sim \beta \sim \beta \sim \beta \sim \beta \sim \beta \sim \alpha \sim \alpha \sim \alpha \sim \alpha \sim \alpha \sim \alpha \sim \alpha \sim \alpha \sim \alpha \sim \alpha \sim \alpha \sim \alpha \sim \alpha \sim \alpha \sim \alpha \sim \alpha \sim \alpha \sim \alpha \sim \alpha \sim \alpha \sim \alpha \sim \alpha \sim \alpha \sim \alpha \sim \alpha \sim \alpha \sim \alpha \sim \alpha \sim \alpha \sim \alpha \sim \alpha \sim \alpha \sim \alpha \sim \alpha \sim \alpha \sim \alpha \sim \alpha \sim \alpha \sim \alpha \sim \alpha \sim \alpha \sim \alpha \sim \alpha \sim \alpha \sim \alpha \sim \alpha \sim \alpha \sim \alpha \sim \alpha \sim \gamma \quad \,.$$

We remark that the labelling of all n -1 cones in a hyperplane H α can be chosen consistently, and so can the association of covectors and roots, as a consequence of the fact that the Weyl group gives a consistent labelling. As in Section 4.2 certain elements of its kernel index balanced weighted fans.

Proposition 6.6. Let φ be the map associated to the root system Φ . Set

$$W ( \Phi ) \coloneqq \bigcap _ { A \in \Sigma ( \Phi ) _ { n - 2 } } \ker _ { \mathbb { R } } ( \phi ^ { A } ) \cap \mathbb { R } _ { \geq 0 } ^ { m } \,. \\ W / \delta \vee \ a r o \ i n \ h i s c o t i o n \ a n i t h \ a l l \, \delta \ D \alpha l u t o n c o$$

Then the elements in W (Φ) are in bijection with all Φ -Polytopes.

Proof. Firstly observe that W (Φ) is non-empty. Indeed, for x ∈ Σ(Φ) , we have that the Φc Permutahedron P = P G ( x ) has weight function w C &gt; 0 for all C ∈ Σ(Φ) n -1 . Since w turns Σ(Φ) into a balanced fan, we have that w ∈ W (Φ). For the proof of the claimed bijection observe that by Proposition 4.2 applied to the case Q = { } 0 , we have that any w ∈ W (Φ) defines a balanced fan and thus a polytope by Theorem 2.1, which must be a Φ polytope since its normal fan is refined by Σ(Φ). /square

We define a Φ Factorization Basis as in Definition 4.8, and denote it by B (Φ). The associated basis vectors of W (Φ) are denoted by B (Φ). Ever element B ∈ B (Φ) corresponds to a unique Φ-Polytope and has weight function b i ∈ B (Φ) ⊂ W (Φ). As an immediate consequence of Propositions 1.2 and 6.6 we obtain the following result which generalizes the known factorization of polymatroids to Coxeter polytopes and simultaneously answers Problem 3 for this class of polytopes.

Theorem 6.7. Let Φ be a root system, B (Φ) a Φ polytope factorization basis, and B (Φ) the associated vector space basis. Then the following assertions hold.

- (1) If P is a Φ -Polytope there is a unique set of weights { y B ∈ R : B ∈ B (Φ) } , such that

$$P + \sum _ { B \in \mathcal { B } ( \Phi ) } y _ { B } ^ { - } B = \sum _ { B \in \mathcal { B } ( \Phi ) } y _ { B } ^ { + } B.$$

- (2) If { y B ∈ R : B ∈ B (Φ) } are weights, then there exists a Φ -Polytope P such that (11) holds if and only if

$$\sum _ { B \in \mathcal { B } ( \Phi ) } y _ { B } b _ { B } & \geq 0, \\. \quad. \quad.$$

where the inequality is understood component-wise.

In the following example we explicit a basis of polytopes sufficient to factorize all Coxeter polytopes for the root system of type BC 2 .

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00241v1-figure-fc70a893-0ba3-4700-b949-b1bc8c7ebbae.jpg)

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00241v1-figure-5ebe82d0-a4bf-46e2-a804-288c0ca9e3c7.jpg)

- (a) Cayley Graph of type B 2 reflection group
- (b) Parabolic Subgroups for type B 2 group

Figure 9. Cayley graph and fan lattice labeled by parabolic subgroups. Figure accompanies Example 6.8.

Example 6.8. Consider Figure 9, depicting the Weyl group on generators t, s with its Cayley graph. It can be seen to arise from a root system of type B 2 , which represents the symmetry group of the square. The covectors c C : R 2 → R in this case are given by the following matrix

$$\left ( \frac { 1 } { \sqrt { 2 } } \left ( \begin{matrix} 1 \\ 1 \end{matrix} \right ), \left ( \begin{matrix} 0 \\ 1 \end{matrix} \right ), \frac { 1 } { \sqrt { 2 } } \left ( \begin{matrix} - 1 \\ 1 \end{matrix} \right ), \left ( \begin{matrix} - 1 \\ 0 \end{matrix} \right ), \frac { 1 } { \sqrt { 2 } } \left ( \begin{matrix} - 1 \\ - 1 \end{matrix} \right ), \left ( \begin{matrix} 0 \\ - 1 \end{matrix} \right ), \frac { 1 } { \sqrt { 2 } } \left ( \begin{matrix} 1 \\ - 1 \end{matrix} \right ), \left ( \begin{matrix} 1 \\ 0 \end{matrix} \right ) \right ),$$

where we have labeled the n -1 dimensional cones in the columns in the following oder

$$( W _ { t }, W _ { s }, s W _ { t }, s t W _ { s }, s t s W _ { t }, t s t W _ { s }, t s W _ { t }, t W _ { s } ).$$

Panel ( b ) of Figure 9 depicts the fan Σ(Φ) for this root system with its n -1 dimensional cones labeled by parabolic subgroups. A basis consisting of coordinate-wise non-negative

vectors B (Φ) is given by the following vectors

| b 1         |  1         |   0 | 0   | 0     |   1 |   0 |   0 |   0 |
|-------------|-------------|-----|-----|-------|-----|-----|-----|-----|
| b 2         | 0           |   1 | 0   | 0     |   0 |   1 |   0 |   0 |
| b 3       | 0           |   0 | 1   | 0     |   0 |   0 |   1 |   0 |
| b 4    = |      0 |   0 | 0   | 1     |   0 |   0 |   0 |   1 |
| b 5         | 1           |   0 | 0   | 2 √ 2 |   0 |   0 |   1 |   0 |
| b 6         | 0           |   0 | √ 2 | 1     |   0 |   1 |   0 |   0 |
| b 7      |    √ 2   |   0 | 0   | 1     |   0 |   1 |   0 |   0 |

The corresponding polytopes are precesely those from Figure 6, however here weights correspond to edge lengths with respect to ‖ · ‖ , instead of their lattice lengths.

Example 6.9. The two polytopes from Figure 7 are Φ polytopes. The first polytope possesses the B (Φ) basis expansion and the second is obtained via

$$& \ x p { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text` } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \tilde { s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } {\text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s } } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \Text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{ s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} } { \text{s} }$$

$$\text{nd is obtained via} \\ P _ { 2 } = 2 B _ { 1 } + \sqrt { 2 } B _ { 2 } + \sqrt { 2 } B _ { 4 } - P _ { 1 } = B _ { 6 } + B _ { 7 } - B _ { 3 }. \\ \text{ese evansions are unione with respect to $\mathcal{R}(\Phi)\}$}$$

Moreover, these expansions are unique with respect to B (Φ).

$$\text{APPENDIX A. W-MATRIX FOR } n = 2, 3$$

In the following we calculate the weight matrix of type A n for n = 2 and n = 3 using Proposition 5.4. Here we labeled the rows by elements of Π [ n +1] and the columns by subsets I ⊂ [ n +1] which correspond to the faces /triangle I ↪ →/triangle [ n +1] of the geometric simplex.

| Cones of the universal fan for n=2, and extended weights   | Cones of the universal fan for n=2, and extended weights   | Cones of the universal fan for n=2, and extended weights   | Cones of the universal fan for n=2, and extended weights   | Cones of the universal fan for n=2, and extended weights   |
|------------------------------------------------------------|------------------------------------------------------------|------------------------------------------------------------|------------------------------------------------------------|------------------------------------------------------------|
|                                                            | { 1 , 2 }                                                  | { 2 , 3 }                                                  | { 1 , 3 }                                                  | { 1 , 2 , 3 }                                              |
| ( { 1 , 2 } , 3)                                           | 1                                                          | 0                                                          | 0                                                          | 1                                                          |
| ( { 2 , 3 } , 1)                                           | 0                                                          | 1                                                          | 0                                                          | 1                                                          |
| ( { 1 , 3 } , 2)                                           | 0                                                          | 0                                                          | 1                                                          | 1                                                          |
| (1 , { 2 , 3 } )                                           | 0                                                          | 1                                                          | 0                                                          | 0                                                          |
| (2 , { 1 , 3 } )                                           | 0                                                          | 0                                                          | 1                                                          | 0                                                          |
| (3 , 1 , 2 )                                               | 1                                                          | 0                                                          | 0                                                          | 0                                                          |

{

}

|                                      | Cones of the universal fan for n=3, and extended weights   | Cones of the universal fan for n=3, and extended weights   | Cones of the universal fan for n=3, and extended weights   | Cones of the universal fan for n=3, and extended weights   | Cones of the universal fan for n=3, and extended weights   | Cones of the universal fan for n=3, and extended weights   | Cones of the universal fan for n=3, and extended weights   | Cones of the universal fan for n=3, and extended weights   | Cones of the universal fan for n=3, and extended weights   | Cones of the universal fan for n=3, and extended weights   |
|--------------------------------------|------------------------------------------------------------|------------------------------------------------------------|------------------------------------------------------------|------------------------------------------------------------|------------------------------------------------------------|------------------------------------------------------------|------------------------------------------------------------|------------------------------------------------------------|------------------------------------------------------------|------------------------------------------------------------|
|                                      | { 1 , 2 }                                                  | { 2 , 3 }                                                  | { 3 , 4 }                                                  | { 1 , 3 }                                                  | { 2 , 4 } { 1                                              | { 1 , 2 , 3 }                                              | { 1 , 2 , 4 }                                              | { 1 , 3 , 4 }                                              | { 2 , 3 , 4 }                                              | { 1 , 2 , 3 , 4 }                                          |
| ( { 1 , 2 } , 3 , 4)                 | 1                                                          | 0                                                          | 0                                                          | 0                                                          | 0                                                          | 1                                                          | 1                                                          | 0                                                          | 0                                                          | 1                                                          |
| ( { 1 , 2 } , 4 , 3)                 | 1                                                          | 0                                                          | 0                                                          | 0                                                          | 0 0 0                                                      | 1                                                          | 1                                                          | 0                                                          | 0                                                          | 1                                                          |
| ( { 1 , 3 } , 2 , 4)                 | 0                                                          | 0                                                          | 0                                                          | 1                                                          | 0 0                                                        | 1                                                          | 0                                                          | 1                                                          | 0                                                          | 1                                                          |
| ( { 1 , 3 } , 4 , 2)                 | 0                                                          | 0                                                          | 0                                                          | 1                                                          | 0 0                                                        | 1                                                          | 0                                                          | 1                                                          | 0                                                          | 1                                                          |
| ( { 1 , 4 } , 2 , 3)                 | 0                                                          | 0                                                          | 0                                                          | 0                                                          | 0 1                                                        | 0                                                          | 1                                                          | 1                                                          | 0                                                          | 1                                                          |
| ( { 1 , 4 } , 3 , 2)                 | 0                                                          | 0                                                          | 0                                                          | 0                                                          | 0 1                                                        | 0                                                          | 1                                                          | 1                                                          | 0                                                          | 1                                                          |
| ( { 2 , 3 } , 1 , 4)                 | 0                                                          | 1                                                          | 0                                                          | 0                                                          | 0 0                                                        | 1                                                          | 0                                                          | 0                                                          | 1                                                          | 1                                                          |
| ( { 2 , 3 } , 4 , 1)                 | 0                                                          | 1                                                          | 0                                                          | 0                                                          | 0 0                                                        | 1                                                          | 0                                                          | 0                                                          | 1                                                          | 1                                                          |
| ( { 2 , 4 } , 1 , 3)                 | 0                                                          | 0                                                          | 0                                                          | 0                                                          | 1 0                                                        | 0                                                          | 1                                                          | 0                                                          | 1                                                          | 1                                                          |
| ( { 2 , 4 } , 3 , 1)                 | 0                                                          | 0                                                          | 0                                                          | 0                                                          | 1 0                                                        | 0                                                          | 1                                                          | 0                                                          | 1                                                          | 1                                                          |
| ( { 3 , 4 } , 1 , 2)                 | 0                                                          | 0                                                          | 1                                                          | 0                                                          | 0 0                                                        | 0                                                          | 0                                                          | 1                                                          | 1                                                          | 1                                                          |
| ( { 3 , 4 } , 2 , 1)                 | 0                                                          | 0                                                          | 1                                                          | 0                                                          | 0 0                                                        | 0                                                          | 0                                                          | 1                                                          | 1                                                          | 1                                                          |
| (3 , { 1 , 2 } , 4)                  | 1                                                          | 0                                                          | 0                                                          | 0                                                          | 0 0                                                        | 0                                                          | 1                                                          | 0                                                          | 0                                                          | 0                                                          |
| (4 , { 1 , 2 } , 3)                  | 1                                                          | 0                                                          | 0                                                          | 0                                                          | 0 0                                                        | 1                                                          | 0                                                          | 0                                                          | 0                                                          | 0                                                          |
| (2 , { 1 , 3 } , 4)                  | 0                                                          | 0                                                          | 0                                                          | 1                                                          | 0 0                                                        | 0                                                          | 0                                                          | 1                                                          | 0                                                          | 0                                                          |
| (4 , { 1 , 3 } , 2)                  | 0                                                          | 0                                                          | 0                                                          | 1                                                          | 0 0                                                        | 1                                                          | 0                                                          | 0                                                          | 0                                                          | 0 0                                                        |
| (2 , { 1 , 4 } , 3)                  | 0 0                                                        | 0 0                                                        | 0 0                                                        | 0 0                                                        | 0 1 0                                                      | 0                                                          | 0 1                                                        | 1 0                                                        | 0 0                                                        | 0                                                          |
| (3 , { 1 , 4 } , 2)                  |                                                            | 1                                                          | 0                                                          |                                                            | 1 0                                                        | 0 0                                                        | 0                                                          | 0                                                          | 1                                                          | 0                                                          |
| (1 , { 2 , 3 } , 4) (4 , 2 , 3 , 1)  | 0 0                                                        | 1                                                          | 0                                                          | 0 0                                                        | 0 0 0                                                      | 1                                                          | 0                                                          | 0                                                          | 0                                                          | 0                                                          |
| (1 , { 2 , 4 } , 3)                  | 0                                                          | 0                                                          | 0                                                          |                                                            | 1 0                                                        | 0                                                          | 0                                                          | 0                                                          | 1                                                          | 0                                                          |
| { } (3 , 2 , 4 , 1)                  | 0                                                          | 0                                                          | 0                                                          | 0 0                                                        | 1 0                                                        | 0                                                          | 1                                                          | 0                                                          | 0                                                          | 0                                                          |
| { } (1 , 3 , 4 , 2)                  | 0                                                          | 0                                                          | 1                                                          | 0                                                          | 0 0                                                        | 0                                                          | 0                                                          | 0                                                          | 1                                                          | 0                                                          |
| { }                                  |                                                            |                                                            | 1                                                          | 0                                                          | 0                                                          | 0                                                          | 0                                                          | 1                                                          | 0                                                          | 0                                                          |
| (2 , { 3 , 4 } , 1) (3 , 4 , 1 , 2 ) | 0 1                                                        | 0 0                                                        | 0                                                          | 0                                                          | 0 0 0                                                      | 0                                                          | 0                                                          | 0                                                          | 0                                                          | 0                                                          |
| { } (4 , 3 , { 1 , 2 } )             | 1                                                          | 0                                                          | 0                                                          | 0                                                          | 0 0                                                        | 0                                                          | 0                                                          | 0                                                          | 0                                                          | 0                                                          |
| (2 , 4 , { 1 , 3 } )                 | 0                                                          | 0                                                          | 0                                                          | 1                                                          | 0 0                                                        | 0                                                          | 0                                                          | 0                                                          | 0                                                          | 0                                                          |
| (4 , 2 , { 1 , 3 } )                 | 0                                                          | 0                                                          | 0                                                          | 1                                                          | 0 0                                                        | 0                                                          | 0                                                          | 0                                                          | 0                                                          | 0                                                          |
|                                      |                                                            | 0                                                          |                                                            |                                                            | 0 1                                                        | 0                                                          | 0                                                          | 0                                                          |                                                            |                                                            |
| (2 , 3 , { 1 , 4 } ) , , ,           | 0 0                                                        | 0                                                          | 0 0                                                        | 0 0                                                        | 0 1                                                        | 0                                                          | 0                                                          | 0                                                          | 0 0                                                        | 0 0                                                        |
| (3 2 { 1 4 } )                       |                                                            |                                                            |                                                            |                                                            | 0                                                          |                                                            |                                                            |                                                            | 0                                                          | 0                                                          |
| (1 , 4 , { 2 , 3 } )                 | 0                                                          | 1                                                          | 0                                                          | 0                                                          | 0                                                          | 0                                                          | 0                                                          | 0                                                          |                                                            |                                                            |
| (4 , 1 , { 2 , 3 } )                 | 0                                                          | 1                                                          | 0                                                          | 0                                                          | 0 0                                                        | 0                                                          | 0                                                          | 0                                                          | 0                                                          | 0                                                          |
| (1 , 3 , { 2 , 4 } )                 | 0                                                          | 0                                                          | 0                                                          | 0                                                          | 1 0                                                        | 0                                                          | 0                                                          | 0                                                          | 0                                                          | 0                                                          |
| (3 , 1 , { 2 , 4 } )                 | 0                                                          | 0                                                          | 0                                                          | 0                                                          | 1 0                                                        | 0                                                          | 0                                                          | 0                                                          | 0                                                          | 0                                                          |
| (1 , 2 , { 3 , 4 } )                 | 0                                                          | 0                                                          | 1                                                          | 0                                                          | 0 0                                                        | 0                                                          | 0                                                          | 0                                                          | 0                                                          | 0                                                          |
| (2 , 1 , 3 , 4 )                     | 0                                                          | 0                                                          | 1                                                          | 0                                                          | 0 0                                                        | 0                                                          | 0                                                          | 0                                                          | 0                                                          | 0                                                          |

{

}

## References

| [AA17]   | Marcelo Aguiar and Federico Ardila, Hopf monoids and generalized permutahedra , arXiv preprint arXiv:1709.07504 (2017). 3, 15                                                                                 |
|----------|---------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------|
| [AB08]   | ↑ Peter Abramenko and Kenneth S. Brown, Buildings: theory and applications , Vol. 248, Graduate Texts in Mathematics, Springer Science & Business Media, 2008. ↑ 18                                           |
| [ABD10]  | Federico Ardila, Carolina Benedetti, and Jeffrey Doker, Matroid polytopes and their volumes , Discrete & Computational Geometry 43 (2010), no. 4, 841-854. ↑ 2, 3, 15                                         |
| [ACEP19] | Federico Ardila, Federico Castillo, Christopher Eur, and Alexander Postnikov, Coxeter submodu- lar functions and deformations of Coxeter permutahedra , arXiv preprint arXiv:1904.11029 (2019). 3, 9, 19      |
| [BB06]   | ↑ Anders Bjorner and Francesco Brenti, Combinatorics of Coxeter groups , Vol. 231, Graduate Texts in Mathematics, Springer Science & Business Media, 2006. ↑ 18                                               |
| [BGW03]  | Alexandre V. Borovik, Izrail M. Gelfand, and Neil White, Coxeter matroids , Coxeter matroids, 2003, pp. 151-197. ↑ 2, 3, 18, 19                                                                               |
| [BGW97]  | Alexandre V. Borovik, Izrail M. Gelfand, and Neil White, Coxeter matroid polytopes , Annals of Combinatorics 1 (1997), no. 1, 123-134. ↑ 3                                                                    |
| [Bro89]  | Kenneth S. Brown, Buildings , Springer New York, 1989. ↑ 18                                                                                                                                                   |
| [BS94]   | Louis J. Billera and Aravamuthan Sarangarajan, The combinatorics of permutation polytopes. , Formal power series and algebraic combinatorics, 1994, pp. 1-23. ↑ 15                                            |
| [DLRS10] | J´sus e A. De Loera, J¨rg o Rambau, and Francisco Santos, Triangulations: Structures for algorithms and applications , Algorithms and Computation in Mathematics, Springer Berlin Heidelberg, 2010. 9         |
| [DP18]   | ↑ Antoine Deza and Lionel Pournin, Diameter, decomposability, and Minkowski sums of polytopes , Canadian Mathematical Bulletin (2018), 1-14. ↑ 9                                                              |
| [Edm03]  | Jack Edmonds, Submodular functions, matroids, and certain polyhedra , Combinatorial optimiza- tioneureka, you shrink!, 2003, pp. 11-26. ↑ 3                                                                   |
| [FR05]   | Sergey Fomin and Nathan Reading, Root systems and generalized associahedra , arXiv preprint math (2005). ↑ 15                                                                                                 |
| [FS05]   | Eva Maria Feichtner and Bernd Sturmfels, Matroid polytopes, nested sets and Bergman fans , Portugaliae Mathematica 62 (2005), no. 4, 437-468. 2                                                               |
| [FS97]   | ↑ William Fulton and Bernd Sturmfels, Intersection theory on toric varieties , Topology 36 (1997), no. 2, 335-353. 5                                                                                          |
| [Gao01]  | ↑ Shuhong Gao, Absolute irreducibility of polynomials via Newton polytopes , Journal of Algebra 237 (2001), no. 2, 501-520. ↑ 2, 10                                                                           |
| [GGMS87] | Izrail M. Gelfand, R. Mark Goresky, Robert D. MacPherson, and Vera V. Serganova, Combinato- rial geometries, convex polyhedra, and Schubert cells , Advances in Mathematics 63 (1987), no. 3, 301-316. ↑ 2, 3 |
| [GL01]   | Shuhong Gao and Alan Lauder, Decomposition of polytopes and polynomials , Discrete & Compu- tational Geometry 26 (2001), no. 1, 89-104. ↑ 2, 10                                                               |
| [GS93]   | Peter Gritzmann and Bernd Sturmfels, Minkowski addition of polytopes: computational complex- ity and applications to Gr¨bner o bases , SIAM Journal on Discrete Mathematics 6 (1993), no. 2, 246-269. ↑ 2, 10 |
| [Hoh11]  | Christophe Hohlweg, Permutahedra and associahedra: Generalized associahedra from the geometry of finite reflection groups , arXiv preprint arXiv:1112.3255 (2011). ↑ 18, 19                                   |
| [Hum92]  | James E. Humphreys, Reflection groups and Coxeter groups , Vol. 29, Cambridge university press, 1992. ↑ 18                                                                                                    |
| [Jos14]  | Michael Joswig, Essentials of tropical combinatorics , Book in preparation 1 (2014), 226. ↑ 9                                                                                                                 |
| [Jos17]  | Michael Joswig, The Cayley trick for tropical hypersurfaces with a view toward ricardian economics (Aldo Conca, Joseph Gubeladze, and Tim R¨mer, o eds.), Springer International Publishing, Cham, 2017. ↑ 4  |
| [LT17]   | Bo Lin and Ngoc Mai Tran, Linear and rational factorization of tropical polynomials , arXiv preprint arXiv:1707.03332 (2017). ↑ 1, 2, 9                                                                       |
| [McM89]  | Peter McMullen, The polytope algebra , Advances in Mathematics 78 (1989), no. 1, 76-130. 10                                                                                                                   |

[McM89] Peter McMullen, The polytope algebra , Advances in Mathematics 78 (1989), no. 1, 76-130. ↑ 10

[Mik04] Grigory Mikhalkin, Decomposition into pairs-of-pants for complex algebraic hypersurfaces , Topology 43 (2004), no. 5, 1035-1065. ↑ 1, 4, 5

[Mur03] Kazuo Murota, Discrete convex analysis , Vol. 10, Siam, 2003. ↑ 2, 3, 15

[MS15] Diane Maclagan and Bernd Sturmfels, Introduction to tropical geometry , Vol. 161, American Mathematical Soc., 2015. ↑ 4, 5, 7, 9

[Ost75] Alexander M. Ostrowski, On multiplication and factorization of polynomials, i. lexicographic orderings and extreme aggregates of terms , aequationes mathematicae 13 (1975), no. 3, 201-228. ↑ 2, 10

[Pos09]

[PRW08] Alex Postnikov, Victor Reiner, and Lauren Williams, Faces of generalized permutohedra , Doc. Math 13 (2008), no. 207-273, 51. ↑ 2

Alexander Postnikov, Permutohedra, associahedra, and beyond , International Mathematics Research Notices 2009 (2009), no. 6, 1026-1106. ↑ 2, 9, 15, 19

[RG96] J¨rgen Richter-Gebert, u Realization spaces of polytopes , Lecture Notes in Mathematics, Springer Berlin Heidelberg, 1996. ↑ 5

[She63] Geoffrey C. Shephard, Decomposable convex polyhedra , Mathematika 10 (1963), no. 2, 89-95. ↑ 2, 10

[Smi87]

[Sta04]

Zeev Smilansky, Decomposability of polytopes and polyhedra , Geometriae Dedicata 24 (1987), no. 1, 29-49. ↑ 2, 10

[Zie12] G¨ unter M. Ziegler, Lectures on polytopes , Vol. 152, Springer Science &amp; Business Media, 2012. ↑ 15, 19

Richard P. Stanley, An introduction to hyperplane arrangements , Geometric combinatorics 13 (2004), 389-496. ↑ 15

ETH Z¨ urich, Department of Mathematics, R¨mistrasse 101, 8092 Z¨rich, Switzerland a u E-mail address : robert.crowell@math.ethz.ch
Robert Alexander Crowell
The Tropical Division Problem and the Minkowski Factorization of Generalized Permutahedra
Given two tropical polynomials $f, g$ on $\mathbb{R}^n$, we provide a
characterization for the existence of a factorization $f= h \odot g$ and the
construction of $h$. As a ramification of this result we obtain a parallel
result for the Minkowski factorization of polytopes. Using our construction we
show that for any given polytopal fan there is a polytope factorization basis,
i.e. a finite set of polytopes with respect to which any polytope whose normal
fan is refined by the original fan can be uniquely written as a signed
Minkowski sum. We explicitly study the factorization of polymatroids and their
generalizations, Coxeter matroid polytopes, and give a hyperplane description
of the cone of deformations for this class of polytopes.