Topological Curation of Level Sets

advertisement
Topology Based Selection and
Curation of Level Sets
Andrew Gillette
Joint work with
Chandrajit Bajaj and Samrat Goswami
Center for Computational Visualization
Institute of Computational and Engineering Sciences
Department of Computer Sciences
March 2007
University of Texas at Austin
Problem Statement
Given a trivariate function
we
want to select a level set L(r) =
with the following properties:
1) L(r) is a single, smooth component.
2) L(r) does not have any topological or
geometrical features of size less than
where the size of a feature is measured in
the complementary space. The value of
is determined by the application domain.
Center for Computational Visualization
University of Texas at Austin
March 2007
Application: Molecular Surface Selection
• We need a molecular surface model
to study molecular function (charge,
binding affinity, hydrophobicity, etc).
• We can create an implicit solvation
surface as the level set of an
electron density function.
• Our selected level set should be a
single component and have no small
features (tunnels, pockets, or voids).
“The World of the Cell” 1996
Center for Computational Visualization
University of Texas at Austin
March 2007
Computational Pipeline
Physical
Observation
Atomic Data
(e.g. pdb files for
proteins)
Gaussian Decay Model
Volumetric Data
(e.g. cryo-EM for
viruses)
Trivariate
Electron Density
Function
Level Set
(isosurface)
Selection
Center for Computational Visualization
University of Texas at Austin
Our algorithm:
Level Set
(isosurface)
Curation
March 2007
Example 1: Gramicidin A
Images created from Protein Data Bank file 1MAG
• Three topologically distinct isosurfaces for the
molecule are shown
• We need information on the topology of the
complementary space to select a correct isosurface
Center for Computational Visualization
University of Texas at Austin
March 2007
Example 2: mouse Acetylcholinesterase
• Two isosurfaces for the molecule are shown, with an
important pocket magnified
• We need information on the geometry of the
complementary space to select a correct isosurface
and ensure correct energetics calculations
Center for Computational Visualization
University of Texas at Austin
March 2007
Example 3: Nodavirus
Data from Tim Baker, UCSD; Images generated at CVC, UT Austin
• A rendering of the cryo-EM map and two
isosurfaces of the virus capsid are shown
• We need to locate symmetrical topological features
to select a correct isosurface
Center for Computational Visualization
University of Texas at Austin
March 2007
Mathematical Preliminaries
A. Contour Tree
B. Voronoi / Delaunay
Triangulation
C. Distance Function and
Stable Manifolds
Center for Computational Visualization
University of Texas at Austin
March 2007
Prior Related Work
Isosurface Selection via Contour Tree
Modern application of contour trees:
“Trekking in the alps without freezing or getting tired” (de Berg, van Kreveld: 1997)
“Contour trees and small seed sets for isosurface traversal” (van Kreveld, van Oostrum,
Bajaj, Pascucci, Schikore: 1997)
Computation via split and join trees:
“Computing contour trees in all dimensions” (Carr, Snoeyink, Axen: 2001)
Betti numbers and augmented contour trees:
“Parallel computation of the topology of level sets” (Pascucci, Cole-McLaughlin: 2003)
Distance Function and Stable Manifold Computation
“Shape segmentation and matching with flow discretization” (Dey, Giesen, Goswami:
2003)
“Surface reconstruction by wrapping finite point sets in space” (Edelsbrunner: 2002)
“The flow complex: a data structure for geometric modeling.” (Giesen, John: 2003)
“Identifying flat and tubular regions of a shape by unstable manifolds” (Goswami, Dey,
Bajaj: 2006)
Center for Computational Visualization
University of Texas at Austin
March 2007
Level Sets and Contours
• In this talk, f(x,y,z) will denote the electron
density at the point (x,y,z)
• An isosurface in this context is a level set of the
function f, that is, a set of the type
• Each component of
an isosurface is
called a contour
• We select an
isosurface with a
single component via
the contour tree
Center for Computational Visualization
University of Texas at Austin
Isosurface
with three
contours
March 2007
Contour Tree
• Recall
• A critical isovalue of f is a value r
such that f -1(r) is not a 2-manifold
• Examples: r is a value where
contours emerge, merge, split, or
vanish.
r=1
r=2
r=3
non-critical
critical
non-critical
Center for Computational Visualization
University of Texas at Austin
March 2007
Contour Tree
• The contour tree is a tool used to aid in
the selection of an isosurface
• Vertices: subset of critical values of f
• Edges: connect vertices along which a
contour smoothly deforms
Increasing isovalues 
Isovalue selector
Center for Computational Visualization
University of Texas at Austin
March 2007
Isosurface 
(from 1AOR pdb:
Hyperthormophilic
Tungstopterin
Enzyme, Aldehyde
Ferredoxin
Oxidoreductase)
Bar below green
square indicates
isovalue selection

Center for Computational Visualization
University of Texas at Austin
March 2007
Isosurface 
(from 1AOR pdb:
Hyperthormophilic
Tungstopterin
Enzyme, Aldehyde
Ferredoxin
Oxidoreductase)
Bar below green
square indicates
isovalue selection

Center for Computational Visualization
University of Texas at Austin
March 2007
Isosurface 
(from 1AOR pdb:
Hyperthormophilic
Tungstopterin
Enzyme, Aldehyde
Ferredoxin
Oxidoreductase)
Bar below green
square indicates
isovalue selection

Center for Computational Visualization
University of Texas at Austin
March 2007
Isosurface 
(from 1AOR pdb:
Hyperthormophilic
Tungstopterin
Enzyme, Aldehyde
Ferredoxin
Oxidoreductase)
Bar below green
square indicates
isovalue selection

Center for Computational Visualization
University of Texas at Austin
March 2007
Isosurface 
(from 1AOR pdb:
Hyperthormophilic
Tungstopterin
Enzyme, Aldehyde
Ferredoxin
Oxidoreductase)
Bar below green
square indicates
isovalue selection

Center for Computational Visualization
University of Texas at Austin
March 2007
Voronoi Diagram
• Let P be a finite set of points in
• The set of Vp partition
and “meet nicely” along
faces and edges.
• A 2-D example is shown 
Center for Computational Visualization
University of Texas at Austin
March 2007
Delaunay Diagram
Vor P
• Voronoi diagram = Vor P
• Delaunay diagram = Del P
• Del P is defined to be the dual of
Vor P
– Vertices = P
– Edges = dual to Vp facets
– Facets = dual to Vp edges
– Tetrahedra = centered at Vor P
vertices
Center for Computational Visualization
University of Texas at Austin
Del P
March 2007
The distance function
• Let S be a surface smoothly embedded in
• Let P be a finite sampling of points on S.
Then we approximate:
Center for Computational Visualization
University of Texas at Austin
March 2007
Critical points of hP by analogy
hS
hP
Smooth
Not smooth
Gradient
Flow
Gradient = 0
Intersection of Vor P and Del P
Minimum
Point of P
Index 1 saddle
Intersection of Vor P facet and Del
P edge
Index 2 saddle
Intersection of Del P facet and Vor
P edge
Maximum
Vertex of Vor P
Center for Computational Visualization
University of Texas at Austin
March 2007
Flow
Sample Point
Minimum
Saddle
Maximum
Orbit
• Flow describes how a point x moves if it is allowed
to move in the direction of steepest ascent, that is,
the direction that most rapidly increases the
distance of x from all points in P.
• The corresponding path is called an orbit of x.
Center for Computational Visualization
University of Texas at Austin
March 2007
Stable Manifolds
Given a critical value c of hP, the stable manifold of c is
the set of points whose orbits end at c.
Stable manifold of a…
…has boundary S.M. of a…
Max
Index 2 saddle
Index 2 saddle
Index 1 saddle
Index 1 saddle
Min
Min
(no boundary)
Center for Computational Visualization
University of Texas at Austin
March 2007
Algorithm and Results
A. Description of Algorithm
B. Results
C.Future Work
Center for Computational Visualization
University of Texas at Austin
March 2007
Algorithm in words
Given an isosurface S sampled by pointset P:
1.Find critical points of distance function hP
2.Classify critical points exterior to S as max,
saddle, or saddle incident on infinity
3.Cluster points based on stable manifolds
4.Classify clusters based on number of mouths
5.Rank clusters based on geometric
significance
Center for Computational Visualization
University of Texas at Austin
March 2007
Algorithm in pictures
1
2
3
4
5
Void:
Pocket:
Tunnel:
Center for Computational Visualization
University of Texas at Austin
March 2007
Results
Center for Computational Visualization
University of Texas at Austin
March 2007
Results
From 1RIE pdb
(Rieske Iron-Sulfur
Protein of the bovine
heart mitochondrial
cytochrome BC1complex)
Center for Computational Visualization
University of Texas at Austin
March 2007
Results
• The chaperon GroEL; generated from cryo-EM
density map.
• The large tunnel is used for forming and folding
proteins.
Center for Computational Visualization
University of Texas at Austin
March 2007
Future Work
 What makes a point set P sufficient for
applying our algorithm?
 How can we provide a “quick update” to the
distance function for a range of isovalues?
 Compare energy calculations on our preand post-curation surfaces.
Center for Computational Visualization
University of Texas at Austin
March 2007
Thank you!
(Danke)
Center for Computational Visualization
University of Texas at Austin
March 2007
Download