39,882 research outputs found
Neighborhoods of trees in circular orderings
In phylogenetics, a common strategy used to construct an evolutionary tree for a set of species X is to search in the space of all such trees for one that optimizes some given score function (such as the minimum evolution, parsimony or likelihood score). As this can be computationally intensive, it was recently proposed to restrict such searches to the set of all those trees that are compatible with some circular ordering of the set X. To inform the design of efficient algorithms to perform such searches, it is therefore of interest to find bounds for the number of trees compatible with a fixed ordering in the neighborhood of a tree that is determined by certain tree operations commonly used to search for trees: the nearest neighbor interchange (nni), the subtree prune and regraft (spr) and the tree bisection and reconnection (tbr) operations. We show that the size of such a neighborhood of a binary tree associated with the nni operation is independent of the treeās topology, but that this is not the case for the spr and tbr operations. We also give tight upper and lower bounds for the size of the neighborhood of a binary tree for the spr and tbr operations and characterize those trees for which these bounds are attained
Universal circles for quasigeodesic flows
We show that if M is a hyperbolic 3-manifold which admits a quasigeodesic
flow, then pi_1(M) acts faithfully on a universal circle by homeomorphisms, and
preserves a pair of invariant laminations of this circle. As a corollary, we
show that the Thurston norm can be characterized by quasigeodesic flows,
thereby generalizing a theorem of Mosher, and we give the first example of a
closed hyperbolic 3-manifold without a quasigeodesic flow, answering a
long-standing question of Thurston.Comment: This is the version published by Geometry & Topology on 29 November
2006. V4: typsetting correction
Dynamical forcing of circular groups
In this paper we introduce and study the notion of dynamical forcing. Basically, we develop a toolkit of techniques to produce finitely presented groups which can only act on the circle with certain prescribed dynamical properties. As an application, we show that the set X ā R/Z consisting of rotation numbers Īø which can be forced by finitely presented groups is an infinitely generated Q-module, containing countably infinitely many algebraically independent transcendental numbers. Here a rotation number Īø is forced by a pair (G_Īø, Ī±), where G_Īø is a finitely presented group G_Īø and Ī± ā G_Īø is some element, if the set of rotation numbers of Ļ(Ī±) as Ļ ā Hom(G_Īø, Homeo^(+)(S^1)) is precisely the set {0,Ā±Īø}.
We show that the set of subsets of R/Z which are of the
form rot(X(G, Ī±)) = {r ā R/Z | r = rot(Ļ(Ī±)), Ļ ā Hom(G, Homeo^(+)(S^1))}, where G varies over countable groups, are exactly the set of closed subsets which contain 0 and are invariant under xāāx. Moreover, we show that every such subset can be approximated from above by rot(X(G_i, Ī±_i)) for finitely presented G_i.
As another application, we construct a finitely generated group Ī which acts faithfully on the circle, but which does not admit any faithful C^1 action, thus answering in the negative a question of John Franks
A strong Oka principle for embeddings of some planar domains into CxC*
Gromov, in his seminal 1989 paper on the Oka principle, introduced the notion
of an elliptic manifold and proved that every continuous map from a Stein
manifold to an elliptic manifold is homotopic to a holomorphic map. We show
that a much stronger Oka principle holds in the special case of maps from
certain open Riemann surfaces called circular domains into CxC*, namely that
every continuous map is homotopic to a proper holomorphic embedding. An
important ingredient is a generalisation to CxC* of recent results of Wold and
Forstneric on the long-standing problem of properly embedding open Riemann
surfaces into C^2, with an additional result on the homotopy class of the
embeddings. We also give a complete solution to a question that arises
naturally in Larusson's holomorphic homotopy theory, of the existence of
acyclic embeddings of Riemann surfaces with abelian fundamental group into
2-dimensional elliptic Stein manifolds.Comment: 25 page
- ā¦