Thời điểm dừng và Dừng tùy chọn

Thời điểm dừng là một thời điểm ngẫu nhiên mà sự xuất hiện của nó có thể nhận biết được từ thông tin hiện có, và định lý dừng tùy chọn cho rằng một trò chơi công bằng được dừng tại thời điểm như vậy vẫn duy trì tính công bằng, một nguyên lý có phạm vi ứng dụng đáng ngạc nhiên.

Definition

Thời điểm dừng là một thời điểm ngẫu nhiên mà tại đó quyết định dừng chỉ phụ thuộc vào thông tin có sẵn cho đến thời điểm đó, và định lý dừng tùy chọn phát biểu rằng, trong những điều kiện thích hợp, giá trị kỳ vọng của một martingale được đánh giá tại một thời điểm dừng bằng giá trị kỳ vọng ban đầu của nó.

Scope

Chủ đề này bao gồm định nghĩa về thời điểm dừng liên quan đến một lọc và đại số sigma của các sự kiện được biết bởi một thời điểm dừng, quá trình dừng, các định lý dừng tùy chọn và lấy mẫu tùy chọn với các điều kiện khả tích và bị chặn mà chúng yêu cầu, các đồng nhất thức của Wald cho các tổng dừng tại một thời điểm ngẫu nhiên, và các ứng dụng cho sự phá sản của người chơi cờ bạc, xác suất chạm và thời gian chạm kỳ vọng.

Core questions

• Điều gì làm cho một thời điểm ngẫu nhiên trở thành thời điểm dừng, và tại sao sự phân biệt đó lại quan trọng?
• Trong những điều kiện nào thì việc dừng một martingale vẫn giữ nguyên giá trị kỳ vọng của nó?
• Tại sao định lý dừng tùy chọn có thể thất bại nếu không có các giả định về khả tích hoặc bị chặn?
• Các thời điểm dừng mang lại xác suất chạm và thời gian kỳ vọng như thế nào?

Key concepts

• thời điểm dừng
• quá trình dừng
• lấy mẫu tùy chọn
• các đồng nhất thức của Wald
• sự phá sản của người chơi cờ bạc

Key theories

Định lý dừng tùy chọn

Nếu một thời điểm dừng bị chặn, hoặc martingale dừng khả tích đều, hoặc thời gian có giá trị trung bình hữu hạn với các gia số bị chặn, thì giá trị kỳ vọng của martingale tại thời điểm dừng bằng giá trị ban đầu của nó, đây là ý nghĩa chính xác mà một trò chơi công bằng không thể bị khai thác bởi các quy tắc dừng khéo léo.

Các đồng nhất thức của Wald

Đối với tổng của các biến độc lập phân phối giống hệt nhau được dừng tại một thời điểm dừng có giá trị trung bình hữu hạn, tổng kỳ vọng bằng giá trị trung bình nhân với thời điểm dừng kỳ vọng, và một đồng nhất thức tương ứng đúng cho phương sai, các kết quả này thu được bằng cách áp dụng dừng tùy chọn martingale.

Clinical relevance

Dừng tùy chọn là công cụ phân tích để tính toán xác suất phá sản và thời gian chơi kỳ vọng trong cờ bạc và bảo hiểm, cho các xác suất lỗi và kích thước mẫu kỳ vọng của kiểm định tỷ số xác suất tuần tự của Wald, và cho các tính toán lần vượt qua đầu tiên trong hàng đợi, độ tin cậy và định giá các quyền chọn tài chính kiểu Mỹ.

History

Doob đã xây dựng các định lý lấy mẫu tùy chọn cho các martingale, và Wald, khi nghiên cứu phân tích tuần tự trong những năm 1940, đã đưa ra các đồng nhất thức cho các tổng dừng ngẫu nhiên mà sau này khuôn khổ martingale đã thống nhất và giải thích.

Key figures

• Joseph L. Doob
• Abraham Wald
• David Williams

Seminal works

• williams1991

Frequently asked questions

Tại sao thời điểm dừng phải có thể nhận biết được từ thông tin trong quá khứ?

Nếu một người có thể dừng dựa trên tương lai, người đó có thể rời một trò chơi công bằng chính xác vào những thời điểm thuận lợi và thắng một cách có hệ thống; yêu cầu rằng quyết định dừng chỉ sử dụng thông tin cho đến hiện tại chính là điều giữ cho việc dừng tùy chọn được trung thực.

Khi nào thì định lý dừng tùy chọn thất bại?

Nó có thể thất bại khi thời điểm dừng không bị chặn và martingale không khả tích đều, như trong một bước đi ngẫu nhiên đơn giản không giới hạn, nơi việc dừng tại lần ghé thăm đầu tiên đến một mức dương cho một giá trị kỳ vọng khác với lúc bắt đầu.