-
Uniqueness of the partial travel time representation of a compact Riemannian manifold with strictly convex boundary
Authors:
Ella Pavlechko,
Teemu Saksala
Abstract:
In this paper a compact Riemannian manifold with strictly convex boundary is reconstructed from its partial travel time data. This data assumes that an open measurement region on the boundary is given, and that for every point in the manifold, the respective distance function to the points on the measurement region is known. This geometric inverse problem has many connections to seismology, in par…
▽ More
In this paper a compact Riemannian manifold with strictly convex boundary is reconstructed from its partial travel time data. This data assumes that an open measurement region on the boundary is given, and that for every point in the manifold, the respective distance function to the points on the measurement region is known. This geometric inverse problem has many connections to seismology, in particular to micro seismicity. The reconstruction is based on embedding the manifold in a function space. This requires the differentiation of the distance functions. Therefore this paper also studies some global regularity properties of the distance function on a compact Riemannian manifold with strictly convex boundary.
△ Less
Submitted 18 April, 2022; v1 submitted 5 January, 2022;
originally announced January 2022.
-
Properties for the Frechet Mean in Billera-Holmes-Vogtmann Treespace
Authors:
Maria Anaya,
Olga Anipchenko-Ulaj,
Aisha Ashfaq,
Joyce Chiu,
Mahedi Kaiser,
Max Shoji Ohsawa,
Megan Owen,
Ella Pavlechko,
Katherine St. John,
Shivam Suleria,
Keith Thompson,
Corrine Yap
Abstract:
The Billera-Holmes-Vogtmann (BHV) space of weighted trees can be embedded in Euclidean space, but the extrinsic Euclidean mean often lies outside of treespace. Sturm showed that the intrinsic Frechet mean exists and is unique in treespace. This Frechet mean can be approximated with an iterative algorithm, but bounds on the convergence of the algorithm are not known, and there is no other known pol…
▽ More
The Billera-Holmes-Vogtmann (BHV) space of weighted trees can be embedded in Euclidean space, but the extrinsic Euclidean mean often lies outside of treespace. Sturm showed that the intrinsic Frechet mean exists and is unique in treespace. This Frechet mean can be approximated with an iterative algorithm, but bounds on the convergence of the algorithm are not known, and there is no other known polynomial algorithm for computing the Frechet mean nor even the edges present in the mean. We give the first necessary and sufficient conditions for an edge to be in the Frechet mean. The conditions are in the form of inequalities on the weights of the edges. These conditions provide a pre-processing step for finding the treespace orthant containing the Frechet mean. This work generalizes to orthant spaces.
△ Less
Submitted 12 July, 2019;
originally announced July 2019.
-
On Determining if Tree-based Networks Contain Fixed Trees
Authors:
Maria Anaya,
Olga Anipchenko-Ulaj,
Aisha Ashfaq,
Joyce Chiu,
Mahedi Kaiser,
Max Shoji Ohsawa,
Megan Owen,
Ella Pavlechko,
Katherine St. John,
Shivam Suleria,
Keith Thompson,
Corrine Yap
Abstract:
We address an open question of Francis and Steel about phylogenetic networks and trees. They give a polynomial time algorithm to decide if a phylogenetic network, N, is tree-based and pose the problem: given a fixed tree T and network N, is N based on T? We show that it is NP-hard to decide, by reduction from 3-Dimensional Matching (3DM), and further, that the problem is fixed parameter tractable.
We address an open question of Francis and Steel about phylogenetic networks and trees. They give a polynomial time algorithm to decide if a phylogenetic network, N, is tree-based and pose the problem: given a fixed tree T and network N, is N based on T? We show that it is NP-hard to decide, by reduction from 3-Dimensional Matching (3DM), and further, that the problem is fixed parameter tractable.
△ Less
Submitted 8 February, 2016;
originally announced February 2016.
