Hatena::ブログ(Diary)

物理学と切手収集 Twitter

2017-05-15 elmoとPonanzaの力関係

ちょっと遅れましたが、アンケートをやってみて面白かったので少し解説してみます。


アンケートはこれです。



まず少し背景から。


5月3~5日に世界コンピュータ将棋選手権が川崎で開催されていました(第27回世界コンピュータ将棋選手権)。Ponanza*1は、3連覇を狙っていたプログラムで、大方の予想でも本命とされていました。一方elmoは新参加で、Ponanzaに二次予選でも決勝トーナメントでも勝ち、優勝したプログラムです。


「2局の結果から何が言えるか?」というのが質問で、結論から言うと多分25~50%が一番ありそうな所で、75%以上はあまりありそうにないという風に考えていますが、どういう風に考えてそうなるのか書いてみます。


この問題をどう考えるのかは、前提知識によって違ってくる、というのが重要なポイントになります。

予備知識がゼロの場合


まずコンピュータ将棋どころか、将棋についても予備知識が無く、どういう性質のゲームなのか分からない場合を考えてみます。


この場合、elmoとPonanzaが対局する前にはelmoが勝つ確率は全くの謎です。なので、0%から100%まで同じくらいありえそう、という前提から入ることにします。この時に考えられるelmoの勝率の分布(事前分布)はこう。


f:id:hundun2:20170514203424p:image:w360


elmoとPonanzaの対戦結果などの新情報が入るたびに、ベイズの定理に従ってこの分布を更新する、というのがベイズ統計の考え方。elmoがPonanzaに2勝した場合には、この分布にxの2乗を掛けて*2、分布の下の面積が1になるように正規化すると、事後分布の出来上がり。新情報を組み込んだ確率分布になります。


f:id:hundun2:20170514204214p:image:w360

(青は事前分布、赤が更新後の事後分布)


この場合の事後分布はシンプルで、3x2です。当然のように、elmoの勝率が高い確率が高くなります(この話はずっと「確率の確率」なのが少しややこしいですが避けようがなさそうです)。アンケートで出て来た区間ごとに分布の下の面積を計算すると、


区間確率
0~25%1.6%
25~50%10.9%
50~75%29.7%
75~100%57.8%

となって、実際の勝率が75~100%の区間にある確率が一番高くなります。

大差は付いていないと仮定した場合


「対戦情報以外に何も知らない」というのは、実際とかけ離れています。elmoとPonanzaという特定のプログラムについて何も知らなかったとしても、この2つのプログラムはどちらも選手権の決勝に出て来るレベルのものです。この場合には、「どっちが上かは分からないけれど、95%とか5%みたいな一方的な勝率はあまり無いだろう」、というのはリーズナブルな仮定です。そこで一例ですが、こういう事前分布から始めてみます。


f:id:hundun2:20170514204215p:image:w360


elmoの勝率が10%以下の確率も、90%以上の確率も約10%という仮定です。ここからさっきと同じように2勝0敗の対戦結果を組み込んで事後分布を計算するとこうなります。


f:id:hundun2:20170514204216p:image:w360


この場合には、elmoの勝率が50~75%の範囲に入る確率が50%くらいになっています。75~100%まで上がる確率は25%弱。つまり、「どちらが強いかは分からないけれど、どちらかが圧倒的に強い事はないだろう」という仮定から始めると、50~75%が恐らく妥当なアンケートの選択になります。

Ponanzaが有利だと考えていた場合


実際の状況をもっとよく知っていた場合を考えてみます。今回の大会のelmoとPonanzaの直接対決以外の情報で、勝率を推測するのに使えそうな情報はこの辺です*3


  • Ponanzaは2連覇中。今年のプログラムは去年のプログラムとの対戦では8割ほどの勝率
  • elmoは新参加。強豪プログラムのコードを利用して作られているとはいえ、この強豪プログラム自体はPonanzaほど強くはなかった。
  • 直接対決以外ではPonanzaは全勝。
  • elmoは2次予選で技巧に負けた以外は全勝。
  • PonanzaはGPUを大量に使うなど、マシンのスペックでelmoより上。
  • 人間の間の前評判では、Ponanzaが圧倒的有利という話だった。表彰式でのelmoの瀧澤さんと、Ponanzaの山本さんのやりとりが分かりやすい。


要するに、elmoの勝率の事前分布は、少ない方にピークがあるものだったはずなわけです。例えばこんな感じ*4


f:id:hundun2:20170514204217p:image:w360


elmoの勝率は2割くらいじゃないか、という前提です。山本さんの「10%も行かないんじゃないですか〜」は誇張が入っていたかもしれませんが、もう少し自信満々に、低い勝率に高いピークがある分布で考えてたんじゃないでしょうか。僕はそんな詳しくないのでこれくらいでやってみます。


f:id:hundun2:20170514204218p:image:w360


すると、25~50%の勝率になる確率が50%くらいになりました*5。まだPonanza有利ですが、elmoが勝ち越す可能性も結構ある、という結論になります。


もっと自信を持ってPonanza有利を予想していた人なら、elmoの勝率が50%を超えている可能性はあまり無さそう、と言っているでしょう。「まだ25%以下」と考えている人も結構いるのは、アンケート結果から分かります。

最後に


elmoが2勝した、という情報だけからだと、elmoの勝率は結構高いんじゃないか、と思わせるアンケートでしたが、他の情報を利用するとそうとも言えなくなってきます。持っている情報と、その情報をどういう風に評価するかによって事前分布は変わるもので、最終的に考えるelmoとPonanzaの力関係も変わってくる、というのをかなりアバウトにですが示せたかと思います。


あと、1回や2回の勝負では、多くの人間が思うほど極端に分布が変わるわけではない、というのも言えると思います。これは例えば、スポーツの1試合の結果で結論めいた話をするのは危険、みたいな応用も出来ますね。


追記


Ponanzaの山本さんが、(主に自分の研究・開発のためでしょうが)対戦させた結果をブログに書いてます。


電王戦2017最終局前夜 - 山本一成とPonanzaの大冒険


引用

「あとで検証したところ、Ponanza173勝 elomo89勝 4引分 勝率65.8%でした。(対局条件は10秒秒読み・Xeon24core ・定跡なし・クラスタなし・Deep Learning未使用)なかなか公平な対局条件をつけるのは難しいですが、まだなんとかPonanzaのが強そうと言えそうですね。」


大会と同じ条件ではないのでアンケートの答えが確定したかのような話にはなりませんが、大会と比較してどちらかが明らかに有利になる、という比較にも見えません*6。elmoの勝率が25~50%という可能性は高くなったと思います。

*1:今回の登録名はPonanza Chainer

*2:x2がこの観測結果に対応する尤度関数Wikipedia記事)。偶然にも、Wikipediaの「簡単な例」がピッタリ同じ話です。一般には、elmoとPonanzaの対戦成績がa勝b敗だった場合、尤度関数はxa (1-x)bになります。

*3:コンピュータ将棋関係者、特にelmoとPonanzaの開発者さん達はもっと色々挙げられるでしょうが、遠くから見てるような自分でも分かるような情報から考えます。

*4:これもただの一例です。

*5:ここでさらに言うと、対局内容(多分特に定跡の選択)から、詳しい人ならもう少し細かい更新ができるでしょう。

*6:この情報をどう料理するのかも人それぞれでしょうし、それはそれで問題無いわけです。

2015-10-23

ニュートリノ振動前史

2015年ノーベル物理学賞の受賞理由は、「ニュートリノに質量がある事を示すニュートリノ振動の発見」でした。


どうも「ニュートリノに質量があると何がすごいのか」という方向の解説が多くされているようなのですが、ニュートリノの種類(フレーバー)が変わる振動という現象自体が大発見で、長年の疑問を解決したものだったので、その話を書いてみます。


このブログでは「ニュートリノって何?」というシリーズ物を書いていて、ちょうど「ニュートリノ振動の解説が大変だなぁ」となって勢いを失って更新されていない状態なので、ある意味その続きになります。そもそもニュートリノってなんなのか、という所から読みたい人には長いですがおすすめしておきます。今回の記事だけでも読めるようにしてあるので、重複部分があります。


太陽ニュートリノ

地球で観測出来るニュートリノの発生源の1つに太陽があります*1。太陽の熱の元になっているのは、水素をヘリウムに変える核融合反応で、この反応が起こるたびに電子ニュートリノが出て来ます*2


1960年代の話。当時すでに、太陽の内部で起こっていると思われるこの反応は知られていて、最終的にヘリウムになるまでのルートが3つある事も知られていました。

f:id:hundun2:20120521114810j:image


上の図でppI, ppII, ppIIIと書かれているのが3つのルート。ルートによって、出て来るニュートリノエネルギーが違ってきます*3。ここにはルート別の割合がパーセントで書いてありますが当時は不明でした。これらの反応は太陽の表面ではなく内部だけで起こっているものなので、太陽から来る光をいくら観測しても割合は分かりません。そこで、ニュートリノを観測する事で、太陽での核反応の測定が直接出来るのでは、というアイディアが出て来ました。


ホームステイク実験

観測出来るはずのニュートリノの数を計算したのはジョン・バーコールという宇宙物理学者でした。太陽の表面温度、半径などから太陽の内部状態を推測して、それぞれの核反応が時間当たりに起こる回数を求めたわけです*4


そして実験を行ったのがレイ・デイヴィスという人。塩素ニュートリノが当たると、ある確率で塩素37の原子核アルゴン37に変わるという計算がありました。そこでデイヴィスは、サウスダコタ州にあるホームステイク金鉱に水槽を作り、ドライクリーニングに使われる洗浄剤*5を40万リットル貯めました。実験の写真はブルックヘブン国立研究所のページで見られます。


これを放っておくと、洗浄剤に含まれる塩素アルゴンに変わってくれるわけですが、ニュートリノが反応する確率というのは低いので、これだけの量の塩素を置いても1日に1回も反応してくれません。何週間か待って、アルゴン原子を数十個集める、という実験というわけです*6。この実験の結果は1968年に初めて発表されて、バーコールの予想の7分の1のニュートリノしか見つかりませんでした。


ニュートリノ振動

バーコールの計算もデイヴィスの実験も初めての試みという事で、当然ながらどちらも疑問視されました。しかしどちらも長年改善を続けて、他の研究者の検証にも耐え続け、実験で見つかるニュートリノの数は理論予想の3分の1ほどで落ち着きました。


実験で見えるニュートリノの数が、理論上の予想と一致しない、というのは「太陽ニュートリノ問題」と呼ばれるようになりました。理論計算が間違っているとすれば、一番近くにある恒星の中で何が起こっているのか分かっていないという事で、それは天文学の視点では大問題になりえます。


この問題の解決策としてニュートリノ振動という現象を1976年に考えたのがブルーノポンテコルヴォとサモイル・ビレンスキーの2人でした*7。もしニュートリノに質量があるとすると、太陽での核反応で生まれた電子ニュートリノが、地球にたどり着くまでに他の種類(ミュー型またはタウ型)のニュートリノに変わることが可能になる、という説です。他の種類のニュートリノはデイヴィスの実験では観測出来ないので、数が減っている事が説明出来るわけです。


この説を検証して、実際に正しい事を示したのが90年代以降の神岡、サドベリーでの実験で、30年続いた問題の解決となったわけです。


最後に物理屋向けに一言。太陽ニュートリノ問題の解決にはPMNS行列による真空での振動だけでなく、MSW効果という物質効果が必要になります。面白い物理なので知らない方は調べてみてください。

*1ニュートリノの発生源についてはシリーズその3

*2ニュートリノの種類についてはシリーズその5

*3ニュートリノの数も違うように書いてしまっていたのですが、どのルートにしても陽子1つが中性子に変わるたびに電子ニュートリノが1つ出て来るので数は変わりません(電子が吸収されるか陽電子が出て来るかの違いはありますが。)

*4:太陽の内部温度に一番大きく左右されるのは、回数で見ると一番少ないppIIIのルートのニュートリノの数で、デイヴィスの実験で主に測られたのはこれでした。他のニュートリノがほとんど見えなかったのは、ppIIIのルートと比べるとエネルギーが低いため。

*5テトラクロロエチレン

*6水槽にヘリウムを通すとアルゴンを集められたそうです。アルゴン37は電子捕獲で崩壊するので、これを観測すれば数えられます。半減期は35日。

*7ポンテコルヴォは、ニュートリノと反ニュートリノの間の振動現象1969年に提案していました。

2014-09-15

マリ紛争と音楽

フランスの介入で当面は落ち着いている西アフリカのマリ北部紛争を、マリの音楽を通して見てみようと思います。といっても、フランス語含めて現地の言語を聞くだけで理解出来るわけではないので、表面だけ見ているようなものですが、紛争に触発されて、そしてそれと関係なく、マリという場所で良い音楽が作られてるというのが伝えられれば幸いです。


まず、マリの地理と紛争のおさらい(詳しくはウィキペディア記事)。マリの北部サハラ砂漠で、首都バマコ含めて人口のほとんどは南部、主にニジェール川沿いに住んでいます。砂漠の方では、定住しているソンガイ族などの他に、国境も自由に行き来するような遊牧民トゥアレグ族などが住んでいます。マリ人の多くは黒人で、北アフリカの人達により近いトゥアレグ族などは例外になります。そして宗教的には90%以上がイスラム教徒です。


今回の紛争は2012年の初め頃、トゥアレグ族独立運動として始まり、4月には北部マリの主要な都市を制圧した反乱軍がアザワドという国名で独立を宣言しました。しかしその後、反政府で同盟を組んでいたイスラム過激派の勢力が強くなり、ほとんどの都市をイスラム過激派に乗っ取られてしまいます。過激派によって古都トンブクトゥ遺跡などが破壊されてしまったのは大きく報道されたと思います。


これと同時進行で首都バマコでは3月にクーデターが起きるなどして、マリ政府は全くと言っていいほど北部での反乱に対応出来ていませんでした。そこで2013年の1月に元宗主国フランス国連の許可を得て軍事介入。日本で大ニュースになった隣国アルジェリアでの人質事件は、この介入が背景にありました。フランス軍の作戦はとりあえず軍事的には成功し、今のところ反政府勢力は弱まっていますが、これから安定した政治の基盤が作れるのか、という面ではまだ不安が大いに残ります。


ではでは、音楽に行きましょう。


トゥアレグ族

まずはトゥアレグ族の音楽。色んな意味で抜かせないのがティナリウェン(Tinariwen)。このバンドの結成の経緯はこの紛争とも大いに関係があります。80年代にリビアカダフィ大佐は、隣国のトゥアレグ族独立運動を支援し、トゥアレグの若者達を呼んでトレーニングをしていました。ティナリウェンが結成されたのはその駐屯地での事。ティナリウェンはもう戦っていませんが、カダフィ大佐がいなくなった事で軍事訓練を受けたトゥアレグがマリに戻っていき、それが今回の戦乱の原因の1つになりました。


2011年には既にマリ北部は危険になっていたようで、アルバムの録音はアルジェリアで行われていました。

Tassili

Tassili

D

基本的には、グルーヴ感のあるトゥアレグ民族音楽エレキギターに乗せたかっこいい音楽ですが、"Tassili"はビデオにも出て来るようなアメリカのアーティストとの共演を含めて、色々と冒険したアルバムでした。


イスラム過激派には音楽を禁止しようとしたものもあって、ティナリウェンはターゲットとなってしまったとか。現在も避難中で、一番最近のアルバムはアメリカで作られました。

Emmaar

Emmaar


もう1つマリのトゥアレグ音楽で紹介したいのはタミクレスト(Tamikrest)。ティナリウェンよりも若いグループです。去年出したアルバムのタイトル"Chatma"はSistersと言う意味で、戦争で苦しむ女性達に捧げたそうです。

Chatma

Chatma

D

曲の中では、レゲエの入ったItousが個人的には好き。トゥアレグ音楽の可能性を広げる意味では、このアルバムでティナリウェンを越えたと思います。かなりオススメ。


トゥアレグ音楽が気に入った方は、隣のニジェール出身のBombino、Etran Finatawaもチェックしてみてください。


砂漠のブルース

北部マリに定住している人達の音楽で有名なのは、砂漠のブルースとも呼ばれる独特のスタイルのギターで世界に知られるようになったアリ・ファルカ・トゥーレ(Ali Farka Toure)です。彼は2006年に亡くなりましたが、彼に直接影響を受けた人達が今回の紛争を受けて音楽を作っています。


まずアリのバンドに参加していたサンバ・トゥーレ(Samba Toure)。

Albala

Albala

D

アリのスタイルを踏襲した音楽と言って良いと思いますが、緊迫感のある録音です。


次に、アリの息子、ヴュー・ファルカ・トゥーレ。アリよりも「エレキギターですよ」という音楽を主にやっている印象でしたが、前回のイスラエルのイダン・ライヒェルとの共演と

Tel Aviv Session

Tel Aviv Session

今回の"Mon Pays"(フランス語でMy Countryの意味)は、どちらも音量を抑えたアルバムになってます。

Mon Pays

Mon Pays

D

↑このPeaceという曲は、シディキ・ジャバテ(Sidiki Diabate)との共演。シディキの演奏するコラはハープのような楽器で、シディキの父トゥマニ(Toumani Diabate)が今一番の名奏者。アリとトゥマニの共演も素晴らしかったので、いつかは起こっただろうという息子達のコラボ。今後も楽しみです。


北部マリからはもう1人、シディ・トゥーレ(Sidi Toure)。名前が紛らわしいですが、アリ・ファルカ・トゥーレと直接の関係は無いはずの人。"Alafia"の意味は平和。

Alafia

Alafia

D

似た系統の音楽なのは分かりますが、タッチがかなり軽いです。


グリオ

トゥマニやシディキ・ジャバテに代表されるのが、南部マリの音楽の中心になるグリオ(ジェリ)の伝統です。グリオは、世襲制で芸を何百年も受け継いできた人達で、地域の歴史を伝える語り部です。昔の日本にいたとしたら平家物語古代ギリシャだったらトロイ戦争の話を歌っているような人でしょうか。それが身分制度として現代にも存在するのがマリの社会ということです。


同じくコラを演奏するバラケ・シッソコ(Ballake Sissoko)が出したのは、"At Peace"というアルバム。

At Peace

At Peace

D

トゥマニとコラ2本の共演だった"New Ancient Strings"、チェロとの共演"Chamber Music"に続いて、瞑想するような音楽です。

New Ancient Strings

New Ancient Strings

Chamber Music

Chamber Music


逆に感情を表に出してきたのがバセク・クヤテ(Bassekou Kouyate)。彼もグリオですが、ンゴニというバンジョーのような楽器にアンプを付けてます。

Jama Ko

Jama Ko

D

PVはあまり紛争と関係無いように見えますが、みんなで集まって音楽やって踊るのがマリの文化だよ、という抗議だそうです。他にも、イスラム主義に対抗した過去の偉人について歌った曲などあって、こういうのがグリオの役割なのだろうな、と思わされます。


グリオギタリスト、ハビブ・コワテ(Habib Koite)のアルバムは、いつも通りの楽しい音楽を大体やってますが、"Soo"はHomeの意味で、同じタイトルの曲は明確に紛争を意識したものです。

Soo

Soo


その他

ロキア・トラオレ(Rokia Traore)は貴族の出身だという事で、本来は音楽をやるべきではないのだとか。

Beautiful Africa

Beautiful Africa

D

普通にかっこいいアフロポップです。


ファトゥマタ・ジャワラ(Fatoumata Diawara)は、女性ボーカルが表に出てくるワスル音楽の人。

Fatou

Fatou

D


彼女はマリの他のスターを集めて反戦の歌を録音したり、過激派に占領されたトンブクトゥを描いた映画に出演したりしているようです。

D

(この記事で名前を出した人も沢山出て来ます)


最後にですが、マリ北部では毎年Festival au Desertという音楽フェスティバルがあって、ここで紹介したようなアーティスト達が集まっていました。一度は行ってみたいイベントですが、現在は中断中。元通りに戻ってほしいものです。

Live from Festival Au Desert Timbuktu

Live from Festival Au Desert Timbuktu

D


追記

北部マリのガオ出身で、紛争のためにバマコ避難していた4人組がソンゴイ・ブルース(Songhoy Blue)というバンドを作ってます。このブログ記事を書いた直後に存在に気が付いたんですが、↓この1曲だけ出してたので追記は書かないでいました。

D

今年に入ってからMusic In Exileというアルバムを出していて、PVももう1つあります。

Music in Exile

Music in Exile

D

ここで紹介した中だとタミクレストと並んでオススメです。

2013-10-11

素粒子の質量が違うわけ

ヒッグスの話です。最初におすすめしておきたいのが、去年のヒッグス粒子発見の数日後に書かれた「 Hal Tasaki’s logW 1207 」(特に、「何がすごいのか? 」の部分)と「ヒッグス粒子ってなあに?」。


今年のノーベル物理学賞を受賞したヒッグスとアングレール(とブラウト*1)が解決したのは、力を伝達するゲージボソンという粒子が、どうすれば質量を得る事が出来るか、という問題でした。去年のヒッグス粒子の発見は、彼らが考えた「ヒッグス機構」と呼ばれる仕組み*2が実際の世界で働いている証拠になりました。


ヒッグス粒子の発見で「完成」したと言われている標準模型*3、これまでに発見されている素粒子の性質と、その間に働く作用をかなり正確に記述出来ると考えられています*4。この理論でのヒッグス機構の働きは、「弱い力」を伝えるWボソンとZボソンという粒子に質量を与える事です。この2つの粒子に大きな質量*5があるために、伝える力が働く距離がとても短くなり、「弱く」なる事を説明しています。


標準模型では、電子やクォークなどの素粒子にもヒッグス場のおかげで質量が生まれる事になっていますが、これはあくまでオマケ。ヒッグス達が発見したのはあくまで、ゲージボソンに質量を与える方法でした。とはいえ、報道では「物質に質量をもたらす」部分が強調される事が多いですし、そっちの話を少ししてみます。(ありがちな誤解については、以前このブログで書きました。「ヒッグス粒子には出来ないこと - 物理学と切手収集」)


素粒子の質量の違い

この話のスタート地点としては、「素粒子の質量はヒッグス(場)と関係あるらしい」というだけの理解で良いと思うんですが*6素粒子の質量は種類によって違います。上に書いたようにオマケで質量をもらったレプトンクォークの質量は大体こんな感じ*7


レプトン質量(MeV)
電子0.5
ミュー100
タウ2000
クォーク
アップ2
ダウン5
チャーム1000
ストレンジ100
トップ200000
ボトム4000

MeVという単位の意味は、そういう単位で測れる、という事以外気にしなくてもいいです。ここで注目したいのは、質量が0.5MeVしかない電子から、20万MeVもあるトップまで、素粒子の質量に大きな差がある事です。なんでこんな差が出るのか、物理学者は説明出来てるのか?というのは自然な質問だと思います。


答えは、出来てると言えば出来てるし、出来てないと言えば出来てない、です。なんのこっちゃ。


なぜ違いが出るのか、には「質量はヒッグス場との結合定数に比例して、これが素粒子ごとに違うから」という答えがあります。どういう意味かというと、ヒッグス粒子と反応しやすい素粒子は、質量がその反応しやすさに比例して大きくなるという事です。そしてその「反応しやすさ」は、実験で作られたヒッグス粒子がどのように崩壊するかを調べれば測ることが出来ます。


例えばトップクォークは質量が大きいので、ヒッグス粒子と強く反応すると考えられます。逆に質量の小さい電子は、ヒッグス粒子とはほとんど反応しません。ここから、ヒッグス粒子が崩壊する際、トップクォークが出て来る事は多く、電子が出て来る事はほとんど無いという予想が標準模型からは出て来ます*8質量とヒッグスとの結合定数が比例しているかどうかは、実験で確かめられるわけです*9


ただ、そもそも電子とヒッグス、トップクォークとヒッグスの結合定数が違う理由はなに?と聞かれると、標準模型にはその答えはありません標準模型が教えてくれるのは、そこに定数があって、実験で測れば分かる、という事だけだからです。標準模型を超える理論が出来れば説明出来るのかというと、それもあやしいですが、とにかく今広く受け入れられている理論では全く説明出来ないんですね。

*1:他にも…

*2:真空でのヒッグス場の期待値が0では無くなる事で、ゲージ対称性が自発的に破れ、結果破れた対称性に対応するゲージボソンが質量を得る。

*3:下に出て来る、ヒッグスと他の素粒子の結合定数が測られていないので、まだ完成していない、という意見もあり。

*4:今までに明らかに示されている例外はニュートリノ振動のみ。標準模型ではニュートリノに質量はないとされているが、ニュートリノ振動は質量が無ければ起こらない。

*5:どちらも陽子の約100倍の質量。

*6:これでも予備知識が必要なのが難しいところ…

*7:実際はもっと精密に測れてる。「レプトン (素粒子) - Wikipedia」「クォーク - Wikipedia

*8:これは、ヒッグス粒子が崩壊した直後の話。実際の実験で検出されるのは、トップクォークがさらに他の粒子に崩壊したもので、そのような崩壊の連鎖のあとでは大量の電子が普通出て来る。検出されたものから、元のプロセスがどういうものだったのか復元するのは、LHCのような実験では大事な手順。

*9:これは、まだ確かめ始めたところ、と言って良いと思う。

2012-12-31

多数決の何が悪いか(おまけ)

(出来る限り、前編後編を見なくても読めるように書きましたが、気になったらそちらも読んでみてください。)


このシリーズをブログにまとめるきっかけの1つは、「だれからも文句のでない投票方式」という日経サイエンスの過去記事でした(2013/1/2 16:38追記・訂正 きっかけは記事全文ではなく、紹介文でした。全文はリンク先でダウンロード購入、または日経サイエンス2004年6月号を探してください。このブログで書いた話と重複が多いですが、著者の推奨する選挙方式について筋の通った解説がされているのでオススメです。)。この記事の論旨は僕のブログ記事と同じで、投票者それぞれが候補1人に票を入れる形の多数決よりも、候補をランク付けする方式の方が好ましいというものですが、提案している方式は少し違います。この記事の話を少し詳しく見てみます。


まず、「完全な投票方式は存在しない。どんな方式にも何らかの欠陥がある。」というのはアローの不完全性定理への言及でしょう。これについては後編で書きました。2000年のアメリカ大統領選も、多数決の問題点を指摘する際に多用される例になっています*1


ただ、「2002年のフランス大統領選挙では,予想に反して,極右政党ルペンが上位2人の候補者で競う決選投票に進ん」だ事が、2回投票制の問題のように書かれています。これには疑問です。この選挙の結果(リンク)を見ると分かるのは、10人以上の候補がいた1回目の投票から、シラクルペンの決選投票の間で、ルペンの得票率がほとんど伸びていないことです。これは、ルペンには熱狂的な支持者が一定数いて、それ以外のほとんどの人はルペンに反対していた事を示しています。もしフランス大統領選が1回勝負の多数決だったとすると、ルペンが勝ってしまった可能性もあります。この選挙はむしろ、「2回投票制は過半数での勝利を要求するので、ルペンのように大多数に嫌われている候補を当選させない」、という成功例でしょう*2。(2013/1/2 11:03追記 IRVではシラクジョスパン直接対決になっていたと思われるので、それほど良くなかった、と言う事は可能です。)


それでも、著者達が提案している選挙方式は興味深いです。引用します。


「投票者はすべての候補者について選好順序を示す。これに基づいて候補者どうしを1対1で比較したとき,他の候補者をすべて打ち負かした者が当選者となる。また,他の候補者をすべて打ち負かすほどの多数の支持を得た候補者がいなかった場合は,1対1の比較で最も多くの候補者を打ち負かした者を選び,さらにその中でも最も多くの順位評点を獲得した者を当選者とすればよい。」


最初の部分に出てくる、他のどの候補と1対1で勝負しても勝てる候補は「コンドルセ勝者」と呼ばれます。この方式では、候補のランキングを投票してもらって、コンドルセ勝者がいたらそれを当選させる、という事になります。確かに、コンドルセ勝者を当選させる、というのは選挙方式に求めたい性質の1つです*3


多数決では、コンドルセ勝者が勝つとは限りません。それどころか、直接対決で全員に負ける候補、「コンドルセ敗者」が当選する事さえあります。2002年のフランス大統領選が多数決で行われていた場合、コンドルセ敗者だったかもしれないルペンが、もう少し得票率を伸ばせば勝っていました。市民の過半数に嫌われている候補でも、反対票が何人かの候補に割れてしまうと、多数決で勝つ可能性があるという事です。


コンドルセ勝者がいない場合もあります。その一番単純な例は、後編でも書いたコンドルセパラドックス。投票者3人が、候補3人をランク付けした結果、こうなった場合です。


1人 A、B、C

1人 B、C、A

1人 C、A、B


直接対決でAはBに勝ち、BはCに勝ち、CはAに勝つようになっています。どの候補も、他の2人両方に勝ってはいません。つまりコンドルセ勝者はいません。これがコンドルセの「パラドックス」と呼ばれる理由は、「全体の意見」というものがあるとした場合、それによるとAの方がBより良く、Bの方がCより良いのに、Aの方がCより良くはなっていないからです。


候補の数が増えると、このようにコンドルセ勝者がいない確率が増えてきます。著者達の提案では、その場合には「1対1の比較で最も多くの候補者を打ち負かした者を選」ぶ事になります。リーズナブルだと思います。それでもまだ決着がつかない場合は、「最も多くの順位評点を獲得した者を当選者」とします。これは、後編で紹介したボルダ得点のこと。候補が10人いた場合、1位票に9点、2位票に8点、…、10位票に0点、と得点を割り振って合計を争います。


実は、この方式はブラック方式*4というものに似ています。ブラック方式では、コンドルセ勝者がいれば当選させて、その後すぐにボルダ得点で評価をします。この記事の提案は、それよりも1つステップが多くなっています。


記事の選挙方式も、ブラック方式も、投票でランク付けが出来る事と、コンドルセ勝者が確実に当選する事がメリットです。問題だと思うのは、ボルダ得点で起こる、有力候補を一番上と下に分けて差を付ける戦略*5が有効なのではないかという事と、複雑すぎないかという事です。


結論の、「候補者をどの順で好ましいと評価するかという情報を投票に取り入れることにより,投票者の意思をより正確に反映させることができる」、というのには賛成ですが、「この方式は世界中の国々で容易に実施可能」、というのはまだ断言できないように思います*6

*1:ただ、「最も人気のあったアル・ゴアジョージ・W・ブッシュに破れ」、という書き方だと、選挙人制度の批判のようにも見えてしまいます。

*2:実際には、多数決だった場合には、ルペンに当選して欲しくない人達の票がシラクジョスパンに集まっていたでしょう。こうなると、それぞれの候補が実際にどれくらい支持されているのか分からなくなってしまいます。これが前編、後編両方でしつこく書いた戦略投票の問題です。

*3:2回投票制、IRV、ボルダなどの弱点の1つは、コンドルセ勝者が当選するとは限らない事です。ただ、コンドルセ敗者が勝つ事は無いので、多数決よりはマシ。

*4:中位投票者定理で知られるDuncan Blackが提案したもの。

*5:つまり、実際の選好とは違う投票の仕方。「泡沫候補選挙戦の行方を左右するといった矛盾を避けられる。」とあるのは疑問です。

*6:同じくらい良さそうな方式の中でもIRVを僕が推しているのは、既にオーストラリアアイルランドで実施されているからです。