Showing 1–46 of 46 results for author: Soberón, P

Tverberg's theorem and multi-class support vector machines

Authors: Pablo Soberón

Abstract: We show how, using linear-algebraic tools developed to prove Tverberg's theorem in combinatorial geometry, we can design new models of multi-class support vector machines (SVMs). These supervised learning protocols require fewer conditions to classify sets of points, and can be computed using existing binary SVM algorithms in higher-dimensional spaces, including soft-margin SVM algorithms. We desc… ▽ More We show how, using linear-algebraic tools developed to prove Tverberg's theorem in combinatorial geometry, we can design new models of multi-class support vector machines (SVMs). These supervised learning protocols require fewer conditions to classify sets of points, and can be computed using existing binary SVM algorithms in higher-dimensional spaces, including soft-margin SVM algorithms. We describe how the theoretical guarantees of standard support vector machines transfer to these new classes of multi-class support vector machines. We give a new simple proof of a geometric characterization of support vectors for largest margin SVMs by Veelaert. △ Less

Submitted 25 April, 2024; originally announced April 2024.

Comments: 15 pages, 3 figures

MSC Class: 52A35; 52C35; 62R07; 62R40

Bisecting masses with families of parallel hyperplanes

Authors: Alfredo Hubard, Pablo Soberón

Abstract: We prove a common generalization to several mass partition results using hyperplane arrangements to split $\mathbb{R}^d$ into two sets. Our main result implies the ham-sandwich theorem, the necklace splitting theorem for two thieves, a theorem about chessboard splittings with hyperplanes with fixed directions, and all known cases of Langerman's conjecture about equipartitions with $n$ hyperplanes.… ▽ More We prove a common generalization to several mass partition results using hyperplane arrangements to split $\mathbb{R}^d$ into two sets. Our main result implies the ham-sandwich theorem, the necklace splitting theorem for two thieves, a theorem about chessboard splittings with hyperplanes with fixed directions, and all known cases of Langerman's conjecture about equipartitions with $n$ hyperplanes. Our main result also confirms an infinite number of previously unknown cases of the following conjecture of Takahashi and Soberón: For any $d+k-1$ measures in $\mathbb{R}^d$, there exist an arrangement of $k$ parallel hyperplanes that bisects each of the measures. The general result follows from the case of measures that are supported on a finite set with an odd number of points. The proof for this case is inspired by ideas of differential and algebraic topology, but it is a completely elementary parity argument. △ Less

Submitted 29 April, 2024; v1 submitted 22 April, 2024; originally announced April 2024.

Comments: 18 pages, 3 figures

MSC Class: 52C35; 52A37; 28A75

Extensions of discrete Helly theorems for boxes

Authors: Timothy Edwards, Pablo Soberón

Abstract: We prove extensions of Halman's discrete Helly theorem for axis-parallel boxes in $\mathbb{R}^d$. Halman's theorem says that, given a set $S$ in $\mathbb{R}^d$, if $F$ is a finite family of axis-parallel boxes such that the intersection of any $2d$ contains a point of $S$, then the intersection of $F$ contains a point of $S$. We prove colorful, fractional, and quantitative versions of Halman's the… ▽ More We prove extensions of Halman's discrete Helly theorem for axis-parallel boxes in $\mathbb{R}^d$. Halman's theorem says that, given a set $S$ in $\mathbb{R}^d$, if $F$ is a finite family of axis-parallel boxes such that the intersection of any $2d$ contains a point of $S$, then the intersection of $F$ contains a point of $S$. We prove colorful, fractional, and quantitative versions of Halman's theorem. For the fractional versions, it is enough to check that many $(d+1)$-tuples of the family contain points of $S$. Among the colorful versions we include variants where the coloring condition is replaced by an arbitrary matroid. Our results generalize beyond axis-parallel boxes to $H$-convex sets. △ Less

Submitted 22 April, 2024; originally announced April 2024.

Comments: 13 pages, 1 figure

MSC Class: 52A35

The Bárány-Kalai conjecture for certain families of polytopes

Authors: Pablo Soberón, Shira Zerbib

Abstract: Bárány and Kalai conjectured the following generalization of Tverberg's theorem: if $f$ is a linear function from an $m$-dimensional polytope $P$ to $\mathbb{R}^d$ and $m \ge (d + 1)(r - 1)$, then there are $r$ pairwise disjoint faces of $P$ whose images have a point in common. We show that the conjecture holds for cross polytopes, cyclic polytopes, and more generally for $(d+1)$-neighborly polyto… ▽ More Bárány and Kalai conjectured the following generalization of Tverberg's theorem: if $f$ is a linear function from an $m$-dimensional polytope $P$ to $\mathbb{R}^d$ and $m \ge (d + 1)(r - 1)$, then there are $r$ pairwise disjoint faces of $P$ whose images have a point in common. We show that the conjecture holds for cross polytopes, cyclic polytopes, and more generally for $(d+1)$-neighborly polytopes. Moreover, we show that for cross polytopes, the conjecture holds if the map $f$ is assumed to be continuous (but not necessarily linear), and we give a lower bound on the number of sets of $r$ pairwise disjoint faces whose images under $f$ intersect. We also show that the conjecture holds for all polytopes when $d=1$ and $f$ is assumed to be continuous. Finally, when $r$ is prime or large enough with respect to $d$, we prove that there exists a constant $c=c(d,r)$, depending only on $d$ and $r$, such that the conjecture holds (with continuous functions) for the polytope obtained by taking $c$ subdivisions of $P$. △ Less

Submitted 17 April, 2024; originally announced April 2024.

Comments: 10 pages

MSC Class: 52A37; 55M20

High-dimensional envy-free partitions

Authors: Pablo Soberón, Christina Yu

Abstract: A vast array of envy-free results have been found for the subdivision of one-dimensional resources, such as the interval $[0,1]$. The goal is to divide the space into $n$ pieces and distribute them among $n$ observers such that each receives their favorite pieces. We study high-dimensional versions of these results. We prove that several spaces of convex partitions of $\mathbb{R}^d$ allow for envy… ▽ More A vast array of envy-free results have been found for the subdivision of one-dimensional resources, such as the interval $[0,1]$. The goal is to divide the space into $n$ pieces and distribute them among $n$ observers such that each receives their favorite pieces. We study high-dimensional versions of these results. We prove that several spaces of convex partitions of $\mathbb{R}^d$ allow for envy-free division among any $n$ observers. We also prove the existence of convex partitions of $\mathbb{R}^d$ which allow for envy-free divisions among several groups of $n$ observers simultaneously. △ Less

Submitted 16 November, 2023; originally announced November 2023.

Comments: 14 pages, 3 figures

MSC Class: 91B32; 52A37; 55M20; 28A75

Tverberg Partition Graphs

Authors: Deborah Oliveros, Érika Roldán, Pablo Soberón, Antonio J. Torres

Abstract: Given a finite set of points in $\mathbb{R}^d$, Tverberg's theorem guarantees the existence of partitions of this set into parts whose convex hulls intersect. We introduce a graph structured on the family of Tverberg partitions of a given set of points, whose edges describe closeness between different Tverberg partitions. We prove bounds on the minimum and maximum degree of this graph, the number… ▽ More Given a finite set of points in $\mathbb{R}^d$, Tverberg's theorem guarantees the existence of partitions of this set into parts whose convex hulls intersect. We introduce a graph structured on the family of Tverberg partitions of a given set of points, whose edges describe closeness between different Tverberg partitions. We prove bounds on the minimum and maximum degree of this graph, the number of vertices of maximal degree, its clique number, and its connectedness. △ Less

Submitted 12 October, 2023; originally announced October 2023.

Colorful and Quantitative Variations of Krasnosselsky's Theorem

Authors: Connor Donovan, Danielle Paulson, Pablo Soberón

Abstract: 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… ▽ More 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. △ Less

Submitted 10 April, 2023; originally announced April 2023.

Comments: 12 pages, 4 Figures

Combinatorial Depth Measures for Hyperplane Arrangements

Authors: Patrick Schnider, Pablo Soberón

Abstract: Regression depth, introduced by Rousseeuw and Hubert in 1999, is a notion that measures how good of a regression hyperplane a given query hyperplane is with respect to a set of data points. Under projective duality, this can be interpreted as a depth measure for query points with respect to an arrangement of data hyperplanes. The study of depth measures for query points with respect to a set of da… ▽ More Regression depth, introduced by Rousseeuw and Hubert in 1999, is a notion that measures how good of a regression hyperplane a given query hyperplane is with respect to a set of data points. Under projective duality, this can be interpreted as a depth measure for query points with respect to an arrangement of data hyperplanes. The study of depth measures for query points with respect to a set of data points has a long history, and many such depth measures have natural counterparts in the setting of hyperplane arrangements. For example, regression depth is the counterpart of Tukey depth. Motivated by this, we study general families of depth measures for hyperplane arrangements and show that all of them must have a deep point. Along the way we prove a Tverberg-type theorem for hyperplane arrangements, giving a positive answer to a conjecture by Rousseeuw and Hubert from 1999. We also get three new proofs of the centerpoint theorem for regression depth, all of which are either stronger or more general than the original proof by Amenta, Bern, Eppstein, and Teng. Finally, we prove a version of the center transversal theorem for regression depth. △ Less

Submitted 15 February, 2023; originally announced February 2023.

Comments: To be presented at the 39th International Symposium on Computational Geometry (SoCG 2023)

Fair distributions for more participants than allocations

Authors: Pablo Soberón

Abstract: We study the existence of fair distributions when we have more guests than pieces to allocate, focusing on envy-free distributions among those who receive a piece. The conditions on the demand from the guests can be weakened from those of classic cake-cutting and rent-splitting results of Stromquist, Woodall, and Su. We extend existing variations of the cake-cutting problem with secretive guests a… ▽ More We study the existence of fair distributions when we have more guests than pieces to allocate, focusing on envy-free distributions among those who receive a piece. The conditions on the demand from the guests can be weakened from those of classic cake-cutting and rent-splitting results of Stromquist, Woodall, and Su. We extend existing variations of the cake-cutting problem with secretive guests and those that resist the removal of any sufficiently small set of guests. △ Less

Submitted 14 June, 2022; v1 submitted 7 October, 2021; originally announced October 2021.

Comments: 10 pages, 2 figures

MSC Class: 91B32

Bisections of mass assignments using flags of affine spaces

Authors: Ilani Axelrod-Freed, Pablo Soberón

Abstract: We use recent extensions of the Borsuk--Ulam theorem for Stiefel manifolds to generalize the ham sandwich theorem to mass assignments. A $k$-dimensional mass assignment continuously imposes a measure on each $k$-dimensional affine subspace of $\mathbb{R}^d$. Given a finite collection of mass assignments of different dimensions, one may ask if there is some sequence of affine subspaces… ▽ More We use recent extensions of the Borsuk--Ulam theorem for Stiefel manifolds to generalize the ham sandwich theorem to mass assignments. A $k$-dimensional mass assignment continuously imposes a measure on each $k$-dimensional affine subspace of $\mathbb{R}^d$. Given a finite collection of mass assignments of different dimensions, one may ask if there is some sequence of affine subspaces $S_{k-1} \subset S_k \subset \ldots \subset S_{d-1} \subset \mathbb{R}^d$ such that $S_i$ bisects all the mass assignments on $S_{i+1}$ for every $i$. We show it is possible to do so whenever the number of mass assignments of dimensions $(k,\ldots,d)$ is a permutation of $(k,\ldots,d)$. We extend previous work on mass assignments and the central transversal theorem. We also study the problem of halving several families of $(d-k)$-dimensional affine spaces of $\mathbb{R}^d$ using a $(k-1)$-dimensional affine subspace contained in some translate of a fixed $k$-dimensional affine space. For $k=d-1$, there results can be interpreted as dynamic ham sandwich theorems for families of moving points. △ Less

Submitted 7 October, 2021; v1 submitted 27 September, 2021; originally announced September 2021.

Comments: 17 pages, 7 figures

Lifting methods in mass partition problems

Authors: Pablo Soberón, Yuki Takahashi

Abstract: Many results in mass partitions are proved by lifting $\mathbb{R}^d$ to a higher-dimensional space and dividing the higher-dimensional space into pieces. We extend such methods to use lifting arguments to polyhedral surfaces. Among other results, we prove the existence of equipartitions of $d+1$ measures in $\mathbb{R}^d$ by parallel hyperplanes and of $d+2$ measures in $\mathbb{R}^d$ by concentri… ▽ More Many results in mass partitions are proved by lifting $\mathbb{R}^d$ to a higher-dimensional space and dividing the higher-dimensional space into pieces. We extend such methods to use lifting arguments to polyhedral surfaces. Among other results, we prove the existence of equipartitions of $d+1$ measures in $\mathbb{R}^d$ by parallel hyperplanes and of $d+2$ measures in $\mathbb{R}^d$ by concentric spheres. For measures whose supports are sufficiently well separated, we prove results where one can cut a fixed (possibly different) fraction of each measure either by parallel hyperplanes, concentric spheres, convex polyhedral surfaces of few facets, or convex polytopes with few vertices. △ Less

Submitted 8 September, 2021; originally announced September 2021.

Comments: 16 pages, 3 figures

Counterexamples to the Colorful Tverberg Conjecture for Hyperplanes

Authors: João Pedro Carvalho, Pablo Soberón

Abstract: In 2008 Karasev conjectured that for every set of $r$ blue lines, $r$ green lines, and $r$ red lines in the plane, there exists a partition of them into $r$ colorful triples whose induced triangles intersect. We disprove this conjecture for every $r$ and extend the counterexamples to higher dimensions. In 2008 Karasev conjectured that for every set of $r$ blue lines, $r$ green lines, and $r$ red lines in the plane, there exists a partition of them into $r$ colorful triples whose induced triangles intersect. We disprove this conjecture for every $r$ and extend the counterexamples to higher dimensions. △ Less

Submitted 18 August, 2021; v1 submitted 17 August, 2021; originally announced August 2021.

Comments: 5 pages, 1 figure

Generalizations of the Yao-Yao partition theorem and the central transversal theorem

Authors: Michael N. Manta, Pablo Soberón

Abstract: We generalize the Yao-Yao partition theorem by showing that for any smooth measure in $R^d$ there exist equipartitions using $(t+1)2^{d-1}$ convex regions such that every hyperplane misses the interior of at least $t$ regions. In addition, we present tight bounds on the smallest number of hyperplanes whose union contains the boundary of an equipartition of a measure into $n$ regions. We also prese… ▽ More We generalize the Yao-Yao partition theorem by showing that for any smooth measure in $R^d$ there exist equipartitions using $(t+1)2^{d-1}$ convex regions such that every hyperplane misses the interior of at least $t$ regions. In addition, we present tight bounds on the smallest number of hyperplanes whose union contains the boundary of an equipartition of a measure into $n$ regions. We also present a simple proof of a Borsuk-Ulam type theorem for Stiefel manifolds that allows us to generalize the central transversal theorem and prove results bridging the Yao--Yao partition theorem and the central transversal theorem. △ Less

Submitted 13 July, 2021; originally announced July 2021.

Comments: 18 pages, 3 figures

Tverberg's theorem, disks, and Hamiltonian cycles

Authors: Pablo Soberón, Yaqian Tang

Abstract: For a finite set $S$ of points in the plane and a graph with vertices on $S$ consider the disks with diameters induced by the edges. We show that for any odd set $S$ there exists a Hamiltonian cycle for which these disks share a point, and for an even set $S$ there exists a Hamiltonian path with the same property. We discuss high-dimensional versions of these theorems and their relation to other r… ▽ More For a finite set $S$ of points in the plane and a graph with vertices on $S$ consider the disks with diameters induced by the edges. We show that for any odd set $S$ there exists a Hamiltonian cycle for which these disks share a point, and for an even set $S$ there exists a Hamiltonian path with the same property. We discuss high-dimensional versions of these theorems and their relation to other results in discrete geometry. △ Less

Submitted 25 November, 2020; v1 submitted 24 November, 2020; originally announced November 2020.

Comments: 8 pages, 3 figures

Isometric and affine copies of a set in volumetric Helly results

Authors: John A. Messina, Pablo Soberón

Abstract: We show that for any compact convex set $K$ in $\mathbb{R}^d$ and any finite family $\mathcal{F}$ of convex sets in $\mathbb{R}^d$, if the intersection of every sufficiently small subfamily of $\mathcal{F}$ contains an isometric copy of $K$ of volume $1$, then the intersection of the whole family contains an isometric copy of $K$ scaled by a factor of $(1-\varepsilon)$, where $\varepsilon$ is posi… ▽ More We show that for any compact convex set $K$ in $\mathbb{R}^d$ and any finite family $\mathcal{F}$ of convex sets in $\mathbb{R}^d$, if the intersection of every sufficiently small subfamily of $\mathcal{F}$ contains an isometric copy of $K$ of volume $1$, then the intersection of the whole family contains an isometric copy of $K$ scaled by a factor of $(1-\varepsilon)$, where $\varepsilon$ is positive and fixed in advance. Unless $K$ is very similar to a disk, the shrinking factor is unavoidable. We prove similar results for affine copies of $K$. We show how our results imply the existence of randomized algorithms that approximate the largest copy of $K$ that fits inside a given polytope $P$ whose expected runtime is linear on the number of facets of $P$. △ Less

Submitted 8 October, 2020; originally announced October 2020.

Comments: 10 pages, 2 figures

A survey of mass partitions

Authors: Edgardo Roldán-Pensado, Pablo Soberón

Abstract: Mass partition problems describe the partitions we can induce on a family of measures or finite sets of points in Euclidean spaces by dividing the ambient space into pieces. In this survey we describe recent progress in the area in addition to its connections to topology, discrete geometry, and computer science. Mass partition problems describe the partitions we can induce on a family of measures or finite sets of points in Euclidean spaces by dividing the ambient space into pieces. In this survey we describe recent progress in the area in addition to its connections to topology, discrete geometry, and computer science. △ Less

Submitted 2 December, 2020; v1 submitted 1 October, 2020; originally announced October 2020.

Comments: 37 pages, 8 figures, 1 table

A mélange of diameter Helly-type theorems

Authors: Travis Dillon, Pablo Soberón

Abstract: A Helly-type theorem for diameter provides a bound on the diameter of the intersection of a finite family of convex sets in $\mathbb{R}^d$ given some information on the diameter of the intersection of all sufficiently small subfamilies. We prove fractional and colorful versions of a longstanding conjecture by Bárány, Katchalski, and Pach. We also show that a Minkowski norm admits an exact Helly-ty… ▽ More A Helly-type theorem for diameter provides a bound on the diameter of the intersection of a finite family of convex sets in $\mathbb{R}^d$ given some information on the diameter of the intersection of all sufficiently small subfamilies. We prove fractional and colorful versions of a longstanding conjecture by Bárány, Katchalski, and Pach. We also show that a Minkowski norm admits an exact Helly-type theorem for diameter if and only if its unit ball is a polytope and prove a colorful version for those that do. Finally, we prove Helly-type theorems for the property of ``containing $k$ colinear integer points. △ Less

Submitted 6 September, 2020; v1 submitted 31 August, 2020; originally announced August 2020.

Comments: 11 pages, 1 figure

Tolerance for colorful Tverberg partitions

Authors: Sherry Sarkar, Pablo Soberón

Abstract: Tverberg's theorem bounds the number of points $\mathbb{R}^d$ needed for the existence of a partition into $r$ parts whose convex hulls intersect. If the points are colored with $N$ colors, we seek partitions where each part has at most one point of each color. In this manuscript, we bound the number of color classes needed for the existence of partitions where the convex hulls of the parts inters… ▽ More Tverberg's theorem bounds the number of points $\mathbb{R}^d$ needed for the existence of a partition into $r$ parts whose convex hulls intersect. If the points are colored with $N$ colors, we seek partitions where each part has at most one point of each color. In this manuscript, we bound the number of color classes needed for the existence of partitions where the convex hulls of the parts intersect even after any set of $t$ colors is removed. We prove asymptotically optimal bounds for $t$ when $r \le d+1$, improve known bounds when $r>d+1$, and give a geometric characterization for the configurations of points for which $t=N-o(N)$. △ Less

Submitted 27 May, 2020; originally announced May 2020.

Comments: 13 pages, 1 figure

The topological Tverberg problem beyond prime powers

Authors: Florian Frick, Pablo Soberón

Abstract: Tverberg-type theory aims to establish sufficient conditions for a simplicial complex $Σ$ such that every continuous map $f\colon Σ\to \mathbb{R}^d$ maps $q$ points from pairwise disjoint faces to the same point in $\mathbb{R}^d$. Such results are plentiful for $q$ a power of a prime. However, for $q$ with at least two distinct prime divisors, results that guarantee the existence of $q$-fold point… ▽ More Tverberg-type theory aims to establish sufficient conditions for a simplicial complex $Σ$ such that every continuous map $f\colon Σ\to \mathbb{R}^d$ maps $q$ points from pairwise disjoint faces to the same point in $\mathbb{R}^d$. Such results are plentiful for $q$ a power of a prime. However, for $q$ with at least two distinct prime divisors, results that guarantee the existence of $q$-fold points of coincidence are non-existent -- aside from immediate corollaries of the prime power case. Here we present a general method that yields such results beyond the case of prime powers. In particular, we prove previously conjectured upper bounds for the topological Tverberg problem for all $q$. △ Less

Submitted 1 August, 2023; v1 submitted 11 May, 2020; originally announced May 2020.

Comments: The proof of Theorem 1.1 is incomplete. We are grateful to an anonymous referee for pointing out a mistake in our proof. This revised version briefly explains the gap in the proof and otherwise reproduces the original version

MSC Class: 52A35; 55S35

Balanced convex partitions of lines in the plane

Authors: Alexander Xue, Pablo Soberón

Abstract: We prove an extension of a ham sandwich theorem for families of lines in the plane by Dujmović and Langerman. Given two sets $A, B$ of $n$ lines each in the plane, we prove that it is possible to partition the plane into $r$ convex regions such that the following holds. For each region $C$ of the partition there is a subset of $c_r n^{1/r}$ lines of $A$ whose pairwise intersections are in $C$, and… ▽ More We prove an extension of a ham sandwich theorem for families of lines in the plane by Dujmović and Langerman. Given two sets $A, B$ of $n$ lines each in the plane, we prove that it is possible to partition the plane into $r$ convex regions such that the following holds. For each region $C$ of the partition there is a subset of $c_r n^{1/r}$ lines of $A$ whose pairwise intersections are in $C$, and the same holds for $B$. In this statement $c_r$ only depends on $r$. We also prove that the dependence on $n$ is optimal. △ Less

Submitted 14 October, 2019; originally announced October 2019.

Comments: 14 pages, 4 figures

Quantitative combinatorial geometry for concave functions

Authors: Sherry Sarkar, Alexander Xue, Pablo Soberón

Abstract: We prove several exact quantitative versions of Helly's and Tverberg's theorems, which guarantee that a finite family of convex sets in $R^d$ has a large intersection. Our results characterize conditions that are sufficient for the intersection of a family of convex sets to contain a "witness set" which is large under some concave or log-concave measure. The possible witness sets include ellipsoid… ▽ More We prove several exact quantitative versions of Helly's and Tverberg's theorems, which guarantee that a finite family of convex sets in $R^d$ has a large intersection. Our results characterize conditions that are sufficient for the intersection of a family of convex sets to contain a "witness set" which is large under some concave or log-concave measure. The possible witness sets include ellipsoids, zonotopes, and $H$-convex sets. Our results also bound the complexity of finding the best approximation of a family of convex sets by a single zonotope or by a single $H$-convex set. We obtain colorful and fractional variants of all our Helly-type theorems. △ Less

Submitted 2 May, 2020; v1 submitted 12 August, 2019; originally announced August 2019.

Comments: 25 pages, 2 figures

Non-commutative groups as prescribed polytopal symmetries

Authors: Alexandru Chirvasitu, Frieder Ladisch, Pablo Soberón

Abstract: We study properties of the realizations of groups as the combinatorial automorphism group of a convex polytope. We show that for any non-abelian group $G$ with a central involution there is a centrally symmetric polytope with $G$ as its combinatorial automorphisms. We show that for each integer $n$, there are groups that cannot be realized as the combinatorial automorphisms of convex polytopes of… ▽ More We study properties of the realizations of groups as the combinatorial automorphism group of a convex polytope. We show that for any non-abelian group $G$ with a central involution there is a centrally symmetric polytope with $G$ as its combinatorial automorphisms. We show that for each integer $n$, there are groups that cannot be realized as the combinatorial automorphisms of convex polytopes of dimension at most $n$. We also give an optimal lower bound for the dimension of the realization of a group as the group of isometries that preserves a convex polytope. △ Less

Submitted 23 April, 2020; v1 submitted 23 July, 2019; originally announced July 2019.

Comments: 12 pages, 1 figure

MSC Class: 52B15; 52B11

Prescribing Symmetries and Automorphisms for Polytopes

Authors: Egon Schulte, Pablo Soberón, Gordon Ian Williams

Abstract: We study finite groups that occur as combinatorial automorphism groups or geometric symmetry groups of convex polytopes. When $Γ$ is a subgroup of the combinatorial automorphism group of a convex $d$-polytope, $d\geq 3$, then there exists a convex $d$-polytope related to the original polytope with combinatorial automorphism group exactly $Γ$. When $Γ$ is a subgroup of the geometric symmetry group… ▽ More We study finite groups that occur as combinatorial automorphism groups or geometric symmetry groups of convex polytopes. When $Γ$ is a subgroup of the combinatorial automorphism group of a convex $d$-polytope, $d\geq 3$, then there exists a convex $d$-polytope related to the original polytope with combinatorial automorphism group exactly $Γ$. When $Γ$ is a subgroup of the geometric symmetry group of a convex $d$-polytope, $d\geq 3$, then there exists a convex $d$-polytope related to the original polytope with both geometric symmetry group and combinatorial automorphism group exactly $Γ$. These symmetry-breaking results then are applied to show that for every abelian group $Γ$ of even order and every involution $σ$ of $Γ$, there is a centrally symmetric convex polytope with geometric symmetry group $Γ$ such that $σ$ corresponds to the central symmetry. △ Less

Submitted 25 July, 2019; v1 submitted 14 February, 2019; originally announced February 2019.

Comments: 14 pages. arXiv admin note: text overlap with arXiv:1505.06253

MSC Class: 52B15

A Note on the Maximum Rectilinear Crossing Number of Spiders

Authors: Joshua Fallon, Kirsten Hogenson, Lauren Keough, Mario Lomelí, Marcus Schaefer, Pablo Soberón

Abstract: The maximum rectilinear crossing number of a graph $G$ is the maximum number of crossings in a good straight-line drawing of $G$ in the plane. In a good drawing any two edges intersect in at most one point (counting endpoints), no three edges have an interior point in common, and edges do not contain vertices in their interior. A spider is a subdivision of $K_{1,k}$. We provide both upper and lowe… ▽ More The maximum rectilinear crossing number of a graph $G$ is the maximum number of crossings in a good straight-line drawing of $G$ in the plane. In a good drawing any two edges intersect in at most one point (counting endpoints), no three edges have an interior point in common, and edges do not contain vertices in their interior. A spider is a subdivision of $K_{1,k}$. We provide both upper and lower bounds for the maximum rectilinear crossing number of spiders. While there are not many results on the maximum rectilinear crossing numbers of infinite families of graphs, our methods can be used to find the exact maximum rectilinear crossing number of $K_{1,k}$ where each edge is subdivided exactly once. This is a first step towards calculating the maximum rectilinear crossing number of arbitrary trees. △ Less

Submitted 20 August, 2021; v1 submitted 1 August, 2018; originally announced August 2018.

Comments: 8 pages

MSC Class: 05C10; 05C05; 68R10

Tverberg's theorem is 50 years old: a survey

Authors: Imre Bárány, Pablo Soberón

Abstract: This survey presents an overview of the advances around Tverberg's theorem, focusing on the last two decades. We discuss the topological, linear-algebraic, and combinatorial aspects of Tverberg's theorem and its applications. The survey contains several open problems and conjectures. This survey presents an overview of the advances around Tverberg's theorem, focusing on the last two decades. We discuss the topological, linear-algebraic, and combinatorial aspects of Tverberg's theorem and its applications. The survey contains several open problems and conjectures. △ Less

Submitted 31 May, 2018; v1 submitted 17 December, 2017; originally announced December 2017.

Comments: 48 pages, 8 figures

Tverberg partitions as weak epsilon-nets

Authors: Pablo Soberón

Abstract: We prove a Tverberg-type theorem using the probabilistic method. Given $\varepsilon >0$, we find the smallest number of partitions of a set $X$ in $R^d$ into $r$ parts needed in order to induce at least one Tverberg partition on every subset of $X$ with at least $\varepsilon |X|$ elements. This generalizes known results about Tverberg's theorem with tolerance. We prove a Tverberg-type theorem using the probabilistic method. Given $\varepsilon >0$, we find the smallest number of partitions of a set $X$ in $R^d$ into $r$ parts needed in order to induce at least one Tverberg partition on every subset of $X$ with at least $\varepsilon |X|$ elements. This generalizes known results about Tverberg's theorem with tolerance. △ Less

Submitted 10 June, 2018; v1 submitted 30 November, 2017; originally announced November 2017.

Comments: 14 pages

Cutting a part from many measures

Authors: Pavle V. M. Blagojević, Nevena Palić, Pablo Soberón, Günter M. Ziegler

Abstract: Holmsen, Kynčl and Valculescu recently conjectured that if a finite set $X$ with $\ell n$ points in $\mathbb{R}^d$ that is colored by $m$ different colors can be partitioned into $n$ subsets of $\ell$ points each, such that each subset contains points of at least $d$ different colors, then there exists such a partition of $X$ with the additional property that the convex hulls of the $n$ subsets ar… ▽ More Holmsen, Kynčl and Valculescu recently conjectured that if a finite set $X$ with $\ell n$ points in $\mathbb{R}^d$ that is colored by $m$ different colors can be partitioned into $n$ subsets of $\ell$ points each, such that each subset contains points of at least $d$ different colors, then there exists such a partition of $X$ with the additional property that the convex hulls of the $n$ subsets are pairwise disjoint. We prove a continuous analogue of this conjecture, generalized so that each subset contains points of at least $c$ different colors, where we also allow $c$ to be greater than $d$. Furthermore, we give lower bounds on the fraction of the points each of the subsets contains from $c$ different colors. For example, when $n\geq 2$, $d\geq 2$, $c\geq d$ with $m\geq n(c-d)+d$ are integers, and $μ_1, \dots, μ_m$ are $m$ positive finite absolutely continuous measures on $\mathbb{R}^d$, we prove that there exists a partition of $\mathbb{R}^d$ into $n$ convex pieces which equiparts the measures $μ_1, \dots, μ_{d-1}$, and in addition every piece of the partition has positive measure with respect to at least $c$ of the measures $μ_1, \dots, μ_m$. △ Less

Submitted 24 June, 2019; v1 submitted 13 October, 2017; originally announced October 2017.

Comments: 20 pages, 5 figures; new coauthor; revised extended version with stronger results

MSC Class: 52C35; 55N25; 51N20; 55R20

Journal ref: Forum of Mathematics, Sigma 7 (2019) e37

Thieves can make sandwiches

Authors: Pavle V. M. Blagojević, Pablo Soberón

Abstract: We prove a common generalization of the Ham Sandwich theorem and Alon's Necklace Splitting theorem. Our main results show the existence of fair distributions of $m$ measures in $R^d$ among $r$ thieves using roughly $mr/d$ convex pieces, even in the cases when $m$ is larger than the dimension. The main proof relies on a construction of a geometric realization of the topological join of two spaces o… ▽ More We prove a common generalization of the Ham Sandwich theorem and Alon's Necklace Splitting theorem. Our main results show the existence of fair distributions of $m$ measures in $R^d$ among $r$ thieves using roughly $mr/d$ convex pieces, even in the cases when $m$ is larger than the dimension. The main proof relies on a construction of a geometric realization of the topological join of two spaces of partitions of $R^d$ into convex parts, and the computation of the Fadell-Husseini ideal valued index of the resulting spaces. △ Less

Submitted 28 September, 2017; v1 submitted 12 June, 2017; originally announced June 2017.

Comments: 14 pages, 9 figures

Tverberg plus minus

Authors: Imre Bárány, Pablo Soberón

Abstract: We prove a Tverberg type theorem: Given a set $A \subset \mathbb{R}^d$ in general position with $|A|=(r-1)(d+1)+1$ and $k\in \{0,1,\ldots,r-1\}$, there is a partition of $A$ into $r$ sets $A_1,\ldots,A_r$ with the following property. The unique $z \in \bigcap_1^r \mathrm{aff} A_j$ can be written as an affine combination of the element in $A_j$: $z = \sum_{x \in A_j} α(x)x$ for every $p$ and exactl… ▽ More We prove a Tverberg type theorem: Given a set $A \subset \mathbb{R}^d$ in general position with $|A|=(r-1)(d+1)+1$ and $k\in \{0,1,\ldots,r-1\}$, there is a partition of $A$ into $r$ sets $A_1,\ldots,A_r$ with the following property. The unique $z \in \bigcap_1^r \mathrm{aff} A_j$ can be written as an affine combination of the element in $A_j$: $z = \sum_{x \in A_j} α(x)x$ for every $p$ and exactly $k$ of the coefficients $α(x)$ are negative. The case $k=0$ is Tverberg's classical theorem. △ Less

Submitted 15 December, 2017; v1 submitted 16 December, 2016; originally announced December 2016.

MSC Class: 52A37

Robust Tverberg and colorful Carathéodory results via random choice

Authors: Pablo Soberón

Abstract: We use the probabilistic method to obtain versions of the colorful Carathéodory theorem and Tverberg's theorem with tolerance. In particular, we give bounds for the smallest integer $N=N(t,d,r)$ such that for any $N$ points in $R^d$, there is a partition of them into $r$ parts for which the following condition holds: after removing any $t$ points from the set, the convex hulls of what is left in… ▽ More We use the probabilistic method to obtain versions of the colorful Carathéodory theorem and Tverberg's theorem with tolerance. In particular, we give bounds for the smallest integer $N=N(t,d,r)$ such that for any $N$ points in $R^d$, there is a partition of them into $r$ parts for which the following condition holds: after removing any $t$ points from the set, the convex hulls of what is left in each part intersect. We prove the bound $N=rt+O(\sqrt{t})$ for fixed $r,d$ which is polynomial in each parameters. Our bounds extend to colorful versions of Tverberg's theorem, as well as Reay-type variations of this theorem. △ Less

Submitted 14 May, 2017; v1 submitted 28 June, 2016; originally announced June 2016.

Comments: 18 pages

MSC Class: 52A35; 05D40

Quantitative Tverberg theorems over lattices and other discrete sets

Authors: J. A. De Loera, R. N. La Haye, D. Rolnick, P. Soberón

Abstract: This paper presents a new variation of Tverberg's theorem. Given a discrete set $S$ of $R^d$, we study the number of points of $S$ needed to guarantee the existence of an $m$-partition of the points such that the intersection of the $m$ convex hulls of the parts contains at least $k$ points of $S$. The proofs of the main results require new quantitative versions of Helly's and Carathéodory's theor… ▽ More This paper presents a new variation of Tverberg's theorem. Given a discrete set $S$ of $R^d$, we study the number of points of $S$ needed to guarantee the existence of an $m$-partition of the points such that the intersection of the $m$ convex hulls of the parts contains at least $k$ points of $S$. The proofs of the main results require new quantitative versions of Helly's and Carathéodory's theorems. △ Less

Submitted 18 March, 2016; v1 submitted 17 March, 2016; originally announced March 2016.

Comments: 16 pages. arXiv admin note: substantial text overlap with arXiv:1503.06116

Quantitative combinatorial geometry for continuous parameters

Authors: J. A. De Loera, R. N. La Haye, D. Rolnick, P. Soberón

Abstract: We prove variations of Carathéodory's, Helly's and Tverberg's theorems where the sets involved are measured according to continuous functions such as the volume or diameter. Among our results, we present continuous quantitative versions of Lovász's colorful Helly theorem, Bárány's colorful Carathéodory's theorem, and the colorful Tverberg theorem. We prove variations of Carathéodory's, Helly's and Tverberg's theorems where the sets involved are measured according to continuous functions such as the volume or diameter. Among our results, we present continuous quantitative versions of Lovász's colorful Helly theorem, Bárány's colorful Carathéodory's theorem, and the colorful Tverberg theorem. △ Less

Submitted 18 March, 2016; v1 submitted 17 March, 2016; originally announced March 2016.

Comments: 22 pages. arXiv admin note: substantial text overlap with arXiv:1503.06116

Algorithms for Tverberg's theorem via centerpoint theorems

Authors: David Rolnick, Pablo Soberón

Abstract: We obtain algorithms for computing Tverberg partitions based on centerpoint approximations. This applies to a wide range of convexity spaces, from the classic Euclidean setting to geodetic convexity in graphs. In the Euclidean setting, we present probabilistic algorithms which are weakly polynomial in the number of points and the dimension. For geodetic convexity in graphs, we obtain deterministic… ▽ More We obtain algorithms for computing Tverberg partitions based on centerpoint approximations. This applies to a wide range of convexity spaces, from the classic Euclidean setting to geodetic convexity in graphs. In the Euclidean setting, we present probabilistic algorithms which are weakly polynomial in the number of points and the dimension. For geodetic convexity in graphs, we obtain deterministic algorithms for cactus graphs and show that the general problem of finding the Radon number is NP-hard. △ Less

Submitted 1 November, 2017; v1 submitted 4 January, 2016; originally announced January 2016.

Comments: 17 pages

Helly-type theorems for the diameter

Authors: Pablo Soberón

Abstract: We study versions of Helly's theorem that guarantee that the intersection of a family of convex sets in $R^d$ has a large diameter. This includes colourful, fractional and $(p,q)$ versions of Helly's theorem. In particular, the fractional and $(p,q)$ versions work with conditions where the corresponding Helly theorem does not. We also include variants of Tverberg's theorem, Bárány's point selectio… ▽ More We study versions of Helly's theorem that guarantee that the intersection of a family of convex sets in $R^d$ has a large diameter. This includes colourful, fractional and $(p,q)$ versions of Helly's theorem. In particular, the fractional and $(p,q)$ versions work with conditions where the corresponding Helly theorem does not. We also include variants of Tverberg's theorem, Bárány's point selection theorem and the existence of weak epsilon-nets for convex sets with diameter estimates. △ Less

Submitted 25 September, 2015; originally announced September 2015.

Comments: 16 pages

Helly's Theorem: New Variations and Applications

Authors: Nina Amenta, Jesús A. De Loera, Pablo Soberón

Abstract: This survey presents recent Helly-type geometric theorems published since the appearance of the last comprehensive survey, more than ten years ago. We discuss how such theorems continue to be influential in computational geometry and in optimization. This survey presents recent Helly-type geometric theorems published since the appearance of the last comprehensive survey, more than ten years ago. We discuss how such theorems continue to be influential in computational geometry and in optimization. △ Less

Submitted 8 March, 2016; v1 submitted 30 August, 2015; originally announced August 2015.

Comments: 40 pages, 1 figures

Positive-fraction intersection results and variations of weak epsilon-nets

Authors: Alexander Magazinov, Pablo Soberón

Abstract: Given a finite set $X$ of points in $R^n$ and a family $F$ of sets generated by the pairs of points of $X$, we determine volumetric and structural conditions for the sets that allow us to guarantee the existence of a positive-fraction subfamily $F'$ of $F$ for which the sets have non-empty intersection. This allows us to show the existence of weak epsilon-nets for these families. We also prove a… ▽ More Given a finite set $X$ of points in $R^n$ and a family $F$ of sets generated by the pairs of points of $X$, we determine volumetric and structural conditions for the sets that allow us to guarantee the existence of a positive-fraction subfamily $F'$ of $F$ for which the sets have non-empty intersection. This allows us to show the existence of weak epsilon-nets for these families. We also prove a topological variation of the existence of weak epsilon-nets for convex sets. △ Less

Submitted 8 March, 2016; v1 submitted 6 June, 2015; originally announced June 2015.

Comments: 15 pages

Quantitative $(p,q)$ theorems in combinatorial geometry

Authors: David Rolnick, Pablo Soberón

Abstract: We show quantitative versions of classic results in discrete geometry, where the size of a convex set is determined by some non-negative function. We give versions of this kind for the selection theorem of Bárány, the existence of weak epsilon-nets for convex sets and the $(p,q)$ theorem of Alon and Kleitman. These methods can be applied to functions such as the volume, surface area or number of p… ▽ More We show quantitative versions of classic results in discrete geometry, where the size of a convex set is determined by some non-negative function. We give versions of this kind for the selection theorem of Bárány, the existence of weak epsilon-nets for convex sets and the $(p,q)$ theorem of Alon and Kleitman. These methods can be applied to functions such as the volume, surface area or number of points of a discrete set. We also give general quantitative versions of the colorful Helly theorem for continuous functions. △ Less

Submitted 24 October, 2015; v1 submitted 7 April, 2015; originally announced April 2015.

Comments: 24 pages

Quantitative Tverberg, Helly, & Carathéodory theorems

Authors: J. A. De Loera, R. N. La Haye, D. Rolnick, P. Soberón

Abstract: This paper presents sixteen quantitative versions of the classic Tverberg, Helly, & Caratheodory theorems in combinatorial convexity. Our results include measurable or enumerable information in the hypothesis and the conclusion. Typical measurements include the volume, the diameter, or the number of points in a lattice. This paper presents sixteen quantitative versions of the classic Tverberg, Helly, & Caratheodory theorems in combinatorial convexity. Our results include measurable or enumerable information in the hypothesis and the conclusion. Typical measurements include the volume, the diameter, or the number of points in a lattice. △ Less

Submitted 1 April, 2015; v1 submitted 20 March, 2015; originally announced March 2015.

Comments: 33 pages

Computing the partition function for graph homomorphisms with multiplicities

Authors: Alexander Barvinok, Pablo Soberón

Abstract: We consider a refinement of the partition function of graph homomorphisms and present a quasi-polynomial algorithm to compute it in a certain domain. As a corollary, we obtain quasi-polynomial algorithms for computing partition functions for independent sets, perfect matchings, Hamiltonian cycles and dense subgraphs in graphs as well as for graph colorings. This allows us to tell apart in quasi-po… ▽ More We consider a refinement of the partition function of graph homomorphisms and present a quasi-polynomial algorithm to compute it in a certain domain. As a corollary, we obtain quasi-polynomial algorithms for computing partition functions for independent sets, perfect matchings, Hamiltonian cycles and dense subgraphs in graphs as well as for graph colorings. This allows us to tell apart in quasi-polynomial time graphs that are sufficiently far from having a structure of a given type (i.e., independent set of a given size, Hamiltonian cycle, etc.) from graphs that have sufficiently many structures of that type, even when the probability to hit such a structure at random is exponentially small. △ Less

Submitted 2 August, 2015; v1 submitted 7 October, 2014; originally announced October 2014.

Comments: constants are improved, other minor improvements

MSC Class: 05C30; 15A15; 05C85; 68C25; 68W25; 60C05; 82B20

Measure Partitions Using Hyperplanes with Fixed Directions

Authors: Roman Karasev, Edgardo Roldán-Pensado, Pablo Soberón

Abstract: We study nested partitions of $R^d$ obtained by successive cuts using hyperplanes with fixed directions. We establish the number of measures that can be split evenly simultaneously by taking a partition of this kind and then distributing the parts among $k$ sets. This generalises classical necklace splitting results and their more recent high-dimensional versions. With similar methods we show that… ▽ More We study nested partitions of $R^d$ obtained by successive cuts using hyperplanes with fixed directions. We establish the number of measures that can be split evenly simultaneously by taking a partition of this kind and then distributing the parts among $k$ sets. This generalises classical necklace splitting results and their more recent high-dimensional versions. With similar methods we show that in the plane, for any $t$ measures there is a path formed only by horizontal and vertical segments using at most $t-1$ turns that splits them by half simultaneously, and optimal mass-partitioning results for chessboard-colourings of $R^d$ using hyperplanes with fixed directions. △ Less

Submitted 12 October, 2014; v1 submitted 20 August, 2014; originally announced August 2014.

About an Erdős-Grünbaum conjecture concerning piercing of non bounded convex sets

Authors: Amanda Montejano, Luis Montejano, Edgardo Roldán-Pensado, Pablo Soberón

Abstract: In this paper, we study the number of compact sets needed in an infinite family of convex sets with a local intersection structure to imply a bound on its piercing number, answering a conjecture of Erdős and Grünbaum. Namely, if in an infinite family of convex sets in $\mathbb{R}^d$ we know that out of every $p$ there are $q$ which are intersecting, we determine if having some compact sets implies… ▽ More In this paper, we study the number of compact sets needed in an infinite family of convex sets with a local intersection structure to imply a bound on its piercing number, answering a conjecture of Erdős and Grünbaum. Namely, if in an infinite family of convex sets in $\mathbb{R}^d$ we know that out of every $p$ there are $q$ which are intersecting, we determine if having some compact sets implies a bound on the number of points needed to intersect the whole family. We also study variations of this problem. △ Less

Submitted 24 December, 2014; v1 submitted 2 July, 2014; originally announced July 2014.

Comments: 11 pages, 2 figures

MSC Class: 52A35; 52C10

Computing the partition function for graph homomorphisms

Authors: Alexander Barvinok, Pablo Soberón

Abstract: We introduce the partition function of edge-colored graph homomorphisms, of which the usual partition function of graph homomorphisms is a specialization, and present an efficient algorithm to approximate it in a certain domain. Corollaries include efficient algorithms for computing weighted sums approximating the number of k-colorings and the number of independent sets in a graph, as well as an e… ▽ More We introduce the partition function of edge-colored graph homomorphisms, of which the usual partition function of graph homomorphisms is a specialization, and present an efficient algorithm to approximate it in a certain domain. Corollaries include efficient algorithms for computing weighted sums approximating the number of k-colorings and the number of independent sets in a graph, as well as an efficient procedure to distinguish pairs of edge-colored graphs with many color-preserving homomorphisms G --> H from pairs of graphs that need to be substantially modified to acquire a color-preserving homomorphism G --> H. △ Less

Submitted 1 May, 2015; v1 submitted 6 June, 2014; originally announced June 2014.

Comments: constants are improved, following a suggestion by B. Bukh

MSC Class: 15A15; 68C25; 68W25; 60C05

On a problem by Dol'nikov

Authors: Jesús Jerónimo-Castro, Alexander Magazinov, Pablo Soberón

Abstract: In 2011 at an Oberwolfach workshop in Discrete Geometry, V. Dol'nikov posed the following problem. Consider three non-empty families of translates of a convex compact set $K$ in the plane. Suppose that every two translates from different families have a point of intersection. Is it always true that one of the families can be pierced by a set of three points? A result by R. N. Karasev from 2000 g… ▽ More In 2011 at an Oberwolfach workshop in Discrete Geometry, V. Dol'nikov posed the following problem. Consider three non-empty families of translates of a convex compact set $K$ in the plane. Suppose that every two translates from different families have a point of intersection. Is it always true that one of the families can be pierced by a set of three points? A result by R. N. Karasev from 2000 gives, in fact, an affirmative answer to the "monochromatic" version of the problem above. That is, if all the three families in the problem coincide. In the present paper we solve Dol'nikov's problem positively if $K$ is either centrally symmetric or a triangle, and show that the conclusion can be strengthened if $K$ is an euclidean disk. We also confirm the conjecture if we are given four families satisfying the conditions above. △ Less

Submitted 7 April, 2015; v1 submitted 17 October, 2013; originally announced October 2013.

Comments: 17 pages, 8 figures. Section 4 will be removed from journal version

Equal coefficients and tolerance in coloured Tverberg partitions

Authors: Pablo Soberón

Abstract: The coloured Tverberg theorem was conjectured by Bárány, Lovász and Füredi and asks whether for any d+1 sets (considered as colour classes) of k points each in R^d there is a partition of them into k colourful sets whose convex hulls intersect. This is known when d=1,2 or k+1 is prime. In this paper we show that (k-1)d+1 colour classes are necessary and sufficient if the coefficients in the convex… ▽ More The coloured Tverberg theorem was conjectured by Bárány, Lovász and Füredi and asks whether for any d+1 sets (considered as colour classes) of k points each in R^d there is a partition of them into k colourful sets whose convex hulls intersect. This is known when d=1,2 or k+1 is prime. In this paper we show that (k-1)d+1 colour classes are necessary and sufficient if the coefficients in the convex combination in the colourful sets are required to be the same in each class. We also examine what happens if we want the convex hulls of the colourful sets to intersect even if we remove any r of the colour classes. Namely, if we have (r+1)(k-1)d+1 colour classes of k point each, there is a partition of them into k colourful sets such that they intersect using the same coefficients regardless of which r colour classes are removed. We also investigate the relation of the case k=2 and the Gale transform, obtaining a variation of the coloured Radon theorem. △ Less

Submitted 23 April, 2012; v1 submitted 5 April, 2012; originally announced April 2012.

MSC Class: 52A37

An extension of a theorem by Yao & Yao

Authors: Edgardo Roldán-Pensado, Pablo Soberón

Abstract: In this paper we study $N_d(k)$ the smallest positive integer such that any nice measure $μ$ in $\R^d$ can be partitioned in $N_d(k)$ parts of equal measure so that every hyperplane avoids at least $k$ of them. A theorem of Yao and Yao \cite{YY1985} states that $N_d(1) \le 2^d$. Among other results, we obtain the bounds $N_d(2) \le 3 \cdot 2^{d-1}$ and $N_d(1) \ge C \cdot 2^{d/2}$ for some constan… ▽ More In this paper we study $N_d(k)$ the smallest positive integer such that any nice measure $μ$ in $\R^d$ can be partitioned in $N_d(k)$ parts of equal measure so that every hyperplane avoids at least $k$ of them. A theorem of Yao and Yao \cite{YY1985} states that $N_d(1) \le 2^d$. Among other results, we obtain the bounds $N_d(2) \le 3 \cdot 2^{d-1}$ and $N_d(1) \ge C \cdot 2^{d/2}$ for some constant $C$. We then apply these results to a problem on the separation of points and hyperplanes. △ Less

Submitted 6 April, 2012; v1 submitted 24 December, 2011; originally announced December 2011.

Journal ref: Discrete Comput Geom (2014) 51:285-299

Balanced Convex Partitions of Measures in $\mathbb{R}^d$

Authors: Pablo Soberón

Abstract: We will prove the following generalization of the ham sandwich Theorem, conjectured by Imre Bárány. Given a positive integer $k$ and $d$ nice measures $μ_1, μ_2,..., μ_d$ in $\mathbb{R}^d$ such that $μ_i (\mathds{R}^d) = k$ for all $i$, there is a partition of $\mathbb{R}^d$ in $k$ interior-disjoint convex parts $C_1, C_2,..., C_k$ such that $μ_i (C_j) = 1$ for all $i,j$. If $k=2$ this gives the h… ▽ More We will prove the following generalization of the ham sandwich Theorem, conjectured by Imre Bárány. Given a positive integer $k$ and $d$ nice measures $μ_1, μ_2,..., μ_d$ in $\mathbb{R}^d$ such that $μ_i (\mathds{R}^d) = k$ for all $i$, there is a partition of $\mathbb{R}^d$ in $k$ interior-disjoint convex parts $C_1, C_2,..., C_k$ such that $μ_i (C_j) = 1$ for all $i,j$. If $k=2$ this gives the ham sandwich Theorem. △ Less

Submitted 12 May, 2011; v1 submitted 29 October, 2010; originally announced October 2010.

Journal ref: Mathematika 58 (2012) 71-76