Fundamental Limits and Phase Transitions in Coherent Risk Estimation
Mathematics verified. Core theorems are machine-checked in Lean 4.
Prose and presentation may not have been human-reviewed.
Summary
What are the fundamental limits of estimating coherent risk measures from finite data? We establish four structural results.
Length
4,912 words
Claims
10 theorems
Status
draft
Target
Mathematical Finance