Clearing in Liability Networks via Sheaves on Directed Hypergraphs
通过有向超图上的sheaves清除负债网络
Robert Ghrist
AI总结 本文研究了通过有向超图上的sheaves模型,将负债网络的清算配置定义为全局截面,并利用有限极限构造和functorial性分析清算问题的统一比较。
详情
我们为装饰化的负债网络关联一个有向超图上的负债sheaf,其超边将支付分配与收款收集分开。清算配置恰好是该sheaf的全局截面,且全局截面对象本质上是恒等与清算算子Φ=A∘D的相等化子,其中D为集体分配,A为聚合。机构-边对偶性将其等价地表示为边侧的Dual算子D∘A的相等化子。这将负债清算识别为环境数据范畴中的有限极限构造。该构造在系数范畴的变化下是functorial的:清除不变定理显示,一个保持有限极限的functor与约束子对象兼容,诱导全局截面对象的同构,从而在支付数据的各类别中实现统一比较。存在性、唯一性和迭代计算通过支付对象上的结构组织:塔斯基定理给出存在性和完全格结构;斯科特连续性将其细化为收敛的克里勒迭代;无环基础图允许在有限步内无序或度量假设下得到唯一清算截面;Banach定理在度量收缩下保证唯一性。Eisenberg--Noe模型和格状负债网络作为特殊情况出现。
We associate to a decorated liability network a liability sheaf on a directed hypergraph whose hyperedges separate the distribution of payments from the collection of receipts. Clearing configurations are precisely the global sections of this sheaf, and the global-section object is canonically the equalizer of the identity and a clearing operator $Φ=A\circ D$ factored into collective distribution $D$ and aggregation $A$; an institution-edge duality identifies it equivalently with the equalizer of the dual operator $D\circ A$ on the edge side. This identifies liability clearing as a finite-limit construction in the ambient data category. The construction is functorial under change of coefficient category: a Clearing Invariance Theorem shows that a finite-limit-preserving functor compatible with constraint subobjects induces a canonical isomorphism on global-section objects, enabling uniform comparison of clearing problems across categories of payment data. Existence, uniqueness, and iterative computation of clearing sections are organized by the structure carried on payment objects: Tarski's theorem yields existence and a complete-lattice structure under complete-lattice global elements; Scott continuity refines this to convergent Kleene iteration; an acyclic underlying graph admits a unique clearing section in finitely many steps with no order or metric hypothesis; and Banach's theorem on global elements yields uniqueness under metric contraction. The Eisenberg--Noe model and lattice liability networks arise as special cases.