Nash Equilibrium via Latent Perturbation Theory: Existence, Uniqueness, and Mean-Field Convergence

Dr. Tamás Nagy Short Draft game_theory Lean-Verified

Mathematics verified. Core theorems are machine-checked in Lean 4. Prose and presentation may not have been human-reviewed.

Length

1,970 words

Claims

5 theorems

Status

draft

Target

Games and Economic Behavior