Source author record

Mark C. Bell

Mark C. Bell appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

6works
4topics
2close collaborators

Actions

Connect this record

Log in to claim

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.

Published work

6 published item(s)

preprint2016arXiv

Applications of fast triangulation simplification

We describe a new algorithm to compute the geometric intersection number between two curves, given as edge vectors on an ideal triangulation. Most importantly, this algorithm runs in polynomial time in the bit-size of the two edge vectors. In its simplest instances, this algorithm works by finding the minimal position of the two curves. We achieve this by phrasing the problem as a collection of linear programming problems. We describe how to reduce the more general case down to one of these simplest instances in polynomial time. This reduction relies on an algorithm by the first author to quickly switch to a new triangulation in which an edge vector is significantly smaller.

preprint2016arXiv

Asymmetric dynamics of outer automorphisms

We consider the action of an irreducible outer automorphism $ϕ$ on the closure of Culler--Vogtmann Outer space. This action has north-south dynamics and so, under iteration, points converge exponentially to $[T^ϕ_+]$. For each $N \geq 3$, we give a family of outer automorphisms $ϕ_k \in \textrm{Out}(\mathbb{F}_N)$ such that as, $k$ goes to infinity, the rate of convergence of $ϕ_k$ goes to infinity while the rate of convergence of $ϕ_k^{-1}$ goes to one. Even if we only require the rate of convergence of $ϕ_k$ to remain bounded away from one, no such family can be constructed when $N < 3$. This family also provides an explicit example of a property described by Handel and Mosher: that there is no uniform upper bound on the distance between the axes of an automorphism and its inverse.

preprint2016arXiv

Slow north-south dynamics on $\mathcal{PML}$

We consider the action of a pseudo-Anosov mapping class on $\mathcal{PML}(S)$. This action has north-south dynamics and so, under iteration, laminations converge exponentially to the stable lamination. We study the rate of this convergence and give examples of families of pseudo-Anosov mapping classes where the rate goes to one, decaying exponentially with the word length. Furthermore we prove that this behaviour is the worst possible.

preprint2016arXiv

The pseudo-Anosov and conjugacy problems are in $\textbf{NP} \cap \textbf{co-NP}$

For a fixed marked surface $S$, we construct polynomial bounds on the periodic and preperiodic lengths of the maximal splitting sequences of a projectively invariant measured train track. We give two consequences of these bounds. Firstly, that the problem of deciding whether a mapping class is pseudo-Anosov lies in $\textbf{NP}$. This is dual to the previously known result that the pseudo-Anosov problem is in $\textbf{co-NP}$. Secondly, that the problem of deciding whether two mapping classes are conjugate lies in $\textbf{co-NP}$. Similarly, this is the dual to the previously known result that the conjugacy problem is in $\textbf{NP}$. As usual, in both cases we immediately obtain exponential time solutions to these problems. A version of these algorithms have been implemented as part of flipper.

preprint2015arXiv

Deciding reducibility of mapping classes is in $\textbf{NP}$

For a fixed marked surface $S$, we show that the problem of deciding whether or not a mapping class is reducible lies in $\textbf{NP}$. As usual this immediately gives an exponential time algorithm to decide whether or not a mapping class is reducible. To do this we use an (ideal) triangulation to obtain a coordinate system on the set of multicurves on $S$. The result then follows from the fact that the action of the mapping class group of $S$ is piecewise-linear with respect to such a coordinate system and so we are able so show that: if a mapping class $h$ fixes a multicurve then it fixes one whose size is at most exponential in the word length of $h$. We go on to show how to repeat this construction on invariant subsurfaces. This allows us to show that a similar bound holds for the size of the canonical curve system of a mapping class and so give an alternate, elementary proof of a result of Koberda and Mangahas.