Source author record

Márton Naszódi

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

14works
4topics
4close collaborators

Published work

14 publications

preprint2021arXiv

Computing the covering radius of a polytope with an application to lonely runners

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.

preprint2020arXiv

Approximation of the average of some random matrices

Rudelson's theorem states that if for a set of unit vectors uiu_i and positive weights cic_i, we have that ∑ciui⊗ui\sum c_i u_i\otimes u_i is the identity operator II on Rd{\mathbb R}^d, then the sum of a random sample of Cdln⁡dCd\ln d of these diadic products is close to II. The ln⁡d\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\ln d term can be removed, if one wants to show the existence of a good approximation of II 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 CdCd 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 d2d^2 to approximate the identity.

preprint2020arXiv

Colorful Helly-type Theorems for the Volume of Intersections of Convex Bodies

We prove the following Helly-type result. Let C1,…,C3d\mathcal{C}_1,\dots,\mathcal{C}_{3d} be finite families of convex bodies in Rd\mathbb{R}^d. Assume that for any colorful selection of 2d2d sets, Cik∈CikC_{i_k}\in \mathcal{C}_{i_k} for each 1≤k≤2d1\leq k\leq 2d with 1≤i1<⋯<i2d≤3d1\leq i_1<\dots<i_{2d}\leq 3d, the intersection ⋂k=12dCik\bigcap\limits_{k=1}^{2d} C_{i_k} is of volume at least 1. Then there is an 1≤i≤3d1\leq i \leq 3d such that ⋂C∈CiC\bigcap\limits_{C\in \mathcal{C}_i} C is of volume at least d−O(d2)d^{-O(d^2)}.

preprint2017arXiv

Arrangements of homothets of a convex body II

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⋅3d2\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 K1,…,KnK_1,\dots,K_n be a sequence of homothets of the o-symmetric convex body KK, such that for any i<ji<j, the center of KjK_j lies on the boundary of KiK_i. Then n≤O(3dd)n\leq O(3^d d).

preprint2016arXiv

Flavors of Translative Coverings

We survey results on the problem of covering the space Rn{\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 KK, the space Rn{\mathbb R}^n can be covered by translates of KK with density around nln⁡nn\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.

preprint2015arXiv

On some covering problems in geometry

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 nn-space with translates of a convex body, or more generally, any measurable set. We obtain a bound for the density of covering the nn-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.

preprint2015arXiv

Separation with restricted families of sets

Given a finite nn-element set XX, a family of subsets F⊂2X{\mathcal F}\subset 2^X is said to separate XX if any two elements of XX are separated by at least one member of F\mathcal F. It is shown that if ∣F∣>2n−1|\mathcal F|>2^{n-1}, then one can select ⌈log⁡n⌉+1\lceil\log n\rceil+1 members of F\mathcal F that separate XX. If ∣F∣≥α2n|\mathcal F|\ge α2^n for some 0<α<1/20<α<1/2, then log⁡n+O(log⁡1αlog⁡log⁡1α)\log n+O(\log\frac1α\log\log\frac1α) members of F\mathcal F are always sufficient to separate all pairs of elements of XX that are separated by some member of F\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 Rd{\mathbb{R}}^d by convex sets are also considered.

preprint2013arXiv

On multiple Borsuk numbers in normed spaces

Hujter and Lángi introduced the kk-fold Borsuk number of a set SS in Euclidean nn-space of diameter d>0d > 0 as the smallest cardinality of a family F\mathcal F of subsets of SS, of diameters strictly less than dd, such that every point of SS belongs to at least kk members of F\mathcal F. We investigate whether a kk-fold Borsuk covering of a set SS in a finite dimensional real normed space can be extended to a completion of SS. Furthermore, we determine the kk-fold Borsuk number of sets in not angled normed planes, and give a partial characterization for sets in angled planes.

preprint2012arXiv

Ball and Spindle Convexity with respect to a Convex Body

Let C⊂RnC\subset {\mathbb R}^n be a convex body. We introduce two notions of convexity associated to C. A set KK is CC-ball convex if it is the intersection of translates of CC, or it is either ∅\emptyset, or Rn{\mathbb R}^n. The CC-ball convex hull of two points is called a CC-spindle. KK is CC-spindle convex if it contains the CC-spindle of any pair of its points. We investigate how some fundamental properties of conventional convex sets can be adapted to CC-spindle convex and CC-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 CC, which is the length of an arc of a translate of CC, measured in the CC-norm, that connects two points. Then we characterize those nn-dimensional convex bodies CC for which every CC-ball convex set is the CC-ball convex hull of finitely many points. Finally, we obtain a stability result concerning covering numbers of some CC-ball convex sets, and diametrically maximal sets in nn-dimensional Minkowski spaces.

preprint2011arXiv

Push forward measures and concentration phenomena

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 KK and LL. 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 KK and LL 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 ℓ1\ell_1 norm.

preprint2010arXiv

On the Transversal Number and VC-Dimension of Families of Positive Homothets of a Convex Body

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)τ(F) of F in terms of nn and the independence number ν(F)ν(F). This question is motivated by a problem of Grünbaum. Our bound τ(F)≤2n(2nn)(nlog⁡n+log⁡log⁡n+5n)ν(F)τ(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 ⌊3n/2⌋\lfloor 3n/2\rfloor. Our result implies that no upper bound exists.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.