[논문 리뷰] The Legendre-Fenchel transform from a category theoretic perspective

Simon Willerton|arXiv (Cornell University)|2015. 01. 15.

Polynomial and algebraic computation참고 문헌 12인용 수 7

한 줄 요약

이 논문은 확장된 실수 $\overline{\mathbb{R}}$ 에 대해 풍부화된 프로파르티터의 핵을 통해 Legendre-Fenchel 변환이 범주론에서 자연스러운 구성임을 확립한다. 벡터 공간과 그 쌍대공간 위의 볼록 함수 사이의 쌍대성은 $\overline{\mathbb{R}}$-풍부화된 수반 관계로부터 유래되며, 이는 갈로아 연결, 볼록 쌍대성, 그리고 트로픽 모듈러 구조를 하나의 범주론적 프레임워크 아래 통합한다. 이와 동시에 Toland-Singer 쌍대성은 핵의 완비성과 코완비성의 결과로 나타난다.

ABSTRACT

The Legendre-Fenchel transform is a classical piece of mathematics with many applications. In this paper we show how it arises in the context of category theory using categories enriched over the extended real numbers $\overline{ \mathbb{R}}:=[-\infty,+\infty]$. A key ingredient is Pavlovic's 'nucleus of a profunctor' construction. The pairing between a vector space and its dual can be viewed as an $\overline {\mathbb{R}}$-profunctor; the construction of the nucleus of this profunctor is the construction of a lot of the theory of the Legendre-Fenchel transform. For a relation between sets viewed as a $\{\mathrm{true},\mathrm{false}\}$-valued profunctor, the construction of the nucleus is the construction of the Galois connection associated to the relation. One insight given by this approach is that the relevant structure on the function spaces involved in the Legendre-Fenchel transform is something like a metric but is asymmetric and can take negative values. This '$\overline {\mathbb{R}}$-structure' is a considerable refinement of the usual partial order on real-valued function space and it allows a natural interpretation of Toland-Singer duality and of the two tropical module structures on the set of convex functions.

연구 동기 및 목표

• Legendre-Fenchel 변환, 갈로와 연결, 그리고 다른 쌍대성 구성 요소들을 하나의 범주론적 프레임워크 아래 통합하기 위해.
• Legendre-Fenchel 변환이 $\overline{\mathbb{R}}$-풍부화된 프로파르티터의 핵 구성에서 자연스럽게 유도됨을 보여주기 위해.
• 하향 연속 볼록 함수의 공간이 핵 내의 극한과 코극한을 통해 두 가지 서로 다른 트로픽 모듈러 구조를 지닌다는 것을 드러내기 위해.
• Toland-Singer 쌍대성을 $\overline{\mathbb{R}}$-풍부화된 핵의 구조로부터 유도함으로써 확립하기 위해.
• $\overline{\mathbb{R}}$-풍부화된 의미에서 볼록 함수의 범주가 완비이자 코완비임을 보이며, 극한과 코극한에 대한 명시적 공식을 제시하기 위해.

제안 방법

• 논문은 확장된 실수 $[-\infty, +\infty]$ 가 $\overline{\mathbb{R}}$ 에 값이 있는 호모지오그래프를 갖는 부분순서 범주로 구성된 $\overline{\mathbb{R}}$-풍부화된 범주론을 사용한다.
• 벡터 공간 $V$ 와 그 쌍대공간 $V^\#$ 사이의 쌍대성 프로파르티터를 $\overline{\mathbb{R}}$-프로파르티터로 간주하고, Pavlovic 의 핵 구성법을 적용한다.
• Legendre-Fenchel 변환은 함수 공간 $\operatorname{Fun}(V, \overline{\mathbb{R}})$ 와 $\operatorname{Fun}(V^\#, \overline{\mathbb{R}})$ 사이의 $\overline{\mathbb{R}}$-수반 관계로 해석되며, 최대화 병합을 통해 정의된다.
• 프로파르티터의 핵이 하향 연속 볼록 함수의 공간과 등장함을 보이며, 자연스러운 $\overline{\mathbb{R}}$-구조를 지닌다.
• 핵 내의 극한과 코극한은 가중 최대값과 최소값을 사용하여 계산되며, 이는 트로픽 모듈러 연산에 대한 명시적 공식을 도출한다: $\textstyle\prod f_i(x) = \sup f_i(x)$, $\textstyle\coprod f_i(x) = (\inf f_i)^{\star\star}(x)$.
• 이 구성은 고전적 결과들을 복원한다: 하향 연속 볼록 캄프는 가중 극한으로 복원되며, Toland-Singer 쌍대성은 $\overline{\mathbb{R}}$-거리에서 등장하는 등장성으로 나타난다.

실험 결과

연구 질문

• RQ1 Legendre-Fenchel 변환은 다양한 수학적 영역에서 통합된 범주론적 구성으로부터 어떻게 도출될 수 있는가?
• RQ2 $\overline{\mathbb{R}}$-풍부화된 구조는 함수 공간 위의 비대칭적이고 부호가 있는 거리 구조를 어떻게 표현하는가?
• RQ3 프로파르티터의 핵은 갈로와 연결과 볼록 쌍대성을 어떻게 일반화하는가?
• RQ4 볼록 해석학에서 Toland-Singer 쌍대성의 범주론적 기원은 무엇인가?
• RQ5 핵의 완비성과 코완비성으로부터 볼록 함수 위의 트로픽 모듈러 구조는 어떻게 유도되는가?

주요 결과

• 확장된 실수 $\overline{\mathbb{R}}$-프로파르티터의 쌍대성 $V \times V^\#$ 의 핵은 $V$ 위의 하향 연속 볼록 함수의 공간 $\operatorname{Cvx}(V, \overline{\mathbb{R}})$ 와 등장하며, Legendre-Fenchel 변환의 범주론적 기초를 확립한다.
• Legendre-Fenchel 변환은 $\overline{\mathbb{R}}$-풍부화된 수반 관계로 실현되며, 변환 $f \mapsto f^\star$ 는 $f^\star(k) = \sup_x \{ \langle k,x \rangle - f(x) \}$ 로 주어지고, 핵 구성에서 쌍대성이 유지된다.
• Toland-Singer 쌍대성은 범주론적으로 증명된다: $f_1, f_2$ 가 $f_2$ 가 하향 연속 볼록일 경우, $\sup_x \{ f_2(x) - f_1(x) \} = \sup_k \{ f_1^\star(k) - f_2^\star(k) \}$ 이며, 이는 $\overline{\mathbb{R}}$-거리에서의 등장성임을 보여준다.
• 공간 $\operatorname{Cvx}(V, \overline{\mathbb{R}})$ 는 두 가지 서로 다른 트로픽 모듈러 구조를 지닌다: 극한은 점별 최대값 $\textstyle\prod f_i(x) = \sup f_i(x)$ 이며, 코극한은 점별 최소값의 하향 연속 볼록 캄프 $\textstyle\coprod f_i(x) = (\inf f_i)^{\star\star}(x)$ 이다.
• 핵은 $\overline{\mathbb{R}}$-범주로서 완비이자 코완비이며, 텐서 연산은 $a \pitchfork f(x) = f(x) - a$ 와 $a \odot f(x) = f(x) + a$ 로 주어지며, 이는 아이디포텐트 반군 구조 $(\overline{\mathbb{R}}, \min, +)$ 를 반영한다.
• 이 구성은 고전적 쌍대성을 일반화한다: 관계로부터 유도된 갈로와 연결은 $\{\mathrm{true}, \mathrm{false}\}$-값을 갖는 프로파르티터의 핵으로 복원되며, Isbell 완비화, Dedekind-MacNeille 완비화, 그리고 트로픽 스펜은 모두 동일한 핵 구성의 특수한 경우이다.