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

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

基本信息

  • 论文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性质的实数集的存在，并观察到可以使用N\mathbb{N}上的非主超滤子构造SEA序。本文回答了两个开放问题：SEA序的存在是否蕴含非Lebesgue可测实数集的存在，以及是否蕴含N\mathbb{N}上非主超滤子的存在。结果表明SEA序的存在确实蕴含非Lebesgue可测实数集的存在，但不蕴含N\mathbb{N}上非主超滤子的存在。

研究背景与动机

问题背景

  1. 社会福利序问题：在理论经济学中，如何将不同个体或代际从同一政策中获得的不同效用合并为单一的社会偏好序是一个核心问题。
  2. 公平性要求：社会福利序需要满足某些合理的公平性原则，如有限匿名性（finite anonymity）和强公平性（strong equity）。
  3. 构造性问题：经济学家发现许多性质的组合无法在不假设选择公理的情况下实现，具有非构造性特征。

研究动机

  1. 理论完善：Dubey和Laguzzi的工作留下了两个重要的开放问题需要解决
  2. 逻辑基础：探索SEA序存在性与集合论中重要概念（如超滤子、可测性）之间的逻辑关系
  3. 独立性结果：确定哪些数学对象的存在性在ZF+DC中是相互独立的

核心贡献

  1. 证明了SEA序的存在蕴含非Lebesgue可测实数集的存在，回答了Dubey和Laguzzi的第一个开放问题
  2. 证明了SEA序的存在不蕴含N\mathbb{N}上非主超滤子的存在，回答了第二个开放问题
  3. 发展了一般的预线性化理论，适用于更广泛的Borel预序类
  4. 应用几何集合论技术，特别是Larson和Zapletal的平衡强制方法

方法详解

任务定义

研究SEA序（同时满足强公平性和有限匿名性的社会福利序）的存在性与其他集合论对象存在性之间的逻辑关系。

核心定义

  • 有限匿名性：对于任何有限支撑的置换π和任何y∈YNy \in Y^{\mathbb{N}}，有y≈y∘πy \approx y \circ \pi
  • 强公平性：如果存在i,j∈Ni,j \in \mathbb{N}使得x(i)<y(i)<y(j)<x(j)x(i) < y(i) < y(j) < x(j)且x,yx,y在其他坐标相同，则x≺yx \prec y
  • SEA序：同时满足强公平性和有限匿名性的社会福利序

主要技术方法

1. 非Lebesgue可测性证明

核心思路：使用Fubini定理和遍历性论证

关键引理：关系ES<∞×ES<∞E_{S_<\infty} \times E_{S_<\infty}在4N×4N4^{\mathbb{N}} \times 4^{\mathbb{N}}上对Lebesgue测度是遍历的。

证明策略：

  • 假设SEA序≾是Lebesgue可测的
  • 由于有限匿名性，≾在每个坐标上都关于ES<∞E_{S_<\infty}封闭
  • 遍历性意味着不变集要么是零测集要么是余零测集
  • 通过Fubini定理分析垂直截面，导出矛盾

2. 非主超滤子独立性证明

核心技术：几何集合论中的平衡强制（balanced forcing）

主要工具：

  • 虚拟条件：描述在不同泛型扩张中一致的强制条件
  • 平静强制：保证不添加非主超滤子的强制性质
  • 商空间线性化：通过线性化等价关系的商空间构造SEA序

技术创新点

  1. Fubini定理的巧妙应用：将测度论工具应用于社会选择理论，证明SEA序必然非可测
  2. 几何集合论技术的引入：首次将Larson-Zapletal的平衡强制理论应用于经济学问题
  3. 一般预线性化框架：发展了适用于"平静"Borel预序的一般理论

实验设置

理论验证方法

由于这是纯数学理论研究，"实验"主要指理论构造和证明验证：

  1. 模型构造：在对称Solovay模型W中构造不含非主超滤子但含SEA序的扩张
  2. 强制方法：使用商空间线性化poset进行强制扩张
  3. 一致性证明：验证构造的模型满足ZF+DC且具有所需性质

关键技术验证

  • 平静性验证：证明预线性化poset P(≾)是平静的
  • 平衡等价分类：通过完全预线性化对平静虚拟条件进行分类
  • 超滤极限封闭性：验证平衡虚拟条件在超滤极限下封闭

实验结果

主要结果

定理1（非Lebesgue可测性）

命题2：设≾是4N4^{\mathbb{N}}上的SEA序，则≾作为4N×4N4^{\mathbb{N}} \times 4^{\mathbb{N}}的子集不是Lebesgue可测的。

定理2（超滤子独立性）

存在ZF+DC的模型，其中：

  • 存在SEA序
  • 不存在N\mathbb{N}上的非主超滤子
  • 不存在E0E_0-横截面

构造性结果

命题4：非主超滤子构造SEA序

如果存在N\mathbb{N}上的非主超滤子U，则存在(2N)N(2^{\mathbb{N}})^{\mathbb{N}}上的SEA序。

命题5-6：其他构造方法

  • 2N/E02^{\mathbb{N}}/E_0的线性序足以构造4N4^{\mathbb{N}}上的SEA序
  • (2N)N/E1(2^{\mathbb{N}})^{\mathbb{N}}/E_1的线性序足以为任意有序Polish空间Y构造YNY^{\mathbb{N}}上的SEA序

一般化结果

推论13：平静Borel预序的预线性化

如果≾是平静Borel预序，则存在ZF+DC模型，其中≾有预线性化但不存在N\mathbb{N}上非主超滤子。

相关工作

理论经济学背景

  • 社会选择理论：Arrow不可能定理及其推广
  • 代际公平：无穷代际间的公平分配问题
  • 匿名性和公平性：社会福利函数的基本公理

集合论基础

  • 描述集合论：Borel集、解析集的正则性质
  • 强制理论：Cohen强制、Solovay模型
  • 大基数：不可达基数的一致性强度

几何集合论

  • Larson-Zapletal理论：平衡强制、虚拟条件
  • 商空间线性化：等价关系商空间的强制线性化
  • 平静强制：保持某些集合不存在的强制性质

结论与讨论

主要结论

  1. SEA序存在性的集合论强度：
    • 强于"所有实数集Lebesgue可测"
    • 弱于"存在非主超滤子"
    • 与"存在E0E_0-横截面"独立
  2. 构造方法的层次：
    • 非主超滤子 → SEA序
    • E1E_1-横截面 → 一般SEA序
    • E0E_0-横截面 → 有限效用SEA序

局限性

  1. 大基数假设：证明超滤子独立性需要不可达基数的一致性
  2. ANIP序问题未解决：匿名无穷Pareto序的类似问题仍然开放
  3. 平静性条件限制：一般预线性化理论要求预序满足平静性

未来方向

  1. ANIP序研究：是否能用类似方法处理无穷Pareto条件
  2. 更一般的预序：扩展到所有Borel或解析预序
  3. 大基数必要性：确定是否真的需要大基数假设
  4. 非separable空间：研究任意可定义线性序上的效用空间

深度评价

优点

  1. 技术创新性：
    • 首次将几何集合论应用于社会选择理论
    • Fubini定理在此背景下的巧妙应用
    • 发展了适用性更广的预线性化理论
  2. 理论完整性：
    • 完全解决了Dubey-Laguzzi提出的两个开放问题
    • 提供了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 & Zapletal: "Geometric set theory" - 提供主要技术工具
  • 7 Kanamori: "The higher infinite" - 大基数理论标准参考
  • 8 Kechris: "Classical descriptive set theory" - 描述集合论基础

这篇论文代表了数理经济学与现代集合论交叉领域的重要进展，通过精密的数学分析澄清了社会选择理论中基本概念的逻辑地位，为相关领域的进一步研究奠定了坚实基础。