The Measurable Majority

あなたは、あるグループにおける「多数派（the majority）」が実際には何を意味するのかを解き明かそうとしているところだと想像してください。通常、私たちはそれを単純なものだと考えます。例えば、100人の人がいて、51人が「イエス」と言えば、多数派は「イエス」である、という具合に。しかし、もしそのグループがもっと小さかったり、数え方のルールが奇妙だったりしたらどうでしょう？「過半数」が単純な数字と一致しないようなグループだったら？

ローレンス・モス（Lawrence Moss）とアーサー・ペダーセン（Arthur Pedersen）によるこの論文は、この謎を解こうとする探偵小説のようなものです。「いつ、グループの『多数派』という意見が数学的に実在するものとして信頼できるのか、そして、いつそれは単なるトリックに過ぎないのか？」

以下に、彼らの発見を日常的な比喩を用いて解説します。

1. 設定：投票ブロック

著者たちは、有限の投票者（小さな町や委員会のようなもの）が存在する世界を想定しています。彼らは、さまざまな「ブロック（集団）」（例：「ピザが好きな人々」、「町の左側に住む人々」など）に注目します。

彼らは問いかけます。「すべての人のスコアを割り当てたとき、あるブロックが『多数派』と見なされるのは、そのメンバーの合計スコアが町全体の総スコアの半分を超えている場合のみである、というルールを設定できるだろうか？」

• 朗報： 時には、可能です。単に人数を数える（一人につき1ポイント）のであれば、完璧に機能します。
• 悲報： 時には、不可能です。「多数派」を定義するためのルールが、一見論理的に見えても、数学的にスコア化することが不可能な場合があります。それは、パーツが組み合わさっているように見えて、実は物理法則に反しているような、まるで手品のような現象です。

2. 「奇妙な偶数（Oddly Even）」の罠

論文では、「奇妙な偶数」と呼ばれる特定の例を紹介しています。6人の人がいる町を想像してください。

• ルールA： 4人以上のグループは多数派である。
• ルールB： ちょうど3人のグループは、そのメンバーのID番号の合計が偶数である場合に限り、多数派となる。

これは一見、妥当に見えますよね？しかし、著者たちはこれが数学的なパラドックスであることを証明しています。これら6人の人々に、これらのルールを成立させるような「公平な重み」やスコアを割り当てることはできません。計算しようとすると、数字が崩壊してしまうのです。それは、床が完全に平らなのに、3本の脚を持つテーブルを作ろうとしているようなものです。脚の角度が原因で、どのように調整してもテーブルがぐらついてしまうのです。

3. 解決策：「整合性（Coherence）」テスト

多数派のルールが有効（測定可能）なのか、それとも壊れている（不整合）のか、どうすれば分かるのでしょうか？

著者たちは「整合性（Coherence）」と呼ばれるテストを考案しました。これは、ルールの「ストレス・テスト」だと考えてください。

• テストの内容： さまざまなグループ（ブロック）を列に並べてみます。
• 条件： もし、そのラインナップにあるすべてのグループが「多数派」（またはちょうど半分）であると主張しており、かつ、そのラインナップの中に現れるすべての人の出現回数を数えた結果、誰もが「半分以上」の頻度で現れていない場合……
• 結果： そのとき、ラインナップ内のすべてのグループは、サイズが「ちょうど半分」でなければならず、かつ、すべての人は「ちょうど半分」の頻度で現れていなければなりません。

もしルールがこのテストに失敗する場合、それらは「不整合」です。それは、精査されると崩れ去る「カードの家」のようなものです。もしテストに合格すれば、著者たちは、公平なスコアリング・システム（数学的な尺度）が必ず存在するはずであると証明しています。

大きな発見： この「整合性」テストこそが、有効な多数派の正確な定義なのです。先に数字を見つける必要はありません。ただルールをチェックするだけです。ルールがテストをパスすれば、数字は存在します。ルールが失敗すれば、いかなる数字もそれを成立させることはできません。

4. 有名な間違いの修正

この論文はまた、1974年にパトリック・サッペス（Patrick Suppes）という数学者が犯した有名な間違いについても指摘しています。サッペスは、「おそらくそうであろう（more likely than not）」（これは基本的に「多数派」と同じです）を定義するための、シンプルなルールを書こうとしました。

• 間違い： サッペスは、自分のルールがあれば公平なスコアが存在することを保証できると考えていました。
• 修正： 著者たちは、サッペスのルールには決定的な要素（整合性テスト）が欠けていたことを示しました。「奇妙な偶数」の例を用いて、彼らは、サッペスのルールを完璧に守ったとしても、有効なスコアが存在しない「壊れたシステム」になり得ることを証明しました。彼らは、確率や投票の理解に関する設計図を、事実上修正したのです。

5. 「最も（Most）」のための新しい言語

著者たちはまた、「最も（most）」について語るための、小さくシンプルな言語（論理体系）を構築しました。

• 複雑な数学や無限の変数を使う代わりに、彼らは「ほとんどのものはXである」といったことが言える言語を作成しました。
• 彼らは、この言語が健全（sound）（決して嘘をつかない）であり、かつ完全（complete）（多数派に関する真実なすべてを証明できる）であることを証明しました。
• これは、スーパーコンピュータを必要とせず、多数派の数学だけを完璧に行う、特化した計算機を持っているようなものです。

6. 複雑性の謎

最後に、論文はこれらの「壊れた（不整合な）」システムがどれほど複雑になり得るかを探っています。

• ルールが壊れているかどうかを確認するために、単にいくつかの小さなグループをチェックするだけでは不十分であることが分かりました。エラーを見つけ出すには、巨大で複雑なグループの組み合わせをチェックする必要があるかもしれません。
• 彼らは、（まだ完全には証明していませんが）これらの壊れたシステムには複雑さに限界がないのではないかと考えています。それは、ボールを落とす前に、どれだけの数のジャグリングができるかに限界がないと言っているようなものです。「落としどころ」は、どんどん高くなっていくのです。

まとめ

要約すると、この論文は私たちに**「民主主義の検定試験」**を与えてくれます。ある投票ルールが数学的に健全であるのか、それとも論理的な錯覚であるのかを、正確に教えてくれるのです。彼らは古い数学的な間違いを正し、「最も（most）」について語るためのシンプルな言語を作り上げ、公平な投票と数学的パラドックスの境界線が、私たちが思っているよりも細いものであること、しかし、どこを探すべきかを知っていれば明確に線を引けるものであることを示しました。