Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Dmitry Tonkonog

dblp:58/11466 · DBLP profile ↗
← Back
1ranked-venue papers
0as first author
0since 2021 · last 2013
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 1

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Theoretical computer science
1 paper
Computational geometry · 56% Computational complexity · 44%

Topics — the 3 heaviest of 3, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Computational geometry
topological data analysis
0.212013
Nerves of Good Covers Are Algorithmically Unrecognizable · SIAM J. Comput. 2013
Computational complexity
undecidability
0.212013
Nerves of Good Covers Are Algorithmically Unrecognizable · SIAM J. Comput. 2013
Computational geometry › topological data analysis
simplicial complexes
0.012013
Nerves of Good Covers Are Algorithmically Unrecognizable · SIAM J. Comput. 2013

Methods — techniques the papers use, named apart from their topics

topological representability · 0.2piecewise linear embedding · 0.2
YearPublicationVenuePosition
2013 Nerves of Good Covers Are Algorithmically Unrecognizable
abstract
A good cover in $\mathbb{R}^d$ is a collection of open contractible sets in $\mathbb{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 a 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 $\mathbb{R}^d$. We prove that it is undecidable whether a given simplicial complex is topologically $d$-representable for any fixed $d \geq 5$. The result remains 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 piecewise-linearly embeddable into $\mathbb{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 \frac{2d-3}3$, then the complex is piecewise-linearly embeddable into $\mathbb{R}^d$.
Martin Tancer, Dmitry Tonkonog
SIAM J. Comput.2