BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Source author record

Uli Wagner

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

ResearcherUnclaimed source record
Computational Geometrymath.COmath.GTDiscrete Mathematicsmath.ATComputational Complexitymath.PR

Catalog footprint

Research overview

18works
7topics
4close collaborators

Actions

Is this your work?

Log in to claim
Open graphBrowse papers

Published work

18 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.

Open access
preprint2020arXiv

Connectivity of Triangulation Flip Graphs in the Plane

Given a finite point set P in general position in the plane, a full triangulation is a maximal straight-line embedded plane graph on P. A partial triangulation is a full triangulation of some subset P' of P containing all extreme points in P. A bistellar flip on a partial triangulation flips an edge (an edge flip), removes a non-extreme point of degree 3, or adds a point in P \ P' as vertex of degree 3. The bistellar flip graph has all partial triangulations as vertices, and a pair of partial triangulations is adjacent if they can be obtained from one another by a bistellar flip. The edge flip graph is defined with full triangulations as vertices, and edge flips determining the adjacencies. Lawson showed in the early 70s that these graphs are connected. Our goal is to investigate these graphs, with emphasis on vertex connectivity. For sets of n points in the plane in general position, we show that the edge flip graph is (n/2-2)-connected, and the bistellar flip graph is (n-3)-connected; both results are tight. The latter bound matches the situation for the subfamily of regular triangulations, ie. partial triangulations obtained by lifting the points to 3-space and projecting back the lower convex hull. Here (n-3)-connectivity has been known since the late 80s via the secondary polytope due to Gelfand, Kapranov & Zelevinsky and Balinski's Theorem. For the edge flip-graphs, the vertex connectivity can be shown to be at least as large as (and hence equal to) the minimum degree, provided n is large enough. Our methods yield several other results.

Open access
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).

Open access
preprint2016arXiv

Eliminating Higher-Multiplicity Intersections, II. The Deleted Product Criterion in the rr-Metastable Range

Motivated by Tverberg-type problems in topological combinatorics and by classical results about embeddings (maps without double points), we study the question whether a finite simplicial complex K can be mapped into R^d without higher-multiplicity intersections. We focus on conditions for the existence of almost r-embeddings, i.e., maps from K to R^d without r-intersection points among any set of r pairwise disjoint simplices of K. Generalizing the classical Haefliger-Weber embeddability criterion, we show that a well-known necessary deleted product condition for the existence of almost r-embeddings is sufficient in a suitable r-metastable range of dimensions (r d > (r+1) dim K +2). This significantly extends one of the main results of our previous paper (which treated the special case where d=rk and dim K=(r-1)k, for some k> 3).

Open access
preprint2016arXiv

Finding non-orientable surfaces in 3-manifolds

We investigate the complexity of finding an embedded non-orientable surface of Euler genus gg in a triangulated 33-manifold. This problem occurs both as a natural question in low-dimensional topology, and as a first non-trivial instance of embeddability of complexes into 33-manifolds. We prove that the problem is NP-hard, thus adding to the relatively few hardness results that are currently known in 3-manifold topology. In addition, we show that the problem lies in NP when the Euler genus g is odd, and we give an explicit algorithm in this case.

Open access
preprint2016arXiv

On Expansion and Topological Overlap

We give a detailed and easily accessible proof of Gromov's Topological Overlap Theorem. Let XX be a finite simplicial complex or, more generally, a finite polyhedral cell complex of dimension dd. Informally, the theorem states that if XX has sufficiently strong higher-dimensional expansion properties (which generalize edge expansion of graphs and are defined in terms of cellular cochains of XX) then XX has the following topological overlap property: for every continuous map X→RdX\rightarrow \mathbf{R}^d there exists a point p∈Rdp\in \mathbf{R}^d that is contained in the images of a positive fraction μ>0μ>0 of the dd-cells of XX. More generally, the conclusion holds if Rd\mathbf{R}^d is replaced by any dd-dimensional piecewise-linear (PL) manifold MM, with a constant μμ that depends only on dd and on the expansion properties of XX, but not on MM.

Open access
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.

Open access
preprint2015arXiv

Eliminating Higher-Multiplicity Intersections, I. A Whitney Trick for Tverberg-Type Problems

Motivated by topological Tverberg-type problems and by classical results about embeddings (maps without double points), we study the question whether a finite simplicial complex K can be mapped into R^d without triple, quadruple, or, more generally, r-fold points. Specifically, we are interested in maps f from K to R^d that have no r-Tverberg points, i.e., no r-fold points with preimages in r pairwise disjoint simplices of K, and we seek necessary and sufficient conditions for the existence of such maps. We present a higher-multiplicity analogue of the completeness of the Van Kampen obstruction for embeddability in twice the dimension. Specifically, we show that under suitable restrictions on the dimensions, a well-known Deleted Product Criterion (DPC) is not only necessary but also sufficient for the existence of maps without r-Tverberg points. Our main technical tool is a higher-multiplicity version of the classical Whitney trick. An important guiding idea for our work was that sufficiency of the DPC, together with an old result of Ozaydin on the existence of equivariant maps, might yield an approach to disproving the remaining open cases of the long-standing topological Tverberg conjecture. Unfortunately, our proof of the sufficiency of the DPC requires a "codimension 3" proviso, which is not satisfied for when K is the N-simplex. Recently, Frick found an extremely elegant way to overcome this last "codimension 3" obstacle and to construct counterexamples to the topological Tverberg conjecture for d at least 3r+1 (r not a prime power). Here, we present a different construction that yields counterexamples for d at least 3r (r not a prime power).

Open access
preprint2015arXiv

On Eigenvalues of Random Complexes

We consider higher-dimensional generalizations of the normalized Laplacian and the adjacency matrix of graphs and study their eigenvalues for the Linial-Meshulam model Xk(n,p)X^k(n,p) of random kk-dimensional simplicial complexes on nn vertices. We show that for p=Ω(log⁡n/n)p=Ω(\log n/n), the eigenvalues of these matrices are a.a.s. concentrated around two values. The main tool, which goes back to the work of Garland, are arguments that relate the eigenvalues of these matrices to those of graphs that arise as links of (k−2)(k-2)-dimensional faces. Garland's result concerns the Laplacian; we develop an analogous result for the adjacency matrix. The same arguments apply to other models of random complexes which allow for dependencies between the choices of kk-dimensional simplices. In the second part of the paper, we apply this to the question of possible higher-dimensional analogues of the discrete Cheeger inequality, which in the classical case of graphs relates the eigenvalues of a graph and its edge expansion. It is very natural to ask whether this generalizes to higher dimensions and, in particular, whether the higher-dimensional Laplacian spectra capture the notion of coboundary expansion - a generalization of edge expansion that arose in recent work of Linial and Meshulam and of Gromov. We show that this most straightforward version of a higher-dimensional discrete Cheeger inequality fails, in quite a strong way: For every k≥2k\geq 2 and n∈Nn\in \mathbb{N}, there is a kk-dimensional complex YnkY^k_n on nn vertices that has strong spectral expansion properties (all nontrivial eigenvalues of the normalised kk-dimensional Laplacian lie in the interval [1−O(1/n),1+O(1/n)][1-O(1/\sqrt{n}),1+O(1/\sqrt{n})]) but whose coboundary expansion is bounded from above by O(log⁡n/n)O(\log n/n) and so tends to zero as n→∞n\rightarrow \infty; moreover, YnkY^k_n can be taken to have vanishing integer homology in dimension less than kk.

Open access
preprint2015arXiv

On Topological Minors in Random Simplicial Complexes

For random graphs, the containment problem considers the probability that a binomial random graph G(n,p)G(n,p) contains a given graph as a substructure. When asking for the graph as a topological minor, i.e., for a copy of a subdivision of the given graph, it is well-known that the (sharp) threshold is at p=1/np=1/n. We consider a natural analogue of this question for higher-dimensional random complexes Xk(n,p)X^k(n,p), first studied by Cohen, Costa, Farber and Kappeler for k=2k=2. Improving previous results, we show that p=Θ(1/n)p=Θ(1/\sqrt{n}) is the (coarse) threshold for containing a subdivision of any fixed complete 22-complex. For higher dimensions k>2k>2, we get that p=O(n−1/k)p=O(n^{-1/k}) is an upper bound for the threshold probability of containing a subdivision of a fixed kk-dimensional complex.

Open access
preprint2014arXiv

Collection of abstracts of the Workshop on Triangulations in Geometry and Topology at CG Week 2014 in Kyoto

This workshop about triangulations of manifolds in computational geometry and topology was held at the 2014 CG-Week in Kyoto, Japan. It focussed on computational and combinatorial questions regarding triangulations, with the goal of bringing together researchers working on various aspects of triangulations and of fostering a closer collaboration within the computational geometry and topology community. Triangulations are highly suitable for computations due to their clear combinatorial structure. As a consequence, they have been successfully employed in discrete algorithms to solve purely theoretical problems in a broad variety of mathematical research areas (knot theory, polytope theory, 2- and 3-manifold topology, geometry, and others). However, due to the large variety of applications, requirements vary from field to field and thus different types of triangulations, different tools, and different frameworks are used in different areas of research. This is why today closely related research areas are sometimes largely disjoint leaving potential reciprocal benefits unused. To address these potentials a workshop on Triangulations was held at Oberwolfach Research Institute in 2012. Since then many new collaborations between researchers of different mathematical communities have been established. Regarding the computational geometry community, the theory of manifolds continues to contribute to advances in more applied areas of the field. Many researchers are interested in fundamental mathematical research about triangulations and thus will benefit from a broad set of knowledge about different research areas using different techniques. We hope that this workshop brought together researchers from many different fields of computational geometry to have fruitful discussions which will lead to new interdisciplinary collaborations and solutions.

Open access
preprint2014arXiv

Computing all maps into a sphere

Given topological spaces X and Y, a fundamental problem of algebraic topology is understanding the structure of all continuous maps X -> Y . We consider a computational version, where X, Y are given as finite simplicial complexes, and the goal is to compute [X,Y], i.e., all homotopy classes of such maps. We solve this problem in the stable range, where for some d >= 2, we have dim X <= 2d - 2 and Y is (d - 1)-connected; in particular, Y can be the d-dimensional sphere S^d. The algorithm combines classical tools and ideas from homotopy theory (obstruction theory, Postnikov systems, and simplicial sets) with algorithmic tools from effective algebraic topology (locally effective simplicial sets and objects with effective homology). In contrast, [X,Y] is known to be uncomputable for general X,Y, since for X = S^1 it includes a well known undecidable problem: testing triviality of the fundamental group of Y. In follow-up papers, the algorithm is shown to run in polynomial time for d fixed, and extended to other problems, such as the extension problem, where we are given a subspace A of X and a map A -> Y and ask whether it extends to a map X -> Y, or computing the Z_2-index---everything in the stable range. Outside the stable range, the extension problem is undecidable.

Open access
preprint2014arXiv

Embeddability in the 3-sphere is decidable

We show that the following algorithmic problem is decidable: given a 22-dimensional simplicial complex, can it be embedded (topologically, or equivalently, piecewise linearly) in R3\mathbf{R}^3? By a known reduction, it suffices to decide the embeddability of a given triangulated 3-manifold XX into the 3-sphere S3S^3. The main step, which allows us to simplify XX and recurse, is in proving that if XX can be embedded in S3S^3, then there is also an embedding in which XX has a short meridian, i.e., an essential curve in the boundary of XX bounding a disk in S3∖XS^3\setminus X with length bounded by a computable function of the number of tetrahedra of XX.

Open access
preprint2014arXiv

Polynomial-time computation of homotopy groups and Postnikov systems in fixed dimension

For several computational problems in homotopy theory, we obtain algorithms with running time polynomial in the input size. In particular, for every fixed k>1, there is a polynomial-time algorithm that, for a 1-connected topological space X given as a finite simplicial complex, or more generally, as a simplicial set with polynomial-time homology, computes the k-th homotopy group π_k(X), as well as the first k stages of a Postnikov system of X. Combined with results of an earlier paper, this yields a polynomial-time computation of [X,Y], i.e., all homotopy classes of continuous mappings X -> Y, under the assumption that Y is (k-1)-connected and dim X < 2k-1. We also obtain a polynomial-time solution of the extension problem, where the input consists of finite simplicial complexes X,Y, where Y is (k-1)-connected and dim X < 2k, plus a subspace A\subseteq X and a (simplicial) map f:A -> Y, and the question is the extendability of f to all of X. The algorithms are based on the notion of a simplicial set with polynomial-time homology, which is an enhancement of the notion of a simplicial set with effective homology developed earlier by Sergeraert and his co-workers. Our polynomial-time algorithms are obtained by showing that simplicial sets with polynomial-time homology are closed under various operations, most notably, Cartesian products, twisted Cartesian products, and classifying space. One of the key components is also polynomial-time homology for the Eilenberg--MacLane space K(Z,1), provided in another recent paper by Krcal, Matousek, and Sergeraert.

Open access
preprint2014arXiv

Untangling two systems of noncrossing curves

We consider two systems of curves (α1,...,αm)(α_1,...,α_m) and (β1,...,βn)(β_1,...,β_n) drawn on a compact two-dimensional surface MM with boundary. Each αiα_i and each βjβ_j is either an arc meeting the boundary of MM at its two endpoints, or a closed curve. The αiα_i are pairwise disjoint except for possibly sharing endpoints, and similarly for the βjβ_j. We want to "untangle" the βjβ_j from the αiα_i by a self-homeomorphism of MM; more precisely, we seek a homeomorphism ϕ:M→Mϕ:M\rightarrow M fixing the boundary of MM pointwise such that the total number of crossings of the αiα_i with the ϕ(βj)ϕ(β_j) is as small as possible. This problem is motivated by an application in the algorithmic theory of embeddings and 3-manifolds. We prove that if MM is planar, i.e., a sphere with h≥0h\geq 0 boundary components ("holes"), then O(mn)O(mn) crossings can be achieved (independently of hh), which is asymptotically tight, as an easy lower bound shows. In general, for an arbitrary (orientable or nonorientable) surface MM with hh holes and of (orientable or nonorientable) genus gg, we obtain an O((m+n)4)O((m+n)^4) upper bound, again independent of hh and gg. The proofs rely, among others, on a result concerning simultaneous planar drawings of graphs by Erten and Kobourov.

Open access
preprint2013arXiv

Extendability of continuous maps is undecidable

We consider two basic problems of algebraic topology, the extension problem and the computation of higher homotopy groups, from the point of view of computability and computational complexity. The extension problem is the following: Given topological spaces X and Y, a subspace A\subseteq X, and a (continuous) map f:A->Y, decide whether f can be extended to a continuous map \bar{f}:X->Y. All spaces are given as finite simplicial complexes and the map f is simplicial. Recent positive algorithmic results, proved in a series of companion papers, show that for (k-1)-connected Y, k>=2, the extension problem is algorithmically solvable if the dimension of X is at most 2k-1, and even in polynomial time when k is fixed. Here we show that the condition \dim X<=2k-1 cannot be relaxed: for \dim X=2k, the extension problem with (k-1)-connected Y becomes undecidable. Moreover, either the target space Y or the pair (X,A) can be fixed in such a way that the problem remains undecidable. Our second result, a strengthening of a result of Anick, says that the computation of π_k(Y) of a 1-connected simplicial complex Y is #P-hard when k is considered as a part of the input.

Open access
preprint2011arXiv

A geometric proof of the colored Tverberg theorem

The colored Tverberg theorem asserts that for every d and r there exists t=t(d,r) such that for every set C in R^d of cardinality (d+1)t, partitioned into t-point subsets C_1,C_2,...,C_{d+1} (which we think of as color classes; e.g., the points of C_1 are red, the points of C_2 blue, etc.), there exist r disjoint sets R_1,R_2,...,R_r \subseteq C that are "rainbow", meaning that |R_i \cap C_j| < 2 for every i,j, and whose convex hulls all have a common point. All known proofs of this theorem are topological. We present a geometric version of a recent beautiful proof by Blagojević, Matschke, and Ziegler, avoiding a direct use of topological methods. The purpose of this de-topologization is to make the proof more concrete and intuitive, and accessible to a wider audience.

Open access
preprint2011arXiv

On Gromov's Method of Selecting Heavily Covered Points

A result of Boros and Füredi (d=2d=2) and of Bárány (arbitrary dd) asserts that for every dd there exists cd>0c_d>0 such that for every nn-point set P⊂RdP\subset \R^d, some point of Rd\R^d is covered by at least cd(nd+1)c_d{n\choose d+1} of the dd-simplices spanned by the points of PP. The largest possible value of cdc_d has been the subject of ongoing research. Recently Gromov improved the existing lower bounds considerably by introducing a new, topological proof method. We provide an exposition of the combinatorial component of Gromov's approach, in terms accessible to combinatorialists and discrete geometers, and we investigate the limits of his method. In particular, we give tighter bounds on the \emph{cofilling profiles} for the (n−1)(n-1)-simplex. These bounds yield a minor improvement over Gromov's lower bounds on cdc_d for large dd, but they also show that the room for further improvement through the {\cofilling} profiles alone is quite small. We also prove a slightly better lower bound for c3c_3 by an approach using an additional structure besides the {\cofilling} profiles. We formulate a combinatorial extremal problem whose solution might perhaps lead to a tight lower bound for cdc_d.

Open access

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.