Maximal states of alternating links with applications Xianan Jin - - PowerPoint PPT Presentation

Maximal states of alternating links with applications

Xian’an Jin School of Mathematical Sciences, Xiamen University,

• P. R. China

SJTU, May 10-13, 2013

This talk is a simplified version of the following manuscript: Jin Xian’an, Ge Jun, Xiao-Sheng Cheng, Maximal states of al- ternating links with applications, submitted. It contains 3 parts: Part I. The genus of a link Part II. The circle number of maximal states Part III. The coincidence and applications

1

Part I. The genus of a link

Knots and links

A (classical) knot is a simple closed curve in R3. A link is the disjoint union of a finite number of knots, usually interlocked with each other; each knot is called a component of the link. A knot is a link with one component. Let L be a link. We denote by µ(L) the number of components of L.

2

Examples: several simplest knots and links.

3

Notes.

• Links in R3 ⊂ S3 are called classical links, distinguishing from

links in other 3-dimensional manifolds.

• To avoid some pathological examples, say, some infinitely

knotted loops, we demand that the closed curve forming a knot is polygonal. In other words, we only consider so-called tame links not wild links.

• We shall always draw links smoothly only for the aesthetic

purpose.

4

Link diagrams

Although (tame) links live in R3, we usually represent them by link diagrams: the projection of the link into R2 with under- passing curves indicated by breaks. There are some technical requirements for the projection such that the projection to be a diagram, and the existence of such projection for a tame link is non-trivial mathematically. We do not talk about details here.

5

Examples: Standard diagrams of trefoil knot, Listing knot, Hopf link and Borromean Rings.

6

An oriented link ⃗ L is a link L with each of its components specified an orientation. Two (oriented) links are equivalent or ambient isotopic if in- tuitively one can be deformed to the other (with orientations respected). We do not talk about the mathematically rigorous definition of ambient isotopy here.

7

Examples: The trivial knot (upper) and the Listing knot (lower).

8

A central question in knot theory is to develop various methods to judge that if two (oriented) links are equivalent. A link invariant is a function from the set of all (oriented) links to any other set such that the function does not change as the (oriented) link is deformed. In other words, a link invariant always assigns the same value to equivalent (oriented) links (although different links may have the same link invariant), a pair of (oriented) links with different invariants must be not equivalent.

9

There are many link invariants. In this talk, we are only interested in the genus invariant of links. Now we recall the definition of the genus of a link.

The genus of a link

Let ⃗ L be an oriented link. An orientable, connected surface that has ⃗ L as its boundary is called a Seifert surface of ⃗ L. Given a diagram ⃗ D of ⃗ L, using Seifert algorithm in 1935, we can obtain a Seifert surface called projection surface formed by disks and twisted bands.

10

Example: The Listing knot and its projection surface. The genus of an oriented link is the minimum genus of all Seifert surfaces of the oriented link. The genus of an unoriented link is the minimum taken over all possible choices of orientation. We denote the genus of an (unoriented) link L by g(L).

11

A link diagram is said to be alternating if it has crossings that alternate between over and under as one travels around each component in a fixed direction. A link is said to be alternating if it admits an alternating link diagram. Theorem A. (Murasugi & Crowell, 1958) Let ⃗ L be an alternating oriented link. Let ⃗ D be an alternating link diagram of ⃗

• L. By applying Seifert’s algorithm to ⃗

D one obtains a Seifert surface of minimal genus of ⃗ L, i.e. the projection surface is with the minimal genus among all Seifert surfaces.

12

Let F be a connected orientable surface formed from d disks and b bands (is now called a cyclic graph or an orientable ribbon graph). Then the Euler Characteristic of F χ(F) = d − b. (1) And hence, the genus of F g(F) = 2 − d + b − bc(F) 2 , (2) where bc(F) is the number of boundary components of F. d ← → # circles b ← → # crossings bc(F) ← → # components It is easy to see that

13

Theorem B. Let D be an alternating link diagram. Let L be the link D represents. Let ¯ smax(D) be the maximal number of circles by applying Seifert’s algorithm to all orientations of D. Then g(L) = 2 − ¯ smax(D) + c(D) − µ(D) 2 , (3) where c(D) and µ(D) are the number of crossings and link com- ponents of D. Hence, if the link L has µ(L) components, we need to consider 2µ(L) different orientations, compute each number of circles and take the maximum over them. The main difficulty lies in that there are too many orientations where µ(L) is large.

14

Part II. The circle number of maximal s- tates

15

Let D be an unoriented link diagram. A state S of D is a labeling each crossing of D by either A or B. Making the corresponding split

A A B B

for each crossing gives a number of disjoint embedded closed circles, called state circles, for S. We write s for the number of state circles of the state S. There are two extreme states SA and SB corresponding to all A-splits and B-splits, respectively, and accordingly write sA and sB for the numbers of state circles of SA and SB. We call the state which possesses maximal number

• f state circles to be a maximal state.

16

• Example. Hopf link D

A A A A B B B B A A A A B B B B A A A A B B B B A A A A B B B B

Thus, smax(D) = sA(D) = sB(D) = 2.

17

Link diagrams from plane graphs via medial construction

We first define the medial graph of a plane graph. The medial graph M(G) of a plane graph G is defined as follows. If G is trivial (i.e. an isolated vertex having no edges), M(G) is a simple closed curve surrounding the vertex. If G is a connected non-trivial plane graph, M(G) is a 4-regular plane graph obtained by inserting a vertex on every edge of G, and joining two new vertices by an edge lying in a region of G if the two vertices are on adjacent edges of the region. If G is not connected, M(G) is defined to be the disjoint union

• f the medial graphs of its connected components.

18

• Example. A plane graph (black) and its medial graph (red).

Given a plane graph G, we first draw its medial graph M(G), then turn M(G) into a link diagram D(G) by turning the vertices

• f M(G) into crossings as shown in the following example.

19

Example. The above procession can be reversed via the checker-board col-

• ring, hence an 1-1 correspondence between plane graphs and

alternating link diagrams (up to mirrors) is established. This correspondence was actually discovered more than one hundred years ago which was once used to knot tabulation in the early time of knot theory.

20

Let G be a plane graph with v(G) vertices, e(G) edges, f(G) faces and k(G) connected components. Then sA(G) := sA(D(G)) = f(G) + k(G) − 1, (4) sB(G) := sB(D(G)) = v(G). (5) Let G be a plane graph. We write smax(G) for the number of state circles of the maximal state of D(G). After trying some graphs, one may guess that smax(G) = max{sA(G), sB(G)}. (6)

21

This guess is not true. For example In fact, let Gn be the plane graph obtained from the n-cycle Cn ( n ≥ 4) by adding n−2 parallel edges to a specific edge of Cn, then f(Gn) = v(Gn) = n. Let S be the state of D(G(n)), crossings corresponding to n−1 parallel edges labeled by A, others labeled by B. Then s = 2n − 3 > n. This means that smax(G) − max{sA(G), sB(G)} can be large ar- bitrarily.

22

More families of plane graphs without parallel edges or vertices

• f degree 2 are also found.

In the following, we suppose that G is a connected plane graph and shall discuss when smax(G) = sA(G) = f(G). We obtain that Lemma C. If G is a 3-edge connected even plane graph and s is the number

• f state circles of any state S of D(G). Then s ≤ sA. In other

words, smax(G) = sA(G) = f(G). We omit the proof of the Lemma C.

23

Remarks.

• 1. The following example implies that the 3-edge connectedness

in Lemma C is necessary.

24

2. The following example implies that there are graphs which are not 3-edge connected but SA possesses the maximal number

• f circles.

25

Part III. Coincidence and applications

26

The coincidence

Let D be a link diagram. Let ⃗ D be the diagram D with a fixed

• rientation. Then the orientation will induce a state of D called

a projection state. Example: The oriented Listing knot and its corresponding pro- jection state.

A A B B

27

Hence, we always have ¯ smax(D) ≤ smax(D). (7) Lemma D. Let G be an even plane graph. Then D(G) has an orientation whose corresponding projection state is exactly the all-A state. Proof. It is well known that the dual graph of an even plane graph is bipartite. Hence regions (i.e. faces) of G can be shaded in a checkerboard fashion.

28

We shall always assume that the unbounded region is unshad-

• ed. Now we give each shaded (black) region a counterclockwise
• rientation and each unshaded (white) region a clockwise orien-
• tation. These region orientations will produce an orientation of

D(G) as illustrated in

29

Example:

30

Theorem E. Let G be a 3-edge connected even plane graph. Then ¯ smax(D(G)) = smax(G) = f(G). (8)

• Proof. It follows from Lemma C and D, i.e.

f(G) = sA(D(G)) = smax(G) ≥ ¯ smax(D(G)) ≥ sA(D(G)) = f(G).

31

Corollary F. Let G be a 3-edge connected even plane graph. Then g(D(G)) = v(G) − µ(D(G)) 2 . (9)

• Proof. It follows directly from Theorems B and E using Euler

formula.

32

Applications

• 1. Protein polyhedral links.

Let P be a polyhedron of degree 3. Let L(P) be the polyhedral link based on P constructed by the 3-cross-curve covering.

33

The above construction is motivated by the topologically linked protein rings in the Bacteriophage HK97 capsid (Science 2000).

34

Note that L(P) can be obtained from the line graph Line(P) of the skeleton graph of P via the medial construction. We have g(L(P)) = v(Line(P))µ(L(P)) 2 = e(P) − f(P) 2 = v(P) 2 − 1.

35

• 2. Jaeger’s links.

Jaeger’s construction of a link J(G) from a plane graph G. Note that J(G) can be obtained from the double DG∗ of planar dual G∗ via the medial construction. When G is loopless and connected, DG∗ is 3-edge connected even plane graph. Thus,

36

g(J(G)) = v(DG∗) − µ(J(G)) 2 = f(G) − f(G) 2 = 0. Jaeger’s links contains complex DNA polyhedral links synthesized in recent several years as special cases.

37

[1] R. H. Crowell, Genus of alternating link types, Ann. Math. 69 (1959) 258-275. [2] K. Murasugi, On the genus of the alternating knot, I, II, J. Math. Soc.

• f Japan 10 (1958) 94-105,235-248.

[3] D. Gabai, Genera of the alternating links, Duke Math.

• J. 53 (1986)

677-681. [4] D. Kim, J. Lee, Some invariants of pretzel links, Bull. Austral. Math.

• Soc. 75 (2007) 253-271.

[5] S. Y. Liu, H. P. Zhang, Genera of the links derived from 2-connected plane graphs, J. Knot Theory Ramifications (2012) 1250129. [6] F. Jaeger, Tutte polynomials and link polynomials, Proc. Amer. Math.

• Soc. 103 (1988) 647-654.

38

[1] W. R. Wikoff, L. Liljas, R. L. Duda, H. Tsuruta, R. W. Hendrix, J.

• E. Johnson, Topologically Linked Protein Rings in the Bacteriophage HK97

Capsid, Science 289 (2000) 2129-2133. [2] C. Helgstrand, W. R. Wikoff, R. L. Duda, R. W. Hendrix, J. E. Johnson,

• L. Liljas, The Refined Structure of a Protein Catenane: The HK97 Bacterio-

phage Capsid at 3.44 ˚ A Resolution, J. Mol. Biol. 334 (2003) 885-899. [3] Y. He, T. Ye, M. Su, C. Zhang, A. E. Ribbe, W. Jiang, C. Mao, Hierarchi- cal self-assembly of DNA into symmetric supramolecular polyhedra, Nature 452 (2008) 198-202. [4] C. Zhang, M. Su, Y. He, X. Zhao, P. Fang, A. E. Ribbe, W. Jiang,

• C. Mao, Conformational flexibility facilitates self-assembly of complex DNA

nanostructures, Proc. Natl. Acad. Sci. U.S.A. 105 (2008) 10665-10669. [5] C. Zhang, S. H. Ko, M. Su, Y. Leng, A. E. Ribbe, W. Jiang, C. Mao, Symmetry Controls the Face Geometry of DNA Polyhedra, J. Am. Chem.

• Soc. 131 (2009) 1413-1315.

[6] C. Lin, Y. Liu, H. Yan, Designer DNA Nanoarchitectures, Biochemistry 48 (2009) no 8, 1663-1674. [7] Y. He, M. Su, P. Fang, C. Zhang, A. E. Ribbe, W. Jiang, C. Mao, On the chirality of self-assembled DNA octahedra, Angew. Chem. Int. Ed. 49 (2010) 748-751.

39

Thank you!

40