7 citations · 9 across the 5 of their papers we have counts for
8 papers
Embeddings of -complexes into -manifolds
Pavel Paták, Martin Tancer
We improve the bound on Kühnel's problem to determine the smallest such that the -skeleton of an -simplex does not embed into a compact PL -manifold b…
Shellability is NP-complete
Xavier Goaoc, Pavel Paták, Zuzana Patáková +2
We prove that for every , deciding if a pure, -dimensional, simplicial complex is shellable is NP-hard, hence NP-complete. This resolves a question raised, e.g., by Dan…
On Generalized Heawood Inequalities for Manifolds: a van Kampen--Flores-type Nonembeddability Result
Xavier Goaoc, and Isaac Mabillard, Pavel Paták +3
The fact that the complete graph does not embed in the plane has been generalized in two independent directions. On the one hand, the solution of the classical Heawood proble…
A Direct Proof of the Strong Hanani-Tutte Theorem on the Projective Plane
Éric Colin de Verdière, Vojtěch Kaluža, Pavel Paták +2
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…
Three-monotone interpolation
Josef Cibulka, Jiří Matoušek, Pavel Paták
A function is called \emph{-monotone} if it is -times differentiable and its nd derivative is convex. A point set $P\subset\mathbb R…
Bounds for Pach's selection theorem and for the minimum solid angle in a simplex
Roman Karasev, Jan Kynčl, Pavel Paták +2
We estimate the selection constant in the following geometric selection theorem by Pach: For every positive integer there is a constant such that whenever $X_1,..., X…
Bounding Helly numbers via Betti numbers
Xavier Goaoc, Pavel Paták, Zuzana Patáková +2
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 and th…
Simplifying inclusion-exclusion formulas
Xavier Goaoc, Jiří Matoušek, Pavel Paták +2
Let be a family of sets on a ground set , such as a family of balls in . For every finite measure on , such that t…