Skip to main content

Showing 1–12 of 12 results for author: Paták, P

Searching in archive math. Search in all archives.
.
  1. arXiv:2211.07978  [pdf, other

    cs.CG math.CO math.GT

    Shellability is hard even for balls

    Authors: Pavel Paták, Martin Tancer

    Abstract: The main goal of this paper is to show that shellability is NP-hard for triangulated d-balls (this also gives hardness for triangulated d-manifolds/d-pseudomanifolds with boundary) as soon as d is at least 3. This extends our earlier work with Goaoc, Patáková and Wagner on hardness of shellability of 2-complexes and answers some questions implicitly raised by Danaraj and Klee in 1978 and explicitl… ▽ More

    Submitted 25 July, 2024; v1 submitted 15 November, 2022; originally announced November 2022.

    Comments: 66 pages, 51 figures (The figures take nontrivial portion of the space thus in reality the paper is a bit shorter.)

  2. arXiv:1909.08489  [pdf, other

    math.CO

    A sharper Ramsey theorem for constrained drawings

    Authors: Pavel Paták

    Abstract: Given a graph $G$ and a collection $\mathcal C$ of subsets of $\mathbb{R}^d$ indexed by the subsets of vertices of $G$, a constrained drawing of $G$ is a drawing, where each edge is drawn inside some set from $\mathcal C$, in such a way that non-adjacent edges are drawn in sets with disjoint indices. In this paper we prove a Ramsey type result for such drawings. Furthermore we show how the result… ▽ More

    Submitted 23 November, 2024; v1 submitted 18 September, 2019; originally announced September 2019.

    MSC Class: 52A35; 68R10

  3. arXiv:1908.09912  [pdf, other

    math.CO

    Jordan-Hölder with uniqueness for semimodular semilattices

    Authors: Pavel Paták

    Abstract: We present a short proof of the Jordan-Hölder theorem with uniqueness for semimodular semilattice: Given two maximal chains in a semimodular semilattice of finite height, they both have the same length. Moreover there is a unique bijection that takes the prime intervals of the first chain to the prime intervals of the second chain such that the interval and its image are up-and-down projective.… ▽ More

    Submitted 19 September, 2019; v1 submitted 26 August, 2019; originally announced August 2019.

    MSC Class: 06C10; 05B35

  4. arXiv:1904.02404  [pdf, other

    math.AT cs.CG math.GT

    Embeddings of $k$-complexes into $2k$-manifolds

    Authors: Pavel Paták, Martin Tancer

    Abstract: We improve the bound on Kühnel's problem to determine the smallest $n$ such that the $k$-skeleton of an $n$-simplex $Δ_n^{(k)}$ does not embed into a compact PL $2k$-manifold $M$ by showing that if $Δ_n^{(k)}$ embeds into $M$, then $n\leq (2k+1)+(k+1)β_k(M;\mathbb Z_2)$. As a consequence we obtain improved Radon and Helly type results for set systems in such manifolds. Our main tool is a new des… ▽ More

    Submitted 18 January, 2022; v1 submitted 4 April, 2019; originally announced April 2019.

    Comments: Version 4: Major revision: Sections reordered (Kühnel's question comes earlier). Technical homotopy condition simplified. Added Corollary 8 on odd-dimensional Kühnel's question. Added Conjecture 18 that implies Kühnel's conjecture. Manifolds with boundary treated more carefully. Obstruction treated in the deleted product setting only. Added more details to Table 1

    MSC Class: 55S91 (Primary); 05E45 (Secondary)

  5. arXiv:1711.08436  [pdf, other

    math.CO cs.CG math.GT

    Shellability is NP-complete

    Authors: Xavier Goaoc, Pavel Paták, Zuzana Patáková, Martin Tancer, Uli Wagner

    Abstract: We prove that for every $d\geq 2$, deciding if a pure, $d$-dimensional, simplicial complex is shellable is NP-hard, hence NP-complete. This resolves a question raised, e.g., by Danaraj and Klee in 1978. Our reduction also yields that for every $d \ge 2$ and $k \ge 0$, deciding if a pure, $d$-dimensional, simplicial complex is $k$-decomposable is NP-hard. For $d \ge 3$, both problems remain NP-hard… ▽ More

    Submitted 24 January, 2018; v1 submitted 22 November, 2017; originally announced November 2017.

    Comments: Version 2: 17 pages, 11 figures. Improved readability at various places. Proof in Section 6 simplified

  6. arXiv:1702.08170  [pdf, other

    math.CO

    Tverberg type theorems for matroids

    Authors: Pavel Paták

    Abstract: In this paper we show a variant of colorful Tverberg's theorem which is valid in any matroid: Let $S$ be a sequence of non-loops in a matroid $M$ of finite rank $m$ with closure operator cl. Suppose that $S$ is colored in such a way that the first color does not appear more than $r$-times and each other color appears at most $(r-1)$-times. Then $S$ can be partitioned into $r$ rainbow subsequences… ▽ More

    Submitted 19 September, 2019; v1 submitted 27 February, 2017; originally announced February 2017.

    MSC Class: 05B35; 51D20

  7. arXiv:1610.09063  [pdf, other

    math.CO

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

    Authors: Xavier Goaoc, and Isaac Mabillard, Pavel Paták, Zuzana Patáková, Martin Tancer, Uli Wagner

    Abstract: The fact that the complete graph $K_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 $K_n$ embeds in a closed surface $M$ (other than the Klein bottle) if and only if $(n-3)(n-4)\leq 6b_1(M)$, where $b_1(M)$ is the first $\mathbb Z_2$-Betti num… ▽ More

    Submitted 27 October, 2016; originally announced October 2016.

    MSC Class: 05E45 (Primary); 57N35 (Secondary)

  8. arXiv:1608.07855  [pdf, other

    cs.CG math.CO

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

    Authors: Éric Colin de Verdière, Vojtěch Kaluža, Pavel Paták, Zuzana Patáková, Martin Tancer

    Abstract: 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 i… ▽ More

    Submitted 30 August, 2016; v1 submitted 28 August, 2016; originally announced August 2016.

    Comments: This is the full version of the paper. Its extended abstract appeared in the Proceedings of the 24th International Symposium on Graph Drawing and Network Visualization (GD 2016)

    MSC Class: 05C10

  9. arXiv:1607.00347  [pdf, other

    math.CO math.MG

    Colorful simplicial depth, Minkowski sums, and generalized Gale transforms

    Authors: Karim Adiprasito, Philip Brinkmann, Arnau Padrol, Pavel Paták, Zuzana Patáková, Raman Sanyal

    Abstract: 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 tra… ▽ More

    Submitted 1 July, 2016; originally announced July 2016.

    Comments: 17 pages, 3 figures

    MSC Class: 52C45; 52A35; 05E45; 52Bxx; 52B35

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

    Authors: Roman Karasev, Jan Kynčl, Pavel Paták, Zuzana Patáková, Martin Tancer

    Abstract: We estimate the selection constant in the following geometric selection theorem by Pach: For every positive integer $d$ there is a constant $c_d > 0$ such that whenever $X_1,..., X_{d+1}$ are $n$-element subsets of $\mathbb{R}^d$, then we can find a point $\mathbf{p} \in \mathbb{R}^d$ and subsets $Y_i \subseteq X_i$ for every $i \in [d+1]$, each of size at least $c_d n$, such that $\mathbf{p}$ bel… ▽ More

    Submitted 9 July, 2015; v1 submitted 31 March, 2014; originally announced March 2014.

    Comments: 26 pages, 12 figures, correcting the surname of one of the authors in metadata (and the number of figures), no changes in the text of the manuscript

    MSC Class: 52C35; 52C10; 28A75; 28A33

    Journal ref: Discrete and Computational Geometry 54 (2015), Issue 3, 610-636

  11. arXiv:1310.4613  [pdf, other

    math.CO cs.CG cs.DM math.AT

    Bounding Helly numbers via Betti numbers

    Authors: Xavier Goaoc, Pavel Paták, Zuzana Patáková, Martin Tancer, Uli Wagner

    Abstract: 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 $b$ and $d$ there exists an integer $h(b,d)$ such that the following holds. If $\mathcal F$ is a finite family of subsets of $\mathbb R^d$ such that $\tildeβ_i\left(\bigcap\mathcal G\right) \le b$ for any… ▽ More

    Submitted 9 November, 2016; v1 submitted 17 October, 2013; originally announced October 2013.

    Comments: 29 pages, 8 figures

    MSC Class: Primary 52A35; secondary 05E45; 55S91; 05D10; 57Q35

  12. arXiv:1207.2591  [pdf, other

    math.CO

    Simplifying inclusion-exclusion formulas

    Authors: Xavier Goaoc, Jiří Matoušek, Pavel Paták, Zuzana Safernová, Martin Tancer

    Abstract: Let $\mathcal{F}=\{F_1,F_2, \ldots,F_n\}$ be a family of $n$ sets on a ground set $S$, such as a family of balls in $\mathbb{R}^d$. For every finite measure $μ$ on $S$, such that the sets of $\mathcal{F}$ are measurable, the classical inclusion-exclusion formula asserts that $μ(F_1\cup F_2\cup\cdots\cup F_n)=\sum_{I:\emptyset\ne I\subseteq[n]} (-1)^{|I|+1}μ\Bigl(\bigcap_{i\in I} F_i\Bigr)$; that i… ▽ More

    Submitted 17 April, 2014; v1 submitted 11 July, 2012; originally announced July 2012.

    Comments: 17 pages, 3 figures/tables; improved lower bound in v2

    MSC Class: 05A19; 28A25