arXiv++ Combinatorics

Given any finite set of nonnegative integers, there exists a closed convex set whose facial dimension signature coincides with this set of integers, that is, the dimensions of its nonempty faces comprise exactly this set of integers. In this work, we show that such sets can be realised as solution sets of systems of finitely many convex quadratic inequalities, and hence are representable via second-order cone programming problems, and are, in particular, spectrahedral. It also follows that these sets are facially exposed, in contrast to earlier constructions. We obtain a lower bound on the minimum number of convex quadratic inequalities needed to represent a closed convex set with prescribed facial dimension signature, and show that our bound is tight for some special cases. Finally, we relate the question of finding efficient representations with indecomposability of integer sequences and other topics, and discuss a substantial number of open questions.

For two subsets S and T of a given lattice L, we define a relative distributive (modular) property over L, that underlies a large family including the usual class of distributive (modular) lattices. Our proposed class will be called ST-distributive (ST-modular) lattices. In this paper, we explore elemental properties of ST-distributivity (ST-modularity) and find examples of maximal S and T to form ST-distributive lattices for some non-distributive finite lattices of small order. We also characterize the maximal pairs of subsets (S,T), subject to certain constraints, that induce ST-distributivity in the lattice family M_n,n for all natural numbers n greater than or equal to 3. Afterwards, we present an application of ST-modular to convex sets and polytopes. This application has been the first example found and the main guiding light for our new definitions. The aforementioned definitions are closely related to distributive elements of Birkhoff-Gratzer and Stanley's SS-lattices.

Given a nonempty set $\mathcal{L}$ of linear orders, we say that the linear order $L$ is $\mathcal{L}$-convex embeddable into the linear order $L'$ if it is possible to partition $L$ into convex sets indexed by some element of $\mathcal{L}$ which are isomorphic to convex subsets of $L'$ ordered in the same way. This notion generalizes convex embeddability and (finite) piecewise convex embeddability (both studied in arXiv:2309.09910), which are the special cases $\mathcal{L} = \{\mathbf{1}\}$ and $\mathcal{L} = \mathsf{Fin}$. We focus mainly on the behavior of these relations on the set of countable linear orders, first characterizing when they are transitive, and hence a quasi-order. We then study these quasi-orders from a combinatorial point of view, and analyze their complexity with respect to Borel reducibility. Finally, we extend our analysis to uncountable linear orders.

Each point of a simplex is expressed as a unique convex combination of the vertices. The coefficients in the combination are the barycentric coordinates of the point. For each point in a general convex polytope, there may be multiple representations, so its barycentric coordinates are not necessarily unique. There are various schemes to fix particular barycentric coordinates: Gibbs, Wachspress, cartographic, etc. In this paper, a method for producing sparse barycentric coordinates in polytopes will be discussed. It uses a purely algebraic treatment of affine spaces and convex sets, with barycentric algebras. The method is based on a certain decomposition of each finite-dimensional convex polytope into a union of simplices of the same dimension.

We prove a fractional Helly theorem for $k$-flats intersecting fat convex sets. A family $\mathcal{F}$ of sets is said to be $ρ$-fat if every set in the family contains a ball and is contained in a ball such that the ratio of the radii of these balls is bounded by $ρ$. We prove that for every dimension $d$ and positive reals $ρ$ and $α$ there exists a positive $β=β(d,ρ, α)$ such that if $\mathcal{F}$ is a finite family of $ρ$-fat convex sets in $\mathbb{R}^d$ and an $α$-fraction of the $(k+2)$-size subfamilies from $\mathcal{F}$ can be hit by a $k$-flat, then there is a $k$-flat that intersects at least a $β$-fraction of the sets of $\mathcal{F}$. We prove spherical and colorful variants of the above results and prove a $(p,k+2)$-theorem for $k$-flats intersecting balls.

We give a construction of a convex set $A \subset \mathbb R$ with cardinality $n$ such that $A-A$ contains a convex subset with cardinality $Ω(n^2)$. We also consider the following variant of this problem: given a convex set $A$, what is the size of the largest matching $M \subset A \times A$ such that the set \[ \{ a-b : (a,b) \in M \} \] is convex? We prove that there always exists such an $M$ with $|M| \geq \sqrt n$, and that this lower bound is best possible, up a multiplicative constant.

We prove a no-dimensional Helly theorem for affine spaces and convex sets using the unboundedness framework of Aronov, Goodman, and Pollack (Computational Geometry, 2002). This generalizes the fundamental result of Adiprasito, Bárány, Mustafa, and Terpai on the no-dimensional Helly theorem for points and convex sets (Discrete & Computational Geometry, 2020). Additionally, we establish the optimality of our result.

Hadwiger's theorem is a Helly-type theorem involving common transversals to families of convex sets instead of common intersections. Subsequently, Pollack and Wenger identified a necessary and sufficient condition, called a consistent $k$-ordering, for the existence of a hyperplane transversal for sets in $\mathbb{R}^d$. We obtain a quantitative generalization of Hadwiger's theorem in $\mathbb{R}^2$, showing that compact convex sets in $\mathbb{R}^2$ with a quantitative version of consistent ordering have a transversal satisfying quantitative requirements. Our proof generalizes the methods in Wenger's proof of Hadwiger's theorem in $\mathbb{R}^2$. We also prove colorful versions of our results.

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 set. The convex hull of a set of vertices is the smallest convex set containing the set. We study variations of two games introduced by Buckley and Harary, where two players take turns selecting previously-unselected vertices of a graph until the convex hull of the jointly-selected vertices becomes too large. The last player to move is the winner. The achievement game ends when the convex hull contains every vertex. In the avoidance game, the convex hull is not allowed to contain every vertex. We determine the nim-value of these games for several graph families.

Every polyhedron can be decomposed into a Minkowski sum (or vector sum) of a bounded polyhedron and a polyhedral cone. This paper establishes similar statements for some classes of discrete sets in discrete convex analysis, such as integrally convex sets, L-natural-convex sets, and M-natural-convex sets.

A family $\mathcal{F}$ of sets satisfies the $(p,q)$-property if among every $p$ members of $\mathcal{F}$, some $q$ can be pierced by a single point. The celebrated $(p,q)$-theorem of Alon and Kleitman asserts that for any $p \geq q \geq d+1$, any family $\mathcal{F}$ of compact convex sets in $\mathbb{R}^d$ that satisfies the $(p,q)$-property can be pierced by a finite number $c(p,q,d)$ of points. A similar theorem with respect to piercing by $(d-1)$-dimensional flats, called $(d-1)$-transversals, was obtained by Alon and Kalai. In this paper we prove the following result, which can be viewed as an $(\aleph_0,k+2)$-theorem with respect to $k$-transversals: Let $\mathcal{F}$ be an infinite family of closed balls in $\mathbb{R}^d$, and let $0 \leq k < d$. If among every $\aleph_0$ elements of $\mathcal{F}$, some $k+2$ can be pierced by a $k$-dimensional flat, then $\mathcal{F}$ can be pierced by a finite number of $k$-dimensional flats. We derive this result as a corollary of a more general result which proves the same assertion for families of not necessarily convex objects called \emph{near-balls}, to be defined below. This is the first $(p,q)$-theorem in which the assumption is weakened to an $(\infty,\cdot)$ assumption. Our proofs combine geometric and topological tools.

Let $K$ be a compact convex set in $\mathbb{R}^2$ and let $\mathcal{F}_1, \mathcal{F}_2, \mathcal{F}_3$ be finite families of translates of $K$ such that $A \cap B \neq \emptyset$ for every $A \in \mathcal{F}_i$ and $B \in \mathcal{F}_j$ with $i \neq j$. A conjecture by Dolnikov is that, under these conditions, there is always some $j \in \lbrace 1,2,3 \rbrace$ such that $\mathcal{F}_j$ can be pierced by $3$ points. In this paper we prove a stronger version of this conjecture when $K$ is a body of constant width or when it is close in Banach-Mazur distance to a disk. We also show that the conjecture is true with $8$ piercing points instead of $3$. Along the way we prove more general statements both in the plane and in higher dimensions. A related result was given by Martínez-Sandoval, Roldán-Pensado and Rubin. They showed that if $\mathcal{F}_1, \dots, \mathcal{F}_d$ are finite families of convex sets in $\mathbb{R}^d$ such that for every choice of sets $C_1 \in \mathcal{F}_1, \dots, C_d \in \mathcal{F}_d$ the intersection $\bigcap_{i=1}^{d} C_i$ is non-empty, then either there exists $j \in \lbrace 1,2, \dots, n \rbrace$ such that $\mathcal{F}_j$ can be pierced by few points or $\bigcup_{i=1}^{n} \mathcal{F}_i$ can be crossed by few lines. We give optimal values for the number of piercing points and crossing lines needed when $d=2$ and also consider the problem restricted to special families of convex sets.

The Shapley-Folkman theorem is a statement about the Minkowski sum of (non-convex) sets, expressing the closeness of the Minkowski sum to convexity in a quantitative manner. This paper establishes similar theorems for integrally convex sets, L-natural-convex sets, and M-natural-convex sets, which are major classes of discrete convex sets in discrete convex analysis.

Let $Ω\subset \mathbb{R}^d$ be a set of finite measure. The periodic tiling conjecture suggests that if $Ω$ tiles $\mathbb{R}^d$ by translations then it admits at least one periodic tiling. Fuglede's conjecture suggests that $Ω$ admits an orthogonal basis of exponential functions if and only if it tiles $\mathbb{R}^d$ by translations. Both conjectures are known to be false in sufficiently high dimensions, with all the so-far-known counterexamples being highly disconnected. On the other hand, both conjectures are known to be true for convex sets. In this work we study these conjectures for connected sets. We show that the periodic tiling conjecture, as well as both directions of Fuglede's conjecture are false for connected sets in sufficiently high dimensions.

Based on a result of Makeev, in 2012 Blagojević and Karasev proposed the following problem: given any positive integers $m$ and $1\leq \ell\leq k$, find the minimum dimension $d=Δ(m;\ell/k)$ such that for any $m$ mass distributions on $\mathbb{R}^d$, there exist $k$ hyperplanes, any $\ell$ of which equipartition each mass. The $\ell=k$ case is a central question in geometric and topological combinatorics which remains open except for few values of $m$ and $k$. For $\ell< k$ and arbitrary $m$, we establish new upper bounds on $Δ(m;\ell/k)$ when (1) $\ell=2$ and $k$ is arbitrary and (2) $\ell=3$ and $k=4$. When $\ell=k-1$ and $m+1$ is a power of two these bounds are nearly optimal and are exponentially smaller than the current best upper bounds when $\ell=k$. Similar remarks apply to our upper bounds when the hyperplanes are prescribed to be pairwise orthogonal. Lastly, we provide transversal extensions of our results along the lines recently established by Frick et al.: given $m$ families of compact convex sets in $\mathbb{R}^d$ such that no $2^\ell$ members of any family are pairwise disjoint, we show that every member of each family is pierced by the union of any $\ell$ of some collection of $k$ hyperplanes.

Krasnosselsky's art gallery theorem gives a combinatorial characterization of star-shaped sets in Euclidean spaces, similar to Helly's characterization of finite families of convex sets with non-empty intersection. We study colorful and quantitative variations of Krasnosselsky's result. In particular, we are interested in conditions on a set $K$ that guarantee there exists a measurably large set $K'$ such that every point in $K'$ can see every point in $K$. We prove results guaranteeing the existence of $K'$ with large volume or large diameter.

This paper introduces a new problem concerning additive properties of convex sets. Let $S= \{s_1 < \dots <s_n \}$ be a set of real numbers and let $D_i(S)= \{s_x-s_y: 1 \leq x-y \leq i\}$. We expect that $D_i(S)$ is large, with respect to the size of $S$ and the parameter $i$, for any convex set $S$. We give a construction to show that $D_3(S)$ can be as small as $n+2$, and show that this is the smallest possible size. On the other hand, we use an elementary argument to prove a non-trivial lower bound for $D_4(S)$, namely $|D_4(S)| \geq \frac{5}{4}n -1$. For sufficiently large values of $i$, we are able to prove a non-trivial bound that grows with $i$ using incidence geometry.

Let $¶$ be any collection of paths of a graph $G=(V,E)$. For $S\subseteq V$, define $I(S)=S\cup\{v\mid v \ \mbox{lies in a path of} \ ¶\ \mbox{with endpoints in} \ S\}$. Let $\C$ be the collection of fixed points of the function $I$, that is, $\C=\{S\subseteq V\mid I(S)=S\}$. It is well known that $(V,\C)$ is a finite convexity space, where the members of $\C$ are precisely the convex sets. If $¶$ is taken as the collection of all the paths of $G$, then $(V,\C)$ is the {\em all-path convexity} with respect to graph $G$. In this work we study how important parameters and problems in graph convexity are solved for the all-path convexity.

A \textit{$k$-transversal} to family of sets in $\mathbb{R}^d$ is a $k$-dimensional affine subspace that intersects each set of the family. In 1957 Hadwiger provided a necessary and sufficient condition for a family of pairwise disjoint, planar convex sets to have a $1$-transversal. After a series of three papers among the authors Goodman, Pollack, and Wenger from 1988 to 1990, Hadwiger's Theorem was extended to necessary and sufficient conditions for $(d-1)$-transversals to finite families of convex sets in $\mathbb{R}^d$ with no disjointness condition on the family of sets. We prove an analogue of the Goodman-Pollack-Wenger theorem in the complex setting.

A family of sets has the $(p, q)$ property if among any $p$ members of it some $q$ intersect. It is shown that if a finite family of compact convex sets in $\R^2$ has the $(p+1,2)$ property then it is pierced by $\lfloor \frac{p}{2} \rfloor +1$ lines. A colorful version of this result is proved as well. As a corollary, the following is proved: Let $\F$ be a finite family of compact convex sets in the plane with no isolated sets, and let $\F'$ be the family of its pairwise intersections. If $\F$ has the $(p+1,2)$ property and $\F'$ has the $(r+1,2)$ property, then $\F$ is pierced by $(\lfloor \frac{r}{2} \rfloor ^2 +\lfloor\frac{r}{2} \rfloor)p$ points when $r\ge 2$, and by $p$ points otherwise. The proofs use the topological KKM theorem.