Optimal family taxation and income inequality
 610 Downloads
Abstract
This paper presents the properties of optimal piecewise linear income tax systems for families, based on joint and individual incomes. It models the interaction between the wage rates of mothers as “second earners” and variation in child care prices and productivities as determinants of heterogeneity in second earner labour supply. We find that individual taxation welfare dominates joint taxation on grounds of both efficiency and equity. Heterogeneous labour supplies, the positive relationship between household wages and child care quality, and the sharp rise in wage rates in the top percentiles of the primary wage distribution account for this result. In addition to reducing the intrahousehold netoftax wage gap, individual taxation removes the opportunity for tax avoidance that incomesplitting makes available to highwage primary earners, leading to a much fairer distribution of the tax burden.
Keywords
Optimal taxation Piecewise linear Labour supply Child care InequalityJEL Classification
D31 H21 H24 H31 J221 Introduction
There is a long history of criticism of the system of joint taxation, commonly known as joint filing or incomesplitting, by tax economists.^{1} The early critique was based on a straightforward, and still valid, efficiency argument. Under a progressive rate scale, joint taxation equalises the marginal tax rates on the incomes of a twoearner couple, whereas under individual taxation the second earner on a lower wage, typically the female partner, is likely to face a lower marginal tax rate than the primary earner, to an extent dependent on the difference in the partners’ incomes, the widths of the tax brackets and the progressivity of the marginal rate scales. The then available empirical evidence^{2} suggested that female workers had significantly higher compensated labour supply elasticities than did primeage male workers. So, a straightforward application of the Ramsey Principle argues for individual income as the tax base with a lower marginal tax rate on female workers at any given income level.^{3} Now, at least 5 decades after increased levels of female labour force participation made the issue of the taxation of couples a central one in tax policy, incomesplitting still seems to be firmly enshrined in the personal income tax systems of two of the world’s largest economies, Germany and the USA, with no obvious indications of the likelihood of change.^{4}
A strong intuition in support of joint taxation is that a household’s standard of living is strictly increasing with its total income from market labour supply. This suggests that a move from joint to individual income as the tax base could have adverse equity effects because, in a tax system with marginal tax rates increasing in income, such a change can result in two households with the same aggregate income paying different amounts of tax, or even one with a higher joint income paying less tax, depending on the relative incomes of the primary and second earner.^{5} This would seem to violate the principles of both vertical and horizontal equity and could imply that a tax reform replacing joint with individual taxation would reduce social welfare, because adverse equity effects could outweigh the gain in economic efficiency.^{6}
However, it is not just money income that determines a household’s real living standard. We also have to take into account the value of household goods and services produced and consumed within the household. Where these are produced primarily by the (potential) second earner using time that could alternatively be spent earning market income, this untaxed contribution to the household’s living standard may actually vary inversely with its total money income. It is certainly not wildly improbable that the total value of the second earner’s household production could be at least comparable to her netoftax market income if she worked full time, especially if it involves a great deal of child care.
In general terms, the central issue is the extent of the gains in equity and efficiency in moving from joint to individual taxation in an economy where domestic production is a significant form of time use^{7} and households differ widely in their second earner labour supplies and therefore values of domestic output.
In this paper, we explore this issue in depth and show that in fact there is a further, so far unappreciated strand in the equity argument. This goes beyond the recognition of the real patterns of time use within households and second earner labour supply heterogeneity and has become of increasing significance in the last few decades. This has been a period characterised by increasing wage and income inequality^{8} and falling top tax rates.^{9} By comparing two optimal piecewise linear tax systems for a given population of heterogeneous households, the first with joint, the second with individual incomes as the tax base, we show in this paper that incomesplitting imposes a severe constraint on the extent to which income can be redistributed from households with very high standards of living to those that are in the low to middle ranges of the distribution of wellbeing. Incomesplitting could in fact be viewed as a means of tax avoidance: having the second earner substitute household for market work is a perfectly legal means by which a highincome primary earner can significantly reduce his tax bill. We show here that ending the advantage of incomesplitting to highincome households and decoupling the labour supply elasticities of primary and second earners leads to a more progressive tax system in which equity gains in fact reinforce the efficiency gains of the move to individual taxation.
This analysis of taxing couples under piecewise linear tax systems is new to the tax theory literature,^{10} which up until now has focused either on linear taxation,^{11} tax reform,^{12} or on nonlinear taxation^{13} in the tradition of Mirrlees (1971). One reason for our approach here is that in reality almost all tax systems are piecewise linear, and the conditions that characterise the optimal tax rates, as well as their intuitive interpretations, are to a large extent different from those derived from the mechanism design approach, where incentive compatibility constraints and the implementation of a separating equilibrium across wage types are central to the analysis.^{14} A piecewise linear tax system involves pooling of wage types within each of a relatively small number of subsets of the taxed population.
Our approach also allows us to use a generalised structural model of the household, set out in the next section, in which the specification of a household’s type can be far richer than that used in optimal nonlinear taxation models, where the restrictions on the number of dimensions of private information that can be handled severely limits the type specification and general structure of the household model.^{15}
The paper is set out as follows. In the next section, we present the structural household model that provides the analytical basis for the indirect utility and labour supply functions^{16} used in the tax analysis, and for the later numerical simulations. In Sect. 3, we define the tax systems and carry out the optimal tax analysis for joint and individual taxation, respectively. In Sect. 4, we present the results of the numerical analysis of the optimal tax systems for alternative empirical specifications of the household model, and we show that individual taxation is consistently welfare superior under plausible assumptions on productivities and prices that can generate the data on household labour supplies. Section 5 concludes.
2 The household model
We present a model of the twoearner household in which a household’s type depends not only on the wage rates of the two earners but also on the price and quality it faces for the boughtin input into household production—represented canonically by child care—and by its own productivity in child care, as determined by its human and physical capital. A large and growing number of empirical studies find that child outcomes improve with maternal human capital and that parental investment in child care and education rises with family resources.^{17} We interpret this literature as implying that the productivity of time spent in child care, in terms of the resulting quality of the child’s human capital, can be modelled as increasing in the mother’s wage. Recent studies have argued that in consequence the quality of investment in child development must be perceived as an additional dimension of acrosshousehold inequality.^{18}
This is therefore very relevant for the appraisal of alternative tax systems in terms of their implications for distributional equity, the main subject of this paper.^{19} The numerical simulations of our Model 1 presented in Sect. 4 constitute, we believe, the first attempt to integrate this dimension into an analysis of optimal family taxation. The presentation of the theoretical results of the optimal tax analysis, in terms of the standard “sufficient statistics”,^{20} conceals this dimension of the underlying structural model, and this makes it all the more important to incorporate it into the numerical analysis based on this model. Model 2 of Sect. 4 corresponds more closely to the standard labour supply model, and, in clear contrast to Model 1, assumes that the quality and price of child care are constant across households. This means that in the analysis of household taxation this model cannot deal with the implications of acrosshousehold variation in these variables in an empirically plausible way.^{21}
Households are assumed to consist of couples with the same number of children, normalised at one.^{22} The primary earner divides his time between market work and leisure, while the second earner allocates her time to market work and to the household production of child care.^{23}
The productivity of the second earner’s time input to child care is assumed to vary randomly across households, with a distribution whose mean value shifts upward with her wage. This shift reflects differences in human and physical capital. There is in addition a boughtin child care time input. The price of this input at any given quality varies randomly across households, while increases in quality shift the mean of this distribution of prices upward. The household chooses its optimal quality level given the marketdetermined relation between quality and price that it faces. The realisations of the random variables determining productivities and prices are known when decisions are taken and so there is no uncertainty, they are there to generate across household heterogeneity.
The motivation for this emphasis on variation in the price of child care of a given quality is based upon everyday observation. In media articles and social surveys, parents report that the main obstacle to second earner labour supply is the problem of finding child care of an acceptable quality and price. Costs of boughtin child care vary not only with its quality or type, or mix of types,^{24} but also with location, age of children and other household characteristics. Moreover, households commonly report that, net of taxes and other costs of going out to work, child care expenditure can swallow a large part, if not all or even more than all, of the second earner’s income.^{25}
An obvious motivation for working even when there is a negative net return is that the second earner is investing in maintaining her workrelated human capital over the period in which the demand for child care is strongest, so as to be in a better labour market situation when that demand falls substantially. This cannot be drawn upon formally, however, in a static model of the type developed here.^{26} An alternative is that the productivity/quality of boughtin care is sufficiently high that its contribution to child development can offset the negative return. There is no obvious reason for the costs of boughtin contributions to the development of the child’s human capital to be constrained by the income of only the second earner.
The “type” of a household depends on its wage pair \((w_{1},w_{2}),\) and its realisations of home child care productivity \(\tilde{\kappa }\) and price of boughtin child care \(\tilde{\varepsilon }.\) A household’s type is therefore defined by the 4tuple \((w_{1},w_{2},\tilde{\kappa },\tilde{\varepsilon }),\) and we let the index \(h\in \mathcal {H}\subset \mathbf {R}^{4}\) correspond to a particular value of this, with \({\mathcal {H}}\) the set of 4 tuples. Thus, in this model, at any given primary earner wage rate \(w_{1h}\), acrosshousehold heterogeneity is driven by variations in \(p_{h}, w_{2h}\) and \(k_{h}.\)
2.1 Household equilibrium
Given the main concern of this paper, the welfare comparison of alternative tax systems, we interpret the results of the comparative statics analysis of this model^{30} not as showing how a given “representative household” would respond to a change in the exogenous variables, but rather as suggesting how second earner labour supply and child care quality vary across households as we move through the joint distribution of boughtin child care prices, wage rates and child care productivities. These results confirm that we would not expect a clear, positive relationship between household income, on the one hand, and the achieved utility level of the household, on the other. This is because the variations in child care prices and productivities generate wide variations in second earner labour supply at any given wage pair, with reductions in this labour supply being associated with increases in the value of the output of child care that may at least compensate for the loss of market income. These comparative statics effects are brought out clearly in the numerical analysis of Sect. 4 below. First we turn to the optimal tax analysis.
3 Tax analysis
As Chetty (2009) argues, whatever might be the underlying structural household model, an optimal tax system can at a general level be characterised by a small number of sufficient statistics, essentially deriving from the joint distribution of the income measure used as the tax base and marginal social utilities of income, and the distribution of the derivatives or elasticities of labour supplies with respect to tax rates and the lump sum.^{31}
In the optimal tax analysis, the key relationships are the social welfare function and the households’ indirect utility and earned income functions and their derivatives with respect to the tax parameters. We denote household indirect utility functions by \(v(\cdot )\) and individual earnings functions by \(y_{i}(\cdot ), i=1,2\). In Appendix A, we present the details of the derivation of these functions and their properties, based on the household model presented in the previous section. Here, we simply assume:
The functions \(v(\zeta ;w_{1},w_{2}), y_{i}(\zeta ;w_{i} ),\) where \(\zeta \), to be specified, denotes a vector of tax variables, are increasing in \(w_{i},i=1,2\), and continuously differentiable in all their arguments.
3.1 Tax systems
The tax system pays households a uniform lump sum^{32} funded by revenue from taxes on the labour incomes of the two earners, aggregated across households, and offers a schedule of marginal tax rates. For any given tax system, households choose their optimal labour supplies and the resulting earnings form the basis for their allocation to a tax bracket with a given marginal tax rate.^{33}
As well as the issue of the choice of tax base as between joint and individual incomes, also central is the structure of the rate scale, in particular whether the marginal tax rates applying to successive income brackets should be strictly increasing, or whether over at least some income ranges they should be decreasing. We refer to these as the “convex” and “nonconvex” cases, respectively, to describe the types of budget sets in the gross incomenet income/consumption plane to which they give rise. For the purposes of this paper, we focus on the convex case of a twobracket piecewise linear system.^{34}
By individual taxation we mean the case in which the two earners’ incomes are taxed separately but according to the same tax schedule. This is in contrast to the case in which separate optimal tax schedules are found for primary and second earners, respectively, socalled selective or genderbased taxation.^{35} The main reason for constraining the rate schedules to be identical under individual taxation is that in practice, piecewise linear tax systems that are not joint are in fact overwhelmingly of the individual rather than selective kind.^{36} Moreover, if individual taxation yields higher social welfare than joint taxation under realistic assumptions, this result applies a fortiori to selective taxation, since removing the constraint that tax schedules must be identical cannot reduce the maximised value of social welfare and would be expected to increase it.
3.2 Joint taxation

\(\tau _{1}\) is a marginal tax rate for \(h\in {\mathcal {H}}_{0}\) but defines an intramarginal, nondistortionary tax for \(h\in {\mathcal {H}}_{1} \cup {\mathcal {H}}_{2}\)

A marginal increase in \(\eta \) has no effect for \(h\in {\mathcal {H}}_{0}, \) yields a net welfare gain for almost all \(h\in {\mathcal {H}}_{1},\) and yields a lump sum income gain proportional to \((\tau _{2}\tau _{1})\) for \(h\in {\mathcal {H}}_{2}\) (recall we assume that \(\tau _{2}>\tau _{1}\))

In effect, for purposes of the tax analysis the household can be treated as a single individual, given that at each level of household income individual earnings are chosen so as to equate marginal effort costs, i.e. to minimise the cost of supplying that level of aggregate income.^{39}
3.2.1 Optimal tax analysis
Proposition 1
The optimal tax system \((\alpha ,\tau _{1},\tau _{2},\eta )\) can be characterised by the following conditions:
Condition (15) follows from the quasilinearity of the utility functions and is familiar from linear tax theory^{42}: Denoting the shadow price of the government budget constraint by \(\lambda , \sigma _{h}\equiv S^{\prime }(v_{h})/\lambda \) is the marginal social utility of income to household h in terms of the numeraire, consumption, and so the optimal lump sum \(\alpha \) equalises the average of the marginal social utilities of household income across the population to the marginal cost of the lump sum, which is 1.
The strict concavity of \(S(\cdot )\) implies that \(\sigma _{h}\) is strictly decreasing in \(v_{h}.\) In the standard income tax model, with \(v_{h}\) and \(y_{h}\) comonotonic, the lower tax bracket would contain not only the lower incomes but also the lower utilities.^{43} But because, as shown in the previous section, the household model of this paper does not imply this comonotonicity, the lower tax bracket may contain households with higher utility than households that are assigned, on the basis of joint income, to the higher bracket. This is of course simply a way of expressing the incomesplitting advantage given to households with high primary and low second incomes under a joint taxation system.
In the two conditions corresponding to the tax rates \(\tau _{1}^{*},\tau _{2}^{*},\) the denominators are the frequencyweighted sums of the compensated derivatives of earnings with respect to the tax rates over the relevant subsets, and so give a measure of the marginal deadweight loss of the tax rate at the optimum, the efficiency cost of the tax, for households in the indicated subsets. The numerators give the equity effects.
The two terms in the numerator of (16) correspond to the two ways in which the lower bracket tax rate affects the contributions households make to funding the lump sum payment \(\alpha .\) Given their optimal household earnings \(y_{h}^{*},\) the first term aggregates the effect of a marginal tax rate change on utility net of its marginal contribution to tax revenue over subset \({\mathcal {H}}_{0}.\) The second term reflects the fact that the lower bracket tax rate is effectively a lump sum tax on income earned by the two higher income brackets, \({\mathcal {H}}_{1}\) and \({\mathcal {H}}_{2},\) since a change in this tax rate has only an intramarginal effect, changing the tax they pay at a rate given by \(\eta ,\) while leaving their (compensated) labour supply unchanged.
Only the first of these two effects is present in the condition (17) corresponding to the higher tax rate. The portion of the income of the households in the higher tax bracket that is taxed at the rate \(\tau _{2} ^{*}\) is \((y_{h}^{*}\eta ^{*}),\) and so this weights the effect on social welfare net of the effect on tax revenue. Note that, unlike the case of linear income taxation, these numerator terms are not covariances, since the mean of \(\sigma _{h}\) over each of the subsets is not 1. They are commonly referred to as “distributional characteristics”.
Comparing the numerator terms in (16) and (17) shows that each contains the term \(\eta ^{*}\int _{{\mathcal {H}}_{2}}(\sigma _{h}1)\mathrm{d}F\), but with opposite signs. This suggests that the greater the contribution of the lump sum tax on upper income bracket households arising from the tax rate \(\tau _{1}^{*},\) the smaller is the tax rate \(\tau _{2}^{*},\) and so the smaller is the distortionary effect on labour supplies in this bracket, other things being equal.^{44} Note also that, other things equal, the more sharply \(y_{h}^{*}\) increases across households in the upper bracket the greater will be the tax rate \(\tau _{2}^{*},\) implying that tax rates are sensitive to growing inequality in the form of sharp increases in top incomes.^{45}
Condition (18) corresponding to the optimal bracket limit \(\eta ^{*},\) has the following interpretation. The left hand side represents the marginal social benefit of a relaxation of the bracket limit. This consists first of all of the gain to all those households that are effectively constrained at \(\eta ^{*},\) in the sense that they are prepared to increase earnings if these are taxed at \(\tau _{1}^{*}\) but not at \(\tau _{2}^{*}\)—the return to additional labour supply at \(\tau _{1}^{*},\) but not \(\tau _{2}^{*},\) exceeds its marginal utility cost.^{46} The first term in brackets on the left hand side is the net marginal benefit to these consumers, weighted by their marginal social utilities of income. The second term is the rate at which tax revenue increases given the increase in gross income resulting from the relaxation of the bracket limit.
The right hand side gives the marginal social cost of the relaxation. Since \((\tau _{2}^{*}\tau _{1}^{*})>0\) by assumption, all households \(h\in {\mathcal {H}}_{2}\) receive a lump sum income increase at this rate and this is weighted by the deviation of the marginal social utility of income of these households from the average. As long as the sum of these deviations, weighted by the frequencies of the household types, is negative, the marginal cost of the bracket limit increase is a worsening in the equity of the income distribution. The condition then trades off the social value of the gain to households in \({\mathcal {H}}_{1}\) against the social cost of making households in \({\mathcal {H}}_{2}\) better off.
3.3 Individual taxation
There are two important differences to the joint taxation case, resulting from the obviously finer partition of households based on individual reactions to the tax system. First, one or both individuals in households with a total income large enough to place them in the upper tax bracket under joint taxation may be in the lower bracket under individual taxation; and secondly, highwage primary earners in households with a low enough second income may be placed in the lower bracket of the joint tax system, while in the individual system the primary earner will be in the upper bracket and the second earner in the lower.^{47}
That is, the individual tax system corrects two types of errors that the joint tax system makes. Taking joint income as the tax base assigns to lowerwage twoearner households a rank in the joint income distribution that is too high relative to their position in the utility ranking; and at the same time the incomesplitting advantage to a highwage primary earner allows the household to place itself in a position in the income ranking that is too low relative to its position in the utility ranking. This second type of error is particularly significant when there is a high degree of inequality in primary earner wages. This is clearly brought out in the numerical example of the following section.
Of course, neither of these errors could arise if household wellbeing increased monotonically with joint income, but the purpose of the model in the previous section was to show that this cannot in general be assumed. The numerical analysis in the following section, which calculates optimal taxes on the basis of two versions of that model, shows how the equity effects arising from the correction of these errors can reinforce the efficiency effects and ensure a welfare dominance of individual taxation that is robust to a wide range of assumptions consistent with the empirical evidence.
3.3.1 Optimal tax analysis
In what follows, it will be useful to denote by \(\mu _{ih}\) the value of a relaxation of the bracket limit to an individual at the kink in the budget constraint.^{48} Also, to shorten notation we denote \(\sigma _{h}1\) by \(\delta _{h}.\) Then \(\delta _{h}>(<)0\) according as household h is relatively worse (better) off in utility terms than the subset of households for which \(\sigma _{h}=1\).
From the firstorder conditions for an optimal solution^{49} we derive:
Proposition 2
The optimal tax system \((a,t_{1},t_{2},y)\) is characterised by the conditions:
The first condition, since it involves the entire population, is exactly as for joint taxation. The remaining three conditions have basically the same interpretation as before, but of course the relevant integrals are now over subsets of individuals reflecting the partition defined in (21)–(26).
3.4 Implications of the optimality conditions for the comparison of the two systems
We can use this tax analysis to give an idea of how the switch from joint to individual taxation could affect the tax structure. First note that the denominator in the expression for \(t_{1}^{*}\) will tend to contain more lowerincome second earners than that for \(\tau _{1}^{*}\), since the subset \(H_{013}\) contains second earners who, because they are in households with highwage primary earners, would under joint taxation be in the upper tax bracket. The subset \(H_{345}\) in the denominator for \(t_{2}^{*}\) will tend to include more highwage primary earners, who have lost the incomesplitting advantage they obtain under joint taxation. Other things equal therefore, this would lead us to expect a greater difference between the two tax rates, or higher marginal rate progressivity, in the case of individual taxation, given the stylised fact that labour supply elasticities are lower for primary than for second earners.^{50}
A similar point can be made with respect to the numerators of the expressions for the upper bracket tax rates in the two cases, which represent the equity terms. In the expression (17) for \(\tau _{2}^{*}\), we have the term \(\int _{{\mathcal {H}}_{2}}\delta _{h}(y_{h}^{*}\eta ^{*})\mathrm{d}F,\) while for \(t_{2}^{*}\) we have \(\int _{H_{345}}\delta _{h}(y_{1h}^{*}y^{*})\mathrm{d}F+\int _{H_{5}}\delta _{h}(y_{2h}^{*}y^{*})\mathrm{d}F.\) The subset \({\mathcal {H}}_{2}\) will contain lowerwage twoearner households with close to average welfare weights and therefore \(\delta _{h}\)values close to zero, while the differences \((y_{h}^{*}\eta ^{*})\) for households with strongly negative \(\delta _{h}\)values will be diminished by the fact that the values of joint income \(y_{h}^{*}\) will be relatively lower for households with little or no income from the second earner. In contrast, the subset \(H_{345}\) contains only the highest income primary earners, and \(H_{5}\) only the highest income primary and second earners, with (as shown by the empirical wage distributions in Fig. 1) very large differences \((y_{ih}^{*}y^{*})\) between their incomes and the bracket limit. This gives an additional reason to expect that the individual tax system will be very much more marginal rate progressive than the joint system.
Finally, we can compare the results for the optimal bracket limits under the alternative tax systems. The underlying principle is of course the same in each case: the optimal bracket limit trades off the marginal gain to those individuals who are effectively constrained at the kink in their budget constraints against the loss in equity from the intramarginal lump sum gain in income to those in the higher tax bracket. The key point is that, from the point of view of a ranking according to marginal social utility of income, individual taxation leads to a more equitable sorting of individuals into tax brackets, and the overall result is a reduction in the optimal bracket limit as we move from joint to individual taxation.
Thus, suppose we move from a joint taxation system with a bracket limit of \(\eta ^{*}\) to an individual tax system with a bracket limit on individual income of \(\eta ^{*}/2.\) An important change takes place in the composition of the top tax bracket. Primary earners with incomes \(y_{1} >\eta ^{*}/2\) and with partners whose incomes are less than \(\eta ^{*} y_{1},\) who were formally in the lower bracket, will now move into the top tax bracket. This will reduce the average of the marginal social utilities of income in the top bracket, implying that a reduction in the bracket limit will yield a net equity gain from the lump sum increase in tax revenue that results.
Moreover, as can easily be seen in condition (31), since the difference between the tax rates in the lower and upper brackets increases, as just discussed, this increases the absolute value of the gain from a marginal increase in the bracket limit to those in the upper bracket, increasing the marginal social cost of such an increase, and this will also lead to a reduction in the bracket limit.
These remarks are confirmed by the numerical analysis of the next section, where the differences between the two tax systems, in marginal rate progressivity as well as in the bracket limits, are striking. We highlight these differences as a major reason for the welfare superiority of individual over joint taxation systems, given the very high degree of inequality exhibited by the empirical primary earner wage distribution illustrated in Fig. 1. Joint taxation allows highwage primary earners to reduce their tax burden by having the second earner in the household reduce her labour supply or leave the labour force altogether. Individual taxation removes this opportunity and so allows the tax system the possibility of significantly more redistribution across the highly unequal primary wage distribution, as well as yielding the wellknown efficiency gain.
4 Numerical analysis
A calibrated version of a theoretical model cannot of course be a blueprint for tax reform in any actual economy. However, since Mirrlees (1971), Stern (1976) and Tuomala (1984), there has been a tradition in optimal tax theory of using plausibly calibrated models to clarify the qualitative implications of particular tax models and provide insights which, hopefully, can be followed up in richer empirical models.^{51} Following this tradition, we draw on household survey data for a sample of twoparent families to calibrate models nested within the following general empirical specification of the theoretical model set out in Sect. 2. We then use the models to solve for the optimal tax parameters of joint and individual taxation and to compute aggregate measures of social welfare under each system.
4.1 Empirical specification
We solve for the optimal tax parameters by maximising a social welfare function of the form \([\sum _{h=1}^{H}u_{h}^{1\pi }]^{1/(1\pi )},\) with \(\pi \) a measure of inequality aversion.
Following the convention of the labour supply literature, we set market productivities to respective wage rates and we define market consumption, x, as a Hicksian composite good and choose it as numeraire with price set to 1.
We solve for the optimal tax parameters under joint and individual taxation for two models, labelled Models 1 and 2, that are nested within the general empirical specification in (32) and (33). The models incorporate different assumptions on the productivity variable, \(k_{h}\), for which information is missing in available household survey data sets, as well as on the exogenous factors driving heterogeneity. The assumptions of each model and the parameter values selected to generate labour supplies that broadly match the data are set out below.
4.2 Data
The smoothed profile of primary earner hours is relatively flat, rising only slightly across the primary wage distribution, with an overall average of around 8 h/day for a 5 day working week. We find that \(e_{1}=0.1\) generates a primary hours profile across the primary wage distribution that broadly matches the data and we therefore base the simulations on this primary wage elasticity, which is probably at the higher end of empirical estimates of prime age male labour supply elasticities.
The smoothed profile of second earner hours, while relatively flat, tends to rise across the middle percentiles and then decline towards the top percentiles, with an overall mean close to 4.5 h/day. However, in contrast to primary hours, there is a high degree of heterogeneity. Over a third of second earners work part time with widely varying hours, around a third work full time and the remainder are not in the workforce. Very little of the variation in second hours can be explained by wage rates or demographics at a given primary wage.
As a reference for the data on second earner labour supplies, we construct profiles of second hours based on splitting the sample according to median second hours across the primary wage distribution. Records with second hours below the median are labelled “H1” and those with hours at or above the median, “H2”. Parameter values are selected for the simulations which can generate labour supplies that approximate the average hours of H1 and H2 households by falling broadly within the range of 1.0 and 2.0 h for the former and 7.0 and 8.0 h for the latter. The time constraint is set to 10 h/day.
4.3 Model 1
Model 1 is based on assumptions consistent with empirical studies showing that child outcomes improve with maternal human capital and that parental investment in quality child care and education increases with family resources, as discussed in Sect. 2. The productivity of time spent on child care, in terms of achieving child outcomes, is assumed to be given by the mother’s wage and we therefore set \(k_{h}=w_{2h}\) for \(\tilde{\kappa }=0\). The quality of market child care chosen by the household, \(q_{h}\), is, in turn, assumed to match that of the second earner’s own child care time. All households have the same production parameters \(\gamma , \beta \) and \(\rho \), in addition to the same preference parameters.
Heterogeneity in second earner labour supply can be introduced by random variation in either \(k_{h}\) or \(p_{h}\).^{55} We therefore have \(k_{h}=w_{2h}+\kappa _{h}\) and \(p_{h} =w_{2h}+\varepsilon _{h},\) with \(\kappa _{h}\) and \(\varepsilon _{h}\) the household’s realisations of \(\tilde{\kappa }\) and \(\tilde{\varepsilon }\), respectively. We define \(p_{z}\) as the implicit price of a unit of child care output, \(z_{h}\), which is equal to its marginal production cost, determined by the netoftax wage rates, prices of boughtin care \(p_{h}\) and marginal productivities, the derivatives of (33). This implicit price is of course independent of output \(z_{h}\) given the constant returns assumption.
The first step is to construct a pretax benchmark population of households giving an optimal second earner labour supply at every wage pair of 5 h/day (which is marginally above the aftertax overall mean of 4.5 h) for \(\tilde{\kappa }=0, \tilde{\varepsilon }=0\). For this outcome, we set \(\beta =0.5\). We also set \(\gamma =2\) to give \(p_{z}=1\) at the benchmark equilibrium. Given that introducing labour supply heterogeneity by varying \(k_{h}\) will tend to bias the results towards individual taxation, by making the H1 household better off at any given wage pair, we report results for variation in \(p_{h}\) only.
Given the above specifications, it is easy to show that, at any wage pair, an equilibrium of the household that is fully symmetric with respect to boughtin and parental child care, and yields an equal division of available time between market and household work, must look like that shown in the figure. The marginal value product curves of \(b_{h}\) and \(c_{h}\) are identical and therefore mirror images of each other when \(c_{h}\) is measured from left to right and \(b_{h}\) measured in the reverse direction, and setting \(p_{h} =w_{2h}\) ensures that the curves intersect at \(b_{h}=c_{h}=5,\) where condition (7) of Sect. 2 is satisfied. Then, perturbing this equilibrium by raising \(p_{h}\) reduces \(b_{h}\), and therefore market labour supply \(l_{2h}\), and increases \(c_{h},\) while reducing \(p_{h}\) has the converse effect. The equilibrium division of time use between market labour supply/boughtin care and parental child care corresponds to the point at which the vertical distance between the curves is equal to the difference between \(w_{2h}\) and \(p_{h}\). Thus, this simple, symmetric benchmark model provides us with a very convenient way of generating whole populations of heterogeneous households for varying distributions of the price of boughtin child care.
We solve for the optimal tax systems first for two degrees and then for four degrees of price variation, respectively. With two degrees of price variation, we have the binary price distribution \(p\in \{p^{1},p^{2}\}\) with 100 H1 households facing the higher price \(p^{2}\) and 100 H2 households facing the lower price \(p^{1}\). Each degree of variation is again expressed as a proportion of the second earner wage at each percentile.
Model 1: Child care price variation: \(\pm \,0.15\), with \(\rho = 0.82\)
\(\pi \)  Tax system  \(\tau _{1}, t_{1}\)  \(\tau _{2}, t_{2}\)  \(\alpha , a\)  \(\hbox {Bkt}^{\mathrm{a}}\)  \(\hbox {SW}\)  \(\hbox {H1 h}^{\mathrm{b}}\)  \(\hbox {H2 h}^{\mathrm{c}}\) 

0.2  Joint  0.03  0.10  3491  97  86,428  1.75  7.42 
Individual  0.02  0.43  4926  96  86,661  1.87  7.59  
0.3  Joint  0.04  0.12  4550  97  220,744  1.64  7.26 
Individual  0.02  0.44  6760  88  221,836  1.87  7.59  
0.4  Joint  0.06  0.13  6522  97  773,223  1.43  6.91 
Individual  0.03  0.49  8446  87  779,079  1.75  7.42  
0.5  Joint  0.08  0.22  7521  99  4,488,209  1.34  6.71 
Individual  0.03  0.53  9246  86  4,533,925  1.75  7.42  
0.6  Joint  0.08  0.24  8471  99  63,029,740  1.25  6.52 
Individual  0.04  0.56  10,517  86  63,830,748  1.64  7,26 
The lower child care price for H2 can be interpreted as equivalent to a child care subsidy. The effect on the benchmark equilibrium price, \(p_{z}=1\), is minimal for both H1 and H2 because the productivity/quality of home and boughtin care are equal. For example, for \(\pi =0.3\), the median price for H1 rises to 1.09 under both joint and individual taxation, and for H2, it falls to 0.92 under joint taxation and to 0.91 under individual taxation. Consequently, there is very little household utility reranking across the distribution of primary income, despite the wide gap in market hours generated by the variation in \(p_{h}\).
Model 1: Child care price variation: \(\pm \,0.25\), with \(\rho = 0.7\)
\(\pi \)  Tax system  \(\tau _{1}, t_{1}\)  \(\tau _{2}, t{2}\)  \(\alpha , a\)  \(\hbox {Bkt}^{\mathrm{a}}\)  SW  \(\hbox {H1 h}^{\mathrm{b}}\)  \(\hbox {H2 h}^{\mathrm{c}}\) 

0.2  Joint  0.05  0.14  5778  97  87,302  1.80  7.41 
Individual  0.04  0.43  6908  95  87,491  1.87  7.50  
0.3  Joint  0.07  0.19  7876  97  223,061  1.67  7.20 
Individual  0.05  0.48  8885  95  224,236  1.80  7.41  
0.4  Joint  0.09  0.21  9875  97  781,724  1.55  7.00 
Individual  0.06  0.52  10,263  92  786,120  1.73  7.31  
0.5  Joint  0.11  0.22  11,796  97  4,539,888  1.44  6,79 
Individual  0.06  0.53  11,639  87  4,574,157  1.73  7.31  
0.6  Joint  0.13  0.34  13,704  99  63,786,656  1.35  6.55 
Individual  0.07  0.56  12,875  87  64,393,808  1.67  7.22 
The results again show that individual taxation is consistently superior to joint taxation, but with some interesting minor differences. The optimal tax structure tends to be less progressive because the higher \(25\%\) reduction in the price of boughtin care (equivalent to a larger child care subsidy for H2), has the effect of making H2 households relatively better off. Consequently, marginal tax rates across both brackets are slightly higher for most values of \(\pi \). The gaps between the median values of \(p_{z}\) for H1 and H2 under both joint and individual taxation, while slightly larger, remain relatively small, and so the degree of household utility reranking is minimal.
Model 1: Child care price variation: \(\pm \,0.25\); \(\pm \,0.50\), with \(\rho = 0.5\)
\(\pi \)  Tax system  \(\tau _{1}, t_{1}\)  \(\tau _{2}, t_{2}\)  \(\alpha , a\)  \(\hbox {Bkt}^{\mathrm{a}}\)  SW  \(\hbox {H1 h}^{\mathrm{b}}\)  \(\hbox {H2 h}^{\mathrm{c}}\) 

0.2  Joint  0.07  0.22  8252  97  209,981  1.61  7.86 
Individual  0.06  0.44  8671  96  210,313  1.64  7.90  
0.3  Joint  0.10  0.24  11,218  97  607,343  1.51  7.73 
Individual  0.08  0.50  11,286  95  609,026  1.58  7.82  
0.4  Joint  0.14  0.34  15,281  97  2,511,256  1.40  7.52 
Individual  0.10  0.56  13,558  95  2,521,040  1.51  7.73  
0.5  Joint  0.16  0.36  17,216  97  18,383,842  1.35  7.42 
Individual  0.11  0.56  15,204  93  18,475,026  1.49  7.67  
0.6  Joint  0.18  0.37  19,097  97  365,424,644  1.31  7.30 
Individual  0.13  0.59  17,301  92  367,662,752  1.44  7.57 
The most striking feature of the results, apart from the complete dominance of individual taxation, is the change in the structure of tax rates as we switch from joint to individual taxation. The top marginal tax rate under individual taxation is consistently much higher than that under joint taxation, and the threshold of the top bracket is significantly lower. These results illustrate numerically the points made in Sect. 3.4 above: The changes in the composition of the tax brackets resulting from the move from joint to individual taxation change the optimality conditions for the marginal tax rates and bracket limit in such a way as to greatly increase the overall progressivity of the tax system.
Importantly, given the shape of the wage distribution, a progressive individual income tax redistributes the tax burden from the lower and middle to the top wage percentiles. The differences in top marginal tax rates under the two systems highlight the extent of the incomesplitting gain to top primary wage earners under joint taxation, and the extent to which this constrains the distribution of tax burdens. Furthermore, as discussed in Sect. 3, including second earners with relatively higher compensated elasticities in the higher tax bracket under joint taxation reduces the marginal rate progressivity of the tax system, since it raises the absolute value of the denominator in the expression determining the optimal tax rate. It is counterproductive in terms of both equity and efficiency to use a joint tax system to impose a higher marginal rate on second earners across the lower and middle percentiles of the wage distribution, while the marginal tax rate on high primary wage earners is set at relatively low levels.
4.4 Model 2
To match the data on heterogeneity in second earner labour supply, we cannot introduce differences in preferences because we wish to make welfare comparisons. Nor can we attribute the observed heterogeneity to variation in home productivity or the price of boughtin care since the model rules out these possibilities. Moreover, as noted previously, the possible variation in \(w_{2h}\) is too narrow for this purpose, given that it must lie somewhere at or below the primary wage and above the minimum wage. To generate the required degree of heterogeneity, we are therefore limited to variation in the production parameter, \(\rho _{h}\).
Again we construct a pretax benchmark population of households giving, for the same value of \(\rho _{h}\) for all households, an optimal second earner labour supply at every wage pair of 5 h/day. We obtain this benchmark case by setting \(\beta _{h}=0.5\) and \(\gamma =2\) as in Model 1, and \(\rho =0\) (the Cobb–Douglas case) across all households.
Model 2: Variation in \(\rho _{\mathrm{h}}\): \(\rho _{1}= \,0.65\) and \(\rho _{2 }= 0.3\)
\(\pi \)  Tax system  \(\tau _{1}, t_{1}\)  \(\tau _{2}, t_{2}\)  \(\alpha , a\)  \(\hbox {Bkt}^{\mathrm{a}}\)  SW  \(\hbox {H1 h}^{\mathrm{b}}\)  \(\hbox {H2 h}^{\mathrm{c}}\) 

0.2  Joint  0.04  0.10  4575  97  57,746  1.73  7.54 
Individual  0.03  0.44  5959  95  57,988  1.82  7.68  
0.3  Joint  0.06  0.11  6589  97  147,168  1.59  7.24 
Individual  0.03  0.48  7073  92  148,373  1.82  7.68  
0.4  Joint  0.07  0.12  7582  97  515,261  1.52  7.08 
Individual  0.04  0.50  9131  89  520,947  1.73  7.54  
0.5  Joint  0.08  0.14  8554  97  2,691,453  1.45  6.92 
Individual  0.04  0.52  9832  87  3,032,220  1.73  7.54  
0.6  Joint  0.09  0.16  9495  98  41,897,056  1.39  6.72 
Individual  0.05  0.55  11,089  87  42,671,180  1.66  7.39 
The values selected for \(\rho _{1h}\) and \(\rho _{2h}\) imply that home and boughtin care are strong complements for H1, whereas they tend to be substitutes for H2. As a consequence, household H1 specialises more in the use of home time in the production of z, the input with the lower productivity with \(w_{2} >1\). H1 households therefore have a lower output of z and face a higher price per unit, \(p_{z}\). For example, for \(\pi =0.3\), the median \(p_{z}\) for H1 is 9.2 and 9.0, and for H2, 3.4 and 3.3, under joint and individual taxation, respectively. Consequently, household income continues to understate the welfare of H1 relative to that of H2, as in Model 1, but to a lesser degree.
When we compare aggregate measures of SW, we find that individual taxation is again consistently superior to joint taxation, and increasingly so as we increase the degree of inequality aversion, \(\pi \), from 0.2 to 0.6. Again the rate scale under individual taxation is far more progressive than under joint taxation because a higher marginal rate can, in effect, be applied selectively to the incomes of top primary earners with much higher wage rates.
As in the preceding Model 1, the superiority of individual taxation is driven very strongly by a gap between the utility levels of those in the top percentiles and those in the lower and middle percentiles. In other words, together with efficiency gains, the high degree of inequality across the primary wage distribution contributes substantially to the result that individual taxation is superior to joint taxation.
5 Conclusions
The choice between joint and individual income as the tax base is an important one because of its implications for the efficiency and equity of the tax system. The majority of the population lives in households that have, actually or potentially, two earners, and the high degree of heterogeneity across households in the second earner’s market labour supply, and therefore in the production of domestic goods and services, presents a challenge in modelling the underlying behavioural unit in the optimal taxation problem.
It is necessary to provide an empirically wellfounded explanation of this heterogeneity, which at the same time clarifies the equilibrium relationship between total labour income and the achieved level of utility as we move through the population of households, since this relationship is an important determinant of the relative merits of joint and individual taxation.
A model in which this relationship is monotonic supports the intuition that a move from joint to individual taxation could have an equity cost to set against the efficiency gain from such a move.^{61} On the other hand, the model presented in Sect. 2 of this paper undermines the plausibility of this relationship and so weakens the argument. The model shows that the nature of the second earner’s time constraint and the cost and quality of child care play a central role in explaining labour supply heterogeneity, as well as yielding the implication that household income is not a reliable indicator of a household’s real living standard. Combining that with a realistic specification of the empirical wage distribution leads to the conclusion that the argument ultimately does not hold.^{62}
It is essential to take account of the shape of the primary earner wage distribution. The degree of inequality in this, which has greatly increased over the period since Boskin and Sheshinski first presented their argument for selective taxation, determines the fairness with which each tax system distributes the tax burden across households. We have argued that in light of this marked inequality in the primary earner wage distribution, a move from joint to individual taxation results in both a more efficient and a fairer allocation of the aggregate tax burden. In numerical versions of the model calibrated to reflect the empirical distributions of wages and labour supplies, and given standard formulations of society’s distributional preferences, we consistently find that the optimal piecewise linear tax system based on individual income yields a higher social welfare than the optimal system based on joint income.
A central result of both the theoretical and numerical analyses is the deeper understanding of the deficiencies of incomesplitting from the equity point of view. These have become accentuated, not only by the growth in gross wage and income inequality, but also by the reductions in top tax rates, further increasing net income inequality, that have occurred in the past few decades. The opportunity to reduce one’s tax liability that the joint taxation system offers to very highwage earners severely constrains the extent to which the tax system can achieve an equitable allocation of the tax burden between households in the low to middle region of the distribution of wellbeing and households at the top. The sharp differences in the marginal rate structures of the two tax systems reflect the compositions of the subsets of individuals in the respective brackets, with second earners with high elasticities and primary earners with low elasticities being pooled under joint taxation and separated under individual taxation. Removal of the incomesplitting advantage leads to highwage primary earners being placed in the upper tax bracket regardless of the incomes of their spouses, with a consequential sharp increase in the redistributional possibilities made available by the tax system. In this way, the tax system would counteract, rather than exacerbate, the effects of the trend in inequality of pretax wages and incomes.
The household model we have specified is based on a “unitary” approach to the household, in which we effectively assume that the welfare weights the household attaches to the wellbeing of the two individuals correspond to those applied by the tax authority or “planner”.^{63} However, we can show that the results are strengthened if we extend the model to allow the household’s welfare weights to vary positively with netoftax wage rates,^{64} and assume that the weight the planner places on the utility of the second earner is at least as high as what she receives in the household. The move from joint to individual taxation in that case yields a form of “double dividend”, with a gain in withinhousehold as well as betweenhousehold equity.
Footnotes
 1.
 2.
 3.
Individual taxation, by imposing a lower tax rate on the second income, lowers the netoftax gender pay gap, and therefore the gender gap in “outside opportunities”. Since Alesina et al. (2011) a tax system with a lower rate on the second income has been referred to as “genderbased taxation”.
 4.
Forms of incomesplitting vary across countries. The US and Germany are two of the few countries with full income splitting. Others have partial incomesplitting or quasijoint taxation systems due to the withdrawal of family payments or tax credits on joint income. For a comparative analysis of the Australian, German, UK and US systems, see Apps and Rees (2009, Ch. 6).
 5.
We define primary and second earners simply in terms of who has the higher earned income, rather than in terms of gender. The second earner typically also has the lower wage rate, though this need not invariably be the case. However, the average wage rate of second earners is certainly below that of primary earners. In OECD countries, typically around 80% of second earners are female. For an informative study of the changing gender composition of second earners based on panel data derived from US federal income tax returns, see McClelland et al. (2014).
 6.
See Apps and Rees (1999) for a rigorous discussion of this possibility. It can certainly arise in the model of Boskin and Sheshinski (1983) if the difference in compensated elasticities of male and female spouses is sufficiently small. They presented a numerical model calibrated on the then existing empirical work on labour supply elasticities and obtained the result that the tax rate on women should be significantly—possibly as much as 50%—below that of their spouses in an optimal linear tax system. Their underlying household model was one in which household utility depended on aggregate consumption and male and female labour supplies. They also assumed that the female wage was a monotonic function of the male wage. The contribution of this paper is to base the analysis on a far more richly specified household model and to analyse optimal piecewise linear taxation, thus allowing for progressivity in marginal tax rates.
 7.
 8.
 9.
This very important development in the tax structures of highincome countries is thoroughly documented in Peter et al. (2010).
 10.
 11.
As in the seminal paper by Boskin and Sheshinski (1983).
 12.
See Apps and Rees (1999).
 13.
See Apps and Rees (2009, Ch. 8) for a literature survey.
 14.
Almost all discussions of tax policy issues based on this approach, for example that surrounding the wellknown Atkinson–Stiglitz Theorem, revolve around the extent to which policy measures do or do not relax the incentive compatibility constraint. There is absolutely no reason to believe that real tax systems satisfy an incentive compatibility constraint.
 15.
Thus, Apps and Rees (2009, Ch. 8), Brett (2007) and Schroyen (2003) assume just two wage types for each of primary and second earners, while the formidably technical paper by Kleven et al. (2009) generalises this to a continuum of primary earners but assumes that second earners either work full time in the market, all for the same wage, or full time in the household. These rather counterfactual assumptions are made in order to have tractable models with which to characterise optimal nonlinear tax functions for twoearner households.
 16.
Detailed derivations of these are given in Appendix A.
 17.
 18.
See in particular Lundberg et al. (2016).
 19.
The implications for efficiency are well known.
 20.
See Chetty (2009).
 21.
Variation in quality cannot, for example, be taken into account in the Boskin and Sheshinski (1983) analysis, because of the assumption there that time is divided between work and leisure, and a unit of leisure time has the same productivity or marginal utility across all households.
 22.
In that case, we are ruling out variations in the number of children as being the main determinant of heterogeneity in second earner labour supply. This is consistent with the empirical evidence: see Apps and Rees (2009). It also implies that we are excluding from the tax analysis single person households and childless couples. This is essentially on the grounds of simplicity and is the subject of further work. For the time being, note that all but a small proportion of the entire optimal tax literature is concerned with singles.
 23.
Nothing would be gained by having both parents consume leisure and contribute to household production. Although that would be more realistic, we think the assumption made here captures the salient aspects of reality—the differing margins of substitution facing primary and second earners—while keeping the model simple.
 24.
Ranging from grandparents and other family members, neighbours or an au pair, through daycare centres and private childminders, to highly trained tutors.
 25.
Variation in the price of boughtin child care may also be due to government taxes or subsidies for child care, in addition to stochastic variation in the market price. These may be set by agencies other than the tax authority. An extension of our approach in this paper could of course be used to analyse optimal policies towards child care provision. Apps and Rees (2004) analyse the effects of child care subsidies on household labour supplies and fertility choices.
 26.
We need a life cyclebased model of optimal taxation which will show how taxes vary as a household moves over successive phases in its “family life cycle”, see Apps and Rees (2009, Ch. 5).
 27.
For the primary earner, it is sufficient to assume that the convexity of \(\hat{u}_{1}(\cdot )\) is such that \(l_{1h}<1\) at all equilibria.
 28.
Vidar Christiansen has suggested to us that this should perhaps be a weak inequality—a household might well buy inputs into child human capital formation, math tutorials for example, that are supplied outside of parental working time. While we fully agree with the realism of this point, we remain here with the simpler case, implicitly assuming that this constraint is binding. Even more realistically, we should recognise that there are different types of boughtin market inputs.
 29.
See Appendix A for the full set of firstorder conditions.
 30.
Given in full in Appendix A.
 31.
However, the economic interpretation and empirical estimation of these sufficient statistics will closely depend on the underlying structural model.
 32.
This could be thought of as a standard child benefit.
 33.
A referee has pointed out that in this analysis we are restricting the form of the tax system to be either joint or individual, rather than finding the optimal system which may not correspond to either of these. We have discussed in the Introduction why we do not follow the mechanism design approach and focus on these two given systems because they seem to be empirically the most relevant, even if in practice the number and structure of the brackets differ from those assumed here, for example because of incomerelated transfers such as the earned income tax credit. We certainly agree that an important issue is how such systems should optimally be integrated into a formal piecewise linear tax system, but see that as the next step that is a priority for future work.
 34.
Apps et al. (2014) show that for wage distributions such as those currently prevailing in many OECD countries convex systems are highly likely to be welfare optimal.
 35.
 36.
At the same time, it is possible to find examples of tax systems that contain selective elements. For example, in Australia, a portion of family benefits is withdrawn on the basis of the second earner’s income. In Germany and the USA, contributions to social security, which are effectively part of the tax system, vary with the income of the second earner. See Apps and Rees (2009, Ch. 6).
 37.
For an extension of optimum piecewise linear taxation to the case of an arbitrary number \(m\ge 2\) of tax brackets with only singleearner households, see Andrienko et al. (2016).
 38.
See Appendix A for details.
 39.
Again the details are in Appendix A.
 40.
We assume the aim of taxation is purely redistributive. Adding a nonzero revenue requirement would make no essential qualitative difference to the results.
 41.
Of course, exactly which households will be in which subsets is determined at the optimum, and depends on the values of the tax parameters. The following discussion characterises the optimal solution given the allocation of households to subsets that obtains at this optimum. As our later numerical analysis has shown us, it is not a trivial computational task to solve this model.
 42.
See Sheshinski (1972).
 43.
This is also the case in the household model underlying the tax analysis of Boskin and Sheshinski (1983). Although this paper takes the important step of basing the tax analysis on a model of the twoperson household, it retains the standard assumption that there are just two time uses, work, with productivity varying with the market wage, and leisure, with the same productivity across all households. This formulation preserves the comonotonicity of income and utility across households that exists in the neoclassical model of the household as a single person. As we argued in the previous section, this comonotonicity breaks down in a richer model that takes account of variations in productivity and prices in household production, with important implications for the results of the tax analysis, as we show in this and the following sections.
 44.
 45.
See Andrienko et al. (2016) for more on this.
 46.
For the details again see Appendix A.
 47.
This is a further respect in which this paper extends the results of Boskin and Sheshinski (1983), due this time to replacing their linear taxation model with a piecewise linear tax system. While confirming their result of the welfare superiority of individual (or, in their case, selective) taxation, it gives greater insight into the structure of the tax system that increases its relevance for actual tax policy.
 48.
The counterpart of the term \((1\tau _{1})\partial \psi /\partial y_{h}\) in the joint taxation case, but here the term represents the value of a relaxation of the constraint to each individual in the household. See Appendix for further discussion.
 49.
Again, exactly which households will be in which subsets is determined at the optimum and depends on the values of the tax parameters.
 50.
We should note that the empirical estimates of elasticities are genderbased—female labour supply elasticities are higher than male—whereas the distinction here between primary and second earners is on the basis of earned income rather than gender. We would argue, however, that the high female elasticities are based on role rather than gender. Also, as pointed out earlier, it is still the case that the large majority of second earners are women. For insightful empirical work on this, see McClelland et al. (2014).
 51.
For example, in an empirical study using a stochastic dynamic OLG model calibrated to the German economy, Fehr and Ujhelyiova (2012) show that a move from joint to individual taxation accompanied by subsidisation of boughtin child care increases welfare for all productivity levels of workers.
 52.
See Australian Bureau of Statistics (2012). The sample is selected on the criteria that a child aged from 0 to 9 years is present and the primary earner is aged from 25 to 59 years and works at least 25 h/week for a wage of at least $15.00 (the minimum wage in 2010). The sample contains 1860 records.
 53.
We apply the lowess method to obtain a smoothed profile.
 54.
We correct for selectivity bias based on an analysis of predicted wage rates for participant and nonparticipant subsamples within quintiles of the primary wage distribution.
 55.
In contrast to \(k_{h}\) for which data are entirely missing, there is information on \(p_{h}\) and \(q_{h}\). However, the data for these variables indicate a very high degree of variation in the price of an hour of child care, \(p_{h}\), of a given quality, as noted previously.
 56.
We restrict the variations in \(p_{h}\) above and below \(w_{2h}\) to the same percentage to facilitate comparisons across the results.
 57.
Additional results are available from the authors.
 58.
For an outline of the theoretical framework of the standard household labour supply model and survey of empirical applications, see Blundell and MaCurdy (1999, Section 7).
 59.
The arbitrariness of this assumption was recognised by Stern (1976) who noted the potential sensitivity of estimated parameters to the assumed productivity or quality of “leisure”.
 60.
Heckman (1974) notes that data limitations make it impossible to measure the price per unit of quality of boughtin care, and that measuring quality by expenditure with a normalised market price of unity is debatable but standard practice for want of anything better. These assumptions continue to be adopted in more recent studies, including extensions of the unitary model to collective empirical applications with child care. See, for example, Cherchye et al. (2012) and the literature cited there.
 61.
Though the numerical results presented in Boskin and Sheshinski (1983) also suggest that the net welfare gain from the policy change is still positive. Apps and Rees (1999) suggest that in the type of model used by Boskin and Sheshinski the difference between male and female elasticities has to be small for joint taxation to dominate.
 62.
In carrying out the numerical calculations in Sect. 4 we have used labour supply elasticities. There is a recent literature which argues that, particularly with respect to primary earners at the top of the income distribution, it is the elasticity of taxable earnings (ETI) that really matters, and this is considerably higher than the labour supply elasticities we have used. However, we are convinced by the work of Moffitt and Wilhelm (2000), Saez et al. (2012) and Piketty et al. (2014) that it is the labour supply elasticity rather than the ETI which is the relevant behavioural parameter for normative analysis of the kind carried out in this paper.
 63.
 64.
This can, but need not, be rationalised in terms of a Nash bargaining analysis of household resource allocation. See, for example, Gugl (2009). It would result from just about any model in which the weight given to an (adult) individual’s wellbeing in the household increases with their netoftax wage rate, as in the exchange model of Apps (1982) and the noncooperative models of Konrad and Lommerud (1995, 2000), or indeed earnings, as in the gametheoretic model of Basu (2006).
 65.
In the standard notation \(\varphi _{1}\) denotes \(\partial \varphi /\partial l_{2h}\) and so on.
 66.
Throughout this analysis we assume for simplicity that productivities k and q are determined by the wage type of the household as expressed by the gross wage rate \(w_{2h}\) rather than by the netoftax wage.
 67.
In contrast to this, empirical applications of the standard household model rely on a high degree of preference heterogeneity, expressed in terms of “preference errors”, to explain the data. The problem with this is that welfare comparisons across households then become problematic and controversial. This is avoided by having prices and productivities of child care as well as wages be the drivers of across household heterogeneity in labour supplies, since these determine the feasible set rather than preferences.
 68.
Where no confusion should arise we simplify notation by suppressing the type arguments \(w_{ih}\) in the indirect utility functions.
 69.
Case 1 can be thought of as the case in which this constraint is nonbinding.
Notes
Acknowledgements
We are grateful to Vidar Christiansen and participants in the 2016 CESIfo Public Economics Conference, and to Kai Konrad and participants at the 2016 Tax Research Conference organised by the Max Planck Institute for Tax Law and Public Finance and the Ross Parsons Centre, The University of Sydney Law School, as well as to the two referees, for very helpful comments. We also thank Yuri Andrienko for excellent research assistance. The research was supported under the Australian Research Council’s Discovery Project funding scheme (Project ID: DP120104115).
References
 Alesina, A., Ichino, A., & Karabarbounis, L. (2011). Gender based taxation and the division of family chores. American Economic Journal: Economic Policy, 3(2), 1–40.Google Scholar
 Almond, D., & Currie, J. (2011). Human capital development before age five. In O. Ashenfelter, & D. Card (Eds.), Handbook of labor economics, Vol 4b, Ch. 5 (pp. 1315–1686). Amsterdam: Elsevier.Google Scholar
 Andrienko, Y., Apps, P., & Rees, R. (2016). Optimal taxation and top incomes. International Tax and Public Finance, 23(6), 981–1003.CrossRefGoogle Scholar
 Apps, P. (1982). Institutional inequality and tax incidence. Journal of Public Economics, 18(2), 217–242.CrossRefGoogle Scholar
 Apps, P., Long, N. V., & Rees, R. (2014). Optimal piecewise linear income taxation. Journal of Public Economic Theory, 16(4), 523–545.CrossRefGoogle Scholar
 Apps, P., & Rees, R. (1988). Taxation and the household. Journal of Public Economics, 35(3), 355–369.CrossRefGoogle Scholar
 Apps, P., & Rees, R. (1999). On the taxation of trade within and between households. Journal of Public Economics, 73(2), 241–263.CrossRefGoogle Scholar
 Apps, P., & Rees, R. (2004). Fertility, female labour supply and public policy. Scandinavian Journal of Economics, 106(4), 745–763.CrossRefGoogle Scholar
 Apps, P., & Rees, R. (2009). Public economics and the household. Cambridge: Cambridge University Press.CrossRefGoogle Scholar
 Atkinson, A. (2015). Inequality: What can be done. Cambridge, MA: Harvard University Press.CrossRefGoogle Scholar
 Atkinson, A., Piketty, T., & Saez, E. (2011). Top incomes in the long run of history. Journal of Economic Literature, 49(1), 3–71.CrossRefGoogle Scholar
 Australian Bureau of Statistics. (2012). Household expenditure survey and survey of income and housing, Australia 2009–2010. Australian Bureau of Statistics—MiCRO. http://www.abs.gov.au/websitedbs/D3310114.nsf/home/Microdata.
 Basu, K. (2006). Gender and say: A model of household behaviour with endogenously determined balance of power. The Economic Journal, 116, 558–580.CrossRefGoogle Scholar
 Björklund, A., Lindahl, M., & Plug, E. (2006). The origins of intertemporal associations: Lessons from Swedish adoption data. Quarterly Journal of Economics, 121(3), 999–1028.CrossRefGoogle Scholar
 Black, S., & Devereux, P. (2011). Recent developments in intergenerational mobility. In O. Ashenfelter & D. Card (Eds.), Handbook of labor economics (Vol. 4b, pp. 1487–1541). Amsterdam: Elsevier.Google Scholar
 Black, S., Devereux, P., & Salvanes, K. (2005). Why the apple doesn’t fall far: Understanding intergenerational transmission of human capital. American Economic Review, 95(1), 437–449.CrossRefGoogle Scholar
 Blundell, R., & MaCurdy, T. (1999). Labor supply: A review of alternative approaches. In O. Ashenfelter & D. Card (Eds.), Handbook of labor economics (Vol. 3, pp. 1559–1695). Amsterdam: Elsevier.Google Scholar
 Boskin, M. (1975). Efficiency aspects of the differentiated tax treatment of market and household activity. Journal of Public Economics, 4(1), 1–25.CrossRefGoogle Scholar
 Boskin, M., & Sheshinski, E. (1983). Optimal tax treatment of the family: Married couples. Journal of Public Economics, 20(3), 281–297.CrossRefGoogle Scholar
 Brett, C. (2007). Optimal nonlinear taxes for families. International Tax and Public Finance, 14, 225–261.CrossRefGoogle Scholar
 Cherchye, L., De Roch, B., & Vermeulen, F. (2012). Married with children: A collective labor supply model with detailed time use and intrahousehold expenditure information. American Economic Review, 102(7), 3377–3405.CrossRefGoogle Scholar
 Chetty, R. (2009). Sufficient statistics for welfare analysis: A bridge between structural and reducedform methods. Annual Review of Economics, 1, 451–488.CrossRefGoogle Scholar
 Cremer, H., Lochazmeur, J.M., Maldonado, D., & Roeder, K. (2016). Household bargaining and the design of couples’ income taxation. European Economic Review, 89, 454–470.CrossRefGoogle Scholar
 Currie, J., & Moretti, E. (2003). Mother’s education and the intergenerational transmission of human capital: Evidence from college openings. Quarterly Journal of Economics, 118(4), 1495–1532.CrossRefGoogle Scholar
 Dahlby, B. (1998). Progressive taxation and the marginal social cost of public funds. Journal of Public Economics, 67(1), 105–122.CrossRefGoogle Scholar
 Dahlby, B. (2008). The marginal cost of public funds. Cambridge, MA: MIT Press.CrossRefGoogle Scholar
 Dahl, G., & Lochner, L. (2012). The impact of family income on child achievement: Evidence from changes in the EITC. American Economic Review, 102(5), 1927–1956.CrossRefGoogle Scholar
 Fehr, H., & Ujhelyiova, D. (2012). Fertility, female labour supply and family policy. German Economic Review, 14(2), 138–165.CrossRefGoogle Scholar
 Gugl, E. (2009). Income splitting, specialization and intrafamily distribution. Canadian Journal of Economics, 42(3), 1050–1071.CrossRefGoogle Scholar
 Heckman, J., & Killingsworth, M. (1986). Female labor supply: A survey. In O. Ashenfelter, & R. Layard (Eds.), Handbook of labor economics (Vol. 1, pp. 103–204). Amsterdam and New York: North Holland.Google Scholar
 Heckman, J. (1974). Effects of child care programs on women’s work effort. Journal of Political Economy, 82(2), S236–S263.CrossRefGoogle Scholar
 Holmlund, H., Lindahl, M., & Plug, E. (2001). The causal effect of parents’ schooling on children’s schooling: A comparison of estimation methods. Journal of Economic Literature, 49(3), 615–651.CrossRefGoogle Scholar
 Kleven, H., Kreiner, C., & Saez, E. (2009). The optimal income taxation of couples. Econometrica, 77(2), 537–560.CrossRefGoogle Scholar
 Konrad, K., & Lommerud, K. (1995). Family policy with noncooperative families. Scandinavian Journal of Economics, 97, 581–601.CrossRefGoogle Scholar
 Konrad, K., & Lommerud, K. (2000). The bargaining family revisited. Canadian Journal of Economics, 33(2), 471–487.CrossRefGoogle Scholar
 LaLumia, S. (2008). The effects of joint taxation of married couples on labor supply and nonwage income. Journal of Public Economics, 92(7), 1698–1791.CrossRefGoogle Scholar
 Löken, K., Mogstad, M., & Wiswall, M. (2012). What linear estimators miss: The effects of family income on child outcomes. American Economic Journal: Applied Economics, 4(2), 1–35.Google Scholar
 Lundberg, S., Pollak, P., & Stearns, J. (2016). Family inequality: Diverging patterns in marriage, cohabitation and childbearing. Journal of Economic Perspectives, 30(2), 79–102.CrossRefGoogle Scholar
 Lundborg, P., Nilsson, A., & Rooth, D.O. (2014). Parental education and offspring outcomes: Evidence from the Swedish compulsory schooling reform. American Economic Journal: Applied Economics, 6(1), 253–278.Google Scholar
 McClelland, R., Mok, S., & Pierce, K. (2014). Labor force participation elasticities of women as secondary earners within married couples. WP 201406, Congressional Budget Office, Washington, DC.Google Scholar
 Meier, V., & Rainer, H. (2015). Pigou meets Ramsey: Genderbased taxation with noncooperative couples. European Economic Review, 77, 28–46.CrossRefGoogle Scholar
 Milligan, K., & Stabile, M. (2011). Do child tax benefits affect the wellbeing of children? Evidence from Canadian child benefit expansions. American Economic Journal: Economic Policy, 3(3), 175–205.Google Scholar
 Mirrlees, J. (1971). An exploration in the theory of optimum income taxation. Review of Economic Studies, 38, 175–208.CrossRefGoogle Scholar
 Moffitt, R., & Wilhelm, M. (2000). Taxation and the labor supply decisions of the affluent. In J. Slemrod (Ed.), Does Atlas Shrug? The economic consequences of taxing the rich (pp. 193–234). New York: Russell Sage Foundation; Cambridge and London: Harvard University Press.Google Scholar
 Peter, K., Buttrick, S., & Duncan, D. (2010). Global reform of personal income taxation, 1981–2005: Evidence from 189 countries. National Tax Journal, 63(3), 447–478.CrossRefGoogle Scholar
 Piketty, T., & Saez, E. (2003). Income inequality in the United States, 1913–1998. Quarterly Journal of Economics, 118(1), 1–39.CrossRefGoogle Scholar
 Piketty, T., Saez, E., & Stantcheva, S. (2014). Optimal taxation of top labor incomes: A tale of three elasticities. American Economic Journal: Economic Policy, 6(1), 230–271.Google Scholar
 Rosen, H. (1977). Is it time to abandon joint filing? National Tax Journal, 30(4), 423–428.Google Scholar
 Saez, E., Slemrod, J., & Giertz, S. (2012). The elasticity of taxable income with respect to marginal tax rates: A critical review. Journal of Economic Literature, 50(1), 3–50.CrossRefGoogle Scholar
 Sandmo, A. (1990). Tax distortions and household production. Oxford Economic Papers, 42, 78–90.CrossRefGoogle Scholar
 Schroyen, F. (2003). Redistributive taxation and the household: The case of individual filings. Journal of Public Economics, 87, 2527–2547.CrossRefGoogle Scholar
 Sheshinski, E. (1972). The optimal linear income tax. Review of Economic Studies, 39, 297–302.CrossRefGoogle Scholar
 Sheshinski, E. (1989). Note on the shape of the optimum income tax schedule. Journal of Public Economics, 40(2), 201–215.CrossRefGoogle Scholar
 Slemrod, J., Yitzhaki, S., Mayshar, J., & Lundholm, M. (1994). The optimal twobracket linear income tax. Journal of Public Economics, 53(2), 269–290.CrossRefGoogle Scholar
 Steiner, V., & Wrohlich, K. (2004). Household taxation, income splitting and labor supply incentive: A microsimulation study for Germany. CESifo Economic Studies, 50, 541–568.CrossRefGoogle Scholar
 Steiner, V., & Wrohlich, K. (2008). Introducing family tax splitting in Germany: How would it affect the income distribution, work incentives, and household welfare? FinanzArchiv, 64(1), 115–142.CrossRefGoogle Scholar
 Stern, N. (1976). On the specification of optimum income taxation. Journal of Public Economics, 6(1–2), 123–162.CrossRefGoogle Scholar
 Tuomala, M. (1984). On the optimal income taxation: Some further numerical results. Journal of Public Economics, 23(3), 351–366.CrossRefGoogle Scholar
Copyright information
Open AccessThis article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.