Dados uma matriz de transição e uma distribuição nos estados , a condição de balanço detalhado é
(1.1) Prove que se a condição de balanço detalhado é satisfeita para todos , então é estacionária.(1.2) Prove que se a condição de balanço detalhado é satisfeita para todos , então
para quaisquer . Nesse caso dizemos que a cadeia é reversível.
Verifique que é um embaralhamento riffle diferente da identidade se e só se tem exatamente 1 descida. Uma descida ocorre quando σ(i)>σ(i+1). Conclua que é um embaralhamento riffle se e só se tem no máximo uma descida.
Verifique, também, que o número de descidas é igual para e e conclua que
e que .
Um embaralhamento "top-in-at-random" é um método de embaralhamento de cartas onde a carta do topo é repetidamente removida e inserida em uma nova posição aleatória no baralho. Esse embaralhamento tem a seguinte regra de parada fortemente uniforme: PARE assim que a carta original do fundo (rotulada ) for inserida de volta no baralho pela primeira vez. Durante o processo, a ordenação das cartas abaixo dessa “última” carta é completamente uniforme
seja a variável aleatória que conta o número de embaralhamentos realizados até que, pela primeira vez, cartas estejam abaixo da carta . Então o tempo de parada é dado por .(3.1) Mostre que .(3.2) Mostre que .(3.3) Conclua que para vale que .(3.4) Deduza um limitante superior para a distância, em variação total, da distribuição após embaralhamentos para a distribuição uniforme .
Um tempo de estacionariedade forte (strong stationary time) para uma cadeia de Markov é um tempo de parada tal que tem distribuição estacionária e é independente de , isto é,
Observe que um tempo estacionariedade forte é altamente desejável na prática porque ele garante que a amostra é escolhida exatamente da distribuição estacionária.
Vamos limitar o tempo de mistura de um passeio aleatório simples em um circuito comprimento . Considere um passeio aleatório preguiçoso e simples em um circuito de comprimento com vértices , como início , onde em cada vértice permanecemos com probabilidade e vamos para a esquerda/direita com probabilidade , isto é,
onde Id é a matriz identidade e a matriz de adjacências do grafo.
Seja o primeiro instante a partir de em que passeio atinge a distância . Por exemplo, se , no instante o passeio está uniformemente distribuído nos vértices de distância , ou seja, em ; no instante está uniformemente distribuído nos vértices a distância de , ou seja, uniformemente distribuído em ; e em estará uniformemente distribuído em todos os vértices ímpares. Agora, dando mais um passo, o caminhante ficará uniformemente distribuído em todo o circuito!
(4.1) Condicionando no primeiro passo, mostre que um passeio aleatório em iniciado em que permanece parado com probabilidade e se move para a esquerda/direita com probabilidade atinge em tempo esperado . (4.2) Use o resultado anterior para mostrar e mostre que a esperança do tempo de parada final é no máximo . (4.3) Denote por a distribuição de condicionado a . Prove