polytope ↗ reference
3077 papers tagged with this keyword
Mode Poset Probability Polytopes
Published
• View Publication
• BIB
A mode of a probability vector is a local maximum with respect to some vicinity structure on the set of elementary events. The mode inequalities cut out a polytope from the simplex of probability vectors. Related to this is the concept of strong modes. A strong mode of a distribution is an elementary event that has more probability mass than all its direct neighbors together. The set of probability distributions with a given set of strong modes is again a polytope. We study the vertices, the facets, and the volume of such polytopes depending on the sets of (strong) modes and the vicinity structures.
Polar Root Polytopes that are Zonotopes
Published in Séminaire Lotharingien de Combinatoire 73 (2015), B73a
• Search Publication
Let $\mathcal P_Φ$ be the root polytope of a finite irreducible crystallographic root system $Φ$, i.e., the convex hull of all roots in $Φ$. The polar of $\mathcal P_Φ$, denoted $\mathcal P_Φ^*$, coincides with the union of the orbit of the fundamental alcove under the action of the Weyl group. In this paper, we establishes which polytopes $\mathcal P_Φ^*$ are zonotopes and which are not. The proof is constructive.
On teaching sets of k-threshold functions
Published
• View Publication
• BIB
Let $f$ be a $\{0,1\}$-valued function over an integer $d$-dimensional cube $\{0,1,\dots,n-1\}^d$, for $n \geq 2$ and $d \geq 1$. The function $f$ is called threshold if there exists a hyperplane which separates $0$-valued points from $1$-valued points. Let $C$ be a class of functions and $f \in C$. A point $x$ is essential for the function $f$ with respect to $C$ if there exists a function $g \in C$ such that $x$ is a unique point on which $f$ differs from $g$. A set of points $X$ is called teaching for the function $f$ with respect to $C$ if no function in $C \setminus \{f\}$ agrees with $f$ on $X$. It is known that any threshold function has a unique minimal teaching set, which coincides with the set of its essential points. In this paper we study teaching sets of $k$-threshold functions, i.e. functions that can be represented as a conjunction of $k$ threshold functions. We reveal a connection between essential points of $k$ threshold functions and essential points of the corresponding $k$-threshold function. We note that, in general, a $k$-threshold function is not specified by its essential points and can have more than one minimal teaching set. We show that for $d=2$ the number of minimal teaching sets for a 2-threshold function can grow as $Ω(n^2)$. We also consider the class of polytopes with vertices in the $d$-dimensional cube. Each polytope from this class can be defined by a $k$-threshold function for some $k$. In terms of $k$-threshold functions we prove that a polytope with vertices in the $d$-dimensional cube has a unique minimal teaching set which is equal to the set of its essential points. For $d=2$ we describe structure of the minimal teaching set of a polytope and show that cardinality of this set is either $Θ(n^2)$ or $O(n)$ and depends on the perimeter and the minimum angle of the polytope.
Pipe dream complexes and triangulations of root polytopes belong together
In this paper we show that the pipe dream complex associated to the permutation 1n(n-1)...2 can be geometrically realized as a triangulation of the vertex figure of a root polytope. Leading up to this result we show that the Grothendieck polynomial specializes to the h-polynomial of the corresponding pipe dream complex, which in certain cases equals the h-polynomial of canonical triangulations of root (and flow) polytopes, which in turn equals a specialization of the reduced form of a monomial in the subdivision algebra of root (and flow) polytopes. Thus, we connect Grothendieck polynomials to reduced forms in subdivision algebras and root (and flow) polytopes. We also show that root polytopes can be seen as projections of flow polytopes, explaining that these families of polytopes possess the same subdivision algebra.
Subword complexes via triangulations of root polytopes
Published
• View Publication
• BIB
Subword complexes are simplicial complexes introduced by Knutson and Miller to illustrate the combinatorics of Schubert polynomials and determinantal ideals. They proved that any subword complex is homeomorphic to a ball or a sphere and asked about their geometric realizations. We show that a family of subword complexes can be realized geometrically via regular triangulations of root polytopes. This implies that a family of $β$-Grothendieck polynomials are special cases of reduced forms in the subdivision algebra of root polytopes. We can also write the volume and Ehrhart series of root polytopes in terms of $β$-Grothendieck polynomials.
Subgraph Polytopes and Independence Polytopes of Count Matroids
Published
• View Publication
• BIB
Given an undirected graph, the non-empty subgraph polytope is the convex hull of the characteristic vectors of pairs (F, S) where S is a non-empty subset of nodes and F is a subset of the edges with both endnodes in S. We obtain a strong relationship between the non-empty subgraph polytope and the spanning forest polytope. We further show that these polytopes provide polynomial size extended formulations for independence polytopes of count matroids, which generalizes recent results obtained by Iwata et al. referring to sparsity matroids. As a byproduct, we obtain new lower bounds on the extension complexity of the spanning forest polytope in terms of extension complexities of independence polytopes of these matroids.
A geometric approach for the upper bound theorem for Minkowski sums of convex polytopes
Published
• View Publication
• BIB
We derive tight expressions for the maximum number of $k$-faces, $0\le{}k\le{}d-1$, of the Minkowski sum, $P_1+...+P_r$, of $r$ convex $d$-polytopes $P_1,...,P_r$ in $\mathbb{R}^d$, where $d\ge{}2$ and $r<d$, as a (recursively defined) function on the number of vertices of the polytopes.
Our results coincide with those recently proved by Adiprasito and Sanyal [2]. In contrast to Adiprasito and Sanyal's approach, which uses tools from Combinatorial Commutative Algebra, our approach is purely geometric and uses basic notions such as $f$- and $h$-vector calculus and shellings, and generalizes the methodology used in [15] and [14] for proving upper bounds on the $f$-vector of the Minkowski sum of two and three convex polytopes, respectively.
The key idea behind our approach is to express the Minkowski sum $P_1+...+P_r$ as a section of the Cayley polytope $\mathcal{C}$ of the summands; bounding the $k$-faces of $P_1+...+P_r$ reduces to bounding the subset of the $(k+r-1)$-faces of $\mathcal{C}$ that contain vertices from each of the $r$ polytopes.
We end our paper with a sketch of an explicit construction that establishes the tightness of the upper bounds.
Non-Planar On-Shell Diagrams
Published
• View Publication
• BIB
We initiate a systematic study of non-planar on-shell diagrams in N=4 SYM and develop powerful technology for doing so. We introduce canonical variables generalizing face variables, which make the dlog form of the on-shell form explicit. We make significant progress towards a general classification of arbitrary on-shell diagrams by means of two classes of combinatorial objects: generalized matching and matroid polytopes. We propose a boundary measurement that connects general on-shell diagrams to the Grassmannian. Our proposal exhibits two important and non-trivial properties: positivity in the planar case and it matches the combinatorial description of the diagrams in terms of generalized matroid polytopes. Interestingly, non-planar diagrams exhibit novel phenomena, such as the emergence of constraints on Plucker coordinates beyond Plucker relations when deleting edges, which are neatly captured by the generalized matching and matroid polytopes. This behavior is tied to the existence of a new type of poles in the on-shell form at which combinations of Plucker coordinates vanish. Finally, we introduce a prescription, applicable beyond the MHV case, for writing the on-shell form as a function of minors directly from the graph.
Arrangements of equal minors in the positive Grassmannian
Published
• View Publication
• BIB
We discuss arrangements of equal minors of totally positive matrices. More precisely, we investigate the structure of equalities and inequalities between the minors. We show that arrangements of equal minors of largest value are in bijection with sorted sets, which earlier appeared in the context of alcoved polytopes and Gröbner bases. Maximal arrangements of this form correspond to simplices of the alcoved triangulation of the hypersimplex; and the number of such arrangements equals the Eulerian number. On the other hand, we prove in many cases that arrangements of equal minors of smallest value are exactly weakly separated sets. Weakly separated sets, originally introduced by Leclerc and Zelevinsky, are closely related to the positive Grassmannian and the associated cluster algebra. However, we also construct examples of arrangements of smallest minors which are not weakly separated using chain reactions of mutations of plabic graphs.
Graph Isomorphism, Color Refinement, and Compactness
Published
• View Publication
• BIB
Color refinement is a classical technique used to show that two given graphs G and H are non-isomorphic; it is very efficient, although it does not succeed on all graphs. We call a graph G amenable to color refinement if it succeeds in distinguishing G from any non-isomorphic graph H. Tinhofer (1991) explored a linear programming approach to Graph Isomorphism and defined compact graphs: A graph is compact if its fractional automorphisms polytope is integral. Tinhofer noted that isomorphism testing for compact graphs can be done quite efficiently by linear programming. However, the problem of characterizing and recognizing compact graphs in polynomial time remains an open question.
Our results are summarized below:
- We show that amenable graphs are recognizable in time O((n + m)logn), where n and m denote the number of vertices and the number of edges in the input graph.
- We show that all amenable graphs are compact.
- We study related combinatorial and algebraic graph properties introduced by Tinhofer and Godsil. The corresponding classes of graphs form a hierarchy and we prove that recognizing each of these graph classes is P-hard. In particular, this gives a first complexity lower bound for recognizing compact graphs.
Codes for DNA Sequence Profiles
Published
• View Publication
• BIB
We consider the problem of storing and retrieving information from synthetic DNA media. The mathematical basis of the problem is the construction and design of sequences that may be discriminated based on their collection of substrings observed through a noisy channel. This problem of reconstructing sequences from traces was first investigated in the noiseless setting under the name of "Markov type" analysis. Here, we explain the connection between the reconstruction problem and the problem of DNA synthesis and sequencing, and introduce the notion of a DNA storage channel. We analyze the number of sequence equivalence classes under the channel mapping and propose new asymmetric coding techniques to combat the effects of synthesis and sequencing noise. In our analysis, we make use of restricted de Bruijn graphs and Ehrhart theory for rational polytopes.
An insight into the description of the crystal structure for Mirković-Vilonen polytopes
Published
• View Publication
• BIB
We study the description of the crystal structure on the set of Mirković-Vilonen polytopes. Anderson and Mirković defined an operator and conjectured that it coincides with the Kashiwara operator. Kamnitzer proved the conjecture for type A and gave an counterexample for type C_{3}. He also gave an explicit formula to calculate the Kashiwara operator for type A. In this paper we prove that a part of the AM conjecture still holds in general, answering an open question of Kamnitzer (2007). Moreover, we show that although the formula given by Kamnitzer does not hold in general, it is still valid in many cases regardless of the type. The main tool is the connection between MV polytopes and preprojective algebras developed by Baumann and Kamnitzer.
Enumeration of the facets of cut polytopes over some highly symmetric graphs
Published
• View Publication
• BIB
We report here a computation giving the complete list of facets for the cut polytopes over several very symmetric graphs with $15-30$ edges, including $K_8$, $K_{3,3,3}$, $K_{1,4,4}$, $K_{5,5}$, some other $K_{l,m}$, $K_{1,l,m}$, $Prism_7, APrism_6$, Möbius ladder $M_{14}$, Dodecahedron, Heawood and Petersen graphs.
For $K_8$, it shows that the huge lists of facets of the cut polytope $CUTP_8$ and cut cone $CUT_8$, given in [CR] is complete. We also confirm the conjecture that any facet of $CUTP_8$ is adjacent to a triangle facet.
The lists of facets for $K_{1,l,m}$ with $(l,m)=(4,4),(3,5),(3,4)$ solve problems (see, for example, [Werner]) in quantum information theory.
Facets of the Balanced Minimal Evolution Polytope
Published
• View Publication
• BIB
A phylogenetic tree is a way to organize a finite set of species, individuals or other sources of related data. The species for which we have existing DNA data make up the set of leaves of the tree. The balanced minimal evolution method of creating phylogenetic trees can be formulated as a linear programming problem, minimizing an inner product over the vertices of the BME polytope. In this paper we undertake the first steps of describing the facets of this polytope.
The structure of mirrors on Platonic surfaces
A Platonic surface is a Riemann surface that underlies a regular map and so we can consider its vertices, edge-centres and face-centres. A symmetry (anticonformal involution) of the surface will fix a number of simple closed curves which we call mirrors. These mirrors must pass through the vertices, edge-centres and face-centres in some sequence which we call the pattern of the mirror. Here we investigate these patterns for various well-known families of Platonic surfaces, including genus 1 regular maps, and regular maps on Hurwitz surfaces and Fermat curves. The genesis of this paper is classical. Klein in Section 13 of his famous 1878 paper [11], worked out the pattern of the mirrors on the Klein quartic and Coxeter in his book on regular polytopes worked out the patterns for mirrors on the regular solids. We believe that this topic has not been pursued since then.
Graph-truncations of $3$-polytopes
In this paper we study the operation of cutting off edges of a simple $3$-polytope $P$ along the graph $Γ$. We give the criterion when the resulting polytope is simple and when it is flag. As a corollary we prove the analog of Eberhard's theorem about the realization of polygon vectors of simple $3$-polytopes for flag polytopes.
Nonsimplicities and the perturbed wedge
In 2010 Santos described the construction of a counterexample to the Hirsch conjecture, and in 2012 Santos and Weibel provided the coordinates for the 40 facets of a 20-dimensional counterexample. In this paper we explore technical details of the construction using Santos and Weibel's work as the motivating example.
Santos presented the construction in the dual setting. Here we return to the primal setting, in which Santos' construction calls for repeated application of a perturbed wedge operation, a wedge over a facet followed by a perturbation of one or more other facets. We show that the starting point for the construction is a counterexample "P5" to the nonrevisiting conjecture in dimension 5. However, this polytope P5 is not a simple polytope; it contains two nonsimple vertices. As we repeatedly apply the perturbed wedge, the nonsimplicities grow in dimension while their excess is reduced. Finally in dimension 20, the resulting polytope is simple and its diameter exceeds the Hirsch bound by 1.
These notes are a technical companion to the work of Santos and Weibel.
Best possible lower bounds on the coefficients of Ehrhart polynomials
Published in European Journal of Combinatorics 51 (2016) 297--305
• View Publication
• BIB
For an integral convex polytope $\mathcal{P} \subset \mathbb{R}^d$, we recall $L_\mathcal{P}(n)=|n\mathcal{P} \cap \mathbb{Z}^d|$ the Ehrhart polynomial of $\mathcal{P}$. Let $g_r(\mathcal{P})$ be the $r$th coefficients of $L_\mathcal{P}(n)$ for $r=0,\ldots,d$. Martin Henk and Makoto Tagami gave lower bounds on the coefficients $g_r(\mathcal{P})$ in terms of the volume of $\mathcal{P}$. They proved that these bounds are best possible for $r \in \{1,2,d-2\}$. We show that these bounds are also optimal for $r=3$ and $d-r$ even and we give a new best possible bound for $r=d-3$.
Lattice 3-polytopes with six lattice points
Published in SIAM J. Discrete Math. 30(2) (2016) , 687-717
• View Publication
• BIB
We classify lattice $3$-polytopes of width larger than one and with exactly $6$ lattice points. We show that there are $74$ polytopes of width $2$, two polytopes of width $3$, and none of larger width. We give explicit coordinates for representatives of each class, together with other invariants such as their oriented matroid (or order type) and volume vector. For example, according to the number of interior points these $76$ polytopes divide into $23$ tetrahedra with two interior points (clean tetrahedra), $49$ polytopes with one interior point (the $49$ canonical three-polytopes with five boundary points previously classified by Kasprzyk) and only $4$ hollow polytopes.
We also give a complete classification of three-polytopes of width one with $6$ lattice points. In terms of the oriented matroid of these six points, they lie in eight infinite classes and twelve individual polytopes.
Our motivation comes partly from the concept of distinct pair sum (or dps) polytopes, which, in dimension $3$, can have at most $8$ lattice points. Among the $74+2$ classes mentioned above, exactly $44 + 1$ are dps.
A positive Grassmannian analogue of the permutohedron
Published
• View Publication
• BIB
The classical permutohedron Perm is the convex hull of the points (w(1),...,w(n)) in R^n where w ranges over all permutations in the symmetric group. This polytope has many beautiful properties -- for example it provides a way to visualize the weak Bruhat order: if we orient the permutohedron so that the longest permutation w_0 is at the "top" and the identity e is at the "bottom," then the one-skeleton of Perm is the Hasse diagram of the weak Bruhat order. Equivalently, the paths from e to w_0 along the edges of Perm are in bijection with the reduced decompositions of w_0. Moreover, the two-dimensional faces of the permutohedron correspond to braid and commuting moves, which by the Tits Lemma, connect any two reduced expressions of w_0.
In this note we introduce some polytopes Br(k,n) (which we call bridge polytopes) which provide a positive Grassmannian analogue of the permutohedron. In this setting, BCFW bridge decompositions of reduced plabic graphs play the role of reduced decompositions. We define Br(k,n) and explain how paths along its edges encode BCFW bridge decompositions of the longest element pi(k,n) in the circular Bruhat order. We also show that two-dimensional faces of Br(k,n) correspond to certain local moves for plabic graphs, which by a result of Postnikov [Pos06], connect any two reduced plabic graphs associated to pi(k,n). All of these results can be generalized to the positive parts of Schubert cells. A useful tool in our proofs is the fact that our polytopes are isomorphic to certain Bruhat interval polytopes. Conversely, our results on bridge polytopes allow us to deduce some corollaries about the structure of Bruhat interval polytopes.