Giải thích trực quan cho tính định kỳ trong chuỗi Markov


16

Ai đó có thể giải thích cho tôi một cách trực quan về tính chu kỳ của chuỗi Markov là gì không?

Nó được định nghĩa như sau:

Đối với tất cả các tiểu bang ởSiS

di = gcd{nN|pii(n)>0}=1

Cảm ơn bạn đã nỗ lực của bạn!


1
Tôi tìm thấy các bài viết Wikipedia ngắn gọn và rõ ràng. Nó làm công việc cho bạn?
Cyan

2
Định nghĩa trong OP được gọi là "aperioidic".
Jack

Câu trả lời:


27

Trước hết, định nghĩa của bạn không hoàn toàn chính xác. Đây là định nghĩa chính xác từ wikipedia, theo đề xuất của Cyan.


Tính định kỳ (nguồn: wikipedia )

Một trạng thái i có chu kỳ k nếu bất kỳ trở về trạng thái i phải xảy ra trong bội số của các bước thời gian k. Chính thức, thời kỳ của một nhà nước được định nghĩa là

k =gcd{n:Pr(Xn=i|X0=i)>0}

(trong đó "gcd" là ước số chung lớn nhất). Lưu ý rằng mặc dù trạng thái có chu kỳ k, nhưng có thể không đạt được trạng thái theo k bước. Ví dụ: giả sử có thể quay lại trạng thái theo các bước thời gian {6, 8, 10, 12, ...}; k sẽ là 2, mặc dù 2 không xuất hiện trong danh sách này.

Nếu k = 1, thì trạng thái được gọi là định kỳ: trở về trạng thái i có thể xảy ra vào thời điểm bất thường. Nói cách khác, trạng thái i là một chu kỳ nếu tồn tại n sao cho tất cả n '≥ n,

Pr(Xn=i|X0=i)>0.

Mặt khác (k> 1), trạng thái được gọi là định kỳ với chu kỳ k. Chuỗi Markov là một chu kỳ nếu mỗi tiểu bang là một chu kỳ.


Giải thích của tôi

Thuật ngữ định kỳ mô tả liệu một cái gì đó (một sự kiện, hoặc ở đây: chuyến thăm của một trạng thái cụ thể) đang xảy ra ở một khoảng thời gian thông thường. Ở đây thời gian được đo bằng số lượng tiểu bang bạn truy cập.

Ví dụ đầu tiên:

nhập mô tả hình ảnh ở đây

Bây giờ hãy tưởng tượng rằng đồng hồ đại diện cho một chuỗi markov và mỗi giờ đánh dấu một trạng thái, vì vậy chúng tôi có 12 trạng thái. Mỗi trạng thái được xác định bằng kim giờ mỗi 12 giờ (trạng thái) với xác suất = 1, vì vậy ước số chung lớn nhất cũng là 12.

Vì vậy, mọi trạng thái (giờ-) là định kỳ với giai đoạn 12.

Ví dụ thứ hai:

Hãy tưởng tượng một biểu đồ mô tả một chuỗi các lần tung đồng xu, bắt đầu từ trạng thái và các trạng thái và đại diện cho kết quả của lần tung đồng xu cuối cùng.h e a d s t a i l sstartheadstails

nhập mô tả hình ảnh ở đây

Xác suất chuyển tiếp là 0,5 cho mỗi cặp trạng thái (i, j), ngoại trừ các -> và -> ở nơi 0.headsstarttailsstart

Bây giờ hãy tưởng tượng bạn đang ở trong nhà nước . Số lượng trạng thái bạn phải truy cập trước khi bạn truy cập lại vào có thể là 1,2,3, v.v. Nó sẽ xảy ra, vì vậy xác suất lớn hơn 0, nhưng không thể dự đoán chính xác khi nào. Vì vậy, ước số chung lớn nhất của tất cả số lượt truy cập có thể xảy ra trước khi bạn truy cập lại vào là 1. Điều này có nghĩa là các là một chu kỳ.headsheadsheadsheads

Điều tương tự áp dụng cho . Vì nó không áp dụng cho , toàn bộ biểu đồ không phải là định kỳ. Nếu chúng ta loại bỏ , nó sẽ được.tailsstartstart


0

Nhiều lần chúng tôi muốn biết liệu có một cơ hội khác không mà chúng tôi sẽ bị mắc kẹt trong một số trạng thái của chuỗi của tôi. Những trạng thái như vậy được gọi là trạng thái 'định kỳ'. Chúng rất dễ định lượng: nếu với bất kỳ , tôi không nhận được , tôi cho rằng trạng thái đó là một chu kỳ ( là xác suất ở lại trạng thái ). Một trạng thái không phải là định kỳ là định kỳ. Nhưng thuật ngữ này hơi đáng tiếc bởi vì theo thời gian, chúng ta thường có nghĩa là một giá trị cố định mà sau đó một hệ thống lặp lại.n>0Piin=0Piii

Trong chuỗi Markov, chúng tôi không có sự xa xỉ "luôn luôn là một giá trị cố định" trong khoảng thời gian. Chúng tôi có thể trở lại trạng thái định kỳ trong bất kỳ số bước. Chúng tôi chạy chuỗi và ghi lại những con số và lấy những con số này. Có lẽ định nghĩa này có một số lợi thế trong việc chứng minh định lý khác; Tôi không có manh mối về nó. Nếu bạn không muốn mô phỏng chuỗi ghi chú xuống số, bạn có thể ghi lại công suất để ma trận chuyển tiếp được nâng lên sao cho và lấy các số đó.n P P n i i = 0>1gcdnPPiin=0gcd


Bạn đang nhầm lẫn định kỳ với khả năng giảm. Nếu chuỗi là không thể giảm, có thể đi từ bất kỳ tiểu bang nào đến bất kỳ tiểu bang khác. Tính định kỳ rất quan trọng trong MCMC bởi vì mặc dù mọi trạng thái có thể đạt được (không thể chia sẻ) hội tụ (như) cho phân phối mục tiêu phụ thuộc vào thuộc tính bổ sung của tính định kỳ. Xem ví dụ "Tỷ lệ phương sai tiệm cận và tốc độ hội tụ của các thuật toán MCMC gần như định kỳ" của Rosenthal (2001).
Anne van Rossum
Khi sử dụng trang web của chúng tôi, bạn xác nhận rằng bạn đã đọc và hiểu Chính sách cookieChính sách bảo mật của chúng tôi.
Licensed under cc by-sa 3.0 with attribution required.