Measurable Majorities Are Not Finitely Axiomatizable

기술 요약: 엄격한 다수결의 유한 공리계화 불가능성

문제 정의
본 논문은 유한 사회적 의사결정 프레임 내에서 엄격한 다수결 추론(strict majority reasoning)의 유한 공리 가능성을 조사한다. 구체적으로, 질적 다수 판정이 유한 가법적 측도(finitely additive measure)에 의해 표현 가능한지를 결정하는 일관성 기준(coherence criterion)이, 유한한 설정에서 임의의 유계된 유한 파편(bounded finite fragment)으로 대체될 수 있는지 여부를 다룬다. 핵심 질문은 "불일치 지수(incoherence index)"—즉, 구조적 모순(불일치)을 드러내는 데 필요한 투표 블록 시퀀스의 최소 길이—가 모든 유한 프레임에 걸쳐 균등하게 유계되어 있는가 하는 점이다. 이 문제는 엄격한 다수결의 표현 가능성을 유한한 집합으로 제한할 수 없다고 가정했던 Moss와 Pedersen(2026)의 추측 5.7을 해결한다.

방법론
저자들은 불일치 지수의 무한성을 입증하기 위해 Blanco(2026)의 최근 조합론적 접근 방식에 대한 대안으로서 순수 기하학적 증명을 제공한다. 방법론은 다음과 같이 진행된다:

1. 기하학적 매핑: 부분집합 선택의 특성을 유리 벡터 공간($\mathbb{Q}^{W_k}$)의 기하학으로 직접 매핑한다. 부분집합은 양극단 지표 벡터($x_A \in \{-1, 1\}^{W_k}$)로 표현되며, "완벽하게 균형 잡힌(perfectly balanced)" 시퀀스(전체 집합을 정확히 $m/2$번 덮는 조건)의 조건은 영합 조건($\sum x_{A_i} = 0$)으로 변환된다.
2. 핵심 구성(Core Construction): 고정된 정수 $k \geq 1$에 대하여, 저자들은 기저 집합 $V_k = \{1, \dots, 2k+2\}$의 모든 $(k+1)$-원 부분집합으로 구성된 특정 유권자 유니버스 $W_k$를 구성한다. 이 유니버스의 크기는 중앙 이항 계수인 $\binom{2k+2}{k+1}$이다.
3. 독재자 블록 및 선형 독립성: 각 블록이 특정 기저 원소를 보유한 모든 유권자를 포함하는 $2k+2$개의 "독재자 블록(dictator blocs)"으로 이루어진 핵심 세트를 정의한다. 저자들은 이 핵심으로부터 형성된 비어 있지 않은 완벽하게 균형 잡힌 시퀀스는 반드시 $2k+2$의 배수 길이를 가져야 함을 증명한다. 이는 이 핵심에서 파생되는 잠재적 일관성 위반의 길이에 대한 하한선을 설정한다.
4. 일반적 벡터 분리: "유한 합집합 보조정리(Finite-Union Lemma)"(Białynicki-Birula 등, 1959)를 사용하여, 저자들은 핵심 벡터들의 선형 스팬(linear span)에는 직교하지만 멱집합의 중간 층(middle layer)에 있는 다른 균형 잡힌 벡터들에는 직교하지 않는 일반적인 유리 벡터 $u^*_k$를 구성한다. 이 벡터는 핵심 벡터들을 포함하면서도 더 짧은 균형 잡힌 방해 요소들을 제외하는 극대 표준 프레임을 정의하는 데 사용된다.

주요 기여 및 결과

• 무한한 불일치 지수: 본 논문은 모든 $k \geq 1$에 대하여, 불일치 지수가 정확히 $2k + 2$인 극대 표준 사회적 의사결정 프레임 $M_k$가 존재함을 증명한다. 결과적으로, 사회적 의사결정 프레임의 불일치 지수에 대한 균등한 유한 상한은 존재하지 않는다.
• 추측 5.7의 해결: 이 결과는 Moss와 Pedersen(2026)의 추측 5.7을 확인하며, 일관성 체계가 유한한 인스턴스로 축소될 수 없음을 입증한다.
• 명시적 중간 층 구성: 이 구성은 추측 B.25에서 예측된 특성을 만족하는 유권자 규모($2n_k = \binom{2k+2}{k+1}$)의 명시적인 무한 수열을 제공한다. 구체적으로, 중간 층(크기가 $n_k$인 부분집합들)에서 보집합이 없는 가족(complement-free family)을 구성하며, 이는 크기가 $2k+2$인 균형 잡힌 부분 가족을 포함하지만 크기가 $2, 4, \dots, 2k$인 균형 잡힌 부분 가족은 포함하지 않는다.
• 비유한 공리화 가능성: 무한성 결과와 Moss-Pedersen 최소 논리의 건전성 및 완전성 정리를 결합하여, 저자들은 측정 가능한 사회적 의사결정 프레임의 클래스가 Moss-Pedersen 언어에서 유한하게 공리화될 수 없음을 확립한다. 임의의 유한 문장 집합은 오직 유한한 길이 $M$까지의 일관성 인스턴스만을 포착할 것이며, 구성된 프레임 $M_k$ (이때 $2k+2 > M$)는 해당 유한 공리들을 만족하면서도 표현 가능성에는 실패하는 반례가 된다.

의의
본 논문은 엄격한 다수결 추론의 내재된 복잡성이 단순히 측도론의 산물이 아니라, 유한 벡터 공간의 기하학에 내재된 깊은 조합론적 실체임을 주장한다. Moss와 Pedersen(2026)이 표현 가능성이 일관성에 의해 특징지어진다는 것을 확립했다면, 본 연구는 표현 가능성과 비표현 가능성 프레임 사이의 경계가 무한한 유한 복잡성을 가지고 있음을 보여준다. 모든 표현 가능성의 방해 요소는 유한하지만, 그 방해에 필요한 길이에 대한 유한한 천장은 존재하지 않는다.

저자들은 자신들의 기하학적 구성이 지수적으로 증가하는 유권자 규모($O(4^k/\sqrt{k})$)를 생성하는 반면, Blanco(2026)의 조합론적 증명은 이차 함수적 스케일링을 달성한다는 점을 언급한다. 그러나 기하학적 접근 방식은 제1원리로부터 도출된 자립적인 메커니즘으로 제시되며, 대칭적인 절반 크기의 투표 블록 가족을 고립시키고 이를 극대 프레임으로 확장한다. 이는 Moss-Pedersen 논리에서 일관성 체계의 무한함이 피할 수 없는 것임을 확인시켜 준다.