arXiv++ Combinatorics

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.

From a geometric point of view, Pauli's exclusion principle defines a hypersimplex. This convex polytope describes the compatibility of $1$-fermion and $N$-fermion density matrices, therefore it coincides with the convex hull of the pure $N$-representable $1$-fermion density matrices. Consequently, the description of ground state physics through $1$-fermion density matrices may not necessitate the intricate pure state generalized Pauli constraints. In this article, we study the generalization of the $1$-body $N$-representability problem to ensemble states with fixed spectrum $\mathbf{w}$, in order to describe finite-temperature states and distinctive mixtures of excited states. By employing ideas from convex analysis and combinatorics, we present a comprehensive solution to the corresponding convex relaxation, thus circumventing the complexity of generalized Pauli constraints. In particular, we adapt and further develop tools such as symmetric polytopes, sweep polytopes, and Gale order. For both fermions and bosons, generalized exclusion principles are discovered, which we determine for any number of particles and dimension of the $1$-particle Hilbert space. These exclusion principles are expressed as linear inequalities satisfying hierarchies determined by the non-zero entries of $\mathbf{w}$. The two families of polytopes resulting from these inequalities are part of the new class of so-called lineup polytopes.

We explore four approaches to the question of defectivity for a complex projective toric variety $X_A$ associated with an integral configuration $A$. The explicit tropicalization of the dual variety $X_A^\vee$ due to Dickenstein, Feichtner, and Sturmfels allows for the computation of the defect in terms of an affine combinatorial invariant $ρ(A)$. We express $ρ(A)$ in terms of affine invariants $ι(A)$ associated to Esterov's iterated circuits and $λ(A)$, an invariant defined by Curran and Cattani in terms of a Gale dual of $A$. Thus we obtain formulae for the dual defect in terms of iterated circuits and Gale duals. An alternative expression for the dual defect of $X_A$ is given by Furukawa-Ito in terms of Cayley decompositions of $A$. We give a Gale dual interpretation of these decompositions and apply it to the study of defective configurations.

Let $L_1=([a_1,b_1],\ldots,[a_m,b_m])$ and $L_2=([c_1,d_1],\ldots,[c_n,d_n]$) be two sequences of intervals consisting of nonnegative integers with $b_1\ge \cdots\ge b_m$ and $d_1\ge \cdots\ge d_n$. In this paper, we first give two optimal conditions for the sequences of intervals $L_1$ and $L_2$ such that each pair $(P;Q)$ with $P=(p_1,\ldots,p_m)$, $Q=(q_1,\ldots,q_n)$, $a_i\le p_i\le b_i$ for $1\le i\le m$, $c_i\le q_i\le d_i$ for $1\le i\le n$ and $\sum\limits_{i=1}^m p_i=\sum\limits_{i=1}^n q_i$ is bigraphic. One of them is optimal sufficient condition and the other one optimal necessary condition. We also present a characterization of $(L_1;L_2)$ that is forcibly bigraphic on sequences of intervals. This is an extension of the well-known theorem on bigraphic sequences due to Gale and Ryser

The classical approach to envy-free division and equilibrium problems relies on Knaster-Kuratowski-Mazurkiewicz theorem, Sperner's lemma or some extension involving mapping degree. We propose a different and relatively novel approach where the emphasis is on configuration spaces and equivariant topology. We illustrate the method by proving several relatives (extensions) of the classical envy-free division theorem of David Gale, where the emphasis is on preferences allowing the players to choose degenerate pieces of the cake.

We give a simple and short proof of the fact that the board game of Y cannot end in a draw. Our proof, based on the analogous result for the game of Hex (the so-called 'Hex Theorem'), is purely topological and does not depend on the shape of the board. We also include a simplified version of Gale's proof of Hex Theorem.

The ELLIS PhD program is a European initiative that supports excellent young researchers by connecting them to leading researchers in AI. In particular, PhD students are supervised by two advisors from different countries: an advisor and a co-advisor. In this work we summarize the procedure that, in its final step, matches students to advisors in the ELLIS 2020 PhD program. The steps of the procedure are based on the extensive literature of two-sided matching markets and the college admissions problem [Knuth and De Bruijn, 1997, Gale and Shapley, 1962, Rothand Sotomayor, 1992]. We introduce PolyGS, an algorithm for the case of two-sided markets with quotas on both sides (also known as many-to-many markets) which we use throughout the selection procedure of pre-screening, interview matching and final matching with advisors. The algorithm returns a stable matching in the sense that no unmatched persons prefer to be matched together rather than with their current partners (given their indicated preferences). Roth [1984] gives evidence that only stable matchings are likely to be adhered to over time. Additionally, the matching is student-optimal. Preferences are constructed based on the rankings each side gives to the other side and the overlaps of research fields. We present and discuss the matchings that the algorithm produces in the ELLIS 2020 PhD program.

Birkhoff's representation theorem (Birkhoff, 1937) defines a bijection between elements of a distributive lattice and the family of upper sets of an associated poset. Although not used explicitly, this result is at the backbone of the combinatorial algorithm by Irving et al. (1987) for maximizing a linear function over the set of stable matchings in Gale and Shapley's stable marriage model (Gale and Shapley, 1962). In this paper, we introduce a property of distributive lattices, which we term as affine representability, and show its role in efficiently solving linear optimization problems over the elements of a distributive lattice, as well as describing the convex hull of the characteristic vectors of the lattice elements. We apply this concept to the stable matching model with path-independent quota-filling choice functions, thus giving efficient algorithms and a compact polyhedral description for this model. To the best of our knowledge, this model generalizes all models from the literature for which similar results were known, and our paper is the first that proposes efficient algorithms for stable matchings with choice functions, beyond classical extensions of the Deferred Acceptance algorithm.

A transshipment problem (G, d, λ) is modeled by a directed graph G = (V, E) with weighted vertices d = (d_v | v \in V) and directed edges λ= (λ_e | e \in E) interpreted as follows: G is a communication or transportation network, e.g., a pipeline; each edge e \in E is a one-way communication line, road or pipe of capacity λ_e, while every vertex v \in V is a node of production d_v > 0, consumption d_v < 0, or transition d_v = 0. A non-negative flow x = (x_e \mid e \in E) is called weakly feasible if for each v \in V the algebraic sum of flows, over all directed edges incident to v, equals d_v; or shorter, if A_G x = d, where A_G is the vertex-edge incidence matrix of G. A weakly feasible flow x is called feasible if x_e \leq λ_e for all e \in E. We consider weakly feasible but not necessarily feasible flows, that is, inequalities x_e > λ_e are allowed. However, such an excess is viewed as unwanted (dangerous) and so we minimize the excess ratio vector r = (r_e = x_e / λ_e | e \in E) lexicographically. More precisely, first, we look for the weakly feasible flows minimizing the maximum of re over all e in E; among all such flows we look for those that minimize the second largest coordinate of r, etc. Clearly, |E| such steps define a unique balanced flow, which provides the lexmin solution for problem (G, d, λ). We construct it in polynomial time, provided vectors d and λare integer. For symmetric digraphs the problem was solved by Gurvich and Gvishiani in 1984. Here we extend this result to directed graphs. Furthermore, we simplify the algorithm and proofs applying the classic criterion of existence of a feasible flow for (G, d, λ) obtained by Gale and Hoffman in late 1950-s.

For a two-sided ($n$ men/$n$ women) stable matching problem) Gale and Shapley studied a proposal algorithm (men propose/women select, or the other way around), that determines a matching, not blocked by any unmatched pair. Irving used this algorithm as a first phase of his algorithm for one-sided (stable roommates) matching problem with $n$ agents. We analyze a fully extended version of Irving's proposal algorithm that runs all the way until either each agent holds a proposal or an agent gets rejected by everybody on the agent's preference list. It is shown that the terminal, directed, partnerships form a stable permutation with matched pairs remaining matched in any other stable permutation. A likely behavior of the proposal algorithm is studied under assumption that all $n$ rankings are independently uniform. It is proved that with high probability (w.h.p.) every agent has a partner, and that both the number of agents in cycles of length $\ge 3$ and the total number of stable matchings are bounded in probability. W.h.p. the total number of proposals is asymptotic to $0.5 n^{3/2}$.

In 1995, Josckusch constructed an infinite family of centrally symmetric (cs, for short) triangulations of $3$-spheres that are cs-$2$-neighborly. Recently, Novik and Zheng extended Jockusch's construction: for all $d$ and $n>d$, they constructed a cs triangulation of a $d$-sphere with $2n$ vertices, $Δ^d_n$, that is cs-$\lceil d/2\rceil$-neighborly. Here, several new cs constructions, related to $Δ^d_n$, are provided. It is shown that for all $k>2$ and a sufficiently large $n$, there is another cs triangulation of a $(2k-1)$-sphere with $2n$ vertices that is cs-$k$-neighborly, while for $k=2$ there are $Ω(2^n)$ such pairwise non-isomorphic triangulations. It is also shown that for all $k>2$ and a sufficiently large $n$, there are $Ω(2^n)$ pairwise non-isomorphic cs triangulations of a $(2k-1)$-sphere with $2n$ vertices that are cs-$(k-1)$-neighborly. The constructions are based on studying facets of $Δ^d_n$, and, in particular, on some necessary and some sufficient conditions similar in spirit to Gale's evenness condition. Along the way, it is proved that Jockusch's spheres $Δ^3_n$ are shellable and an affirmative answer to Murai--Nevo's question about $2$-stacked shellable balls is given.

In this paper we examine four different models for the realization space of a polytope: the classical model, the Grassmannian model, the Gale transform model, and the slack variety. Respectively, they identify realizations of the polytopes with the matrix whose columns are the coordinates of their vertices, the column space of said matrix, their Gale transforms, and their slack matrices. Each model has been used to study realizations of polytopes. In this paper we establish very explicitly the maps that allow us to move between models, study their precise relationships, and combine the strengths of different viewpoints. As an illustration, we combine the compact nature of the Grassmannian model with the slack variety to obtain a reduced slack model that allows us to perform slack ideal calculations that were previously out of computational reach. These calculations allow us to answer the question of [Criado, Santos. Topological prismatoids and small simplicial spheres of large diameter. Experimental Mathematics, 1-13, 2019], about the realizability of a family of prismatoids, in general in the negative by proving the non-realizability of one of them.

We propose a continuous version of the classical Gale--Berlekamp switching game. We also study a weighted version of this new continuous game. The main results of this paper concern growth estimates for the corresponding optimization problems. The methods developed in this article are deterministic in nature and in some special cases the estimates obtained are optimal.

In this paper we study envy-free division problems. The classical approach to such problems, used by David Gale, reduces to considering continuous maps of a simplex to itself and finding sufficient conditions for this map to hit the center of the simplex. The mere continuity of the map is not sufficient for reaching such a conclusion. Classically, one makes additional assumptions on the behavior of the map on the boundary of the simplex (for example, in the Knaster--Kuratowski--Mazurkiewicz and the Gale theorem). We follow Erel Segal-Halevi, Frédéric Meunier, and Shira Zerbib, and replace the boundary condition by another assumption, which has the meaning in economy as the possibility for a player to prefer an empty part in the segment partition problem. We solve the problem positively when $n$, the number of players that divide the segment, is a prime power, and we provide counterexamples for every $n$ which is not a prime power. We also provide counterexamples relevant to a wider class of fair or envy-free division problems when $n$ is odd and not a prime power. In this arxiv version that appears after the official publication we have corrected the statement and the proof of Lemma 3.4.

Let $X$ be a configuration of $n$ points in $\mathbb{R}^d$. What is the maximum number of vertices that $conv(T(X))$ can have among all the possible permissible projective transformations $T$? In this paper, we investigate this and connected questions. After presenting several upper bounds, we study a closely related problem (via Gale transforms) concerning the number of minimal Radon partitions of a set of points. We then present some bounds for this number that enable us to partially answer a question due to Pach and Szegedy. We also discuss another related problem concerning the size of topes in arrangements of hyperplanes.

In this paper, we study the $d$-dimensional rectilinear drawings of the complete $d$-uniform hypergraph $K_{2d}^d$. Anshu et al. [Computational Geometry: Theory and Applications, 2017] used Gale transform and Ham-Sandwich theorem to prove that there exist $Ω\left(2^d\right)$ crossing pairs of hyperedges in such a drawing of $K_{2d}^d$. We improve this lower bound by showing that there exist $Ω\left(2^d \sqrt{ d}\right)$ crossing pairs of hyperedges in a $d$-dimensional rectilinear drawing of $K_{2d}^d$. We also prove the following results. 1. There are $Ω\left(2^d {d^{3/2}}\right)$ crossing pairs of hyperedges in a $d$-dimensional rectilinear drawing of $K_{2d}^d$ when its $2d$ vertices are either not in convex position in $\mathbb{R}^d$ or form the vertices of a $d$-dimensional convex polytope that is $t$-neighborly but not $(t+1)$-neighborly for some constant $t\geq1$ independent of $d$. 2. There are $Ω\left(2^d {d^{5/2}}\right)$ crossing pairs of hyperedges in a $d$-dimensional rectilinear drawing of $K_{2d}^d$ when its $2d$ vertices form the vertices of a $d$-dimensional convex polytope that is $(\lfloor{d/2}\rfloor-t')$-neighborly for some constant $t' \geq 0$ independent of $d$.

In this paper, we study the embedding of a complete balanced $d$-partite $d$-uniform hypergraph with all its $nd$ vertices represented as points in general position in $\mathbb{R}^d$ and each hyperedge drawn as a convex hull of $d$ corresponding vertices. We assume that the set of vertices is partitioned into $d$ disjoint sets, each of size $n$, such that each of the vertices in a hyperedge is from a different set. Two hyperedges are said to be crossing if they are vertex disjoint and contain a common point in their relative interiors. Using the Generalized Colored Tverberg Theorem, we observe that such an embedding of a complete balanced $d$-partite $d$-uniform hypergraph with $nd$ vertices contains $Ω\left((8/3)^{d/2}\right){\left({n/2}\right)^d{\left((n-1)/2\right)}^d}$ crossing pairs of hyperedges for sufficiently large $n$ and $d$. Using the Gale Transform and the Ham-Sandwich Theorem, we improve this lower bound to $ Ω\left(2^{d}\right){\left({n/2}\right)^d{\left((n-1)/2\right)}^d}$ for sufficiently large $n$ and $d$.

In 1953 Gale noticed that for every n-person game in extensive form with perfect information modeled by a rooted treesome special Nash equilibrium in pure strategies can be found by an algorithm of successive elimination of leaves, which is now called backward induction. He also noticed the same procedure, performed for the normal form of this game, turns into successive elimination of dominated strategies of the players that results in a single strategy profile (x_1,..., x_n), which is called a domination equilibrium (DE) and appears to be a Nash-equilibrium (NE) too. In other words, the game in normal form obtained from a positional game with perfect information is dominance-solvable (DS) and also Nash-solvable (NS). Yet, an arbitrary game in normal form may be not DS. We strengthen Gale's results as follows. Consider several successive eliminations of dominated strategies that begins with X = X_1 x ... x X_n and ends in X' = X'_1 x ... x X'_n. We will call X' a D-box of X. Our main (but obvious) lemma claims that for any i =1,..., n} and for any strategy x_i in X_i its projection to a D-box X' is dominated by a strategy x'_i in X'_i. It follows that any DE is an NE and, hence, DS implies NS. It is enough to apply the lemma in case when X' consists of a single strategy profile. The same lemma implies that the domination procedure is well-defined. A D-box X' is called terminal if it is domination-free, that is, it contains no pair of strategies such that one of them is dominated by the other. Any two terminal D-boxes X' and X" of X are equal. More precisely, there exist $n$ permutations π= (π_1, ..., π_n)$, with π_i : X_i to X_i for i in I, that transform X' into X", that is, π(X') = X" and the payoffs are respected. We also recall some published results on dominance-solvable game forms.