[论文解读] A Compositional Framework for Passive Linear Networks

John C. Baez, Brendan Fong|arXiv (Cornell University)|Apr 22, 2015

Advanced Operator Algebra Research参考文献 39被引用 69

一句话总结

本文提出了一种基于范畴论的无源线性电网络的组合框架，表明此类电路的外部行为——由电流与电压的输入-输出关系定义——在辛向量空间上构成一个拉格朗日线性关系。关键贡献是一个对称单oidal超图函子，即‘黑箱函子’，它将电路映射到其外部行为，证明了电路的组合对应于通过最小功原理的拉格朗日关系的组合。

ABSTRACT

Calculi of string diagrams are increasingly used to present the syntax and algebraic structure of various families of circuits, including signal flow graphs, electrical circuits and quantum processes. In many such approaches, the semantic interpretation for diagrams is given in terms of relations or corelations (generalised equivalence relations) of some kind. In this paper we show how semantic categories of both relations and corelations can be characterised as colimits of simpler categories. This modular perspective is important as it simplifies the task of giving a complete axiomatisation for semantic equivalence of string diagrams. Moreover, our general result unifies various theorems that are independently found in literature and are relevant for program semantics, quantum computation and control theory.

研究动机与目标

• 开发一种用于分析无源线性电网络（包括电阻器、电感器和电容器）的组合式范畴论框架。
• 将此类电路的外部行为形式化为辛向量空间上的拉格朗日线性关系，以捕捉电流与电压的输入-输出关系。
• 构建一个将电路结构映射到其外部行为的黑箱函子，保持组合与张量积运算。
• 统一电路理论与辛几何及范畴论，为复杂网络的模块化设计与分析提供基础。
• 证明黑箱函子是一个对称单oidal超图函子，确保其与电路的模块化组合及并行组合兼容。

提出的方法

• 将电路建模为在对象为终端有限集、态射为带标记输入与输出的电路的范畴中的装饰余链。
• 利用最小功原理，推导出电路在节点电位空间上的狄利克雷型式作为其外部行为。
• 通过取功泛函微分的图像（即终端处电流与电压之间的关系），从电路构造一个到拉格朗日线性关系的函子。
• 应用辛化函子，将狄利克雷型式映射到终端变量的辛向量空间的拉格朗日子空间。
• 使用装饰余关系建模理想导线，并通过上包络与共享节点上的功最小化来定义组合。
• 通过证明其保持组合与张量积并与装饰余关系构造兼容，来证明黑箱函子是一个超图函子。

实验结果

研究问题

• RQ1 如何使用范畴论正式组合无源线性电网络，同时保持其物理行为？
• RQ2 此类电路外部行为的数学结构是什么？它与辛几何有何关系？
• RQ3 最小功原理如何在电路网络背景下导出拉格朗日关系？
• RQ4 黑箱函子能否被构造为一个对称单oidal超图函子，以同时尊重串行与并行组合？
• RQ5 装饰余链与装饰余关系框架在建模电路组合时的关系是什么？

主要发现

• 任何无源线性电路的外部行为都是终端电流与电压的辛向量空间上的拉格朗日线性关系。
• 黑箱函子是一个对称单oidal超图函子，确保通过布线实现的电路组合对应于拉格朗日关系的组合。
• 该函子通过功最小化构造：终端电流与电压之间的关系作为功泛函微分的图像出现。
• 该构造与装饰余关系框架兼容，表明理想导线与电路组合被一致地建模。
• 黑箱函子通过首先将功泛函扩展到所有节点，然后在内部节点上最小化，最后限制到终端，将电路映射到其外部行为。
• 主要结果是黑箱函子通过装饰余链与装饰余关系构造进行分解，其中拉格朗日余关系函子提供了最终语义。