2025-11-10T02:40:44.024908

On Strongly-equitable Social Welfare Orders Without the Axiom of Choice

Serafin
Social welfare orders seek to combine the disparate preferences of an infinite sequence of generations into a single, societal preference order in some reasonably-equitable way. In [2] Dubey and Laguzzi study a type of social welfare order which they call SEA, for strongly equitable and (finitely) anonymous. They prove that the existence of a SEA order implies the existence of a set of reals which does not have the Baire property, and observe that a nonprincipal ultrafilter over $\mathbb{N}$ can be used to construct a SEA order. Questions arising in their work include whether the existence of a SEA order implies the existence of either a set of real numbers which is not Lebesgue-measurable or of a nonprincipal ultrafilter over $\mathbb{N}$. We answer both these questions, the solution to the second using the techniques of geometric set theory as set out by Larson and Zapletal in [11]. The outcome is that the existence of a SEA order does imply the existence of a set of reals which is not Lebesgue-measurable, and does not imply the existence of a nonprincipal ultrafilter on $\mathbb{N}$.
academic

選択公理なしの強公平社会福利順序について

基本情報

  • 論文ID: 2406.08684
  • タイトル: On Strongly-equitable Social Welfare Orders Without the Axiom of Choice
  • 著者: Luke Serafin
  • 分類: math.LO（数理論理）
  • 発表日時: 2025年10月17日
  • 論文リンク: https://arxiv.org/abs/2406.08684

要約

社会福利順序は、無限世代の異なる選好を単一の公平な社会選好順序に統合することを目指している。DubeyとLaguzziは、SEA（強公平かつ有限匿名）と呼ばれる社会福利順序を研究し、SEA順序の存在がBaire性質を持たない実数集合の存在を含意することを証明し、ℕ上の非主超フィルタを使用してSEA順序を構成できることを観察した。本論文は2つの開放問題に答える：SEA順序の存在がLebesgue非可測実数集合の存在を含意するか、およびℕ上の非主超フィルタの存在を含意するか。結果として、SEA順序の存在はLebesgue非可測実数集合の存在を確かに含意するが、ℕ上の非主超フィルタの存在は含意しないことが示される。

研究背景と動機

問題背景

  1. 社会福利順序問題：理論経済学において、異なる個人または世代が同一政策から得る異なる効用を単一の社会選好順序に統合する方法は中心的な問題である。
  2. 公平性要件：社会福利順序は、有限匿名性（finite anonymity）と強公平性（strong equity）などの合理的な公平性原則を満たす必要がある。
  3. 構成的問題：経済学者は、多くの性質の組み合わせが選択公理を仮定しない場合に実現不可能であり、非構成的特性を持つことを発見した。

研究動機

  1. 理論の完成：DubeyとLaguzziの研究は解決を必要とする2つの重要な開放問題を残した
  2. 論理的基礎：SEA順序の存在性と集合論における重要な概念（超フィルタ、可測性など）との論理的関係を探究する
  3. 独立性結果：ZF+DCにおいて、どの数学的対象の存在性が相互に独立しているかを決定する

中心的貢献

  1. SEA順序の存在がLebesgue非可測実数集合の存在を含意することを証明し、DubeyとLaguzziの最初の開放問題に答えた
  2. SEA順序の存在がℕ上の非主超フィルタの存在を含意しないことを証明し、2番目の開放問題に答えた
  3. 一般的な前線形化理論を発展させ、より広いBorel前順序クラスに適用可能にした
  4. 幾何集合論技術を応用し、特にLarsonとZappetalの平衡強制法を使用した

方法の詳細

タスク定義

SEA順序（強公平性と有限匿名性を同時に満たす社会福利順序）の存在性と他の集合論的対象の存在性との論理的関係を研究する。

中心的定義

  • 有限匿名性：任意の有限支持置換πと任意のy ∈ Y^ℕに対して、y ≈ y ∘ πが成立
  • 強公平性：i,j ∈ ℕが存在して x(i) < y(i) < y(j) < x(j) であり、x,yが他の座標で同じ場合、x ≺ y
  • SEA順序：強公平性と有限匿名性を同時に満たす社会福利順序

主要技術方法

1. Lebesgue非可測性の証明

中心的考え方：Fubiniの定理と遍歴性論証を使用

主要補題：関係 E_{S_<∞} × E_{S_<∞} は 4^ℕ × 4^ℕ 上のLebesgue測度に関して遍歴的である。

証明戦略：

  • SEA順序≾がLebesgue可測であると仮定
  • 有限匿名性により、≾は各座標で E_{S_<∞} に関して閉じている
  • 遍歴性は不変集合がゼロ測度集合または余ゼロ測度集合であることを意味する
  • Fubiniの定理を使用して垂直断面を分析し、矛盾を導出

2. 非主超フィルタ独立性の証明

中心的技術：幾何集合論における平衡強制（balanced forcing）

主要ツール：

  • 仮想条件：異なる汎用拡張で一貫した強制条件を記述
  • 静穏強制：非主超フィルタを追加しない強制性質を保証
  • 商空間線形化：等価関係の商空間を線形化することでSEA順序を構成

技術的革新点

  1. Fubiniの定理の巧妙な応用：測度論ツールを社会選択理論に応用し、SEA順序が必然的に非可測であることを証明
  2. 幾何集合論技術の導入：Larson-Zappetal平衡強制理論を経済学問題に初めて応用
  3. 一般的な前線形化フレームワーク：「静穏」Borel前順序に適用可能な一般理論を発展

実験設定

理論検証方法

純粋数学理論研究であるため、「実験」は主に理論構成と証明検証を指す：

  1. モデル構成：対称SolovayモデルWにおいて、非主超フィルタを含まないがSEA順序を含む拡張を構成
  2. 強制法：商空間線形化posetを使用して強制拡張を実行
  3. 一貫性証明：構成されたモデルがZF+DCを満たし、所望の性質を持つことを検証

主要技術検証

  • 静穏性検証：前線形化poset P(≾)が静穏であることを証明
  • 平衡等価分類：完全前線形化を通じて平衡仮想条件を分類
  • 超フィルタ極限閉包性：平衡仮想条件が超フィルタ極限で閉じていることを検証

実験結果

主要結果

定理1（Lebesgue非可測性）

命題2：≾を4^ℕ上のSEA順序とすると、≾は4^ℕ × 4^ℕの部分集合としてLebesgue可測ではない。

定理2（超フィルタ独立性）

ZF+DCのモデルが存在して、以下を満たす：

  • SEA順序が存在する
  • ℕ上の非主超フィルタが存在しない
  • E_0-横断面が存在しない

構成的結果

命題4：非主超フィルタによるSEA順序構成

ℕ上の非主超フィルタUが存在すれば、(2^ℕ)^ℕ上のSEA順序が存在する。

命題5-6：その他の構成方法

  • 2^ℕ/E_0の線形順序は4^ℕ上のSEA順序を構成するのに十分
  • (2^ℕ)^ℕ/E_1の線形順序は任意の順序付きPolish空間Yに対してY^ℕ上のSEA順序を構成するのに十分

一般化結果

推論13：静穏Borel前順序の前線形化

≾が静穏Borel前順序であれば、≾が前線形化を持つがℕ上の非主超フィルタが存在しないZF+DCモデルが存在する。

関連研究

理論経済学の背景

  • 社会選択理論：Arrowの不可能定理とその一般化
  • 世代間公平性：無限世代間の公平な配分問題
  • 匿名性と公平性：社会福利関数の基本公理

集合論的基礎

  • 記述集合論：Borel集合、解析集合の正則性質
  • 強制理論：Cohen強制、Solovayモデル
  • 大基数：到達不可能基数の一貫性強度

幾何集合論

  • Larson-Zappetal理論：平衡強制、仮想条件
  • 商空間線形化：等価関係商空間の強制線形化
  • 静穏強制：特定の集合の非存在を保持する強制性質

結論と議論

主要結論

  1. SEA順序存在性の集合論的強度：
    • 「すべての実数集合がLebesgue可測」より強い
    • 「非主超フィルタが存在する」より弱い
    • 「E_0-横断面が存在する」と独立
  2. 構成方法の階層：
    • 非主超フィルタ → SEA順序
    • E_1-横断面 → 一般SEA順序
    • E_0-横断面 → 有限効用SEA順序

制限事項

  1. 大基数仮説：超フィルタ独立性の証明には到達不可能基数の一貫性が必要
  2. ANIP順序問題の未解決：匿名無限Pareto順序の類似問題は依然開放
  3. 静穏性条件の制限：一般前線形化理論は前順序が静穏性を満たすことを要求

今後の方向

  1. ANIP順序の研究：類似の方法で無限Pareto条件を処理できるか
  2. より一般的な前順序：すべてのBorel前順序または解析前順序への拡張
  3. 大基数必要性：大基数仮説が本当に必要かの確定
  4. 非分離可能空間：任意の定義可能線形順序上の効用空間の研究

深い評価

利点

  1. 技術的革新性：
    • 幾何集合論を社会選択理論に初めて応用
    • このコンテキストでのFubiniの定理の巧妙な応用
    • より広い適用性を持つ前線形化理論の発展
  2. 理論的完全性：
    • Dubey-Laguzziが提起した2つの開放問題を完全に解決
    • SEA順序存在性の正確な集合論的刻画を提供
    • 経済学的概念と集合論的概念間の橋渡しを確立
  3. 方法論的貢献：
    • 現代集合論ツールの経済学への応用可能性を示唆
    • 類似問題に対する体系的解決フレームワークを提供

不足点

  1. 技術的敷居の高さ：深い集合論の背景が必要であり、経済学界の受け入れを制限
  2. 実用性の限定：結果は主に理論的であり、実際の政策立案への指導は限定的
  3. 仮定条件：一部の結果は大基数一貫性仮説を必要とする

影響力

  1. 学術的価値：
    • 社会選択理論の集合論的基礎研究を推進
    • 幾何集合論に新しい応用領域を提供
    • より多くの学際的研究を刺激する可能性
  2. 理論的意義：
    • 重要な経済概念の論理的地位を明確化
    • 経済学における選択公理の微妙な役割を示唆

適用場面

  1. 理論経済学：社会福利関数の存在性と構成性の研究
  2. 集合論：独立性結果と強制理論の応用
  3. 数理論理：記述集合論と大基数理論の交差研究

参考文献

論文は17篇の重要な文献を引用しており、その中でも特に重要なものは：

  • 2 Dubey & Laguzzi: "On social welfare orders satisfying anonymity and strong equity" - 原始的問題を提起
  • 11 Larson & Zappetal: "Geometric set theory" - 主要な技術ツールを提供
  • 7 Kanamori: "The higher infinite" - 大基数理論の標準的参考文献
  • 8 Kechris: "Classical descriptive set theory" - 記述集合論の基礎

本論文は、数理経済学と現代集合論の交差領域における重要な進展を表しており、精密な数学分析を通じて社会選択理論における基本概念の論理的地位を明確化し、関連分野のさらなる研究のための堅固な基礎を確立している。