Showing 1–4 of 4 results for author: Provan, J S

Polyhedral computational geometry for averaging metric phylogenetic trees

Authors: Ezra Miller, Megan Owen, J. Scott Provan

Abstract: This paper investigates the computational geometry relevant to calculations of the Frechet mean and variance for probability distributions on the phylogenetic tree space of Billera, Holmes and Vogtmann, using the theory of probability measures on spaces of nonpositive curvature developed by Sturm. We show that the combinatorics of geodesics with a specified fixed endpoint in tree space are determi… ▽ More This paper investigates the computational geometry relevant to calculations of the Frechet mean and variance for probability distributions on the phylogenetic tree space of Billera, Holmes and Vogtmann, using the theory of probability measures on spaces of nonpositive curvature developed by Sturm. We show that the combinatorics of geodesics with a specified fixed endpoint in tree space are determined by the location of the varying endpoint in a certain polyhedral subdivision of tree space. The variance function associated to a finite subset of tree space has a fixed $C^\infty$ algebraic formula within each cell of the corresponding subdivision, and is continuously differentiable in the interior of each orthant of tree space. We use this subdivision to establish two iterative methods for producing sequences that converge to the Frechet mean: one based on Sturm's Law of Large Numbers, and another based on descent algorithms for finding optima of smooth functions on convex polyhedra. We present properties and biological applications of Frechet means and extend our main results to more general globally nonpositively curved spaces composed of Euclidean orthants. △ Less

Submitted 16 February, 2014; v1 submitted 29 November, 2012; originally announced November 2012.

Comments: 43 pages, 6 figures; v2: fixed typos, shortened Sections 1 and 5, added counter example for polyhedrality of vistal subdivision in general CAT(0) cubical complexes; v1: 43 pages, 5 figures

Minimum Opaque Covers for Polygonal Regions

Authors: J. Scott Provan, Marcus Brazil, Doreen Thomas, Jia F. Weng

Abstract: The Opaque Cover Problem (OCP), also known as the Beam Detector Problem, is the problem of finding, for a set S in Euclidean space, the minimum-length set F which intersects every straight line passing through S. In spite of its simplicity, the problem remains remarkably intractable. The aim of this paper is to establish a framework and fundamental results for minimum opaque covers where S is a po… ▽ More The Opaque Cover Problem (OCP), also known as the Beam Detector Problem, is the problem of finding, for a set S in Euclidean space, the minimum-length set F which intersects every straight line passing through S. In spite of its simplicity, the problem remains remarkably intractable. The aim of this paper is to establish a framework and fundamental results for minimum opaque covers where S is a polygonal region in two-dimensional space. We begin by giving some general results about opaque covers, and describe the close connection that the OCP has with the Point Goalie Problem. We then consider properties of graphical solutions to the OCP when S is a convex polygonal region in the plane. △ Less

Submitted 30 October, 2012; originally announced October 2012.

MSC Class: 68U05 ACM Class: F.2.2; G.2.2

A Fast Algorithm for Computing Geodesic Distances in Tree Space

Authors: Megan Owen, J. Scott Provan

Abstract: Comparing and computing distances between phylogenetic trees are important biological problems, especially for models where edge lengths play an important role. The geodesic distance measure between two phylogenetic trees with edge lengths is the length of the shortest path between them in the continuous tree space introduced by Billera, Holmes, and Vogtmann. This tree space provides a powerful… ▽ More Comparing and computing distances between phylogenetic trees are important biological problems, especially for models where edge lengths play an important role. The geodesic distance measure between two phylogenetic trees with edge lengths is the length of the shortest path between them in the continuous tree space introduced by Billera, Holmes, and Vogtmann. This tree space provides a powerful tool for studying and comparing phylogenetic trees, both in exhibiting a natural distance measure and in providing a Euclidean-like structure for solving optimization problems on trees. An important open problem is to find a polynomial time algorithm for finding geodesics in tree space. This paper gives such an algorithm, which starts with a simple initial path and moves through a series of successively shorter paths until the geodesic is attained. △ Less

Submitted 4 November, 2009; v1 submitted 23 July, 2009; originally announced July 2009.

Comments: 20 pages, 5 figures. Added new section on including common edges and leaf edge-lengths in the algorithm, clarified starting point for algorithm, added references, other minor improvements. To appear in IEEE/ACM Transactions on Computational Biology and Bioinformatics

Enumeration in convex geometries and associated polytopal subdivisions of spheres

Authors: Louis J. Billera, Samuel K. Hsiao, J. Scott Provan

Abstract: We construct CW spheres from the lattices that arise as the closed sets of a convex closure, the meet-distributive lattices. These spheres are nearly polytopal, in the sense that their barycentric subdivisions are simplicial polytopes. The complete information on the numbers of faces and chains of faces in these spheres can be obtained from the defining lattices in a manner analogous to the rela… ▽ More We construct CW spheres from the lattices that arise as the closed sets of a convex closure, the meet-distributive lattices. These spheres are nearly polytopal, in the sense that their barycentric subdivisions are simplicial polytopes. The complete information on the numbers of faces and chains of faces in these spheres can be obtained from the defining lattices in a manner analogous to the relation between arrangements of hyperplanes and their underlying geometric intersection lattices. △ Less

Submitted 19 April, 2006; v1 submitted 26 May, 2005; originally announced May 2005.

Comments: 18 pages, 4 figures; incorporates suggestions by referees; minor revisions throughout; expanded discussion on chain enumeration in last section; to be published in Discrete and Computational Geometry

MSC Class: 05E99; 06A07; 52B05; 52B40 (primary); 06B99; 52C40 (secondary)