arXiv++ Combinatorics

We study approximations of polytopes in the standard model for computing polytopes using Minkowski sums and (convex hulls of) unions. Specifically, we study the ability to approximate a target polytope by polytopes of a given depth. Our main results imply that simplices can only be ``trivially approximated''. On the way, we obtain a characterization of simplices as the only ``outer additive'' convex bodies.

We present an explicit closed-form formula for the vertices of the classical cut polytope $\operatorname{CUT}(n)$, defined as the convex hull of cut vectors of the complete graph $K_n$. Our derivation proceeds via a related polytope, denoted $\mathbf{1}$-$\operatorname{CUT}(n)$, whose vertices are obtained by flipping all bits of the $\operatorname{CUT}(n)$ vertices. This polytope arises naturally in a probabilistic context involving agreement probabilities among symmetric Bernoulli random variables which serves as the starting point of this work. Our approach constructs the vertex set recursively via a binary encoding that stems from this probabilistic perspective. We prove that the resulting sequence of encoded integers, when appropriately scaled, exhibits an almost-linear behavior closely approximating the line $y = x - \frac{1}{2}$. This structure motivates the introduction of the alternating cycle function, an integer-valued map whose key property is power-of-two composition invariance. The function serves as the foundation for our closed-form enumeration formula. The result provides a rare instance of explicit vertex characterization for a $0$/$1$-polytope and offers a transparent combinatorial construction independent of enumeration algorithms.

A geometric graph is a drawing of a graph in the plane where the vertices are drawn as points in general position and the edges as straight-line segments connecting their endpoints. It is plane if it contains no crossing edges. We study plane cycles in geometric complete multipartite graphs. We prove that if a geometric complete multipartite graph contains a plane cycle of length $t$, with $t \geq 6$, it also contains a smaller plane cycle of length at least $\lfloor t/2\rfloor + 1$. We further give a characterization of geometric complete multipartite graphs that contain plane cycles with a color class appearing at least twice. For geometric drawings of $K_{n,n}$, we give a sufficient condition under which they have, for each $s \leq n$, a plane cycle of length 2s. We also provide an algorithm to decide whether a given geometric drawing of $K_{n,n}$ contains a plane Hamiltonian cycle in time $O(n \log n + nk^2) + O(k^{5k})$, where k is the number of vertices inside the convex hull of all vertices. Finally, we prove that it is NP-complete to decide if a subset of edges of a geometric complete bipartite graph H is contained in a plane Hamiltonian cycle in H.

Recently, Adiprasito et al. have initiated the study of the so-called no-dimensional Tverberg problem. This problem can be informally stated as follows: Given $n\geq k$, partition an $n$-point set in Euclidean space into $k$ parts such that their convex hulls intersect a ball of relatively small radius. In this survey, we aim to present the recent progress towards solving the no-dimensional Tverberg problem and new open questions arising in its context. Also, we discuss the colorful variation of this problem and its algorithmic aspects, particularly focusing on the case when each part of a partition contains exactly 2 points. The latter turns out to be related to the following no-dimensional Tverberg-type problem of Huemer et al.: For an even set of points in Euclidean space, find a perfect matching such that the balls with diameters induced by its edges intersect.

Let $P$ be a polytope defined by the system $A x \leq b$, where $A \in R^{m \times n}$, $b \in R^m$, and $\text{rank}(A) = n$. We give a short geometric proof of the following tight upper bound on the number of vertices of $P$: $$ n! \cdot \fracΔ{Δ_{\text{average}}} \cdot \text{vol}(B_2) \sim \frac{1}{\sqrt{πn}} \cdot \left(\frac{2 π}{e}\right)^{n/2} \cdot n^{n/2} \cdot \fracΔ{Δ_{\text{average}}}, $$ where $Δ$ is the maximum absolute value of $n \times n$ subdeterminants of $A$, and $Δ_{\text{average}}$ is the average absolute value of subdeterminants of $A$ corresponding to a triangulation of $P$'s normal fan. Assuming that $A$ is integer, such polyhedra are called $Δ$-modular polyhedra. Note that in the integer case, the bound can be simplified via the inequality $Δ_{\text{average}} \geq Δ_{\min} \geq 1$, where $Δ_{\min}$ is the minimum absolute value of subdeterminants of $A$ corresponding to feasible bases of $A x \leq b$. For this, we prove and use a symmetric variant of Macbeath's theorem. Additionally, we give a direct argument based on prior results in the field, showing that the graph diameter of $P$ is bounded by $O\bigl(n^3 \cdot \fracΔ{Δ_{\min}} \cdot \ln (n \fracΔ{Δ_{\min}}) \bigr)$. Thus, both characteristic of $P$ are linear in $Δ/Δ_{\min}$. From an algorithmic perspective, we demonstrate that: Given $A \in Q^{m \times n}$, $b \in Q^m$, and an initial feasible solution to $A x \leq b$, the convex hull of $P$ can be constructed in $O(n)^{n/2} \cdot m^2 \cdot \fracΔ{Δ_{\text{average}}}$ operations. For simple polyhedra, the dependence on $m$ reduces to linear; Given $A \in Z^{m \times n}$ and $b \in Q^m$, the number $|P \cap Z^n|$ can be computed in $O(n)^n \cdot \frac{Δ^4}{Δ_{\text{average}}}$ arithmetic operations.

If $\mathcal{P}$ is a lattice polytope (i.e., $\mathcal{P}$ is the convex hull of finitely many integer points in $\mathbb{R}^d$), Ehrhart's famous theorem (1962) asserts that the integer-point counting function $|t \mathcal{P} \cap \mathbb{Z}^d|$ is a polynomial in the integer variable $t$. Chapoton (2016) proved that, given a fixed integral form $λ: \mathbb{Z}^d \to \mathbb{Z}$, there exists a polynomial $\text{cha}_\mathcal{P}^λ(q,x) \in \mathbb{Q}(q)[x]$ such that the refined enumeration function $\sum_{ \mathbf{m} \in t \mathcal{P} } q^{ λ(\mathbf{m}) }$ equals the evaluation $\text{cha}_\mathcal{P}^λ(q, [t]_q)$ where, as usual, $[t]_q := \frac{ q^t - 1 }{ q-1 }$; naturally, for $q=1$ we recover the Ehrhart polynomial. Our motivating goal is to view Chapoton's work through the lens of Brion's Theorem (1988), which expresses the integer-point structure of a given polytope via that of its vertex cones. It turns out that this viewpoint naturally yields various refinements and extensions of Chapoton's results, including explicit formulas for $\text{cha}_\mathcal{P}^λ(q,x)$, its leading coefficient, and its behavior as $t \to \infty$. We also prove an analogue of Chapoton's structural and reciprocity theorems for rational polytopes (i.e., with vertices in $\mathbb{Q}^d$).

A conjecture proposed by Gaetz and Gao asserts that the Cayley graph of any Coxeter group possesses the strong hull property. In this paper, we prove this conjecture for all affine irreducible Coxeter groups of rank 3. Our approach exploits the geometry of affine buildings to reduce the analysis of convex hulls to finitely many manageable configurations. These geometric reduction techniques offer a novel framework that may be applicable to higher-rank cases.

A set-system $S\subseteq \{0,1\}^n$ is cube-ideal if its convex hull can be described by capacity and generalized set covering inequalities. In this paper, we use combinatorics, convex geometry, and polyhedral theory to give exponential lower bounds on the size of cube-ideal set-systems, and linear lower bounds on their VC dimension. We then provide applications to graph theory and combinatorial optimization, specifically to strong orientations, perfect matchings, dijoins, and ideal clutters.

By unifying various earlier extensions of alternating sign matrices (ASMs), we introduce the notion of prefix-bounded matrices (PBMs). It is shown that the convex hull of these matrices forms the intersection of two special generalized polymatroids. This implies $\unicode{x2013}$ in a more general form $\unicode{x2013}$ that the linear inequality system given by Behrend and Knight (2007) and by Striker (2007, 2009) for describing the polytope of alternating sign matrices is totally dual integral (TDI), confirming a recent conjecture of Edmonds (2024, 2025). By relying on the polymatroidal approach, we derive a characterization for the existence of prefix-bounded matrices meeting lower and upper bounds on their entries. Furthermore, we point out that the constraint matrix of the linear system describing the convex hull of PBMs, in particular ASMs, is a network matrix. This implies that (a) standard network-flow techniques can be used to manage algorithmically optimization and structural results on PBMs obtained via g-polymatroids, (b) the linear system is actually box-TDI, and (c) the convex hull of PBMs admits a sharpened form of the integer Carathéodory property, in particular, the integer decomposition property. This latter feature makes it possible to confirm an extended form of an elegant conjecture of Brualdi and Dahl (2023) on the decomposability of a so-called $k$-regular alternating sign matrix as the sum of $k$ pattern-disjoint ASMs.

A subset of the vertex set of a graph is geodetically convex if it contains every vertex on any shortest path between two elements of the subset. The convex hull of a set of vertices is the smallest convex set containing the set. We study two games in which two players take turns selecting vertices of a graph until the convex hull of the remaining unselected vertices is too small. The last player to move is the winner. The achievement game ends when the convex hull of the unselected vertices does not contain every vertex in the graph. In the avoidance game, the convex hull of the remaining vertices must contain every vertex. We determine the nim-number of these games for the family of grid graphs. We also provide some results for lattice graphs. Key tools in this analysis are delayed gamegraphs, option preserving maps, and case analysis diagrams.

We decompose the indicator function of each $(a, b)$-Catalan matroid polytope as a weighted sum of indicator function of matroid polytopes that correspond to direct sums of uniform matroids. Catalan matroids lie in the interior of the convex hull of direct sums of uniform matroids in the polytope of all matroids introduced by Ferroni and Fink. Moreover, we describe combinatorially the coefficients of the convex combination of direct sums of uniform matroid corresponding to an $(a,b)$-Catalan matroid. In particular, this allows us to derive explicit formulas for arbitrary valuative invariants of $(a, b)$-Catalan matroids. Among other applications, we prove that $(a,b)$-Catalan matroids are Ehrhart positive, and we find formulas for the Kazhdan--Lusztig invariants of these matroids.

The polytope $ASM_n$, the convex hull of the $n\times n$ alternating sign matrices, was introduced by Striker and by Behrend and Knight. A face of $ASM_n$ corresponds to an elementary flow grid defined by Striker, and each elementary flow grid determines a doubly directed graph defined by Brualdi and Dahl. We show that a face of $ASM_n$ is symmetric if and only if its doubly directed graph has all vertices of even degree. We show that every face of $ASM_n$ is a 2-level polytope. We show that a $d$-dimensional face of $ASM_n$ has at most $2^d$ vertices and $4(d-1)$ facets, for $d\ge 2$. We show that a $d$-dimensional face of $ASM_n$ satisfies $vf\le d2^{d+1}$, where $v$ and $f$ are the numbers of vertices and edges of the face. If the doubly directed graph of a $d$-dimensional face is 2-connected, then $v\le 2^{d-1}+2$. We describe the facets of a face and a basis for the subspace parallel to a face in terms of the elementary flow grid of the face. We prove that no face of $ASM_n$ has the combinatorial type of the Birkhoff polytope $B_3$. We list the combinatorial types of faces of $ASM_n$ that have dimension 4 or less.

Polynomial-time deterministic approximation of volumes of polytopes, up to an approximation factor that grows at most sub-exponentially with the dimension, remains an open problem. Recent work on this question has focused on identifying interesting classes of polytopes for which such approximation algorithms can be obtained. In this paper, we focus on one such class of polytopes: the Kostka polytopes. The volumes of Kostka polytopes appear naturally in questions of random matrix theory, in the context of evaluating the probability density that a random Hermitian matrix with fixed spectrum $λ$ has a given diagonal $μ$ (the so-called randomized Schur-Horn problem): the corresponding Kostka polytope is denoted $\mathrm{GT}(λ, μ)$. We give a polynomial-time deterministic algorithm for approximating the volume of a ($Ω(n^2)$ dimensional) Kostka polytope $\mathrm{GT}(λ, μ)$ to within a multiplicative factor of $\exp(O(n\log n))$, when $λ$ is an integral partition with $n$ parts, with entries bounded above by a polynomial in $n$, and $μ$ is an integer vector lying in the interior of the permutohedron (i.e., convex hull of all permutations) of $λ$. The algorithm thus gives asymptotically correct estimates of the log-volume of Kostka polytopes corresponding to such $(λ, μ)$. Our approach is based on a partition function interpretation of a continuous analogue of Schur polynomials.

Given a tree $T$, its path polytope is the convex hull of the edge indicator vectors for the paths between any two distinct leaves in $T$. These polytopes arise naturally in polyhedral geometry and applications, such as phylogenetics, tropical geometry, and algebraic statistics. We provide a minimal halfspace representation of these polytopes. The construction is made inductively using toric fiber products.

It is possible to write the indicator function of any matroid polytope as an integer combination of indicator functions of Schubert matroid polytopes. In this way, every matroid on $n$ elements of rank $r$ can be thought of as a lattice point in the space having a coordinate for each Schubert matroid on $n$ elements of rank $r$. We study the convex hull of all these lattice points, with particular focus on the vertices, which come from the matroids we call extremal matroids. We show that several famous classes of matroids arise as faces of the polytopes, and in many cases we determine the dimension of this face explicitly. As an application, we show that there exist valuative invariants that attain non-negative values at all representable matroids, but fail to be non-negative in general.

The stress interval $S(u,v)$ between $u,v\in V(G)$ is the set of all vertices in a graph $G$ that lie on every shortest $u,v$-path. A set $U \subseteq V(G)$ is stress convex if $S(u,v) \subseteq U$ for any $u,v\in U$. A vertex $v \in V(G)$ is s-extreme if $V(G)-v$ is a stress convex set in $G$. The stress number $sn(G)$ of $G$ is the minimum cardinality of a set $U$ where $\bigcup_{u,v \in U}S(u,v)=V(G)$. The stress hull number $sh(G)$ of $G$ is the minimum cardinality of a set whose stress convex hull is $V(G)$. In this paper, we present many basic properties of stress intervals. We characterize s-extreme vertices of a graph $G$ and construct graphs $G$ with arbitrarily large difference between the number of s-extreme vertices, $sh(G)$ and $sn(G)$. Then we study these three invariants for some special graph families, such as graph products, split graphs, and block graphs. We show that in any split graph $G$, $sh(G)=sn(G)=|Ext_s(G)|$, where $Ext_s(G)$ is the set of s-extreme vertices of $G$. Finally, we show that for $k \in \mathbb{N}$, deciding whether $sn(G) \leq k$ is NP-complete problem, even when restricted to bipartite graphs.

We show that the polyhedron defined as the convex hull of the lattice points above the hyperbola $\left\{xy = n\right\}$ has between $Ω(n^{1/3})$ and $O(n^{1/3} \log n)$ vertices. The same bounds apply to any hyperbola with rational slopes except that instead of $n$ we have $n/Δ$ in the lower bound and by $\max\left\{Δ, n/Δ\right\}$ in the upper bound, where $Δ\in \mathbb{Z}_{>0}$ is the discriminant. We also give an algorithm that enumerates the vertices of these convex hulls in logarithmic time per vertex. One motivation for such an algorithm is the deterministic factorization of integers.

Given a graph $G$, a set is $Δ$-convex if there is no vertex $u\in V(G)\setminus S$ forming a triangle with two vertices of $S$. The $Δ$-convex hull of $S$ is the minimum $Δ$-convex set containing $S$. This article is an attempt to discuss the Carathéodory number and exchange number on various graph families and standard graph products namely Cartesian, strong and, lexicographic products of graphs.

This paper gives two different proofs to a structural theorem of decreasing minimization (lexicographic optimization) on integrally convex sets. The theorem states that the set of decreasingly minimal elements of an integrally convex set can be represented as the intersection of a unit discrete cube and a face of the convex hull of the given integrally convex set. The first proof resorts to the Fenchel-type duality theorem in discrete convex analysis and the second is more elementary using Farkas' lemma.

In this paper, we study a construction of homotopy invariants of open or closed covers, where the homotopy class is defined relative to a pair $(V,r)$, with $V$ a finite set of points in $\mathbb{R}^d$ and $r$ a point in the interior of their convex hull. We show that the simplicial complex of non-balanced subsets associated with $(V,r)$ has the homotopy type of a sphere, and use this to develop a theory of homotopy invariants of covers relative to balanced sets. A key result is that the homotopy class of a cover depends only, up to an involution, on the balanced-equivalence class of $(V,r)$. As applications, we obtain extension theorems for covers in this setting and derive the KKMS lemma, its analogues, and related combinatorial fixed-point results.