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

기술 요약: 결과론적 형평성 공리들을 만족하는 사회 후생 서열의 구축 및 표현에 관하여

문제 제기
본 논문은 무한한 효용 스트림($X = Y^{\mathbb{N}}$) 상에서 결과론적 형평성 공리를 만족하는 사회 후괄 서열(Social Welfare Orders, SWOs)의 존재성과 그 명시적 구축 사이의 근본적인 긴장 관계를 다룬다. 구체적으로, 본 논문은 강한 형평성(Strong Equity, SE), 해몬드 형평성(Hammond Equity, HE), 또는 피구-달톤(Pigou–Dalton, PD) 이전 원칙을 만족하는 SWO가 선택 공리(Axiom of Choice, AC)나 비람지 집합(non-Ramsey sets)의 존재와 같은 비구성적 집합론적 장치에 의존하지 않고 명시적으로 구축될 수 있는지 여부를 조사한다.

기존 문헌(예: Bossert et al., 2007)은 비구성적 방법(Szpilrajn의 보조정리)을 사용하여 이러한 SWO의 존재성을 확립하였고, 최근의 연구(Lauwers, 2010; Zame, 2007)는 특정 맥락에서 비구성적 장치의 필요성을 확인하였다. 그러나 명시적 구축이 가능한 영역과 비구성적 대상이 필요한 영역 사이의 정확한 경계는 아직 완전히 규명되지 않았다. 또한, 본 논문은 실숫값 사회 후생 함수(SWF) 표현의 존재성과 명시적으로 정의된 SWO의 존재성 사이의 관계를 명확히 하고자 한다.

방법론
저자는 구성적 순서 이론(constructive order theory)과 집합론적 불가능성 증명을 결합한 이중 접근 방식을 채택한다:

1. 구성적 접근법: 특정 영역에 대해, 저자는 **사전적 선호 관계(lexicographic preference relations)**를 사용하여 명시적인 SWO를 구축한다. 결정적으로, 이 구축은 (형평성을 위반하는 방식인) 세대(generations)에 직접 사전적 순서를 적용하는 것이 아니라, 효용 스트림을 **이진 임계값-효용 코드(binary threshold-utility codes)**로 매핑한다. 그 후, 이 코드들은 효용 영역 $Y$로부터 유도된 잘 정렬된 인덱스 집합 위에서 사전적으로 순서 지어진다.
2. 비구성적/불가능성 접근법: 비구성적 방법의 필요성을 입증하기 위해, 저자는 **비람지 컬렉션(non-Ramsey collections)**의 개념을 활용한다. 자연수의 부분집합에 기반한 특정 효용 스트림을 구성하고 형평성 공리를 적용함으로써, 저자는 특정 "풍부한" 영역(특히 $\omega^*$ 또는 $\mu$의 순서 유형을 포함하는 영역)에서 이러한 공리를 만족하는 SWO의 존재성이 비람지 집합의 존재를 함의함을 보여준다. 비람지 집합은 비구성적 대상(그 존재는 AC에 의존함)이므로, 이는 해당 영역에서 명시적인 SWO가 존재할 수 없음을 증명한다.
3. 표현 분석: 논문은 실숫값 SWF(실수 맵)와 SWO(이항 관계)의 존재성을 구분한다. 저자는 특정 영역(예: $[0, 1]$)에서 분리 가능성 논증(예: 비가산 개의 서로소 구간 구축)을 사용하여 표현 불가능성 결과를 도출한다.

주요 기여 및 결과

1. 긍정적 구축 결과 (잘 정렬된 영역)

• 정리 1: 만약 효용 영역 $Y$가 통상적인 순서에 의해 **잘 정렬(well-ordered)**되어 있다면, 강한 파레토(Strong Pareto, SP), 강한 형평성(SE), 해몬드 형평성(HE), 그리고 피구-달톤(PD) 원칙을 만족하는 명시적으로 정의된 SWO가 존재한다.
• 메커니즘: 이 구축은 $\bar{Y} = \{t \in Y : \exists s \in Y, t < s\}$의 임계값들에 기초하여 스트림을 이진 코드로 매핑한다. 이 순서는 낮은 임계값을 우선시한 후 세대를 고려하는 사전적 순서이다. 이 방법은 형평성에 민감한 비교를 보존하면서도 완비성과 추이성을 유지한다.
• 확장: 또한 본 논문은 더 약한 조건 하에서 SE 단독에 대한 명시적 SWO 구축을 제공한다: 만약 잠재적 "이전 대상 빈곤(pre-transfer poor)" 효용 수준의 집합 $L(Y)$가 잘 정렬되어 있거나, "이전 대상 부유(pre-transfer rich)" 수준의 집합 $U(Y)$가 역잘 정렬(reverse well-ordered)되어 있다면 그러하다.

2. 비구성적 함의 (풍부한 하강 영역)

• 정리 2: $\omega^*$ (예: 음의 정수)의 순서 유형을 포함하는 영역 $Y$에서 SE와 단조성(Monotonicity, M)을 만족하는 SWO의 존재성은 비람지 컬렉션의 존재를 함의한다.
• 정리 2(b): 마찬가지로, 일정한 간격의 하강 구조를 가진 수열을 포함하는 PD 원칙과 단조성의 결합에 대하여, SWO의 존재성은 비람지 컬렉션을 함의한다.
• 명제 4: $\mu$의 순서 유형(정수와 유사한 부분집합을 포함하는)을 가진 영역의 경우, (효율성 공리 없이) SE만으로 만족하는 SWO의 존재성 또한 비람지 컬렉션의 존재를 함의한다. 이는 SE 순위가 본질적으로 비구성적인 영역의 명확한 클래스를 식별한다.

3. 표현 vs. 구축

• 명제 1: 만약 $Y$가 **가산(countable)**이라면, SE를 만족하는 실숫값 SWF가 존재한다. 그러나 이 증명은 일반적으로 Szpilrajn의 보조정리(부분 순서의 확장)에 의존하므로 비구성적이다.
• 명제 2: 만약 $Y = [0, 1]$이라면, SE를 만족하는 실숫값 SWF는 존재하지 않는다. 이 불가능성은 효율성 공리와 무관하게 SE 자체로부터 발생하며, 이는 분리 가능성 논증(separability argument)을 통해 SE의 엄격한 순서를 실수 직선에 임베딩할 수 없기 때문이다.
• 구분: 논문은 명시적 SWO 구축이 가능한 영역(예: 잘 정렬된 $Y$)이 실숫값 SWF 표현이 가능한 영역과 반드시 일치하지는 않는다는 점을 강조한다. 반대로, 가산 영역에서의 SWF 존재성이 그 기저의 SWO에 대한 명시적 구축을 보장하지도 않는다.

의의 및 주장
본 논문은 세대 간 형평성에서 표현과 구축 사이의 "상응 관계"에 대한 이해를 정교화한다고 주장한다.

• 상응 관계의 재정의: 실숫값 SWF를 허용하는 영역과 구축 가능한 SWO를 허용하는 영역이 일치한다는 기존 문헌의 주장은 결과론적 형평성 공리에 대해 틀렸다고 주장한다. 이 영역들은 공리별로 다르며 $Y$의 순서론적 구조에 따라 결정된다.
• 명시적 vs. 비명시적: 결과들은 잘 정렬된 영역에서는 실숫값 표현이 실패하더라도(예: SE+SP를 만족하는 $Y=\mathbb{N}$) 명시적인 SWO 구축이 가능하다는 것을 보여준다. 반대로, 정수와 유사한 영역에서는 (구축 가능 여부와 상관없이) 어떤 SWO의 존재성도 비구성적 집합론과 연결되어 있다.
• 정책적 관련성: 논문은 만약 SWO가 오직 비구성적 방법(AC)을 통해서만 존재함이 증명된다면, 사회 설계자(social planner)가 두 효용 스트림의 쌍을 명시적으로 순위 지을 수 있는지는 여전히 미해결 과제로 남는다는 점을 언급한다. 구성적 결과들은 잘 정렬된 영역에서의 명시적 순위 부여를 위한 프레임워크를 제공하는 한편, 비구성적 결과들은 그러한 명시적 정책 도구의 한계를 규정한다.

요약하자면, 본 논문은 SE, HE, PD와 같은 형평성 공리들이 잘 정렬된 영역에서는 명시적으로 구축된 SWO에 의해 만족될 수 있지만, 하강하는 정수 형태의 구조를 가진 영역에서의 만족은 비구성적 수학적 대상의 존재를 필연적으로 요구하며, 따라서 이러한 특정 맥락에서 그러한 사회 후생 서열의 실제적인 구현 가능성을 제한한다는 점을 입증한다.