Arrow の不可能性定理 — 完璧な集約という幻
民主主義の正統性が問われ、各国で投票制度や「合理的な集約」の意味が再考される時代に、Arrow が 70 年前に証明した不可能性命題は、再び現役の問いとして読まれる必要があるといえるでしょう。完璧な集約方法は数学的に存在しない ── この一行から派生する思考の系列は、政治制度から組織ガバナンス、AI マルチエージェント系の意思決定設計にまで及ぶと読むことができます。本稿は Arrow の定理を、その前史 (Borda・Condorcet) と後史 (Sen・メカニズムデザイン) に位置づけ、現代の文脈で読み直してみます。
「みんなで決める」とは、どういうことでしょうか。多数決を取る、議論を尽くす、合意形成を図る ── 民主社会の実践には複数の方法があります。けれども、いずれの方法にも何かしらの不満が残ります。多数決は少数派を切り捨てる、議論は時間がかかる、合意は誰かの妥協を強いる。
これは運用の問題に見えるでしょう。技術が未熟で、参加者が利己的で、時間が足りないから、ベストの方法が実装できないだけだ ── と。
1951 年、当時 30 歳の Kenneth Arrow (1921–2017) は、そうではないことを証明しました。「個人の選好を、ある合理的な条件を満たしつつ社会の選好に集約する完璧な方法」は、そもそも数学的に存在しない ── というのが定理の含意だと整理できます2。
集約という問題
Arrow は 1950 年の論文 “A Difficulty in the Concept of Social Welfare” を次の対比から書き始めています。
資本主義的民主社会において、社会的選択を行う方法は本質的に二つある。一つは投票で、典型的には「政治的」決定に用いられる。もう一つは市場機構で、典型的には「経済的」決定に用いられる1。
この論文 (および翌年の博士論文 Social Choice and Individual Values2) で定式化された問題は、この二つのうち 前者 ── 投票によって個人の選好を社会の選好に集約する方法 ── に関するものだといえるでしょう。
$n$ 人の個人がいる。各個人は、$m$ 個の選択肢 (政策案、候補者、商品など) の間に「望ましさの順序」を持っている。この個人選好は合理的、すなわち 推移的 であると仮定されます: A を B より好み、B を C より好むなら、A を C より好む、というものです。
社会選択関数とは、$n$ 人の個人選好の組合せ (プロファイル) を入力に取り、ひとつの「社会的選好順序」を出力する関数です。多数決もボルダ式もコンドルセ式もこの関数の実装だと整理できます。
Arrow が問うたのは、こうした関数のうち 民主的に望ましい性質を全て備えるもの は何か、という問いだったといえるでしょう。
五つの条件
Arrow が課した条件は、次の五つに整理されます2。
| 条件 | 内容 |
|---|---|
| 普遍性 (U) | 任意の個人選好プロファイルに対して社会選好が定義される |
| 推移性 | 社会選好は推移的 (A>B>C ならば A>C) |
| パレート (P) | 全員が A を B より好むなら、社会も A を B より好む |
| 無関係選択肢からの独立性 (IIA) | A と B の社会的順序は、第三の選択肢 C への選好には依存しない |
| 非独裁性 (D) | ある一人の選好が常に社会選好を決定する、という状況にならない |
これらはどれも素朴に「もっともだ」と感じられる条件だといえるでしょう。「全員一致なら社会もそうあるべき」(P)、「決定が誰か一人の独断ではいけない」(D) ── こうした命題に異を唱える人は少ないはずです。
定理
Arrow が 1950 年論文の結論部で示したのは、後の社会選択論の出発点となる次の命題でした。
個人間の効用比較の可能性を排除するならば、個人の嗜好から社会的選好へと至る方法のうち、満足できる性質を持ちかつ広い範囲の個人選好順序の集合に対して定義されるものは、押しつけ的か独裁的かのいずれかである1。
これを翌年の博士論文で 一般可能性定理 (General Possibility Theorem) として精緻化したのが、現在 Arrow の不可能性定理として知られる結果です2。整理すれば、三つ以上の選択肢があるとき、上の五条件 (普遍性・推移性・パレート・IIA・非独裁性) を全て満たす社会選択関数は存在しない、というかたちになります。
任意の集約方法は、必ずどれかの条件を破ることになります。民主主義の常識が、そのままの形では数学的に両立しない ── これが定理の核心だと読めるでしょう。
例えば多数決は IIA を破ります。コンドルセ式は推移性を破ります (有名な「コンドルセの循環」: A>B>C>A という社会的選好が生まれうる)3。ボルダ式も IIA を破ります4。「全員に何かしらの拒否権」を与えれば D を破ることになります。
つまり、私たちが普段民主的な集約方法と呼んでいるものは、Arrow の五条件のいずれかを暗黙のうちに諦めることで成立している、と整理できるでしょう。
何が証明されたのか
Arrow の定理は、しばしば「民主主義の不可能性証明」として誤読されます。
これは正確ではありません。証明されたのは「特定の五条件を全て同時に満たす集約は不可能」ということであって、「民主主義は不可能」ではない、と読むのが妥当でしょう。私たちは依然として投票し、議論し、合意します。ただし、どの方法も五条件のうちの一つを犠牲にしている ── という事実が、Arrow の定理によって明示されたといえます。
これは「悪いニュース」ではありません。むしろ、民主的設計が直面する選択を明示化した 点で建設的な結果だと位置づけられるでしょう。「IIA を諦めて精緻な順位を取る」ボルダ式と、「IIA を保ちつつ単純多数決」では、何を犠牲にしているかが異なる。設計者はその選択を意識的に行うことになるわけです。
回避戦略
Arrow 自身を含む後の研究者は、不可能性を回避する複数の戦略を発展させました。
- 条件の緩和: IIA を放棄すればボルダ式が成立する
- 選択肢の制限: 政策空間が一次元 (左右の軸など) に制限されれば、Black の中位投票者定理 (1948) で多数決安定均衡が得られる5
- 比較可能な効用: 個人効用を基数的に測定可能とすれば、功利主義的な集約が可能になる (ただし「個人間効用比較」の哲学的問題が立ち現れる)
- メカニズムデザイン: 集約手続きそのものを設計し、戦略的な行動を織り込む
これらは Arrow の定理を破るのではなく、定理が前提とする問題の枠組みを変えることで前進していると読むことができます。
Sen の拡張と現代的展開
Amartya Sen (1933–) は 1970 年の論文 “The Impossibility of a Paretian Liberal” で、Arrow の不可能性定理に対して別角度の挑戦を提示しました。Sen は次のように書き出しています。
私が示したいのは、考えうる最も穏やかな形のリベラリズム ── 社会の各構成員に対して、自身の選好を行使できる個人的領域を与えるという意味での ── であってさえ、パレート原理から派生する最小限の合理的要求と両立しないということである6。
Sen はこの結果から、選好集約問題が 「個人の自由領域」とパレート原理の両立 という、Arrow の五条件以外のトレードオフをも抱えていることを引き出した、と整理できるでしょう。さらに Sen はケイパビリティ・アプローチを通じて、選好集約の問題そのものを「個人の実現機能」の確保へと再定式化する方向へ進みます7。
メカニズムデザイン (Hurwicz, Maskin, Myerson; 2007 年ノーベル経済学賞) は、Arrow が前提とする「真の選好の表明」を所与とせず、参加者の戦略的行動を組み込んだ設計理論として発展しました。Gibbard-Satterthwaite の定理 (1973–1975) は、戦略的操作不可能性とパレート最適性の両立も困難であることを示し89、Arrow と並ぶ第二の不可能性結果として位置づけられているといえるでしょう。
現代では計算社会選択 (computational social choice) が、AI やマルチエージェントシステムにおける集約問題に Arrow の枠組みを応用しています。
完璧な集約は幻
Arrow の定理が私たちに告げるのは、簡潔です。民主的な集約には、原理的なトレードオフがある。すべての美徳を同時に満たす方法は存在しない、と読むことができるでしょう。
これは設計の不在ではなく、設計の前提だと整理できます。私たちが投票制度・合意形成プロセス・組織のガバナンス構造を選ぶときに、何を優先し何を犠牲にしているかは、Arrow が用意した語彙 (パレート・IIA・非独裁) によって精確に語ることができるわけです。
「完璧な集約」は存在しません。けれども、何を諦めたかを意識した集約 は存在する ── Arrow が 70 年前に証明したのは、その出発点だったといえるでしょう。
ここから少し、Arrow の定理を 2026 年の状況で読み直してみたいと思います。AI が複数のエージェント (人間・モデル) の判断を「集約」する場面 ── 検索結果のランキング、推薦システムの出力、マルチエージェント LLM の合議 ── が日常化した現在、定理の射程はむしろ拡張されていると読めます。
機械学習における ensemble 手法、強化学習におけるポリシー集約、LLM の複数応答からのベスト選択 ── これらはどれも、ある個別出力の集合から「より望ましい一つ」を導出する操作です。Arrow の五条件 (普遍性・推移性・パレート・IIA・非独裁性) は、こうした操作にもそのまま課されうると整理できるでしょう。そして同じ不可能性結果が再現する ── というのが、計算社会選択の発見だといえます。
設計の問題は、人間の民主主義から AI の集約機構へと連続的につながっています。Arrow が 1951 年に立てた問いは、新しい場面で再演されつつあるけれども、答えの形は同じだと読むことができるでしょう ── 何を諦めたかを意識した集約 だけが残されている、と。
参考文献
-
Arrow, K. J. “A Difficulty in the Concept of Social Welfare.” Journal of Political Economy, vol. 58, no. 4, 1950, pp. 328–346. 冒頭 (p. 328) ── “In a capitalist democracy there are essentially two methods by which social choices can be made: voting, typically used to make ‘political’ decisions, and the market mechanism, typically used to make ‘economic’ decisions.” 結論部 (p. 342) ── “If we exclude the possibility of interpersonal comparisons of utility, then the only methods of passing from individual tastes to social preferences which will be satisfactory and which will be defined for a wide range of sets of individual orderings are either imposed or dictatorial.” ↩↩
-
Arrow, K. J. Social Choice and Individual Values. 1st ed., Wiley, 1951; 2nd ed., Yale University Press, 1963. General Possibility Theorem は 2nd ed., p. 59 にて定式化。 ↩↩↩↩
-
Condorcet, M. J. A. N. de Caritat. Essai sur l’application de l’analyse à la probabilité des décisions rendues à la pluralité des voix. Imprimerie Royale, Paris, 1785. ↩
-
Borda, J.-C. de. “Mémoire sur les élections au scrutin.” Histoire de l’Académie royale des sciences, 1781, pp. 657–665. ↩
-
Black, D. “On the Rationale of Group Decision-making.” Journal of Political Economy, vol. 56, no. 1, 1948, pp. 23–34. ↩
-
Sen, A. K. “The Impossibility of a Paretian Liberal.” Journal of Political Economy, vol. 78, no. 1, 1970, pp. 152–157. 冒頭 (p. 152) ── “What I am asserting is that even the mildest form of liberalism conceivable, viz., that of giving to each member of the society a personal sphere in which to indulge his preferences, is incompatible with the satisfaction of even the smallest reasonable demand on social welfare under the Pareto principle.” ↩
-
Sen, A. K. Commodities and Capabilities. North-Holland, Amsterdam, 1985. ↩
-
Gibbard, A. “Manipulation of Voting Schemes: A General Result.” Econometrica, vol. 41, no. 4, 1973, pp. 587–601. ↩
-
Satterthwaite, M. A. “Strategy-proofness and Arrow’s Conditions: Existence and Correspondence Theorems for Voting Procedures and Social Welfare Functions.” Journal of Economic Theory, vol. 10, no. 2, 1975, pp. 187–217. ↩