[论文解读] 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}}$-富比尼范畴，揭示了向量空间上凸函数与其对偶之间的对偶性源于 $\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}}$-范畴化意义下既是完备的也是上完备的，并给出极限与余极限的显式公式。

提出的方法

• 本文使用 $\overline{\mathbb{R}}$-范畴论，其中扩展实数 $[-\infty, +\infty]$ 构成一个偏序范畴，其态射对象属于 $\overline{\mathbb{R}}$。
• 将 Pavlovic 的核构造应用于向量空间 $V$ 与其对偶 $V^\#$ 之间的配对富比尼范畴，视其为 $\overline{\mathbb{R}}$-富比尼范畴。
• 将 Legendre-Fenchel 变换解释为函数空间 $\operatorname{Fun}(V, \overline{\mathbb{R}})$ 与 $\operatorname{Fun}(V^\#, \overline{\mathbb{R}})$ 之间的 $\overline{\mathbb{R}}$-伴随关系，其中变换通过上卷积定义。
• 证明该富比尼范畴的核同构于 $V$ 上下确界连续凸函数的空间，并赋予其自然的 $\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 完备化与热带张量积均为同一核构造的特例。