polytope ↗ reference
3077 papers tagged with this keyword
An improved algorithm for recognizing matroids
Let $M$ be a matroid defined on a finite set $E$ and $L\subset E$. $L$ is locked in $M$ if $M|L$ and $M^*|(E\backslash L)$ are 2-connected, and $min\{r(L), r^*(E\backslash L)\} \geq 2$. Locked subsets characterize nontrivial facets of the bases polytope. In this paper, we give a new axiom system for matroids based on locked subsets. We deduce an algorithm for recognizing matroids improving the running time complexity of the best known till today. This algorithm induces a polynomial time algorithm for recognizing uniform matroids. This latter problem is intractable if we use an independence oracle.
Graphs, Skeleta and Reconstruction of Polytopes
Published in Acta Math. Hungar. 155 (2018), no. 1, 61-73
• View Publication
• BIB
A renowned theorem of Blind and Mani, with a constructive proof by Kalai and an efficiency proof by Friedman, shows that the whole face lattice of a simple polytope can be determined from its graph. This is part of a broader story of reconstructing face lattices from partial information, first considered comprehensively in Grünbaum's 1967 book. This survey paper includes varied results and open questions by many researchers on simplicial polytopes, nearly simple polytopes, cubical polytopes, zonotopes, crosspolytopes, and Eulerian posets.
Antichain toggling and rowmotion
Published in Electronic Journal of Combinatorics, Volume 26, Issue 1, Number 29, 2019
• View Publication
• BIB
In this paper, we analyze the toggle group on the set of antichains of a poset. Toggle groups, generated by simple involutions, were first introduced by Cameron and Fon-Der-Flaass for order ideals of posets. Recently Striker has motivated the study of toggle groups on general families of subsets, including antichains. This paper expands on this work by examining the relationship between the toggle groups of antichains and order ideals, constructing an explicit isomorphism between the two groups. We also focus on the rowmotion action that has been well-studied in dynamical algebraic combinatorics, describing it as the composition of antichain toggles. We also describe a piecewise-linear analogue of toggling to Stanley's chain polytope. We examine the connections with the piecewise-linear toggling Einstein and Propp introduced for order polytopes and prove that almost all of our results for antichain toggles extend to the piecewise-linear setting.
On the Circuit Diameter of some Combinatorial Polytopes
Published
• View Publication
• BIB
The combinatorial diameter of a polytope $P$ is the maximum value of a shortest path between two vertices of $P$, where the path uses the edges of $P$ only. In contrast to the combinatorial diameter, the circuit diameter of $P$ is defined as the maximum value of a shortest path between two vertices of $P$, where the path uses potential edge directions of $P$ i.e., all edge directions that can arise by translating some of the facets of $P$.
In this paper, we study the circuit diameter of polytopes corresponding to classical combinatorial optimization problems, such as the Matching polytope, the Traveling Salesman polytope and the Fractional Stable Set polytope.
Planar Graph Perfect Matching is in NC
Published
• View Publication
• BIB
Is perfect matching in NC? That is, is there a deterministic fast parallel algorithm for it? This has been an outstanding open question in theoretical computer science for over three decades, ever since the discovery of RNC matching algorithms. Within this question, the case of planar graphs has remained an enigma: On the one hand, counting the number of perfect matchings is far harder than finding one (the former is #P-complete and the latter is in P), and on the other, for planar graphs, counting has long been known to be in NC whereas finding one has resisted a solution.
In this paper, we give an NC algorithm for finding a perfect matching in a planar graph. Our algorithm uses the above-stated fact about counting matchings in a crucial way. Our main new idea is an NC algorithm for finding a face of the perfect matching polytope at which $Ω(n)$ new conditions, involving constraints of the polytope, are simultaneously satisfied. Several other ideas are also needed, such as finding a point in the interior of the minimum weight face of this polytope and finding a balanced tight odd set in NC.
Universal points in the asymptotic spectrum of tensors
Published in Journal of the American Mathematical Society, Volume 36, Number 1, January 2023, Pages 31-79
• View Publication
• BIB
The asymptotic restriction problem for tensors is to decide, given tensors $s$ and $t$, whether the nth tensor power of $s$ can be obtained from the $(n+o(n))$th tensor power of t by applying linear maps to the tensor legs (this we call restriction), when $n$ goes to infinity. In this context, Volker Strassen, striving to understand the complexity of matrix multiplication, introduced in 1986 the asymptotic spectrum of tensors. Essentially, the asymptotic restriction problem for a family of tensors $X$, closed under direct sum and tensor product, reduces to finding all maps from $X$ to the reals that are monotone under restriction, normalised on diagonal tensors, additive under direct sum and multiplicative under tensor product, which Strassen named spectral points. Strassen created the support functionals, which are spectral points for oblique tensors, a strict subfamily of all tensors.
Universal spectral points are spectral points for the family of all tensors. The construction of nontrivial universal spectral points has been an open problem for more than thirty years. We construct for the first time a family of nontrivial universal spectral points over the complex numbers, using quantum entropy and covariants: the quantum functionals. In the process we connect the asymptotic spectrum to the quantum marginal problem and to the entanglement polytope.
To demonstrate the asymptotic spectrum, we reprove (in hindsight) recent results on the cap set problem by reducing this problem to computing asymptotic spectrum of the reduced polynomial multiplication tensor, a prime example of Strassen. A better understanding of our universal spectral points construction may lead to further progress on related questions. We additionally show that the quantum functionals characterise asymptotic slice rank for complex tensors.
Barycentric subdivisions of convex complexes are collapsible
Published
• View Publication
• BIB
A classical question in PL topology, asked among others by Hudson, Lickorish, and Kirby, is whether every linear subdivision of the d-simplex is simplicially collapsible. The answer is known to be positive for d<4. We solve the problem up to one subdivision, by proving that any linear subdivision of any polytope is simplicially collapsible after at most one barycentric subdivision. Furthermore, we prove that any linear subdivision of any star-shaped polyhedron in $\mathbb{R}^d$ is simplicially collapsible after d-2 derived subdivisions at most. This presents progress on an old question by Goodrick.
Hopf monoids and generalized permutahedra
Published
• View Publication
• BIB
Generalized permutahedra are a family of polytopes with a rich combinatorial structure and strong connections to optimization. We prove that they are the universal family of polyhedra with a certain Hopf algebraic structure. Their antipode is remarkably simple: the antipode of a polytope is the alternating sum of its faces. Our construction provides a unifying framework to organize numerous combinatorial structures, including graphs, matroids, posets, set partitions, linear graphs, hypergraphs, simplicial complexes, building sets, and simple graphs. We highlight three applications:
1. We obtain uniform proofs of numerous old and new results about the Hopf algebraic and combinatorial structures of these families. In particular, we give the optimal formula for the antipode of graphs, posets, matroids, hypergraphs, and building sets, and we answer questions of Humpert--Martin and Rota.
2. We show that the reciprocity theorems of Stanley and Billera--Jia--Reiner on chromatic polynomials of graphs, order polynomials of posets, and BJR-polynomials of matroids are instances of the same reciprocity theorem for generalized permutahedra.
3. We explain why the formulas for the multiplicative and compositional inverses of power series are governed by the face structure of permutahedra and associahedra, respectively, answering a question of Loday.
Along the way, we offer a combinatorial user's guide to Hopf monoids.
Fractional matching preclusion number of graphs
Published
• View Publication
• BIB
Let $G$ be a graph with an even number of vertices. The matching preclusion number of $G$, denoted by $mp(G)$, is the minimum number of edges whose deletion leaves the resulting graph without a perfect matching. We introduced a $0$-$1$ linear programming which can be used to find matching preclusion number of graphs. In this paper, by relaxing of the $0$-$1$ linear programming we obtain a linear programming and call its optimal objective value as fractional matching preclusion number of graph $G$, denoted by $mp_f(G)$. We show $mp_f(G)$ can be computed in polynomial time for any graph $G$. By using perfect matching polytope, we transform it as a new linear programming whose optimal value equals the reciprocal of $mp_f(G)$. For bipartite graph $G$, we obtain an explicit formula for $mp_f(G)$ and show that $\lfloor mp_f(G) \rfloor$ is the maximum integer $k$ such that $G$ has a $k$-factor. Moreover, for any two bipartite graphs $G$ and $H$, we show $mp_f(G \square H) \geqslant mp_f(G)+\lfloor mp_f(H) \rfloor$, where $G \square H$ is the Cartesian product of $G$ and $H$.
Generalized Permutohedra, Scattering Amplitudes, and a Cubic Three-Fold
In this note, we apply combinatorial techniques from our Ph.D. thesis to study how generalized permutohedra may be represented functionally on Parke-Tayor factors and related rational functions. In any functional representation of polyhedral cones, in general certain homological information may be lost. The combinatorial relations of the Parke-Taylor factors lift homologically to generalized permutohedra.
The 6-particle case contains several related layers of interesting geometric data: the Newton polytope for the polynomial numerator lifts the permutohedron in three variables, which is a hexagon, and the fraction itself provides a functional representation of certain neighborhoods of a vertex of a 5-dimensional weight permutohedron. The lift from fraction to generalized permutohedron was derived by comparing functional representations. We observe additionally that the numerator and its permutations satisfy a degree 3 polynomial relation which defines a classical projective variety known as the Segre cubic.
We include in an extended Appendix selected Mathematica code which can be used to verify our computations independently.
Lattice Size and Generalized Basis Reduction in Dimension 3
Published
• View Publication
• BIB
The lattice size of a lattice polytope $P$ was defined and studied by Schicho, and Castryck and Cools. They provided an "onion skins" algorithm for computing the lattice size of a lattice polygon $P$ in $\mathbb{R}^2$ based on passing successively to the convex hull of the interior lattice points of $P$.
We explain the connection of the lattice size to the successive minima of $K=\left(P+(-P)\right)^\ast$ and to the lattice reduction with respect to the general norm that corresponds to $K$. It follows that the generalized Gauss algorithm of Kaib and Schnorr (which is faster than the "onion skins" algorithm) computes the lattice size of any convex body in $\mathbb{R}^2$.
We extend the work of Kaib and Schnorr to dimension 3, providing a fast algorithm for lattice reduction with respect to the general norm defined by a convex origin-symmetric body $K\subset\mathbb{R}^3$. We also explain how to recover the successive minima of $K$ and the lattice size of $P$ from the obtained reduced basis and therefore provide a fast algorithm for computing the lattice size of any convex body $P\subset\mathbb{R}^3$.
Cosmological Polytopes and the Wavefunction of the Universe
We present a connection between the physics of cosmological time evolution and the mathematics of positive geometries, roughly analogous to similar connections seen in the context of scattering amplitudes. We consider the wavefunction of the universe in a class of toy models of conformally coupled scalars (with non-conformal interactions) in FRW cosmologies. The contribution of each Feynman diagram to the wavefunction of the universe is associated with a certain universal rational integrand, which we identify as the canonical form of a "cosmological polytope", which have an independent, intrinsic definition, making no reference to physics. The singularity structure of the wavefunction for this model of scalars is common to all theories, and is geometrized by the cosmological polytope. Natural triangulations of the polytope reproduce the path-integral and "old-fashioned perturbation theory" representations of the wavefunction, and we also find new representations of the wavefunction with no extant physical interpretation. We show in suitable examples how symmetries of the cosmological polytope descend to symmetries of the wavefunction, (such as conformal invariance). In cases such as $φ^3$ theory in $dS_4$, the final wavefunction obtained from integration of the rational functions gives rise to polylogarithms associated with every graph. We give an explicit expression for the symbol of these polylogs, which record the geometry of sequential projections of the cosmological polytope.
Additive structures on $f$-vector sets of polytopes
Published
• View Publication
• BIB
We show that the $f$-vector sets of $d$-polytopes have non-trivial additive structure: They span affine lattices and are embedded in monoids that we describe explicitly. Moreover, for many large subclasses, such as the simple polytopes, or the simplicial polytopes, there are monoid structures on the set of $f$-vectors by themselves: "addition of $f$-vectors minus the $f$-vector of the $d$-simplex" always yields a new $f$-vector. For general $4$-polytopes, we show that the modified addition operation does not always produce an $f$-vector, but that the result is always close to an $f$-vector. In this sense, the set of $f$-vectors of \emph{all} $4$-polytopes forms an "approximate affine semigroup." The proof relies on the fact for $d=4$ every $d$-polytope, or its dual, has a "small facet." This fails for $d>4$.
We also describe a two further modified addition operations on $f$-vectors that can be geometrically realized by glueing corresponding polytopes. The second one of these may yield a semigroup structure on the $f$-vector set of all $4$-polytopes.
Electrical networks and hyperplane arrangements
Published
• View Publication
• BIB
This paper studies \emph{Dirichlet arrangements}, a generalization of graphic hyperplane arrangements arising from electrical networks and order polytopes of finite posets. We generalize descriptions of combinatorial features of graphic arrangements to Dirichlet arrangements, including characteristic polynomials and supersolvability. We apply these results to visibility sets of order polytopes and fixed-energy harmonic functions on electrical networks.
An Exact Approach for the Balanced k-Way Partitioning Problem with Weight Constraints and its Application to Sports Team Realignment
Published in Journal of Combinatorial Optimization 36 (2018) 916-936
• View Publication
• BIB
In this work a balanced k-way partitioning problem with weight constraints is defined to model the sports team realignment. Sports teams must be partitioned into a fixed number of groups according to some regulations, where the total distance of the road trips that all teams must travel to play a Double Round Robin Tournament in each group is minimized. Two integer programming formulations for this problem are introduced, and the validity of three families of inequalities associated to the polytope of these formulations is proved. The performance of a tabu search procedure and a Branch & Cut algorithm, which uses the valid inequalities as cuts, is evaluated over simulated and real-world instances. In particular, an optimal solution for the realignment of the Ecuadorian Football league is reported and the methodology can be suitable adapted for the realignment of other sports leagues.
2-associahedra
Published in Algebr. Geom. Topol. 19 (2019) 743-806
• View Publication
• BIB
For any $r\geq 1$ and $\mathbf{n} \in \mathbb{Z}_{\geq0}^r \setminus \{\mathbf0\}$ we construct a poset $W_{\mathbf{n}}$ called a 2-associahedron. The 2-associahedra arose in symplectic geometry, where they are expected to control maps between Fukaya categories of different symplectic manifolds. We prove that the completion $\widehat{W_{\mathbf{n}}}$ is an abstract polytope of dimension $|\mathbf{n}|+r-3$. There are forgetful maps $W_{\mathbf{n}} \to K_r$, where $K_r$ is the $(r-2)$-dimensional associahedron, and the 2-associahedra specialize to the associahedra (in two ways) and to the multiplihedra. In an appendix, we work out the 2- and 3-dimensional associahedra in detail.
K-orbit closures and Barbasch-Evens-Magyar varieties
Published in Pacific J. Math. 320 (2022) 103-132
• View Publication
• BIB
We define the Barbasch-Evens-Magyar varieties. We show they are isomorphic to the smooth varieties defined in [D.~Barbasch-S.~Evens '94] that map generically finitely to symmetric orbit closures, thereby giving resolutions of singularities in certain cases. Our definition parallels [P.~Magyar '98]'s construction of the Bott-Samelson varieties [H.~C.~Hansen '73, M.~Demazure '74]. From this alternative viewpoint, one deduces a graphical description in type $A$, stratification into closed subvarieties of the same kind, and determination of the torus-fixed points. Moreover, we explain how these manifolds inherit a natural symplectic structure with Hamiltonian torus action. We then express the moment polytope in terms of the moment polytope of a Bott-Samelson variety.
Simple polytopes without small separators, II: Thurston's bound
Published
• View Publication
• BIB
We show that there are simple 4-dimensional polytopes with n vertices such that all separators of the graph have size at least $Ω(n/\log n)$. This establishes a strong form of a claim by Thurston, for which the construction and proof had been lost.
We construct the polytopes by cutting off the vertices and then the edges of a particular type of neighborly cubical polytopes. The graphs of simple polytopes thus obtained are 4-regular; they contain 3-regular "cube-connected cycle graphs" as minors of spanning subgraphs.
The Slack Realization Space of a Polytope
Published
• View Publication
• BIB
In this paper we introduce a natural model for the realization space of a polytope up to projective equivalence which we call the slack realization space of the polytope. The model arises from the positive part of an algebraic variety determined by the slack ideal of the polytope. This is a saturated determinantal ideal that encodes the combinatorics of the polytope. We also derive a new model of the realization space of a polytope from the positive part of the variety of a related ideal. The slack ideal offers an effective computational framework for several classical questions about polytopes such as rational realizability, non-prescribability of faces, and realizability of combinatorial polytopes.
Vanishing of Littlewood-Richardson polynomials is in P
Published in Computational Complexity 28 (2019), no. 2, 241-257
• View Publication
• BIB
J. DeLoera-T. McAllister and K. D. Mulmuley-H. Narayanan-M. Sohoni independently proved that determining the vanishing of Littlewood-Richardson coefficients has strongly polynomial time computational complexity. Viewing these as Schubert calculus numbers, we prove the generalization to the Littlewood-Richardson polynomials that control equivariant cohomology of Grassmannians. We construct a polytope using the edge-labeled tableau rule of H. Thomas-A. Yong. Our proof then combines a saturation theorem of D. Anderson-E. Richmond-A. Yong, a reading order independence property, and E. Tardos' algorithm for combinatorial linear programming.