topological ppt

Upload: chun-geng

Post on 05-Apr-2018

217 views

Category:

Documents


0 download

TRANSCRIPT

  • 7/31/2019 Topological ppt

    1/18

    Topological Algorithm

    David Gu1

    1Mathematics Science CenterTsinghua University

    Tsinghua University

    David Gu Conformal Geometry

    http://find/http://goback/
  • 7/31/2019 Topological ppt

    2/18

    Algebraic Topology

    David Gu Conformal Geometry

    http://find/
  • 7/31/2019 Topological ppt

    3/18

    orientation

    Suppose Ck, = [v0,v1, ,ck] Let p be a permutation,then if {p(0),p(1), ,p(k)} differs from {0,1, ,k} by even

    number of swaps, then [vp(0),vp(1), ,vp(k)] has the sameorientation with ; if they differ by an odd number of swaps,

    then [vp(0),vp(1), ,vp(k)] = 1.

    David Gu Conformal Geometry

    http://find/
  • 7/31/2019 Topological ppt

    4/18

    Computing Homology basis

    Suppose M is a triangle mesh, with vertices, edges and faces

    V,E,F respectively. Given two simplices i Ck, j Ck1,denote the adjacency number,

    [i,j] =

    +1 j i1 1j i0 ji = /0

    David Gu Conformal Geometry

    http://find/
  • 7/31/2019 Topological ppt

    5/18

    Computing Homology basis

    V = {vi} form the basis of C0, E = {ej} form the basis of C1,F = {fk} form the basis of C2. 1 : C1 C0 and 2 : C2 C1are linear maps, and represented as matrices.

    2 = ([fk,ej]),1 = ([ej,vi]).

    construct the following linear operator : C1 C1,

    = 2 T2 +

    T1 1,

    the eigen vectors corresponding to zero eigen values are thebasis of H1(,).

    David Gu Conformal Geometry

    http://find/
  • 7/31/2019 Topological ppt

    6/18

    Computing Homology basis

    Definition (Cut Graph)

    A cut graph G of a mesh is a graph formed by non-orientededges of , such that /G is a topological disk.

    Figure: Cut graph

    David Gu Conformal Geometry

    C G

    http://find/
  • 7/31/2019 Topological ppt

    7/18

    Cut Graph

    Algorithm:Cut graph

    Input: A triangular mesh .Output: A cut graph G

    1 Compute the dual mesh , each edge e has a uniquedual edge e .

    2 Compute a spanning tree T of .

    3 The put graph is the union of all edges whose dual edges

    are in T.

    G= {e e T}.

    David Gu Conformal Geometry

    W d

    http://find/
  • 7/31/2019 Topological ppt

    8/18

    Wedge

    Definition (Wedge)

    On a face f, a corner at vertex v is denoted as a pair (f,v), and

    represented using halfedge data structure. Given a vertex v,the corners adjacent to it are ordered counter-clockwisely. A

    maximal sequence of adjacent corners without sharp edges

    form a wedge.

    Figure: Cut graphDavid Gu Conformal Geometry

    F d t l D i

    http://find/http://goback/
  • 7/31/2019 Topological ppt

    9/18

    Fundamental Domain

    Algorithm: Fundamental Domain

    Input: A mesh and a cut graph G.Output: A fundamental domain .

    1 Compute the cut graph G of , label all the edges in G assharp edges.

    2 Compute the wedges of formed by sharp edges.

    3 Construct an empty mesh .

    4 For each wedge w insert a vertex into .

    5

    For each face f = [v0,v1,v2] in , insert a facef = [w0,w1,w2] into , such that the corner (f,vk) belongsto the wedge wk, (f,vk) wk.

    David Gu Conformal Geometry

    F d t l D i

    http://find/
  • 7/31/2019 Topological ppt

    10/18

    Fundamental Domain

    input mesh cut graph fundamental domain

    Figure: Fundamental domain

    David Gu Conformal Geometry

    H m l b i

    http://find/
  • 7/31/2019 Topological ppt

    11/18

    Homology basis

    Theorem (Homology basis)

    Suppose is a closed mesh, G is a cut graph of, then thebasis of loops of G (assigned with an orientation) is also ahomology basis of.

    Proof.

    The computation of the cut graph in fact find a CW-celldecomposition

    = GD2,

    where D2 is a 2-cell. Suppose {1,2, ,n} are the loop basis

    of G, D2 is a loop in G, which is represented as a word in1(G), then

    1() = 1,2, ,nD2.

    David Gu Conformal Geometry

    Homology basis

    http://find/
  • 7/31/2019 Topological ppt

    12/18

    Homology basis

    Algorithm: Loop basis for a graph G

    Input: A graph G.

    Output: A basis of loops of G.

    1 Compute a spanning tree T of G.2 G/T = {e1,e2, ,en}.

    3 eiT has a unique loop, denoted as i.

    4 {1,2, ,n} form a basis of 1(G).

    David Gu Conformal Geometry

    Homology Basis

    http://find/http://goback/
  • 7/31/2019 Topological ppt

    13/18

    Homology Basis

    Figure: Homology basis

    David Gu Conformal Geometry

    Universal Covering Space

    http://find/
  • 7/31/2019 Topological ppt

    14/18

    Universal Covering Space

    Algorithm: Universal covering space

    Input: A mesh .

    Output: A finite portion of the universal cover .

    1 Compute a cut graph G of . We call a vertex on G withvalence greater than 2 a knot. The knots divide G to

    segments, assign an orientation to each segment, label the

    segments as {s1,s2, ,sn}.2 Compute a fundamental domain , induced by G, whose

    boundary is composed of sks.

    3 Initialize , , represented using sks.

    4 Glue one copy of to the current along only onesegment sk , sk , sk .

    5 Update , if sk are adjacent in , glue them. Repeatthis step, until there is no adjacent sk in the boundary .

    6

    Repeat gluing copies of until

    is large enough.

    David Gu Conformal Geometry

    Universal Covering Space

    http://find/http://goback/
  • 7/31/2019 Topological ppt

    15/18

    Universal Covering Space

    input mesh one fundamental domain universal cover

    Figure: universal covering space

    David Gu Conformal Geometry

    Cohomology Basis

    http://find/http://goback/
  • 7/31/2019 Topological ppt

    16/18

    Cohomology Basis

    Algorithm: Cohomology Basis

    Input: A homology basis {1,2, ,n} Output: A cohomologybasis {1,2, ,n}

    1 select k, slice the mesh open along k, to get an open

    mesh k, k = +k k .

    2 Set a 0-form fk : k , such that v +k , fk(v) = 1;

    v k , fk(v) = 0.

    3 0fk is defined on k, because it is consistent on the

    corresponding edges on

    +

    k and

    k , so it is well defined on as well.

    David Gu Conformal Geometry

    Double Covering

    http://find/
  • 7/31/2019 Topological ppt

    17/18

    Double Covering

    Algorithm: Double Cover

    Input: An open mesh with boundaries. Output: The double

    covering of the mesh, which is a closed symmetric mesh.

    1 construct a copy of the input mesh

    2

    reverse the orientation of the copy, each [v0,v1,v2] isconverted to [v1,v0,v2].

    3 Identify each boundary vertex in with the correspondingone in ,

    4 each boundary halfedge e has a uniquecorresponding halfedge e . glue the correspondingboundary halfedges to the same boundary edge.

    David Gu Conformal Geometry

    double cover

    http://find/http://goback/
  • 7/31/2019 Topological ppt

    18/18

    double cover

    Figure: Double Covering

    David Gu Conformal Geometry

    http://find/http://goback/