complexity, expectations, control and explanations
June 9, 2026
a class of computational techniques … to represent individual behavior for purposes of studying social phenomena. Models of this type feature a population of objects called agents, which are typically heterogeneous and situated in an economic or social environment. The individual agents are given explicit rules of behavior, which can be quite general — as in ‘seek greater utility’ — or very specific (e.g., ‘lower prices by 5% if inventory exceeds target levels’). The agents interact directly with one another through social, spatial, or physical networks that are either exogenously specified or endogenously generated. Such models may produce conventional agent-level equilibria (e.g., Nash equilibria), or can yield perpetual dynamics at the micro-level as agents constantly adjust their behaviors. Importantly, the aggregate level is not explicitly pre-specified. Rather it emerges from the myriad interactions of the agents. … We see ABM as a complement rather than a substitute for conventional economic modeling. (Axtell and Farmer 2025)
On misnomers:
An abstraction’s value may derive from the closeness with which it approximates reality. … What keeps economists from moving from [neoclassical abstractions] to [increased realism] are a variety of conceptual, mathematical and econometric difficulties that can make richer models intractable. (§1.2 Axtell and Farmer 2025)
in general, the more significant the theory, the more unrealistic the assumptions … A hypothesis is important if it ‘explains’ much by little, that is, if it abstracts the common and crucial elements from the mass of complex and detailed circumstances surrounding the phenomena to be explained and permits valid predictions on the basis of them alone. To be important, therefore, a hypothesis must be descriptively false in its assumptions. (Friedman 1953)
worker belongs to one of two observable groups, \(j \in \left\{ R, B \right\}\).
worker’s unobservable skill is \(q \sim N \left( \mu_j, \sigma^2_j \right)\)
firm does observe a noisy signal, \(\theta = q + \varepsilon, \quad \varepsilon \sim N \left( 0, \sigma^2_{\varepsilon_j} \right)\)
firms pay workers their (conditional) productivity
\[w = E \left\{ q \mid \theta \right\} = \frac{1}{\sigma^2_j + \sigma^2_{\varepsilon_j}} \left[ \sigma^2_j \theta + \sigma^2_{\varepsilon_j} \mu_j \right]\]
takeaways
(our presentation of Phelps (1972), Arrow (1973) drawn from Fang and Moro (2011))
we use World3 to calculate the interactions among all its 225 variables. The computer calculates a new value for each variable every six months in simulated time from the year 1900 to the year 2100. The model thus produces more than 90,000 numbers for every scenario.
Population and material standard of living under Beyond the Limits simulations (Meadows et al. (1992))
[T]he model system, and by implication the “real world” system, has a strong tendency to overshoot and collapse. In fact, in the thousands of model runs we have tried over the years, overshoot and collapse has been by far the most frequent outcome.
[The LTG model is] a system of nonlinear difference equations, most of them being first-order. The system can be written succinctly as \[ Y_t = F \left( Y_{t-1}, Z_t, \beta \right) \] where … \(Y_t\) is the set of endogenous variables, approximately 150 in number …; \(Z_t\) represents the exogenous variables; and \(\beta\) represents the system’s parameters. (Nordhaus 1992)
| \(\theta_1\) | \(\theta_2\) | \(\xi_1\) | \(\xi_2\) | \(L_0\) | \(Y_0\) |
| Case | \(\theta_1\) | \(\theta_2\) | \(\xi_1\) | \(\xi_2\) | \(L_0\) | \(Y_0\) |
|---|---|---|---|---|---|---|
| A | \(1.04\) | \(0.00\) | ||||
| B | \(3.50\) | \(3.50\) | ||||
| C | \(4.00\) | \(4.10\) |
Three equation illustrative model:
\(n\) traders, endowed with \(m\) goods, and money, \(a^i = \left( a^i_1, \ldots, a^i_m, a^i_{m+1} \right)\)
\(m\) trading posts, post \(k\) exchanges good \(k\)
each trader \(i\) submits to post \(k\):
price at post \(k\) emerges from aggregate flows:
\[p_k = \frac{\sum_i b_{ik}}{\sum_i q_{ik}}\]
takeaway: prices are an emergent property of decentralised strategic interaction
Theorem 1 (Shapley and Shubik 1977)
For each trader, \(i = 1, \ldots, n\) let \(u_i\) be continuous, concave, and nondecreasing. For each good, \(j = 1, \ldots, m\), let there be at least two traders with positive initial endowments of good \(m + 1\) whose utility for good \(j\) is strictly increasing. Then a noncooperative equilibrium exists.
Theorem 2 (Shapley and Shubik 1977)
Assume that for infinitely many values of \(k\) the market has a symmetric, interior Nash equilibrium, and let \(\hat{p}^{(k)}\) be the corresponding \(m\)-vector of prices. Let \(\tilde{p}\) be any limit point of the \(\hat{p}^{(k)}\), and define \(\tilde{p}_{m+1} = 1\). Then the \(m + 1\) prices \(\tilde{p}_i, \ldots, \tilde{p}_m, \tilde{p}_{m+1}\) will be competitive for the market (for any value of \(k\)); that is, an allocation \(x\) will exist for which \(\bar{\tilde{x}} = \bar{a}\) and, for each \(s\) and \(t\), \(\tilde{x}^{ts}\) maximizes \(u^t (x^{ts})\) subject to \(x^{ts} >\) 0 and \[ \sum_{j=1}^{m+1} \tilde{p}_j \left( x_j^{ts} - a_j^{ts} \right) = 0. \]
explore = 0actual: \(\left( u, \pi \right) \approx \left( 6.125, 5.279 \right)\)
counterfactual: \(\left( u, \pi \right) \approx \left( 6.134, 5.110 \right)\)
With a relatively small number of parameters one can closely fit thousands of data points, including all coupons issued either by Fannie or Freddie each year since 1986.
Many of society’s most pressing challenges … emerge from the collective behavior of millions of individuals making decisions over time. [LPMs] offer an approach to understand these complex systems by simulating entire populations with realistic behaviors and interactions at unprecedented scale.
Built on MIT’s Large Population Models, and powered by Oak Ridge National Laboratory’s Frontier supercomputer, Iceberg turns trillions of workforce data points into scenario-planning capability.
Each realization of an ABM is a sufficiency theorem (Newell and Simon 1972): IF agents start with certain initial states, \(S\), and engage in specific behaviors, \(B\), THEN after some number of interactions, \(N\), they will have definite new states, \(S' = B(S, N)\); \((S, B, N)\) are sufficient to produce \(S'\). … Theorems of this type have limited generality, but by making many runs of a specific model and allowing random seeds or other stochastic elements to vary … the generality of the model results can be assessed and distribtional properties of agent states characterized. (Axtell and Farmer 2025)
| AEI usage | ||||
|---|---|---|---|---|
| leading | emerging | aspiring | ||
| II exposure | leading | \(8\) | \(9\) | |
| emerging | \(18\) | |||
| aspiring | \(6\) | \(9\) | ||
| state | AEI usage | |
|---|---|---|
| leading (AEI: leading) | Washington, DC | \(4.30\) |
| Massachusetts | \(1.60\) | |
| Washington | \(1.58\) | |
| New York | \(1.57\) | |
| California | \(1.55\) | |
| Colorado | \(1.49\) | |
| Virginia | \(1.29\) | |
| Utah | \(1.26\) | |
| Wyoming | \(1.16\) | |
| Maryland | \(1.06\) | |
| Hawaii | \(1.05\) | |
| Oregon | \(1.05\) | |
| Connecticut | \(1.03\) | |
| - | —————- | ——– |
| emerging (AEI: upper/lower middle) | Vermont | \(1.02\) |
| New Hampshire | \(1.00\) | |
| Rhode Island | \(1.00\) | |
| Illinois | \(0.97\) | |
| Georgia | \(0.96\) | |
| New Jersey | \(0.96\) | |
| North Carolina | \(0.94\) | |
| Florida | \(0.91\) | |
| Pennsylvania | \(0.91\) | |
| Texas | \(0.87\) | |
| Arizona | \(0.86\) | |
| Delaware | \(0.81\) | |
| Nevada | \(0.83\) | |
| Minnesota | \(0.81\) | |
| Idaho | \(0.68\) | |
| Michigan | \(0.68\) | |
| Tennessee | \(0.68\) | |
| Indiana | \(0.66\) | |
| Ohio | \(0.66\) | |
| Nebraska | \(0.66\) | |
| Maine | \(0.65\) | |
| Kansas | \(0.64\) | |
| Missouri | \(0.64\) | |
| Wisconsin | \(0.64\) | |
| Montana | \(0.52\) | |
| Iowa | \(0.47\) | |
| - | —————- | ——– |
| aspiring (AEI: emerging) | Alaska | \(0.51\) |
| Oklahoma | \(0.50\) | |
| Alabama | \(0.49\) | |
| South Carolina | \(0.48\) | |
| Louisiana | \(0.47\) | |
| New Mexico | \(0.46\) | |
| Kentucky | \(0.42\) | |
| Arkansas | \(0.41\) | |
| South Dakota | \(0.39\) | |
| North Dakota | \(0.37\) | |
| Mississippi | \(0.28\) | |
| West Virginia | \(0.28\) |
explore = 0 slide right?Anecdotes do not constitute social science. (Samuelson 1967)
It is always easy and usually sterile to introduce a new variable into a system, which then becomes more general. (Stigler 1950)
the need for theory is in some ways magnified by having large amounts of data. When you have a small amount of data, you can just look at the data and build your intuition from it. When you have very large amounts of data, just taking an average can cost thousands of dollars of computer time. So you’d better have an idea of what you’re doing and why before you go out to take those averages. (Athey 2013)
In the fall of 1970, I wrote a four-page note on testing the accelerationist hypothesis about the Phillips curve. I gave a copy to Ed Prescott who had an office two doors down the hall. Ed returned to my office the next day, set the paper on my desk, and said “there are two definitions of rational expectations, yours and Lucas’s”. Then he walked back to his office. That was a long conversation for Ed. I had no idea about what Ed meant, and having little confidence in myself technically, I took it to mean that Ed thought that what I had written was mistaken and that I should learn more before trying to write something. Fair enough. Years later, while jogging, I suddenly understood what Ed had told me: Lucas had defined a rational expectations equilibrium as a fixed point in a space of functions of Markov state vectors, while I had defined it as a fixed point in a space of stochastic processes (i.e. random sequences indexed by time). Both perspectives are useful. Ed saw that immediately and had not meant to insult me, or at least that is what I now think. (Sargent 2022)
- THE CRITERION OF GENERALITY: The successful theory was always more general than the theory it supplanted.
- THE CRITERION OF MANAGEABILITY: ... Economists long delayed in accepting the generalized utility function because of the complications in its mathematical analysis, although no one ... questioned its realism. ... economists tacitly agreed that it is better to have a poor, useful theory than a rich, useless one. ... Manageability should mean the ability to bring the theory to bear on specific economic problems, not ease of manipulation.
- THE CRITERION OF CONGRUENCE WITH REALITY: ... It was required of a new theory that it systematize and 'explain' a portion of the empirical knowledge of the times. ... Not only were such specific implications not sought and tested, but there was a tendency, when there appeared to be the threat of an empirical test, to reformulate the theory to make the test ineffective.
economics, at least as practiced by mainstream economists, is a field that values tradition. If phenomenon \(X\) can be explained within the standard canon, such an explanation is usually preferred to another explanation that ventures outside the canon because, given our relative paucity of data, adherence to canonical assumptions provides us with a measure of discipline. (Kreps 1997)
A well-designed model is, after all, a judiciously chosen set of lies, or perhaps more accurately put, partial truths about reality, which have been chosen so as to permit us to reason more effectively about some issue than we otherwise could. The model must be an oversimplification if it is to be tractable analytically. Optimality in model construction must be based on the trade-off between these two desiderata – accuracy of representation of reality and usability in analysis. Two conclusions follow from these observations. First, increased realism is not necessarily a virtue. Indeed, if it complicates the model to a degree that effectively precludes its use in analysis, it deserves to be treated as a mortal sin. The second conclusion that follows is that a particular model can neither be judged good nor bad in the abstract. Only when related to the issue for whose analysis it is meant to be used can one judge its quality. A model which is admirably suited for the analysis of one such issue may be ill-adapted to another. (Baumol 1984)
People often wonder why economists analyse models whose assumptions are known to be false, while economists feel that they learn a lot from such exercises. We suggest that part of the knowledge generated by academic economists is case-based rather than rule-based. That is, instead of offering general rules or theories that should be contrasted with data, economists often analyse models that are ‘theoretical cases’, which help understand economic problems by drawing analogies between the model and the problem. Thus, economic models, empirical data, experimental results and other sources of knowledge are all on equal footing, that is, they all provide cases to which a given problem can be compared. We offer complexity arguments that explain why case-based reasoning may sometimes be the method of choice and why economists prefer simple cases. (Gilboa et al. 2014)
Rule-based reasoning has several advantages over case-based reasoning. First, a rule is a concise description of a regularity, compared with a large and ever-growing database of cases that conform to this regularity. Second, formulating a small set of general rules gives people a feeling of understanding and explaining a phenomenon in a way that a database of cases does not. Thus, even if the two methods perform equally well in terms of prediction, there is a preference for rule-based approaches, and one is often willing to sacrifice some accuracy of prediction in return for the compactness of rules. (Gilboa et al. 2014)