[論文レビュー] 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未塔である場合に、コンセンサスダイナミクスの指数的収束を確立すること。
• 量子情報理論に関連する正定値行列の錐上での力学系に適用可能な明示的な収縮率の公式を提供すること。

提案手法

• ホフの振動ノルム ω(⋅/e) に関する線形作用素 T の収縮率を、Lipschitz 定数 κ(T,e) = sup_{z≠0} ω(Tz/Te)/ω(z/e) を用いて導出する。
• 正規錐上のコンセンサス作用素に対して一般化されたドゥブロシニの混合係数を定義し、c(P) = sup_{Z∈extr[0,P]} h(Φ(P)(Z)) とし、Φ(P) を変換された線形写像とする。
• 非線形フローに収縮率の公式を適用する際、無限小収縮率を微分 Df(x) とそのノルム ω(⋅/x) への作用に関連付ける。
• ヒルベルトの射影的距離の弱Finsler計量構造を用い、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) のホフノルムに関するLipschitz定数の上界によって抑えられる。
• 非線形フローの収縮率は、t < t_U(x) ∧ t_U(y) に対して d_H(M_t(x), M_t(y)) ≤ e^{αt} d_H(x,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) が成り立つ。
• 軌道がコンセンサスに近づくにつれて収縮率が減少するため、固定点付近での収束が速くなる。