polytope ↗ reference
3112 papers tagged with this keyword
Vertices of the polytope of polystochastic matrices and product constructions
A multidimensional nonnegative matrix is called polystochastic if the sum of its entries at each line is equal to $1$. The set of all polystochastic matrices of order $n$ and dimension $d$ is a convex polytope $Ω_n^d$. In the present paper, we compare known bounds on the number $V(n,d)$ of vertices of the polytope $Ω_n^d$, propose two constructions of vertices of $Ω_n^d$ based on multidimensional matrix multiplication, and list all vertices of the polytope $Ω_3^4$.
Signed Poset Polytopes
Stanley introduced in 1986 the order polytope and the chain polytope for a given finite poset. These polytopes contain much information about the poset and have given rise to important examples in polyhedral geometry. In 1993, Reiner introduced signed posets as natural type-B analogues of posets. We define and study signed order and chain polytopes. Our results include convex-hull and halfspace descriptions, unimodular triangulations, Ehrhart $h^*$-polynomials and their relations to signed permutation statistics, and a Gorenstein characterization of signed order and chain polytopes.
Derived Categories of Permutahedral and Stellahedral Varieties
We utilize the coherent-constructible correspondence to construct full strongly exceptional collections of nef line bundles in the derived category of a toric variety through the combinatorics of constructible sheaves built from polytopes. To show that sequences are full, we build exact complexes of line bundles that categorify the relations in the McMullen polytope algebra. We compute the homomorphisms between certain constructible sheaves on polytopes and use this to reduce the question of exceptionality to showing that certain set differences of polytopes are contractible.
As an application of our method, we construct full strongly exceptional collections of nef line bundles for the toric varieties associated to the permutahedron, stellahedron, and the type $B_n$ Coxeter permutahedron. The line bundles in our collections are indexed by base polytopes of loopless Schubert matroids, independence polytopes of all Schubert matroids, and feasible polytopes of loopless Schubert delta matroids, respectively.
Our collections satisfy a number of nice properties: First, the quiver with relations that encodes the endomorphism algebra of the tilting sheaf can be described matroid-theoretically as a slight extension of the notion of weak maps and inclusion of matroids; Second, our collections are invariant under the natural symmetries of the corresponding fans; Finally, the induced semi-orthogonal decomposition of the derived categories refines the cuspidal semi-orthogonal decomposition as studied by Castravet and Tevelev. This gives a full strongly exceptional collection of nef line bundles for the cuspidal parts of the derived categories of our varieties indexed by loopless and coloopless Schubert matroids and Schubert delta matroids.
On the image of convolutions along an arithmetic progression
We consider the question of determining the structure of the set of all $d$-dimensional vectors of the form $N^{-1}(1_A*1_{-A}(x_1), ..., 1_A*1_{-A}(x_d))$ for $A \subseteq \{1,...,N\}$, and also the set of all $(2N+1)^{-1}(1_B*1_B(x_1), ..., 1_B*1_B(x_d))$, for $B \subseteq \{-N, -N+1, ..., 0, 1, ..., N\}$, where $x_1,...,x_d$ are fixed positive integers (we let $N \to \infty$). Using an elementary method related to the Birkhoff-von Neumann theorem on decompositions of doubly-stochastic matrices we show that both the above two sets of vectors roughly form polytopes; and of particular interest is the question of bounding the number of corner vertices, as well as understanding their structure.
Ehrhart Bounds for Panhandle and Paving Matroids Through Enumeration of Chain Forests
Published
• View Publication
• BIB
Panhandle matroids are a specific family of lattice-path matroids corresponding to panhandle-shaped Ferrers diagrams. Their matroid polytopes are the subpolytopes carved from a hypersimplex to form matroid polytopes of paving matroids. It has been an active area of research to determine which families of matroid polytopes are Ehrhart positive. We prove Ehrhart positivity for panhandle matroid polytopes, thus confirming a conjecture of Hanely, Martin, McGinnis, Miyata, Nasr, Vindas-Meléndez, and Yin (2023). Another standing conjecture posed by Ferroni (2022) asserts that the coefficients of the Ehrhart polynomial of a connected matroid are bounded above by those of the corresponding uniform matroid. We prove Ferroni's conjecture for paving matroids -- a class conjectured to asymptotically contain all matroids. These results follow from purely enumerative statements, the main one being conjectured by Hanely et. al concerning the enumeration of a certain class of ordered chain forests.
Shortest paths on polymatroids and hypergraphic polytopes
Published
• View Publication
• BIB
Base polytopes of polymatroids, also known as generalized permutohedra, are polytopes whose edges are parallel to a vector of the form $\mathbf{e}_i - \mathbf{e}_j$. We consider the following computational problem: Given two vertices of a generalized permutohedron $P$, find a shortest path between them on the skeleton of $P$. This captures many known flip distance problems, such as computing the minimum number of exchanges between two spanning trees of a graph, the rotation distance between binary search trees, the flip distance between acyclic orientations of a graph, or rectangulations of a square. We prove that this problem is $NP$-hard, even when restricted to very simple polymatroids in $\mathbb{R}^n$ defined by $O(n)$ inequalities. Assuming $P\not= NP$, this rules out the existence of an efficient simplex pivoting rule that performs a minimum number of nondegenerate pivoting steps to an optimal solution of a linear program, even when the latter defines a polymatroid. We also prove that the shortest path problem is inapproximable when the polymatroid is specified via an evaluation oracle for a corresponding submodular function, strengthening a recent result by Ito et al. (ICALP'23). More precisely, we prove the $APX$-hardness of the shortest path problem when the polymatroid is a hypergraphic polytope, whose vertices are in bijection with acyclic orientations of a given hypergraph. The shortest path problem then amounts to computing the flip distance between two acyclic orientations of a hypergraph. On the positive side, we provide a polynomial-time approximation algorithm for the problem of computing the flip distance between two acyclic orientations of a hypergraph, where the approximation factor is the maximum codegree of the hypergraph. Our result implies an exact polynomial-time algorithm for the flip distance between two acyclic orientations of any linear hypergraph.
Flip Graph Connectivity for Arrangements of Pseudolines and Pseudocircles
Published
• View Publication
• BIB
Flip graphs of combinatorial and geometric objects are at the heart of many deep structural insights and connections between different branches of discrete mathematics and computer science. They also provide a natural framework for the study of reconfiguration problems. We study flip graphs of arrangements of pseudolines and of arrangements of pseudocircles, which are combinatorial generalizations of lines and circles, respectively. In both cases we consider triangle flips as local transformation and prove conjectures regarding their connectivity.
In the case of $n$ pseudolines we show that the connectivity of the flip graph equals its minimum degree, which is exactly $n-2$. For the proof we introduce the class of shellable line arrangements, which serve as reference objects for the construction of disjoint paths. In fact, shellable arrangements are elements of a flip graph of line arrangements which are vertices of a polytope (Felsner and Ziegler; DM 241 (2001), 301--312). This polytope forms a cluster of good connectivity in the flip graph of pseudolines. In the case of pseudocircles we show that triangle flips induce a connected flip graph on \emph{intersecting} arrangements and also on cylindrical intersecting arrangements. The result for cylindrical arrangements is used in the proof for intersecting arrangements. We also show that in both settings the diameter of the flip graph is in $Θ(n^3)$. Our constructions make essential use of variants of the sweeping lemma for pseudocircle arrangements (Snoeyink and Hershberger; Proc.\ SoCG 1989: 354--363). We finally study cylindrical arrangements in their own right and provide new combinatorial characterizations of this class.
Combinatorics of Permutreehedra and Geometry of $s$-Permutahedra
This thesis finds its place in the interplay between algebraic and geometric combinatorics. We focus on studying two different families of lattices in relation to the weak order: the permutree lattices and the $s$-weak order. The first part involves the permutree quotients of the weak order. We define inversion and cubic vectors on permutrees which respectively give a constructive meet operation between permutrees and a cubical realization of permutreehedra. We characterize minimal elements of permutree congruence classes using automata that capture ${ijk}/{kij}$-pattern avoidances and generalize stack sorting and Coxeter sorting. The second part centers on flow polytopes. More specifically, we give a positive answer to a conjecture of Ceballos and Pons on the $s$-permutahedron when $s$ is a composition. We define the $s$-oruga graph whose flow polytope recovers the $s$-weak order with explicit coordinates. Finally, we introduce the bicho graphs whose flow polytopes describe permutree lattices.
Same average in every direction
Given a polytope $P\subset R^3$ and a non-zero vector $z \in R^3$, the plane $\{x\in R^3:zx=t\}$ intersects $P$ in convex polygon $P(z,t)$ for $t \in [t^-,t^+]$ where $t^-=\min \{zx: x \in P\}$ and $t^+=\max \{zx: x\in P\}$, $zx$ is the scalar product of $z,x \in R^3$. Let $A(P,z)$ denote the average number of vertices of $P(z,t)$ on the interval $[t^-,t^+]$. For what polytopes is $A(P,z)$ a constant independent of $z$?
Orthonormal representations, vector chromatic number, and extension complexity
Published
• View Publication
• BIB
We construct a bipartite generalization of Alon and Szegedy's nearly orthogonal vectors, thereby obtaining strong bounds for several extremal problems involving the Lovász theta function, vector chromatic number, minimum semidefinite rank, nonnegative rank, and extension complexity of polytopes. In particular, we derive a couple of general lower bounds for the vector chromatic number which may be of independent interest.
Algebraic combinatorial optimization on the degree of determinants of noncommutative symbolic matrices
Published
• View Publication
• BIB
We address the computation of the degrees of minors of a noncommutative symbolic matrix of form \[
A[c] := \sum_{k=1}^m A_k t^{c_k} x_k, \] where $A_k$ are matrices over a field $\mathbb{K}$, $x_i$ are noncommutative variables, $c_k$ are integer weights, and $t$ is a commuting variable specifying the degree. This problem extends noncommutative Edmonds' problem (Ivanyos et al. 2017), and can formulate various combinatorial optimization problems. Extending the study by Hirai 2018, and Hirai, Ikeda 2022, we provide novel duality theorems and polyhedral characterization for the maximum degrees of minors of $A[c]$ of all sizes, and develop a strongly polynomial-time algorithm for computing them. This algorithm is viewed as a unified algebraization of the classical Hungarian method for bipartite matching and the weight-splitting algorithm for linear matroid intersection. As applications, we provide polynomial-time algorithms for weighted fractional linear matroid matching and linear optimization over rank-2 Brascamp-Lieb polytopes.
Maximum Betti numbers of Čech complexes
Published
• View Publication
• BIB
The Upper Bound Theorem for convex polytopes implies that the $p$-th Betti number of the Čech complex of any set of $N$ points in $\mathbb R^d$ and any radius satisfies $β_{p} = O(N^{m})$, with $m = \min \{ p+1, \lceil d/2 \rceil \}$. We construct sets in even and odd dimensions that prove this upper bound is asymptotically tight. For example, we describe a set of $N = 2(n+1)$ points in $\mathbb R^3$ and two radii such that the first Betti number of the Čech complex at one radius is $(n+1)^2 - 1$, and the second Betti number of the Čech complex at the other radius is $n^2$.
A New and Faster Representation for Counting Integer Points in Parametric Polyhedra
Published
• View Publication
• BIB
In this paper, we consider the counting function $E_P(y) = |P_{y} \cap Z^{n_x}|$ for a parametric polyhedron $P_{y} = \{x \in R^{n_x} \colon A x \leq b + B y\}$, where $y \in R^{n_y}$. We give a new representation of $E_P(y)$, called a \emph{piece-wise step-polynomial with periodic coefficients}, which is a generalization of piece-wise step-polynomials and integer/rational Ehrhart's quasi-polynomials. It gives the fastest way to calculate $E_P(y)$ in certain scenarios. The most important cases are the following:
1) We show that, for the parametric polyhedron $P_y$ defined by a standard-form system $A x = y,\, x \geq 0$ with a fixed number of equalities, the function $E_P(y)$ can be represented by a polynomial-time computable function. In turn, such a representation of $E_P(y)$ can be constructed by an $poly\bigl(n, \|A\|_{\infty}\bigr)$-time algorithm;
2) Assuming again that the number of equalities is fixed, we show that integer/rational Ehrhart's quasi-polynomials of a polytope can be computed by FPT-algorithms, parameterized by sub-determinants of $A$ or its elements;
3) Our representation of $E_P$ is more efficient than other known approaches, if $A$ has bounded elements, especially if it is sparse in addition.
Additionally, we provide a discussion about possible applications in the area of compiler optimization. In some "natural" assumptions on a program code, our approach has the fastest complexity bounds.
The Codegree, Weak Maximum Likelihood Threshold, and the Gorenstein Property of Hierarchical Models
Published in Alg. Stat. 16 (2025) 201-215
• View Publication
• BIB
The codegree of a lattice polytope is the smallest integer dilate that contains a lattice point in the relative interior. The weak maximum likelihood threshold of a statistical model is the smallest number of data points for which there is a non-zero probability that the maximum likelihood estimate exists. The codegree of a marginal polytope is a lower bound on the maximum likelihood threshold of the associated log-linear model, and they are equal when the marginal polytope is normal. We prove a lower bound on the codegree in the case of hierarchical log-linear models and provide a conjectural formula for the codegree in general. As an application, we study when the marginal polytopes of hierarchical models are Gorenstein, including a classification of Gorenstein decomposable models, and a conjectural classification of Gorenstein binary hierarchical models.
Ewald's Conjecture and integer points in algebraic and symplectic toric geometry
Published
• View Publication
• BIB
We solve several open problems concerning integer points of polytopes arising in symplectic and algebraic geometry. In this direction we give the first proof of a broad case of Ewald's Conjecture (1988) concerning symmetric integral points of monotone lattice polytopes in arbitrary dimension. We also include an asymptotic quantitative study of the set of points appearing in Ewald's Conjecture. Then we relate this work to the problem of displaceability of orbits in symplectic toric geometry. We conclude with a proof for the $2$-dimensional case, and for a number of cases in higher dimensions, of Nill's Conjecture (2009), which is a generalization of Ewald's conjecture to smooth lattice polytopes. Along the way the paper introduces two new classes of polytopes which arise naturally in the study of Ewald's Conjecture and symplectic displaceability: neat polytopes, which are related to Oda's Conjecture, and deeply monotone polytopes.
Algebra and Combinatorics of the Brion map on Generalized Permutahedra
Published
• View Publication
• BIB
The Brion morphism maps a generalized permutahedron to a collection of posets associated to its vertices. We compute this map explicitly for the Hopf monoids of permutahedra, associahedra, and orbit polytopes, and we explore the dual Brion map of the primitive Lie monoids associated to these three Hopf monoids. We describe the Lie monoid structure of the primitives in this dual setting and in particular we show that the Lie monoid of primitives of associahedra is isomorphic to the positive part of the Witt Lie algebra
Newton-Okounkov polytopes of type $A$ flag varieties of small ranks arising from cluster structures
Published
• View Publication
• BIB
A flag variety is a smooth projective homogeneous variety. In this paper, we study Newton-Okounkov polytopes of the flag variety $Fl(\mathbb{C}^4)$ arising from its cluster structure. More precisely, we present defining inequalities of such Newton-Okounkov polytopes of $Fl(\mathbb{C}^4)$. Moreover, we classify these polytopes, establishing their equivalence under unimodular transformations.
Face enumeration for split matroid polytopes
Published in Combinator. Probab. Comp. 34 (2025) 528-544
• View Publication
• BIB
This paper initiates the explicit study of face numbers of matroid polytopes and their computation. We prove that, for the large class of split matroid polytopes, their face numbers depend solely on the number of cyclic flats of each rank and size, together with information on the modular pairs of cyclic flats. We provide a formula which allows us to calculate $f$-vectors without the need of taking convex hulls or computing face lattices. We discuss the particular cases of sparse paving matroids and rank two matroids, which are of independent interest due to their appearances in other combinatorial and geometric settings.
Polyhedral approach to weighted connected matchings in general graphs
Published in Discrete Applied Mathematics, 2024, Volume 359, pp 143-152 (open access)
• View Publication
• BIB
A connected matching in a graph G consists of a set of pairwise disjoint edges whose covered vertices induce a connected subgraph of G. While finding a connected matching of maximum cardinality is a well-solved problem, it is NP-hard to determine an optimal connected matching in an edge-weighted graph, even in the planar bipartite case. We present two mixed integer programming formulations and a sophisticated branch-and-cut scheme to find weighted connected matchings in general graphs. The formulations explore different polyhedra associated to this problem, including strong valid inequalities both from the matching polytope and from the connected subgraph polytope. We conjecture that one attains a tight approximation of the convex hull of connected matchings using our strongest formulation, and report encouraging computational results over DIMACS Implementation Challenge benchmark instances. The source code of the complete implementation is also made available.
Poset Associahedra and Stack-sorting
Published
• View Publication
• BIB
For any finite connected poset $P$, Galashin introduced a simple convex $(|P|-2)$-dimensional polytope $\mathscr{A}(P)$ called the poset associahedron. For a certain family of posets, whose poset associahedra interpolate between the classical permutohedron and associahedron, we give a simple combinatorial interpretation of the $h$-vector. Our interpretation relates to the theory of stack-sorting of permutations. It also allows us to prove real-rootedness of some of their $h$-polynomials.