[論文レビュー] A Compositional Framework for Passive Linear Networks

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

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

ひとこと要約

本稿では、圏論を用いた受動的線形電気回路の構成的枠組みを提示し、その外部挙動—電流と電圧の入出力関係として定義される—が、シンプレクティックベクトル空間上のラグランジュ線形関係を形成することを示している。主な貢献は、回路の構成が、電力最小化原理を介してラグランジュ関係の合成に対応することを保証する、『ブラックボックス関手』と呼ばれる対称モノイダルハイパーグラフ関手の構成である。

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.

研究の動機と目的

• 受動的線形電気回路（抵抗器、インダクタ、コンデンサを含む）を解析するための構成的で圏論的な枠組みを構築すること。
• このような回路の外部挙動を、ノード電位の空間上のディリクレ型として定式化し、電流と電圧の入出力関係を捉えるシンプレクティックベクトル空間上のラグランジュ線形関係として形式化すること。
• 回路構造をその外部挙動へ写像するブラックボックス関手を構成し、合成およびテンソル積の演算を保存すること。
• 回路理論をシンプレクティック幾何学および圏論と統合し、複雑なネットワークのモジュラー設計および解析の基盤を提供すること。
• ブラックボックス関手が対称モノイダルハイパーグラフ関手であることを確立し、モジュラー合成および並列合成と整合することを保証すること。

提案手法

• 対象が端子の有限集合で、射が入力および出力をマークした回路である圏において、回路を装飾付きコスパンとしてモデル化する。
• 最小電力の原理を用いて、ノード電位空間上のディリクレ型として回路の外部挙動を導出する。
• 電力関数の微分のグラフ（すなわち、端子における電流と電圧の関係）をとることで、回路からラグランジュ線形関係への関手を構成する。
• シンプレクティフィケーション関手を適用し、ディリクレ型を端子変数のシンプレクティックベクトル空間内のラグランジュ部分空間へ写像する。
• 理想導線をモデル化するため装飾付きコリレーションを用い、共有ノードにおける電力の最小化とプッシュアウトを介して合成を定義する。
• ブラックボックス関手がハイパーグラフ関手であることを示すことで、合成およびテンソル積を保存し、装飾付きコリレーション構成と可換であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 受動的線形電気回路を、物理的挙動を保存する形で圏論を用いて形式的に合成することは可能か？
• RQ2 このような回路の外部挙動の数学的構造は何か？ そしてシンプレクティック幾何学とどのように関係するか？
• RQ3 最小電力の原理は、回路ネットワークの文脈でどのようにラグランジュ関係を生じさせるか？
• RQ4 ブラックボックス関手は、直列および並列合成の両方を尊重する対称モノイダルハイパーグラフ関手として構成可能か？
• RQ5 装飾付きコスパンと装飾付きコリレーションの枠組みの間には、回路合成のモデル化においてどのような関係があるか？

主な発見

• 任意の受動的線形回路の外部挙動は、端子電流と電圧のシンプレクティックベクトル空間上のラグランジュ線形関係である。
• ブラックボックス関手は対称モノイダルハイパーグラフ関手である。これにより、配線による回路合成が、ラグランジュ関係の合成に対応することが保証される。
• 関手は電力最小化を経て構成される。端子における電流と電圧の関係は、電力関数の微分のグラフとして生じる。
• この構成は装飾付きコリレーション枠組みと可換であり、理想導線および回路合成が一貫してモデル化されることを示している。
• ブラックボックス関手は、回路をまずすべてのノードへ電力関数を拡張し、内部ノードで最小化した後、端子へ制限することで、その外部挙動へ写像する。
• 主な結果として、ブラックボックス関手は装飾付きコスパンおよび装飾付きコリレーションの両方の構成を通じて因数分解され、ラグランジュコリレーション関手が最終的な意味論を提供する。