Вы попытались показать подробный баланс для цепи Маркова, который получен, рассматривая один переход цепи Маркова как «цикл Гиббса», где вы выбираете каждый компонент по очереди из его условного распределения. Для этой цепочки подробный баланс не выполняется. Дело скорее в том, что каждая выборка конкретного компонента из его условного распределения является переходом, который удовлетворяет детальному балансу. Было бы точнее сказать, что выборка Гиббса является частным случаем слегка обобщенного Метрополиса-Гастингса, когда вы чередуете несколько разных предложений. Более подробная информация приведена ниже.
Разметки не удовлетворяют подробному балансу
X1,X2
X1=0X1=1X2=0130X2=11313
X1(0,0)(1,1)(0,0)(1,0)(1,1)(0,0)14
Однако эта цепочка все еще имеет стационарное распределение, которое является правильным. Подробный баланс является достаточным, но не обязательным условием для достижения целевого распределения.
Компонентные ходы удовлетворяют подробному балансу
(x1,x2)(y1,y2)x2≠y2x2=y2
π(x1,x2)Prob((x1,x2)→(y1,x2))=π(x1,x2)p(y1∣X2=x2)=π(x1,x2)π(y1,x2)∑zπ(z,x2)=π(y1,x2)π(x1,x2)∑zπ(z,x2)=π(y1,x2)p(x1∣X2=x2)=π(y1,x2)Prob((y1,x2)→(x1,x2)).
How the component-wise moves are Metropolis-Hastings moves?
Sampling from the first component, our proposal distribution is the conditional distribution. (For all other components, we propose the current values with probability 1). Considering a move from (x1,x2) to (y1,y2), the ratio of target probabilities is
π(y1,x2)π(x1,x2).
But the ratio of proposal probabilities is
Prob((y1,x2)→(x1,x2))Prob((x1,x2)→(y1,x2))=π(x1,x2)∑zπ(z,x2)π(y1,x2)∑zπ(z,x2)=π(x1,x2)π(y1,x2).
So, the ratio of target probabilities and the ratio of proposal probabilities are reciprocals, and thus the acceptance probability will be
1. In this sense, each of the moves in the Gibbs sampler are special cases of Metropolis-Hastings moves. However, the overall algorithm viewed in this light is a slight generalization of the typically presented Metropolis-Hastings algorithm in that you have alternate between different proposal distributions (one for each component of the target variable).