• 検索結果がありません。

まず,絡み目の Q 多項式を定義する.

N/A
N/A
Protected

Academic year: 2021

シェア "まず,絡み目の Q 多項式を定義する."

Copied!
7
0
0

読み込み中.... (全文を見る)

全文

(1)

On shifted Q polynomials

杉野 裕子 ( 広島大学大学院教育学研究科 )

概 要

結び目のQ多項式に対して,変数変換を行ったずらしQ多項式を定義する.

もとのQ多項式の最高次の係数が正のとき,ずらしQ多項式の係数はすべて 正になると予想する.この予想を種数1の交代結び目に対して証明する.ま た,11交差点までのすべての結び目について予想を確認した.

1. 定義

まず,絡み目の Q 多項式を定義する.

定義

1.1. 絡み目 L に対する Q 多項式 Q

L

を以下の (i),(ii) で定義する.

(i) O : 自明結び目 Q

O

= 1 (ii) Q

L+

+ Q

L

= x(Q

L0

+ Q

L

)

ここで, L

+

L

L

0

L

は以下のように定義している.

L + L - L 0 L

図 1: 絡み目 L

+

L

L

0

L

1.2. 三葉結び目の Q 多項式

Q

L

(x) = 2x

2

+ 2x 3

8 の字結び目の Q 多項式

Q

L

(x) = 2x

3

+ 4x

2

2x 3

Q 多項式は,結び目に対しては負冪の項はなく,通常の多項式である.µ 成分の絡み 目に対しては, 1 µ が最小次数となる.

〒739-8524広島県東広島市鏡山1-1-1 広島大学大学院教育学研究科 教科教育学専修 数学教育学専攻

e-mail:[email protected]

(2)

ここで,結び目の Q 多項式の変数変換を考える.

命題

1.3. 結び目の Q 多項式 Q(x) の最高次の係数が正のとき, Q(x + N ) の全係数が正 になるような N N がとれる.

証明

. 結び目の Q 多項式を, a > 0 , b

i

Z (b

i

0) を用いて Q(x) = ax

n

± b

1

x

n1

± b

2

x

n2

± · · · ± b

n

と表す.よって, xx + N に変数変換した多項式は以下のようになる.

Q(x + N ) = a(x + N )

n

± b

1

(x + N )

n1

± b

2

(x + N )

n2

± · · · ± b

n

よって,

Q(x + N ) = a(x

n

+

n

C

n1

N x

n1

+

n

C

n2

N

2

x

n2

+ · · · + N

n

)

± b

1

(x

n1

+

n1

C

n2

N x

n2

+

n1

C

n3

N

2

x

n3

+ · · · + N

n1

)

± b

2

(x

n−2

+

n2

C

n3

N x

n−3

+

n2

C

n4

N

2

x

n−4

+ · · · + N

n−2

)

± · · · ± b

n

= ax

n

+ (

n

C

n1

aN ± b

1

)x

n1

+ (

n

C

n2

aN

2

±

n1

C

n2

b

1

N ± b

2

)x

n2

+ · · · + (aN

n

± b

1

N

n1

± b

2

N

n2

± · · · ± b

n

)

いま, N = max

{⌈ b

1

n

C

n1

a

,

n1

C

n2

b

1

+ b

2

n

C

n1

aN

, · · ·

}

とすると,題意を満たす.

では,結び目の Q 多項式 Q(x) を変数変換して得られる Q(x + N ) は, N としてどれ くらいユニバーサルに最小の値がとれるのか考える.

N = 1 のとき すぐに反例が挙げられる.

1.4. プレッツェル結び目 P (3, 3, 3) に対して

Q(x) = 2x

8

+ 8x

7

+ 2x

6

28x

5

24x

4

+ 34x

3

+ 28x

2

18x 3 Q(x + 1) = 2x

8

+ 24x

7

+ 114x

6

+ 264x

5

+ 286x

4

+ 90x

3

40x

2

12x + 1 Q(x + 2) = 2x

8

+ 40x

7

+ 338x

6

+ 1564x

5

+ 4296x

4

+ 7106x

3

+ 6856x

2

+ 3510x + 729

N = 2 のとき  Mathematica で 11 交差まで計算し確認した.

以上より,結び目の Q 多項式を変数変換して得られる多項式について以下のような 性質が予想できる.

予想

1.5. 結び目に対して, Q 多項式の最高次の係数が正ならば, xx + 2 に変数 変換して得られる多項式の全係数はすべて正である.

予想において Q 多項式の「最高次の係数が正」であることを仮定しているが, Q

項式の最高次の係数が負になる場合もある.

(3)

1.6. 12

n328

Q(x) = 2x

7

+ 20x

5

+ 16x

4

28x

3

20x

2

+ 10x + 5

12

n426

Q(x) = 2x

7

2x

6

+ 16x

5

+ 22x

4

20x

3

30x

2

+ 8x + 9

しかし,交代的ならば最高次の係数が正であることは Kidwell がすでに証明している.

ここで,変数変換して得られる多項式を「ずらし Q 多項式」と,新たに定義する.

定義

1.7. 絡み目 LQ 多項式 Q

L

(x) について, xx + 2 に変数変換して得られ る多項式 Q

L

(x) を L のずらし Q

多項式という.

例 1.2 で挙げた 2 つの結び目のずらし Q 多項式を,例として以下で紹介する.

1.8. 三葉結び目

Q

L

(x) = 2x

2

+ 2x 3 Q

L

(x) = 2x

2

+ 10x + 9

8の字結び目

Q

L

(x) = 2x

3

+ 4x

2

2x 3 Q

L

(x) = 2x

3

+ 16x

2

+ 38x + 25

2. 現時点までの成果

現時点までの成果は,

(2,n) 型トーラス結び目

種数 1 の交代結び目

種数 1 の 2 橋結び目と種数 1 の交代プレッツェル結び目

11 交差までの結び目すべて (801 個 )

である.(2, n) 型トーラス結び目,種数 1 の交代結び目に関しては,予想が成り立つこ とを証明した. 11 交差までの結び目については, Mathematica で 801 個すべて計算し,

予想が成り立つことを確認した.種数 1 の交代結び目の内訳として,種数 1 の 2 橋結び 目と種数 1 の交代プレッツェル結び目の 2 つを挙げているが,実際は,種数 1 の交代結 び目はこの 2 つがすべてである.したがって,種数 1 の交代結び目すべてに関して,予 想が成り立つことを証明できた.

本稿では, (2, n) 型トーラス結び目に対する議論のみ紹介する.種数 1 の交代結び目に 関しては,スケイン関係式を用いて交差点の数を減らしていくのだが,その際に (2, n) 型トーラス結び目に対する結果を必要とする.

3. (2, n) 型トーラス結び目の例

ここで,実際に, (2, n) 型トーラス結び目のずらし Q 多項式について,予想が正しいこ とを証明していく.いま,T

n

を (2, n) 型トーラス結び目,Q(T

n

) を T

n

Q 多項式,T

n

T

n

のずらし Q 多項式とする. (2, n) 型トーラス結び目の Q 多項式に対して,以下の 関係式が成り立つ.

Q(T

n+

) + Q(T

n

) = x(Q(T

n

) + Q(T

n0

))

(4)

Q(T

n

) = x(Q(T

n1

) + 1) Q(T

n2

)

T

=

T

n

T- T- T =

n-2

T

0

T

0

= 1

T

n-1

T

=

図 2: トーラス結び目 T

したがって, (2, n) 型トーラス結び目のずらし Q 多項式は,以下の漸化式を満たす.

T

n

= (x + 2)(T

n1

+ 1) T

n2

T

n

x

i

の係数を C

ni

とする (i 0) . i n のとき C

ni

= 0 である (T

n

n 1 次 ) .

(5)

命題

3.1.

n 1 : 奇数, C

ni

0 (0 i n 1) が成り立つ.

ここで,n を 1 以上の奇数として考えるのは,結び目について考察するからである.

証明

. n に関する帰納法を用いる.

n = 1 のとき, T

1

= 1 ゆえ C

10

= 1 . n = 2 のとき, T

2

= 2x + 5 2

x + 2 ゆえ C

21

= 2 , C

20

= 5 .よって, n = 1 , n = 2 のとき,命題は成り立つ.ここで, n = 2 について考察し ているのは, (2, n) 型トーラス結び目のずらし Q 多項式が隣接 3 項間漸化式を満たしてい るので,偶数の場合についても考察せざるをえないからである.C

kt

  (1 k n 1,

0 t k 1) について, C

kt

0 が成り立つと仮定する.このとき, C

nn1

, · · · , C

n0

0 を示せばよい.

(i) C

nn1

(n 3)

漸化式より, C

nn1

= C

nn12

が成り立つ.

C

nn1

= · · · = C

21

= 2 0 (ii) C

nn2

(n 3)

n = 3 のとき,T

3

= 2x

2

+ 10x + 9 ゆえ C

31

= 10.n 4 のとき,漸化式より,

C

nn2

= C

nn13

+ 2C

nn12

が成り立つ.よって,

C

nn2

= C

nn13

+ 2C

nn12

= C

nn13

+ 4

= (C

nn24

+ 4) + 4

= · · ·

= (C

31

+ 4) + 4 + · · · + 4

= 10 + 4(n 3)

= 4n 2 0 (iii) C

ni

(2 i n 3)

漸化式より, C

ni

= C

ni11

+ 2C

ni1

C

ni2

が成り立つ.よって,

C

ni

= C

ni11

+ 2C

ni1

C

ni2

= C

ni11

+ 2(C

ni12

+ 2C

ni2

C

ni3

) C

ni2

= C

ni11

+ 2C

ni12

+ 3C

ni2

2C

ni3

= C

ni11

+ 2C

ni12

+ 3(C

ni13

+ 2C

ni3

C

ni4

) 2C

ni3

= C

ni11

+ 2C

ni12

+ 3C

ni13

+ 4C

ni3

3C

ni4

= · · ·

= C

ni11

+ · · · + (n (i + 2))C

i+2i1

+ (n (i + 1))C

i+2i

(n (i + 2))C

i+1i

=

n

i2 j=1

jC

ni1j

+ (n i 1)(4(i + 2) 2) 2(n i 2)

=

n

i2 j=1

jC

ni1j

+ 4(n i 1)(n + 1) + 2 0

(6)

(iv) C

n1

漸化式より, C

n1

= C

n01

+ 2C

n11

+ 1 C

n12

が成り立つ.よって,

C

n1

= C

n01

+ 2C

n11

+ 1 C

n12

= C

n−10

+ 1 + 2(C

n−20

+ 2C

n−21

+ 1 C

n−31

) C

n−21

= (C

n01

+ 1) + 2(C

n02

+ 1) + 3C

n12

2C

n13

= (C

n01

+ 1) + 2(C

n02

+ 1) + 3(C

n03

+ 2C

n13

+ 1 C

n14

) 2C

n13

= (C

n01

+ 1) + 2(C

n02

+ 1) + 3(C

n03

+ 1) + 4C

n13

3C

n14

= · · ·

= ((C

n01

+ 1) + · · · + (n 3)(C

30

+ 1)) + (n 2)C

31

(n 3)C

21

=

n3

j=1

j(C

n0j

+ 1) + 10(n 2) 2(n 3)

=

n3

j=1

j(C

n−j0

+ 1) + 8n 14 0

(v) C

n0

ここで,負冪について考える.漸化式より, T

n

において - n が奇数のとき, T

n

は負冪なし

- n が偶数のとき, ±

x+22

そこで,C

n1

を以下のように定義する.

C

n1

=

 

 

 

0 (n : 奇数 )

2 (n 2 mod 4) 2 (n 0 mod 4) これを用いて以下を示す.

C

i0

> C

i01

(i 2)

n に関する帰納法を用いる.C

10

= 1,C

20

= 5 で,C

20

> C

10

が成立.C

i0

> C

i01

i n 1 で成立すると仮定する.漸化式より,

C

n0

= 2C

n01

+ 2 + C

n11

C

n02

2C

n01

C

n02

= C

n−10

+ (C

n−10

C

n−20

)

> C

n01

ゆえに, C

n0

> C

n01

> · · · > C

10

> 0 となり示せた.

(7)

4. おわりに

今回,結び目のずらし Q 多項式についてのみ考察した.負冪をもつ絡み目の Q 多項式 についてはまだ考察できていないが,以下を予想している.

予想

4.1. Q 多項式の最高次の係数が正ならば,ずらし Q 多項式は次のような形に かける.

Q(x + 2) = g(x) f (x) ここで, f (x) , g(x) は正係数多項式.

実際, f(x) = (x + 2)

n

となる.

4.2. ホップ絡み目に対して

Q(x) = 2x + 1 2 x Q(x + 2) = 2x

2

+ 7x + 4

x + 2

参照

関連したドキュメント

Maurer )は,ゴルダンと私が以前 に証明した不変式論の有限性定理を,普通の不変式論

LLVM から Haskell への変換は、各 LLVM 命令をそれと 同等な処理を行う Haskell のプログラムに変換することに より、実現される。

この項目の内容と「4環境の把 握」、「6コミュニケーション」等 の区分に示されている項目の

(採択) 」と「先生が励ましの声をかけてくれなかった(削除) 」 )と判断した項目を削除すること で計 83

Tomonari KITAHARA and Shinji MIZUNO (TIT) 単体法と強多項式アルゴリズム July 21–23, 2015 5 / 53..

調査対象について図−5に示す考え方に基づき選定した結果、 実用炉則に定める記 録 に係る記録項目の数は延べ約 620 項目、 実用炉則に定める定期報告書

○事業者 今回のアセスの図書の中で、現況並みに風環境を抑えるということを目標に、ま ずは、 この 80 番の青山の、国道 246 号沿いの風環境を

断するだけではなく︑遺言者の真意を探求すべきものであ