-
Selected topics from the theory of intersections of balls
Authors:
Károly Bezdek,
Zsolt Lángi,
Márton Naszódi
Abstract:
In this survey, we discuss volumetric and combinatorial results concerning (mostly finite) intersections or unions of balls (mostly of equal radii) in the $d$-dimensional real vector space, mostly equipped with the Euclidean norm. Our first topic is the Kneser-Poulsen Conjecture, according to which if a finite number of unit balls are rearranged so that the pairwise distances of the centers increa…
▽ More
In this survey, we discuss volumetric and combinatorial results concerning (mostly finite) intersections or unions of balls (mostly of equal radii) in the $d$-dimensional real vector space, mostly equipped with the Euclidean norm. Our first topic is the Kneser-Poulsen Conjecture, according to which if a finite number of unit balls are rearranged so that the pairwise distances of the centers increase, then the volume of the union (resp., intersection) increases (resp., decreases). Next, we discuss Blaschke-Santaló type, and isoperimetric inequalities for convex sets in Euclidean $d$-space obtained as intersections of (possibly infinitely many) unit balls, which we call spindle convex sets. We present some results on spindle convex sets in the plane, with special attention paid to their approximation by the spindle convex hull of a finite subset. A ball-polyhedron is a convex body obtained as the intersection of finitely many unit balls in Euclidean $d$-space. We consider the combinatorial structure of their faces, and volumetric properties of ball polyhedra obtained from choosing the centers of the balls randomly.
△ Less
Submitted 15 November, 2024;
originally announced November 2024.
-
Helly numbers for Quantitative Helly-type results
Authors:
G. Ivanov,
M. Naszodi
Abstract:
We obtain three Helly-type results. First, we establish a Quantitative Colorful Helly-type theorem with the optimal Helly number \(2d\) concerning the diameter of the intersection of a family of convex bodies. Second, we prove a Quantitative Helly-type theorem with the optimal Helly number \(2d+1\) for the pointwise minimum of logarithmically concave functions. Finally, we present a colorful versi…
▽ More
We obtain three Helly-type results. First, we establish a Quantitative Colorful Helly-type theorem with the optimal Helly number \(2d\) concerning the diameter of the intersection of a family of convex bodies. Second, we prove a Quantitative Helly-type theorem with the optimal Helly number \(2d+1\) for the pointwise minimum of logarithmically concave functions. Finally, we present a colorful version of the latter result with Helly number (number of color classes) \(3d+1\); however, we have no reason to believe that this bound is sharp.
△ Less
Submitted 23 September, 2024;
originally announced September 2024.
-
Higher rank antipodality
Authors:
Márton Naszódi,
Zsombor Szilágyi,
Mihály Weiner
Abstract:
Motivated by general probability theory, we say that the set $S$ in $\mathbb{R}^d$ is \emph{antipodal of rank $k$}, if for any $k+1$ elements $q_1,\ldots q_{k+1}\in S$, there is an affine map from $\mathrm{conv}(S)$ to the $k$-dimensional simplex $Δ_k$ that maps $q_1,\ldots q_{k+1}$ bijectively onto the $k+1$ vertices of $Δ_k$. For $k=1$, it coincides with the well-studied notion of (pairwise) ant…
▽ More
Motivated by general probability theory, we say that the set $S$ in $\mathbb{R}^d$ is \emph{antipodal of rank $k$}, if for any $k+1$ elements $q_1,\ldots q_{k+1}\in S$, there is an affine map from $\mathrm{conv}(S)$ to the $k$-dimensional simplex $Δ_k$ that maps $q_1,\ldots q_{k+1}$ bijectively onto the $k+1$ vertices of $Δ_k$. For $k=1$, it coincides with the well-studied notion of (pairwise) antipodality introduced by Klee. We consider the following natural generalization of Klee's problem on antipodal sets: What is the maximum size of an antipodal set of rank $k$ in $\mathbb{R}^d$? We present a geometric characterization of antipodal sets of rank $k$ and adapting the argument of Danzer and Grünbaum originally developed for the $k=1$ case, we prove an upper bound which is exponential in the dimension. We show that this problem can be connected to a classical question in computer science on finding perfect hashes, and it provides a lower bound on the maximum size, which is also exponential in the dimension. By connecting rank-$k$ antipodality to $k$-neighborly polytopes, we obtain another upper bound when $k>d/2$.
△ Less
Submitted 3 February, 2025; v1 submitted 31 July, 2023;
originally announced July 2023.
-
Quantitative Steinitz theorem: A spherical version
Authors:
Grigory Ivanov,
Márton Naszódi
Abstract:
Steinitz's theorem states that if the origin belongs to the interior of the convex hull of a set $Q \subset \mathbb{R}^d$, then there are at most $2d$ points $Q^\prime$ of $Q$ whose convex hull contains the origin in the interior. Bárány, Katchalski and Pach gave a quantitative version whereby the radius of the ball contained in the convex hull of $Q^\prime$ is bounded from below. In the present n…
▽ More
Steinitz's theorem states that if the origin belongs to the interior of the convex hull of a set $Q \subset \mathbb{R}^d$, then there are at most $2d$ points $Q^\prime$ of $Q$ whose convex hull contains the origin in the interior. Bárány, Katchalski and Pach gave a quantitative version whereby the radius of the ball contained in the convex hull of $Q^\prime$ is bounded from below. In the present note, we show that a Euclidean result of this kind implies a corresponding spherical version.
△ Less
Submitted 30 November, 2023; v1 submitted 2 June, 2023;
originally announced June 2023.
-
On Helly numbers of exponential lattices
Authors:
Gergely Ambrus,
Martin Balko,
Nóra Frankl,
Attila Jung,
Márton Naszódi
Abstract:
Given a set $S \subseteq \mathbb{R}^2$, define the \emph{Helly number of $S$}, denoted by $H(S)$, as the smallest positive integer $N$, if it exists, for which the following statement is true: for any finite family $\mathcal{F}$ of convex sets in~$\mathbb{R}^2$ such that the intersection of any $N$ or fewer members of~$\mathcal{F}$ contains at least one point of $S$, there is a point of $S$ common…
▽ More
Given a set $S \subseteq \mathbb{R}^2$, define the \emph{Helly number of $S$}, denoted by $H(S)$, as the smallest positive integer $N$, if it exists, for which the following statement is true: for any finite family $\mathcal{F}$ of convex sets in~$\mathbb{R}^2$ such that the intersection of any $N$ or fewer members of~$\mathcal{F}$ contains at least one point of $S$, there is a point of $S$ common to all members of $\mathcal{F}$.
We prove that the Helly numbers of \emph{exponential lattices} $\{α^n \colon n \in \mathbb{N}_0\}^2$ are finite for every $α>1$ and we determine their exact values in some instances. In particular, we obtain $H(\{2^n \colon n \in \mathbb{N}_0\}^2)=5$, solving a problem posed by Dillon (2021).
For real numbers $α, β> 1$, we also fully characterize exponential lattices $L(α,β) = \{α^n \colon n \in \mathbb{N}_0\} \times \{β^n \colon n \in \mathbb{N}_0\}$ with finite Helly numbers by showing that $H(L(α,β))$ is finite if and only if $\log_α(β)$ is rational.
△ Less
Submitted 20 October, 2023; v1 submitted 11 January, 2023;
originally announced January 2023.
-
Functional John and Löwner conditions for pairs of log-concave functions
Authors:
Grigory Ivanov,
Márton Naszódi
Abstract:
John's fundamental theorem characterizing the largest volume ellipsoid contained in a convex body $K$ in $\mathbb{R}^d$ has seen several generalizations and extensions. One direction, initiated by V. Milman is to replace ellipsoids by positions (affine images) of another body $L$. Another, more recent direction is to consider logarithmically concave functions on $\mathbb{R}^d$ instead of convex bo…
▽ More
John's fundamental theorem characterizing the largest volume ellipsoid contained in a convex body $K$ in $\mathbb{R}^d$ has seen several generalizations and extensions. One direction, initiated by V. Milman is to replace ellipsoids by positions (affine images) of another body $L$. Another, more recent direction is to consider logarithmically concave functions on $\mathbb{R}^d$ instead of convex bodies: we designate some special, radially symmetric log-concave function $g$ as the analogue of the Euclidean ball, and want to find its largest integral position under the constraint that it is pointwise below some given log-concave function $f$.
We follow both directions simultaneously: we consider the functional question, and allow essentially any meaningful function to play the role of $g$ above. Our general theorems jointly extend known results in both directions.
The dual problem in the setting of convex bodies asks for the smallest volume ellipsoid, called \emph{L{ö}wner's ellipsoid}, containing $K$. We consider the analogous problem for functions: we characterize the solutions of the optimization problem of finding a smallest integral position of some log-concave function $g$ under the constraint that it is pointwise above $f$. It turns out that in the functional setting, the relationship between the John and the L{ö}wner problems is more intricate than it is in the setting of convex bodies.
△ Less
Submitted 30 November, 2023; v1 submitted 22 December, 2022;
originally announced December 2022.
-
Quantitative Steinitz Theorem: A polynomial bound
Authors:
Grigory Ivanov,
Márton Naszódi
Abstract:
The classical Steinitz theorem states that if the origin belongs to the interior of the convex hull of a set $S \subset \mathbb{R}^d$, then there are at most $2d$ points of $S$ whose convex hull contains the origin in the interior. Bárány, Katchalski, and Pach proved the following quantitative version of Steinitz's theorem. Let $Q$ be a convex polytope in $\mathbb{R}^d$ containing the standard Euc…
▽ More
The classical Steinitz theorem states that if the origin belongs to the interior of the convex hull of a set $S \subset \mathbb{R}^d$, then there are at most $2d$ points of $S$ whose convex hull contains the origin in the interior. Bárány, Katchalski, and Pach proved the following quantitative version of Steinitz's theorem. Let $Q$ be a convex polytope in $\mathbb{R}^d$ containing the standard Euclidean unit ball $\mathbf{B}^d$. Then there exist at most $2d$ vertices of $Q$ whose convex hull $Q^\prime$ satisfies \[ r \mathbf{B}^d \subset Q^\prime \] with $r\geq d^{-2d}$. They conjectured that $r\geq c d^{-1/2}$ holds with a universal constant $c>0$. We prove $r \geq \frac{1}{5d^2}$, the first polynomial lower bound on $r$. Furthermore, we show that $r$ is not be greater than $\frac{2}{\sqrt{d}}$.
△ Less
Submitted 30 November, 2023; v1 submitted 8 December, 2022;
originally announced December 2022.
-
Contacts in totally separable packings in the plane and in high dimensions
Authors:
Márton Naszódi,
Konrad J. Swanepoel
Abstract:
We study the contact structure of totally separable} packings of translates of a convex body $K$ in $\mathbb{R}^d$, that is, packings where any two touching bodies have a separating hyperplane that does not intersect the interior of any translate in the packing. The separable Hadwiger number $H_{\text{sep}}(K)$ of $K$ is defined to be the maximum number of translates touched by a single translate,…
▽ More
We study the contact structure of totally separable} packings of translates of a convex body $K$ in $\mathbb{R}^d$, that is, packings where any two touching bodies have a separating hyperplane that does not intersect the interior of any translate in the packing. The separable Hadwiger number $H_{\text{sep}}(K)$ of $K$ is defined to be the maximum number of translates touched by a single translate, with the maximum taken over all totally separable packings of translates of $K$. We show that for each $d\geq 8$, there exists a smooth and strictly convex $K$ in $\mathbb{R}^d$ with $H_{\text{sep}}(K)>2d$, and asymptotically, $H_{\text{sep}}(K)=Ω\bigl((3/\sqrt{8})^d\bigr)$.
We show that Alon's packing of Euclidean unit balls such that each translate touches at least $2^{\sqrt{d}}$ others whenever $d$ is a power of $4$, can be adapted to give a totally separable packing of translates of the $\ell_1$-unit ball with the same touching property.
We also consider the maximum number of touching pairs in a totally separable packing of $n$ translates of any planar convex body $K$. We prove that the maximum equals $\lfloor 2n-2\sqrt{n}\rfloor$ if and only if $K$ is a quasi hexagon, thus completing the determination of this value for all planar convex bodies.
△ Less
Submitted 31 January, 2022; v1 submitted 28 January, 2022;
originally announced January 2022.
-
A Quantitative Helly-type Theorem: Containment in a Homothet
Authors:
Grigory Ivanov,
Márton Naszódi
Abstract:
We introduce a new variant of quantitative Helly-type theorems: the minimal \emph{"homothetic distance"} of the intersection of a family of convex sets to the intersection of a subfamily of a fixed size. As an application, we establish the following quantitative Helly-type result for the \emph{diameter}. If $K$ is the intersection of finitely many convex bodies in $\mathbb{R}^d$, then one can sele…
▽ More
We introduce a new variant of quantitative Helly-type theorems: the minimal \emph{"homothetic distance"} of the intersection of a family of convex sets to the intersection of a subfamily of a fixed size. As an application, we establish the following quantitative Helly-type result for the \emph{diameter}. If $K$ is the intersection of finitely many convex bodies in $\mathbb{R}^d$, then one can select $2d$ of these bodies whose intersection is of diameter at most $(2d)^3\mathrm{diam}(K)$. The best previously known estimate, due to Brazitikos, is $c d^{11/2}$. Moreover, we confirm that the multiplicative factor $c d^{1/2}$ conjectured by Bárány, Katchalski and Pach cannot be improved.
△ Less
Submitted 1 November, 2021; v1 submitted 6 March, 2021;
originally announced March 2021.
-
Quantitative Fractional Helly and $(p,q)$-Theorems
Authors:
Attila Jung,
Márton Naszódi
Abstract:
We consider quantitative versions of Helly-type questions, that is, instead of finding a point in the intersection, we bound the volume of the intersection. Our first main geometric result is a quantitative version of the Fractional Helly Theorem of Katchalski and Liu, the second one is a quantitative version of the $(p,q)$-Theorem of Alon and Kleitman.
We consider quantitative versions of Helly-type questions, that is, instead of finding a point in the intersection, we bound the volume of the intersection. Our first main geometric result is a quantitative version of the Fractional Helly Theorem of Katchalski and Liu, the second one is a quantitative version of the $(p,q)$-Theorem of Alon and Kleitman.
△ Less
Submitted 22 January, 2021; v1 submitted 16 December, 2020;
originally announced December 2020.
-
An analogue of a theorem of Steinitz for ball polyhedra in $\mathbb{R}^3$
Authors:
Sami Mezal Almohammad,
Márton Naszódi,
Zsolt Lángi
Abstract:
Steinitz's theorem states that a graph $G$ is the edge-graph of a $3$-dimensional convex polyhedron if and only if, $G$ is simple, plane and $3$-connected. We prove an analogue of this theorem for ball polyhedra, that is, for intersections of finitely many unit balls in $\mathbb{R}^3$.
Steinitz's theorem states that a graph $G$ is the edge-graph of a $3$-dimensional convex polyhedron if and only if, $G$ is simple, plane and $3$-connected. We prove an analogue of this theorem for ball polyhedra, that is, for intersections of finitely many unit balls in $\mathbb{R}^3$.
△ Less
Submitted 19 November, 2020;
originally announced November 2020.
-
Computing the covering radius of a polytope with an application to lonely runners
Authors:
Jana Cslovjecsek,
Romanos Diogenes Malikiosis,
Márton Naszódi,
Matthias Schymura
Abstract:
We are concerned with the computational problem of determining the covering radius of a rational polytope. This parameter is defined as the minimal dilation factor that is needed for the lattice translates of the correspondingly dilated polytope to cover the whole space. As our main result, we describe a new algorithm for this problem, which is simpler, more efficient and easier to implement than…
▽ More
We are concerned with the computational problem of determining the covering radius of a rational polytope. This parameter is defined as the minimal dilation factor that is needed for the lattice translates of the correspondingly dilated polytope to cover the whole space. As our main result, we describe a new algorithm for this problem, which is simpler, more efficient and easier to implement than the only prior algorithm of Kannan (1992). Motivated by a variant of the famous Lonely Runner Conjecture, we use its geometric interpretation in terms of covering radii of zonotopes, and apply our algorithm to prove the first open case of three runners with individual starting points.
△ Less
Submitted 12 October, 2021; v1 submitted 25 September, 2020;
originally announced September 2020.
-
Functional John Ellipsoids
Authors:
Grigory Ivanov,
Márton Naszódi
Abstract:
We introduce a new way of representing logarithmically concave functions on $\mathbb{R}^{d}$. It allows us to extend the notion of the largest volume ellipsoid contained in a convex body to the setting of logarithmically concave functions as follows. For every $s>0$, we define a class of non-negative functions on $\mathbb{R}^{d}$ derived from ellipsoids in $\mathbb{R}^{d+1}$. For any log-concave f…
▽ More
We introduce a new way of representing logarithmically concave functions on $\mathbb{R}^{d}$. It allows us to extend the notion of the largest volume ellipsoid contained in a convex body to the setting of logarithmically concave functions as follows. For every $s>0$, we define a class of non-negative functions on $\mathbb{R}^{d}$ derived from ellipsoids in $\mathbb{R}^{d+1}$. For any log-concave function $f$ on $\mathbb{R}^{d}$, and any fixed $s>0$, we consider functions belonging to this class, and find the one with the largest integral under the condition that it is pointwise less than or equal to $f$, and we call it the \emph{\jsfunction} of $f$. After establishing existence and uniqueness, we give a characterization of this function similar to the one given by John in his fundamental theorem. We find that John $s$-functions converge to characteristic functions of ellipsoids as $s$ tends to zero and to Gaussian densities as $s$ tends to infinity.
As an application, we prove a quantitative Helly type result: the integral of the pointwise minimum of any family of log-concave functions is at least a constant $c_d$ multiple of the integral of the pointwise minimum of a properly chosen subfamily of size $3d+2$, where $c_d$ depends only on $d$.
△ Less
Submitted 1 November, 2021; v1 submitted 17 June, 2020;
originally announced June 2020.
-
Approximation of the average of some random matrices
Authors:
Grigory Ivanov,
Márton Naszódi,
Alexandr Polyanskii
Abstract:
Rudelson's theorem states that if for a set of unit vectors $u_i$ and positive weights $c_i$, we have that $\sum c_i u_i\otimes u_i$ is the identity operator $I$ on ${\mathbb R}^d$, then the sum of a random sample of $Cd\ln d$ of these diadic products is close to $I$. The $\ln d$ term cannot be removed.
On the other hand, the recent fundamental result of Batson, Spielman and Srivastava and its i…
▽ More
Rudelson's theorem states that if for a set of unit vectors $u_i$ and positive weights $c_i$, we have that $\sum c_i u_i\otimes u_i$ is the identity operator $I$ on ${\mathbb R}^d$, then the sum of a random sample of $Cd\ln d$ of these diadic products is close to $I$. The $\ln d$ term cannot be removed.
On the other hand, the recent fundamental result of Batson, Spielman and Srivastava and its improvement by Marcus, Spielman and Srivastava show that the $\ln d$ term can be removed, if one wants to show the existence of a good approximation of $I$ as the average of a few diadic products. It is known that essentially the same proof as Rudelson's yields a more general statement about the average of positive semi-definite matrices.
First, we give an example of an average of positive semi-definite matrices where there is no approximation of this average by $Cd$ elements. Thus, the result of Batson, Spielman and Srivastava cannot be extended to this wider class of matrices.
Next, we present a stability version of Rudelson's result on positive semi-definite matrices, and thus, extend it to certain non-symmetric matrices. This yields applications to the study of the Banach--Mazur distance of convex bodies.
Finally, we show that in some cases, one needs to take a subset of the vectors of order $d^2$ to approximate the identity.
△ Less
Submitted 2 July, 2020; v1 submitted 18 September, 2019;
originally announced September 2019.
-
Angular measures and Birkhoff orthogonality in Minkowski planes
Authors:
Márton Naszódi,
Vilmos Prokaj,
Konrad Swanepoel
Abstract:
Let $x$ and $y$ be two unit vectors in a normed plane $\mathbb{R}^2$. We say that $x$ is Birkhoff orthogonal to $y$ if the line through $x$ in the direction $y$ supports the unit disc. A B-measure (Fankhänel 2011) is an angular measure $μ$ on the unit circle for which $μ(C)=π/2$ whenever $C$ is a shorter arc of the unit circle connecting two Birkhoff orthogonal points. We present a characterizatio…
▽ More
Let $x$ and $y$ be two unit vectors in a normed plane $\mathbb{R}^2$. We say that $x$ is Birkhoff orthogonal to $y$ if the line through $x$ in the direction $y$ supports the unit disc. A B-measure (Fankhänel 2011) is an angular measure $μ$ on the unit circle for which $μ(C)=π/2$ whenever $C$ is a shorter arc of the unit circle connecting two Birkhoff orthogonal points. We present a characterization of the normed planes that admit a B-measure.
△ Less
Submitted 17 September, 2019;
originally announced September 2019.
-
Colorful Helly-type Theorems for the Volume of Intersections of Convex Bodies
Authors:
Gábor Damásdi,
Viktória Földvári,
Márton Naszódi
Abstract:
We prove the following Helly-type result. Let $\mathcal{C}_1,\dots,\mathcal{C}_{3d}$ be finite families of convex bodies in $\mathbb{R}^d$. Assume that for any colorful selection of $2d$ sets, $C_{i_k}\in \mathcal{C}_{i_k}$ for each $1\leq k\leq 2d$ with $1\leq i_1<\dots<i_{2d}\leq 3d$, the intersection $\bigcap\limits_{k=1}^{2d} C_{i_k}$ is of volume at least 1. Then there is an…
▽ More
We prove the following Helly-type result. Let $\mathcal{C}_1,\dots,\mathcal{C}_{3d}$ be finite families of convex bodies in $\mathbb{R}^d$. Assume that for any colorful selection of $2d$ sets, $C_{i_k}\in \mathcal{C}_{i_k}$ for each $1\leq k\leq 2d$ with $1\leq i_1<\dots<i_{2d}\leq 3d$, the intersection $\bigcap\limits_{k=1}^{2d} C_{i_k}$ is of volume at least 1. Then there is an $1\leq i \leq 3d$ such that $\bigcap\limits_{C\in \mathcal{C}_i} C$ is of volume at least $d^{-O(d^2)}$.
△ Less
Submitted 27 July, 2020; v1 submitted 11 September, 2019;
originally announced September 2019.
-
Covering convex bodies and the Closest Vector Problem
Authors:
Márton Naszódi,
Moritz Venzin
Abstract:
We present algorithms for the $(1+ε)$-approximate version of the closest vector problem for certain norms. The currently fastest algorithm (Dadush and Kun 2016) for general norms has running time of $2^{O(n)} (1/ε)^n$. We improve this substantially in the following two cases. For $\ell_p$-norms with $p>2$ (resp. $p \in [1,2]$) fixed, we present an algorithm with a running time of…
▽ More
We present algorithms for the $(1+ε)$-approximate version of the closest vector problem for certain norms. The currently fastest algorithm (Dadush and Kun 2016) for general norms has running time of $2^{O(n)} (1/ε)^n$. We improve this substantially in the following two cases. For $\ell_p$-norms with $p>2$ (resp. $p \in [1,2]$) fixed, we present an algorithm with a running time of $2^{O(n)} (1/ε)^{n/2}$ (resp. $2^{O(n)} (1/ε)^{n/p}$). This result is based on a geometric covering problem, that was introduced in the context of CVP by Eisenbrand et al.: How many convex bodies are needed to cover the ball of the norm such that, if scaled by two around their centroids, each one is contained in the $(1+ε)$-scaled homothet of the norm ball? We provide upper bounds for this problem by exploiting the \emph{modulus of smoothness} of the $\ell_p$-balls. Applying a covering scheme, we can boost any constant approximation algorithm for CVP to a $(1+ε)$-approximation algorithm with the improved run time, either using a straightforward sampling routine or using the deterministic algorithm of Dadush for the construction of an epsilon net. The space requirement only depends on the constant approximation CVP solver used. Furthermore, we generalise the result of Eisenbrand et al. for the $\ell_\infty$-norm. For centrally symmetric polytopes (resp. zonotopes) with $O(n)$ facets (resp. generated by $O(n)$ line segments), we provide a deterministic $O(\log_2(1/ε))^{O(n)}$ time algorithm. Finally, we establish a connection between the \emph{modulus of smoothness} and \emph{lattice sparsification}. Using the enumeration and sparsification tools developped by Dadush, Kun, Peikert and Vempala, this leads to a simple alternative to the boosting procedure for CVP under $\ell_p$-norms. This connection might be of independent interest.
△ Less
Submitted 1 November, 2021; v1 submitted 22 August, 2019;
originally announced August 2019.
-
Perron and Frobenius meet Carathéodory
Authors:
Márton Naszódi,
Alexandr Polyanskii
Abstract:
We present a new approach of proving certain Carathéodory-type theorems using the Perron-Frobenius Theorem, a classical result in matrix theory describing the largest eigenvalue of a matrix with positive entries. One of the problems left open in this note is whether our approach may be extended to prove similar results in the area, in particular the Colourful Carathéodory Theorem.
We present a new approach of proving certain Carathéodory-type theorems using the Perron-Frobenius Theorem, a classical result in matrix theory describing the largest eigenvalue of a matrix with positive entries. One of the problems left open in this note is whether our approach may be extended to prove similar results in the area, in particular the Colourful Carathéodory Theorem.
△ Less
Submitted 2 January, 2019;
originally announced January 2019.
-
The Alon--Milman Theorem for non-symmetric bodies
Authors:
Marton Naszodi
Abstract:
A classical theorem of Alon and Milman states that any $d$ dimensional centrally symmetric convex body has a projection of dimension $m\geq e^{c\sqrt{\ln{d}}}$ which is either close to the $m$-dimensional Euclidean ball or to the $m$-dimensional cross-polytope. We extended this result to non-symmetric convex bodies.
A classical theorem of Alon and Milman states that any $d$ dimensional centrally symmetric convex body has a projection of dimension $m\geq e^{c\sqrt{\ln{d}}}$ which is either close to the $m$-dimensional Euclidean ball or to the $m$-dimensional cross-polytope. We extended this result to non-symmetric convex bodies.
△ Less
Submitted 7 May, 2018;
originally announced May 2018.
-
On the volume bound in the Dvoretzky--Rogers lemma
Authors:
Ferenc Fodor,
Márton Naszódi,
Tamás Zarnócz
Abstract:
The classical Dvoretzky--Rogers lemma provides a deterministic algorithm by which, from any set of isotropic vectors in Euclidean $d$-space, one can select a subset of $d$ vectors whose determinant is not too small. Subsequently, Pelczyński and Szarek improved this lower bound by a factor depending on the dimension and the number of vectors.
Pivovarov, on the other hand, determined the expectati…
▽ More
The classical Dvoretzky--Rogers lemma provides a deterministic algorithm by which, from any set of isotropic vectors in Euclidean $d$-space, one can select a subset of $d$ vectors whose determinant is not too small. Subsequently, Pelczyński and Szarek improved this lower bound by a factor depending on the dimension and the number of vectors.
Pivovarov, on the other hand, determined the expectation of the square of the volume of parallelotopes spanned by $d$ independent random vectors in $\mathbb{R}^d$, each one chosen according to an isotropic measure. We extend Pivovarov's result to a class of more general probability measures, which yields that the volume bound in the Dvoretzky--Rogers lemma is, in fact, equal to the expectation of the squared volume of random parallelotopes spanned by isotropic vectors. This allows us to give a probabilistic proof of the improvement of Pelczyński and Szarek, and provide a lower bound for the probability that the volume of such a random parallelotope is large.
△ Less
Submitted 21 May, 2019; v1 submitted 10 April, 2018;
originally announced April 2018.
-
On contact graphs of totally separable packings in low dimensions
Authors:
Károly Bezdek,
Márton Naszódi
Abstract:
The contact graph of a packing of translates of a convex body in Euclidean $d$-space $\mathbb E^d$ is the simple graph whose vertices are the members of the packing, and whose two vertices are connected by an edge if the two members touch each other. A packing of translates of a convex body is called totally separable, if any two members can be separated by a hyperplane in $\mathbb E^d$ disjoint f…
▽ More
The contact graph of a packing of translates of a convex body in Euclidean $d$-space $\mathbb E^d$ is the simple graph whose vertices are the members of the packing, and whose two vertices are connected by an edge if the two members touch each other. A packing of translates of a convex body is called totally separable, if any two members can be separated by a hyperplane in $\mathbb E^d$ disjoint from the interior of every packing element. We give upper bounds on the maximum vertex degree (called separable Hadwiger number) and the maximum number of edges (called maximum separable contact number) of the contact graph of a totally separable packing of $n$ translates of an arbitrary smooth convex body in $\mathbb E^d$ with $d=2,3,4$. In the proofs, linear algebraic and convexity methods are combined with volumetric and packing density estimates based on the underlying isoperimetric (resp., reverse isoperimetric) inequality.
△ Less
Submitted 24 March, 2018;
originally announced March 2018.
-
Arrangements of homothets of a convex body II
Authors:
Márton Naszódi,
Konrad J. Swanepoel
Abstract:
A family of homothets of an o-symmetric convex body K in d-dimensional Euclidean space is called a Minkowski arrangement if no homothet contains the center of any other homothet in its interior. We show that any pairwise intersecting Minkowski arrangement of a d-dimensional convex body has at most $2\cdot 3^d$ members. This improves a result of Polyanskii (arXiv:1610.04400). Using similar ideas, w…
▽ More
A family of homothets of an o-symmetric convex body K in d-dimensional Euclidean space is called a Minkowski arrangement if no homothet contains the center of any other homothet in its interior. We show that any pairwise intersecting Minkowski arrangement of a d-dimensional convex body has at most $2\cdot 3^d$ members. This improves a result of Polyanskii (arXiv:1610.04400). Using similar ideas, we also give a proof the following result of Polyanskii: Let $K_1,\dots,K_n$ be a sequence of homothets of the o-symmetric convex body $K$, such that for any $i<j$, the center of $K_j$ lies on the boundary of $K_i$. Then $n\leq O(3^d d)$.
△ Less
Submitted 25 May, 2017;
originally announced May 2017.
-
Approximating a convex body by a polytope using the epsilon-net theorem
Authors:
Márton Naszódi
Abstract:
Giving a joint generalization of a result of Brazitikos, Chasapis and Hioni and results of Giannopoulos and Milman, we prove that roughly $\left\lceil \frac{d}{(1-\vartheta)^d}\ln\frac{1}{(1-\vartheta)^d} \right\rceil$ points chosen uniformly and independently from a centered convex body $K$ in ${\mathbb R}^d$ yield a polytope $P$ for which $\vartheta K\subseteq P\subseteq K$ holds with large prob…
▽ More
Giving a joint generalization of a result of Brazitikos, Chasapis and Hioni and results of Giannopoulos and Milman, we prove that roughly $\left\lceil \frac{d}{(1-\vartheta)^d}\ln\frac{1}{(1-\vartheta)^d} \right\rceil$ points chosen uniformly and independently from a centered convex body $K$ in ${\mathbb R}^d$ yield a polytope $P$ for which $\vartheta K\subseteq P\subseteq K$ holds with large probability. The proof is simple, and relies on a combinatorial tool, the $\varepsilon$-net theorem.
△ Less
Submitted 22 May, 2017;
originally announced May 2017.
-
Fine approximation of convex bodies by polytopes
Authors:
Márton Naszódi,
Fedor Nazarov,
Dmitry Ryabogin
Abstract:
We prove that for every convex body $K$ with the center of mass at the origin and every $\varepsilon\in \left(0,\frac{1}{2}\right)$, there exists a convex polytope $P$ with at most $e^{O(d)}\varepsilon^{-\frac{d-1}{2}}$ vertices such that $(1-\varepsilon)K\subset P\subset K$.
We prove that for every convex body $K$ with the center of mass at the origin and every $\varepsilon\in \left(0,\frac{1}{2}\right)$, there exists a convex polytope $P$ with at most $e^{O(d)}\varepsilon^{-\frac{d-1}{2}}$ vertices such that $(1-\varepsilon)K\subset P\subset K$.
△ Less
Submitted 4 May, 2017;
originally announced May 2017.
-
On the Existence of Ordinary Triangles
Authors:
Radoslav Fulek,
Hossein Nassajian Mojarrad,
Márton Naszódi,
József Solymosi,
Sebastian U. Stich,
May Szedlák
Abstract:
Let $P$ be a finite point set in the plane. A \emph{$c$-ordinary triangle} in $P$ is a subset of $P$ consisting of three non-collinear points such that each of the three lines determined by the three points contains at most $c$ points of $P$. Motivated by a question of Erdős, and answering a question of de Zeeuw, we prove that there exists a constant $c>0$ such that $P$ contains a $c$-ordinary tri…
▽ More
Let $P$ be a finite point set in the plane. A \emph{$c$-ordinary triangle} in $P$ is a subset of $P$ consisting of three non-collinear points such that each of the three lines determined by the three points contains at most $c$ points of $P$. Motivated by a question of Erdős, and answering a question of de Zeeuw, we prove that there exists a constant $c>0$ such that $P$ contains a $c$-ordinary triangle, provided that $P$ is not contained in the union of two lines. Furthermore, the number of $c$-ordinary triangles in $P$ is $Ω(|P|)$.
△ Less
Submitted 10 June, 2017; v1 submitted 27 January, 2017;
originally announced January 2017.
-
The Kneser--Poulsen conjecture for special contractions
Authors:
Károly Bezdek,
Márton Naszódi
Abstract:
The Kneser--Poulsen Conjecture states that if the centers of a family of $N$ unit balls in ${\mathbb E}^d$ is contracted, then the volume of the union (resp., intersection) does not increase (resp., decrease). We consider two types of special contractions.
First, a \emph{uniform contraction} is a contraction where all the pairwise distances in the first set of centers are larger than all the pai…
▽ More
The Kneser--Poulsen Conjecture states that if the centers of a family of $N$ unit balls in ${\mathbb E}^d$ is contracted, then the volume of the union (resp., intersection) does not increase (resp., decrease). We consider two types of special contractions.
First, a \emph{uniform contraction} is a contraction where all the pairwise distances in the first set of centers are larger than all the pairwise distances in the second set of centers. We obtain that a uniform contraction of the centers does not decrease the volume of the intersection of the balls, provided that $N\geq(1+\sqrt{2})^d$. Our result extends to intrinsic volumes. We prove a similar result concerning the volume of the union.
Second, a \emph{strong contraction} is a contraction in each coordinate. We show that the conjecture holds for strong contractions. In fact, the result extends to arbitrary unconditional bodies in the place of balls.
△ Less
Submitted 20 April, 2017; v1 submitted 18 January, 2017;
originally announced January 2017.
-
Bounding a global red-blue proportion using local conditions
Authors:
Márton Naszódi,
Leonardo Martínez-Sandoval,
Shakhar Smorodinsky
Abstract:
We study the following local-to-global phenomenon: Let $B$ and $R$ be two finite sets of (blue and red) points in the Euclidean plane $\mathbb{R}^2$. Suppose that in each "neighborhood" of a red point, the number of blue points is at least as large as the number of red points. We show that in this case the total number of blue points is at least one fifth of the total number of red points. We also…
▽ More
We study the following local-to-global phenomenon: Let $B$ and $R$ be two finite sets of (blue and red) points in the Euclidean plane $\mathbb{R}^2$. Suppose that in each "neighborhood" of a red point, the number of blue points is at least as large as the number of red points. We show that in this case the total number of blue points is at least one fifth of the total number of red points. We also show that this bound is optimal and we generalize the result to arbitrary dimension and arbitrary norm using results from Minkowski arrangements.
△ Less
Submitted 20 April, 2017; v1 submitted 9 January, 2017;
originally announced January 2017.
-
Arrangements of homothets of a convex body
Authors:
Márton Naszódi,
János Pach,
Konrad Swanepoel
Abstract:
Answering a question of Füredi and Loeb (1994), we show that the maximum number of pairwise intersecting homothets of a $d$-dimensional centrally symmetric convex body $K$, none of which contains the center of another in its interior, is at most $O(3^d d\log d)$. If $K$ is not necessarily centrally symmetric and the role of its center is played by its centroid, then the above bound can be replaced…
▽ More
Answering a question of Füredi and Loeb (1994), we show that the maximum number of pairwise intersecting homothets of a $d$-dimensional centrally symmetric convex body $K$, none of which contains the center of another in its interior, is at most $O(3^d d\log d)$. If $K$ is not necessarily centrally symmetric and the role of its center is played by its centroid, then the above bound can be replaced by $O(3^d\binom{2d}{d}d\log d)$. We establish analogous results for the case where the center is defined as an arbitrary point in the interior of $K$. We also show that in the latter case, one can always find families of at least $Ω((2/\sqrt{3})^d)$ translates of $K$ with the above property.
△ Less
Submitted 5 June, 2017; v1 submitted 16 August, 2016;
originally announced August 2016.
-
Approximating set multi-covers
Authors:
Márton Naszódi,
Alexandr Polyanskii
Abstract:
Johnson and Lovász and Stein proved independently that any hypergraph satisfies $τ\leq (1+\ln Δ)τ^{\ast}$, where $τ$ is the transversal number, $τ^{\ast}$ is its fractional version, and $Δ$ denotes the maximum degree. We prove $τ_f\leq c τ^{\ast}\max\{\ln Δ, f\}$ for the $f$-fold transversal number $τ_f$. Similarly to Johnson, Lovász and Stein, we also show that this bound can be achieved non-prob…
▽ More
Johnson and Lovász and Stein proved independently that any hypergraph satisfies $τ\leq (1+\ln Δ)τ^{\ast}$, where $τ$ is the transversal number, $τ^{\ast}$ is its fractional version, and $Δ$ denotes the maximum degree. We prove $τ_f\leq c τ^{\ast}\max\{\ln Δ, f\}$ for the $f$-fold transversal number $τ_f$. Similarly to Johnson, Lovász and Stein, we also show that this bound can be achieved non-probabilistically, using a greedy algorithm.
As a combinatorial application, we prove an estimate on how fast $τ_f/f$ converges to $τ^{\ast}$. As a geometric application, we obtain an upper bound on the minimal density of an $f$-fold covering of the $d$-dimensional Euclidean space by translates of any convex body.
△ Less
Submitted 8 September, 2017; v1 submitted 3 August, 2016;
originally announced August 2016.
-
Coverings: variations on a result of Rogers and on the Epsilon-net theorem of Haussler and Welzl
Authors:
Nóra Frankl,
János Nagy,
Márton Naszódi
Abstract:
We consider four problems. Rogers proved that for any convex body $K$, we can cover ${\mathbb R}^d$ by translates of $K$ of density very roughly $d\ln d$. First, we extend this result by showing that, if we are given a family of positive homothets of $K$ of infinite total volume, then we can find appropriate translation vectors for each given homothet to cover ${\mathbb R}^d$ with the same (or, in…
▽ More
We consider four problems. Rogers proved that for any convex body $K$, we can cover ${\mathbb R}^d$ by translates of $K$ of density very roughly $d\ln d$. First, we extend this result by showing that, if we are given a family of positive homothets of $K$ of infinite total volume, then we can find appropriate translation vectors for each given homothet to cover ${\mathbb R}^d$ with the same (or, in certain cases, smaller) density.
Second, we extend Rogers' result to multiple coverings of space by translates of a convex body: we give a non-trivial upper bound on the density of the most economical covering where each point is covered by at least a certain number of translates.
Third, we show that for any sufficiently large $n$, the sphere ${\mathbb S}^2$ can be covered by $n$ strips of width $20n/\ln n$, where no point is covered too many times.
Finally, we give another proof of the previous result based on a combinatorial observation: an extension of the Epsilon-net Theorem of Haussler and Welzl. We show that for a hypergraph of bounded Vapnik--Chervonenkis dimension, in which each edge is of a certain measure, there is a not-too large transversal set which does not intersect any edge too many times.
△ Less
Submitted 8 March, 2017; v1 submitted 11 July, 2016;
originally announced July 2016.
-
Sphere-of-influence graphs in normed spaces
Authors:
Márton Naszódi,
János Pach,
Konrad Swanepoel
Abstract:
We show that any $k$-th closed sphere-of-influence graph in a $d$-dimensional normed space has a vertex of degree less than~$5^d k$, thus obtaining a common generalization of results of Füredi and Loeb (1994) and Guibas, Pach and Sharir (1994).
We show that any $k$-th closed sphere-of-influence graph in a $d$-dimensional normed space has a vertex of degree less than~$5^d k$, thus obtaining a common generalization of results of Füredi and Loeb (1994) and Guibas, Pach and Sharir (1994).
△ Less
Submitted 6 May, 2016;
originally announced May 2016.
-
Flavors of Translative Coverings
Authors:
Márton Naszódi
Abstract:
We survey results on the problem of covering the space ${\mathbb R}^n$, or a convex body in it, by translates of a convex body. Our main goal is to present a diverse set of methods. A theorem of Rogers is a central result, according to which, for any convex body $K$, the space ${\mathbb R}^n$ can be covered by translates of $K$ with density around $n\ln n$. We outline four approaches to proving th…
▽ More
We survey results on the problem of covering the space ${\mathbb R}^n$, or a convex body in it, by translates of a convex body. Our main goal is to present a diverse set of methods. A theorem of Rogers is a central result, according to which, for any convex body $K$, the space ${\mathbb R}^n$ can be covered by translates of $K$ with density around $n\ln n$. We outline four approaches to proving this result. Then, we discuss the illumination conjecture, decomposability of multiple coverings, Sudakov's inequality and some problems concerning coverings by sequences of sets.
△ Less
Submitted 14 March, 2016;
originally announced March 2016.
-
A Spiky Ball
Authors:
Márton Naszódi
Abstract:
The Illumination Problem may be phrased as the problem of covering a convex body in Euclidean $n$-space by a minimum number of translates of its interior. By a probabilistic argument, we show that, arbitrarily close to the Euclidean ball, there is a centrally symmetric convex body of illumination number exponentially large in the dimension.
The Illumination Problem may be phrased as the problem of covering a convex body in Euclidean $n$-space by a minimum number of translates of its interior. By a probabilistic argument, we show that, arbitrarily close to the Euclidean ball, there is a centrally symmetric convex body of illumination number exponentially large in the dimension.
△ Less
Submitted 3 October, 2015;
originally announced October 2015.
-
Separation with restricted families of sets
Authors:
Zsolt Lángi,
Márton Naszódi,
János Pach,
Gábor Tardos,
Géza Tóth
Abstract:
Given a finite $n$-element set $X$, a family of subsets ${\mathcal F}\subset 2^X$ is said to separate $X$ if any two elements of $X$ are separated by at least one member of $\mathcal F$. It is shown that if $|\mathcal F|>2^{n-1}$, then one can select $\lceil\log n\rceil+1$ members of $\mathcal F$ that separate $X$. If $|\mathcal F|\ge α2^n$ for some $0<α<1/2$, then…
▽ More
Given a finite $n$-element set $X$, a family of subsets ${\mathcal F}\subset 2^X$ is said to separate $X$ if any two elements of $X$ are separated by at least one member of $\mathcal F$. It is shown that if $|\mathcal F|>2^{n-1}$, then one can select $\lceil\log n\rceil+1$ members of $\mathcal F$ that separate $X$. If $|\mathcal F|\ge α2^n$ for some $0<α<1/2$, then $\log n+O(\log\frac1α\log\log\frac1α)$ members of $\mathcal F$ are always sufficient to separate all pairs of elements of $X$ that are separated by some member of $\mathcal F$. This result is generalized to simultaneous separation in several sets. Analogous questions on separation by families of bounded Vapnik-Chervonenkis dimension and separation of point sets in ${\mathbb{R}}^d$ by convex sets are also considered.
△ Less
Submitted 22 August, 2015;
originally announced August 2015.
-
Proof of a conjecture of Bárány, Katchalski and Pach
Authors:
Marton Naszodi
Abstract:
Bárány, Katchalski and Pach proved the following quantitative form of Helly's theorem. If the intersection of a family of convex sets in $\mathbb{R}^d$ is of volume one, then the intersection of some subfamily of at most $2d$ members is of volume at most some constant $v(d)$. They proved the bound $v(d)\leq d^{2d^2}$, and conjectured $v(d)\leq d^{cd}$. We confirm it.
Bárány, Katchalski and Pach proved the following quantitative form of Helly's theorem. If the intersection of a family of convex sets in $\mathbb{R}^d$ is of volume one, then the intersection of some subfamily of at most $2d$ members is of volume at most some constant $v(d)$. They proved the bound $v(d)\leq d^{2d^2}$, and conjectured $v(d)\leq d^{cd}$. We confirm it.
△ Less
Submitted 25 March, 2015;
originally announced March 2015.
-
On some covering problems in geometry
Authors:
Márton Naszódi
Abstract:
We present a method to obtain upper bounds on covering numbers. As applications of this method, we reprove and generalize results of Rogers on economically covering Euclidean $n$-space with translates of a convex body, or more generally, any measurable set. We obtain a bound for the density of covering the $n$-sphere by rotated copies of a spherically convex set (or, any measurable set). Using the…
▽ More
We present a method to obtain upper bounds on covering numbers. As applications of this method, we reprove and generalize results of Rogers on economically covering Euclidean $n$-space with translates of a convex body, or more generally, any measurable set. We obtain a bound for the density of covering the $n$-sphere by rotated copies of a spherically convex set (or, any measurable set). Using the same method, we sharpen an estimate by Artstein--Avidan and Slomka on covering a bounded set by translates of another.
The main novelty of our method is that it is not probabilistic. The key idea, which makes our proofs rather simple and uniform through different settings, is an algorithmic result of Lovász and Stein.
△ Less
Submitted 9 October, 2015; v1 submitted 7 April, 2014;
originally announced April 2014.
-
Spindle Starshaped Sets
Authors:
Karoly Bezdek,
Marton Naszodi
Abstract:
In this paper, spindle starshaped sets are introduced and investigated, which apart from normalization form an everywhere dense subfamily within the family of starshaped sets. We focus on proving spindle starshaped analogues of recent theorems of Bobylev, Breen, Toranzos, and Zamfirescu on starshaped sets. Finally, we consider the problem of guarding treasures in an art gallery (in the traditional…
▽ More
In this paper, spindle starshaped sets are introduced and investigated, which apart from normalization form an everywhere dense subfamily within the family of starshaped sets. We focus on proving spindle starshaped analogues of recent theorems of Bobylev, Breen, Toranzos, and Zamfirescu on starshaped sets. Finally, we consider the problem of guarding treasures in an art gallery (in the traditional linear way as well as via spindles).
△ Less
Submitted 31 January, 2014;
originally announced January 2014.
-
On multiple Borsuk numbers in normed spaces
Authors:
Zsolt Lángi,
Márton Naszódi
Abstract:
Hujter and Lángi introduced the $k$-fold Borsuk number of a set $S$ in Euclidean $n$-space of diameter $d > 0$ as the smallest cardinality of a family $\mathcal F$ of subsets of $S$, of diameters strictly less than $d$, such that every point of $S$ belongs to at least $k$ members of $\mathcal F$.
We investigate whether a $k$-fold Borsuk covering of a set $S$ in a finite dimensional real normed s…
▽ More
Hujter and Lángi introduced the $k$-fold Borsuk number of a set $S$ in Euclidean $n$-space of diameter $d > 0$ as the smallest cardinality of a family $\mathcal F$ of subsets of $S$, of diameters strictly less than $d$, such that every point of $S$ belongs to at least $k$ members of $\mathcal F$.
We investigate whether a $k$-fold Borsuk covering of a set $S$ in a finite dimensional real normed space can be extended to a completion of $S$. Furthermore, we determine the $k$-fold Borsuk number of sets in not angled normed planes, and give a partial characterization for sets in angled planes.
△ Less
Submitted 26 November, 2013; v1 submitted 13 November, 2013;
originally announced November 2013.
-
Push forward measures and concentration phenomena
Authors:
C. Hugo JimÉnez,
MÁrton NaszÓdi,
Rafael Villa
Abstract:
In this note we study how a concentration phenomenon can be transmitted from one measure $μ$ to a push-forward measure $ν$. In the first part, we push forward $μ$ by $π:supp(μ)\rightarrow \Ren$, where $πx=\frac{x}{\norm{x}_L}\norm{x}_K$, and obtain a concentration inequality in terms of the medians of the given norms (with respect to $μ$) and the Banach-Mazur distance between them. This approach i…
▽ More
In this note we study how a concentration phenomenon can be transmitted from one measure $μ$ to a push-forward measure $ν$. In the first part, we push forward $μ$ by $π:supp(μ)\rightarrow \Ren$, where $πx=\frac{x}{\norm{x}_L}\norm{x}_K$, and obtain a concentration inequality in terms of the medians of the given norms (with respect to $μ$) and the Banach-Mazur distance between them. This approach is finer than simply bounding the concentration of the push forward measure in terms of the Banach-Mazur distance between $K$ and $L$. As a corollary we show that any normed probability space with good concentration is far from any high dimensional subspace of the cube. In the second part, two measures $μ$ and $ν$ are given, both related to the norm $\norm{\cdot}_L$, obtaining a concentration inequality in which it is involved the Banach-Mazur distance between $K$ and $L$ and the Lipschitz constant of the map that pushes forward $μ$ into $ν$. As an application, we obtain a concentration inequality for the cross polytope with respect to the normalized Lebesgue measure and the $\ell_1$ norm.
△ Less
Submitted 20 December, 2011;
originally announced December 2011.
-
Ball and Spindle Convexity with respect to a Convex Body
Authors:
Zsolt Lángi,
Márton Naszódi,
István Talata
Abstract:
Let $C\subset {\mathbb R}^n$ be a convex body. We introduce two notions of convexity associated to C. A set $K$ is $C$-ball convex if it is the intersection of translates of $C$, or it is either $\emptyset$, or ${\mathbb R}^n$. The $C$-ball convex hull of two points is called a $C$-spindle. $K$ is $C$-spindle convex if it contains the $C$-spindle of any pair of its points. We investigate how some…
▽ More
Let $C\subset {\mathbb R}^n$ be a convex body. We introduce two notions of convexity associated to C. A set $K$ is $C$-ball convex if it is the intersection of translates of $C$, or it is either $\emptyset$, or ${\mathbb R}^n$. The $C$-ball convex hull of two points is called a $C$-spindle. $K$ is $C$-spindle convex if it contains the $C$-spindle of any pair of its points. We investigate how some fundamental properties of conventional convex sets can be adapted to $C$-spindle convex and $C$-ball convex sets. We study separation properties and Carathéodory numbers of these two convexity structures. We investigate the basic properties of arc-distance, a quantity defined by a centrally symmetric planar disc $C$, which is the length of an arc of a translate of $C$, measured in the $C$-norm, that connects two points. Then we characterize those $n$-dimensional convex bodies $C$ for which every $C$-ball convex set is the $C$-ball convex hull of finitely many points. Finally, we obtain a stability result concerning covering numbers of some $C$-ball convex sets, and diametrically maximal sets in $n$-dimensional Minkowski spaces.
△ Less
Submitted 5 September, 2012; v1 submitted 21 October, 2011;
originally announced October 2011.
-
Ball-Polyhedra
Authors:
Karoly Bezdek,
Zsolt Langi,
Marton Naszodi,
Peter Papez
Abstract:
We study two notions. One is that of spindle convexity. A set of circumradius not greater than one is spindle convex if, for any pair of its points, it contains every short circular arc of radius at least one, connecting them. The other objects of study are bodies obtained as intersections of finitely many balls of the same radius, called ball-polyhedra. We find analogues of several results on con…
▽ More
We study two notions. One is that of spindle convexity. A set of circumradius not greater than one is spindle convex if, for any pair of its points, it contains every short circular arc of radius at least one, connecting them. The other objects of study are bodies obtained as intersections of finitely many balls of the same radius, called ball-polyhedra. We find analogues of several results on convex polyhedral sets for ball-polyhedra.
△ Less
Submitted 19 October, 2011;
originally announced October 2011.
-
Rigid ball-polyhedra in Euclidean 3-space
Authors:
Karoly Bezdek,
Marton Naszodi
Abstract:
A ball-polyhedron is the intersection with non-empty interior of finitely many (closed) unit balls in Euclidean 3-space. One can represent the boundary of a ball-polyhedron as the union of vertices, edges, and faces defined in a rather natural way. A ball-polyhedron is called a simple ball-polyhedron if at every vertex exactly three edges meet. Moreover, a ball-polyhedron is called a standard ball…
▽ More
A ball-polyhedron is the intersection with non-empty interior of finitely many (closed) unit balls in Euclidean 3-space. One can represent the boundary of a ball-polyhedron as the union of vertices, edges, and faces defined in a rather natural way. A ball-polyhedron is called a simple ball-polyhedron if at every vertex exactly three edges meet. Moreover, a ball-polyhedron is called a standard ball-polyhedron if its vertex-edge-face structure is a lattice (with respect to containment). To each edge of a ball-polyhedron one can assign an inner dihedral angle and say that the given ball-polyhedron is locally rigid with respect to its inner dihedral angles if the vertex-edge-face structure of the ball-polyhedron and its inner dihedral angles determine the ball-polyhedron up to congruence locally. The main result of this paper is a Cauchy-type rigidity theorem for ball-polyhedra stating that any simple and standard ball-polyhedron is locally rigid with respect to its inner dihedral angles.
△ Less
Submitted 21 October, 2012; v1 submitted 11 October, 2011;
originally announced October 2011.
-
On the Transversal Number and VC-Dimension of Families of Positive Homothets of a Convex Body
Authors:
Márton Naszódi,
Steven Taschuk
Abstract:
Let F be a family of positive homothets (or translates) of a given convex body K in R^n. We investigate two approaches to measuring the complexity of F. First, we find an upper bound on the transversal number $τ(F)$ of F in terms of $n$ and the independence number $ν(F)$. This question is motivated by a problem of Grünbaum. Our bound $τ(F)\le 2^n \binom{2n}{n} (n \log n + \log\log n + 5n) ν(F)$…
▽ More
Let F be a family of positive homothets (or translates) of a given convex body K in R^n. We investigate two approaches to measuring the complexity of F. First, we find an upper bound on the transversal number $τ(F)$ of F in terms of $n$ and the independence number $ν(F)$. This question is motivated by a problem of Grünbaum. Our bound $τ(F)\le 2^n \binom{2n}{n} (n \log n + \log\log n + 5n) ν(F)$ is exponential in n, an improvement from the previously known bound of Kim, Nakprasit, Pelsmajer and Skokan, which was of order n^n. By a lower bound, we show that the right order of magnitude is exponential in n.
Next, we consider another measure of complexity, the Vapnik--Chervonenkis dimension of F. We prove that this quantity is at most 3 if n=2 and is infinite for some F if n>2. This settles a conjecture of Günbaum: Show that the maximum dual VC-dimension of a family of positive homothets of a given convex body K in R^n is n+1. This conjecture was disproved by Naiman and Wynn, who constructed a counterexample of dual VC-dimension $\lfloor 3n/2\rfloor$. Our result implies that no upper bound exists.
△ Less
Submitted 8 April, 2010; v1 submitted 29 July, 2009;
originally announced July 2009.
-
On the Constant of Homothety for Covering a Convex Set with Its Smaller Copies
Authors:
Marton Naszodi
Abstract:
Let $H_d$ denote the smallest integer $n$ such that for every convex body $K$ in $\Re^d$ there is a $0<λ< 1$ such that $K$ is covered by $n$ translates of $λK$. In the book \emph{Research problems in discrete geometry.} by Brass, Moser and Pach, the following problem was posed: Is there a $0<λ_d<1$ depending on $d$ only with the property that every convex body $K$ in $\Re^d$ is covered by $H_d$…
▽ More
Let $H_d$ denote the smallest integer $n$ such that for every convex body $K$ in $\Re^d$ there is a $0<λ< 1$ such that $K$ is covered by $n$ translates of $λK$. In the book \emph{Research problems in discrete geometry.} by Brass, Moser and Pach, the following problem was posed: Is there a $0<λ_d<1$ depending on $d$ only with the property that every convex body $K$ in $\Re^d$ is covered by $H_d$ translates of $λ_d K$? We prove the affirmative answer to the question and hence show that the Gohberg--Markus--Boltyanski--Hadwiger Conjecture (according to which $H_d\leq 2^d$) holds if, and only if, a formally stronger version of it holds.
△ Less
Submitted 17 January, 2009;
originally announced January 2009.
