arXiv subjects

Pablo Soberón

Publications and source records attributed to Pablo Soberón.

At least 37 records · Page 2Linked to original sources

arXiv2024

Tverberg's theorem and multi-class support vector machines

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.

cs.LG↗

arXiv2024

Extensions of discrete Helly theorems for boxes

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.

math.CO↗

arXiv2023

High-dimensional envy-free partitions

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.

math.CO↗

arXiv2023

Tverberg Partition Graphs

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.

math.CO↗

arXiv2023

The topological Tverberg problem beyond prime powers

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$.

math.CO↗

arXiv2023

Colorful and Quantitative Variations of Krasnosselsky's Theorem

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.

math.CO↗

arXiv2023

Combinatorial Depth Measures for Hyperplane Arrangements

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.

cs.CG↗

arXiv2022

Fair distributions for more participants than allocations

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.

cs.GT↗

arXiv2021

Bisections of mass assignments using flags of affine spaces

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.

math.CO↗

arXiv2021

Lifting methods in mass partition problems

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.

math.CO↗

arXiv2021

A Note on the Maximum Rectilinear Crossing Number of Spiders

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.

math.CO↗

arXiv2021

Counterexamples to the Colorful Tverberg Conjecture for Hyperplanes

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.

math.CO↗

arXiv2021

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

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.

math.CO↗

arXiv2020

A survey of mass partitions

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.

math.CO↗

arXiv2020

Tverberg's theorem, disks, and Hamiltonian cycles

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.

math.CO↗

arXiv2020

Isometric and affine copies of a set in volumetric Helly results

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$.

math.MG↗

arXiv2020

A mélange of diameter Helly-type theorems

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.

math.MG↗

arXiv2020

Tolerance for colorful Tverberg partitions

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)$.

math.CO↗