6 research outputs found
Good covers are algorithmically unrecognizable
A good cover in R^d is a collection of open contractible sets in R^d such
that the intersection of any subcollection is either contractible or empty.
Motivated by an analogy with convex sets, intersection patterns of good covers
were studied intensively. Our main result is that intersection patterns of good
covers are algorithmically unrecognizable.
More precisely, the intersection pattern of a good cover can be stored in a
simplicial complex called nerve which records which subfamilies of the good
cover intersect. A simplicial complex is topologically d-representable if it is
isomorphic to the nerve of a good cover in R^d. We prove that it is
algorithmically undecidable whether a given simplicial complex is topologically
d-representable for any fixed d \geq 5. The result remains also valid if we
replace good covers with acyclic covers or with covers by open d-balls.
As an auxiliary result we prove that if a simplicial complex is PL embeddable
into R^d, then it is topologically d-representable. We also supply this result
with showing that if a "sufficiently fine" subdivision of a k-dimensional
complex is d-representable and k \leq (2d-3)/3, then the complex is PL
embeddable into R^d.Comment: 22 pages, 5 figures; result extended also to acyclic covers in
version
Nerve complexes of circular arcs
We show that the nerve complex of n arcs in the circle is homotopy equivalent
to either a point, an odd-dimensional sphere, or a wedge sum of spheres of the
same even dimension. Moreover this homotopy type can be computed in time O(n
log n). For the particular case of the nerve complex of evenly-spaced arcs of
the same length, we determine the dihedral group action on homology, and we
relate the complex to a cyclic polytope with n vertices. We give three
applications of our knowledge of the homotopy types of nerve complexes of
circular arcs. First, we use the connection to cyclic polytopes to give a novel
topological proof of a known upper bound on the distance between successive
roots of a homogeneous trigonometric polynomial. Second, we show that the
Lovasz bound on the chromatic number of a circular complete graph is either
sharp or off by one. Third, we show that the Vietoris--Rips simplicial complex
of n points in the circle is homotopy equivalent to either a point, an
odd-dimensional sphere, or a wedge sum of spheres of the same even dimension,
and furthermore this homotopy type can be computed in time O(n log n)
Probabilistic Convergence and Stability of Random Mapper Graphs
We study the probabilistic convergence between the mapper graph and the Reeb
graph of a topological space equipped with a continuous function
. We first give a categorification of the
mapper graph and the Reeb graph by interpreting them in terms of cosheaves and
stratified covers of the real line . We then introduce a variant of
the classic mapper graph of Singh et al.~(2007), referred to as the enhanced
mapper graph, and demonstrate that such a construction approximates the Reeb
graph of when it is applied to points randomly sampled from a
probability density function concentrated on .
Our techniques are based on the interleaving distance of constructible
cosheaves and topological estimation via kernel density estimates. Following
Munch and Wang (2018), we first show that the mapper graph of , a constructible -space (with a fixed open cover), approximates
the Reeb graph of the same space. We then construct an isomorphism between the
mapper of to the mapper of a super-level set of a probability
density function concentrated on . Finally, building on the
approach of Bobrowski et al.~(2017), we show that, with high probability, we
can recover the mapper of the super-level set given a sufficiently large
sample. Our work is the first to consider the mapper construction using the
theory of cosheaves in a probabilistic setting. It is part of an ongoing effort
to combine sheaf theory, probability, and statistics, to support topological
data analysis with random data
Multinerves and Helly Numbers of Acyclic Families
The nerve of a family of sets is a simplicial complex that records the intersection pattern of its subfamilies. Nerves are widely used in computational geometry and topology, because the nerve theorem guarantees that the nerve of a family of geometric objects has the same topology as the union of the objects, if they form a good cover. In this paper, we relax the good cover assumption to the case where each subfamily intersects in a disjoint union of possibly several homology cells, and we prove a generalization of the nerve theorem in this framework, using spectral sequences from algebraic topology. We then deduce a new topological Helly-type theorem that unifies previous results of Amenta, Kalai and Meshulam, and Matousek. This Hellytype theorem is used to (re)prove, in a unified way, bounds on transversal Helly numbers in geometric transversal theory