Conditional means, vector pricings, amenability and fixed points in cones

개요: 가격이 없는 것에 가격 매기기

당신이 거대하고 혼란스러운 시장에 있다고 상상해 보세요. 보통 사과의 가격을 알기 위해서는 가격표를 보거나 달러 지폐와 비교합니다. 하지만 만약 표준 통화가 없는 것들의 가격을 매겨야 한다면 어떻게 될까요? 만약 표준적인 "금본위제"가 존재하지 않는 공간에서 두 개의 추상적인 "벡터"(이를 상품 묶음이나 수학적 방향으로 생각할 수 있습니다)를 비교해야 한다면 어떨까요?

이 논문은 다음과 같은 단순한 질문을 던집니다: 중앙은행이 없을 때, 한 물건을 다른 물건에 비해 상대적인 가격으로 어떻게 책정할 것인가?

저자는 **"벡터 가격 책정(Vector Pricing)"**이라는 새로운 시스템을 개발합니다. 이 시스템은 "이 사과는 1달러입니다"라고 말하는 대신, "이 사과 묶음은 저 오렌지 묶음보다 3배의 가치가 있습니다"라고 말합니다.

게임의 규칙

이 가격 책정 시스템이 제대로 작동하게 만들기 위해, 저자는 공정한 거래 시장이 갖추어야 할 세 가지 간단한 규칙을 설정합니다.

가산성 (Additivity): 사과 바구니와 오렌지 바구니를 함께 구매한다면, 제3의 품목(예: 바나나 바구니)에 대한 상대적 가격은 각 품목 가격의 합이어야 합니다.
연쇄 반응 (시장 효율성): 만약 A 묶음이 B 묶음의 2배 가치가 있고, B 묶음이 C 묶음의 3배 가치가 있다면, A 묶음은 반드시 C 묶음의 6배 가치가 되어야 합니다. 순환 거래를 통해 "공짜 돈"을 만들 수는 없습니다.
정규화 (Normalization): 어떤 묶음이든 자기 자신에 대해서는 항상 정확히 1배의 가치를 가집니다.

이 논문은 놀라운 사실 하나를 증명합니다: 당신은 언제나 이 작업을 수행할 수 있습니다. 당신의 "시장"이 (수학적으로는 '순서 벡터 공간'이지만) 얼마나 이상하거나 복잡하더라도, 당신은 언제나 이러한 상대적 가격을 할당할 수 있는 방법을 찾을 수 있습니다. 이는 함수의 범위를 작은 부분에서 전체 공간으로 확장할 때 규칙을 깨뜨리지 않고는 불가능할 수도 있는 전통적인 수학과는 대조적입니다. 여기서 규칙은 항상 작동할 수 있을 만큼 유연합니다.

반전: 정적(Stationary) vs 불변(Invariant)

가격 책정 시스템을 구축한 후, 논문은 **군(Groups)**이라는 새로운 층위를 도입합니다. "군"이란 물건을 움직이는 규칙(도형을 회전시키거나 카드 덱을 섞는 것과 같은)의 집합이라고 생각하세요.

저자는 다음과 같이 질문합니다: 시장을 뒤섞더라도(shuffle) 공정함을 유지하는 가격 책정 시스템을 찾을 수 있을까요?

정적 (Stationary - "랜덤 워크" 시장): 가격이 무작위로 변하지만 평균적으로는 일정하게 유지되는 시장을 상상해 보세요. 논문은 어떤 군(심지어 혼란스러운 비가환적(non-amenable) 군이라 할지라도)에 대해서도 "정적"인 가격 책정 시스템을 찾을 수 있음을 보여줍니다. 이는 마치 매일매일은 격렬하게 요동치지만 시간이 지나면 안정적인 패턴으로 정착하는 시장과 같습니다.
불변 (Invariant - "완벽하게 공정한" 시장): 이것은 훨씬 더 어렵습니다. "불변" 시스템이란 시장을 뒤섞더라도 가격이 전혀 변하지 않는 것을 의미합니다. 논문은 여기서 깊은 연결 고리를 발견합니다: 완벽하게 공정한, 불변하는 가격 책정 시스템은 오직 그 군이 "아메나빌리티(Amenability, 가해성)"라는 특정 수학적 성질을 가질 때만 가능합니다.

비유:

**아메나블 군(Amenable Groups)**은 손님들이 어떻게 움직이더라도 항상 공정하게 계산서를 나눌 수 있는 차분하고 잘 조직된 마을과 같습니다.
**비아메나블 군(Non-Amenable Groups)**은 혼란스러운 모쉬핏(mosh pit)과 같습니다. 만약 모쉬핏 안에서 모든 것에 대해 변하지 않는 단 하나의 가격을 찾으려 한다면, 당신은 실패할 것입니다. 혼돈이 너무 크기 때문입니다.

"고정점(Fixed Point)"의 비밀

이 논문은 이 가격 문제를 **"원뿔에 대한 고정점 성질(Fixed Point Property for Cones)"**이라는 개념과 연결합니다.

모든 양(+)의 가격을 나타내는 원뿔(아이스크림 콘 같은 모양)을 상상해 보세요. 만약 사람들이 이 원뿔을 흔들고 있다면, "고정점"이란 사람들이 아무리 흔들어도 움직이지 않는 원뿔 내부의 특정 지점을 말합니다.

논문은 다음과 같이 증명합니다: 어떤 군이 완벽하게 공정한(불변하는) 가격 책정 시스템을 허용한다면, 그것은 오직 그리고 반드시 그 군이 이 "고정점" 성질을 가지고 있을 때뿐입니다.
만약 군이 너무 혼란스럽다면(언급된 "램프라이터(Lamplighter)" 군처럼), 원뿔이 너무 격렬하게 흔들려서 어떤 단일 지점도 가만히 있지 못하며, 공정한 불변 가격도 존재할 수 없습니다.

조건부 평균: "만약 ~라면?" 계산기

논문은 또한 **"조건부 평균(Conditional Means)"**에 대해서도 다룹니다. 일상적인 언어로 이것은 다음과 같이 묻는 것과 같습니다: "내가 이만큼의 돈을 가지고 있다면, 저 특정 물건의 가치는 얼마인가?"

고전적 확률론에서는 "구름이 끼었을 때 비가 올 확률은 얼마인가?"라고 묻습니다.
여기서 저자는 이를 추상적인 수학 공간으로 일반화합니다. 그들은 "주어진" 조건이 보통 가치가 0인 사건(null event)일 때라도 이러한 "조건부 가치"를 정의할 수 있음을 보여줍니다.
주의점: 이 조건부 가치를 단순한 단계(예: 이산적인 항목을 세는 것)에서는 항상 정의할 수 있지만, 이를 연속적이고 무한한 공간으로 확장하는 것은 까ৰ롭습니다. 논문은 특정 "좋은" 공간(하이퍼-아르키메데스 격자)에서는 이러한 규칙을 전역적으로 확장할 수 있음을 보여줍니다. 하지만 다른 공간들(예: 무한 집합 위의 모든 유계 함수 공간)에서는 벽에 부딪힙니다. 규칙을 깨뜨리지 않고는 모든 가능한 조합에 대해 공정한 가격을 정의하는 것이 아예 불가능합니다.

"순서(Order)"가 필수적인 이유

마สุดท้าย로, 논문은 다음과 같은 질문을 던집니다: "순서를 없애고 일반적인 공간에서 가격을 매길 수 있을까?"
답은 **"아니오"**입니다. 저자는 "크다" 또는 "작다"라는 개념(순서)이 필수적임을 증명합니다. 만약 이 가격 규칙을 음수나 순서가 없는 공간으로 확장하려고 한다면, 수학은 무너집니다. 시장 규칙을 만족하면서 양수와 음수를 동시에 가질 수 있는 "가격"이란 존재할 수 없습니다. "순서"는 가격 시스템이 붕괴하지 않도록 지탱해 주는 토대입니다.

요약

보편적 가격 책정: 어떤 순서 체계에서도 추상적인 묶음에 대해 상대적 가격을 항상 할당할 수 있습니다.
혼돈 대 질서: 어떤 군에 대해서도 "평균적으로 안정적인" 가격은 찾을 수 있지만, "완벽하게 변하지 않는" 가격은 오직 "좋은(아메나블)" 군에서만 존재합니다.
고정점: 완벽하게 공정한 가격을 가질 수 있는 능력은 수학적으로 그 군이 흔들어도 움직이지 않는 "고정점"을 가지고 있는 것과 동일합니다.
한계: 이러한 가격 규칙을 모든 수학적 공간으로 확장할 수는 없습니다. 공간의 구조(특히 엄격한 순서가 있는지 여부)가 매우 중요합니다.

이 논문은 본질적으로 "공정함(불변성)"이 가능한 곳과 혼돈(비아메나빌리티)이 그것을 불가능하게 만드는 곳이 수학적 우주 어디인지 보여주는 지도와 같습니다.

기술 요약: 조건부 평균, 벡터 가격 책정, 아메나빌리티(Amenability), 그리고 원뿔에서의 고정점

1. 문제 정의 및 동기
본 논문은 임의의 순서 벡터 공간(ordered vector spaces)으로 조건부 확률을 일반화하는 문제를 다룬다. 고전적 확률론에서 조건부 확률 $P(A|B)$ 는 $B \neq \emptyset$ 인 부분집합 $A, B$ 에 대해 정의된다. 저자는 임의의 양의 벡터 $u, v \in V$ ( $v \neq 0$ )에 대해 $u$ 의 $v$ 에 대한 상대적 가치를 나타내는 수치적 "율(rate)" 또는 "가격(price)" $r(u, v)$ 를 할당하고자 한다.

이러한 동기는 두 가지 방향에서 기인한다:

벡터 가격 책정(Vector Pricings): 거래 시장과 유사하게, 저자는 가법성(additivity)과 "시장 효율성"(일관성, coherence)의 공리들을 부과하여 $r: V^+ \times V^+ \to [0, +\infty]$ 인 사상(map)을 정의한다.
조건부 평균(Conditional Means): 유계 함수(특히 $\ell^\infty(X)$ )로 조건부 확률의 개념을 확장하며, 본 논문은 유계 함수 $f, h$ 에 대해 "조건부 평균" $P(f|h)$ 를 정의할 수 있는지 묻는다.

정체성(stationarity)(무작위 보행에 대한 불변성)과 불변성(invariance)(군 작용 자체에 대한 불변성) 사이에는 핵심적인 긴장이 존재한다. 본 논문은 어떤 군이 이러한 일반화된 확률을 정체적(stationary) 또는 불변적(invariant)으로 허용하는지 조사하며, 이를 통해 아메나빌리티와 고정점 성질에 대한 새로운 특징들을 규명한다.

2. 방법론 및 정의
본 논문은 다음 세 가지 동등한 개념을 기반으로 한 프레임워크를 개발한다:

벡터 가격 책정(Vector Pricings): 다음을 만족하는 사상 $r: V^+ \times V^+ \to [0, +\infty]$ $r : V^{+} \times V^{+} \to [0, + \infty]$ :
- (VP1) 가법성: $r(u+v, w) = r(u, w) + r(v, w)$ .
- (VP2) 곱셈성 (연쇄 법칙): $r(u, w) = r(u, v)r(v, w)$ .
- (VP3) 정규화: $r(u, u) = 1$ .
조건부 평균(Conditional Means): 유사한 공리(CM1–CM3)를 만족하는 사상 $P: \{(u, v) \in V^+ \times V^+ : u \leq v, v \neq 0\} \to [0, 1]$ .
부분 양의 범함수(Partial Positive Functionals): $V$ 의 아이디얼(ideal) $U$ 와 $U$ 위의 양의 선형 범함수 $J$ 의 쌍 $(U, J)$ .

방법론은 다음을 활용한다:

순서론적 구성(Order-Theoretic Construction): 부분 범함수들의 극대 사슬(maximal chains)을 구성하기 위해 하인-오토(Hahn–Banach) 정리(특히 칸토로비치(Kantorovich) 정리)와 조른의 보조정리(Hausdorff의 극대성 원리)를 사용한다.
레니 순서(Rényi Order): $(U_1, J_1) \prec (U_2, J_2) \iff U_1 \subseteq \ker J_2$ 로 정의된 부분 범함수 상의 엄격한 부분 순서 $\prec$ 를 활용하여 곱셈 조건(VP2)이 성립하도록 한다.
고정점 이론(Fixed-Point Theory): 순서 위상 벡터 공간 상의 군 표현에 적용되는 "원뿔에 대한 고정점 성질"( [Mon17]에서 도입됨)을 적용한다.
스펙트럼 분석(Spectral Analysis): 군 위의 확률 분포에 대한 케스텐(Kesten)의 기준과 스펙트럼 반지름을 사용하여 정체성을 분석한다.

3. 주요 기여 및 결과

존재성 및 확장 (정리 A, 3.5, 3.7)

정리 A: 모든 순서 벡터 공간은 벡터 가격 책정을 갖는다. 또한, 부분 공간에서의 벡터 가격 책정은 전체 공간으로 확장될 수 있다.
범함수와의 대비: 양의 선형 범함수와 달리, 벡터 가격 책정은 항상 존재하며 확장 가능하다(칸토로비치 정리와 같이 강한 조건—예: 우세 조건—을 요구하지 않는다).
동등성: 벡터 가격 책정과 조건부 평균 사이에는 전단사 대응 관계가 존재한다 (Proposition 3.1).

정체성 대 불변성 (정리 B, C, I)
본 논문은 정체적(stationary) 조건부 확률과 불변적(invariant) 조건부 평균/확률을 명확히 구분한다:

정체성 (정리 B): [AHP+25]에 근거하여, 모든 군 $G$ 는 임의의 비퇴화된 유한 지지 분포 $\mu$ 에 대해 $\mu$ -정체적 조건부 확률을 갖는다.
평균에 대한 정체성 (정리 I): $G$ 가 아메나블(amenable)하다면, 비특이(non-singular) 순서 벡터 공간 상의 모든 순서 유계 표현(order-bounded representation)은 $\mu$ -정체적 벡터 가격 책정을 갖는다.
평균에 대한 불변성 (정리 C): $\ell^\infty(G)$ 가 $\mu$ -정체적 조건부 평균을 갖는 것은 $G$ 가 아메나블할 필요충분조건이다. 이는 정리 B와 대조되며, 확률에서 평균으로의 확장이 정형적이지 않으며 군의 아메나빌리티에 의존함을 보여준다.
부존재성: 비아메나블 군의 경우, $\ell^\infty(G)$ 상에 $\mu$ -정체적 조건부 평균이 존재하지 않는다 (일반화된 그린 함수(Green function) 논증을 통해 증명됨).

불변성 및 고정점 (정리 E, F, G)

정리 E: $\ell^\infty(G)$ 가 $G$ -불변 조건부 평균을 갖는 것은 $G$ 가 **원뿔에 대한 고정점 성질(fixed-point property for cones)**을 갖는 것과 필요충분조건이다.
정리 F: 이 동등성은 비특이 순서 벡터 공간 상의 일반적인 순서 유계 표현으로 확장된다.
정리 G: 불변 벡터 가격 책정 존재의 충분조건은, 모든 0이 아닌 양의 벡터 $v$ 에 대하여, $v$ 의 궤도(orbit)에 의해 생성된 $G$ -불변 아이디얼이 0이 아닌 $G$ -불변 양의 선형 범함수를 갖는 것이다.
수프라아메나빌리티(Supramenability)와의 구별: $G$ -불변 조건부 확률은 수프라아메나블 군을 특징짓지만(Armstrong [Arm89]), $G$ -불변 조건부 평균은 원뿔에 대한 고정점 성질을 특징짓는다. 저자는 이 고정점 성질이 수프라아메나빌리티보다 엄격히 더 강한 성질이라고 추측한다.

공변성(Equivariance) 대 불변성 (Proposition H)
유한 생성되면서 $\mathbb{Z}$ 로의 에피모피즘(epimorphism)이 없는 군의 경우, 모든 공변적(equivariant) 조건부 평균은 불변적이다. 이는 공변성과 불변성을 혼동했던 기존 문헌(Armstrong [Arm89])의 오류를 바로잡는다.

도메인 확장 (Proposition J, 6.3, 6.4)

하이퍼-아르키메데스 격자(Hyper-Archimedean Lattices): 하이퍼-아르키메데스 벡터 격자(예: 단계 함수 공간)의 경우, 밴드 투영(band projection)을 사용하여 모든 $u, v \geq 0$ 에 대해 $P(u|v)$ 를 정형적으로 확장하여 정의할 수 있다 (단, $u \leq v$ 인 경우뿐만 아니라).
한계: 본 논문은 (Proposition 6.6에서) 순서 구조가 생성적(generating)이라 하더라도, 불변성과 가법성 공리를 유지하면서 벡터 가격 책정을 전체 공간 $V \times V$ (음의 벡터 포함)로 확장할 수 없음을 증명한다. 즉, 순서 구조가 필수적이다.

4. 의의 및 주장
본 논문은 "임의의 순서 벡터 공간을 위한 조건부 확률의 일반화"를 제공한다고 주장한다. 주요 의의는 다음과 같다:

아메나빌리티의 새로운 특징 규명: 불변 조건부 평균의 존재가 원뿔에 대한 고정점 성질과 동등함을 입증하였으며, 이는 수프라아메나빌리티와 구별되는, 잠재적으로 더 강한 성질이다.
존재성 문제의 해결: 벡터 가격 책정은 항상 존재함을 증명함으로써(정리 A), 전역적인 "표준(gold standard)" 범함수를 요구하지 않고도 순서 공간 내의 벡터들을 비교할 수 있는 강력한 도구를 제공한다.
정체성의 명료화: 조건부 확률(항상 정체적 측도를 가짐)과 조건부 평균(정체성을 위해 아메나빌리티를 요구함) 사이의 극적인 행동 차이를 강조한다.
고정점 이론: 추상적인 순서 벡터 공간 이론을 원뿔에 대한 고정점 성질과 연결하며, 이 성질이 부분군, 몫군, 그리고 방향 합집합(directed union)에 대해 보존되지만, 자유 반군(free semigroup)을 포함하는 군(예: 램프라이터 그룹)에서는 실패함을 보여준다.

저자는 결과가 고전적 확률 설정에서 벗어남을 명시하며, 불변 조건부 평균을 위한 올바른 특징은 수프라아메나빌리티가 아니라 "원뿔에 대한 고정점 성질"임을 밝힌다. 본 논문은 실험적 응용을 제안하기보다는 이러한 일반화된 확률 구조의 존재를 위한 기초적인 이론적 기준을 확립하는 데 목적이 있다.