[论文解读] Dobrushin ergodicity coefficient for Markov operators on cones, and beyond

Stéphane Gaubert, Zheng Qu|arXiv (Cornell University)|Feb 21, 2013

Distributed Control Multi-Agent Systems参考文献 16被引用 4

一句话总结

本文将多勃鲁希尼的遍历性系数推广至正规锥上的马尔可夫算子，利用霍普夫的振荡半范数建立了非线性一致性系统的一致性收缩率公式。证明了当收缩率严格小于1时，一致性动力系统会指数收敛至一致性状态，将经典结果推广至抽象锥和通过单位完全正映射描述的量子通道。

ABSTRACT

The analysis of classical consensus algorithms relies on contraction properties of adjoints of Markov operators, with respect to Hilbert's projective metric or to a related family of seminorms (Hopf's oscillation or Hilbert's seminorm). We generalize these properties to abstract consensus operators over normal cones, which include the unital completely positive maps (Kraus operators) arising in quantum information theory. In particular, we show that the contraction rate of such operators, with respect to the Hopf oscillation seminorm, is given by an analogue of Dobrushin's ergodicity coefficient. We derive from this result a characterization of the contraction rate of a non-linear flow, with respect to Hopf's oscillation seminorm and to Hilbert's projective metric.

研究动机与目标

• 将比尔霍夫的收缩理论从锥上的线性映射推广至使用霍普夫振荡半范数的非线性一致性动力系统。
• 表征非线性流在正规锥上相对于希尔伯特投影度量和霍普夫半范数的收缩率。
• 将多勃鲁希尼的遍历性系数推广至正规锥上的抽象一致性算子，包括量子通道。
• 在收缩率严格小于1的条件下，建立一致性动力系统的指数收敛性。
• 为正半定矩阵锥上的动力系统提供显式的收缩率公式，该系统与量子信息理论密切相关。

提出的方法

• 通过利普希茨常数 κ(T,e) = sup_{z≠0} ω(Tz/Te)/ω(z/e) 推导线性算子 T 相对于霍普夫振荡半范数 ω(⋅/e) 的收缩率。
• 为正规锥上的共识算子引入广义多勃鲁希尼遍历性系数，定义为 c(P) = sup_{Z∈extr[0,P]} h(Φ(P)(Z))，其中 Φ(P) 为变换后的线性映射。
• 通过将无穷小收缩率与导数 Df(x) 及其在半范数 ω(⋅/x) 上的作用相联系，将收缩率公式应用于非线性流。
• 利用希尔伯特投影度量的弱芬斯勒度量结构，将 d_H(x,y) 表示为涉及 ω(⋅/γ(s)) 的路径积分下确界。
• 通过将公式特化至正半定矩阵锥，将理论应用于厄米特矩阵空间，定义 Φ(P)(Z) = P^{-1/2} Dϕ(P)(P^{1/2} Z P^{1/2}) P^{-1/2}。
• 通过由 h(Φ(P)) ≤ -λ_min(B) / (n λ_max(C) e^K) 导出的不等式 d_H(M_t(P1), M_t(P2)) ≤ e^{αt} d_H(P1,P2)（其中 α < 0），建立指数收敛性。

实验结果

研究问题

• RQ1 多勃鲁希尼的遍历性系数如何推广至经典单纯形设定之外的抽象正规锥上的马尔可夫算子？
• RQ2 非线性一致性系统相对于希尔伯特投影度量和霍普夫振荡半范数的收缩率是什么？
• RQ3 能否通过广义多勃鲁希尼系数表征单位完全正映射（量子通道）的收缩率？
• RQ4 在何种条件下，锥上的非线性流会指数收敛至一致性状态？
• RQ5 适用于正半定矩阵锥上动力系统的显式收缩率公式是什么？

主要发现

• 线性算子 T 相对于霍普夫振荡半范数的收缩率由多勃鲁希尼遍历性系数的类比形式给出，其定义为在极值方向上 h(Φ(P)(Z)) 的上确界。
• 对于任意非线性一致性系统，其在希尔伯特投影度量中的收缩率受导数 Df(x) 相对于霍普夫半范数的利普希茨常数上确界的控制。
• 非线性流的收缩率满足 d_H(M_t(x), M_t(y)) ≤ e^{αt} d_H(x,y)，其中 t < t_U(x) ∧ t_U(y)，且 α = sup_{P∈U} h(Φ(P)) < 0，表明存在指数收敛。
• 在厄米特矩阵空间中，流 ẋ = ϕ(x) = -xBx/tr(Cx) + Ax + A'x 的收缩率在集合 U = {P : d_H(P,I_n) < K} 上满足 α ≤ -λ_min(B)/(n λ_max(C) e^K)。
• 当 ϕ(I_n) = λ_0 I_n 时，所有解均指数收敛至 I_n 的标量倍，且对所有 t ≥ 0 有 d_H(M_t(P), e^{λ_0 t} I_n) ≤ e^{αt} d_H(P,I_n)。
• 随着轨道趋近于一致性状态，收缩率减小，表明在固定点附近收敛速度更快。