[論文レビュー] The Legendre-Fenchel transform from a category theoretic perspective

Simon Willerton|arXiv (Cornell University)|Jan 15, 2015

Polynomial and algebraic computation参考文献 12被引用数 7

ひとこと要約

この論文は、拡張実数 $\ overline{\mathbb{R}}$ に倣ったプロファンクターの核を通じて、Legendre-Fenchel変換を圏論における自然な構成とみなすことにより、その構成を確立する。凸関数とその双対空間の間の双対性が、$\ overline{\mathbb{R}}$-豊かみた圏論における随伴から生じることを明らかにし、Galois接続、凸双対性、tropical加群構造を一つの圏論的枠組みで統一する。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変換、Galois接続、および他の双対性構成を、一つの圏論的枠組みで統一すること。
• Legendre-Fenchel変換が、$\ overline{\mathbb{R}}$-豊かみたプロファンクターの核構成から自然に生じることを示すこと。
• 下半連続な凸関数の空間が、核における極限と余極限を通じて、二つの異なるtropical加群構造を持つことの解明。
• 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}}$-随伴として解釈され、上界畳み込みにより定義される。
• プロファンクターの核が、$V$ 上の下に半連続な凸関数の空間と同型であることが示され、自然な$\ overline{\mathbb{R}}$-構造を備える。
• 核における極限と余極限は重み付き上界と下界を用いて計算され、tropical加群作用の明示的公式が得られる：$\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 $\u005c overline{\mathbb{R}}$-豊かみた構造が、関数空間上の非対称的で符号付き距離をどのように符号化するか？
• RQ3 プロファンクターの核が、Galois接続と凸双対性の両方を一般化する方法は何か？
• RQ4 凸解析におけるToland-Singer双対性の圏論的起源は何か？
• RQ5 核の完全性とコ完全性から、凸関数上のtropical加群構造がどのように生じるか？

主な発見

• 拡張実数$\ 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}})$ は二つの異なるtropical加群構造を持つ：極限は点ごとの上界 $\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, +)$ のidempotent半環構造を反映する。
• この構成は古典的双対性を一般化する：関係から得られるGalois接続は、$\{\mathrm{true}, \mathrm{false}\}$-値プロファンクターの核として回復され、Isbell完成、Dedekind-MacNeille完成、tropicalスパンはすべて同じ核構成の特別な場合である。