-
Towards a theory of statistical tree-shape analysis
Authors:
Aasa Feragen,
Pechin Lo,
Marleen de Bruijne,
Mads Nielsen,
Francois Lauze
Abstract:
In order to develop statistical methods for shapes with a tree-structure, we construct a shape space framework for tree-like shapes and study metrics on the shape space. This shape space has singularities, corresponding to topological transitions in the represented trees. We study two closely related metrics on the shape space, TED and QED. QED is a quotient Euclidean distance arising naturally fr…
▽ More
In order to develop statistical methods for shapes with a tree-structure, we construct a shape space framework for tree-like shapes and study metrics on the shape space. This shape space has singularities, corresponding to topological transitions in the represented trees. We study two closely related metrics on the shape space, TED and QED. QED is a quotient Euclidean distance arising naturally from the shape space formulation, while TED is the classical tree edit distance. Using Gromov's metric geometry we gain new insight into the geometries defined by TED and QED. We show that the new metric QED has nice geometric properties which facilitate statistical analysis, such as existence and local uniqueness of geodesics and averages. TED, on the other hand, does not share the geometric advantages of QED, but has nice algorithmic properties. We provide a theoretical framework and experimental results on synthetic data trees as well as airway trees from pulmonary CT scans. This way, we effectively illustrate that our framework has both the theoretical and qualitative properties necessary to build a theory of statistical tree-shape analysis.
△ Less
Submitted 23 July, 2012;
originally announced July 2012.
-
The structure of groups of multigerm equivalences
Authors:
Aasa Feragen,
Andrew du Plessis
Abstract:
We study the structure of classical groups of equivalences for smooth multigerms $f \colon (N,S) \to (P,y)$, and extend several known results for monogerm equivalences to the case of mulitgerms. In particular, we study the group $\A$ of source- and target diffeomorphism germs, and its stabilizer $\A_f$. For monogerms $f$ it is well-known that if $f$ is finitely $\A$-determined, then $\A_f$ has a m…
▽ More
We study the structure of classical groups of equivalences for smooth multigerms $f \colon (N,S) \to (P,y)$, and extend several known results for monogerm equivalences to the case of mulitgerms. In particular, we study the group $\A$ of source- and target diffeomorphism germs, and its stabilizer $\A_f$. For monogerms $f$ it is well-known that if $f$ is finitely $\A$-determined, then $\A_f$ has a maximal compact subgroup $MC(\A_f)$, unique up to conjugacy, and $\A_f/MC(\A_f)$ is contractible. We prove the same result for finitely $\A$-determined multigerms $f$. Moreover, we show that for a ministable multigerm $f$, the maximal compact subgroup $MC(\A_f)$ decomposes as a product of maximal compact subgroups $MC(\A_{g_i})$ for suitable representatives $g_i$ of the monogerm components of $f$. We study a product decomposition of $MC(\A_f)$ in terms of $MC(\mathscr{R}_f)$ and a group of target diffeomorphisms, and conjecture a decomposition theorem. Finally, we show that for a large class of maps, maximal compact subgroups are small and easy to compute.
△ Less
Submitted 10 October, 2011;
originally announced October 2011.
-
A short and elementary proof of Hanner's theorem
Authors:
Aasa Feragen
Abstract:
Hanner's theorem is a classical theorem in the theory of retracts and extensors in topological spaces, which states that a local ANE is an ANE. While Hanner's original proof of the theorem is quite simple for separable spaces, it is rather involved for the general case. We provide a proof which is not only short, but also elementary, relying only on well-known classical point-set topology.
Hanner's theorem is a classical theorem in the theory of retracts and extensors in topological spaces, which states that a local ANE is an ANE. While Hanner's original proof of the theorem is quite simple for separable spaces, it is rather involved for the general case. We provide a proof which is not only short, but also elementary, relying only on well-known classical point-set topology.
△ Less
Submitted 18 November, 2010;
originally announced November 2010.
-
Equivariant embedding of metrizable $G$-spaces in linear $G$-spaces
Authors:
Aasa Feragen
Abstract:
Given a Lie group $G$ we study the class $\M$ of proper metrizable $G$-spaces with metrizable orbit spaces, and show that any $G$-space $X \in \M$ admits a closed $G$-embedding into a convex $G$-subset $C$ of some locally convex linear $G$-space, such that $X$ has some $G$-neighborhood in $C$ which belongs to the class $\M$. As corollaries we see that any $G$-ANE for $\M$ has the $G$-homotopy ty…
▽ More
Given a Lie group $G$ we study the class $\M$ of proper metrizable $G$-spaces with metrizable orbit spaces, and show that any $G$-space $X \in \M$ admits a closed $G$-embedding into a convex $G$-subset $C$ of some locally convex linear $G$-space, such that $X$ has some $G$-neighborhood in $C$ which belongs to the class $\M$. As corollaries we see that any $G$-ANE for $\M$ has the $G$-homotopy type of some $G$-CW complex and that any $G$-ANR for $\M$ is a $G$-ANE for $\M$.
△ Less
Submitted 8 November, 2006;
originally announced November 2006.
