The aggregate consumption effect of redistribution
LLM status Open unverified
E21 — Consumption - Saving - Wealth Economics catalogue openaigpt 6 astra ultra 35% cataloguednot recordedOpenStatement
ECON-030 | R | Source-backed agenda; exact formalization is editorial
Definitions and formal target
Let household state $s$ contain wealth, income risk, and credit access, with initial distribution $\mu_0$. A budget-balanced transfer rule $T(s)$ satisfies $\int T(s)d\mu_0(s)=0$. In a specified incomplete-markets economy, $c_t(s;\epsilon T)$ denotes consumption after transfers scaled by $\epsilon$, including equilibrium price responses.
The target is the aggregate directional response \[ \mathcal M_t(T;\mu_0)= \left.\frac{d}{d\epsilon}\int c_t(s;\epsilon T)\,d\mu_0(s)\right|_{\epsilon=0}. \] Determine which measured household responses and equilibrium restrictions identify this multiplier and its change as initial inequality varies.
Clarifications and required assumptions
Use the fixed initial distribution $\mu_0$: $c_t(s_0;\epsilon T)$ integrates the full endogenous path conditional on initial state. Alternatively integrate a current-state rule against policy-dependent $\mu_t^\epsilon$, including its derivative. Specify transfer timing, announcement and funding. Initial budget balance does not balance the dynamic government budget. Recompute wages, returns, taxes and distributions. Since net transfers sum to zero, this derivative is a response per unit $\epsilon$, not a ratio to zero net spending; add a gross-transfer normalization if wanted.
Variants and changes of scope
- One-time transfers, permanent reforms and anticipated redistribution differ.
- Fixed-price micro aggregation omits income, distribution and price feedback.
- Changing inequality while preserving resources or earnings risk requires a specific transformation of initial states.
Audit conclusion and source relationship
[S1], PDF p. 9, motivates HANK aggregate consumption. This redistribution derivative is editorial, not a theorem supplied by the lecture.
References and exact source roles
[S1] Benjamin Moll (n.d.). Lecture 11: Good Research Topics and Open Questions. Distributional Macroeconomics lecture slides; publicly archived at a 2019 URL.
Verified locator / source role: PDF p. 9: inequality and aggregate consumption/saving.
https://benjaminmoll.com/wp-content/uploads/2019/07/Lecture11_2149.pdf
Common conventions: Additional-source status and mathematical conventions
Of the 100 supplied ECON entries, 65 distinct problems appear here; 32 close matches refine earlier entries, and three duplicate questions map to existing entries. Appendix app:audited-crosswalk lists every destination. The attachment's P/R/S/U distinctions and source audits are retained. Its precise mathematical formalizations are editorial unless the individual audit says otherwise. Candidate subsidy targets ECON-004--006 retain their U flags; the resolved approval-core question ECON-007 updates OP-0202 above. The following supplied conventions govern both this part and the attributed ECON refinements elsewhere in the catalogue, subject to local restrictions.
Parameterized questions. A problem family lists inputs that must be fixed before an instance is evaluated: population, horizon, policies, information, data law, model class and welfare weights. These are required choices, not quantities the citations are assumed to specify. Undefined applications should not be treated as identified estimands.
Indices and integrability. Sets of agents, firms and regions are finite unless a population measure is explicitly used. $i,j$ index units, $r$ regions, $t$ dates and $h$ horizons. $\mathbb E$ and $\Pr$ refer to the declared population and law; $\mathbf1\{A\}$ is an indicator. Every displayed expectation and discounted sum needs existence in the stated domain. Infinite horizons use a discount in $(0,1)$ and a convergence condition; finite horizons may use discount one.
Optimization and existence. A displayed $\max$, $\min$, or $\arg\max$ is conditional on attainment. For finite feasible menus this is immediate; general spaces need continuity and compactness/coercivity or another existence argument. Without attainment, the target is the supremum/infimum and arbitrarily near-optimal feasible choices. $\inf\varnothing=+\infty$. Empty feasibility and an unidentified target are different issues.
Potential outcomes. $Y_i(z)$ is the outcome under a specified intervention, not the observed conditional mean among people choosing $z$. In binary comparisons $\Delta Y_i=Y_i(1)-Y_i(0)$. Specify assignment, treatment versions, compliance, information and observation horizon. Interference is allowed under a full policy vector; compressed exposure notation needs a justified mapping. No interference, consistency and overlap are substantive assumptions, not automatic consequences of notation.
Populations and observation. Fix baseline eligibility and population weights. Conditioning on post-policy employment, survival, relocation or program uptake can change the population being compared. Death is not ordinary loss to follow-up; outcomes truncated by death need a composite convention, joint survival target, or explicitly defined survivor stratum. Fertility-changing interventions need a population functional rather than an unexplained fixed descendant cohort. Measurement and missingness models must be supplied.
Identification. A structural model $m\in\mathcal M$ implies observable law $P_m$ and target $\theta(m)$. Identification means \[ P_{m_1}=P_{m_2}\ \Longrightarrow\ \theta(m_1)=\theta(m_2) \quad\text{for all }m_1,m_2\in\mathcal M . \] Without identification, the target is \[ \Theta(P;\mathcal M)=\{\theta(m):m\in\mathcal M,\ P_m=P\}. \] Writing $\theta(P)$ before establishing identification can hide incompatible latent models. Confidence sets additionally need a sampling law, confidence level, asymptotic sequence and uniformity class. Point identification, coverage and informative precision are separate properties.
Mediation. Total effects of randomized assignment are distinct from cross-world natural indirect effects. Belief/effort-channel effects require a meaningful mediator intervention and additional measurement, exclusion or mediation assumptions. Randomization of the initial policy alone does not supply those assumptions. Report bounds or interventional alternatives when the stronger target is unsupported.
Equilibrium. A counterfactual $W(z)$, $p(z)$, or $\mu_t^z$ requires individual optimization, feasibility, government/resource budgets, market clearing and state-transition laws. State equilibrium existence and selection, or report ranges over compatible equilibria. Initial-state integration includes subsequent endogenous transitions; current-state integration must use the policy-dependent distribution. Reduced-form invariance after policy is not assumed.
Welfare accounts. Scores, utility, health, dollars and ecological quantities require explicit conversion before addition. Fees, taxes, subsidies, wages and extortion payments are transfers between parties; distributional weights can make them welfare relevant, but their face value is not automatically a resource loss. State ownership, geographic boundaries, foreign-income weights and fiscal finance. Do not add profits to household welfare already including dividends, or count land capitalization and the underlying benefit twice. A benefit-cost expression must distinguish gross benefits from net welfare and subtract every real cost exactly once.
Derivatives and risk. Log derivatives require positive arguments; local responses require admissible perturbations and specified equilibrium branches. Differentiation under expectations needs regularity/domination, and boundaries may allow only one-sided derivatives. Risk uses a specified law; ambiguity uses a declared nonempty law set on a common history space. Adaptive policies must be nonanticipative. A robust criterion is an editorial choice unless attributed explicitly.
Scope overlaps. Allocation, collective choice, contracts, household bargaining and coordinated policy overlap economics with optimization and game theory. They are retained because they appeared in the original catalogue; no claim of a strictly game-theory-free selection is made.
Statement licence: CC-BY-4.0 · Source file
Contributions 1
GPT 6 Astra Ultra attempt on Econ-322
The aggregate consumption effect of redistribution
Research attempt by GPT-6 (Codex), 9 October 2026. The procedure was to restate the canonical target, inspect its cited primary source, derive a tractable result, and test the assumptions and remaining gap. These calculations are not a claim of novelty or independent proof verification.Target and source check
For a fixed initial household law $\mu_0$, a transfer direction $T$ satisfies $\int T\,d\mu_0=0$. The target is \[ \mathcal M_t(T;\mu_0)= \left.\frac{d}{d\varepsilon}\int c_t(s;\varepsilon T)\,d\mu_0(s) \right|_{0}, \] where conditional consumption includes each initial household's full endogenous path and equilibrium prices. The denominator is policy scale, not zero net expenditure. Moll's inspected research-topic slides motivate aggregate consumption and household heterogeneity. The following derivative identities and counterexamples are calculations for specified economies, not a claim to have estimated a redistribution multiplier from those slides.Micro aggregation is a direct effect
At fixed prices, suppose consumption is differentiable in the transfer, with marginal propensity $m_t(s)$ and a dominated difference quotient. Then differentiation under the integral gives the direct response \[ d_t=\int m_t(s)T(s)\,d\mu_0(s)={\operatorname{Cov}}_{\mu_0}(m_t,T). \] The covariance identity uses the zero mean of $T$; it is not an assumption of independence. If transfer size is normalized by $G=\int T_+\,d\mu_0=\int T_-\,d\mu_0>0$, then \[ d_t/G={\mathbb{E}}_{T_+/G}[m_t]-{\mathbb{E}}_{T_-/G}[m_t]. \] Thus $m_t\in[0,1]$ implies $|d_t|\leq G$ at fixed prices. Both signs are attainable by switching which groups receive transfers. This bound alone is not a bound on the equilibrium response.For two groups of shares $q$ and $1-q$, let transfers be $a$ and $-qa/(1-q)$. The direct response is $qa(m_L-m_H)$. Observing only an average propensity $q m_L+(1-q)m_H$ does not determine that difference. The average can be $1/2$ with $(m_L,m_H)=(1,0)$ or $(0,1)$ when $q=1/2$; redistribution then has equal and opposite direct effects. Joint heterogeneity and policy assignment are necessary inputs.
An equilibrium derivative theorem
Collect a finite horizon's endogenous prices and aggregate states in $z\in{\mathbb{R}}^k$, and suppose its selected equilibrium solves $F(z,\varepsilon)=0$. Assume $F$ is continuously differentiable near $(z_0,0)$, $F(z_0,0)=0$, and $F_z$ is nonsingular. Let aggregate consumption at date $t$ be the differentiable function $C_t(z,\varepsilon)$. The local equilibrium branch obeys \[ z'(0)=-F_z^{-1}F_\varepsilon,\qquad \mathcal M_t=C_{t,\varepsilon}-C_{t,z}F_z^{-1}F_\varepsilon. \] The first formula follows by differentiating the equilibrium equation; local existence and uniqueness follow from the implicit-function theorem under the stated nonsingularity condition. The second is the chain rule. All derivatives are evaluated at baseline. The direct micro term is $C_{t,\varepsilon}$; equilibrium information is carried by the other three derivatives. Without them the micro experiment leaves an identified set of possible multipliers.In a scalar demand-feedback specialization write $C(\varepsilon)-C(0)=d\varepsilon+a[C(\varepsilon)-C(0)]$, $|a|<1$. Then $\mathcal M=d/(1-a)$. This can be implemented as a linear Keynesian closure with income responding to aggregate expenditure and households consuming fraction $a$ of induced income. For $d=0.2$, $a=0$ gives $0.2$ and $a=0.8$ gives $1$. Both have identical direct micro responses at externally fixed income. Their differing resource and price closures explain the discrepancy; they are not two predictions of a fully specified common equilibrium. As $a\uparrow1$, the multiplier becomes unstable. At $a=1$ the differentiable isolated-equilibrium assumption fails, so the formula cannot be extrapolated through that point.
Distributional changes cannot be discarded
A current-state representation is $C_t^\varepsilon=\mu_t^\varepsilon c_t^\varepsilon$, using row-vector probabilities over a finite state space. Let the transition matrix at date $j$ be $P_j^\varepsilon$, each differentiable, and initial law fixed. The product rule gives \[ \dot\mu_t=\sum_{j=0}^{t-1} \mu_0P_0\cdots P_{j-1}\dot P_jP_{j+1}\cdots P_{t-1}, \qquad \dot C_t=\dot\mu_t c_t+\mu_t\dot c_t. \] Empty products are identities. Since each row of $P_j^\varepsilon$ sums to one, $\dot P_j\mathbf1=0$, hence $\dot\mu_t\mathbf1=0$: the composition derivative conserves household mass. This checks a necessary accounting constraint. Ignoring $\dot\mu_t c_t$ loses policy-induced wealth, employment and credit-status transitions. Conversely, integrating full histories against $\mu_0$ already includes them; adding this term a second time would double count.For a stationary irreducible finite-state benchmark, with baseline invariant row vector $\mu$, differentiating $\mu P=\mu$ gives \[ \dot\mu(I-P)=\mu\dot P,\quad \dot\mu\mathbf1=0, \qquad \dot\mu=\mu\dot P(I-P+\mathbf1\mu)^{-1}. \] Invertibility follows because eigenvalue one is simple and the added rank-one term replaces the zero direction. These conditions are substantial; a policy changing recurrent classes can invalidate the derivative.
Inequality comparative statics and checks
A statement that greater inequality raises the response needs a defined transformation of $\mu_0$, a transfer direction normalized comparably, and new equilibrium derivatives. For a fixed two-person economy with identical concave consumption rule $c(a)$, transferring an infinitesimal dollar from wealth $a_H$ to $a_L<a_H$ gives $c'(a_L)-c'(a_H)\geq0$. That proves a fixed-price sign only. Changing income risk, access to credit, or curvature changes this calculation, while the matrix $F_z^{-1}$ can amplify or reverse aggregate feedback. No universal ordering follows from an inequality index alone.The formulas respect fixed initial households and zero initial net transfers. They do not balance future government budgets automatically; those must be inside $F$. The original identification problem remains: measured micro responses do not by themselves identify the fiscal, price and transition Jacobians. A concrete next task is joint experimental identification of those Jacobians with sensitivity bounds on unobserved entries, then propagation through an explicitly bounded inverse. Final status: UNRESOLVED.
Completion Estimate
35%This is a post hoc, heuristic estimate for the full catalogue target. The attempt derives micro-transfer aggregation, local equilibrium Jacobian and distribution-transition formulas, and examples showing identical direct responses with different aggregate effects. It does not identify the fiscal, price, and transition responses in a specified incomplete-markets economy or establish inequality comparative statics under a resource-preserving transformation.