Related papers: An algorithm to classify rational 3-tangles

This paper addresses the problem of determining the symmetries of a plane or space curve defined by a rational parametrization. We provide effective methods to compute the involution and rotation symmetries for the planar case. As for space…

There are many fundamental algorithmic problems on triangulated 3-manifolds whose complexities are unknown. Here we study the problem of finding a taut angle structure on a 3-manifold triangulation, whose existence has implications for both…

An $H$-graph is an intersection graph of connected subgraphs of a suitable subdivision of a fixed graph $H$. Many important classes of graphs, including interval graphs, circular-arc graphs, and chordal graphs, can be expressed as…

We compute the integral cohomology rings of a family of 3-groups. As a corollary, we exhibit, for each n greater than or equal to 5, a pair of groups of order 3^n whose integral cohomology rings are isomorphic.

We study the set of rational curves of a certain topological type in general members of certain families of Calabi-Yau threefolds. For some families we investigate to what extent it is possible to conclude that this set is finite. For other…

We prove that there exists an algorithm for determining whether two piecewise-linear spatial graphs are isomorphic. In its most general form, our theorem applies to spatial graphs furnished with vertex colorings, edge colorings and/or edge…

We study closed orientable manifolds whose topological complexity is at most 3 and determine their cohomology rings. For some of admissible cohomology rings we are also able to identify corresponding manifolds up to homeomorphism.

In this article we provide a classification and description of compact Riemann surfaces admitting a triangular action of a group of order $2p^2,$ where $p$ is an odd prime number. We obtain that all such Riemann surfaces are isomorphic to…

In this paper we give three applications of a method to prove h-principles on closed manifolds. Under weaker conditions this method proves a homological h-principle, under stronger conditions it proves a homotopical one. The three…

An outer automorphism of a free group is geometric if it can be represented by a homeomorphism of a compact surface. Bestvina and Handel gave an algorithmic characterization of geometric irreducible outer automorphisms using relative train…

We consider two systems of curves $(\alpha_1,...,\alpha_m)$ and $(\beta_1,...,\beta_n)$ drawn on a compact two-dimensional surface $M$ with boundary. Each $\alpha_i$ and each $\beta_j$ is either an arc meeting the boundary of $M$ at its two…

In this paper we prove two results, one semi-historical and the other new. The semi-historical result, which goes back to Thurston and Riley, is that the geometrization theorem implies that there is an algorithm for the homeomorphism…

This paper explores the relationship between closed curves on surfaces and their intersections. Like Dehn-Thurston coordinates for simple curves, we explore how to determine closed curves using the number of times they intersect other…

This paper extends the decorated Teichm\"uller theory developed before for punctured surfaces to the setting of ``bordered'' surfaces, i.e., surfaces with boundary, and there is non-trivial new structure discovered. The main new result…

A T-graph (a special case of a chordal graph) is the intersection graph of connected subtrees of a suitable subdivision of a fixed tree T . We deal with the isomorphism problem for T-graphs which is GI-complete in general - when T is a part…

We classify the normal CR structures on $S^3$ and their automorphism groups. Together with [3], this closes the classification of normal CR structures on contact 3-manifolds. We give a criterion to compare 2 normal CR structures, and we…

It is shown that for any locally knotted edge of a 3-connected graph in $S^3$, there is a ball that contains all of the local knots of that edge and is unique up to an isotopy setwise fixing the graph. This result is applied to the study of…

It is a basic question in contact geometry to classify all non-isotopic tight contact structures on a given 3-manifold. If the manifold has a boundary, we need also specify the dividing set on the boundary. In this paper, we answer the…

Let $H$ be a strongly irreducible Heegaard surface in a closed oriented Riemannian $3$-manifold. We prove that $H$ is either isotopic to a minimal surface of index at most one or isotopic to the boundary of a tubular neighborhood about a…

We prove a complexity dichotomy theorem for Holant Problems on 3-regular graphs with an arbitrary complex-valued edge function. Three new techniques are introduced: (1) higher dimensional iterations in interpolation; (2) Eigenvalue Shifted…