arXiv subjects

Gyivan Lopez-Campos

Publications and source records attributed to Gyivan Lopez-Campos.

4 recordsLinked to original sources

arXiv2026

On Diameter Graphs Problems: A proof of Brass's Conjecture

The diameter graph of a finite set $S\subset\mathbb{R}^d$ has vertex set $S$ and two points are adjacent when their distance equals $\operatorname{diam} S$. In this paper we study the following question: given $k$ and $d$, is there a constant $c=c(k,d)$ such that from every finite point set $S\subset\mathbb{R}^d$ one can remove at most $c$ points so that the subgraph of the diameter graph induced by the remaining points is $k$-colorable? Brass conjectured that such a constant exists for $d=3$ and $k=3$. We prove this conjecture by showing that at most one point needs to be removed. We also answer a question of Dol'nikov, showing that for every positive integer $m$, there exist a finite point set $S\subset\mathbb{R}^3$ in which every subset of smaller diameter has less than $(|S|-m)/2$ points.

math.CO↗

arXiv2026

On Lattice Diameter Segments: Algorithms and Structure

The lattice diameter of a bounded set $S \subset \mathbb{R}^d$ counts the maximal number of lattice points in a segment whose endpoints are lattice points in $S$. Such a segment is called a lattice diameter segment of $S$. This basic invariant in the geometry of numbers has several interesting applications. Our first type of contribution is algorithmic: We describe a polynomial-time algorithm that computes lattice diameter segments of polytopes in fixed dimension, with a simpler algorithm for polygons. In contrast, we show hardness of computing the lattice diameters of polytopes of variable dimension and for semi-algebraic sets. Our second type of contribution concerns the structure of lattice diameter segments: Generalizing the classical Ehrhart function, we prove that the function that counts distinct lattice diameter segments in dilations of a lattice polytope is eventually a quasi-polynomial in the dilation factor. Finally, we prove a Borsuk-type theorem on the number of parts needed to partition a set of lattice points such that each part has strictly smaller lattice diameter.

math.CO↗

arXiv2025

On the Number of Vertices in a Hyperplane Section of a Polytope

We study the slices or sections of a convex polytope by affine hyperplanes. We present results on two key problems: First, we provide tight bounds on the maximum number of vertices attainable by a hyperplane slice of $d$-polytope (a sort of upper bound theorem) and discuss a new algorithm to find all sections. Second, we investigate the sequence of numbers of vertices produced by the different slices over all possible hyperplanes and analyze the gaps that arise in that sequence. We study these sequences for three-dimensional polytopes and for hypercubes. Our results were obtained with the help of large computational experiments, and we report on new data generated for hypercubes.

math.CO↗

arXiv2025

Borsuk and Vázsonyi problems through Reuleaux polyhedra

The Borsuk conjecture and the Vázsonyi problem are two attractive and famous questions in discrete and combinatorial geometry, both based on the notion of diameter of a bounded sets. In this paper, we present an equivalence between the critical sets with Borsuk number 4 in $\mathbb{R}^3$ and the minimal structures for the Vázsonyi problem by using the well-known Reuleaux polyhedra. The latter lead to a full characterization of all finite sets in $\mathbb{R}^3$ with Borsuk number 4. The proof of such equivalence needs various ingredients, in particular, we proved a conjecture dealing with strongly critical configuration for the Vázsonyi problem and showed that the diameter graph arising from involutive polyhedra is vertex (and edge) 4-critical.

math.CO↗