シチャーマンのサイコロのソースを表示

[[file:Sicherman_dice_table.svg|thumb|一般的なサイコロ{{nowrap|(N)}}とシチャーマンのサイコロ{{nowrap|(S)}}の出目の和の組み合わせ表の比較。もし出目に0を含んでも良い場合、一般的なサイコロの出目を1だけずらしたサイコロ{{nowrap|(N')}}や シチャーマンのサイコロの出目を1だけずらしたサイコロ2種 {{nowrap|(S' and S")}}も存在する。それぞれの表内で2が1通り、3が2通り...存在する。]]

'''シチャーマンのサイコロ'''とは、出目が1, 2, 2, 3, 3, 4 であるサイコロと 1, 3, 4, 5, 6, 8であるサイコロの組であり、一般的な出目が1, 2, 3, 4, 5, 6である[[サイコロ]]2個とは目の組み合わせが異なるにもかかわらず、2個のサイコロの出目の和の[[確率分布]]が一般的なサイコロと一致するサイコロの組である。'''ジッヒャーマンダイス'''、'''ジッヘルマンダイス'''などとも呼ばれる。

==数学==
一般的なサイコロの出目の和は、それぞれの数に対して以下の表のような出目の組み合わせが存在する。
{| class="wikitable"
|-
| align=right | ''n''
| align=right | 2
| align=right | 3
| align=right | 4
| align=right | 5
| align=right | 6
| align=right | 7
| align=right | 8
| align=right | 9
| align=right | 10
| align=right | 11
| align=right | 12
|-
| align=right | 組み合わせの数
| align=right | 1
| align=right | 2
| align=right | 3
| align=right | 4
| align=right | 5
| align=right | 6
| align=right | 5
| align=right | 4
| align=right | 3
| align=right | 2
| align=right | 1
|}

一般的なサイコロに対して、出目の和の確率分布を変えないまま出目の組み合わせを変えたものをクレイジーダイスと呼ぶ。シチャーマンのサイコロはその中でも、2個の6面のサイコロに対し、正の整数のみで出目を割り当てたクレイジーダイスである。（出目に正の整数のみと言う条件を課さない場合、任意の自然数 'k' に対して片方のサイコロの出目をそれぞれ'k'減少させ、もう片方のサイコロので目をそれぞれ'k'増加させた物は同じ確率分布を持つため、解は無限に存在する。）

以下に、一般的なサイコロとシチャーマンのサイコロの出目の和の確率分布を組み合わせと共に示す。また、わかりやすいように1個目のサイコロの出目を'''<span style="color:green;">1</span>–<span style="color:red;">2</span>–<span style="color:blue;">''2''</span>–<span style="color:red;">3</span>–<span style="color:blue;">''3''</span>–<span style="color:green;">4</span>''' とし、2個目のサイコロの出目を 1–3–4–5–6–8と表す。

{| class="wikitable"
|-
| align=centre| 
| align=centre| 2
| align=centre| 3
| align=centre| 4
| align=centre| 5
| align=centre| 6
| align=centre| 7
| align=centre| 8
| align=centre| 9
| align=centre| 10
| align=centre| 11
| align=centre| 12
|-
|Standard dice
|1+1
|1+2<br />2+1
|1+3<br />2+2<br />3+1
|1+4<br />2+3<br />3+2<br />4+1
|1+5<br />2+4<br />3+3<br />4+2<br />5+1
|1+6<br />2+5<br />3+4<br />4+3<br />5+2<br />6+1
|2+6<br />3+5<br />4+4<br />5+3<br />6+2
|3+6<br />4+5<br />5+4<br />6+3
|4+6<br />5+5<br />6+4
|5+6<br />6+5
|6+6
|- 
|Sicherman dice
| '''<span style="color:green;">1</span>'''+1 
| '''<span style="color:red;">2</span>'''+1<br />'''<span style="color:blue;">''2''</span>'''+1 
| '''<span style="color:red;">3</span>'''+1<br />'''<span style="color:blue;">''3''</span>'''+1<br />'''<span style="color:green;">1</span>'''+3 
| '''<span style="color:green;">1</span>'''+4<br />'''<span style="color:red;">2</span>'''+3<br />'''<span style="color:blue;">''2''</span>'''+3<br />'''<span style="color:green;">4</span>'''+1 
| '''<span style="color:green;">1</span>'''+5<br />'''<span style="color:red;">2</span>'''+4<br />'''<span style="color:blue;">''2''</span>'''+4<br />'''<span style="color:red;">3</span>'''+3<br />'''<span style="color:blue;">''3''</span>'''+3 
| '''<span style="color:green;">1</span>'''+6<br />'''<span style="color:red;">2</span>'''+5<br />'''<span style="color:blue;">''2''</span>'''+5<br />'''<span style="color:red;">3</span>'''+4<br />'''<span style="color:blue;">''3''</span>'''+4<br />'''<span style="color:green;">4</span>'''+3 
| '''<span style="color:red;">2</span>'''+6<br />'''<span style="color:blue;">''2''</span>'''+6<br />'''<span style="color:red;">3</span>'''+5<br />'''<span style="color:blue;">''3''</span>'''+5<br />'''<span style="color:green;">4</span>'''+4 
| '''<span style="color:green;">1</span>'''+8<br />'''<span style="color:red;">3</span>'''+6<br />'''<span style="color:blue;">''3''</span>'''+6<br />'''<span style="color:green;">4</span>'''+5 
| '''<span style="color:red;">2</span>'''+8<br />'''<span style="color:blue;">''2''</span>'''+8<br />'''<span style="color:green;">4</span>'''+6<br />
| '''<span style="color:red;">3</span>'''+8<br />'''<span style="color:blue;">''3''</span>'''+8 
| '''<span style="color:green;">4</span>'''+8
|}

また、このような正の整数のみで一般的なサイコロと同じ[[確率分布]]を持つようなサイコロは、シチャーマンのサイコロだけである。

シチャーマンのサイコロは、[[ニューヨーク州]][[バッファロー (ニューヨーク州)|バッファロー]]の[[ジョージ・シチャーマン]]が発見し、1978年に[[マーティン・ガードナー]]が[[サイエンティフィック・アメリカン]]で初めて取り上げた。一般的なサイコロは反対側の面との和が7であるのに対し、シチャーマンのサイコロは反対側の面との和がそれぞれ5と9である。

後に、ガードナーはシチャーマンへの手紙において、とある知り合いのマジシャンがシチャーマンのサイコロのようなものが存在すると予期していたと述べた。

シチャーマンのサイコロを一般化すると3個以上のサイコロの組についてや、6面以外のサイコロに対しても考えられる（Broline (1979), Gallian and Rusin (1979), Brunson and Swift (1997/1998), Fowler and Swift (1999)を参照)

==拡張==

=== 6面以外のサイコロに対する、2個と出目の和の確率分布が一致するサイコロ ===
4面サイコロ2個と出目の和の確率分布が一致する4面サイコロには、{1,2,2,3}{1,3,3,5}があり得る。

8面サイコロ2個と出目の和の確率分布が一致する8面サイコロには、{1,2,2,3,3,4,4,5}{1,3,5,5,7,7,9,11}と{1,2,3,3,4,4,5,6}{1,2,5,5,6,6,9,10}と{1,2,2,3,5,6,6,7}{1,3,3,5,5,7,7,9}3種があり得る。

12面サイコロ2個と出目の和の確率分布が一致する12面サイコロには、{1,2,2,3,3,3,4,4,4,5,5,6}{1,4,5,7,8,9,10,11,12,14,15,18}と{1,2,2,3,3,4,4,5,5,6,6,7}{1,3,5,7,7,9,9,11,11,13,15,17}と{1,2,3,3,4,4,5,5,6,6,7,8}{1,2,5,6,7,8,9,10,11,12,15,16}と{1,2,3,4,4,5,5,6,6,7,8,9}{1,2,3,7,7,8,8,9,9,13,14,15}と{1,2,2,3,3,4,7,8,8,9,9,10}{1,3,4,5,6,7,8,9,10,11,12,14}と{1,2,2,3,5,6,6,7,9,10,10,11}{1,3,3,5,5,7,7,9,9,11,11,13}と{1,2,3,3,4,5,7,8,9,9,10,11}{1,2,4,5,5,6,8,9,9,10,12,13}の7種があり得る。

=== 異なる目のサイコロの組合せなど ===
2面サイコロ（例えばコイン）{1,4}と、18面サイコロ（18分割されたルーレットなど）{1,2,2,3,3,3,4,4,4,5,5,5,6,6,6,7,7,8}も、出る目の合計の確率は一般的なサイコロと同じである。

==数学的正当化==
カノニカルな 'n'面サイコロを、 面に1から'n'の数が書かれたどの面も等確率(=1/'n')で出る'n'面体サイコロとする。まず、カノニカルな立方体（6面）サイコロを考える。ここで、そのサイコロの[[母関数]]を<math>F_{6}(x) = x + x^2 + x^3 + x^4 + x^5 + x^6</math>とする（各次数が出目に対応する）。この関数同士の積は、複数のサイコロの出目の和に対応し、2個のサイコロの出目に対する母関数は<math>F_{6}(x)^2 = x^2 + 2 x^3 + 3 x^4 + 4 x^5 + 5 x^6 + 6 x^7 + 5 x^8 + 4 x^9 + 3 x^{10} + 2 x^{11} +x^{12}</math>である。
ここで、[[円分多項式]]の理論より、'd'を'n'の[[約数]]、<math>\Phi_d(x)</math>を'd'次の円分多項式とすると
:<math>x^n - 1 = \prod_{d\,\mid\,n}^n \Phi_d(x)</math>
と[[因数分解]]できる。
そして、[[等比数列]]の和の公式より
:<math>\frac{x^n -1}{x-1} = \sum_{i=0}^{n-1} x^i = 1 + x + \cdots + x^{n-1}</math>
であるため、'n'面サイコロの母関数は
:<math>x + x^2 + \cdots + x^n = \frac{x}{x-1} \prod_{d\,\mid\,n}^n \Phi_d(x)</math>
と表せる。
ここで、<math>\Phi_1(x) = x - 1</math>で約分すると、6面サイコロの母関数は
:<math>x\,\Phi_2(x)\,\Phi_3(x)\,\Phi_6(x) = x\;(x+1)\;(x^2 + x + 1)\;(x^2 - x +1)</math>
となる。

ここで、2個のサイコロを投げたときの出目が母関数同士の積になることを用いる。そして、その積を再度２個の母関数に分割した場合の係数に着目することで、サイコロの出目の組み合わせを導出できる。但し、ここで母関数の係数は負である場合、2の面が-1個のような意味の無いサイコロとなってしまうことと、係数の総和が6でなければ6面ダイスではないことに注意する。そのため、2個の母関数p(x)に対して、p(0)=0とp(1)=6が条件となる。
そしてこの条件を満たす分割は一般的なサイコロを除き1通りしか存在せず、
:<math>x\;(x + 1)\;(x^2 + x + 1) = x + 2x^2 + 2x^3 + x^4</math>
と
:<math>x\;(x + 1)\;(x^2 + x + 1)\;(x^2 - x + 1)^2 = x + x^3 + x^4 + x^5 + x^6 + x^8</math>
である。
そしてこの母関数はそれぞれ1組のサイコロの目{1,2,2,3,3,4} と {1,3,4,5,6,8}に対応する。これがシチャーマンのサイコロである。

円分多項式の因数分解を用いるため、素数面のサイコロに対してはシチャーマンのサイコロのような異なるパターンが存在しない。
この母関数を用いたサイコロの目の解析は、6面以外の'n'面サイコロにも一般化できる。

==参考文献==
*{{citation
 | doi = 10.2307/2689786
 | last = Broline
 | first = D.
 | title = Renumbering of the faces of dice
 | journal = Mathematics Magazine
 | volume = 52
 | issue = 5
 | year = 1979
 | pages = 312–315
 | jstor = 2689786
 | publisher = Mathematics Magazine, Vol. 52, No. 5}}

*{{citation
 | last1 = Brunson
 | first1 = B. W.
 | last2 = Swift
 | first2 = Randall J.
 | title = Equally likely sums
 | journal = Mathematical Spectrum
 | volume = 30
 | issue = 2
 | year = 1998
 | pages = 34–36}}

*{{citation
 | last1 = Fowler
 | first1 = Brian C.
 | last2 = Swift
 | first2 = Randall J.
 | title = Relabeling dice
 | journal = College Mathematics Journal
 | volume = 30
 | issue = 3
 | year = 1999
 | pages = 204–208
 | jstor = 2687599
 | doi = 10.2307/2687599
 | publisher = The College Mathematics Journal, Vol. 30, No. 3}}

*{{citation
 | last1 = Gallian
 | first1 = J. A.
 | last2 = Rusin
 | first2 = D. J.
 | title = Cyclotomic polynomials and nonstandard dice
 | journal = [[Discrete Mathematics (journal)|Discrete Mathematics]]
 | volume = 27
 | year = 1979
 | pages = 245–259
 | doi = 10.1016/0012-365X(79)90161-4
 | mr = 0541471
 | issue = 3}}

*{{citation
 | last = Gardner
 | first = Martin
 | authorlink = マーティン・ガードナー
 | title = Mathematical Games
 | journal = [[Scientific American]]
 | year = 1978
 | volume = 238
 | issue = 2
 | pages = 19–32
 | doi = 10.1038/scientificamerican0278-19}}

== 外部リンク ==
*[http://www.grand-illusions.com/acatalog/Sicherman_Dice.html Grand Illusion's Informational Page]
*[http://mathworld.wolfram.com/SichermanDice.html Mathworld's Information Page]

{{PlanetMath attribution|id=6738|title=Crazy dice}}

==関連項目==
* [[エフロンのサイコロ]]

[[Category:サイコロ]]
[[Category:玩具]]
[[Category:多面体]]
[[Category:組合せ論]]
[[Category:確率論]]
[[Category:数学に関する記事]]
[[Category:数学のエポニム]]
{{デフォルトソート:しちやまんのさいころ}}