arXiv++ Combinatorics

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.

In $1977$, G. Bennett proved, by means of non-deterministic methods, an inequality which plays a fundamental role in a series of optimization problems. More precisely, Bennett's inequality shows that, for $p_{1},p_{2} \in\lbrack1,\infty]$ and all positive integers $n_{1},n_{2}$, there exists a bilinear form $A_{n_{1},n_{2}}\colon\left( \mathbb{R}^{n_{1}},\left\Vert \cdot\right\Vert _{p_{1}}\right) \times\left( \mathbb{R}^{n_{2}},\left\Vert \cdot\right\Vert _{p_{2}}\right) \longrightarrow\mathbb{R}$ with coefficients $\pm1$ satisfying \[ \left\Vert A_{n_{1},n_{2}}\right\Vert \leq C_{p_{1},p_{2}}\max\left\{ n_{1}^{1-\frac{1}{p_{1}}}n_{2}^{\max\left\{ \frac{1}{2}-\frac{1}{p_{2} },0\right\} },n_{2}^{1-\frac{1}{p_{2}}}n_{1}^{\max\left\{ \frac{1}{2} -\frac{1}{p_{1}},0\right\} }\right\} \] for a certain constant $C_{p_{1},p_{2}}$ depending just on $p_{1},p_{2}$; moreover, the exponents of $n_{1},n_{2}$ cannot be improved. In this paper, using a constructive approach, we prove that $C_{p_{1},p_{2}}\leq\sqrt{8/5}$ whenever $p_{1},p_{2}\in\left[ 2,\infty\right] $ or $p_{1}=p_{2}=p\in\left[ 1,\infty\right] $. Our techniques are applied to provide new upper bounds for the constants of a combinatorial game, known as Gale--Berlekamp switching game or unbalancing lights problem. As a consequence, we improve estimates obtained by Brown and Spencer in $1971$ and by Carlson and Stolarski in $2004$.

The convex hulls of face-vertex incident vectors of 3-face-colorable convex polytopes are computed. It is found that every such convex hull is a $d$-polytope with $d+2$ or $d+3$ vertices. Utilizing Gale transform and Gale diagram, we calculate its combinatorial structure. Finally, a necessary and sufficient criterion for combinatorial equivalence of two such convex hulls is given.

We revisit the problem of existence of stable systems of contracts with arbitrary sets of contracts. We show that stable sets of contracts exists if choices of agents satisfy path-independence. We call such choice functions Plott functions. Our proof is based on application of Zorn lemma to a special poset of semi-stable pairs. Moreover, we construct a dynamic process on the poset (generalizing algorithm Gale and Shapley) steady states of which are stable sets. In Appendix we discuss Lehmann hyper-orders and establish a bijection between the set of Lehmann hyper-orders and the set of Plott functions.