Source author record

Zuzana Patáková

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

6works
6topics
4close collaborators

Published work

6 publications

preprint2020arXiv

Barycentric cuts through a convex body

Let KK be a convex body in Rn\mathbb{R}^n (i.e., a compact convex set with nonempty interior). Given a point pp in the interior of KK, a hyperplane hh passing through pp is called barycentric if pp is the barycenter of K∩hK \cap h. In 1961, Grünbaum raised the question whether, for every KK, there exists an interior point pp through which there are at least n+1n+1 distinct barycentric hyperplanes. Two years later, this was seemingly resolved affirmatively by showing that this is the case if p=p0p=p_0 is the point of maximal depth in KK. However, while working on a related question, we noticed that one of the auxiliary claims in the proof is incorrect. Here, we provide a counterexample; this re-opens Grünbaum's question. It follows from known results that for n≥2n \geq 2, there are always at least three distinct barycentric cuts through the point p0∈Kp_0 \in K of maximal depth. Using tools related to Morse theory we are able to improve this bound: four distinct barycentric cuts through p0p_0 are guaranteed if n≥3n \geq 3.

preprint2016arXiv

A Direct Proof of the Strong Hanani-Tutte Theorem on the Projective Plane

We reprove the strong Hanani-Tutte theorem on the projective plane. In contrast to the previous proof by Pelsmajer, Schaefer and Stasi, our method is constructive and does not rely on the characterization of forbidden minors, which gives hope to extend it to other surfaces. Moreover, our approach can be used to provide an efficient algorithm turning a Hanani-Tutte drawing on the projective plane into an embedding.

preprint2016arXiv

Bounding Helly numbers via Betti numbers

We show that very weak topological assumptions are enough to ensure the existence of a Helly-type theorem. More precisely, we show that for any non-negative integers bb and dd there exists an integer h(b,d)h(b,d) such that the following holds. If F\mathcal F is a finite family of subsets of Rd\mathbb R^d such that β~i(⋂G)≤b\tildeβ_i\left(\bigcap\mathcal G\right) \le b for any G⊊F\mathcal G \subsetneq \mathcal F and every 0≤i≤⌈d/2⌉−10 \le i \le \lceil d/2 \rceil-1 then F\mathcal F has Helly number at most h(b,d)h(b,d). Here β~i\tildeβ_i denotes the reduced Z2\mathbb Z_2-Betti numbers (with singular homology). These topological conditions are sharp: not controlling any of these ⌈d/2⌉\lceil d/2 \rceil first Betti numbers allow for families with unbounded Helly number. Our proofs combine homological non-embeddability results with a Ramsey-based approach to build, given an arbitrary simplicial complex KK, some well-behaved chain map C∗(K)→C∗(Rd)C_*(K) \to C_*(\mathbb R^d).

preprint2016arXiv

Colorful simplicial depth, Minkowski sums, and generalized Gale transforms

The colorful simplicial depth of a collection of d+1 finite sets of points in Euclidean d-space is the number of choices of a point from each set such that the origin is contained in their convex hull. We use methods from combinatorial topology to prove a tight upper bound on the colorful simplicial depth. This implies a conjecture of Deza et al. (2006). Furthermore, we introduce colorful Gale transforms as a bridge between colorful configurations and Minkowski sums. Our colorful upper bound then yields a tight upper bound on the number of totally mixed facets of certain Minkowski sums of simplices. This resolves a conjecture of Burton (2003) in the theory of normal surfaces.

preprint2016arXiv

On Generalized Heawood Inequalities for Manifolds: a van Kampen--Flores-type Nonembeddability Result

The fact that the complete graph K5K_5 does not embed in the plane has been generalized in two independent directions. On the one hand, the solution of the classical Heawood problem for graphs on surfaces established that the complete graph KnK_n embeds in a closed surface MM (other than the Klein bottle) if and only if (n−3)(n−4)≤6b1(M)(n-3)(n-4)\leq 6b_1(M), where b1(M)b_1(M) is the first Z2\mathbb Z_2-Betti number of MM. On the other hand, van Kampen and Flores proved that the kk-skeleton of the nn-dimensional simplex (the higher-dimensional analogue of Kn+1K_{n+1}) embeds in R2k\mathbb R^{2k} if and only if~n≤2k+1n \le 2k+1. Two decades ago, Kühnel conjectured that the kk-skeleton of the nn-simplex embeds in a compact, (k−1)(k-1)-connected 2k2k-manifold with kkth Z2\mathbb Z_2-Betti number bkb_k only if the following generalized Heawood inequality holds: (n−k−1k+1)≤(2k+1k+1)bk\binom{n-k-1}{k+1} \le \binom{2k+1}{k+1}b_k. This is a common generalization of the case of graphs on surfaces as well as the van Kampen--Flores theorem (the special cases k=1k=1 and bk=0b_k=0, respectively), and also closely related to the theory of face numbers of triangulated manifolds. In the spirit of Kühnel's conjecture, we prove that if the kk-skeleton of the nn-simplex embeds in a 2k2k-manifold with kkth Z2\mathbb Z_2-Betti number bkb_k, then n≤2bk(2k+2k)+2k+4n \le 2b_k\binom{2k+2}{k} + 2k + 4. This bound is weaker than the generalized Heawood inequality, but does not require the assumption that MM is (k−1)(k-1)-connected. Our results generalize to maps without qq-covered points, in the spirit of Tverberg's theorem, for qq a prime power. Our proof uses a result of Volovikov about maps that satisfy a certain homological triviality condition.

preprint2015arXiv

Bounds for Pach's selection theorem and for the minimum solid angle in a simplex

We estimate the selection constant in the following geometric selection theorem by Pach: For every positive integer dd there is a constant cd>0c_d > 0 such that whenever X1,...,Xd+1X_1,..., X_{d+1} are nn-element subsets of Rd\mathbb{R}^d, then we can find a point p∈Rd\mathbf{p} \in \mathbb{R}^d and subsets Yi⊆XiY_i \subseteq X_i for every i∈[d+1]i \in [d+1], each of size at least cdnc_d n, such that p\mathbf{p} belongs to all {\em rainbow} dd-simplices determined by Y1,...,Yd+1Y_1,..., Y_{d+1}, that is, simplices with one vertex in each YiY_i. We show a super-exponentially decreasing upper bound cd≤e−(1/2−o(1))(dln⁡d)c_d\leq e^{-(1/2-o(1))(d \ln d)}. The ideas used in the proof of the upper bound also help us prove Pach's theorem with cd≥2−2d2+O(d)c_d \geq 2^{-2^{d^2 + O(d)}}, which is a lower bound doubly exponentially decreasing in dd (up to some polynomial in the exponent). For comparison, Pach's original approach yields a triply exponentially decreasing lower bound. On the other hand, Fox, Pach, and Suk recently obtained a hypergraph density result implying a proof of Pach's theorem with cd≥2−O(d2log⁡d)c_d \geq2^{-O(d^2\log d)}. In our construction for the upper bound, we use the fact that the minimum solid angle of every dd-simplex is super-exponentially small. This fact was previously unknown and might be of independent interest. For the lower bound, we improve the "separation" part of the argument by showing that in one of the key steps only d+1d+1 separations are necessary, compared to 2d2^d separations in the original proof. We also provide a measure version of Pach's theorem.

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.