Proposition IA.1, p. IA2 — mean-optimal intensity tends to one
ProvedRiskEU.RobustShrink.proposition_IA_1_limitasymptoticsp2o-batch-pfp2ap2o-gran-per-chapterp2o-plan-paperp2o-v1portfolio-choice
Fix the number of stocks , risk aversion , population variances and , GMV mean , and robustness weight . If , , , and , then the mean-maximizing intensity in (IA3) obeys
This gives the asymptotic mean benchmark for the robust shrinkage intensity.
Formalization Note The paper omits the necessary condition : at , formula (IA3) gives . The estimator-consistency sentence requires a sample-portfolio model and is outside this closed-form result. The OOSU moments are the closed forms from Proposition IA.1 and Proposition 1; their probabilistic identification is outside this mission.
Preamble
import Mathlib import Definitions.Def_RiskEU_RobustShrink_Setting
Formal statement
namespace RiskEU.RobustShrink
/-- Proposition IA.1, final sentence, p. IA2: the mean-optimal intensity tends to one. -/
theorem proposition_IA_1_limit (p : Params) (hp : p.Standing)
(hpsi : 0 < p.psi2) :
Filter.Tendsto (fun T : ℕ => p.kappaE T) Filter.atTop (nhds 1) := by sorry
end RiskEU.RobustShrink
Source
Lassance, Martín-Utrera, Simaan, The Risk of Expected Utility under Parameter Uncertainty, SSRN 3855546 (version dated August 18, 2023), Proposition IA.1, final sentence, p. IA2
Human review
Confirmed by the mission captain (proposal self-audit).
Confirmed by the moderator at approval.