Mixed Integer Programming Revealed Preference Tests of Utility Maximization and Weak Separability of Consumption, Leisure, and Money
用混合整数规划检验宏观经济学中代表性代理人模型的两个关键假设：效用最大化和弱可分性。发现M1货币与广义总量弱可分，消费与休闲、非耐用品与服务弱可分，而M2、M3和MZM不可分，三类消费不构成总量。
Swofford and Whitney (1987, 1988, 1994) investigated the validity of two key assumptions underlying representative agent models of macroeconomics. These assumptions are utility maximization and weak separability. Using mixed integer programming, we check revealed preference conditions for these assumptions. We find that M1, money defined by Friedman and Schwartz (1963), and a broad aggregate are weakly separable. We find that consumption goods and leisure and nondurables and services are weakly separable. We find that M2, M3, and MZM are not weakly separable. Finally, we find three categories of consumption, durables, nondurables and services, do not form an aggregate.