polytope ↗ reference
3024 papers tagged with this keyword
Isometric and affine copies of a set in volumetric Helly results
Published
• View Publication
• BIB
We show that for any compact convex set $K$ in $\mathbb{R}^d$ and any finite family $\mathcal{F}$ of convex sets in $\mathbb{R}^d$, if the intersection of every sufficiently small subfamily of $\mathcal{F}$ contains an isometric copy of $K$ of volume $1$, then the intersection of the whole family contains an isometric copy of $K$ scaled by a factor of $(1-\varepsilon)$, where $\varepsilon$ is positive and fixed in advance. Unless $K$ is very similar to a disk, the shrinking factor is unavoidable. We prove similar results for affine copies of $K$. We show how our results imply the existence of randomized algorithms that approximate the largest copy of $K$ that fits inside a given polytope $P$ whose expected runtime is linear on the number of facets of $P$.
Isocanted alcoved polytopes
Published
• View Publication
• BIB
Through tropical normal idempotent matrices, we introduce isocanted alcoved polytopes, computing their $f$--vectors and checking the validity of the following five conjectures: Bárány, unimodality, $3^d$, flag and cubical lower bound (CLBC). Isocanted alcoved polytopes are centrally symmetric, almost simple cubical polytopes. They are zonotopes. We show that, for each dimension, there is a unique combinatorial type. In dimension $d$, an isocanted alcoved polytope has $2^{d+1}-2$ vertices, its face lattice is the lattice of proper subsets of $[d+1]$ and its diameter is $d+1$. They are realizations of $d$--elementary cubical polytopes. The $f$--vector of a $d$--dimensional isocanted alcoved polytope attains its maximum at the integer $\lfloor d/3\rfloor$.
Computing the covering radius of a polytope with an application to lonely runners
Published in Combinatorica, Vol. 42, Issue 4, 463-490 (2022)
• View Publication
• BIB
We are concerned with the computational problem of determining the covering radius of a rational polytope. This parameter is defined as the minimal dilation factor that is needed for the lattice translates of the correspondingly dilated polytope to cover the whole space. As our main result, we describe a new algorithm for this problem, which is simpler, more efficient and easier to implement than the only prior algorithm of Kannan (1992). Motivated by a variant of the famous Lonely Runner Conjecture, we use its geometric interpretation in terms of covering radii of zonotopes, and apply our algorithm to prove the first open case of three runners with individual starting points.
Constructing highly regular expanders from hyperbolic Coxeter groups
Published
• View Publication
• BIB
A graph $X$ is defined inductively to be $(a_0,\dots,a_{n-1})$-regular if $X$ is $a_0$-regular and for every vertex $v$ of $X$, the sphere of radius $1$ around $v$ is an $(a_1,\dots,a_{n-1})$-regular graph. Such a graph $X$ is said to be highly regular (HR) of level $n$ if $a_{n-1}\neq 0$. Chapman, Linial and Peled studied HR-graphs of level 2 and provided several methods to construct families of graphs which are expanders "globally and locally". They ask whether such HR-graphs of level 3 exist.
In this paper we show how the theory of Coxeter groups, and abstract regular polytopes and their generalisations, can lead to such graphs. Given a Coxeter system $(W,S)$ and a subset $M$ of $S$, we construct highly regular quotients of the 1-skeleton of the associated Wythoffian polytope $\mathcal{P}_{W,M}$, which form an infinite family of expander graphs when $(W,S)$ is indefinite and $\mathcal{P}_{W,M}$ has finite vertex links. The regularity of the graphs in this family can be deduced from the Coxeter diagram of $(W,S)$. The expansion stems from applying superapproximation to the congruence subgroups of the linear group $W$.
This machinery gives a rich collection of families of HR-graphs, with various interesting properties, and in particular answers affirmatively the question asked by Chapman, Linial and Peled.
Enumeration of Gelfand-Cetlin type reduced words
Published
• View Publication
• BIB
The combinatorics of reduced words and commutation classes plays an important role in geometric representation theory. A string polytope is a lattice polytope associated to each reduced word of the longest element $w_0$ in the symmetric group which encodes the character of a certain irreducible representation of a Lie group of type $A$. In this paper, we provide a recursive formula for the number of reduced words of $w_0$ such that the corresponding string polytopes are combinatorially equivalent to a Gelfand-Cetlin polytope. The recursive formula involves the number of standard Young tableaux of shifted shape. We also show that each commutation class is completely determined by a list of quantities called indices.
Minkowski summands of cubes
Published
• View Publication
• BIB
In pioneering works of Meyer and of McMullen in the early 1970s, the set of Minkowski summands of a polytope was shown to be a polyhedral cone called the type cone. Explicit computations of type cones are in general intractable. Nevertheless, we show that the type cone of the product of simplices is the cone over a simplex. This remarkably simple result derives from insights about rainbow point configurations and the work of McMullen.
Relations between global forcing number and maximum anti-forcing number of a graph
Published in Discrete Appl. Math. 311 (2022) 85-96
• View Publication
• BIB
The global forcing number of a graph G is the minimal cardinality of an edge subset discriminating all perfect matchings of G, denoted by gf(G). For any perfect matching M of G, the minimal cardinality of an edge subset S in E(G)-M such that G-S has a unique perfect matching is called the anti-forcing number of M,denoted by af(G, M). The maximum anti-forcing number of G among all perfect matchings is denoted by Af(G). It is known that the maximum anti-forcing number of a hexagonal system equals the famous Fries number.
We are interested in some comparisons between the global forcing number and the maximum anti-forcing number of a graph. For a bipartite graph G, we show that gf(G)is larger than or equal to Af(G). Next we mainly extend such result to non-bipartite graphs, which is the set of all graphs with a perfect matching which contain no two disjoint odd cycles such that their deletion results in a subgraph with a perfect matching. For any such graph G, we also have gf(G) is larger than or equal to Af(G) by revealing further property of non-bipartite graphs with a unique perfect matching. As a consequence, this relation also holds for the graphs whose perfect matching polytopes consist of non-negative 1-regular vectors. In particular, for a brick G, de Carvalho, Lucchesi and Murty [4] showed that G satisfying the above condition if and only if G is solid, and if and only if its perfect matching polytope consists of non-negative 1-regular vectors.
Finally, we obtain tight upper and lower bounds on gf(G)-Af(G). For a connected bipartite graph G with 2n vertices, we have that 0 \leq gf(G)-Af(G) \leq 1/2 (n-1)(n-2); For non-bipartite case, -1/2 (n^2-n-2) \leq gf(G)-Af(G) \leq (n-1)(n-2).
The linkedness of cubical polytopes: The cube
Published
• View Publication
• BIB
The paper is concerned with the linkedness of the graphs of cubical polytopes. A graph with at least $2k$ vertices is \textit{$k$-linked} if, for every set of $k$ disjoint pairs of vertices, there are $k$ vertex-disjoint paths joining the vertices in the pairs. We say that a polytope is \textit{$k$-linked} if its graph is $k$-linked. We establish that the $d$-dimensional cube is $\lfloor(d+1)/2\rfloor$-linked, for every $d\ne 3$; this is the maximum possible linkedness of a $d$-polytope. This result implies that, for every $d\ge 1$, a cubical $d$-polytope is $\lfloor{d/2}\rfloor$-linked, which answers a question of Wotzlaw \cite{Ron09}. Finally, we introduce the notion of strong linkedness, which is slightly stronger than that of linkedness. A graph $G$ is {\it strongly $k$-linked} if it has at least $2k+1$ vertices and, for every vertex $v$ of $G$, the subgraph $G-v$ is $k$-linked. We show that cubical 4-polytopes are strongly $2$-linked and that, for each $d\ge 1$, $d$-dimensional cubes are strongly $\lfloor{d/2}\rfloor$-linked.
The linkedness of cubical polytopes: beyond the cube
Published
• View Publication
• BIB
A cubical polytope is a polytope with all its facets being combinatorially equivalent to cubes. The paper is concerned with the linkedness of the graphs of cubical polytopes.
A graph with at least $2k$ vertices is \textit{$k$-linked} if, for every set of $k$ disjoint pairs of vertices, there are $k$ vertex-disjoint paths joining the vertices in the pairs. We say that a polytope is \textit{$k$-linked} if its graph is $k$-linked.
In a previous paper \cite{BuiPinUgo20a} we proved that every cubical $d$-polytope is $\floor{d/2}$-linked. Here we strengthen this result by establishing the $\floor{(d+1)/2}$-linkedness of cubical $d$-polytopes, for every $d\ne 3$.
A graph $G$ is {\it strongly $k$-linked} if it has at least $2k+1$ vertices and, for every vertex $v$ of $G$, the subgraph $G-v$ is $k$-linked.
We say that a polytope is (strongly) \textit{$k$-linked} if its graph is (strongly) $k$-linked. In this paper, we also prove that every cubical $d$-polytope is strongly $\floor{d/2}$-linked, for every $d\ne 3$.
These results are best possible for this class of polytopes.
The polytope algebra of generalized permutahedra
Published in Algebraic Combinatorics, Volume 4 (2021) no. 5, pp. 909-946
• View Publication
• BIB
The polytope subalgebra of deformations of a zonotope can be endowed with the structure of a module over the Tits algebra of the corresponding hyperplane arrangement. We explore this construction and find relations between statistics on (signed) permutations and the module structure in the case of (type B) generalized permutahedra. In type B, the module structure surprisingly reveals that any family of generators (via signed Minkowski sums) for generalized permutahedra of type B will contain at least $2^{d-1}$ full-dimensional polytopes. We find a generating family of simplices attaining this minimum. Finally, we prove that the relations defining the polytope algebra are compatible with the Hopf monoid structure of generalized permutahedra.
A new proof of Balinski's theorem on the connectivity of polytopes
Published
• View Publication
• BIB
Balinski (1961) proved that the graph of a $d$-dimensional convex polytope is $d$-connected. We provide a new proof of this result. Our proof provides details on the nature of a separating set with exactly $d$ vertices; some of which appear to be new.
Backtracking algorithms for constructing the Hamiltonian decomposition of a 4-regular multigraph
Published
• View Publication
• BIB
We consider a Hamiltonian decomposition problem of partitioning a regular graph into edge-disjoint Hamiltonian cycles. It is known that verifying vertex non-adjacency in the 1-skeleton of the symmetric and asymmetric traveling salesperson polytopes is NP-complete. On the other hand, a sufficient condition for two vertices to be non-adjacent can be formulated as a combinatorial problem of finding a second Hamiltonian decomposition of a 4-regular multigraph. We present two backtracking algorithms for constructing a second Hamiltonian decomposition and verifying vertex non-adjacency: an algorithm based on a simple path extension and an algorithm based on the chain edge fixing procedure.
Based on the results of computational experiments for undirected multigraphs, both backtracking algorithms lost to the known general variable neighborhood search heuristics. However, for directed multigraphs, the algorithm based on chain fixing of edges showed results comparable to heuristics on instances with an existing solution and better results on infeasible instances where the Hamiltonian decomposition does not exist.
Tight Chiral Polytopes
Published
• View Publication
• BIB
A chiral polytope with Schläfli symbol $\{p_1, \ldots, p_{n-1}\}$ has at least $2p_1 \cdots p_{n-1}$ flags, and it is called \emph{tight} if the number of flags meets this lower bound. The Schläfli symbols of tight chiral polyhedra were classified in an earlier paper, and another paper proved that there are no tight chiral $n$-polytopes with $n \geq 6$. Here we prove that there are no tight chiral $5$-polytopes, describe 11 families of tight chiral $4$-polytopes, and show that every tight chiral $4$-polytope covers a polytope from one of those families.
Zarankiewicz's problem for semilinear hypergraphs
Published
• View Publication
• BIB
A bipartite graph $H = \left(V_1, V_2; E \right)$ with $|V_1| + |V_2| = n$ is semilinear if $V_i \subseteq \mathbb{R}^{d_i}$ for some $d_i$ and the edge relation $E$ consists of the pairs of points $(x_1, x_2) \in V_1 \times V_2$ satisfying a fixed Boolean combination of $s$ linear equalities and inequalities in $d_1 + d_2$ variables for some $s$. We show that for a fixed $k$, the number of edges in a $K_{k,k}$-free semilinear $H$ is almost linear in $n$, namely $|E| = O_{s,k,\varepsilon}(n^{1+\varepsilon})$ for any $\varepsilon > 0$; and more generally, $|E| = O_{s,k,r,\varepsilon}(n^{r-1 + \varepsilon})$ for a $K_{k, \ldots,k}$-free semilinear $r$-partite $r$-uniform hypergraph. As an application, we obtain the following incidence bound: given $n_1$ points and $n_2$ open boxes with axis parallel sides in $\mathbb{R}^d$ such that their incidence graph is $K_{k,k}$-free, there can be at most $O_{k,\varepsilon}(n^{1+\varepsilon})$ incidences. The same bound holds if instead of boxes one takes polytopes cut out by the translates of an arbitrary fixed finite set of halfspaces. We also obtain matching upper and (superlinear) lower bounds in the case of dyadic boxes on the plane, and point out some connections to the model-theoretic trichotomy in $o$-minimal structures (showing that the failure of an almost linear bound for some definable graph allows one to recover the field operations from that graph in a definable manner).
A note on the smooth blow-ups of P(1,1,1,k) in torus-invariant subvarieties
Published
• View Publication
• BIB
This paper classifies toric Fano 3-folds with singular locus { 1/k(1,1,1) } for any positive integer k, building on the work of Batyrev and Watanabe-Watanabe. This is achieved by completing an equivalent problem in the language of Fano polytopes. Furthermore we identify birational relationships between entries of the classification. For a fixed value k>4, there are exactly two such Fano 3-folds linked by a blow-up in a torus-invariant line.
Seminormality, canonical modules, and regularity of cut polytopes
Published
• View Publication
• BIB
Motivated by a conjecture of Sturmfels and Sullivant we study normal cut polytopes. After a brief survey of known results for normal cut polytopes it is in particular observed that for simplicial and simple cut polytopes their cut algebras are normal and hence Cohen--Macaulay. Moreover, seminormality is considered. It is shown that the cut algebra of $K_5$ is not seminormal which implies again the known fact that it is not normal. For normal Gorenstein cut algebras and other cases of interest we determine their canonical modules. The Castelnuovo-Mumford regularity of a cut algebra is computed for various types of graphs and bounds for it are provided if normality is assumed. As an application we classify all graphs for which the cut algebra has regularity less than or equal to 4.
Face numbers of barycentric subdivisions of cubical complexes
Published
• View Publication
• BIB
The $h$-polynomial of the barycentric subdivision of any $n$-dimensional cubical complex with nonnegative cubical $h$-vector is shown to have only real roots and to be interlaced by the Eulerian polynomial of type $B_n$. This result applies to barycentric subdivisions of shellable cubical complexes and, in particular, to barycentric subdivisions of cubical convex polytopes and answers affirmatively a question of Brenti, Mohammadi and Welker.
A mélange of diameter Helly-type theorems
Published
• View Publication
• BIB
A Helly-type theorem for diameter provides a bound on the diameter of the intersection of a finite family of convex sets in $\mathbb{R}^d$ given some information on the diameter of the intersection of all sufficiently small subfamilies. We prove fractional and colorful versions of a longstanding conjecture by Bárány, Katchalski, and Pach. We also show that a Minkowski norm admits an exact Helly-type theorem for diameter if and only if its unit ball is a polytope and prove a colorful version for those that do. Finally, we prove Helly-type theorems for the property of ``containing $k$ colinear integer points.
Semitoric degenerations of Hibi varieties and flag varieties
We construct a family of flat semitoric degenerations for the Hibi variety of every finite distributive lattice. The irreducible components of each degeneration are the toric varieties associated with polytopes forming a regular subdivision of the order polytope of the underlying poset. These components are themselves Hibi varieties. For each degeneration in our family we also define the corresponding weight polytope and embed the degeneration into the associated toric variety as the union of orbit closures given by a set of faces. Every such weight polytope projects onto the order polytope with the chosen faces projecting into the parts of the corresponding regular subdivision. We apply these constructions to obtain a family of flat semitoric degenerations for every type A Grassmannian and complete flag variety.
Hochschild lattices and shuffle lattices
Published in European Journal of Combinatorics 103 (2022), article 103521
• View Publication
• BIB
In his study of a Hochschild complex arising in connection with the free loop fibration, S. Saneblidze defined the freehedron, a certain polytope constructed via a truncation process from the hypercube. It was recently conjectured by F. Chapoton and proven by C. Combe that a certain orientation of the $1$-skeleton of the freehedron carries a lattice structure. The resulting lattice was dubbed the Hochschild lattice and is congruence uniform and extremal. These properties allow for the definition of three associated structures: the Galois graph, the canonical join complex and the core label order. In this article, we study and characterize these structures. We exhibit an isomorphism from the core label order of the Hochschild lattice to a particular shuffle lattice of C. Greene. We also uncover an enumerative connection between the core label order of the Hochschild lattice, a certain order extension of its poset of irreducibles and the freehedron. These connections nicely parallel the situation surrounding the better-known Tamari lattices, noncrossing partition lattices and associahedra.