Proof of Hammersley-Clifford Theorem

​ 最近看语义分割论文DeepLab,有使用全连接CRF恢复局部的细节信息,提升分割精度。又回去复习了下CRF,仍然有一个问题很困扰: "根据Hammersley Clifford定理,一个无向图模型的概率可以表示为定义在图上所有最大团上的势函数的乘积";为什么可以这么定义,也就是Hammersley Clifford定理证明过程,书中并没有给出;网上看到也有一些童鞋有同样的困惑,本文翻译并备注了证明过程,希望对大家有所帮助。 原文地址: Proof of Hammersley-Clifford Theorem

依赖知识

a): 熟悉概率论的基础知识

b):了解概率图模型;熟悉MRF,最大团相关知识

定义1

​ 一个无向图模型G称之为马尔科夫随机场(MRF),如果两个顶点被观测顶点分割情况下条件独立。也就是说对图中任意顶点\(X_i\) ,以下条件属性成立 \[ P(X_i|X_{G\backslash i}) = P(X_i|X_{N_i}) \tag 1 \]\(X_{G \backslash i}\) 代表除了\(X_i\) 之外的所有顶点,\(X_{N_i}\) 代表\(i\)的所有邻居顶点-即所有与\(X_i\) 相连的顶点。

定义2

​ 在无向图模型G上的一个概率分布\(P(X)\) 称之为吉布斯分布,如果它能够因子分解为定义在团(clique)上的正函数的乘积,这些团覆盖了G的所有顶点和边。即 \[ P(X) = \frac 1 Z \prod_{c \in C_G} \phi_c(X_c) \tag 2 \]\(C_G\) 是G上所有(最大)团的集合,\(Z=\sum_x \prod_{c \in C_G} \phi_c(X_c)\) 是归一化常量。

证明过程

​ Hammersley Clifford告诉我们这两个定义是等价的,下面将证明这个定理。

反向证明(吉布斯分布=>MRF)

​ 设\(D_i = N_i \bigcup \{X_i\}\) 是包含\(X_i\) 邻居顶点和\(X_i\) 本身的集合。从等式(1)的右边开始 \[ P(X_i|X_{N_i}) = \frac {P(X_i,X_{N_i})} {P(X_{N_i})} \tag 3 \]

\[ \ \ \ \ \ \ \ =\frac {\sum_{G \backslash D_i} \prod_{c \in C_G} \phi_c(X_c)} {\sum_{x_i} \sum_{G \backslash D_i} \prod_{c \in C_G} \phi_c(X_c)} \tag 4 \]

​ 基于是否包含\(X_i\) 将最大团\(C_G\) 分为两组:

\(C_i = {c \in C_G: X_i \in c}\)\(R_i = {c \in C_G: X_i \notin c}\) ;现在可以将等式(4)分为\(C_i\)\(R_i\) 上的乘积。 \[ P(X_i|X_{N_i}) =\frac {\sum_{G \backslash D_i} \prod_{c \in C_i} \phi_c(X_c) \prod_{c \in R_i} \phi_c(X_c)} {\sum_{x_i} \sum_{G \backslash D_i} \prod_{c \in C_i} \phi_c(X_c) \prod_{c \in R_i} \phi_c(X_c)} \tag 5 \]

\[ = \frac {\prod_{c \in C_i} \phi_c(X_c) \sum_{G \backslash D_i} \prod_{c \in R_i} \phi_c(X_c)} {\sum_{x_i} \prod_{c \in C_i} \phi_c(X_c) \sum_{G \backslash D_i} \prod_{c \in R_i} \phi_c(X_c)} \tag 5 \]

​ 在\(G \backslash D_i\) 上的求和可以移到\(C_i\) 乘积的后面,因为\(C_i\) 团中所有的顶点一定都来自\(D_i\); 因为\(C_i\) 只包含\(X_i\) 和与\(X_i\) 相邻的顶点,由\(D_i\) 的定义可知;因而 \(C_i\) 乘积对于在\(G \backslash D_i\) 上的求和相当于常数项,故可以把\(C_i\) 乘积拿到\(G \backslash D_i\) 上的求和的外面。

​ 同样注意到因子\(\sum_{G \backslash D_i} \prod_{c \in R_i} \phi_c(X_c)\) 没有包含\(X_i\) ,并且可以从分母移除,因为分子也包含了它。因此有: \[ P(X_i|X_{N_i}) = \frac {\prod_{c \in C_i} \phi_c(X_c)} {\sum_{x_i} \prod_{c \in C_i} \phi_c(X_c)} \tag 7 \]

\[ \ \ \ \ \ \ \ \ \ \ =\frac {\prod_{c \in C_i} \phi_c(X_c)} {\sum_{x_i} \prod_{c \in C_i} \phi_c(X_c)} * \frac {\prod_{c \in R_i} \phi_c(X_c)} {\prod_{c \in R_i} \phi_c(X_c)} \tag 8 \]

\[ \ \ \ \ \ \ \ \ \ \ =\frac {\prod_{c \in C_G} \phi_c(X_c)} {\sum_{x_i} \prod_{c \in C_G} \phi_c(X_c)} \tag 9 \]

\[ = \frac {P(X)} {P(X_{G \backslash \{i\}})} \tag {10} \]

\[ = P(X_i|X_{G \backslash \{i\}}) \tag {11} \]

​ 消除了\(G \backslash D_i\) 上的求和项后,在公式(8)的分子分母乘上一个相同的因子,再次引入势函数;最终公式(11)与公式(1)的左边相等,证明了反向等价。

正向证明(MRF=>吉布斯分布)

​ 对于任意\(s \subset G\),定义一个如下的候选势函数:

\[ f_s(X_s=x_s) = \prod_{z \subset s} P(X_z=x_z,X_{G \backslash z} =0)^{-1^{|s|-|z|}} \tag {12} \]

  1. 等式右边的乘积是在s的所有子集上进行的。

  2. 对于s任意子集z, \(P(X_z=x_z,X_{G \backslash z} =0)\) 表示属于z的顶点(随机变量取值)与s一致,图中其它顶点给默认值(记做"0")。

  3. 当s集合与z集合顶点个数不同时指数为1,否则为0; \(|s|\) 表示集合s中元素(顶点)个数。

  4. 很显然f是正函数,概率都是非负的。

  5. 只需要需要证明如下两点,即可说明无向图模型的概率\(P(X)\) 可以表示为图上所有团的势函数乘积。

  6. \(\prod_{s \subset G} f_s(X_s) = P(X) \ \ \ (a)\)

  7. \(f_s(X_s) =1\) 如果\(s\) 不是一个团

证明第一点

​ 为证明第一点,先来展示一个恒等式: \[ 0 = (1 - 1)^K = C_0^K - C_1^K + C_2^K + ... ... + (-1)^KC_K^K \tag {13} \]

  1. \(C_N^K\) 表示从K个元素中选取N个元素的所有组合情况

  2. 现在证明\(\prod_{s \subset G} f_s(X_s)\) 中所有的因子都可以互相抵消,除了\(P(X)\)

  3. 对于任意子集\(z \in G\) ,及\(z\) 相关的因子\(\Delta = P(X_z, X_{G \backslash z = 0})\) ;它在s不包含z的情况下没有出现(此时z不会是s的子集);

  4. 它在\(s=z\) 情况下出现一次(z=s是s的子集),因而\(\Delta ^{-1^0} = \Delta\)

  5. 它在s包含z以及另外一个元素的情况下出现\(C_1^{|G|-|z|}\) 次;因为s的选择有\(C_1^{|G|-|z|}\) 种,并且满足\(|s|-|z|=1\) ,因此这时\(\Delta ^{-1^1} = \Delta ^{-1}\)

  6. 它在s包含z以及另外两个个元素的情况下出现\(C_2^{|G|-|z|}\) 次;因为s的选择有\(C_2^{|G|-|z|}\) 种,并且满足\(|s|-|z|=2\) ,因此这时${-12} = $

  7. 依次类推... ... ;最终第一点的等式(a)左边, z相关因子\(\Delta\) 所有乘积就是: \[ \Delta * \Delta^{-1(C_1^{|G|-|z|})} * \Delta^{-1^2(C_2^{|G|-|z|})} * ... * * \Delta^{-1^{|G|-|z|}(C_{|G|-|z|}^{|G|-|z|})} \]

\[ = \Delta ^{(1- C_1^{|G|-|z|} + C_2^{|G|-|z|} + (-1)^{|G|-|z|}(C_{|G|-|z|}^{|G|-|z|})) } \]

​ 令\(K=|G|-|z|\) , 根据公式(13)可以看出所有的因子互相抵消\(\Delta ^0= 1\) ;除了一种情况\(z=G\) 。因而有 \[ \prod_{s \subset G} f_s(X_s) =\Delta_{\{z=G\}} =P(X_G, X_{G \backslash G = 0}) =P(X_G) = P(X) \] i. 第一点证明完毕。

证明第二点

​ 为证明第二点,需要使用马尔科夫属性,如果s不是一个团,那么一定有两个属于s的顶点a、b,它们之间没有边连接,我们按照如下方式重写\(f_s(X_s)\)

​ $f_s(X_s=x_s) $ \[ = \prod_{z \subset s} P(X_z=x_z,X_{G \backslash z} =0)^{-1^{|s|-|z|}} \tag {14} \]

\[ = \prod_{w \subset s \backslash \{a,b\}} \left[ \frac {P(X_w,X_{G \backslash w}=0) P(X_{w \bigcup \{a,b\}},X_{G \backslash w \bigcup \{a,b\}}=0)} {P(X_{w \bigcup \{a\}},X_{G \backslash w \bigcup \{a\}}=0) P(X_{w \bigcup \{b\}},X_{G \backslash w \bigcup \{b\}}=0) } \right]^{-1^*} \tag {15} \]

​ 公式(15)将\(z \subset s\) 分为4中情况:\(z=w, z=w \bigcup \{a\},z=w \bigcup \{b\} 和 z = w \bigcup \{a,b\}\) ,并显示的写出了这些因子。注意公式(15)中的位置是对的哦。接下来将证明他们互相抵消。因此指数是多少不重要了,这里用\(-1^*\) 表示。

根据贝叶斯规则有:

\[ \frac {P(X_w,X_{G \backslash w}=0)} {P(X_{w \bigcup \{a\}},X_{G \backslash w \bigcup \{a\}}=0)} \]

\[ =\frac {P(X_a=0|X_b=0,X_w,X_{G \backslash w \bigcup \{a,b\}}=0) P(X_b=0,X_w,X_{G \backslash w \bigcup \{a,b\}}=0)} {P(X_a|X_b=0,X_w,X_{G \backslash w \bigcup \{a,b\}}=0) P(X_b=0,X_w,X_{G \backslash w \bigcup \{a,b\}}=0)} \tag {16} \]

\[ =\frac {P(X_a=0|X_b,X_w,X_{G \backslash w \bigcup \{a,b\}}=0) P(X_b,X_w,X_{G \backslash w \bigcup \{a,b\}}=0)} {P(X_a|X_b,X_w,X_{G \backslash w \bigcup \{a,b\}}=0) P(X_b,X_w,X_{G \backslash w \bigcup \{a,b\}}=0)} \tag {17} \]

\[ =\frac {P(X_{w \bigcup \{b\}},X_{G \backslash w \bigcup \{b\}}=0)} {P(X_{w \bigcup \{a,b\}},X_{G \backslash w \bigcup \{a,b\}}=0)} \tag {18} \]

  1. 公式(16)依据概率分解\(P(a,b)=P(a|b)*P(b)\) ; 首先仅仅看因子部分$P(X_w,X_{G w}=0) \= P(X_a=0,X_b=0,X_w,X_{G w {a,b}}=0) \=P(X_a=0|X_b=0,X_w,X_{G w {a,b}}=0) P(X_b=0,X_w,X_{G w {a,b}}=0) $

  2. 同理分母部分一样的分解

  3. 公式(16)的左边部分,由于\(X_a\)\(X_b\) 在给定图剩余部分是条件独立的,因此可以将\(X_b=0\) 替换为\(X_b\) ;分子分母都替换了。

  4. 公式(16)的右边部分,分子分母是一样的,可以约掉,实际上是先约掉,然后在同时乘一个相同的因子;得到公式(17),自然而然概率连乘得到公式(18)

  5. 将公式(18)结果带入公式(15); 可知公式(15) 恒等于1. 第二点证明完毕。

疑问点

  1. 本文的证明,只能说明无向图模型的概率可以分解为G上所有团的势函数乘积;并不能说明是所有的最大团的势函数乘积。 哪位网友知道,麻烦给我回复,非常感谢!

Proof of Hammersley-Clifford Theorem

https://hunlp.com/posts/1101.html

作者

ฅ´ω`ฅ

发布于

2021-08-01

更新于

2021-08-25

许可协议


评论