GAの計算
前回の復習
を半順序集合、をの有限部分集合全体とする。を単位的可換環としてを写像とする。に対して
と定めると、任意のに対して
が成り立つ。ここで
と定めると、自由-加群
上に、-双線型かつ結合的な積を
で定めることができる。このような代数を総じて幾何代数(Geometric Algebra, GA)と呼ぶ。
さて
が成り立つことから、GAの基底に対する積の交換は
で計算することができる。特にが比較可能ならとなり、比較不可能ならとなる。またである。更に2種類の対称性involutionとreversionをそれぞれ
で定める。すると任意のについて
が成り立つ。これらの合成
をconjugationという。
記号に関連性が無くて分かり難いのでなどとするべきか否か。一応下のノートに合わせてある。
Douglas Lundholm, Lars Svensson. Clifford Algebra, Geometric Algebra, and Applications.
積の分解
論理式に対して、が真のとき、偽のときと表す。
定義
- をウェッジ積(wedge/outer product)と呼ぶ。
- を左内積(left interior/inner product)と呼ぶ。
- を右内積と呼ぶ。
- をスカラー積(scalar product)と呼ぶ。
これらの演算は線型にGA上へ拡張しておく。
involutionに対する各々の振る舞いは可換となる。具体的には
が成り立つ。一方でreversionに対しては反転し、また左内積と右内積は「逆」になる。具体的には
が成り立つ。
命題 とする。このとき
が成り立つ。特に
である。
(証明)全て基底について示すことが出来ればよい。例えば一つ目の左辺は
であり、右辺は
である。ここで両者が一致することは、それぞれの論理式が同値であることから直ちに従う。他も同様である。
は各について、なるで生成される部分空間の直和で表せる。すなわちは次数付き環となる。そこでに対し、その次成分への射影をで表す。ゼロ次の元をスカラー(scalar)、1次の元をベクトル(vector)、2次の元をバイベクトル(bivector)、一般に-次の元を-ベクトルと呼ぶ。
伝統的にスカラー(の元)はギリシャ文字、ベクトルはアルファベットの小文字、の任意の元をアルファベットの大文字で表記することが多い。
involutionやreversionに対して
が成り立つことは良いだろう。
次はGAの基本等式と呼ばれている。
命題 とする。このとき
が成り立つ。
(証明)各基底について示せば良い。実際について
が成り立つ。
同じ議論で
が成り立つことも分かる。あるいはreversionを取っても良い。実際
についてreversionを取ると
を得る。ここでを代入すれば
が従う。
GAの公式
あとはもうどんな式であっても、定義に沿って計算をすることができる。とはいえそれなりに複雑で大変なので、便利な「公式」を作っておくと良い。以下は全順序とする。つまり
が成り立つ。またを仮定する。
補題 とする。このとき次が成り立つ。
- のときが成り立つ。
- のときが成り立つ。
(証明)交換の関係式
を計算すればよい。対称差についてのときはより
である。一方のときはより
である。だから、指数部はそれぞれ
となる。
命題 とする。このとき次が成り立つ。
- が成り立つ。
- が成り立つ。
(証明) 補題より
が分かる。ここで
が成り立つから、辺々足したり引いたりすれば残りの式を得る。
系 とする。このとき次が成り立つ。
- が成り立つ。
- が成り立つ。
(証明) 最初の式は
より従う。もう一方も
より従う。
命題 とする。このとき
が成り立つ。
(証明)双線型性より
が成り立つことを示せば良い。左辺と、右辺の第2項の論理式をそれぞれと置き、これらの真偽で場合分けを行う。ベン図を書くと分かり易い。
が真で、が真の場合。とは共通部分を持たないため、が真であることから、またはである。いずれの場合もより右辺の第1項はゼロとなり、両辺は一致する。
が真で、が偽の場合。であることが分かる。このときなので
となり、故に両辺は一致する。
が偽で、が真の場合。このときでなければならない。従っては真であり、も真である。一方でもあるから
となり、右辺はとなる。故に両辺は一致する。
が偽で、も偽の場合。このときには以外の元が含まれる。故にとなり、右辺の第1項はゼロとなり、両辺は一致する。
系 とする。このとき
が成り立つ。
(証明)命題より
を得る。
系 とする。このとき
が成り立つ。ただしは除外を意味する。
(証明)ベクトルについてに注意すれば、に関する帰納法より従う。
以上で2つの式
を示した。これらはベクトルによる左内積が、GAの積及びwedge積に対して反微分として振舞うことを表している。この意味で作用をと書くことがある。
命題 に対して
が成り立つ。
(証明)のとき
が成り立つ。従って
となる。故になるについて和を取れば良い。
ちなみに、内積として
を定義することもあるようだ。
所感
今回はGAの演算について考察を深めてみた。論理演算と相性が良いため、様々な公式を得ることが出来る。記号が多いので大変だが、これほど豊かな代数系はそうないだろう。
サイコロゲームのシミュレーション
mathtodonネタ
次の4種類のサイコロを使ったゲームを考える。
- 目がのサイコロA
- 目がのサイコロB
- 目がのサイコロC
- 目がのサイコロD
プレイヤーは4種類の中から1種類を選び対戦を行う。対戦は2人で行い、それぞれ選んだサイコロを振り、出た目が大きい方が勝ち、同じなら引き分け、小さい方が負けとなる。
このルールで多人数が対戦を繰り返すとき、どのサイコロを選ぶのが有利になるのだろうか。考え方は様々だろう。安定を望むのならサイコロBかもしれないし、最強の目を持つサイコロCを選ぶ人もいるかもしれない。あるいは、全体の使用率が公表されると戦略も変わるだろう。もちろん何をもって有利とするか、に応じても「答え」は変わる。今回は、各人がある戦略の下でサイコロを変更すると仮定してシミュレーションを行った。各種サイコロの使用率の変化について考えたい。
シミュレーションはjuliaを利用した。式を直観的に掛けるし、適当に書いても速いし、ほんと優秀。実装の都合上、次のような条件を課した。
条件
- プレイヤーの総数は200名。
- ランダムに1列に並べ、前後のプレイヤーで対戦を行う。
- プレイヤーは後述する戦略に従い、サイコロを選ぶ確率分布を決める。
- これを10回繰り返し、行われた1000試合の使用率データを記録する。
- 以上を100あるいは1000セット繰り返し、グラフにする。
注意点
- プログラム上プレイヤーは各自のデータを保持できるが、今回は一律で全体の使用率のみを使用することにした。
- 使用率データの更新はデータを記録した時点である。つまり最初の1000試合は何も情報がない状態で行われ、残りは1000試合ごとに更新されていく。
- もっと厳しい事を述べると、全員が同じ分布に従ってサイコロを選択することになる。
これを踏まえて、以下では戦略ごとにグラフを紹介していこう。
戦略1.ランダムに選ぶ
サイコロを等確率でランダムに選ぶ。当然、使用率は25%付近を揺らぐことになる。
戦略2.勝利を優先する
各サイコロに重みを付けてランダムに選ぶ。番目のサイコロの重みは
で与える。使用率が高いサイコロに勝利しやすいサイコロを選びたい。 きれいなバンドが現れる。緑が最も使われ、一方でそのメタであるはずの橙が使われない。
戦略3.敗北を避ける
重みは
で与える。使用率が高いサイコロに負けやすいサイコロを選びたくない。 こちらは橙が突出しており、他の3種類は僅かに緑が優位だがどれも一様である。なるべく負けないようにするには橙を選ぶと良い。
戦略4.敗北と引き分けを避ける
重みは
で与える。使用率が高いサイコロに負けるか引き分けやすいサイコロを選びたくない。 こちらは戦略2とほぼ同様な結果になった。ただし結構ブレが大きいようだ。
戦略5.引き分けを避ける
重みは
で与える。使用率が高いサイコロに引き分けやすいサイコロを選びたくない。 予想外に面白い結果になった。カオスの中に潜む周期性というか、ある種の可積分性が隠れているように感じる。
各自バラバラの場合
上記の5つの戦略を、それぞれ40人ずつに取らせてみた。 戦略2とそれほど変わらないが、緑と紫が拮抗しているように感じる。相変わらず橙は人気がない。
チートサイコロに変えてみる
サイコロBをというチートサイコロEにしてシミュレーションを行ってみた。
戦略2
戦略2で使用率100%にならない。
勝率+引き分け率
橙と緑の環境になったが、それでも100%にならない。
(勝率+引き分け率)÷敗北率
これでようやく100%になった。
元の問題に戻る
ということで、
という式で最初の問題のシミュレーションを行ってみた。
引き分け率を除外する。
なんとも不思議な結果である。
所感
モデルとしては簡単な部類なので、数式で厳密解が得られる可能性はある。何か良いアイディアがあったらマストドンでトゥートして頂けると助かります。
GAの作り方
GAはR.D.Arthanにより一般的な構成方法が与えられている。
R.D.Arthan. A Minimalist Construction of the Geometric Algebra. arXiv:math/0607190v2 [math.RA] 9 Jul 2006.
GAの構成
をポセット、つまり半順序集合とする。は単位的可換環とする。signatureと呼ばれる写像を与えておく。基本的にsignatureの値はとするのが一般的だが別に何でもよい。ここでをの有限部分集合全体として、各について記号を用意する。このとき自由-加群を
と置く。
GAの特徴は自乗するとスカラーになるということだった。上記においてスカラーとはの係数である。これを集合論的に表すなら、は対称差によって表されるべきである。このとき積は-双線型かつ結合的である必要がある。仮に
と表せるとすると、
が成り立つ。対称差は結合的だから、結局
が成り立たなければならない。逆にこれが成り立てば
と定めることにより、何らかの結合的代数を考えることができる。
こうした形で定義可能な代数は色々あると思うが、Arthanの方法を用いてGAを作ってみよう。まずに対して
と定める。このときで
が成り立つ。同様に
である。故に
が成り立つ。
次に
と定める。このとき上記の考察により
が成り立つ。実際ベン図を書いてみれば分かると思うが、
であるための部分は左右で等しくなる。
上記の代数を幾何代数(Geometric Algebra)という。なお、についてと表すのが便利である。
例 として通常の大小関係を考える。signatureはのとき、のときとする。このときと置く。このとき
で生成される部分代数をと表せば、以前やった平面のGAや空間のGAなどになる。
良く知らないがミンコフスキー空間だととするのかな。
GAの対称性
これからGAの性質について調べていくことになるが、簡単な場合は次のように計算できる。
- である。
- が比較可能ならである。
- が比較不可能ならである。
より一般な場合はもう少し複雑な計算をする必要がある。
補題 について
が成り立つ。
(証明)の関係式
を思い出そう。として
が成り立つ。とすると
だが、ここでとを交換すると
が成り立つ。とすると
だが、やはりとを交換すると
が成り立つ。
を辺々足し合わせると
を得る。ここでであることに注意すれば
となる。
系 について
が成り立つ。
(証明)補題より
が従う。
この系を踏まえると、次の対称性を定義することができる。
定義 上の演算を次を線型に拡張して定める。
- をinvolutionという。
- をreversionという。
命題 について以下が成り立つ。
- である。特にである。
- である。特にである。
つまりについて
が成り立つ。
(証明)involutionについては
より分かる。また定義よりである。
reversionについては
より分かる。また定義よりである。
この二つの演算はを何回か掛けるだけなので可換である。この合成
をconjugationと呼ぶ。conjugationは
を満たす。
GAはが一定のものをまとめて、次数付き代数と見なすこともできる。このとき偶数次数と奇数次数に分けることができる。対称差の性質よりであり、である。
所感
気まぐれでポセット上に定義したが、GAは大小関係の有無程度の情報しか持っていないので、このような一般化による「うまあじ」は少ないかもしれない。