arXiv++ Combinatorics

There is a well-established dictionary between zonotopes, hyperplane arrangements, and their (oriented) matroids. Arguably one of the most famous examples is the class of graphical zonotopes, also called acyclotopes, which encode subzonotopes of the type-A root polytope, the permutahedron. Stanley (1991) gave a general interpretation of the coefficients of the Ehrhart polynomial (integer-point counting function for a polytope) of a zonotope via linearly independent subsets of its generators. Applying this to the graphical case shows that Ehrhart coefficients count induced forests of the graph of fixed sizes. Our first goal is to extend and popularize this story to other root systems, which on the combinatorial side is encoded by signed graphs analogously to the work by Greene and Zaslavsky (1983). We compute the Ehrhart polynomial of the acyclotope in the signed case, and we give a matroid-dual construction, giving rise to tocyclotopes, and compute their Ehrhart polynomials. Applying the same duality construction to a general integral matrix gives rise to a lattice Gale zonotope, whose face structure was studies by McMullen (1971) and whose duality nature is a special instance of D'Adderio--Moci's arithmetic matroids. We describe its Ehrhart polynomials in terms of the given matrix.

We prove a KKM-type theorem for matroid colored families of set coverings of a polytope. This generalizes Gale's colorful KKM theorem as well as recent sparse-colorful variants by Soberón, and McGinnis and Zerbib.

We consider one variant of stable assignment problems in a bipartite graph endowed with nonnegative capacities on the edges and quotas on the vertices. It can be viewed as a generalization of the stable allocation problem introduced by BaHiou and Balinsky, which arises when strong linear orders of preferences on the vertices in the latter are replaced by weak ones. At the same time, our stability problem can be stated in the framework of a theory by Alkan and Gale on stable schedule matchings generated by choice functions of a wide scope. In our case, the choice functions are of a special, so-called mixed, type. The main content of this paper is devoted to a study of rotations in our mixed model, functions on the edges determining ``elementary'' transformations between close stable assignments. These look more sophisticated compared with rotations in the stable allocation problem (which are generated by simple cycles). We efficiently construct a poset of rotations and show that the stable assignments are in bijection with the so-called closed functions for this poset; this gives rise to a ``compact'' affine representation for the lattice of stable assignments and leads to an efficient method to find a stable assignment of minimum cost.

A matroid base polytope is a polytope in which each vertex has 0,1 coordinates and each edge is parallel to a difference of two coordinate vectors. Matroid base polytopes are described combinatorially by integral submodular functions on a boolean lattice, satisfying the unit increase property. We define a more general class of unbounded matroids, or U-matroids, by replacing the boolean lattice with an arbitrary distributive lattice. U-matroids thus serve as a combinatorial model for polyhedra that satisfy the vertex and edge conditions of matroid base polytopes, but may be unbounded. Like polymatroids, U-matroids generalize matroids and arise as a special case of submodular systems. We prove that every U-matroid admits a canonical largest extension to a matroid, which we call the generous extension; the analogous geometric statement is that every U-matroid base polyhedron contains a unique largest matroid base polytope. We show that the supports of vertices of a U-matroid base polyhedron span a shellable simplicial complex, and we characterize U-matroid basis systems in terms of shelling orders, generalizing Björner's and Gale's criteria for a simplicial complex to be a matroid independence complex. Finally, we present an application of our theory to subspace arrangements and show that the generous extension has a natural geometric interpretation in this setting.

We initiate the study of a type $C_n$ generalization of the lattice path matroids defined by Bonin, de Mier, and Noy. These are delta matroids whose feasible sets are in bijection with lattice paths which are symmetric along the main diagonal. We describe deletion, contraction, enveloping matroids, and the homogeneous components of these delta matroids in terms of the combinatorics of symmetric lattice paths. In the second half, we study the convex geometry of the feasible polytopes of lattice path delta matroids. We show that these polytopes decompose into the feasible polytope of special lattice paths corresponding to intervals in the type $C_n$ Gale order whose related Richardson variety is a toric variety. Further, these special polytopes inherit a unimodular triangulation from Stanley's Eulerian triangulation of the hypercube. As a consequence, the volume of these polytopes is the proportion of permutations with specific ascent sets.

Factorization structures occur in toric differential and discrete geometry, and can be viewed in multiple ways, e.g., as objects determining substantial classes of explicit toric Sasaki and Kähler geometries, as special coordinates on such, or as an apex generalisation of cyclic polytopes featuring a generalised Gale's evenness condition. This article presents a comprehensive study of factorization structures. It establishes their structure theory and introduces their use in the geometry of cones and polytopes. The article explains the construction of polytopes and cones compatible with a given factorization structure, and exemplifies it for product Segre-Veronese and Veronese factorization structures, where the latter case includes cyclic polytopes. Further, it derives the generalised Gale's evenness condition for compatible cones, polytopes and their duals, and explicitly describes faces of these. Factorization structures naturally provide generalised Vandermonde identities, which relate normals of any compatible polytope, and which are used for Veronese factorization structure to find examples of Delzant and rational Delzant compatible polytopes. The article offers a myriad of factorization structure examples, which are later characterised to be precisely factorization structures with decomposable curves, and raises the question if these encompass all factorization structures, i.e., the existence of an indecomposable factorization curve.

A collection of vectors in a real vector space is called a unimodular system if any of its maximal linearly independent subsets generates the same free abelian group. This notion is closely connected with totally unimodular matrices: rows or columns of a totally unimodular matrix form a unimodular system and the matrix of coefficients of expansions of all vectors of a unimodular system with respect to its maximal linearly independent subset is totally unimodular. In this paper we show that a unimodular system defines the following geometric data: a Euclidean space, an integral lattice in it, and a reflexive lattice zonotope. The discriminant of the lattice is equal to the number of maximal linearly independent subsystems, and we call this number the complexity of the unimodular system. For a unimodular system $Ω$ we also define the Gale dual unimodular system $Ω^{\bot}$ which has the same complexity. These notions may be illustrated by the well-known graphic and cographic unimodular systems of a graph. Both graphic and cographic unimodular systems have the same complexity which is equal to the complexity of the graph. For graphs without loops and bridges the graphic and the cographic unimodular systems are Gale dual to each other. We describe this geometric data for certain examples: for the graphic and the cographic unimodular systems of a generalized theta-graph, consisting of two vertices connected by $N$ edges, for the cographic system of the complete graph $K_N$, and for the famous Bixby-Seymour unimodular system, which is neither graphic nor cographic.

In this paper we study the nerves of two types of coverings of a sphere $S^{d-1}$: (1) coverings by open hemispheres; (2) antipodal coverings by closed hemispheres. In the first case, nerve theorem implies that the nerve is homotopy equivalent to $S^{d-1}$. In the second case, we prove that the nerve is homotopy equivalent to a wedge of $(2d-2)$-dimensional spheres. The number of wedge summands equals the Möbius invariant of the geometric lattice (or hyperplane arrangement) associated with the covering. This result explains some observed large-scale phenomena in topological data analysis. We review the particular case, when the coverings are centered in the root system $A_d$. In this case the nerve of the covering by open hemispheres is the space of directed acyclic graphs (DAGs), and the nerve of the covering by closed hemispheres is the space of non-strongly connected directed graphs. The homotopy types of these spaces were described by Björner and Welker, and the incarnation of these spaces appeared independently as "the poset of orders" and "the poset of preorders" respectively in the works of Bouc. We study the space of DAGs in terms of Gale and combinatorial Alexander dualities, and propose how this space can be applied in automated machine learning.

We prove a colorful generalization of the Borsuk--Ulam theorem and derive colorful consequences from it, such as a colorful generalization of the ham sandwich theorem. Even in the uncolored case this specializes to a strengthening of the ham sandwich theorem, which given an additional condition, contains a result of Bárány, Hubard, and Jerónimo on well-separated measures as a special case. We prove a colorful generalization of Fan's antipodal sphere covering theorem, we derive a short proof of Gale's colorful KKM theorem, and we prove a colorful generalization of Brouwer's fixed point theorem. Our results also provide an alternative between Radon-type intersection results and KKM-type covering results. Finally, we prove colorful Borsuk--Ulam theorems for higher symmetry.

A tanglegram $\cal T$ consists of two rooted binary trees with the same number of leaves, and a perfect matching between the two leaf sets. In a layout, the tanglegrams is drawn with the leaves on two parallel lines, the trees on either side of the strip created by these lines are drawn as plane trees, and the perfect matching is drawn in straight line segments inside the strip. The tanglegram crossing number ${\rm cr}({\cal T})$ of $\cal T$ is the smallest number of crossings of pairs of matching edges, over all possible layouts of $\cal T$. The size of the tanglegram is the number of matching edges, say $n$. An earlier paper showed that the maximum of the tanglegram crossing number of size $n$ tanglegrams is $<\frac{1}{2}\binom{n}{2}$; but is at least $\frac{1}{2}\binom{n}{2}-\frac{n^{3/2}-n}{2}$ for infinitely many $n$. Now we make better bounds: the maximum crossing number of a size $n$ tanglegram is at most $ \frac{1}{2}\binom{n}{2}-\frac{n}{4}$, but for infinitely many $n$, at least $\frac{1}{2}\binom{n}{2}-\frac{n\log_2 n}{4}$. The problem shows analogy with the Unbalancing Lights Problem of Gale and Berlekamp.

Consider a real point configuration $\mathbf{A}$ of size $n$ and an integer $r \leq n$. The vertices of the $r$-lineup polytope of $\mathbf{A}$ correspond to the possible orderings of the top $r$ points of the configuration obtained by maximizing a linear functional. The motivation behind the study of lineup polytopes comes from the representability problem in quantum chemistry. In that context, the relevant point configurations are the vertices of hypersimplices and the integer points contained in an inflated regular simplex. The central problem consists in providing an inequality representation of lineup polytopes as efficiently as possible. In this article, we adapt the developed techniques to the quantum information theory setup. The appropriate point configurations become the vertices of products of simplices. A particular case is that of lineup polytopes of cubes, which form a type $B$ analog of hypersimplices, where the symmetric group of type~$A$ naturally acts. To obtain the inequalities, we center our attention on the combinatorics and the symmetry of products of simplices to obtain an algorithmic solution. Along the way, we establish relationships between lineup polytopes of products of simplices with the Gale order, standard Young tableaux, and the Resonance arrangement.

The topic of stable matchings (marriages) in a bipartite graph has become widely popular, starting with the appearance of the classical work by Gale and Shapley. We give a detailed survey on selected known results in this field that demonstrate structural, polyhedral and algorithmic properties of such matchings and their sets, providing our description with relatively short proofs.

Let $G$ be a graph and suppose we are given, for each $v \in V(G)$, a strict ordering of the neighbors of $v$. A set of matchings ${\cal M}$ of $G$ is called internally stable if there are no matchings $M,M' \in {\cal M}$ such that an edge of $M$ blocks $M'$. The sets of stable (à la Gale and Shapley) matchings and of von Neumann-Morgenstern stable matchings are examples of internally stable sets of matching. In this paper, we study, in both the marriage and the roommate case, inclusionwise maximal internally stable sets of matchings. We call those sets internally closed. By building on known and newly developed algebraic structures associated to sets of matchings, we investigate the complexity of deciding if a set of matchings is internally closed or von Neumann-Morgenstern stable, and of finding sets with those properties.

The classical Ham Sandwich theorem states that any $d$ point sets in $\mathbb{R}^d$ can be simultaneously bisected by a single affine hyperplane. A generalization of Dolnikov asserts that any $d$ families of pairwise intersecting compact, convex sets in $\mathbb{R}^d$ admit a common hyperplane transversal. We extend Dolnikov's theorem by showing that families of compact convex sets satisfying more general non-disjointness conditions admit common transversals by multiple hyperplanes. In particular, these generalize all known optimal results to the long-standing Grünbaum--Hadwiger--Ramos measure equipartition problem in the case of two hyperplanes. Our proof proceeds by establishing topological Radon-type intersection theorems and then applying Gale duality in the linear setting. For a single hyperplane, this gives a new proof of Dolnikov's original result via Sarkaria's non-embedding criterion for simplicial complexes.

The degree sequence of a graph is the sequence of the degrees of its vertices. If $π$ is a degree sequence of a graph $G$, then $G$ is a realization of $π$ and $G$ realizes $π$. Determining when a sequence of positive integers is realizable as a degree sequence of a simple graph has received much attention. One of the early results, by Erdös and Gallai, characterized degree sequences of graphs. The result was strengthened by Hakimi and Havel. Another generalization is derived by Cai et al. Hoogeveen and Sierksma listed seven criteria and gave a uniform proof. In addition, Gale and Ryser independently established a characterization by using network flows. We extend Gale and Ryser's results from bipartite graphs to tripartite graphs and even $n$-partite graphs. As corollaries, we give a necessary condition and a sufficient condition for the triple $(σ_1, σ_2, σ_3)$ to be realizable by a tripartite graph, where $σ_1$, $σ_2$ and $σ_3$ are all non-increasing sequences of nonnegative integers. We also give a stronger necessary condition for $(σ_1, σ_2, σ_3)$ to be realizable by a tripartite graph.

We show that the eigenpolytopes of graphs are universal in the sense that every polytope, up to affine equivalence, appears as the eigenpolytope of some positively weighted graph. We next extend the theory of graphical designs, which are quadrature rules for graphs, to positively weighted graphs. Through Gale duality for polytopes, we show a bijection between graphical designs and the faces of eigenpolytopes. This bijection proves the existence of graphical designs with positive quadrature weights, and upper bounds the size of a minimal graphical design. Connecting this bijection with the universality of eigenpolytopes, we establish three complexity results: it is strongly NP-complete to determine if there is a graphical design smaller than the mentioned upper bound, it is NP-hard to find a smallest graphical design, and it is #P-complete to count the number of minimal graphical designs.

A graphical design is a subset of graph vertices such that the weighted averages of certain graph eigenvectors over the design agree with their global averages. We use Gale duality to show that positively weighted graphical designs in regular graphs are in bijection with the faces of a generalized eigenpolytope of the graph. This connection can be used to organize, compute and optimize designs. We illustrate the power of this tool on three families of Cayley graphs -- cocktail party graphs, cycles, and graphs of hypercubes -- by computing or bounding the smallest designs that average all but the last eigenspace in frequency order.

We study logarithmic Voronoi cells for linear statistical models and partial linear models. The logarithmic Voronoi cells at points on such model are polytopes. To any $d$-dimensional linear model inside the probability simplex $Δ_{n-1}$, we can associate an $n\times d$ matrix $B$. For interior points, we describe the vertices of these polytopes in terms of co-circuits of $B$. We also show that these polytopes are combinatorially isomorphic to the dual of a vector configuration with Gale diagram $B$. This means that logarithmic Voronoi cells at all interior points on a linear model have the same combinatorial type. We also describe logarithmic Voronoi cells at points on the boundary of the simplex. Finally, we study logarithmic Voronoi cells of partial linear models, where the points on the boundary of the model are especially of interest.

Recently Soberón proved a far-reaching generalization of the colorful KKM Theorem due to Gale: let $n\geq k$, and assume that a family of closed sets $(A^i_j\mid i\in [n], j\in [k])$ has the property that for every $I\in \binom{[n]}{n-k+1}$, the family $\big(\bigcup_{i\in I}A^i_1,\dots,\bigcup_{i\in I}A^i_k\big)$ is a KKM cover of the $(k-1)$-dimensional simplex $Δ^{k-1}$; then there is an injection $π:[k] \rightarrow [n]$ so that $\bigcap_{i=1}^k A_i^{π(i)}\neq \emptyset$. We prove a polytopal generalization of this result, answering a question of Soberón in the same note. We also discuss applications of our theorem to fair division of multiple cakes, $d$-interval piercing, and a generalization of the colorful Carathéodory theorem.

Decades after David Gale presented the concept of Chomp and S.-Y.R. Li produced his very first multiplayer model to investigate Multiplayer Nim, we hereby establish another Multiplayer Model to specifically analyze Chomp. Under such model, we will re-define 'positions', 'rules' and other basic concepts and try our best to analyze the relationship between different rules and corresponding positions.