Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Edge number of knots
[go: Go Back, main page]

Edge number of knots

Makoto Ozawa

Figure

K:a knot in the 3-sphere as an embedded n-cycle graph
D:a diagram of K

Definition

DがKのn-cycle presentation⇔
(1)Dの各edgeは自己交差なし
(2)∀e(i)、e(j)∈E(D)に対して、どの交差点においてもe(i)>e(j)又はe(i)<e(j)と上下が定まっているか、もしくはe(i)∩e(j)=φ。

Kのedge number e(K)を
e(K)=min{|E(D)|;DはKのcycle presentation}
と定義する。

Dからdigraph G(D)を次のように定める。
(1)e(i)∈E(D)に対して、v(i)∈V(G(D))を対応させる
(2)交差している2つのedges e(i)、e(j)に対して、e(i)>e(j)と上下が定まっているならば、v(i)からv(j)に向き付けたedgeをE(G(D))に加える。

Remark 0

n-cycle presentationの定義(2)を外すと、任意の結び目は2-cycle presentationを持つ。

Proposition 1

K:a nontrivial knot⇔e(K)≧3

Proposition 2

K:a knot with e(K)=3
D:a 3-cycle presentation of K
⇒G(D)=oriented 3-cycle

Proposition 3

K:a knot with e(K)=n
D:a n-cycle presentation of K
⇒(1)∀v(i)、v(i+1)∈V(G(D))に対して、v(i)、v(i+1)共にsource(or sink) in G(D)-{v(i),v(i+1)}とはならない。
(2)∀v(i)、v(i+1)∈V(G(D)):non adjacent vertices、∃v(k)∈N(v(i))∩N(v(i+1))、s.t.v(i)→v(k)→v(i+1) or v(i)←v(k)←v(i+1)

Remark

Proposition 3(2)より、∀v(i)、v(i+1)∈V(G(D))、d(v(i)、v(i+1))≦2

Cororally 4

(1)G(D)はconnected
(2)G(D)はpathでない。

Conjecture A

K:a knot with e(K)=n(≧3)
D:a n-cycle presentation of K
⇒G(D)は少なくとも一つの(oriented)cycleを含む。

Proposition 5

∀n≧3、n≡0 or 1(mod 3)
∃K:a knot
s.t.c(K)=n、b(K)=2、e(K)=3

Conjecture B

b(K)≦e(K)

Fact

e(K)≦2b(K)

Exercise

e(10_116)=3
Hint:diagramの領域の内、3-gonに注目。

Problem C

Find a knot whose edge number is equal to 4.

Proposition 6

K:a knot with e(K)=3
D:a 3-cycle presentation of K
⇒D can be deformed into a trivial diagram by a finite sequence of Reidemeister move 1's&2's and Δ-moves.

Problem D(Solved by Kouki Taniyama)

For any knot K, is there a diagram of K such that it can be deformed into a trivial diagram by a finite sequence of Reidemeister move 1's&2's and Δ-moves?

Problem Dは東京女子大学の谷山公規先生が解決されました。
「任意の結び目は自明な結び目(の射影図)といくつかのボロミアン環のバンド和として表すことが出来る。(A. Yasuhara: Delta-unknotting operation and adaptability of certain graphs, Proc. Knots 96, World Sci. Publ. Co., 115-121, 1997)」を使います。
まず、ボロミアン環がきれいな射影になるように結び目の射影図を作ります。
次に、バンドのねじれは自明な結び目の射影図の十分近くに寄せておきます。
そして、まず始めにΔ-movesでボロミアン環を解き、次にReidemeister move 2でバンドを自明な結び目の射影の十分近くまで縮めます。
最後にReidemeister move 1でバンドのねじれを解いて、自明な結び目の射影図を得ます。

証明はそのうちホームページ上で掲載します。

New BBS CSS WinCE Win95 Linux ML Math MOD Personal

counter from 1998/6/8


YYYNet