[论文解读] An Algebra of Resource Sharing Machines

Sophie Libkind|arXiv (Cornell University)|Jul 28, 2020

semigroups and automata theory参考文献 6被引用 8

一句话总结

本文提出了一种用于开放动力系统的统一代数框架，整合了两种不同的交互模型：资源共享（通过共享资源进行的非定向、被动交互）与机器组合（通过直接信息流实现的定向、主动交互）。通过使用范畴论中的操作代数（operads）和索引范畴（indexed categories）对两者进行形式化，作者证明了资源共享机器构成一个通用的组合框架，其关键结果表明，由此产生的语义与关于跨度（spans）和透镜映射（lens maps）的余端（coend）构造同构，从而在一个单一范畴模型中统一了两种交互范式。

ABSTRACT

Dynamical systems are a broad class of mathematical tools used to describe the evolution of physical and computational processes. Traditionally these processes model changing entities in a static world. Picture a ball rolling on an empty table. In contrast, open dynamical systems model changing entities in a changing world. Picture a ball in an ongoing game of billiards. In the literature, there is ambiguity about the interpretation of the "open" in open dynamical systems. In other words, there is ambiguity in the mechanism by which open dynamical systems interact. To some, open dynamical systems are input-output machines which interact by feeding the input of one system with the output of another. To others, open dynamical systems are input-output agnostic and interact through a shared pool of resources. In this paper, we define an algebra of open dynamical systems which unifies these two perspectives. We consider in detail two concrete instances of dynamical systems -- continuous flows on manifolds and non-deterministic automata.

研究动机与目标

• 解决开放动力系统中‘开放’一词解释上的模糊性，其中交互方式要么通过共享资源，要么通过定向信息流。
• 将现有的两种系统交互模型——资源共享者与机器——统一到一个单一的形式化框架中。
• 提供一个通用的代数结构，支持动力系统被动（资源共享）和主动（类似机器）组合。
• 证明该框架能够捕捉连续流形上的连续流以及非确定性自动机作为具体实例。
• 建立一个基于操作代数和索引范畴的范畴基础，以支持在多样化动力系统之间进行组合推理。

提出的方法

• 使用操作代数定义系统组合的语法，使用操作代数代数（operad algebras）定义语义，从而实现结构与解释之间的正式分离。
• 将资源共享机器（RSMs）定义为三元组 (S, u_r, p)，其中包含状态空间 S、状态与接口之间的透镜映射 u_r，以及指向系统接口的跨度 p。
• 通过在跨度和透镜映射上应用余端构造来定义 RSM 的语义，确保其具备普遍的组合性质。
• 使用张量积索引范畴 A: C^op → Cat 和一个上光滑截面 T: C → LensA 来建模系统动力学和接口交互。
• 在笛卡尔张量范畴 C 中使用拉回（pullbacks）和余极限构造，以确保与资源共享和机器式组合的兼容性。
• 证明 RSM 构造与余端同构，确立其普遍性质，并验证其作为统一语义的角色。

实验结果

研究问题

• RQ1 我们如何在单一框架中正式统一开放动力系统的两种不同模型——资源共享与机器组合？
• RQ2 是否存在一种单一的范畴构造，能够同时支持被动的、非定向交互（通过共享资源）和主动的、定向交互（通过输入输出通道）？
• RQ3 以资源共享机器方式组合的系统的语义解释是什么，它与已知模型（如 Lotka-Volterra 捕食者-猎物系统）有何关联？
• RQ4 所提出的框架是否保持了连续动力系统与非确定性自动机的组合结构？
• RQ5 是否存在一种通用构造，能够通过单一的基于余端的语义，同时捕捉两种交互风格？

主要发现

• 本文确立了资源共享机器（RSMs）构成开放动力系统的通用框架，统一了资源共享与机器式组合。
• RSM 的语义与关于跨度和透镜映射的余端构造同构，提供了范畴论中的普遍性质。
• 该框架成功地将连续动力系统（例如 Lotka-Volterra 捕食者-猎物模型）和非确定性自动机作为具体实例进行建模。
• 主要定理（定理 5.3）证明了 RSM 构造与余端同构，确认了其作为通用组合机制的角色。
• 该构造同时保留了系统交互的语法（通过操作代数）和语义（通过索引范畴），从而支持在多样化系统之间进行组合推理。
• 证明表明，RSM 语义在同构变换下保持不变，确保了系统组合的鲁棒性与一致性。