Diagonale des (Selbst-)Produkts einer doppelt stochastischen Übergangsmatrix

Mit doppelt stochastisch und Übergang meine ich, dass jede Zeilensumme und Spaltensumme einer Matrix 1 ist und jedes Element der Matrix in [0, 1] ist. Hier betrachte ich die Matrix als n mal n, wobei n endlich ist.
Ich bin neugierig zu wissen, ob wir etwas über die Diagonalelemente von PQ sagen können, wenn P und Q doppelt stochastische Übergangsmatrizen sind. (So ​​etwas wie sie sind positiv.)
Was ist mit den diagonalen Elementen von P 2 wobei P eine doppelt stochastische Übergangsmatrix ist?
(Schließlich möchte ich, dass sie größer als Null sind, um zu zeigen, dass für zeitdiskrete Markov-Ketten mit doppelt stochastischer Übergangsmatrix und endlichem Zustandsraum alle Zustände wiederkehrend sind.) Bearbeiten: Wie

von @kimchilover vorgeschlagen, gibt es ein Beispiel, das dies tut nicht das tun, was ich von einer doppelt stochastischen Übergangsmatrix will. Das spezielle Beispiel ergibt jedoch einen irreduziblen endlichen MC, sodass es letztendlich das tut, was ich zeigen möchte, nämlich dass alle Zustände rekurrent sind. Ist das immer so? Wenn ja, wie zeige ich das an?
Danke!

Wenn P = Q = ( 0 1 0 0 0 1 1 0 0 ) (was doppelt stochastisch ist) dann die diagonalen Elemente von P Q = P 2 sind nicht positiv.
Obwohl das Beispiel von @kimchilover in einer zeitdiskreten Markov-Kette mit drei Zuständen alle Zustände mit dieser bestimmten Übergangsmatrix immer noch rekurrent sind, gibt es vielleicht etwas anderes, nach dem das OP suchen kann, außer dass alle diagonalen Elemente positiv sind
@kimchilover Vielen Dank für den Kommentar. Ich habe mir direkt nach dem Hochladen der Frage genau das gleiche Beispiel ausgedacht. Ich habe die Frage entsprechend bearbeitet.

Antworten (1)

Wenn   P   ist ein   N × N   doppelt stochastische Matrix dann

1 P = 1   .
Deshalb,   1 N 1   ist eine stationäre Verteilung der entsprechenden Markov-Kette. Aber falls   ich   ist ein transienter Zustand einer Markov-Kette dann jede stationäre Verteilung   π   dieser Kette haben muss   π ich = 0   . Daraus folgt, dass keine Markov-Kette mit einer doppelt stochastischen Übergangsmatrix irgendwelche Übergangszustände haben kann.

Danke schön! Dies beantwortet meine Frage.