-
On the orthogonal Grünbaum partition problem in dimension three
Authors:
Gerardo L. Maldonado,
Edgardo Roldán-Pensado
Abstract:
Grünbaum's equipartition problem asked if for any measure on $\mathbb{R}^d$ there are always $d$ hyperplanes which divide $\mathbb{R}^d$ into $2^d$ $μ$-equal parts. This problem is known to have a positive answer for $d\le 3$ and a negative one for $d\ge 5$. A variant of this question is to require the hyperplanes to be mutually orthogonal. This variant is known to have a positive answer for…
▽ More
Grünbaum's equipartition problem asked if for any measure on $\mathbb{R}^d$ there are always $d$ hyperplanes which divide $\mathbb{R}^d$ into $2^d$ $μ$-equal parts. This problem is known to have a positive answer for $d\le 3$ and a negative one for $d\ge 5$. A variant of this question is to require the hyperplanes to be mutually orthogonal. This variant is known to have a positive answer for $d\le 2$ and there is reason to expect it to have a negative answer for $d\ge 3$. In this note we exhibit measures that prove this. Additionally, we describe an algorithm that checks if a set of $8n$ in $\mathbb{R}^3$ can be split evenly by $3$ mutually orthogonal planes. To our surprise, it seems the probability that a random set of $8$ points chosen uniformly and independently in the unit cube does not admit such a partition is less than $0.001$.
△ Less
Submitted 4 April, 2024; v1 submitted 1 April, 2024;
originally announced April 2024.
-
On a colorful problem by Dol'nikov concerning translates of convex bodies
Authors:
Leonardo Martínez-Sandoval,
Edgardo Roldán-Pensado
Abstract:
In this note we study a conjecture by Jerónimo-Castro, Magazinov and Soberón which generalized a question posed by Dol'nikov. Let $F_1,F_2,\dots,F_n$ be families of translates of a convex compact set $K$ in the plane so that each two sets from distinct families intersect. We show that, for some $j$, $\bigcup_{i\neq j}F_i$ can be pierced by at most $4$ points. To do so, we use previous ideas from G…
▽ More
In this note we study a conjecture by Jerónimo-Castro, Magazinov and Soberón which generalized a question posed by Dol'nikov. Let $F_1,F_2,\dots,F_n$ be families of translates of a convex compact set $K$ in the plane so that each two sets from distinct families intersect. We show that, for some $j$, $\bigcup_{i\neq j}F_i$ can be pierced by at most $4$ points. To do so, we use previous ideas from Gomez-Navarro and Roldán-Pensado together with an approximation result closely tied to the Banach-Mazur distance to the square.
△ Less
Submitted 24 September, 2023; v1 submitted 15 July, 2023;
originally announced July 2023.
-
Transversals to colorful intersecting convex sets
Authors:
Cuauhtemoc Gomez-Navarro,
Edgardo Roldán-Pensado
Abstract:
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 pie…
▽ More
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.
△ Less
Submitted 20 June, 2023; v1 submitted 26 May, 2023;
originally announced May 2023.
-
Total orders realizable as the distances between two sets of points
Authors:
Gerardo L. Maldonado,
Miguel Raggi Pérez,
Edgardo Roldán-Pensado
Abstract:
In this note we give a negative answer to a question proposed by Almendra-Hernández and Martínez-Sandoval. Let $n\le m$ be positive integers and let $X$ and $Y$ be sets of sizes $n$ and $m$ in $\mathbb R^{n-1}$ such that $X\cup Y$ is in generic position. There is a natural order on $X\times Y$ induced by the distances between the corresponding points. The question is if all possible orders on…
▽ More
In this note we give a negative answer to a question proposed by Almendra-Hernández and Martínez-Sandoval. Let $n\le m$ be positive integers and let $X$ and $Y$ be sets of sizes $n$ and $m$ in $\mathbb R^{n-1}$ such that $X\cup Y$ is in generic position. There is a natural order on $X\times Y$ induced by the distances between the corresponding points. The question is if all possible orders on $X\times Y$ can be obtained in this way. We show that the answer is negative when $n<m$. The case $n=m$ remains open.
△ Less
Submitted 6 May, 2024; v1 submitted 11 April, 2023;
originally announced April 2023.
-
Sidon-Ramsey and $B_{h}$-Ramsey numbers
Authors:
Manuel A. Espinosa-García,
Amanda Montejano,
Edgardo Roldán-Pensado,
J. David Suárez
Abstract:
For a given positive integer $k$, the Sidon-Ramsey number $\SR(k)$ is defined as the minimum value of $n$ such that, in every partition of the set $[1, n]$ into $k$ parts, there exists a part that contains two distinct pairs of numbers with the same sum. In other words, there is a part that is not a Sidon set. In this paper, we investigate the asymptotic behavior of this parameter and two generali…
▽ More
For a given positive integer $k$, the Sidon-Ramsey number $\SR(k)$ is defined as the minimum value of $n$ such that, in every partition of the set $[1, n]$ into $k$ parts, there exists a part that contains two distinct pairs of numbers with the same sum. In other words, there is a part that is not a Sidon set. In this paper, we investigate the asymptotic behavior of this parameter and two generalizations of it. The first generalization involves replacing pairs of numbers with $h$-tuples, such that in every partition of $[1, n]$ into $k$ parts, there exists a part that contains two distinct $h$-tuples with the same sum. Alternatively, there is a part that is not a $B_h$ set. The second generalization considers the scenario where the interval $[1, n]$ is substituted with a non-necessarily symmetric $d$-dimensional box of the form $\prod_{i=1}^d[1,n_i]$. For the general case of $h\geq 3$ and non-symmetric boxes, before applying our method to obtain the Ramsey-type result, we needed to establish an upper bound for the corresponding density parameter.
△ Less
Submitted 3 August, 2023; v1 submitted 15 November, 2021;
originally announced November 2021.
-
Dissecting the square into seven or nine congruent parts
Authors:
Gerardo L. Maldonado,
Edgardo Roldán-Pensado
Abstract:
We give a computer-based proof of the following fact: If a square is divided into seven or nine convex polygons, congruent among themselves, then the tiles are rectangles.
We give a computer-based proof of the following fact: If a square is divided into seven or nine convex polygons, congruent among themselves, then the tiles are rectangles.
△ Less
Submitted 22 November, 2021; v1 submitted 11 April, 2021;
originally announced April 2021.
-
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.
-
Zero-sum squares in bounded discrepancy {-1,1}-matrices
Authors:
Alma R. Arévalo,
Amanda Montejano,
Edgardo Roldán-Pensado
Abstract:
For $n\ge 5$, we prove that every $n\times n$ matrix $M=(a_{i,j})$ with entries in $\{-1,1\}$ and absolute discrepancy $|\mathrm{disc}(M)|=|\sum a_{i,j}|\le n$ contains a zero-sum square except for the split matrix (up to symmetries). Here, a square is a $2\times 2$ sub-matrix of $M$ with entries $a_{i,j}, a_{i+s,s}, a_{i,j+s}, a_{i+s,j+s}$ for some $s\ge 1$, and a split matrix is a matrix with al…
▽ More
For $n\ge 5$, we prove that every $n\times n$ matrix $M=(a_{i,j})$ with entries in $\{-1,1\}$ and absolute discrepancy $|\mathrm{disc}(M)|=|\sum a_{i,j}|\le n$ contains a zero-sum square except for the split matrix (up to symmetries). Here, a square is a $2\times 2$ sub-matrix of $M$ with entries $a_{i,j}, a_{i+s,s}, a_{i,j+s}, a_{i+s,j+s}$ for some $s\ge 1$, and a split matrix is a matrix with all entries above the diagonal equal to $-1$ and all remaining entries equal to $1$. In particular, we show that for $n\ge 5$ every zero-sum $n\times n$ matrix with entries in $\{-1,1\}$ contains a zero-sum square.
△ Less
Submitted 7 June, 2021; v1 submitted 15 May, 2020;
originally announced May 2020.
-
The graphs behind Reuleaux polyhedra
Authors:
Luis Montejano,
Eric Pauli,
Miguel Raggi,
Edgardo Roldán-Pensado
Abstract:
This work is about graphs arising from Reuleaux polyhedra. Such graphs must necessarily be planar, $3$-connected and strongly self-dual. We study the question of when these conditions are sufficient.
If $G$ is any such a graph with isomorphism $τ: G \to G^*$ (where $G^*$ is the unique dual graph), a metric map** is a map $η: V(G) \to \mathbb R^3$ such that the diameter of $η(G)$ is $1$ and for…
▽ More
This work is about graphs arising from Reuleaux polyhedra. Such graphs must necessarily be planar, $3$-connected and strongly self-dual. We study the question of when these conditions are sufficient.
If $G$ is any such a graph with isomorphism $τ: G \to G^*$ (where $G^*$ is the unique dual graph), a metric map** is a map $η: V(G) \to \mathbb R^3$ such that the diameter of $η(G)$ is $1$ and for every pair of vertices $(u,v)$ such that $u\in τ(v)$ we have dist$(η(u),η(v)) = 1$. If $η$ is injective, it is called a metric embedding. Note that a metric embedding gives rise to a Reuleaux Polyhedra.
Our contributions are twofold: Firstly, we prove that any planar, $3$-connected, strongly self-dual graph has a metric map** by proving that the chromatic number of the diameter graph (whose vertices are $V(G)$ and whose edges are pairs $(u,v)$ such that $u\in τ(v)$) is at most $4$, which means there exists a metric map** to the tetrahedron. Furthermore, we use the Lovász neighborhood-complex theorem in algebraic topology to prove that the chromatic number of the diameter graph is exactly $4$.
Secondly, we develop algorithms that allow us to obtain every such graph with up to $14$ vertices. Furthermore, we numerically construct metric embeddings for every such graph. From the theorem and this computational evidence we conjecture that every such graph is realizable as a Reuleaux polyhedron in $\mathbb R^3$.
In previous work the first and last authors described a method to construct a constant-width body from a Reuleaux polyhedron. So in essence, we also construct hundreds of new examples of constant-width bodies.
This is related to a problem of Vázsonyi, and also to a problem of Blaschke-Lebesgue.
△ Less
Submitted 29 April, 2019;
originally announced April 2019.
-
Equipartitions and Mahler volumes of symmetric convex bodies
Authors:
Matthieu Fradelizi,
Alfredo Hubard,
Mathieu Meyer,
Edgardo Roldán-Pensado,
Artem Zvavitch
Abstract:
Following ideas of Iriyeh and Shibata we give a short proof of the three-dimensional Mahler conjecture {\mf for symmetric convex bodies}. Our contributions include, in particular, simple self-contained proofs of their two key statements. The first of these is an equipartition (ham sandwich type) theorem which refines a celebrated result of Hadwiger and, as usual, can be proved using ideas from equ…
▽ More
Following ideas of Iriyeh and Shibata we give a short proof of the three-dimensional Mahler conjecture {\mf for symmetric convex bodies}. Our contributions include, in particular, simple self-contained proofs of their two key statements. The first of these is an equipartition (ham sandwich type) theorem which refines a celebrated result of Hadwiger and, as usual, can be proved using ideas from equivariant topology. The second is an inequality relating the product volume to areas of certain sections and their duals. We observe that these ideas give a large family of convex sets in every dimension for which the Mahler conjecture holds true. Finally we give an alternative proof of the characterization of convex bodies that achieve the equality case and establish a {\mf new} stability result.
△ Less
Submitted 20 January, 2021; v1 submitted 24 April, 2019;
originally announced April 2019.
-
Further Consequences of the Colorful Helly Hypothesis
Authors:
Leonardo Martínez-Sandoval,
Edgardo Roldán-Pensado,
Natan Rubin
Abstract:
Let $\mathcal{F}$ be a family of convex sets in ${\mathbb R}^d$, which are colored with $d+1$ colors. We say that $\mathcal{F}$ satisfies the Colorful Helly Property if every rainbow selection of $d+1$ sets, one set from each color class, has a non-empty common intersection. The Colorful Helly Theorem of Lovász states that for any such colorful family $\mathcal{F}$ there is a color class…
▽ More
Let $\mathcal{F}$ be a family of convex sets in ${\mathbb R}^d$, which are colored with $d+1$ colors. We say that $\mathcal{F}$ satisfies the Colorful Helly Property if every rainbow selection of $d+1$ sets, one set from each color class, has a non-empty common intersection. The Colorful Helly Theorem of Lovász states that for any such colorful family $\mathcal{F}$ there is a color class $\mathcal{F}_i\subset \mathcal{F}$, for $1\leq i\leq d+1$, whose sets have a non-empty intersection.
We establish further consequences of the Colorful Helly hypothesis. In particular, we show that for each dimension $d\geq 2$ there exist numbers $f(d)$ and $g(d)$ with the following property: either one can find an additional color class whose sets can be pierced by $f(d)$ points, or all the sets in $\mathcal{F}$ can be crossed by $g(d)$ lines.
△ Less
Submitted 16 March, 2018;
originally announced March 2018.
-
On a Helly-type question for central symmetry
Authors:
Alexey Garber,
Edgardo Roldán-Pensado
Abstract:
We study a certain Helly-type question by Konrad Swanepoel. Assume that $X$ is a set of points such that every $k$-subset of $X$ is in centrally symmetric convex position, is it true that $X$ must also be in centrally symmetric convex position? It is easy to see that this is false if $k\le 5$, but it may be true for sufficiently large $k$. We investigate this question and give some partial results…
▽ More
We study a certain Helly-type question by Konrad Swanepoel. Assume that $X$ is a set of points such that every $k$-subset of $X$ is in centrally symmetric convex position, is it true that $X$ must also be in centrally symmetric convex position? It is easy to see that this is false if $k\le 5$, but it may be true for sufficiently large $k$. We investigate this question and give some partial results.
△ Less
Submitted 22 January, 2018;
originally announced January 2018.
-
Shadows of a Closed Curve
Authors:
Michael Gene Dobbins,
Heuna Kim,
Luis Montejano,
Edgardo Roldán-Pensado
Abstract:
A shadow of a geometric object $A$ in a given direction $v$ is the orthogonal projection of $A$ on the hyperplane orthogonal to $v$. We show that any topological embedding of a circle into Euclidean $d$-space can have at most two shadows that are simple paths in linearly independent directions. The proof is topological and uses an analog of basic properties of degree of maps on a circle to relatio…
▽ More
A shadow of a geometric object $A$ in a given direction $v$ is the orthogonal projection of $A$ on the hyperplane orthogonal to $v$. We show that any topological embedding of a circle into Euclidean $d$-space can have at most two shadows that are simple paths in linearly independent directions. The proof is topological and uses an analog of basic properties of degree of maps on a circle to relations on a circle. This extends a previous result which dealt with the case $d=3$.
△ Less
Submitted 7 June, 2017;
originally announced June 2017.
-
Embeddability of arrangements of pseudocircles and graphs on surfaces
Authors:
Éric Colin de Verdière,
Carolina Medina,
Edgardo Roldán-Pensado,
Gelasio Salazar
Abstract:
A pseudocircle is a simple closed curve on some surface; an arrangement of pseudocircles is a collection of pseudocircles that pairwise intersect in exactly two points, at which they cross. Ortner proved that an arrangement of pseudocircles is embeddable into the sphere if and only if all of its subarrangements of size at most four are embeddable into the sphere, and asked if an analogous result h…
▽ More
A pseudocircle is a simple closed curve on some surface; an arrangement of pseudocircles is a collection of pseudocircles that pairwise intersect in exactly two points, at which they cross. Ortner proved that an arrangement of pseudocircles is embeddable into the sphere if and only if all of its subarrangements of size at most four are embeddable into the sphere, and asked if an analogous result holds for embeddability into orientable surfaces of higher genus. We answer this question positively: An arrangement of pseudocircles is embeddable into an orientable surface of genus~$g$ if and only if all of its subarrangements of size at most $4g+4$ are. Moreover, this bound is tight. We actually have similar results for a much general notion of arrangement, which we call an \emph{arrangement of graphs}.
△ Less
Submitted 26 September, 2019; v1 submitted 25 April, 2017;
originally announced April 2017.
-
Meissner Polyhedra
Authors:
Luis Montejano,
Edgardo Roldán-Pensado
Abstract:
In this paper we develop a concrete way to construct bodies of constant width in dimension three. They are constructed from special embeddings of self-dual graphs.
In this paper we develop a concrete way to construct bodies of constant width in dimension three. They are constructed from special embeddings of self-dual graphs.
△ Less
Submitted 29 November, 2016; v1 submitted 22 August, 2016;
originally announced August 2016.
-
A note on the tolerated Tverberg theorem
Authors:
Natalia García-Colín,
Miguel Raggi,
Edgardo Roldán-Pensado
Abstract:
In this paper we give an asymptotically tight bound for the tolerated Tverberg Theorem when the dimension and the size of the partition are fixed. To achieve this we study certain partitions of order-type homogeneous sets and use a generalization of the Erdős-Szekeres theorem.
In this paper we give an asymptotically tight bound for the tolerated Tverberg Theorem when the dimension and the size of the partition are fixed. To achieve this we study certain partitions of order-type homogeneous sets and use a generalization of the Erdős-Szekeres theorem.
△ Less
Submitted 8 June, 2016; v1 submitted 5 June, 2016;
originally announced June 2016.
-
Helly numbers of Algebraic Subsets of $\mathbb R^d$
Authors:
J. A. De Loera,
R. N. La Haye,
D. Oliveros,
E. Roldán-Pensado
Abstract:
We study $S$-convex sets, which are the geometric objects obtained as the intersection of the usual convex sets in $\mathbb R^d$ with a proper subset $S\subset \mathbb R^d$. We contribute new results about their $S$-Helly numbers. We extend prior work for $S=\mathbb R^d$, $\mathbb Z^d$, and $\mathbb Z^{d-k}\times\mathbb R^k$; we give sharp bounds on the $S$-Helly numbers in several new cases. We c…
▽ More
We study $S$-convex sets, which are the geometric objects obtained as the intersection of the usual convex sets in $\mathbb R^d$ with a proper subset $S\subset \mathbb R^d$. We contribute new results about their $S$-Helly numbers. We extend prior work for $S=\mathbb R^d$, $\mathbb Z^d$, and $\mathbb Z^{d-k}\times\mathbb R^k$; we give sharp bounds on the $S$-Helly numbers in several new cases. We considered the situation for low-dimensional $S$ and for sets $S$ that have some algebraic structure, in particular when $S$ is an arbitrary subgroup of $\mathbb R^d$ or when $S$ is the difference between a lattice and some of its sublattices. By abstracting the ingredients of Lovász method we obtain colorful versions of many monochromatic Helly-type results, including several colorful versions of our own results.
△ Less
Submitted 10 August, 2015;
originally announced August 2015.
-
A sunflower anti-Ramsey theorem and its applications
Authors:
Leonardo Martínez-Sandoval,
Miguel Raggi,
Edgardo Roldán-Pensado
Abstract:
A $h$-sunflower in a hypergraph is a family of edges with $h$ vertices in common. We show that if we colour the edges of a complete hypergraph in such a way that any monochromatic $h$-sunflower has at most $λ$ petals, then it contains a large rainbow complete subhypergraph. This extends a theorem by Lefmann, Rödl and Wysocka, but this version can be applied to problems in geometry and algebra. We…
▽ More
A $h$-sunflower in a hypergraph is a family of edges with $h$ vertices in common. We show that if we colour the edges of a complete hypergraph in such a way that any monochromatic $h$-sunflower has at most $λ$ petals, then it contains a large rainbow complete subhypergraph. This extends a theorem by Lefmann, Rödl and Wysocka, but this version can be applied to problems in geometry and algebra. We also give an infinite version of the theorem.
△ Less
Submitted 19 May, 2015;
originally announced May 2015.
-
Beyond Chance-Constrained Convex Mixed-Integer Optimization: A Generalized Calafiore-Campi Algorithm and the notion of $S$-optimization
Authors:
J. A. De Loera,
R. N. La Haye,
D. Oliveros,
E. Roldán-Pensado
Abstract:
The scenario approach developed by Calafiore and Campi to attack chance-constrained convex programs utilizes random sampling on the uncertainty parameter to substitute the original problem with a representative continuous convex optimization with $N$ convex constraints which is a relaxation of the original. Calafiore and Campi provided an explicit estimate on the size $N$ of the sampling relaxatio…
▽ More
The scenario approach developed by Calafiore and Campi to attack chance-constrained convex programs utilizes random sampling on the uncertainty parameter to substitute the original problem with a representative continuous convex optimization with $N$ convex constraints which is a relaxation of the original. Calafiore and Campi provided an explicit estimate on the size $N$ of the sampling relaxation to yield high-likelihood feasible solutions of the chance-constrained problem. They measured the probability of the original constraints to be violated by the random optimal solution from the relaxation of size $N$.
This paper has two main contributions. First, we present a generalization of the Calafiore-Campi results to both integer and mixed-integer variables. In fact, we demonstrate that their sampling estimates work naturally for variables restricted to some subset $S$ of $\mathbb R^d$. The key elements are generalizations of Helly's theorem where the convex sets are required to intersect $S \subset \mathbb R^d$. The size of samples in both algorithms will be directly determined by the $S$-Helly numbers.
Motivated by the first half of the paper, for any subset $S \subset \mathbb R^d$, we introduce the notion of an $S$-optimization problem, where the variables take on values over $S$. It generalizes continuous, integer, and mixed-integer optimization. We illustrate with examples the expressive power of $S$-optimization to capture sophisticated combinatorial optimization problems with difficult modular constraints. We reinforce the evidence that $S$-optimization is "the right concept" by showing that the well-known randomized sampling algorithm of K. Clarkson for low-dimensional convex optimization problems can be extended to work with variables taking values over $S$.
△ Less
Submitted 22 August, 2015; v1 submitted 31 March, 2015;
originally announced April 2015.
-
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.
-
Cutting convex curves
Authors:
Andreas F. Holmsen,
János Kincses,
Edgardo Roldán-Pensado
Abstract:
We show that for any two convex curves $C_1$ and $C_2$ in $\mathbb R^d$ parametrized by $[0,1]$ with opposite orientations, there exists a hyperplane $H$ with the following property: For any $t\in [0,1]$ the points $C_1(t)$ and $C_2(t)$ are never in the same open halfspace bounded by $H$. This will be deduced from a more general result on equipartitions of ordered point sets by hyperplanes.
We show that for any two convex curves $C_1$ and $C_2$ in $\mathbb R^d$ parametrized by $[0,1]$ with opposite orientations, there exists a hyperplane $H$ with the following property: For any $t\in [0,1]$ the points $C_1(t)$ and $C_2(t)$ are never in the same open halfspace bounded by $H$. This will be deduced from a more general result on equipartitions of ordered point sets by hyperplanes.
△ Less
Submitted 29 March, 2016; v1 submitted 15 July, 2014;
originally announced July 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.
-
A Rainbow Ramsey Analogue of Rado's Theorem
Authors:
Jesús A. De Loera,
Reuben N. La Haye,
Amanda Montejano,
Deborah Oliveros,
Edgardo Roldán-Pensado
Abstract:
We present a Rainbow Ramsey version of the well-known Ramsey-type theorem of Richard Rado. We use techniques from the Geometry of Numbers. We also disprove two conjectures proposed in the literature.
We present a Rainbow Ramsey version of the well-known Ramsey-type theorem of Richard Rado. We use techniques from the Geometry of Numbers. We also disprove two conjectures proposed in the literature.
△ Less
Submitted 4 November, 2014; v1 submitted 5 April, 2014;
originally announced April 2014.
-
Points defining triangles with distinct circumradii
Authors:
Leonardo Martínez,
Edgardo Roldán-Pensado
Abstract:
Paul Erdos asked if, among sufficiently many points in general position, there are always $k$ points such that all the circles through $3$ of these $k$ points have different radii. He later proved that this is indeed the case. However, he overlooked a non-trivial case in his proof. In this note we deal with this case using Bézout's Theorem on the number of intersection points of two curves and obt…
▽ More
Paul Erdos asked if, among sufficiently many points in general position, there are always $k$ points such that all the circles through $3$ of these $k$ points have different radii. He later proved that this is indeed the case. However, he overlooked a non-trivial case in his proof. In this note we deal with this case using Bézout's Theorem on the number of intersection points of two curves and obtain a polynomial bound for the needed number of points.
△ Less
Submitted 25 February, 2014;
originally announced February 2014.
-
The Colored Hadwiger Transversal Theorem in $\mathbb R^d$
Authors:
Andreas F. Holmsen,
Edgardo Roldán-Pensado
Abstract:
Hadwiger's transversal theorem gives necessary and sufficient conditions for a family of convex sets in the plane to have a line transversal. A higher dimensional version was obtained by Goodman, Pollack and Wenger, and recently a colorful version appeared due to Arocha, Bracho and Montejano. We show that it is possible to combine both results to obtain a colored version of Hadwiger's theorem in h…
▽ More
Hadwiger's transversal theorem gives necessary and sufficient conditions for a family of convex sets in the plane to have a line transversal. A higher dimensional version was obtained by Goodman, Pollack and Wenger, and recently a colorful version appeared due to Arocha, Bracho and Montejano. We show that it is possible to combine both results to obtain a colored version of Hadwiger's theorem in higher dimensions. The proofs differ from the previous ones and use a variant of the Borsuk-Ulam theorem. To be precise, we prove the following. Let $F$ be a family of convex sets in $\mathbb R^d$ in bijection with a family $P$ of points in $\mathbb R^{d-1}$. Assume that there is a coloring of $F$ with sufficiently many colors such that any colorful Radon partition of points in $P$ corresponds to a colorful Radon partition of sets in $F$. Then some monochromatic subfamily of $F$ has a hyperplane transversal.
△ Less
Submitted 15 October, 2013;
originally announced October 2013.
-
Erdős - Szekeres Theorem for Lines
Authors:
Imre Bárány,
Edgardo Roldán-Pensado,
Géza Tóth
Abstract:
According to the Erdős-Szekeres theorem, for every $n$, a sufficiently large set of points in general position in the plane contains $n$ in convex position. In this note we investigate the line version of this result, that is, we want to find $n$ lines in convex position in a sufficiently large set of lines that are in general position. We prove almost matching upper and lower bounds for the minim…
▽ More
According to the Erdős-Szekeres theorem, for every $n$, a sufficiently large set of points in general position in the plane contains $n$ in convex position. In this note we investigate the line version of this result, that is, we want to find $n$ lines in convex position in a sufficiently large set of lines that are in general position. We prove almost matching upper and lower bounds for the minimum size of the set of lines in general position that always contains $n$ in convex position. This is quite unexpected, since in the case of points, the best known bounds are very far from each other. We also establish the dual versions of many variants and generalizations of the Erd\H os-Szekeres theorem.
△ Less
Submitted 17 April, 2015; v1 submitted 22 July, 2013;
originally announced July 2013.
-
Lower bounds on geometric Ramsey functions
Authors:
Marek Eliáš,
Jiří Matoušek,
Edgardo Roldán-Pensado,
Zuzana Safernová
Abstract:
We continue a sequence of recent works studying Ramsey functions for semialgebraic predicates in $\mathbb{R}^d$. A $k$-ary semialgebraic predicate $Φ(x_1,\ldots,x_k)$ on $\mathbb{R}^d$ is a Boolean combination of polynomial equations and inequalities in the $kd$ coordinates of $k$ points $x_1,\ldots,x_k\in\mathbb{R}^d$. A sequence $P=(p_1,\ldots,p_n)$ of points in $\mathbb{R}^d$ is called $Φ$-homo…
▽ More
We continue a sequence of recent works studying Ramsey functions for semialgebraic predicates in $\mathbb{R}^d$. A $k$-ary semialgebraic predicate $Φ(x_1,\ldots,x_k)$ on $\mathbb{R}^d$ is a Boolean combination of polynomial equations and inequalities in the $kd$ coordinates of $k$ points $x_1,\ldots,x_k\in\mathbb{R}^d$. A sequence $P=(p_1,\ldots,p_n)$ of points in $\mathbb{R}^d$ is called $Φ$-homogeneous if either $Φ(p_{i_1}, \ldots,p_{i_k})$ holds for all choices $1\le i_1 < \cdots < i_k\le n$, or it holds for no such choice. The Ramsey function $R_Φ(n)$ is the smallest $N$ such that every point sequence of length $N$ contains a $Φ$-homogeneous subsequence of length $n$.
Conlon, Fox, Pach, Sudakov, and Suk constructed the first examples of semialgebraic predicates with the Ramsey function bounded from below by a tower function of arbitrary height: for every $k\ge 4$, they exhibit a $k$-ary $Φ$ in dimension $2^{k-4}$ with $R_Φ$ bounded below by a tower of height $k-1$. We reduce the dimension in their construction, obtaining a $k$-ary semialgebraic predicate $Φ$ on $\mathbb{R}^{k-3}$ with $R_Φ$ bounded below by a tower of height $k-1$.
We also provide a natural geometric Ramsey-type theorem with a large Ramsey function. We call a point sequence $P$ in $\mathbb{R}^d$ order-type homogeneous if all $(d+1)$-tuples in $P$ have the same orientation. Every sufficiently long point sequence in general position in $\mathbb{R}^d$ contains an order-type homogeneous subsequence of length $n$, and the corresponding Ramsey function has recently been studied in several papers. Together with a recent work of Bárány, Matoušek, and Pór, our results imply a tower function of $Ω(n)$ of height $d$ as a lower bound, matching an upper bound by Suk up to the constant in front of $n$.
△ Less
Submitted 7 January, 2014; v1 submitted 19 July, 2013;
originally announced July 2013.
-
Paths on the Doubly Covered Region of a Covering of the Plane by Unit Discs
Authors:
Edgardo Roldán-Pensado
Abstract:
Given a covering of the plane by closed unit discs $\mathcal F$ and two points $A$ and $B$ in the region doubly covered by $\mathcal F$, what is the length of the shortest path connecting them that stays within the doubly covered region? This is a problem of G. Fejes-Tóth and he conjectured that if the distance between $A$ and $B$ is $d$, then the length of this path is at most $\sqrt 2 d+O(1)$. I…
▽ More
Given a covering of the plane by closed unit discs $\mathcal F$ and two points $A$ and $B$ in the region doubly covered by $\mathcal F$, what is the length of the shortest path connecting them that stays within the doubly covered region? This is a problem of G. Fejes-Tóth and he conjectured that if the distance between $A$ and $B$ is $d$, then the length of this path is at most $\sqrt 2 d+O(1)$. In this paper we give a bound of $2.78 d+O(1)$.
△ Less
Submitted 7 April, 2013;
originally announced April 2013.
-
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.
