paperbot · PL 论文追踪

全部论文 待读 收藏

P2 A cone-theoretic barycenter existence theorem

锥论中的重心存在性定理
LMCS vol.Volume 20, Issue 42024匹配度 2/10 · 该论文是拓扑锥与扩展赋值单子的纯数学/形式语义结果,主题集中在重心存在性与Eilenberg-Moore代数结构,与用户关注的静态分析、Agentic程序、浮点程序分析及LLM交叉均无直接关联。仅可能作为概率语义/单子理论的遥远基础,不涉及benchmark、工程实现或工业落地。引用 0 inbox
Jean Goubault-Larrecq, Xiaodong Jia
crossref: 2026-09-10

AI 速览

一句话:证明局部凸紧 sober 拓扑锥上连续赋值必有唯一连续重心,且恰为扩展赋值单子的 V_w-代数结构。

本文研究拓扑锥上连续赋值的重心存在性及其范畴论意义。作者在局部凸、局部凸紧且 sober 的拓扑锥 C 上,证明每个连续赋值都存在重心,并且该重心唯一。进一步,重心映射 β 连续,因此可作为 T0 拓扑空间范畴上扩展赋值单子的 Eilenberg-Moore 代数(V_w-代数)的结构映射。关键结论是:该 V_w-代数不仅是 C 上锥结构的诱导者,而且是唯一能诱导出该锥结构的 V_w-代数。这揭示了连续赋值单子、拓扑锥与 Eilenberg-Moore 代数之间的精确对应,为概率/测度式语义模型提供了范畴论基础。

问题
连续赋值在拓扑锥上是否存在唯一重心,以及重心映射能否刻画扩展赋值单子的代数结构。
方法
在局部凸、局部凸紧、sober 拓扑锥上证明重心存在唯一,并利用范畴论证明重心映射连续、给出 Eilenberg-Moore 代数对应。
评估
以数学定理证明为主,证明连续赋值有唯一重心、重心映射连续,并确立诱导锥结构的 V_w-代数的唯一性。
原文摘要(Abstract)

We show that every continuous valuation on a locally convex, locally convex-compact, sober topological cone $\mathfrak{C}$ has a barycenter. This barycenter is unique, and the barycenter map $\beta$ is continuous, hence is the structure map of a $\mathbf V_{\mathrm w}$-algebra, i.e., an Eilenberg-Moore algebra of the extended valuation monad on the category of $T_0$ topological spaces; it is, in fact, the unique $\mathbf V_{\mathrm w}$-algebra that induces the cone structure on $\mathfrak{C}$.

链接与引用

DOI 原文 · PDF(开放获取) ·

BibTeX
@article{paperbot2715,
  title = {A cone-theoretic barycenter existence theorem},
  author = {Jean Goubault-Larrecq and Xiaodong Jia},
  journal = {Logical Methods in Computer Science},
  volume = {Volume 20, Issue 4},
  year = {2024},
  doi = {10.46298/lmcs-20(4:7)2024}
}