0
高校数学解説
文献あり

ジャグリング可能なサイトスワップであるための必要十分条件

439
0

トスジャグリングの投げ方を表す方法にサイトスワップというものがあります。
この記事では次の定理を証明します。

(バニラ)サイトスワップT=(t1,t2,...,tn)がジャグリング可能であるための必要十分条件は、ijかつ1i,jnなる任意のi,jに対し、
i+tij+tj(modn)
が成立することである。

サイトスワップとは

サイトスワップはボール(またはその他の道具)を投げて行う周期的なジャグリングの技を説明するために用いられるものです。
サイトスワップがどういうものなのかを知るには参考文献に挙げた日本ジャグリング協会のHPのサイトスワップについてのページが分かりやすいと思います。知らない人はそちらを見てください。
ここにもリンクを貼っておきます。 サイトスワップ‐日本ジャグリング協会

サイトスワップがどういうものか、一応ここでも紹介しておきます。
日本ジャグリング協会のHPではサイトスワップを次のように紹介しています。

サイトスワップ(siteswap)とは、ボールやクラブなどのトスジャグリングにおいて投げ上げる物体の高さを数列で表現したものです。

サイトスワップのより詳しい説明(ルール)として、日本ジャグリング協会のHPには次のように書かれています。

  • ボールは同じ時間間隔で、左右交互に投げる
  • 数字は、今投げたボールを次に投げるまでの時間間隔を表す

この、ボール(またはその他の道具)を投げる各時間を拍といいます。
この記事では、これらの条件に「各拍に高々1個のボールが投げられる」という条件を加えたものを考えます。このようなサイトスワップをバニラサイトスワップといいます。
例えば、1拍目に3という量で投げられたボールは、4拍目に再び投げられます。
より一般に、n拍目にtnという量で投げられたボールは、n+tn拍目に再び投げられます。
ただし、0のみ例外として該当の拍に投げられるボールがないことを表します。

このように、サイトスワップはボール等を投げる位置の情報を持ちません。
つまり、それぞれのボールを投げる拍の間隔さえ同じであれば、腕を交差させようが背面で投げようが同じサイトスワップとなります。

ジャグリングの状態と状態数

あるスローが行われた直後の状態をつぎのように定義します。

状態

状態は各項が01である数列であり、考えているスローが行われるのを0拍目として、そのスローが行われた直後の状態σ={σi}i=1を次の式で定義する。
σi={1(i拍目に初めて投げられるボールがあるとき)0(それ以外)(i=1,2,...)

状態の定義から、任意の状態σに対してあるNNが存在してσN=1かつi>Nならばσi=0が成り立ちます。このとき、σ=(σ1,σ2,...,σN)と書くことにします。

状態数

状態σ={σi}i=1に対して、その状態数s(σ)は次の式で与えられる。
s(σ)=i=1σi2i1

ここからは、各スローが状態にどのような変化をもたらすのかを見ていきます。
本題に入る前に、以降の話を円滑にするためにサイトスワップT=(t1,t2,...,tn)についてひとつ定義をしておきます。

サイトスワップT=(t1,t2,...,tn)とは、第1項から第n項までが順にt1,t2,...,tnである周期nの非負整数列{ti}i=である。

では、スローによる状態の変化を見ていきましょう。
状態の定義より、次のようなことが成り立ちます。

状態の変化

ある状態σ={σi}i=1を取ったとき、この状態からスローt1を行った直後の状態σ={σi}i=1は次の式で与えられる。
σi={1(i=t1のとき)σi+1(それ以外のとき)(i=1,2,3,...)

どんな状態σならばスローt1を行うことができるのでしょうか。
例えば、t1=0σ1=1のとき、σ1=1より1拍目にボールが落ちてくるはずですが、t1=01拍目に投げられるボールが存在しないことを示しています。そのため、このような状況では状態σから、スローt1を行うことはできません。
ではt1>0の時はどうでしょうか。今、我々はバニラサイトスワップを考えているので、ひとつの拍で高々1つのボールしか投げられません。したがって、σ1+t11である必要があります。
これらのことを一般化すると、サイトスワップT=(t1,t2,...,tn)がジャグリング可能であるための必要条件としてつぎが得られます。

ジャグリング可能であるための必要条件

サイトスワップT=(t1,t2,...,tn)がジャグリング可能であるためには
ijかつ1i,jnなる任意のi,jに対し、
i+tij+tj(modn)
であることが必要。

この条件は、1拍で2つ以上のボールを投げないという条件を表したものです。
そこで、サイトスワップT=(t1,t2,...,tn)はジャグリング可能だが、1i<jnなるあるi,jが存在して、i+tij+tj(modn)であると仮定します。
t1を投げる拍を1拍目として、1拍目よりも充分前の拍からジャグリングしているという仮定もします。(このような仮定はTがジャグリング可能であることから可能。)
すると、あるdZが存在して、i+ti=j+tj+dn=j+dn+tj+dnです。
これは、i拍目とj+dn拍目に投げたボールが、i+ti拍目まで1度も投げられることなく、どちらもi+ti拍目に投げられることを意味しています。
これは、1拍のうちに2つ以上のボールを投げないというバニラサイトスワップの条件に反しているので、背理法により、定理の内容が従います。

つづいて、スローti(iN)によって状態数がどのように変化するかを見ていきましょう。スローtiを投げる直前の状態をσ(i1),投げた直後の状態をσ(i)とします。すると、状態数の定義とスローによる状態の変化の仕方から、以下の式が成立することがわかります。
s(σ(i))=12(s(σ(i1))1+2ti)

ジャグリング可能なサイトスワップであるための必要十分条件

ジャグリング可能の定義

前節でサイトスワップT=(t1,t2,...,tn)がジャグリング可能であるための必要条件が得られました。そこで、この条件(以下この条件を「条件*」と呼ぶ)を満たすサイトスワップTに対し、ジャグリング可能であることを次のように定義します。

サイトスワップTがジャグリング可能であるとは、Tが条件*をみたし、ある初項s0が存在して、以下の漸化式で定まる数列S(T,s0)={si}i=0が非負整数列となることである。
si=12(si11+2ti)(i=1,2,3,...)

この定義にはジャグリングのパターンが周期的であることが含まれていませんが、ジャグリング可能なサイトスワップTによって定まるパターンが周期的であることは以下の定理からわかります。

Tがジャグリング可能なサイトスワップでS(T,s0)が非負整数列なら、S(T,s0)は周期数列となる。

まず、S(T,s0)が有界であることを示す。
M=max{s0,max1in{2ti1}}
とする。
任意の非負整数iに対し、0siMであることを示す。
S(T,s0)が非負整数列であることからsi0は明らか。
任意の非負整数iに対し、siMであることを数学的帰納法で示す。
i=0のとき、Mの定義より明らか。
i>0のとき、si1Mだと仮定すると、帰納法の仮定とMの定義より、
si=12(si11+2ti)12(M1+2ti)12(M+M)=MsiM
したがって、任意の非負整数iに対して、0siM
これを用いてS(T,s0)が周期数列であることを示す。
S(T,s0)は有界な非負整数列だから、鳩ノ巣原理より、ある非負整数i,j(i<j)が存在して、si=sjである。
ここで、漸化式を繰り返し用いれば任意の非負整数kに対して、
sk=sk+(ji)
が得られる。これはjiS(T,s0)の周期の一つであることを表している。

定理の証明には直接関係ないが重要なこと

上のジャグリング可能の定義では各サイトスワップTに対して状態の遷移の仕方が一意に定まることを要請していません。もし、あるサイトスワップに対して異なる複数の状態の遷移が考えられた(つまり、定義の条件を満たす初項s0が複数存在する)とすると、サイトスワップTと初項s0セットでないと(投げる位置を無視した)投げ方を表すことはができません。これに関して、以下の定理が成立します。

ジャグリング可能なサイトスワップTに対して、S(T,s0)が非負整数列となる初項s0は一意に定まる。

S(T,s0)={si}i=0S(T,s0)={si}i=0がどちらも非負整数列であるとする。
{si=12(si11+2ti)si=12(si11+2ti)(i=1,2,3,...)
より、
sisi=12(si1si1)sisi=12i(s0s0)
i2iだから、十分大きいiN
|sisi|=|12i(s0s0)|=12i|s0s0|<1
{si}i=0{si}i=0はともに整数列だから、|sisi|も整数。
ところで、0|sisi|<1だから、|sisi|=0
|sisi|=12i|s0s0|だったから、s0=s0

定理の証明

いよいよ冒頭の定理を証明します。必要性は既に証明しているので、ここでは十分性のみ証明します。

サイトスワップT=(t1,t2,...,tn)がジャグリング可能であるためには
条件*を満たせば十分。

天下り的ですが、
s0=1+k=1n2tk+k12n1のとき
{si}i=0=S(T,s0)Z0であることを示します。
まずs0Z0を示しましょう。
ab(modn)かつabのとき、ある非負整数cが存在してb=cn+aだから、2b=(2n)c2a1c2a=2a(mod2n1)です。
従って、定理の条件より
k=1n2tk+k1k=1n2k1=2n10(mod2n1)
よって、k=1n2tk+k12n1の倍数です。また明らかにs00なのでs0Z0です。
漸化式に代入して計算すると、s1は次のようななります。
s1=1+k=1n2tk+1+k12n1
同様に計算すると、帰納的に次の式が得られます。
si=1+k=1n2tk+i+k12n1
s0Z0と全く同様にsiZ0が導かれます。
従って、S(T,s0)Z0です。
ゆえにijかつ1i,jnなる任意のi,jに対して
i+tij+tj(modn)
ならばTはジャグリング可能となります。

おわりに

この記事ではトスジャグリングの投げ方を表す方法であるサイトスワップの、特にバニラサイトスワップに関する基礎的な定理を状態という概念を用いて証明しました。
最後の証明に出てきたs0=1+k=1n2tk+k12n1という式はサイトスワップTの状態を計算する公式となっています。
実はジャグリング可能なサイトスワップTから投げる物体の個数を計算することもできるんですが、これについては気が向けば記事を書こうと思います。
最後まで読んでくださりありがとうございました。

参考文献

[2]
Chung, Fan, and Ron Graham., Primitive Juggling Sequences, The American Mathematical Monthly, 2008, pp.185–194
[3]
Polster, Burkard, The Mathematics of Juggling, Springer, 2002, pp.7-8
投稿日:202333
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

Qoo
Qoo
35
2645

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. サイトスワップとは
  2. ジャグリングの状態と状態数
  3. ジャグリング可能なサイトスワップであるための必要十分条件
  4. ジャグリング可能の定義
  5. 定理の証明には直接関係ないが重要なこと
  6. 定理の証明
  7. おわりに
  8. 参考文献