Notes on:

Optimal taxation, marriage, home production, and family labor supply

George-Levi Gayle & Andrew Shephard
Econometrica
1 January 2019
optimal taxation · joint taxation · marriage market · home production · family labor supply · collective model
Paper · doi · PDF · Appendix
Made with AI: Opus 5.5 (reading, diagram and writing), GPT 6-Sol (reading), Fable 5.1 (adjudication), GPT 6-Astra (verification)

George-Levi Gayle and Andrew Shephard; published in Econometrica, January 2019, vol. 87 no. 1, pp. 291–326. PDF-only digest: no talk or discussant was found. Version used: the published version plus the online supplement.

Gayle and Shephard’s paper on taxing couples is, underneath, a paper about a price. The price is the wife’s Pareto weight, the λ\lambda in every collective household model, which the literature has usually treated as a black box: a number that summarises “bargaining power” and that you estimate, condition on, and try not to think about too hard. Here it is not a black box. It is the price that clears the marriage market. If too many high-school men want to marry college women, the college women’s weight in those marriages rises until the queue clears, the same way a wage would. And once you have written down that the within-household split is a market-clearing price, a slightly alarming policy lever falls out: the tax you levy on single men changes how resources are divided inside marriages, because it changes what the men who marry are giving up.

The headline most readers will take away is a different one, about jointness. The optimal couples’ schedule in this model has negative jointness: the more your spouse earns, the lower your own marginal rate. That is the opposite of what the us does. It is also, by the paper’s own measure, not worth very much. Both points are worth walking through, but the price is the engine.

The model

Gayle–Shephard (2019): planner, marriage market, householdsPlannerchoosesIncome tax scheduleT;clearsthemarketattheoptimumonlymaxIncome tax scheduleTSocial welfareW=Matching functionµijPlanner’s welfare transformΥ(Individual ex post valuev+Idiosyncratic marital payoffθ)()s.t.Tax revenueR(Income tax scheduleT)≥Revenue requirement¯T(),Planner’s welfare transformΥ(Individual ex post valuev;Inequality-aversion parameterδ)=(eInequality-aversion parameterδIndividual ex post valuev−1)/Inequality-aversion parameterδ()MarriagemarketoneperMale type (education)i,Female type (education)janddivisionfrictionless;Idiosyncratic marital payoffθseenbeforechoosing,Wage offerw,Taste shock on own time allocationa,Children presentXrealisedaterMenMeasure of type-i menmiWomenMeasure of type-j womenfjWife’s Pareto weight — the price of sub-market ⟨i, j⟩λij:3×3pricesMen’s demand for sub-market ⟨i, j⟩µdijWomen’s supply to sub-market ⟨i, j⟩µsijMen’s demand for sub-market ⟨i, j⟩µdij=Measure of type-i menmieExpected value of marriageUiij/Scale of the marital payoffσθeExpected value of staying singleUii0/Scale of the marital payoffσθ+heExpected value of marriageUiih/Scale of the marital payoffσθ()Men’s demand for sub-market ⟨i, j⟩µdij(Wife’s Pareto weight — the price of sub-market ⟨i, j⟩λij)=Women’s supply to sub-market ⟨i, j⟩µsij(Wife’s Pareto weight — the price of sub-market ⟨i, j⟩λij)=Matching functionµij()Private market goodqiPrivate market goodqjHome good (public within the couple)QMale type (education)iFemale type (education)jrivalpublicSinglehouseholdmanMale type (education)iorwomanFemale type (education)j;eqs.(a)–(c)maxPeriod utilityu(Leisure,Private market goodq,Home good (public within the couple)Q;Children presentX)+Taste shock on own time allocationaWeekly time endowmentL0=Leisure+Market hourshw+Home-production hourshQPrivate market goodq=Nonlabour incomey+Earningsz−Income tax scheduleT(Earningsz)−Fixed cost of workFC,Earningsz=Wage offerwMarket hourshwHome good (public within the couple)Q=Home-time efficiencyζi0Home-production hourshQCouplehouseholdMale type (education)i,Female type (education)jcollective;weightWife’s Pareto weight — the price of sub-market ⟨i, j⟩λijsetinthemarket;eqs.(a)–(d),()max(1−Wife’s Pareto weight — the price of sub-market ⟨i, j⟩λij)Period utilityui+Taste shock on own time allocationai+Wife’s Pareto weight — the price of sub-market ⟨i, j⟩λijPeriod utilityuj+Taste shock on own time allocationajPrivate market goodq=Nonlabour incomeyi+Nonlabour incomeyj+Earningszi+Earningszj−Income tax scheduleT(Earningszi,Earningszj)−Fixed cost of workFCPrivate market goodqj=Wife’s share of the private goodsijPrivate market goodq,Private market goodqi=(1−Wife’s share of the private goodsij)Private market goodq,Wife’s share of the private goodsij=Wife’s share of the private goodsij(Wife’s Pareto weight — the price of sub-market ⟨i, j⟩λij;CRRA curvature on the private goodσq)Home good (public within the couple)Q=Home-time efficiencyζij(Home-production hourshiQ)Husband’s Cobb–Douglas exponent on home timeα(Home-production hourshjQ)1−Husband’s Cobb–Douglas exponent on home timeαIncome tax scheduleT(Earningsz)Individual ex post valuev,taxespaidIncome tax scheduleT(Earningszi,Earningszj)Individual ex post valuev,taxespaidsingles’Income tax scheduleTmovesExpected value of staying singleUii0,Expected value of staying singleUj0j⇒Wife’s Pareto weight — the price of sub-market ⟨i, j⟩λij(Prop.)Matching functionµij,Wife’s Pareto weight — the price of sub-market ⟨i, j⟩λijMatching functionµi0,Matching functionµ0jExpected value of staying singleUii0,Expected value of staying singleUj0jMatching functionµij,Wife’s Pareto weight — the price of sub-market ⟨i, j⟩λijExpected value of marriageUiij(Wife’s Pareto weight — the price of sub-market ⟨i, j⟩λij),Expected value of marriageUjij(Wife’s Pareto weight — the price of sub-market ⟨i, j⟩λij)
Schematic drawn for this digest, not an exhibit from the paper: the planner’s tax schedules reach couples twice, directly through their budget and through the marriage market, where singles’ taxes set each spouse’s outside option and so move the nine Pareto weights λij\lambda_{ij} that clear the ⟨i,j⟩\langle i, j\rangle sub-markets. Open the figure in a new tab

There are two stages. In the second, after wages, taste shocks and children have been realised, a married couple is a Chiappori (1988, 1992) collective household: it maximises (1−λij)(1-\lambda_{ij}) times his utility plus λij\lambda_{ij} times hers (eq. 2a in the paper, p. 296), each spouse choosing leisure, market hours and home hours from a discrete grid. Pooled earnings net of the tax T(z1,z2)T(z_1, z_2) and fixed work costs buy a private good, which is split; home hours from both spouses produce a Cobb–Douglas home good QQ, which is not split, because it is public (eq. 12, p. 303). That publicness is the economic gain from marriage. Singles solve the same problem alone.

In the first stage, a frictionless Choo and Siow (2006) marriage market clears. Each person sees an idiosyncratic Type-I extreme-value payoff θ\theta attached to each spouse type (three education groups for each sex), compares the expected value of staying single with the expected value of marrying each type, and picks the best. That gives a logit demand from type-ii men for type-jj wives and a logit supply of type-jj women to type-ii men, and the nine weights are whatever makes them equal:

μij(T,λ)=μijd(T,λi)=μijs(T,λj)∀i=1,…,I, j=1,…,J \mu_{ij}(T,\boldsymbol\lambda)=\mu^d_{ij}(T,\boldsymbol\lambda^i)=\mu^s_{ij}(T,\boldsymbol\lambda^j)\qquad\forall i=1,\dots,I,\ j=1,\dots,J

This is eq. 7 in the paper (p. 298): μij\mu_{ij} is the measure of type-ii men married to type-jj women, μijd\mu^d_{ij} and μijs\mu^s_{ij} are men’s demand and women’s supply for that pairing, and TT is the tax system, so the vector of Pareto weights λ\boldsymbol\lambda plays the role of the price vector.

The link between the stages is that λij\lambda_{ij} determines the expected values that drive the first-stage choices, and the thing that makes the whole paper go is that utility is imperfectly transferable (following Galichon, Kominers, and Weber 2019). Under transferable utility the weight would just be a lump-sum transfer: it would move who gets what, but not how the couple spends its time, and taxes could not move the relative standing of spouses (p. 293). With a curved utility frontier, the market conditions that set λ\lambda also change hours, and the tax schedule can reach inside the household. Chiappori, Costa Dias, and Meghir (2018) combine collective households and matching with transferable utility and, as the paper notes, do not ask optimal-tax questions; Kleven, Kreiner, and Saez (2009), the benchmark on taxing couples, take the married unit and its internal allocation as given.

The estimation is on the 2006 American Community Survey plus pooled American Time Use Survey data for home time, for singles and household heads aged 25 to 45, across nine Census divisions treated as separate marriage markets, each run under its actual 2006 federal and state tax-and-transfer rules. The identification of λ\lambda is the nice part. Differences in sex ratios by education across divisions do not change the value of being single, so they move marriage choices only through the weights; the ratio of men’s to women’s responses then pins λij\lambda_{ij} down (Proposition 2, p. 304, with the proof in the online supplement). That is the distribution-factor logic of Blundell, Chiappori, and Meghir (2005) and Browning, Chiappori, and Lewbel (2013), with the population vector cast as the distribution factor. The estimated weights “typically favor the husband” (p. 293), and they move the way a price should: a college-educated woman gets about 0.44 with a college-educated husband and about 0.61 with a high-school one (p. 307). The model also delivers a quietly striking line from the fit to the utility frontiers, which cover New England matches with a college-educated husband: “only in the joint ‘college and above’ matches does the expected value of marriage exceed that of singlehood. Heterogamous marriages are therefore primarily explained by the noneconomic gains” (p. 309). The payoff there is to a spouse type, not to a particular person, so it would be a stretch to call it love; it is whatever the economics does not explain.

The planner then takes the estimated primitives as fixed and, following the structural template of Blundell and Shephard (2012), chooses a piecewise-linear schedule for singles and a fully nonparametric one for couples (tax levels on a 10×10 grid of earnings nodes, triangulated in between, 65 parameters in all), with marriage-market clearing imposed as equality constraints so that the equilibrium is computed at the optimum rather than at every candidate (pp. 313–314). No primary- or secondary-earner distinction is imposed; “low, medium and high spousal earnings” are defined by earnings, not by sex. The objective is an individualistic welfare function that sums a transform of each man’s and each woman’s utility, single or married, with inequality aversion indexed by δ\delta. Two features matter. Because it counts spouses separately, inequality inside a household lowers social welfare (p. 299), so the planner’s view of a couple can differ from the couple’s own weights. And even at δ=0\delta = 0 there is “a considerable redistributive motive” (p. 317), because individual utility is concave.

Negative jointness

Two-panel figure: panel (a) is a three-dimensional net-income surface for couples over both spouses’ earnings, with a line for singles; panel (b) shows three staircase lines of marginal tax rates against own earnings from 0 to 150 thousand dollars, one each for low, medium and high spousal earnings, with the low line always on top and the high line always at the bottom, each rising from near zero and flattening at high earnings, with thin confidence bands
Figure 5, paper p. 314: “Optimal tax schedule with δ = 0. In panel (a), we show net income as a function of labor earnings for both single individuals (solid line) and couples (three-dimensional surface). In panel (b), we show marginal tax rates conditional on alternative values of spousal earnings. At earnings exceeding $150,000, marginal tax rates conditional on spousal earnings remain approximately unchanged: for low spousal earnings (resp., medium and high) marginal tax rates average 47% (resp., 43% and 34%).”

Figure 5 is the optimum at δ=0\delta = 0, and panel (b) has three features. Conditional on spousal earnings, your marginal rate rises with your own earnings and dips a little at the top, which is Mirrlees (1971) doing what Mirrlees does. Rates are close to zero at low earnings, which is Saez (2002): when the extensive margin is the elastic one, you do not want to tax the first dollars earned. And the three lines never cross, low spousal earnings on top and high at the bottom: above $150,000 of own earnings the rates average 47, 43 and 34 percent (Figure 5 caption). That is negative jointness. The shaded bands are 99 percent pointwise bands from 200 draws of the parameter estimates, so their thinness is about sampling error, not about whether you believe Type-I extreme-value marital payoffs.

The intuition is Kleven, Kreiner and Saez’s. Start from individual taxation. A transfer from a low–high couple to a low–low couple is worth more to a redistributive planner than an equal transfer from a high–low couple to a high–high couple costs, and it has no first-order revenue cost, so a little negative jointness raises welfare. Kleven, Kreiner and Saez derived this with a unitary household, and noted it would survive in a collective one if the planner respected the household’s weights. This planner does not, and the weights are equilibrium objects. The paper does not prove the result survives; it says, with some care, that “our quantitative analysis does suggest that the negative jointness property is somewhat more general” (p. 315). (Frankel (2014) showed that assortative mating attenuates negative jointness; consistent with that, the supplement’s perturbation that weakens assortative mating widens the gap between the lines, and makes individual taxation costlier.) At this optimum, married women’s employment is 87 percent against 79 percent in the estimated baseline, with hours among the employed about unchanged, and the overall marriage rate is 5 points higher (p. 317), all of it a model counterfactual.

Two-panel figure comparing marginal tax rate schedules by spousal earnings: panel (a), the optimal schedule, has the low-spousal-earnings line on top, medium in the middle and high at the bottom; panel (b), the empirical 2006 US schedule, has the high-spousal-earnings line on top throughout, with the low and medium lines overlapping and crossing below it and all three bunching together at high earnings
Figure H.1, supplement p. 12: “Empirical and optimal marginal tax rates. In panel (a), we show the optimal marginal rate schedule calculated with δ = 0. In panel (b), we show the empirical marginal tax rate schedule … comprise combined federal and state taxes, and both employer and employee FICA rates.”

Figure H.1 in the supplement puts the optimum next to the 2006 us system, and the useful comparison is one line. The high-spousal-earnings line, the lowest at the optimum, is the highest in the us: aggregating a couple’s income under a progressive schedule is positive jointness, so the second earner in a high-earning couple starts on the upper steps. The other two lines do not neatly swap; in the us panel low and medium overlap and even cross. And do not compare levels across the panels. The us series are population averages by bracket and include federal and state taxes plus both halves of fica, whereas the optimal problem’s revenue target is income tax net of transfers. The ordering of the high line is the result; everything else in the panel is texture.

How much it is worth

Table VI with four columns (unrestricted, independent, income splitting, income aggregation) and three rows: the welfare cost relative to the unrestricted schedule is 1.5, 3.8 and 8.7 for independent, splitting and aggregation; the cost of ignoring the marriage market in welfare terms is 0.5, 0.4, 6.8 and 3.4; the revenue discrepancy is 0.2, −0.0, −9.8 and −17.8
Table VI, paper p. 322: “Welfare Cost and Marriage Market Importance With Alternative Tax Instruments. The table shows (i) the welfare cost (Δunrestricted) of alternative tax specifications relative to the Unrestricted specification, and (ii) the importance of the marriage market (Δeq-welfare and Δeq-revenue) in the design exercise.”

Now force the planner into one of three familiar boxes, each re-optimised within its form: individual taxation, joint taxation with income splitting, or joint taxation with income aggregation (the us-style one). The cost is measured through the dual, as the revenue lost while delivering the unrestricted schedule’s welfare, and it comes out at 1.5, 3.8 and 8.7 percent of tax revenue respectively (p. 318; the first row of Table VI). Two things follow. Individual taxation, the zero-jointness box, gets you nearly all the way there, which the authors concede directly: “the actual welfare gains from introducing this jointness (relative to a system of independent taxation) appear somewhat modest” (p. 318). And aggregation is the worst box by a distance. That 8.7 percent is the cost of the best aggregation schedule, not a score for the actual 2006 code, which is never scored. Under aggregation the marriage rate is also 15 points lower, with less assortative mating (supplement p. 14).

The lower two rows ask what the planner loses by ignoring the marriage market: design the schedule holding weights, pairings and payoff distributions fixed, then let the market clear and see how far off you are. For the unrestricted schedule and for individual taxation, not much, about half a percent of revenue as a lower bound. For the two joint schemes, 6.8 and 3.4 percent, plus large revenue misses (p. 322). This is a tidy result that deserves more attention than the jointness headline. The schedules that treat marriage non-neutrally are exactly the ones whose design you get wrong if you take marriage as given, which is a decent argument for not treating marriage non-neutrally.

The surprising part: taxing single men

Here is where the price earns its keep. Proposition 5 decomposes the welfare effect of nudging any tax parameter τ\tau at δ=0\delta = 0:

∂SWF(T)∂τ=∑iμi0(T,λi)∂Ui0i(T)∂τ+∑jμ0j(T,λj)∂U0jj(T)∂τ+∑i,jμij(T,λ)[∂Uiji(T,λij)∂τ+∂Uijj(T,λij)∂τ+∂Uiji(T,λij)∂λij (2λij−1)λij ∂λij∂τ] \frac{\partial SWF(T)}{\partial\tau}=\sum_i\mu_{i0}(T,\boldsymbol\lambda^i)\frac{\partial U^i_{i0}(T)}{\partial\tau}+\sum_j\mu_{0j}(T,\boldsymbol\lambda^j)\frac{\partial U^j_{0j}(T)}{\partial\tau} +\sum_{i,j}\mu_{ij}(T,\boldsymbol\lambda)\left[\frac{\partial U^i_{ij}(T,\lambda_{ij})}{\partial\tau}+\frac{\partial U^j_{ij}(T,\lambda_{ij})}{\partial\tau}+\frac{\partial U^i_{ij}(T,\lambda_{ij})}{\partial\lambda_{ij}}\,\frac{(2\lambda_{ij}-1)}{\lambda_{ij}}\,\frac{\partial\lambda_{ij}}{\partial\tau}\right]

This is eq. 14 in the paper (p. 319): Ui0iU^i_{i0} and U0jjU^j_{0j} are the expected values of single men and women, UijiU^i_{ij} and UijjU^j_{ij} those of a type-ii husband and type-jj wife, the μ\mu’s weight each group by its size, and the last term, which exists only because the planner and the household weigh spouses differently, is nonzero whenever λij≠1/2\lambda_{ij} \neq 1/2.

Since the husband’s value falls as his wife’s weight rises, that last term is positive whenever a reform raises the weight of a wife who is under-weighted. Changes in who marries whom have no first-order effect; the envelope theorem takes care of them. So consider, as the paper does, a small tax increase on single men. Their outside option falls; at the old weights more men now want to marry than women will accept; the wife’s weight must rise to clear the market; within-household inequality falls, “offering a potential welfare gain” (p. 319). Potential, because the reform still has its ordinary mechanical and behavioural effects on the single men you just taxed, and those go in the first line of the equation. But the channel is real, and it is odd: the schedule for people who are not married is a lever on how marriages divide their resources.

Let taxes depend on gender and the planner uses it. Married women’s marginal rates end up about 5 points below their husbands’, single women’s 5 to 10 points below single men’s, the wife’s Pareto weight rises in every pairing, and the welfare gain is 5.6 percent of revenue over the best gender-neutral schedule (p. 320). Most of that runs through singles’ taxes: gender the couples’ schedule alone and the changes are “much smaller” (fn. 39, p. 320). Alesina, Ichino, and Karabarbounis (2011) conjectured that taxes could move within-household inequality; this is a structural model in which they do, entirely through the marriage market. The same channel is why a larger gender wage gap raises the value of jointness: cut every female type’s mean log-wage offer by 0.5 and the gain of the unrestricted schedule over individual taxation becomes almost 4 percent of revenue, rising to around 6.5 percent for a cut of 1.0 (p. 322; supplement pp. 16–17), with singles’ rates up about 10 points to prop up wives’ weights. Those are imposed shocks, not history.

Objections the paper itself anticipates (no discussant was found; this note stands in for one)

Marriage is static and irrevocable, with no divorce, life cycle or cohabitation, although cohabitants are about 7 percent of the sample’s households and are an obvious place for tax avoidance to go (fn. 10, p. 295; p. 323). Wages do not respond to taxes. The Type-I extreme-value marital payoff, which the authors single out as their strongest assumption, carries existence, identification, computation and the welfare decomposition (p. 304). The planner’s inequality aversion is a choice, and gender tagging raises horizontal-equity concerns the paper flags itself (fn. 39, p. 320). And negative jointness is a quantitative finding under these weights, not a theorem.

What you are left with is a paper whose loudest result, that the us has jointness backwards, comes with the authors’ own note that getting it right is worth a percent and a half of revenue, and whose quietest result is that one of the better ways to help married women in the model is to raise taxes on the men who are not married to anyone.

References

Alesina, Alberto, Andrea Ichino, and Loukas Karabarbounis. 2011. “Gender-Based Taxation and the Division of Family Chores.” American Economic Journal: Economic Policy 3 (2): 1–40. doi:10.1257/pol.3.2.1.
Blundell, Richard, Pierre-André Chiappori, and Costas Meghir. 2005. “Collective Labor Supply with Children.” Journal of Political Economy 113 (6): 1277–1306. doi:10.1086/491589.
Blundell, R., and A. Shephard. 2012. “Employment, Hours of Work and the Optimal Taxation of Low-Income Families.” The Review of Economic Studies 79 (2): 481–510. doi:10.1093/restud/rdr034.
Browning, M., P.-A. Chiappori, and A. Lewbel. 2013. “Estimating Consumption Economies of Scale, Adult Equivalence Scales, and Household Bargaining Power.” The Review of Economic Studies 80 (4): 1267–1303. doi:10.1093/restud/rdt019.
Chiappori, Pierre-André. 1988. “Rational Household Labor Supply.” Econometrica 56 (1): 63–90. doi:10.2307/1911842.
Chiappori, Pierre-André. 1992. “Collective Labor Supply and Welfare.” Journal of Political Economy 100 (3): 437–467. doi:10.1086/261825.
Chiappori, Pierre-André, Monica Costa Dias, and Costas Meghir. 2018. “The Marriage Market, Labor Supply, and Education Choice.” Journal of Political Economy 126 (S1): S26–S72. doi:10.1086/698748.
Choo, Eugene, and Aloysius Siow. 2006. “Who Marries Whom and Why.” Journal of Political Economy 114 (1): 175–201. doi:10.1086/498585.
Frankel, Alexander. 2014. “Taxation of Couples under Assortative Mating.” American Economic Journal: Economic Policy 6 (3): 155–177. doi:10.1257/pol.6.3.155.
Galichon, Alfred, Scott Duke Kominers, and Simon Weber. 2019. “Costly Concessions: An Empirical Framework for Matching with Imperfectly Transferable Utility.” Journal of Political Economy 127 (6): 2875–2925. doi:10.1086/702020.
Kleven, Henrik Jacobsen, Claus Thustrup Kreiner, and Emmanuel Saez. 2009. “The Optimal Income Taxation of Couples.” Econometrica 77 (2): 537–560. doi:10.3982/ecta7343.
Mirrlees, J. A. 1971. “An Exploration in the Theory of Optimum Income Taxation.” The Review of Economic Studies 38 (2): 175–208. doi:10.2307/2296779.
Saez, E. 2002. “Optimal Income Transfer Programs: Intensive versus Extensive Labor Supply Responses.” The Quarterly Journal of Economics 117 (3): 1039–1073. doi:10.1162/003355302760193959.