Giả sử là ma trận của tốc độ chuyển đổi Poisson, trong đó cho biểu thị tốc độ mà trạng thái chuyển sang trạng thái và đưa ra tỷ lệ tại trạng thái chuyển sang tất cả các trạng thái khác. Mỗi hàng tổng bằng 0.Bn×nBij≥0i≠jijBii≤0iB
Sau đó, nếu biểu thị phân phối xác suất tại thời điểm , theo định nghĩa của chúng ta có ODE
Chúng ta biết giải pháp cho loại ODE này trông như thế nào: , trong đó là số mũ của ma trận . Vì vậy, nếu chúng ta muốn để tạo ra Markov chuyển ma trận sau khi , chúng ta cần phải có .p(t)tB
p˙(t)=Bp(t)
p(t)=eBtp(0)eBtBtBAt=1eB=A
Về nguyên tắc, để có được , chúng ta cần phải đảo ngược mũ ma trận, lấy logarit ma trận của . Vấn đề là mỗi ma trận có nhiều logarit ma trận - logarit trong không gian phức tạp một chiều có vô cùng nhiều chi nhánh, và điều này trở nên phức tạp khi chúng ta đang nói về ma trận trong không gian ba chiều. Hầu hết các logarit này sẽ không thỏa mãn các ma trận chuyển tiếp Poisson: có thể chúng sẽ không có thật hoặc các mục nhập sẽ không có dấu hiệu đúng. Tuy nhiên, có thể có nhiều hơn một trong số chúng là: trong một số trường hợp có nhiều hơn một Poisson tương ứng với Markov , giống như trong một số trường hợp không có PoissonBAnBABtương ứng với . Nó lộn xộn.A
May mắn thay, có một tình huống mà cuộc sống tương đối đơn giản, và nó gần như chắc chắn bao gồm cả trường hợp của bạn: khi tất cả các giá trị bản địa của là thực tế, khác biệtA . Trong trường hợp này, chỉ có một logarit của sẽ là số thực và rất dễ tính toán: bạn chỉ cần chéo hóa ma trận là và lấy logarit thực của các giá trị riêng, lấy , trong đó . Thật vậy, bạn không cần phải tự làm điều này: nếu bạn sử dụng lệnh trong Matlab (có lẽ là Python cũng vậy), nó sẽ cung cấp cho bạn chính xác này .AA=VΣV−1B=VΩV−1ωii=log(σii)logm(A)B
Với này , tất cả những gì bạn phải làm là xác minh rằng đó thực sự là ma trận Poisson. Yêu cầu đầu tiên, tất cả các hàng đều bằng 0, được thỏa mãn tự động do việc xây dựng ** Yêu cầu thứ hai, các phần tử đường chéo là âm và các phần tử ngoài đường chéo là dương, không phải lúc nào cũng giữ (tôi nghĩ ), nhưng thật dễ dàng để bạn kiểm tra.BB
Để thấy điều này trong thực tế, tôi sẽ xem xét điểm cho quy trình Markov 3 trạng thái giống với AR rời rạc (1).
Bây giờ, nếu tôi nhập vào Matlab, tôi get
Đây thực sự là một ma trận chuyển tiếp Poisson hợp lệ, vì chúng ta có thể dễ dàng kiểm tra xem các hàng tổng bằng không và có các dấu hiệu đúng - vì vậy đây là câu trả lời của chúng tôi.A
A=⎛⎝⎜0.50.20.10.40.60.40.10.20.5⎞⎠⎟
B=logm(A)B=⎛⎝⎜−0.860.400.060.80−0.800.800.060.40−0.86⎞⎠⎟
Trường hợp có giá trị riêng dương là khá quan trọng, vì nó kéo dài tất cả các trường hợp không có một loại hành vi dao động nào trong chuỗi Markov (sẽ yêu cầu giá trị riêng âm hoặc phức tạp), có lẽ bao gồm cả AR (1) rời rạc của bạn.
Tổng quát hơn, lệnh trên Matlab sẽ cung cấp cho chúng ta logarit ma trận chính , một dạng tương tự của logarit vô hướng chính lấy tất cả các giá trị riêng để có phần ảo giữa và . Vấn đề là điều này không nhất thiết phải là logarit chúng tôi muốn, và bằng cách nhìn vào nó, chúng ta có thể bỏ lỡ một Poisson mà không tạo ra . (Đó là lý do tại sao trường hợp eigenvalue tích cực, nơi chúng tôi không phải lo lắng về điều này, rất hay.) Tuy nhiên, ngay cả trong những trường hợp khác, việc thử xem nó có hoạt động hay không.logm−ππBA
Nhân tiện, vấn đề này xem liệu có tạo ra một số ma trận Markov đã được nghiên cứu rộng rãi hay không. Nó được gọi là vấn đề nhúng : xem một số tổng quan và tài liệu tham khảo trong bài viết khảo sát tuyệt vời này của Davies . Tôi không phải là một chuyên gia về các khía cạnh kỹ thuật của vấn đề, mặc dù; câu trả lời này dựa nhiều hơn vào kinh nghiệm và trực giác hackish của riêng tôi.BA
Tôi cảm thấy bắt buộc phải đóng cửa bằng cách tán thành nhận xét của ecksc và nói rằng có thể có những cách tốt hơn, trực tiếp hơn để chuyển đổi AR (1) được trang bị một cách riêng biệt thành một quy trình thời gian liên tục ở trạng thái hữu hạn - thay vì chỉ sử dụng ma trận thu được bằng phương pháp Tauchen và làm cho nó liên tục Nhưng cá nhân tôi không biết cách tốt hơn đó là gì!
** Giải thích (mặc dù tôi rất gỉ): có giá trị riêng của Perron-Frobenius là 1, và vì là ngẫu nhiên, hàm riêng của eigenvalue này là vectơ đơn vị . Đây vẫn là eigenvector đúng, bây giờ với giá trị riêng là 0, khi chúng ta lấy logarit ma trận.AAe