📈 economics

On the construction and representation of social welfare orders satisfying consequentialist equity axioms

本論文は、強等価性、ハモンド等価性、またはピグー・ダルトン転送原理といった公平性の公理を満たす無限の効用ストリームに対する社会的厚生秩序の構成的な性質を調査するものであり、効用集合が整列可能である場合には明示的な辞書式記述が存在する一方で、一般的な領域におけるそのような秩序の存在は、非ラムゼー・コレクションの存在のような非構成的な集合論的仮定を必要とすることを実証している。

原著者： Ram Sewak Dubey

公開日 2026-06-23

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

CC BY 4.0

原著者： Ram Sewak Dubey

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

あなたは、無限に続く未来の世代の幸福度をランク付けする任務を負った「宇宙の審判」であると想像してください。あなたには、効用ストリーム（あらゆる世代のスコアカードのようなもの。未来へと永遠に続いています）のリストがあります。あなたの仕事は、どちらのリストが他方よりも「優れている」かを決定することですが、公平性のための厳格なルールに従わなければなりません。

Ram Sewak Dubeyによるこの論文は、次の問いを深く掘り下げています：私たちは、明確でステップ・バイ・ステップの指示（構成的な手法）を用いて、無限の未来に対する公平なランキングシステムを構築できるのか？それとも、実際に書き記すことのできない、目に見えない「魔法の道具」（非構成的な手法）に頼らなければならないのか？

以下に、この論文の知見を簡単な比喩を用いて解説します。

公平性の3つのルール

この論文は、優れたランキングシステムが従うべき3つの特定の「公平性」ルールに焦点を当てています。

強い公平性（Strong Equity）： 二つのシナリオがあり、全員が同じ状況だが二つの世代だけが異なる場合、一方のシナリオで「貧しい」世代が底上げされ、もう一方のシナリオで「豊かな」世代が減少した（ただし、依然として貧しい世代よりは豊かである）とき、システムは「貧しい世代が底上げされた」方のシナリオを好まなければなりません。
ハモンドの公平性（Hammond Equity）： 上記の少し弱いバージョンです。
ピグー・ドルトン移転（Pigou-Dalton Transfer）： 豊かな人からわずかな幸福を奪い、それを貧しい人に与えた場合（その際、貧しい人が豊かな人よりも豊かにならない限り）、システムはこの新しい配置を好むべきです。

大きな対立：「構築」 vs 「存在の証明」

論文は、解決策を見つけるための2つの方法を区別しています。

構築（設計図）： あなたは、誰にでも実行可能な特定のアルゴリズムやレシピ（手順）を書き出し、任意のリストを比較して結果を得ることができます。これは、明確な設計図に基づいて家を建てることに似ています。
表現（魔法の証明）： あなたは、抽象的な数学（しばしば「選択公理」に依存する）を用いて、あるランキングが「存在する」ことを証明できます（これは、「どこかに完璧な家が存在する」と断言するようなものですが、その家がどこにあるのか、どうやって建てるのかは教えられません）。これは、魔法の杖を使って「解決策はどこかに存在する」と言うことに似ています。

良いニュース：構築できる場合

もし幸福のレベル（ドメイン）が整列（well-ordered）されている場合（つまり、自然数 1, 2, 3... のように、常に「次の」段を指定できる階段のように並んでいる場合）、私たちは公平なランキングシステムを構築できます。

比喩： 幸福のレベルが階段のステップであると想像してください。著者は特別な「辞書式順序（lexicographic）」のシステムを作成しています。これは、最初の世代、次に二番目の世代を見るのではなく、幸福の「閾値（しきい値）」に着目するものです。このシステムは、各世代の幸福が特定の「閾値」の段の上にあるか下にあるかに基づいて、あらゆる無限の幸福ストリームを、バイナリコード（0と1）の長い文字列に変換します。
結果： これらのバイナリコードを辞書のように比較することで、著者はすべての公平性ルールを満たす、完全で明示的なランキングシステムを作り上げました。魔法の杖は必要ありません。

悪いニュース：魔法が必要な場合

論文は、幸福のレベルが降順に並んでいる場合（例えば、負の整数：-1, -2, -3... と永遠に下がっていく場合）や、特定の「整数のような」構造を持っている場合、壁に突き当たることを明らかにしています。

比喩： 幸福のレベルが、無限に続く地下室へと続く階段のように、下向きに続くストリームをランク付けしようとしていると想像してください。論文は、もしこのようなドメインにおいて公平なランキングシステムを作ろうとするならば、強制的に**「非ラムゼイ集合（Non-Ramsey Set）」**を生み出すことになる、と証明しています。
非ラムゼイ集合とは何か？： これは「混沌のコレクション」と考えてください。それは、論理的でステップ・バイ・ステップのルールによって構築することができないほど、非常に乱雑で複雑な、数の無限部分集合のグループです。これは、「選択公理（魔法の杖）」を使用した場合にのみ存在する数学的オブジェクトです。
結論： もしあなたの幸福ドメインが「下向きの階段」のような構造をしているなら、あなたは公平なランキングのレシピを書くことはできません。あなたは、非構成的な数学的魔法（非構成的な集合）を用いて、それが存在することを証明することしかできません。これは、現実世界の政策立案者が、計算結果を導き出すことができないため、そのようなシステムを使って意思決定を行うことは不可能であることを意味します。

表現の罠（実数 vs ランキング）

この論文は、よくある誤解にも取り組んでいます。「もしランク付けができるなら、それらにスコア（実数）を与えることができるのではないか？」という疑問です。

知見： いくつかのドメイン（区間 [0, 1] など）においては、公平性のルールを満たしながら、すべての無限ストリームに対して単一の実数（スコア）を割り当てることは不可能です。
ひねり： しかし、スコアを与えることはできなくても、明示的にランク付けすることはできるかもしれません（上記の「良いニュース」のセクションで示されている通りです）。
教訓： 数式（例えば 85.4 という数値）を出力する公式を書くことができなくても、どちらが優れているかを判断するための明確なルールを持つことは可能です。「スコア」と「ランキングのルール」は別物なのです。

論文の主張の要約

構成的な成功： もしあなたの宇宙の幸福が「整列（well-ordered）」されている（上昇していく梯子のような）場合、巧妙な辞書形式のコードを用いて、公平なランキングシステムを明示的に構築できます。
構成的な失敗： もしあなたの宇宙の幸福が「降下する」構造（永遠に下り続ける梯子のような）を持っている場合、非構成的な数学的魔法（非ラムゼイ集合）に頼ることなしに、公平なランキングシステムを構築することは不可能です。
表現の限界： 公平なランキングを、単純な実数のスコアに変換できるとは限りません（特に [0, 1] のような複雑なドメインにおいて）。
ギャップ： 私たちがランキングシステムを「構築できる」世界の集合と、あらゆる結果に対して「スコアを割り当てられる」世界の集合は異なります。これらは必ずしも一致しません。

要するに、この論文は、私たちが未来を判断するためのステップ・バイ・ステップのガイドを構築できる領域と、ガイドを書き記すことが数学的に不可能であることを認めざるを得ない領域を、正確に描き出しているのです。

技術的要約：帰結主義的な公平性公理を満たす社会厚生順序の構成と表現について

問題提起
本論文は、無限の効用ストリーム（ $X = Y^{\mathbb{N}}$ ）において、帰結主義的な公平性公理を満たす社会厚生順序（SWO）の「存在」と「明示的な構成」の間の根本的な緊張関係に対処するものである。具体的には、強固な公平性（Strong Equity: SE）、ハモンド公平性（Hammond Equity: HE）、またはピグー・ダルトン（Pigou–Dalton: PD）移転原理を満たすSWOが、選択公理（AC）や非ラムゼー集合の存在といった非構成的な集合論的手法に依存することなく、明示的に構成可能かどうかを調査している。

先行研究（例：Bossert et al., 2007）では、非構成的な手法（Szpilrajnの補題）を用いてこれらのSWOの存在を確立してきたが、近年の研究（Lauwers, 2010; Zame, 2007）は、特定の文脈において非構成的なデバイスが必要であることを確認している。さらに、本論文は、明示的な構成が可能な領域と、非構成的な対象を必要とする領域との間の正確な境界線を明らかにすることを目的としている。また、実数値の社会厚生関数（SWF）の存在と、明示的に定義されたSWOの存在との関係を明確化しようと試みている。

方法論
著者は、構成的順序理論と集合論的な不可能性の証明を組み合わせた二角的なアプローチを採用している。

構成的アプローチ： 特定の領域に対して、辞書式選好関係を用いて明示的なSWOを構成する。重要な点は、世代に対して直接辞書式順序を適用するのではなく（これは公平性に反するため）、効用ストリームをバイナリ閾値効用コードへと写像することである。これらのコードは、効用領域 $Y$ から導出された整列集合上の添字集合に対して辞書式に順序付けられる。
非構成的／不可能性のアプローチ： 非構成的な手法の必要性を確立するために、本論文は**非ラムゼー・コレクション（non-Ramsey collections）**の概念を利用する。自然数の部分集合に基づく特定の効用ストリームを構成し、公平性公理を適用することで、特定の「豊かな（rich）」領域（具体的には、型 $\omega^*$ または $\mu$ の部分集合を含む領域）において、これらの公理を満たすSWOの存在は、非ラムゼー集合の存在を内含することを証明する。非ラムゼー集合は非構成的な対象（その存在はACに依存する）であるため、これにより、そのような領域において明示的なSWOが存在しないことが証明される。
表現の分析： 本論文は、SWF（実数値写像）の存在とSWO（二項関係）の存在を区別する。分離性の議論（例：非可算個の互いに素な区間の構成）を用いることで、特定の領域（ $[0, 1]$ など）における非表現可能性の結果を証明する。

主要な貢献と結果

1. 正の構成結果（整列領域）

定理1： 効用領域 $Y$ が通常の順序によって整列されている場合、 $X = Y^{\mathbb{N}}$ 上に、強パレート（Strong Pareto: SP）、強固な公平性（SE）、ハモンド公平性（HE）、およびピグー・ダルトン（PD）原理を満たす、明示的に定義されたSWOが存在する。
メカニズム： この構成は、 $\bar{Y} = \{t \in Y : \exists s \in Y, t < s\}$ における閾値に基づき、ストリームをバイナリコードへと写像する。順序付けは $\bar{Y} \times \mathbb{N}$ の積空間上で辞書式に行われ、低い閾値を優先した後に世代を考慮する。この手法は、公平性に敏感な比較を維持しつつ、完備性と推移性を保持する。
拡張： また、より弱い条件の下でのSE単独の明示的SWO構成についても提供している。具体的には、 $L(Y)$ （潜在的な「移転前貧困層」の効用レベルの集合）が整列されているか、あるいは $U(Y)$ （「移転前富裕層」のレベルの集合）が逆整列されている場合である。

2. 非構成的含意（豊かな降下領域）

定理2： $\omega^*$ （負の整数など）の型を持つ部分集合を含む領域 $Y$ において、SEと単調性（M）を満たすSWOが存在することは、非ラムゼー・コレクションの存在を内含する。
定理2(b)： 同様に、PD原理と単調性を組み合わせた場合、 $Y$ が一定のギャップを持つ降下構造を含むならば、SWOの存在は非ラムゼー・コレクションを内含する。
命題4： 整数型の部分集合を含む型 $\mu$ の領域において、効率性公理なしでSEのみを満たすSWOの存在もまた、非ラムゼー・コレクションの存在を内含する。これは、SEによるランキングが本質的に非構成的である領域の明確なクラスを特定している。

3. 表現と構成

命題1： $Y$ が可算である場合、SEを満たす実数値のSWFが存在する。しかし、その証明は（部分順序の拡張である）Szpilrajnの補題に依存しており、一般には非構成的である。
命題2： $Y = [0, 1]$ である場合、SEを満たす実数値のSWFは存在しない。この不可能性は、SEの性質自体から生じるものであり、効率性公理とは独立している。これは、SEの厳密な順序を実数直線へ埋め込むことができないという分離性の議論によるものである。
区別： 明示的なSWO構成が可能な領域（例：整列された $Y$ ）は、必ずしも実数値のSWF表現が可能な領域と一致しない。逆に、可算な領域におけるSWFの存在は、基礎となるSWOの明示的な構成を保証するものではない。

意義と主張
本論文は、世代間公平性における「表現」と「構成」の対応関係に関する理解を精緻化することを主張している。

対応関係の再定式化： 実数値のSWFを許容する領域と、構成可能なSWOを許容する領域が一致するという、これまでの文献の示唆は、帰結主義的な公平性公理においては誤りであると論じている。これらの領域は公理に依存し、また $Y$ の順序構造に依存する。
明示的 vs 非明示的： 本結果は、整列された領域（例：SE+SPを伴う $Y=\mathbb{N}$ ）では、実数値表現が失敗する場合でも明示的なSWO構成が可能であることを示している。逆に、整数型の領域においては、いかなるSWO（構成的か否かを問わず）の存在も、非構成的な集合論に結びついている。
政策的関連性： もしあるSWOの存在が非構成的な手法（AC）を通じてのみ示されるならば、社会設計者が一対の効用ストリームを明示的にランク付けできるかどうかは未解決の問題として残る。本論文の構成的結果は、整列された領域における明示的なランキングの枠組みを提供する一方で、非構成的な結果は、そのような明示的な政策ツールとしての限界を画定している。

要約すれば、本論文は、公平性公理（SE, HE, PD）が整列された領域においては明示的に構成されたSWOによって満たされ得る一方で、下降する整数型の構造を持つ領域においてそれらが満たされることは、非構成的な数学的対象を必要とすることを確立しており、それによって、当該の文脈における当該社会厚生順序の実践的な実装可能性を制限していることを示している。