mathieu dutour and michel deza- zigzags in plane graphs and generalizations

Upload: flaoeram

Post on 06-Apr-2018

218 views

Category:

Documents


0 download

TRANSCRIPT

  • 8/3/2019 Mathieu Dutour and Michel Deza- Zigzags in plane graphs and generalizations

    1/56

  • 8/3/2019 Mathieu Dutour and Michel Deza- Zigzags in plane graphs and generalizations

    2/56

    I. Simple

    two-faced

    polyhedra

    p.2/4

  • 8/3/2019 Mathieu Dutour and Michel Deza- Zigzags in plane graphs and generalizations

    3/56

    Polyhedra and planar graphs

    A graph is called

    -connected if after removing any set of

    vertices it remains connected.

    The skeleton of a polytope

    is the graph

    formed byits vertices, with two vertices adjacent if they generate aface of

    .

    Theorem (Steinitz)(i) A graph

    is the skeleton of a

    -polytope if and only if it is planar and

    -connected.(ii)

    and

    are in the same combinatorial type if and only if

    is isomorphic to

    .

    The dual graph

    of a plane graph

    is the plane graphformed by the faces of

    , with two faces adjacent if theyshare an edge.

    p.3/4

  • 8/3/2019 Mathieu Dutour and Michel Deza- Zigzags in plane graphs and generalizations

    4/56

    Simple two-faced polyhedra

    A polyhedron is called simple if all its vertices are

    -valent.If one denote the number of faces of gonality

    , thenEulers relation take the form:

    A simple planar graph is called two-faced if the gonality ofits faces has only two possible values:

    and

    , where

    .

    We consider mainly classes , i.e. simple planar graphswith vertices and

    ;there are

    cases:

    , , .

    p.4/4

  • 8/3/2019 Mathieu Dutour and Michel Deza- Zigzags in plane graphs and generalizations

    5/56

  • 8/3/2019 Mathieu Dutour and Michel Deza- Zigzags in plane graphs and generalizations

    6/56

  • 8/3/2019 Mathieu Dutour and Michel Deza- Zigzags in plane graphs and generalizations

    7/56

    -connectedness

    Theorem

    (i) Any 3-valent plane graph without (>6)-gonal faces is

    -connected.(ii) Moreover, any 3-valent plane graph without (>6)-gonal

    faces is

    -connected except of the following serie

    :

    p.6/4

  • 8/3/2019 Mathieu Dutour and Michel Deza- Zigzags in plane graphs and generalizations

    8/56

    -connectedness

    Theorem

    (i) Any 3-valent plane graph without (>6)-gonal faces is

    -connected.(ii) Moreover, any 3-valent plane graph without (>6)-gonal

    faces is

    -connected except of the following serie

    :

    p.6/4

  • 8/3/2019 Mathieu Dutour and Michel Deza- Zigzags in plane graphs and generalizations

    9/56

  • 8/3/2019 Mathieu Dutour and Michel Deza- Zigzags in plane graphs and generalizations

    10/56

  • 8/3/2019 Mathieu Dutour and Michel Deza- Zigzags in plane graphs and generalizations

    11/56

  • 8/3/2019 Mathieu Dutour and Michel Deza- Zigzags in plane graphs and generalizations

    12/56

    Zigzags

    Take two edges

    p.9/4

  • 8/3/2019 Mathieu Dutour and Michel Deza- Zigzags in plane graphs and generalizations

    13/56

    Zigzags

    Continue it leftright alternatively ....

    p.9/4

  • 8/3/2019 Mathieu Dutour and Michel Deza- Zigzags in plane graphs and generalizations

    14/56

  • 8/3/2019 Mathieu Dutour and Michel Deza- Zigzags in plane graphs and generalizations

    15/56

    Zigzags

    A selfintersecting zigzag

    p.9/4

  • 8/3/2019 Mathieu Dutour and Michel Deza- Zigzags in plane graphs and generalizations

    16/56

    Zigzags

    A double covering of 18 edges: 10+10+16

    z=10 , 162zvector 2,0 p.9/4

  • 8/3/2019 Mathieu Dutour and Michel Deza- Zigzags in plane graphs and generalizations

    17/56

  • 8/3/2019 Mathieu Dutour and Michel Deza- Zigzags in plane graphs and generalizations

    18/56

    Intersection Types

    Let

    and

    be (possibly,

    ) zigzags of a plane graph

    and let an orientation be selected on them. An edge ofintersection

    is called of type I or type II, if

    and

    traverse

    in opposite or same direction, respectively

    ee

    Type I Type II

    ZZZ Z

    The types of self-intersection depends on orientation

    chosen on zigzags except if

    :

    Type IIType I p.10/4

  • 8/3/2019 Mathieu Dutour and Michel Deza- Zigzags in plane graphs and generalizations

    19/56

    D li d

  • 8/3/2019 Mathieu Dutour and Michel Deza- Zigzags in plane graphs and generalizations

    20/56

    Duality and types

    TheoremThe zigzags of a plane graph

    are in one-to-one correspondence with zigzags of

    . The length is

    preserved, but intersection of type I and II are interchanged.TheoremLet

    be a plane graph; for any orientation of all zigzags of

    , we have: (i) The number of edges of type II, which are incident to any xed vertex , is even.(ii) The number of edges of type I, which are incident to any xed face , is even.

    p.12/4

    Bi i h

  • 8/3/2019 Mathieu Dutour and Michel Deza- Zigzags in plane graphs and generalizations

    21/56

    Bipartite graphs

    Remark A plane graph is bipartite if and only if its faces have even gonality.Theorem (Shank-Shtogrin)

    For any planar bipartite graph

    there exist an orientation of zigzags, with respect to which each edge has type I.

    p.13/4

    Zi ti f h

  • 8/3/2019 Mathieu Dutour and Michel Deza- Zigzags in plane graphs and generalizations

    22/56

    Zigzag properties of a graph

    q -uniform : all zigzags have the same length and signature,

    q -transitive : symmetry group is transitive on zigzags,

    q -knotted : there is only one zigzag,

    q -balanced : all zigzags of the same length and signature, haveidentical intersection vectors.

    All known

    -uniform

    -valent graphs are

    -balanced.

    (

    -vertices

    ,

    "

    (

    1

    ) $

    !

    &

    (

    ),

    "

    ) $

    &

    '

    (

    1

    ! (

    ),

    "

    '

    #

    Smallest (among all )

    -valent, all &

    , all

    ) -unbalanced )

    -valent graphs

    p.14/4

  • 8/3/2019 Mathieu Dutour and Michel Deza- Zigzags in plane graphs and generalizations

    23/56

  • 8/3/2019 Mathieu Dutour and Michel Deza- Zigzags in plane graphs and generalizations

    24/56

  • 8/3/2019 Mathieu Dutour and Michel Deza- Zigzags in plane graphs and generalizations

    25/56

    Perfect matching on graphs

  • 8/3/2019 Mathieu Dutour and Michel Deza- Zigzags in plane graphs and generalizations

    26/56

    Perfect matching on graphs

    Let

    be a -knotted graph

    .

    (i)

    with

    . If

    then the edges of type I forma perfect matching

    (iii) every face incident to two orzero edges of

    (iv) two faces,

    and

    are in-cident to zero edges of

    ,

    is organized around themin concentric circles.

    F2

    F1

    M. Deza, M. Dutour and P.W. Fowler, Zigzags, Railroads and Knots in Fullerenes , (2002).

    p.18/4

  • 8/3/2019 Mathieu Dutour and Michel Deza- Zigzags in plane graphs and generalizations

    27/56

    Railroads

  • 8/3/2019 Mathieu Dutour and Michel Deza- Zigzags in plane graphs and generalizations

    28/56

    Railroads

    A railroad in graph ,

    is a circuit of hexagonalfaces, such that any of them is adjacent to its neighbors onopposite faces. Any railroad is bordered by two zigzags.

    0

    &

    %

    0

    $

    #

    Railroads, as well as zigzags, can be self-intersecting(doubly or triply). A graph is called tight if it has no railroad.

    p.20/4

    with triply self int railroad

  • 8/3/2019 Mathieu Dutour and Michel Deza- Zigzags in plane graphs and generalizations

    29/56

    with triply self-int. railroad

    It is smallest such . Green railroad also triply self-int. p.21/4

  • 8/3/2019 Mathieu Dutour and Michel Deza- Zigzags in plane graphs and generalizations

    30/56

  • 8/3/2019 Mathieu Dutour and Michel Deza- Zigzags in plane graphs and generalizations

    31/56

    Triply intersecting railroad in

  • 8/3/2019 Mathieu Dutour and Michel Deza- Zigzags in plane graphs and generalizations

    32/56

    Triply intersecting railroad in

    Conjecture: a railroad-curve of any appears in some .

    p.24/4

  • 8/3/2019 Mathieu Dutour and Michel Deza- Zigzags in plane graphs and generalizations

    33/56

  • 8/3/2019 Mathieu Dutour and Michel Deza- Zigzags in plane graphs and generalizations

    34/56

  • 8/3/2019 Mathieu Dutour and Michel Deza- Zigzags in plane graphs and generalizations

    35/56

  • 8/3/2019 Mathieu Dutour and Michel Deza- Zigzags in plane graphs and generalizations

    36/56

    IPR

  • 8/3/2019 Mathieu Dutour and Michel Deza- Zigzags in plane graphs and generalizations

    37/56

    p.29/4

    Comparing graphs

  • 8/3/2019 Mathieu Dutour and Michel Deza- Zigzags in plane graphs and generalizations

    38/56

    p g g p

    q

    max # of zigzags in tight

    all tight with simple zigzags all tight Cube, Tr. Oct. examples(?)

    int. size of simple zigzags any even ,

    ,

    any even

    p.30/4

  • 8/3/2019 Mathieu Dutour and Michel Deza- Zigzags in plane graphs and generalizations

    39/56

    Parametrizing graphs

  • 8/3/2019 Mathieu Dutour and Michel Deza- Zigzags in plane graphs and generalizations

    40/56

    g g p

    idea: the hexagons are of zero curvature, it sufces to giverelative positions of faces of non-zero curvature.

    Goldberg (1937) All

    , or of symmetry ( , ), ( ,) or (

    ,

    ) are given by Goldberg-Coxeterconstruction

    .

    Fowler and al. (1988) All of symmetry

    2 ,

    ' orare described in terms of parameters.Graver (1999) All can be encoded by

    integerparameters.

    Thurston (1998) The are parametrized by

    complexparameters.

    Sah (1994) Thurstons result implies that the Nrs of

    , ,

    ,

    %

    ,

    . p.32/4

    Goldberg-Coxeter construction

  • 8/3/2019 Mathieu Dutour and Michel Deza- Zigzags in plane graphs and generalizations

    41/56

    g

    Given a

    -valent plane graph

    , the zigzags of theGoldberg-Coxeter construction of

    are obtained by:

    Associating to

    two elements

    and

    of a groupcalled moving group ,

    computing the value of the

    -product

    ,

    the lengths of zigzags are obtained by computing thecycles structure of

    .

    For tight of symmetry

    or

    this gives

    ,

    or

    zigzags.M. Dutour and M. Deza, Goldberg-Coxeter construction for - or

    -valent plane graphs , submitted

    p.33/4

    The structure of graphs

  • 8/3/2019 Mathieu Dutour and Michel Deza- Zigzags in plane graphs and generalizations

    42/56

    triangles in

    The corresponding trian-gulation

    The graph

    p.34/4

  • 8/3/2019 Mathieu Dutour and Michel Deza- Zigzags in plane graphs and generalizations

    43/56

    Conjecture on , parameters

  • 8/3/2019 Mathieu Dutour and Michel Deza- Zigzags in plane graphs and generalizations

    44/56

    For tight graphs

    of symmetry

    %

    ,

    %

    or

    %

    the-vector is of the form

    with

    or

    with

    A knotted of such symmetry has symmetry

    % .

    if there is a knotted of symmetry

    % , then

    is the

    product of at most

    primes

    First

    -knotted

    of sym-metry

    .

    p.36/4

  • 8/3/2019 Mathieu Dutour and Michel Deza- Zigzags in plane graphs and generalizations

    45/56

  • 8/3/2019 Mathieu Dutour and Michel Deza- Zigzags in plane graphs and generalizations

    46/56

  • 8/3/2019 Mathieu Dutour and Michel Deza- Zigzags in plane graphs and generalizations

    47/56

  • 8/3/2019 Mathieu Dutour and Michel Deza- Zigzags in plane graphs and generalizations

    48/56

    Lins trialities

  • 8/3/2019 Mathieu Dutour and Michel Deza- Zigzags in plane graphs and generalizations

    49/56

    our notation notation in [1] notation in [2]

    gem

    dual gem

    phial gem

    skew-dual gem

    skew gem

    skew-phial gem

    Jones, Thornton (1987): those are only good dualities.

    1. S. Lins, Graph-Encoded Maps , J. CombinatorialTheory Ser. B 32 (1982) 171181.

    2. K. Anderson and D.B. Surowski, Coxeter-Petrie Complexes

    of Regular Maps , European J. of Combinatorics 23-8 (2002) 861880. p.41/4

    Example: Tetrahedron

  • 8/3/2019 Mathieu Dutour and Michel Deza- Zigzags in plane graphs and generalizations

    50/56

    two Lins maps on projective plane.

    p.42/4

  • 8/3/2019 Mathieu Dutour and Michel Deza- Zigzags in plane graphs and generalizations

    51/56

  • 8/3/2019 Mathieu Dutour and Michel Deza- Zigzags in plane graphs and generalizations

    52/56

  • 8/3/2019 Mathieu Dutour and Michel Deza- Zigzags in plane graphs and generalizations

    53/56

    VI. Zigzags

    on -dimensionalcomplexes

    p.45/4

  • 8/3/2019 Mathieu Dutour and Michel Deza- Zigzags in plane graphs and generalizations

    54/56

    Zigzag of reg. and semireg. -polytopes

  • 8/3/2019 Mathieu Dutour and Michel Deza- Zigzags in plane graphs and generalizations

    55/56

    -polytope -vector

    Dodecahedron

    -cell

    -cell

    -simplex=

    -cross-polytope=

    octicosahedric polytope

    snub

    -cell

    =Med( )

    =Half-

    -Cube

    =Schli polytope (in

    )

    =Gosset polytope (in

    )

    (

    roots of

    )

    p.47/4

  • 8/3/2019 Mathieu Dutour and Michel Deza- Zigzags in plane graphs and generalizations

    56/56