Embeddability in the 3-Sphere Is Decidable

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F18%3A10384869" target="_blank" >RIV/00216208:11320/18:10384869 - isvavai.cz</a>

Výsledek na webu

<a href="https://doi.org/10.1145/3078632" target="_blank" >https://doi.org/10.1145/3078632</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1145/3078632" target="_blank" >10.1145/3078632</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Embeddability in the 3-Sphere Is Decidable

Popis výsledku v původním jazyce

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

Název v anglickém jazyce

Embeddability in the 3-Sphere Is Decidable

Popis výsledku anglicky

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

Druh

J_imp - Článek v periodiku v databázi Web of Science

CEP obor

—

OECD FORD obor

10101 - Pure mathematics

Projekt

—

Návaznosti

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2018

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název periodika

Journal of the ACM

ISSN

0004-5411

e-ISSN

—

Svazek periodika

65

Číslo periodika v rámci svazku

1

Stát vydavatele periodika

US - Spojené státy americké

Počet stran výsledku

49

Strana od-do

—

Kód UT WoS článku

000425685900006

EID výsledku v databázi Scopus

2-s2.0-85042474311