1 Introduction

There is a long history of criticism of the system of joint taxation, commonly known as joint filing or income-splitting, by tax economists.Footnote 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 two-earner 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 evidenceFootnote 2 suggested that female workers had significantly higher compensated labour supply elasticities than did prime-age 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.Footnote 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, income-splitting 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.Footnote 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.Footnote 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.Footnote 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 net-of-tax 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 useFootnote 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 inequalityFootnote 8 and falling top tax rates.Footnote 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 income-splitting 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 well-being. Income-splitting 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 high-income primary earner can significantly reduce his tax bill. We show here that ending the advantage of income-splitting to high-income 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,Footnote 10 which up until now has focused either on linear taxation,Footnote 11 tax reform,Footnote 12 or on nonlinear taxationFootnote 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.Footnote 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.Footnote 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 functionsFootnote 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 two-earner 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 bought-in 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.Footnote 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 across-household inequality.Footnote 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.Footnote 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”,Footnote 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 across-household variation in these variables in an empirically plausible way.Footnote 21

Households are assumed to consist of couples with the same number of children, normalised at one.Footnote 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.Footnote 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 bought-in 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 market-determined 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 bought-in child care vary not only with its quality or type, or mix of types,Footnote 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.Footnote 25

An obvious motivation for working even when there is a negative net return is that the second earner is investing in maintaining her work-related 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.Footnote 26 An alternative is that the productivity/quality of bought-in care is sufficiently high that its contribution to child development can offset the negative return. There is no obvious reason for the costs of bought-in contributions to the development of the child’s human capital to be constrained by the income of only the second earner.

We model these observations in the following way. There is a composite market consumption good, x, individuals face given gross wage rates w, representing their productivities in a linear aggregate production technology that produces x, and have earnings \(y=wl\) from their labour supply l. In addition to the market consumption good, household utility depends on child care output, z,  which is produced using the second earner’s time input, c,  and a bought-in child care time input, b, according to a standard linear homogeneous, strictly quasiconcave and increasing production function

$$\begin{aligned} z=z(kc,qb) \end{aligned}$$
(1)

where k and q are strictly positive measures of the productivity/quality in child care of one unit of c and b, respectively. We assume that k is defined by \(k=k(w_{2})+\tilde{\kappa }\) with \(k^{\prime }(w_{2})>0\) and \(\tilde{\kappa }\in [\kappa _{0},\kappa _{1}]\subset \mathbf {R}\) a zero-mean random variable. The price of bought-in care of a given quality q is given by \(p=p(q)+\tilde{\varepsilon }\ge 0,\) where \(\tilde{\varepsilon }\in [\varepsilon _{0},\varepsilon _{1}]\subset \mathbf {R}\) is another zero-mean random variable and \(p^{\prime }(q)>0, p^{\prime \prime }(q)\ge 0.\)

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 bought-in child care \(\tilde{\varepsilon }.\) A household’s type is therefore defined by the 4-tuple \((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}\), across-household heterogeneity is driven by variations in \(p_{h}, w_{2h}\) and \(k_{h}.\)

The household utility function is given by

$$\begin{aligned} u_{h} = x_{h}-\hat{u}_{1}(l_{1h})+\hat{u}_{2}(z(k_{h}c_{h},q_{h}b_{h}))\quad h\in {\mathcal {H}} \end{aligned}$$
(2)

The \(\hat{u}_{1}(\cdot )\) function is a strictly increasing and strictly convex function of the primary earner’s labour supply \(l_{1h},\) representing the standard trade-off between work and leisure, while \(\hat{u}_{2}(\cdot )\) is a strictly increasing and strictly concave function of \(z_{h}\) and therefore of \(c_{h},b_{h}\).

For the second earner, the time spent in market work and child care must sum to the total time endowment,Footnote 27 normalised at 1, and so we have

$$\begin{aligned} c_{h}+l_{2h}=1 \quad h\in {\mathcal {H}} \end{aligned}$$
(3)

where \(l_{2h}\) is second earner market labour supply.

There is, however, a further important time constraint: although second earner time and bought-in child care may not be perfect substitutes as inputs in producing child care, realistically it is the case that every hour the second earner spends at work requires an hour of child care,Footnote 28 in which case

$$\begin{aligned} b_{h}=l_{2h} \quad \forall h\in {\mathcal {H}} \end{aligned}$$
(4)

In the absence of taxation, the household budget constraint is then

$$\begin{aligned} x_{h}\le w_{1h}l_{1h}+[w_{2h}-p_{h}(q_{h})]l_{2h}\quad h\in {\mathcal {H}} \end{aligned}$$
(5)

As this budget constraint shows, we can view the price of child care as in effect a tax on the second earner’s market labour supply and, at a given choice of quality, variations in \(w_{2h}\) and \(p_{h}\) have equal but opposite effects. It should be noted that empirically the possible range of variation of \(w_{2h}\)—from minimum wage to something typically below the primary earner’s wage—is much narrower than that of \(p_{h},\) which can range from zero to something greater than the primary wage. For that reason, in the numerical analysis in Sect. 4, we consider the effect of variations in \(p_{h}\) rather than in \(w_{2h}.\)

2.1 Household equilibrium

Using the above time constraints, the household’s problem can be written as

$$\begin{aligned} \max _{x_{h},l_{ih},q_{h}}u_{h}=x_{h}-\hat{u}_{1}(l_{1h})+\hat{u}_{2} (z(k_{h}(1-l_{2h}),q_{h}l_{2h}))\quad h\in {\mathcal {H}} \end{aligned}$$
(6)

subject to the budget constraint in (5), and \(k_{h}=k(w_{2h})+\kappa _{h}>0, p_{h}=p(q_{h})+\varepsilon _{h}>0,\) with \(\kappa _{h}\) and \(\varepsilon _{h}\) the household’s realisations of \(\tilde{\kappa }\) and \(\tilde{\varepsilon }\), respectively.

The first-order conditionFootnote 29 determining \(l_{2h}^{*}\) is rather more interesting than the conventional expressions determining second earner labour supply. We can write this as

$$\begin{aligned} \mathrm{MVP}_{\mathrm{c}}-\mathrm{MVP}_{\mathrm{b}}=w_{2h}-p_{h}=w_{2h}-(p(q_{h}^{*})+\varepsilon _{h}) \end{aligned}$$
(7)

where \(\mathrm{MVP}_{\mathrm{b}}, \mathrm{MVP}_{\mathrm{c}}\) denote the household marginal value products of bought-in and domestic child care, respectively, in terms of the numeraire consumption, at the household equilibrium. The right hand side of this equation is the household’s net marginal return to a unit of market labour supply \(l_{2h},\) and therefore, the marginal opportunity cost of domestic child care, given the bought-in child care quality \(q_{h}^{*}.\) The left hand side represents the difference in marginal value products of domestic and bought-in care, respectively. If we ignore bought-in care, the condition would be the standard \(\mathrm{MVP}_{\mathrm{c}}=w_{2h}.\) However, since an hour of \(l_{2h}\) requires an hour of \(b_{h}\), the return to market labour supply net of the cost of bought-in care will be equated to the difference between marginal value products of the two types of child care.

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 modelFootnote 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 bought-in 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.Footnote 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 sumFootnote 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.Footnote 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 “non-convex” cases, respectively, to describe the types of budget sets in the gross income-net income/consumption plane to which they give rise. For the purposes of this paper, we focus on the convex case of a two-bracket piecewise linear system.Footnote 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, so-called selective or gender-based taxation.Footnote 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.Footnote 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

There is a two-bracket piecewise linear taxFootnote 37 on total household labour earnings, defined by \(\mathbf {\zeta } _{1}\mathbf {=} (\alpha ,\tau _{1},\tau _{2},\eta ),\) where \(\alpha \) is the uniform lump sum paid to every household, \(\tau _{1}\),\(\tau _{2}\) are the marginal tax rates in the lower and upper brackets of the tax schedules, and \(\eta \) is the value of joint earnings defining the bracket limit. The household tax function is \(T(y_{1h},y_{2h})\equiv T(y_{h}),\) with \(y_{h} =\sum _{i=1}^{2}y_{ih},\) where households are indexed by \(h\in {\mathcal {H}}\) and \(y_{ih}\) is the labour income of individual \(i=1,2\) in household h,  with by definition \(y_{2h}\le y_{1h}.\) This function is given by:

$$\begin{aligned} T(y_{h})= & {} -\alpha +\tau _{1}y_{h}\quad y_{h}\le \eta \end{aligned}$$
(8)
$$\begin{aligned} T(y_{h})= & {} -\alpha +\tau _{2}y_{h}+(\tau _{1}-\tau _{2})\eta \quad y_{h} >\eta \end{aligned}$$
(9)

Given that all households face this identical budget constraint, it is straightforward to show that the optimal income \(y_{h}^{*}\) for any one household must be in one of three possible subsets,Footnote 38 which give a partition \(\{{\mathcal {H}}_{0},{\mathcal {H}} _{1},{\mathcal {H}}_{2}\}\) of the index set \({\mathcal {H}}\) defined as follows:

$$\begin{aligned} {\mathcal {H}}_{0}= & {} \{h \mid 0\le y_{h}^{*}<\eta \} \end{aligned}$$
(10)
$$\begin{aligned} {\mathcal {H}}_{1}= & {} \{h\mid y_{h}^{*}=\eta )\} \end{aligned}$$
(11)
$$\begin{aligned} {\mathcal {H}}_{2}= & {} \{h \mid y_{h}^{*}>\eta \} \end{aligned}$$
(12)

A household’s optimum income may be either in the lower tax bracket, at the kink in the budget constraint defined by the bracket limit \(\eta ,\) or in the upper tax bracket. In all of what follows we assume that we are dealing with tax systems in which each of these subsets is non-empty. Total household gross and net income are increasing continuously as we move from \({\mathcal {H}}_{0}\) to \({\mathcal {H}}_{1}\) and from \({\mathcal {H}}_{1}\) to \({\mathcal {H}}_{2},\) while they are both constant in \({\mathcal {H}}_{1}.\) Important points to note are that:

  • \(\tau _{1}\) is a marginal tax rate for \(h\in {\mathcal {H}}_{0}\) but defines an intra-marginal, non-distortionary 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.Footnote 39

3.2.1 Optimal tax analysis

We define \(\mathrm{d}F\) as the marginal density of household type h. The planner solves

$$\begin{aligned} \max _{\alpha ,\tau _{1},\tau _{2},\eta }W=\int _{h\in {\mathcal {H}}}S(v_{h})\mathrm{d}F \end{aligned}$$
(13)

subject to the public sector budget constraintFootnote 40

$$\begin{aligned} \tau _{1}\left[ \int _{h\in {\mathcal {H}}_{0}}y_{h}\mathrm{d}F+\eta \int _{h\in {\mathcal {H}}_{1} }\mathrm{d}F\right] +\int _{h\in {\mathcal {H}}_{2}}[\tau _{2}y_{h}+(\tau _{1}-\tau _{2})\eta ]\mathrm{d}F\ge \alpha \end{aligned}$$
(14)

where \(S(\cdot )\) is a strictly concave and increasing function expressing the planner’s distributional preferences over household utilities. From the first-order conditions characterising the optimal tax variablesFootnote 41 we can derive:

Proposition 1

The optimal tax system \((\alpha ,\tau _{1},\tau _{2},\eta )\) can be characterised by the following conditions:

Marginal social utility of incomes:

$$\begin{aligned} \int _{{\mathcal {H}}}(\sigma _{h}-1)\mathrm{d}F=0 \end{aligned}$$
(15)

Lower bracket marginal tax rate:

$$\begin{aligned} \tau _{1}^{*}=\frac{\int _{{\mathcal {H}}_{0}}(\sigma _{h}-1)y_{h}^{*} \mathrm{d}F+\eta ^{*}\int _{{\mathcal {H}}_{1}\cup H_{2}}(\sigma _{h}-1)\mathrm{d}F}{\int _{{\mathcal {H}}_{0}}(\partial y_{h}/\partial \tau _{1})\mathrm{d}F} \end{aligned}$$
(16)

Upper bracket marginal tax rate:

$$\begin{aligned} \tau _{2}^{*}=\frac{\int _{{\mathcal {H}}_{2}}(\sigma _{h}-1)(y_{h}^{*} -\eta ^{*})\mathrm{d}F}{\int _{{\mathcal {H}}_{2}}(\partial y_{h}/\partial \tau _{2} )\mathrm{d}F} \end{aligned}$$
(17)

Determination of bracket limit:

$$\begin{aligned} \int _{{\mathcal {H}}_{1}}\left\{ \sigma _{h}\left[ (1-\tau _{1})-\frac{\partial \psi }{\partial y_{h}}\right] +\tau _{1}^{*}\right\} \mathrm{d}F=-(\tau _{2}^{*}-\tau _{1}^{*})\int _{{\mathcal {H}}_{2}}(\sigma _{h}-1)\mathrm{d}F \end{aligned}$$
(18)

where \(y_{h}^{*}\) denotes household income at the optimum and \(\sigma _{h}\) is the marginal social utility of income to household h.

Condition (15) follows from the quasilinearity of the utility functions and is familiar from linear tax theoryFootnote 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}\) co-monotonic, the lower tax bracket would contain not only the lower incomes but also the lower utilities.Footnote 43 But because, as shown in the previous section, the household model of this paper does not imply this co-monotonicity, 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 income-splitting 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 frequency-weighted 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 intra-marginal 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.Footnote 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.Footnote 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.Footnote 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 is a two-bracket piecewise linear tax system now applied to individual labour earnings, defined by \(\mathbf {\zeta }_{2} \mathbf {=} (a,t_{1},t_{2},y),\) where a is again a uniform lump sum paid to every household, \(t_{1}\),\(t_{2}\) are the marginal tax rates in the lower and upper brackets, and y is the value of individual earnings defining the bracket. Thus, the individual tax function \(\hat{T}(y_{ih})\) is defined by:

$$\begin{aligned} \hat{T}(y_{ih})= & {} t_{1}y_{ih}\quad y_{ih}\le y \end{aligned}$$
(19)
$$\begin{aligned} \hat{T}(y_{ih})= & {} t_{2}y_{ih}+(t_{1}-t_{2})y\quad y_{ih}>y\quad h\in {\mathcal {H}} \end{aligned}$$
(20)

and the household tax function is \(T(y_{1h},y_{2h})\equiv -a+\sum _{i=1}^{2} \hat{T}(y_{ih}).\) Given that, by definition, \(y_{2h}^{*}\le y_{1h}^{*}\) for every household, and that under individual taxation everyone faces the same tax schedule, it is easy to see that there are now six possible subsets of households which form a partition \(\{H_{0},H_{1},\ldots ,H_{5}\}\) of the index set \({\mathcal {H}},\) defined by

$$\begin{aligned} H_{0}= & {} \{h \mid 0\le y_{ih}^{*}<y, i=1,2\} \end{aligned}$$
(21)
$$\begin{aligned} H_{1}= & {} \{h \mid y_{2h}^{*}<y=y_{1h}^{*}\} \end{aligned}$$
(22)
$$\begin{aligned} H_{2}= & {} \{h \mid y_{ih}^{*}=y, i=1,2\} \end{aligned}$$
(23)
$$\begin{aligned} H_{3}= & {} \{h \mid y_{2h}^{*}<y<y_{1h}^{*}\} \end{aligned}$$
(24)
$$\begin{aligned} H_{4}= & {} \{h \mid y_{2h}^{*}=y<y_{1h}^{*}\} \end{aligned}$$
(25)
$$\begin{aligned} H_{5}= & {} \{h \mid y_{ih}^{*}>y, i=1,2\} \end{aligned}$$
(26)

In \(H_{0}\)\(H_{2}\) both individuals pay the lower tax rate, in \(H_{3}\) and \(H_{4}\) the primary earner alone pays the higher tax rate, and in \(H_{5}\) both pay the higher tax rate.

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, high-wage 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.Footnote 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 lower-wage two-earner 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 income-splitting advantage to a high-wage 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 well-being 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

To shorten notation denote the subset \(H_{i}\cup H_{j}\) by \(H_{ij}\) , and \(H_{i}\cup H_{j}\cup H_{k}\) by \(H_{ijk}, i,j,k=0,\ldots ,5, i\ne j, i,j\ne k\). The planner solves

$$\begin{aligned} \max _{a,t_{1},t_{2},y}W=\int _{{\mathcal {H}}}S(v_{h})\mathrm{d}F \end{aligned}$$

subject now to the public sector budget constraint

$$\begin{aligned} \int _{H_{012}}t_{1}y_{h}\mathrm{d}F+\int _{H_{34}}[t_{2}y_{1h}+t_{1}y_{2h}+(t_{1} -t_{2})y]\mathrm{d}F+\int _{H_{5}}[t_{2}y_{h}+2(t_{1}-t_{2})y]\mathrm{d}F\ge a \end{aligned}$$
(27)

where again \(y_{h}=\sum _{i=1}^{2}y_{ih}.\)

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.Footnote 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 first-order conditions for an optimal solutionFootnote 49 we derive:

Proposition 2

The optimal tax system \((a,t_{1},t_{2},y)\) is characterised by the conditions:

Marginal social utility of incomes:

$$\begin{aligned} \int _{{\mathcal {H}}}\delta _{h}\mathrm{d}F=0 \end{aligned}$$
(28)

Lower bracket marginal tax rate:

$$\begin{aligned} t_{1}^{*}=\frac{\int _{H_{0}}\delta _{h}y_{h}^{*}\mathrm{d}F+\int _{H_{13}} \delta _{h}(y_{2h}^{*}+y^{*})\mathrm{d}F+2y^{*}\int _{H_{245}}\delta _{h}\mathrm{d}F}{\int _{H_{0}}\partial y_{1h}/\partial t_{1}\mathrm{d}F+\int _{H_{013}}\partial y_{2h}/\partial t_{1}\mathrm{d}F} \end{aligned}$$
(29)

Upper bracket marginal tax rate:

$$\begin{aligned} t_{2}^{*}=\frac{\int _{H_{345}}\delta _{h}(y_{1h}^{*}-y^{*} )\mathrm{d}F+\int _{H_{5}}\delta _{h}(y_{2h}^{*}-y^{*})\mathrm{d}F}{\int _{H_{345}}\partial y_{1h}/\partial t_{2}\mathrm{d}F+\int _{H_{5}}\partial y_{2h}/\partial t_{2}\mathrm{d}F} \end{aligned}$$
(30)

Determination of bracket limit:

$$\begin{aligned}&\int _{H_{12}}(\sigma _{h}\mu _{1h}+t_{1})\mathrm{d}F+\int _{H_{24}}(\sigma _{h}\mu _{2h}+t_{1})\mathrm{d}F=\nonumber \\&\quad -\,(t_{2}-t_{1})\left[ \int _{H_{34}}\delta _{h}\mathrm{d}F+2\int _{H_{5}}\delta _{h}\mathrm{d}F\right] \end{aligned}$$
(31)

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 lower-income second earners than that for \(\tau _{1}^{*}\), since the subset \(H_{013}\) contains second earners who, because they are in households with high-wage 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 high-wage primary earners, who have lost the income-splitting 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.Footnote 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 lower-wage two-earner 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 intra-marginal 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 high-wage 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 well-known 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.Footnote 51 Following this tradition, we draw on household survey data for a sample of two-parent 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.

The quasilinear utility function introduced in Sect. 2 is specified as

$$\begin{aligned} u_{h}=x_{h}-(y_{1h}/w_{1h})^{\alpha _{1}}+z_{h}^{\alpha _{2}}\quad h\in {\mathcal {H}} \end{aligned}$$
(32)

with \(\alpha _{1}=(1+e_{1})/e_{1}>1\), where \(e_{1}\) is the elasticity of labour supply with respect to the net wage of the primary earner, and \(\alpha _{2} \in (0,1)\). All households are assumed to have the same preferences and therefore the same parameters in the household utility function.

Child care, z, is the output of a CES production function:

$$\begin{aligned} z_{h}=\gamma [\beta _{h}(k_{h}c_{h})^{\rho _{h}}+(1-\beta _{h})(q_{h} b_{h})^{\rho _{h}}]^{1/\rho _{h}}\quad h\in {\mathcal {H}} \end{aligned}$$
(33)

where \(\gamma >0\) is a scaling factor, the parameter \(\rho _{h}\) determines the elasticity of substitution between the second earner’s home care input and bought-in child care, \(1/(1-\rho _{h})\), and \(\beta _{h}\in (0,1)\).

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 sample of two-parent families is drawn from the Australian Bureau of Statistics (ABS) 2009–2010 Survey of Income and Housing.Footnote 52 We first construct a percentile primary wage distribution from the data for primary earnings and hours of work. The wage in each percentile is calculated as average gross hourly earnings, with hours smoothed across the distribution.Footnote 53 A second profile representing the average second earner wage at each primary wage percentile is constructed from the data on second earnings and hours.Footnote 54 Both profiles are plotted in Fig. 1.

Fig. 1
figure 1

Percentile wage distributions

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}\).Footnote 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 net-of-tax wage rates, prices of bought-in 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 pre-tax benchmark population of households giving an optimal second earner labour supply at every wage pair of 5 h/day (which is marginally above the after-tax 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.

We perturb the benchmark labour supplies by varying \(p_{h}\) above and below its benchmark value, \(p_{h}=w_{2h}\), by the same percentage at each wage pair,Footnote 56 solving for the household equilibria in each case. In this way, we generate subsamples of households in which second earner labour supplies are, respectively, above and below the benchmark median, corresponding to the households facing lower/higher prices. This provides us with a population of heterogeneous households for which we then compute optimal piecewise linear tax systems based on joint and individual incomes, respectively. Figure 2 illustrates this procedure for variation in \(p_{h}\).

Fig. 2
figure 2

Model 1

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 bought-in 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/bought-in 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 bought-in 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.

Table 1 reports results for a price variation of ± 15%. The table compares the optimal marginal tax rates and lump sum, the bracket point and aggregate social welfare, SW, under piecewise linear joint and individual taxation for \(\rho =0.82\), a value which generates second earner labour supplies that approximate the data means of the H1 and H2 subsamples. The results for the optimal tax parameters show that individual taxation is consistently superior to joint taxation for \(\pi =0.2\) to 0.6 and becomes increasingly superior as the degree of inequality aversion, \(\pi \), rises.

Table 1 Model 1: Child care price variation: \(\pm \,0.15\), with \(\rho = 0.82\)

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 bought-in 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 re-ranking across the distribution of primary income, despite the wide gap in market hours generated by the variation in \(p_{h}\).

Table 2 reports results for a higher degree of price variation of \(\pm ~25\%\). To match the data on labour supplies when the degree of price variation rises/falls from ± 15 to ± 25%, it is necessary to reduce the value of \(\rho \) to 0.7. The explanation is straightforward. To obtain labour supplies within ranges consistent with the data as the degree of price variation rises, we need to assume that home and bought-in care are less close substitutes, as implied by a lower value for \(\rho \).

Table 2 Model 1: Child care price variation: \(\pm \,0.25\), with \(\rho = 0.7\)

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 bought-in 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 re-ranking is minimal.

Table 3 extends the analysis by combining two degrees of price variation, which gives four rather than two relative prices for child care in each percentile, that is, \(p_{h}\in \{p^{1},\ldots ,p^{4}\}\), which increases the total number of household records from 200 to 400. The table reports the results for price variations of ± 25 and ± 50% above and below the benchmark price. To match the data when the degree of price variation rises to ± 50%, it is necessary to set \(\rho =0.5\). Again we find individual taxation remains consistently superior to joint taxation and becomes increasingly so as \(\pi \) rises from 0.2 to 0.6.Footnote 57

Table 3 Model 1: Child care price variation: \(\pm \,0.25\); \(\pm \,0.50\), with \(\rho = 0.5\)

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 income-splitting 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 counter-productive 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

Model 2 incorporates the assumptions on domestic time productivity and the quality and price of bought-in child care time adopted in the estimation of two-person family labour supply models underlying much of the current literature.Footnote 58 A key assumption is that the productivity of home child care time, \(k_{h}\) (typically labelled “leisure”), is constant across all households, with 1 h priced at the wage. In addition, with market consumption, x, defined as a Hicksian composite good and selected as numeraire with price of one, the standard empirical model implicitly sets \(k_{h}=1\) across all households,Footnote 59 in contrast to \(\ k_{h}=w_{2h}\) in Model 1. Since this literature also defines bought-in child care as expenditure on the market good, we can denote expenditure on child care by \(x_{bh}\) and rewrite the household’s budget constraint as

$$\begin{aligned} x_{h}+x_{bh}\le \sum _{i=1}^{2}w_{ih}l_{ih}\quad h\in {\mathcal {H}} \end{aligned}$$
(34)

and the child care production function as

$$\begin{aligned} z_{h}=\gamma \left[ \beta c_{h}^{\rho _{h}}{}+(1-\beta )x_{bh}^{\rho _{h} }\right] ^{1/\rho _{h}}\quad h\in {\mathcal {H}} \end{aligned}$$
(35)

In this model variation in the price of bought-in child care across households, an exogenous variable, is necessarily interpreted as a variation in the quantity of child care, since this is measured by expenditure.Footnote 60

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 bought-in 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 pre-tax 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.

This benchmark case, since it again implies identical marginal value productivities for the inputs \(c_{h}\) and \(x_{bh},\) would look very similar to that shown in Fig. 2 earlier, but now we perturb the equilibrium by varying the determinant of the elasticity of substitution, \(\rho _{h},\) as just discussed. This generates different pairs of marginal productivity curves for H1 and H2 households, which intersect at different levels of labour supplies/domestic child care. We select values of \(\rho _{h}\) above and below \(\rho =0\) that generate labour supplies for H1 and H2 households that match their data means. This outcome is achieved by setting \(\rho _{1h}=-\,0.65\) and \(\rho _{2h}=0.3\). Table 4 presents results for the optimal marginal tax rates and lump sums, bracket points and aggregate social welfare values, SW, under piecewise linear joint and individual taxation for \(\pi =0.2\) to 0.6.

Table 4 Model 2: Variation in \(\rho _{\mathrm{h}}\): \(\rho _{1}= -\,0.65\) and \(\rho _{2 }= 0.3\)

The values selected for \(\rho _{1h}\) and \(\rho _{2h}\) imply that home and bought-in 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 well-founded 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.Footnote 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.Footnote 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 income-splitting 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 high-wage 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 well-being 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 income-splitting advantage leads to high-wage 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 pre-tax 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 well-being of the two individuals correspond to those applied by the tax authority or “planner”.Footnote 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 net-of-tax wage rates,Footnote 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 within-household as well as between-household equity.