📈 economics

Measurable Majorities Are Not Finitely Axiomatizable

本論文は、最短のコヒーレンス違反が任意に長くなり得ることを示すことにより、有限な社会的決定フレームにおける厳密多数決推論は有限に公理化できないことを証明し、いかなる有界な有限断片もモス＝ペデルセンのコヒーレンス基準を代替できないことを実証する。

原著者： Lawrence S. Moss, Arthur Paul Pedersen

公開日 2026-06-25

📖 1 分で読めます☕ さくっと読める

CC BY 4.0

原著者： Lawrence S. Moss, Arthur Paul Pedersen

原論文は CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) でライセンスされています。 ✨ これは以下の論文のAI生成解説です。著者が執筆または承認したものではありません。技術的な正確性については原論文を参照してください。免責事項の全文を読む

全体像：「ルールブック」の問題

あなたは投票システムのルールブックを書こうとしていると想像してください。あなたの目標は、あらゆる「多数派（マジョリティ）」の状況を完璧に記述できる、シンプルで有限な一連のルール（公理）を作成することです。

もしある投票状況がこれらのルールに従っているなら、それは「測定可能（measurable）」であると言います（これは、「あるグループが勝つ確率は60%である」と言うように、公平な確率数で表現できることを意味します）。もしルールを破っているなら、それは「不整合（incoherent）」です（多数派の論理が崩壊してしまう構造的な矛盾のことです）。

論文の主要な発見：
著者らは、これに対して有限のルールブックを書くことは不可能であることを証明しました。あなたがどれほど多くのルールを書き記したとしても、ルールには従っているものの、論理的には壊れている、非常にトリッキーで複雑な投票シナリオが必ず存在します。あらゆる「壊れたシナリオ」を捕まえるためには、無限のルールのリストが必要になります。

コアとなる概念：「不整合指数（Incoherence Index）」

なぜそうなるのかを理解するために、著者らは不整合指数という概念を導入しています。これは、「最短の罠の長さ」だと考えてください。

罠（Trap）： 投票の罠とは、特定のグループ（集団）の連鎖のことです。それらは多数派を形成しているように見えますが、それらをすべて合計すると、互いに完全に打ち消し合い、誰も明確な勝者がいない状態になります。
指数（Index）： これは、その罠を作るために必要なグループの数です。
- 短い罠（指数2）は簡単に見つけることができます。
- 長い罠（指数100）は見つけるのが非常に困難です。

論文は問いかけています：罠の長さに上限はあるのでしょうか？

仮説： もし長さ10までのすべての罠をチェックすれば、すべて捕まえられたのではないか？
現実： 著者らは、**「ノー」**であると証明しました。どのような数（例えば100）をあなたが選んだとしても、彼らは、最短の罠が実際には長さ102になるような投票システムを構築できるのです。

比喩：「完璧にバランスしたシーソー」

たくさんの座席がある巨大なシーソーを想像してください。

目標： シーソーが完璧にバランスした状態（どちらの側にも傾かない状態）を保つように、人々を配置したいと考えています。
ルール： 「測定可能」な世界では、ちょうど同等のグループ（50/50の分割）を使用しない限り、シーソーをバランスさせることはできないはずです。
罠：著者らは、同等ではないグループ（投票ブロック）を配置しているにもかかわらず、それらをすべてシーソーに乗せると、完璧にバランスしてしまうという配置方法を見つけ出しました。これは論理的な矛盾です。

論文は、このような「不可能なバランス調整」を、より長いグループの連鎖を使って構築できることを示しています。

4つのグループの連鎖でバランスさせることができます。
6つのグループの連鎖でバランスさせることができます。
1,000のグループの連鎖でバランスさせることができます。

連鎖が長ければ長いほど、そのエラーを検出するのは難しくなります。著者らは、これらの連鎖が無限に長くなり得ることを証明しました。

証明の方法：「幾何学的構成」

複雑な組合せ論（あらゆる組み合わせを数え上げる手法）を用いる代わりに、著者らは幾何学を用いました。

マップ： 彼らは、あらゆる投票グループを多次元空間内の点（数千の方向を持つマップのようなもの）に変換しました。
コア（核）： 彼らは、非常に対称性の高い特別な「コア」となる投票グループを構築しました。すべての点が特定の形式で他のすべての点と結びついている、完璧な星型を想像してください。
魔法のベクトル： 彼らは、この星の中心を通り抜ける特別な「レーザー光線（ベクトル）」を見つけました。
- このレーザーは、「コア」のグループを正確に90度の角度で射抜きます（つまり、それらを無視します）。
- しかし、それ以外のすべてのグループに対しては、斜めに当たります（それらをプラスまたはマイナスとして認識します）。
結果： このレーザーのおかげで、シーソーをバランスさせる（ゼロ和の連鎖を作る）唯一の方法は、その「コア」にある特定のグループを使用することであると証明できました。そして、それを行うための最短の方法は、正確に $2k + 2$ 個のグループを必要とします。

「投票者の宇宙」を大きくすればするほど、最短の罠をより長くさせるように仕向けることができるのです。

なぜこれが論理学において重要なのか

論文は、論理と言語に関する結論で締めくくられています。

著者らが研究している論理体系（モス・ペデルセン論理）には、「コヒーレンス・スキーム（整合性スキーム）」と呼ばれるルールがあります。このスキームは、「長さ $N$ のグループの連鎖がバランスする場合……」というものです。
罠が任意に長く設定できることを著者らが証明したため、このルールは無限のリストでなければなりません。
あなたがどれほど多くの文章を書き連ねたとしても、それらを有限の文のセットに置き換えることはできません。いくら文章を書いても、そこからすり抜けていく「長い罠」が必ず存在するのです。

一文での要約

著者らは、「厳密な多数派」による投票の論理的複雑さは無限であることを証明しました。つまり、内部矛盾を検出するために、より長いリストのルールを必要とするような投票シナリオを常に構築できるため、有限のルールブックで全ての有効な多数派システムを完璧に記述することはできないのです。

技術的要約：厳密な多数決は有限公理化不可能である

問題提起
本論文は、有限の社会的決定フレームにおける厳密な多数決推論の有限公理化可能性を調査している。具体的には、定性的多数決判断が有限加法測度によって表現可能であるためのコヒーレンス（整合性）基準が、有限の設定において、いかなる有界な有限断片によっても代替可能であるかどうかを検討している。中心となる問いは、「不整合指数（incoherence index）」、すなわち構造的な矛盾（不整合）を露呈させるために必要な投票ブロックの最小シーケンスの長さが、すべての有限フレームにわたって一様に有界であるかどうかである。この問題は、Moss and Pedersen (2026) による予想 5.7（そのような一様な有限の境界は存在しないというもの）を解決するものである。

手法
著者らは、不整合指数の非有界性を示す純粋に幾何学的な証明を提供しており、これは Blanco (2026) による最近の組合せ論的アプローチに代わるものである。その手法は以下の通りである：

幾何学的写像： 部分集合の選択の特性を、有理ベクトル空間 ( $\mathbb{Q}^{W_k}$ ) の幾何学へと直接写像する。部分集合は双極指示ベクトル ( $x_A \in \{-1, 1\}^{W_k}$ ) によって表現される。ここで、「完全に均衡した」シーケンス（全集合を正確に $m/2$ 回カバーする）という条件は、ゼロ和条件 ( $\sum x_{A_i} = 0$ ) に翻訳される。
コア構成： 固定された整数 $k \geq 1$ に対して、著者らは基底集合 $V_k = \{1, \dots, 2k+2\}$ のすべての $(k+1$ 要素の部分集合からなる特定の有権者宇宙 $W_k$ を構成する。この宇宙のサイズは、中心二項係数 $\binom{2k+2}{k+1}$ である。
独裁者ブロックと線形独立性： $2k+2$ 個の「独裁者ブロック」からなるコア集合を定義する。各ブロックは、特定の基底要素を持つすべての有権者を含んでいる。著者らは、これらのブロックのみからなる非空の完全に均衡したシーケンスは、必ず $2k+2$ の倍数の長さを持たなければならないことを証明する。これにより、このコアから導出される潜在的なコヒーレンス違反の長さに対する下限が確立される。
生成的ベクトル分離： 「有限和補題（Finite-Union Lemma）」（Białynicki-Birula et al., 1959）を用い、コアベクトルの線形スパンには直交するが、べき集合の中間層にある他の均衡ベクトルには直交しない、生成的な有理ベクトル $u^*_k$ を構成する。このベクトルは、コアベクトルを含みつつ、より短い均衡による障害を除外する極大標準フレームを定義するために使用される。

主な貢献と結果

不整合指数の非有界性： 本論文は、すべての $k \geq 1$ に対して、不整合指数が正確に $2k + 2$ となる極大標準社会的決定フレーム $M_k$ が存在することを証明している。したがって、社会的決定フレームの不整合指数に一様な有限の境界は存在しない。
予想 5.7 の解決： この結果は、Moss and Pedersen (2026) の予想 5.7 を裏付けるものであり、表現可能な多数決を特徴付けるコヒーレンス・スキームを、有限のインスタンスの集合へと切り詰めることはできないことを示している。
中間層の明示的構成： この構成は、予想 B.25 で予測された特性を満たす、宇宙サイズの明示的な無限列 ( $2n_k = \binom{2k+2}{k+1}$ ) を提供する。具体的には、中間層（サイズ $n_k$ の部分集合）において、サイズ $2k+2$ の均衡部分族を含むが、サイズ $2, 4, \dots, 2k$ の均衡部分族を含まない補集合フリーな族を構成している。
非有限公理化可能性： 不整合指数の非有界性と、Moss-Pedersen 最小論理の健全性と完全性の定理を組み合わせることで、著者らは、表現可能な社会的決定フレームのクラスが、Moss-Pedersen 言語において有限公理化不可能であることを確立している。いかなる有限の文集合も、ある有限の長さ $M$ までのコヒーレンス・インスタンスしか捉えることができず、構成されたフレーム $M_k$ （不整合指数 $2k+2 > M$ を持つ）が、有限の公理を満たしながらも表現可能性に失敗する反例となる。

意義
本論文は、厳密な多数決推論に内在する複雑さは、単に測度論の副産物ではなく、有限ベクトル空間の幾何学に埋め込まれた深い組合せ論的現実であることを主張している。Moss and Pedersen (2026) は、表現可能性がコヒーレンスによって特徴付けられることを確立したが、本研究は、表現可能であるフレームと表現不可能であるフレームの境界が、非有界な有限の複雑性を持っていることを示している。表現可能性に対するあらゆる障害は有限であるが、その障害を必要とする長さには有限の天井が存在しない。

著者らは、幾何学的構成による有権者サイズは指数関数的にスケールする（ $O(4^k/\sqrt{k})$ ）のに対し、Blanco (2026) による組合せ論的証明は二次関数的なスケーリングを達成していると述べている。しかし、幾何学的アプローチは、第一原理から導出された自己完結的なメカニズムとして提示されており、対称的な半数の投票ブロックの族を孤立させ、それを極大フレームへと拡張している。これにより、Moss-Pedersen 論理におけるコヒーレンス・スキームの無限性は不可避であることが確認された。