← All Papers · macroeconomics / heterogeneous agent models

When Does Heterogeneity Matter? A Spectral Theory of Wealth Distribution and General Equilibrium

Dr. Tamás Nagy Updated 2026-04-10 Short Draft macroeconomics / heterogeneous agent models Lean-Verified
Mathematics verified. Core theorems are machine-checked in Lean 4. Prose and presentation may not have been human-reviewed.
Download PDF View in Graph BibTeX

Abstract

Heterogeneous agent models (Aiyagari, 1994; Bewley, 1986) have become the workhorse of quantitative macroeconomics, but their computational demands are severe: the state variable is the entire wealth distribution — an infinite-dimensional object. Krusell and Smith (1998) discovered that a few moments suffice empirically, but lacked a theoretical explanation. We provide one through the Latent Number \(\rho\) of the wealth distribution. When \(\rho\) is high, the distribution is spectrally concentrated: one or two moments capture most information, and the representative agent model is nearly exact. When \(\rho\) is low, the full distribution matters, and heterogeneity fundamentally changes equilibrium outcomes. Specifically: the Krusell-Smith \(N\)-moment approximation error decays as \(\rho^{-N}\), the Gini coefficient satisfies \(G \propto 1/\rho\), the fraction of borrowing-constrained agents scales as \(1/\rho\), and the representative agent model is the exact \(\rho \to \infty\) limit. We establish a bridge to asset pricing: heterogeneity amplifies SDF variance by a factor \((1 + \kappa)\) where \(\kappa \propto 1/\rho\), providing a distributional channel for the equity premium. 18 theorems, machine-verified, 0 axioms.

Length
2,342 words
Claims
13 theorems
Status
Draft

Novelty

Introduces a single spectral index (the Latent Number ρ) that unifies the Krusell-Smith moment sufficiency puzzle, Gini scaling, constrained-agent fractions, and the rep-agent limit into one parameter, but the 18 'verified' theorems formalize algebraic tautologies from assumed proportionalities rather than deriving them from micro-foundations.

Connects To

Heterogeneous Agent General Equilibrium: A Latent Framework ...

Browse all macroeconomics / heterogeneous agent models papers →