On measuring axiom violations due to each tax instrument applied in a real-world personal income tax

In their seminal paper, Kakwani and Lambert (Eur J Polit Econ 14:369–380, 1998) state three Axioms an equitable tax system should respect. By proposing a measurement system based on re-ranking indexes of taxes, tax rates and post-tax incomes, they show how to evaluate the negative influences that Axiom violations exert on the redistributive effect of a tax. By considering each element of a real-world personal income tax, i.e. deductions and tax credits as well as statutory tax rates, in this study we take a theoretical step further by decomposing the magnitude of the three Axiom violations produced by all these tax elements. We propose two complementary strategies. The first one is a ‘stepwise’ decomposition computing the effect of each element of the tax on the redistributive effect when they are sequentially applied; the second strategy is an ‘overall and simultaneous’ decomposition always evaluating the effect of small changes in deductions, tax rates and tax credits with respect to the pre-tax income distribution, once all the three tax instruments have been simultaneously applied. These strategies can be more suitable and effective in measuring the loss of the redistributive effect produced by each tax element because of axiom violations. We also show that they can give different information on the existing inequities of the tax. We finally emphasize the goodness of our approach by applying it to a real world personal income tax.


Introduction
As Kakwani and Lambert (1998) point out, the redistributive effect achieved by a real-world tax system has to be performed respecting social equity principles.In this respect, the two basic commands of social equity are the equal treatment of equals and the appropriately unequal treatment of unequals.Real world taxes violate these two commands, and the magnitude of their violations depends on several factors, primarly the structure of the tax and the different tax instruments, such as deductions, tax credits and statutory marginal tax rates; as a consequence, the choice of the tax parameters plays a crucial role (Morini and Pellegrino 2018;Pellegrino et al. 2019).Moreover, as Aronson et al. (1994) stress, equity violations should be considered for given specifications of the utility or income relationship.
As it is well known, the overall redistributive effect of a tax, and mainly a personal income tax, is quantified by the difference between the Gini coefficient for pretax incomes and the corresponding one observed for post-tax incomes.This overall effect measures the magnitude of the income inequality reduction due to the application of the tax.Kakwani and Lambert (1998) suggest the potential equity of the tax coincides with the redistributive effect that could be achieved were all (vertical and horizontal) inequities abolished by feasible rearrangements of tax parameters able to keep unchanged either the tax revenue or the tax structure.Clearly, the assessment of the potential equity requires a definition of an equitable tax system.These authors also propose an exhaustive approach to measure inequity in taxation.According to their methodology, an equitable tax system should respect three Axioms: taxes should increase monotonically with respect to people's ability to pay (Axiom 1); richer taxpayers should pay taxes at higher rates (Axiom 2); no re-ranking should occur in people's living standards (Axiom 3).
Violations of each one of the three Axioms provide the means to characterise the type of inequity present in an income tax system.The benchmark is a perfectly equitable tax system in which all three Axioms are satisfied.The reference distribution could be the pre-tax income one or the living standard one.To properly apply this approach, Kakwani and Lambert (1998) stress that nominal incomes and taxes should be transformed "by means of an equivalence scale, chosen to represent the value judgement of the social policy".Without a proper "mapping from a household's size and money income to its per capita living standards" the evaluation of the role of tax rates, allowances, deductions and tax credits would be misleadingly evaluated.Of course, as the Authors recall, different equivalence scales will in general lead to different assessments; however, as they observe, the alternative way would be to accept "that the tax system must by definition be treating families of different sizes equitably with respect to each other". 1 Moreover, by considering the 1 This is a crucial issue and it has been largely discussed in the literature.Ebert and Moyes (2000) consider the redistributive impact of income taxation for heterogeneous populations.They explore the relationships among equivalence scales, tax systems and inequality measures, and establish the conditions under which either equivalence scales or taxation systems must be subjected to yield an overall inequality reduction, i.e. both within groups having homogenous needs and among groups having different needs.These Authors also explain that the equivalent income function cannot be defined except with some degree of uncertainty, as also discussed in Moyes and Shorrocks (1998).See also Lambert andYitzhaki (1995, 1997) and Badenes-Plá et al. (2001) for a further discussion on the role of deductions and tax 1 3 On measuring axiom violations due to each tax instrument applied… net tax liability distribution, the tax rate distribution and, finally, the post-tax income distribution, Kakwani and Lambert (1998) suggest that the extent of each overall Axiom violations can be measured by the Atkinson-Kakwani-Plotnick re-ranking index of each distribution.By applying these re-ranking indexes as well as considering the Kakwani (1977) progressivity index and the Kakwani (1984) decomposition of the redistributive effect, Kakwani and Lambert (1998) evaluate the implicit or potential equity in the tax system reachable in the absence of inequities.
In this paper we maintain the original Kakwani and Lambert (1998) definition of equity in income taxation by means of the three Axioms and we take a theoretical step further by measuring the magnitude of each Axiom violations produced by each tax element (deductions, tax credits and statutory marginal tax rates).We propose two complementary strategies to decompose each Axiom violations; these methodologies seem to be suitable to explore which features of the tax contribute the most to the removal of a real-world tax from a perfectly equal one.The first one is a 'stepwise' decomposition computing the effect of each element of the tax (namely deductions, tax rates and tax credits) on the redistributive effect when they are sequentially applied; the second strategy is an 'overall and simultaneous' decomposition always evaluating the effect of small changes in deductions, tax rates and tax credits with respect to the pre-tax income distribution, once the three tax instruments have been simultaneously applied.In our opinion these strategies can be more suitable and effective in measuring the loss of the redistributive effect produced by each tax element because of axioms violations, and they can also give different information on the existing inequities of the tax.
Our methodologies differ from the existing literature and focus on two innovations.While tax credits exert a direct effect on the net tax liability, deductions exert an indirect one since their application influences the tax base definition that in turn affects the tax saving in presence of several marginal tax rates.We then do not compare the inequality of the pre-tax distribution with the tax base one, but we compute the effect of deductions by comparing the gross tax liability when calculated on the tax base with the hypothetical one obtained by applying the tax rates to the whole pre-tax income.In so doing we properly isolate the impact that deductions exert on the net tax liability.We apply these new approaches to a simple theoretical distribution of incomes in order to both assess their potentialities and show how the 'step by step' decomposition and the 'overall' one can lead to contrasting results.Finally, we also apply these methodologies to a real-world personal income tax.
The structure of the remainder of the paper is as follows.Section 2 first introduces the notation used throughout; Sect. 3 summarises the existing literature and presents the three Axioms proposed by Kakwani and Lambert (1998) when the whole tax structure is considered.Section 4 presents our methodology explaining how Axiom violations can be decomposed by tax components.Section 5 first presents the data and the microsimulation model employed in the empirical analysis credits, and the papers by Lambert (1993) and Aronson et al. (1994) as well as Lambert (1994) on related issues.

Starting definitions
Considering a generic personal income tax, we start by defining all the variables influencing the transition from pre-to post-tax income.A population of N income earners, with i = (1, … , N) , is considered.Let x i be the taxpayer i's gross income.The corresponding taxable income b i is given by the difference between gross income x i and all taxpayer i's allowances and deductions d i , so that b i = x i − d i . 2et f (b i ) be the gross tax liability produced by applying the marginal tax rates3 and r( . We can express the gross tax liability as the average tax rate corresponding to the taxable income b i .Were the marginal tax rates applied to x i instead to b i , the resulting tax liability would be v i = r(x i )x i , being r(x i ) the average tax rate corresponding to the taxable income x i .When the rate schedule is not linear and the taxpayer can benefit from deductions, r(x i ) is greater than r(b i ) .The difference between v i and s i depends on both d i and r Finally, the net tax liability t i is equal to the gross tax liability s i minus all the tax credits c i from which taxpayer i can benefit.It follows that the net tax liability is computed as Let's consider an attribute E = ( 1 , … , N ) in which quantities are ordered in non decreasing order ( i−1 ≤ i ∀i ).To evaluate the inequality within these distributions, we employ the Gini (1914) , where E is the average value of the considered distribution, cov represents the covariance, and F(E) is the cumulative distribution function (Kakwani 1980;Jenkins 1988).
Let's consider another attribute H = ( 1 , … , N ) related to the same set of N sta- tistical units.The attribute H can be characterised by a different distribution than the attribute E, so that F(H) does not necessarily coincide with F(E).As a consequence, for every possible pair of statistical units (i, j), it is not granted that i and j are similarly ranked as i and j .We define C H|E = 2 H −1 cov H, F(E) the concentration 1 3 On measuring axiom violations due to each tax instrument applied… coefficient, so that C H|E is evaluated for the attribute H when the values of H are ranked according to the non decreasing order of the attribute E. The difference between G H and C H|E measures to which extent the non decreasing ordering of the attribute H differs from the non decreasing ordering of the attribute E, when dealing with the same set of N statistical units.Following the existing literature (Kakwani 1977;Reynolds and Smolensky 1977;Lambert 2001), the overall redistributive effect is measured by RE = G X − G Z = RS − R Z|X , where RS = G X − C Z|X is the Reynolds-Smolensky index and R Z|X = G Z − C Z|X is the Atkinson-Plotnick-Kakwani index, which com- putes the extension of the re-ranking of post-tax incomes with respect to pre-tax ones (Atkinson 1980;Plotnick 1981;Kakwani 1984). 4Similarly, the overall degree of tax progressivity is measured using the Kakwani index K = C T|X − G X .As it is well known, RS and K are linked by the overall average tax rate = 3 Considering axiom violations for the whole tax structure

Non-technical explanation
As observed, the overall redistributive effect of a (personal income) tax RE measures the magnitude of the income inequality reduction due to the application of the tax.It is quantified by the difference between the Gini coefficient for the pre-tax incomes and the corresponding one observed for the post-tax incomes, that is RE = G X − G Z .
For each pre-tax income, the corresponding post tax one primarily depends on the tax structure.This means that in the transition from the pre-to the post-tax distribution the tax should be performed respecting social equity principles.In this respect, the two basic commands of social equity are the equal treatment of equals and the appropriately unequal treatment of unequals.
In their seminal study, Kakwani and Lambert (1998) define three Axioms that should be respected by an equitable income tax: the tax liability should increase 4 In order to explain the meaning of the re-ranking of post-tax incomes with respect to pre-tax ones, and which are the orderings considered in evaluating the Gini and concentration coefficients, we can take a simple example.Consider three taxpayers whose gross incomes are 20, 22 and 24; note that these gross incomes are ranked in non decreasing order.Now, suppose that their post tax incomes are 16, 15 and 14, respectively, since taxpayers pay 4, 7 and 10, respectively, of taxes.The ordering of tax liabilities is the same of the ordering observed for gross incomes, whilst the ordering of net incomes is reversed with respect to the one observed for pre-tax incomes.When the Gini coefficient for gross incomes is evaluated, the list 20, 22 and 24 is considered; when the Gini coefficient for net incomes is computed, the list 14, 15 and 16 is considered, that is the ordering of net incomes ranked in non decreasing order; finally, when the concentration coefficient for net incomes is computed, the list 16, 15 and 14 is considered, that is the net incomes ranked according to the pre-tax income ordering.The Atkinson-Plotnick-Kakwani index evaluates the difference of post-tax income inequality in two circumstances: a first time when the list 14, 15 and 16 is considered; a second time when the list 16, 15 and 14 is taken into account.In so doing, this re-ranking index evaluates the importance of the ordering changes in the transition from the pre-to the post-tax incomes.
monotonically with respect to people's ability to pay (Axiom 1); richer taxpayers should pay taxes at higher rates (Axiom 2); no re-ranking should occur in people's living standards (Axiom 3).In technical notation it means that for each observed pair of values x i ≥ x j , the first Axiom requires that t i ≥ t j (minimal progression), the second Axiom demands ti = is taxpayer i's average tax rate (progressive principle), and Axiom 3 requests z i ≥ z j (no re-ranking).The first two Axioms are related to vertical equity, that is the unequal treatment of unequals, whilst the last one is related to horizontal equity.
Unfortunately, real world taxes violate these two commands, that is the three Axioms.Kakwani and Lambert (1998) suggest the potential equity of the tax RE P coincides with the redistributive effect that could be achieved were all (verti- cal and horizontal) inequities abolished by feasible rearrangements of tax parameters able to keep unchanged either the tax revenue or the tax structure.In order to obtain the actual redistributive effect RE, the magnitude of each Axiom violations ( AV 1 , AV 2 , AV 3 ) has to be subtracted by the potential redistributive effect RE P .Fol- lowing this approach, the overall redistributive effect RE can be decomposed as:

Technical explanation
Employing the re-ranking indexes of taxes , and post-tax incomes R Z|X = G Z − C Z|X , the authors measure5 the negative influences of each Axiom vio- lations.More precisely, Kakwani and Lambert (1998) quantify the overall Axiom 1 violations as: whereas gross violations of Axiom 2 can be quantified as6 net violations of Axiom 2 as On measuring axiom violations due to each tax instrument applied… and violations of Axiom 3 as In particular, the overall potential redistributive effect RE P can be evaluated as By adding the tax re-ranking index to the Kakwani (1977) progressivity index, they evaluate the potential equity that the tax system would reach in the absence of Axiom 1 violations.Analogously, by adding the tax-rate re-ranking index to the Kakwani progressivity index, they estimate the potential equity which the tax system would reach in the absence of Axiom 2 violations, that is to say, in the absence of the progressive principle violations.Finally, the usual Atkinson-Plotnick-Kakwani index evaluates Axiom 3 violations.

A stylized example
Suppose the existence of four individuals representing a collectivity.Each individual is the only person with a positive income within each household.Their nominal pre-tax incomes are, respectively, 500, 600, 700 and 1.000 euros.The tax strucure is very simple: a deduction d i , with i = (1, 2, 3, 4) , equal to 100 euros is applied to everyone; the rate schedule is as follows: 20% up to 600 euros, 30% between 600 and 750 euros, 40% between 750 an 900 euros and 50% above 900 euros; since each individual belongs to a household with different characteristics, tax credits are different: 25 euros for the poorest taxpayer, 15 for the second one, 7 for the third and 150 for the richest one.Table 1 shows how each taxpayer evaluates the transition from the pre-to the post-tax income.
Since we image the household composition be different among the four households, in order to compute equivalent values we employ an equivalence scale as shown in Table 2.
As can be noted, given equivalent pre-tax incomes ordered in non decreasing order, deductions and tax bases as well as post-tax incomes are still ordered in non decreasing ( 4) order, whilst the opposite occurs for gross tax liabilities, tax credits, net tax liabilities and average tax rates.
In this simple example, Kakwani and Lambert (1998) methodology underlines that inequities depend on the distribution of tax liabilities and average tax rates, when compared with the pre-tax income distribution.Why is this?Since all tax instruments (deductions, statutory marginal tax rates and tax credits) influence each taxpayer's net tax liability, which of them contribute the most to Axiom 1 and 2 violations?Which parameters of the tax should be changed in order to reduce Axiom violations?We try to answer these questions in the following part of the paper.

Decomposing axiom violations
As observed, the personal income tax structure is composed by three main tax instruments: deductions, statutory marginal tax rates and tax credits.The transition from the pre-to the post-tax income depends on all of them.In particular, deductions and tax credits modify the gross tax liability that would be generated were only the statutory marginal tax rates applied to the pre-tax income.Motivations for introducing deductions and tax credits in addition to the statutory marginal tax rates are numerous and not necessarily consequent to the realization of a tax that takes into account in such a way the rationale of the ability to pay and the principles of horizontal and vertical equity.In the next subparagraphs we try to explain their effect, proposing a 'step by step' as well as an 'overall' decomposition.On measuring axiom violations due to each tax instrument applied…

Non-technical explanation
Being interested in evaluating the fairness of the tax, one can imagine that deductions first, and tax credits subsequently, correct the effect of the tax liability that would have been obtained by applying only the rate schedule.In principle, the rate schedule should be the tax instrument allowing tax progressivity, and in particular vertical equity, were all taxpayers homogeneous, that is with the same personal characteristics.On the contrary, in order to properly achieve fairness, deductions and tax credits have to be applied in order to take into account the different and taxpayerspecific abilities to pay, since taxpayers are heterogeneous.
Evaluating the effect of the statutory marginal tax rates is not problematic, since they can be applied to each taxpayer's pre-tax income.Similarly for tax credits: their effect can be measured by simply subtracting them from the gross tax liability in order to obtain the net tax liability.The same does not hold for deductions, since marginal tax rates that increase with income cause a non-linear effect of deductions on each taxpayer's net tax liability.As a consequence, understanding how deductions behave is not obvious.A reasonable way to take into account their effect is to apply statutory marginal tax rates twice: a first time to the pre-tax income; a second time to the tax base, that is the pre-tax income minus the deductions.
We first evaluate the effect due to the rate schedule V itself (i.e. the transition from distribution X to distribution X − V ); we then calculate the effect due to deductions and allowances D (i.e. the transition from distribution V to distribution S, which also explains the transition from distribution X to distribution X − S ); finally, we con- sider the effect due to tax credits C (i.e. the transition from distribution S to distribution T).Since the structure of a real-world tax may be different (and specifically it is) from a perfectly equal one, primarily if the structure of each tax component is not consistent with the adopted equivalent scale, our approach is able to assess the incremental effect of Axiom violations due to the rate schedule and deductions as well as tax credits.
Following this line of reasoning, we propose a first approach, that we call 'Step by Step', in order to evaluate AV 1 , AV 2 and AV 3 , as shown in Eqs. ( 2), (3) and ( 5): in the first step we compute these equations by applying the rate schedule to the pre-tax income distribution (Eqs.( 8), ( 13) and ( 18)); the second step is to evaluate the variation of each Axiom violations by applying the rate schedule to the tax base distribution (Eqs.( 9), ( 14) and ( 19)).In so doing we measure the corrective effect due to deductions (Eqs.( 10), ( 15) and ( 20)).As a consequence, the variation of each Axiom violations due to tax credits can be simply measured by subtracting each overall Axiom violations to the part of Axiom violations due to both rate schedule and deductions (Eqs.( 11), ( 16) and ( 21)).
Note that this approach is dynamic.Starting from a hypotetical tax structure composed by only statutory marginal tax rates, applying or not applying other tax mechanisms, such as income splitting or family quotient, we move on to a more complex tax structure which takes into account income components (in case of deductions) as well as other items of expenditure (in case of tax credits) which, depending on the household caracteristics, are fair to be deducted from the pre-tax income or from the gross tax liability.
An intuitive explanation of the 'step by step' decomposition can help the reader understand the tecnical details presented in the next subsection.Focusing on Axiom 1 violation due to V (Eq.( 8)), suppose that the ordering of V and X is the same.If this is the case, no reranking occurs since G V = C V|X and R V|X = 0 , so that no Axiom 1 viola- tion can be registered.Now, suppose that the ordering of V is different with respect the one observed for X.In this case G V > C V|X , and the magnitude of AV V 1 depends on both R V|X and the ratio V X−V .Ceteris paribus, the higher V X−V , the higher AV V 1 .On the contrary, for a given V X−V , the higher the re-ranking between distributions X and V, the higher AV V 1 .All the other relevant equations have the same explanation.

Technical details
Our goal is to decompose the indexes defined by Eqs. ( 2), ( 3) and ( 5), which quantify each of the overall Axiom violations, into the three parts highlighting the effect of statutory marginal tax rates, deductions, and tax credits, respectively.
For each Axiom, we show how its overall violations can be decomposed by the parts due to V, S, D, and C (for a generalization of this effect when several rate shedules are applied see Appendix A1, A2 and A3).Starting from Axiom 1, we state that In particular, Having generically defined Ẽ = E X and R Ẽ|X = G Ẽ − C Ẽ|X , we similarly evaluate the overall gross violations of Axiom 2 as follows: where ( 7) On measuring axiom violations due to each tax instrument applied… For what concerns7 Axiom 3, where

A stylized example
By considering the example of Paragraph 3.3, we can observe that in Table 2 the ordering of V is different from the ordering of X: for example, the bottom equivalent income is x 1 = 300 to which is associated v 1 = 82.50 ,but x 2 = 350 > x 1 and v 2 = 70 < v 1 .As a consequence, R V|X is expected to be positive.We can compute both G V and C V|X .They are 0.12339 and 0.10262, respectively, so that R V|X = 0.02077 .In addition to R V|X , to estimate AV V 1 we have to consider the magnitude of V X−V , that is 0.28013.We get AV V 1 = 0.00582.We can now consider the application of the deductions D and repeat the same calculations on the distributions S and X.We get R S|X = 0.02164 and S X−S = 0.21564 , so that AV S 1 = 0.00467 .Note that AV S 1 < AV V 1 : this relation depends on the low increase of the reranking terms when V and S are considered ( R V|X < R S|X ) and the remarkable decrease of the corresponding ratios Finally, focusing on tax credits C, their trend is fluctuating: to x 1 = 300 is associated c 1 = 45 , to x 2 = 350 is associated c 2 = 8.75 , to x 3 = 400 is associated c 3 = 20 and to x 4 = 600 is associated c 4 = 6 .Given this ( 14) distribution, the contribution due to C is negative, saying that tax credits help containing Axiom 1 violation:

4.2
The 'overall and symultaneous' or 'ex post' approach

Non-technical explanation
The decompositions in Sect.4.1 show how the 'step by step' or 'ex ante' application of tax instruments sequentially modifies the redistributive effect RE and influences Axiom violations.This strategy measures the incremental effect of the redistributive effect due to deductions, deductions and the rate schedule, and, finally, deductions and the rate schedule as well as tax credits (i.e. the whole tax structure).
In this Paragraph, we consider the end of the story and focus on the 'overall and simultaneous' or 'ex post' decomposition.This allows us to measure Axiom violations due to each tax component given the application of all the other tax components.Such a strategy can be also useful in evaluating the fairness or the goodness of tax reform, since this metodology helps us understanding the effect of changes in deductions or tax rates or tax credits, once the three tax instruments have been simultaneously applied.For example, it could be of interest to understand the effect that statutory marginal tax rates exert when combined with the application of deductions and tax credits; or it could be of interest to understand the effect that tax credits exert when combined with the application of deductions and statutory marginal tax rates.Generally speaking, it can be more relevant understanding the final effect produced by a specific tax instrument when interacting with all the other ones.
An intuitive explanation of the 'ex post' decomposition can now be presented.We define Axiom 1 violation due to V as AAV V 1 ; similarly for the other indexes: AAV S 1 , AAV D 1 and so on.Let's focus on AAV V 1 .As stated by Eq. ( 2), Axiom 1 violations occur if the ordering of distribution T is different from the ordering of distribution X.In this case the contribution of each of the three tax instruments (V, D and C) to Axiom 1 violations depends not only on how distribution V, distribution V − S and distribution C relate with distribution X as well as distribution T, but also on their sizes relative to distribution T and distribution X.If the ordering of distribution T is equal to the ordering of distribution X, then this axiom violation cannot be registered, whatever the ordering of distributions V, V − S and C is.Now, let's consider a situation in which Axiom 1 violations are detected, due to a different ordering of distribution T with respect to distribution X.Suppose that the ordering of V is still equal to the ordering of X, but it is remarkably different from the ordering of T. In this case, AAV V 1 is negative.Finally, suppose that the ordering of V is equal to the ordering of T, but it is remarkably different from the ordering of X.In this case, AAV V 1 is positive.Generally speaking, the magnitude of the sign On measuring axiom violations due to each tax instrument applied… of AAV V 1 depends on how different the orderings are: ceteris paribus, the more the ordering of V is similar to the ordering of X, the more AAV V 1 is negative; conversely, the more the ordering of V is similar to the ordering of T, the more AAV V 1 is positive.This is the information we get from Eq. ( 25), presented in the next subsection.
The rationable behind all the other equations for what concerns the three Axioms, shown in the tecnical details section, is similar.Focusing on Axiom 1, since deductions (tax credits) have to be subtracted from the pre-tax incomes (gross tax liabilities), the explanation of Eqs. ( 27) and ( 28) is the opposite of the explanation of Eq. ( 25): the more the ordering of V − S (C) is similar to the ordering of X, the more AAV D 1 ( AAV C 1 ) is positive; conversely, the more the ordering of V − S (C) is similar to the ordering of T, the more AAV S 1 ( AAV C 1 ) is negative.Analogous interpretetions apply, ceteris paribus, for what concerns the effect of the statutory marginal tax rates, deductions and tax credits on Axiom 2 and 3 violations.
Following this line of reasoning, we basically focus on the final equilibrium generated by the joint interaction of the three tax instruments.Differently from the 'Step by Step' decomposition, due to action and feedback effects of the tax instruments, the final equilibrium is not easily predictable in advance.This imply that nothing can be 'a priori' said on the sign of the composition of Axiom violations, as we discuss in greater detail in Sects.5.2.2 and 5.2.3.

Technical details
For what concerns Axiom 1, we start again from Eq. ( 2): AV 1 = T Z R T|X .Remember- ing the strategy originally proposed by Rao (1969), also employed by Podder (1993aPodder ( , 1993b) ) and Podder and Chatterjee (2002), we decompose G T and C T|X as follows: By employing the Gini correlation coefficient , which evaluates the rank of E with respect to the rank of H, the following Eqs.hold for Axiom 1 (for a generalization of this effect when several rate shedules are applied see Appendix B1, B2 and B3): Continuing with the second Axiom, In particular, Finally, focusing on the last Axiom, we start by considering the decompositions of G Z and C Z : Computing their difference, AV 3 follows: (25) (29)

3
On measuring axiom violations due to each tax instrument applied… In particular, More technically, the above Eqs.undeline the importance of the Gini correlations among the distributions in explaining Axiom violations.For what concerns Axiom 1, the contribution to its violation due to V (Eq.25) depends on four items: first, (r V|T − r V|X ) , that is the difference between the Gini correlation of V and T, that is , and the Gini correlation between V and X, that is ; second, the magnitude of G V ; third, the ratio between the mean value of V and the mean value of T; fourth the overall ratio (see Eq. 24) between the mean value of T and the mean value of Z. Focusing on the Gini correlations, a cograduation of V closer to T than to X determines a positive contribution.For what concerns V − S , that is the gross tax liability reduction due to deductions D, and C, the opposite occurs: in this situation, it is the cograduation of V − S (C) closer to X than to T that determines a positive contribution to Axiom violations.A similar discussion applies to Axiom 2.
The third Axiom considers instead the Gini correlations of X − V , V − S and C with respect to Z and X.A cograduation of distribution X − V closer to Z than to X determines a positive contribution to this Axiom violation.Focusing on V − S and C, since both of them are a component of the post-tax income Z, it is a cograduation of distribution V − S (C) closer to Z than to X that determines a positive contribution to this Axiom violation.
If no reranking between X and T occurs, it has to be observed that r V|T = r V|X , r (V−S)|T = r (V−S)|X and r C|T = r C|X , so that none of V, V − S and C can contribute to the Axiom violation regardless of the sign of the Gini correlation.A similar discussion applies to Axiom 2 and 3 when, respectively, no reranking occurs between X and T and between X and Z. (36)

A stylized example
We again focus on the stylized example of Paragraph 3.3, and we show how the 'ex post' approach works, and why it can give different information with respect to the 'step by step' decomposition.
In Table 2 it is essential to observe that the ordering of T is different from the ordering of X; moreover, focusing on Axiom 1, we can also observe that the ordering of V is different from both the ordering of X and the ordering of T. In order to evaluate the effect of V (Eq.( 25)), we first compute the Gini correlation coefficients: r V|X = 0.83167 and r V|T = 0.71944 , from which we can conclude that the ordering of V is more different with respect to T than it is with respect to X.As a consequence, r V|T − r V|X < 0 ; since G V = 0.12339 > 0 as well as 1 is negative ( − 0.00348).From Eq. ( 27), we get AAV D 1 = 0.00151 and, from Eq. ( 26), AAV S 1 = −0.00197 .Focusing on Eq. ( 27), r (V−S)|T = 0.64459 and r (V−S)|X = 0.84547 ; since − 1 , it is positive and equal to 0.00391: looking to Eq. ( 28), since G C > 0 and − Note that the contributions of the three tax instruments to Axiom 1 violation commented here are opposite of those observed for the 'Ex ante' decomposition (see Paragraph 4.1.3): 1 < 0 .A similar discussion holds for Axiom 2 violation.

Data
As input data, we use the static and non-behavioural microsimulation model developed by Pellegrino (2007) about 15 years ago and constantly updated.The model can estimate the most important taxes and contributions that characterise the Italian fiscal system.Here, we employ the microsimulation model module concerning the personal income tax updated to the 2014 fiscal year. 8he microsimulation model employs, as input data, those provided by the Bank of Italy ( 2015) in its Survey on Household Income and Wealth (BI-SHIW), published in 2015 with regard to the 2014 fiscal year.The BI-SHIW contains information on the household income and wealth of 8,156 households and 19,366 individuals.The sample is representative of the Italian population, composed of about 24.7 million households and 60.8 million individuals.

3
On measuring axiom violations due to each tax instrument applied… Considering individual taxpayers, the results for the gross income distribution, the distribution of all tax variables, and the overall tax revenue are close to the Department of Finance (2016) official statistics.Moreover, the inequality indexes for both taxpayers and equivalent households are also similar to those evaluated by the Department of Finance's official microsimulation model (Di Nicola et al. 2015).The instrument employed in this study is then suitable for the type of empirical analysis we propose.
Starting from taxpayer distributions, we derive the corresponding equivalent household ones by applying the equivalent scale given by the square root of the number of components.In the following subsection, the results are presented and discussed according to these equivalent household distributions.

Basic indexes
Table 3 shows all the basic as well as composed inequality indexes involved in our decompositions; it also presents the average values of the tax variables.The Gini coefficient for the pre-tax distribution G X is equal to 0.42089, whereas the concen- tration coefficient for the post-tax one C Z|X is 0.37035.As a consequence, the overall Reynolds-Smolensky index RS is equal to 0.05054.This is the value we would like to decompose by isolating the effect of the most important tax components.
The Gini coefficient for the post-tax distribution G Z equals 0.37097, meaning that the overall redistributive effect RE is 0.04992, which is lower than RS because of the re-ranking of net incomes in the transition from the pre-to the post-tax values (measured by Axiom 3, which is the Atkinson-Plotnick-Kakwani index R Z|X = G Z − C Z = AV 3 = 0.00062 ).The concentration coefficient for net tax liabili- ties C T|X is 0.63954, and the Kakwani index K = C T|X − G X is equal to 0.21865, T Z = 1− to 0.23113, and to 0.18774.As observed for net incomes, G T =0.64626 is also greater than C T|X ; their difference R T|X = 0.00673 evaluates the importance of the re-ranking of the net tax liability distribution because of the tax. 9s shown in Sect.4, deductions affect the transition from the V distribution to the S one, whereas tax credits influence the transition from the S distribution to the T one.We focus on the impact of the related indexes later; here, we start by noting their values.For what concerns the two gross tax liability distributions, G V = 0.48343 , whereas G S = 0.47901 ; the corresponding concentration coefficients are C V|X = 0.48245 , C S|X = 0.47732 .Moreover, G V−S = 0.74211 , G X−V = 0.39786 , and G X−S = 0.40147 , whereas C (V−S)|X = 0.56811 , C (X−V)|X = 0.39768 , and C (X−S)|X = 0.40123 .Finally, discussing the basic indexes specifically employed for On measuring axiom violations due to each tax instrument applied… Axiom 2, G T = 0.42087 , C T|X = 0.39600 , G Ṽ = 0.07271 .The Gini coefficient for tax credits is G C = 0.22783 , whereas the corresponding concentration coefficients are lower: C C|X = 0.04587 and C C|T = 0.02299.
We can now start analysing the core structure of our methodologies.First, we present the 'step by step' analysis (Sect.5.2.2) and then the 'overall and simultaneous' decompositions (Sect.5.2.3).

The 'step by step' analysis
Focusing on Axiom 1, Table 4 shows the marginal effects of V, D, S, and C in determining AV 1 .In particular, AV V 1 is equal to 0.00037, lower than AV S 1 = 0.00059 .If we compare the situation with and without deductions, it fol- lows that D positively contributes to increase Axiom 1 violations.A similar picture emerges if tax credits C are added into the analysis: AV 1 = 0.00155 is greater than AV S 1 = 0.00059 , stemming from the positive effect of C in increas- ing Axiom 1 violations ( AV C 1 = 0.00097).Table 5 shows the corresponding marginal effects of V, D, S, and C in determining AV 2 .In particular, AV V 2 is equal to 0.00221, much lower than AV S 2 = 0.00572 .This is due to the positive contribution of D in increasing AV 2 since AV D 2 is positive and equal to 0.00351.Again, a similar picture emerges if tax credits C are considered: AV 2 = 0.00575 is only marginally greater than AV S 2 = 0.00572 , stemming from the positive but negligible effect of tax cred- its C in increasing Axiom violations ( AV C 2 = 0.00003 ).Finally, AV V 3 is equal to 0.00019, lower than AV S 1 = 0.00024 ; AV 3 = 0.00062 is greater than AV S 1 .As a consequence, again both D and C positively contribute to the Axiom 3 violations: AV D 3 = 0.00005 and AV C 3 = 0.00038 (Table 6).

The 'overall and simultaneous' or 'ex post' analysis
Table 7 presents the decomposition of Axiom 1, whereas Tables 8 and 9 show those of Axioms 2 and 3, respectively.These tables contain the actual values and values as a percentage of RS as well as AV 1 , AV 2 , and AV 3 , respectively.More precisely, AV 1 is 3.08% of RS (Table 7, second row).Deductions D and tax credits C positively contribute to the Axiom 1 violations by 0.83% of RS ( AAV D 1 ) and 3.93% of RS ( AAV C 1 ), respectively: their effects are thus detrimental to AV 1 and they are offset by the rate schedule ( −1.69% of RS if AAV V 1 is considered and −0.86% of RS if AV S 1 is instead contemplated).Regarding the composition of AV 1 (Table 7, third row), tax credits C contribute the most to the overall violation: AAV C 1 represents 127.90% of AV 1 , whereas AAV D 1 is 26.93% of AV 1 .Together, they reach 154.83%, meaning that the rate schedule ( AAV V 1 ) overcomes these unpleasant outcomes by −54.83% of AV 1 .
AV 2 is 11.37% of RS (Table 8, second row).All the elements of the tax posi- tively contribute to Axiom 2 violations: V by 2.28% of RS ( AAV V 2 ), D by 1.29% ( AAV D 2 ), and C by 7.81% ( AAV C 2 ).Focusing on the composition of AV 2 (  9, second row).As observed for Axiom 1, deductions D and tax credits C also positively contribute to these Axiom violations: AAV D 3 is 0.22% of RS and AAV C 3 is 1.38% of RS.On the contrary, the rate schedule counterpoises these effects: AAV V 3 = −0.38%and AAV S 3 = −0.16% .This is particularly notice- able by looking at the composition of AV 3 (Table 9, third row): tax credits con- tribute 112.88% of AV 3 to the 'ex post' effect, whereas deductions D account for only 18.22% of AV 3 ; these percentages are reduced by the negative contributions of the tax rate structure ( − 31.10 and − 12.88%, respectively).

Comparing the two methodologies
Comparing Tables 4, 5, and 6 with Tables 7, 8, and 9 shows that the decompositions of Axiom violations are considerably different if the 'ex ante' or the 'ex post' approach is considered.Not only the contributions of components are different in the two approaches, but also their signs can change.
Focusing on Axiom 1 and Axiom 3, the 'ex post' analysis even shows negative signs for the rate schedule contributions V and S to the corresponding overall Axiom violations.In particular, their negative effect partially compensates for the positive effect due to deductions D and tax credits C. In addition, the magnitude of the positive contributions due to D and C differs between the two approaches; the 'ex ante' contributions are about half those of the 'ex post' ones.
On the contrary, focusing on Axiom 2, the 'ex post' contribution due to D is far lower (about one-fifth) than the corresponding 'ex ante' one.The opposite happens if tax credits C are examined: in particular, the 'ex ante' methodology shows that the marginal contribution of tax credits is not only low, but also the lowest among all the tax components, whereas the situation is reversed if the 'ex post' methodology is considered: in this case, the contribution of C is remarkably high. 10 Focusing on the 'step by step' analysis, in the actual Italian tax system the reranking generated by the application of the rate schedule to distribution X is lower 10 An intuition about both the sign and the magnitude of these effects can be derived by interpreting Eqs. ( 8)-(11), Eqs. ( 13)-( 16), and Eqs. ( 18)-( 21) as well as Eqs.( 25)-(28), Eqs. ( 30)-( 33), and Eqs.(37)-( 40) according to the Pellegrino and Vernizzi (2013) framework, which can isolate the contribution of every possible pairwise comparison to determine the Gini concentration coefficients.For a generic attribute E, the Gini and the concentration coefficients can be evaluated as follows: On measuring axiom violations due to each tax instrument applied… than the one generated by the application of the rate schedule to X − D ; moreover, after the application of tax credits C, the re-ranking still increases.This explains the values reported in Tables 4, 5 and 6.We recall that the starting contribution to each Axiom violation is the one registered for statutory marginal tax rates (see Eqs. ( 8), ( 13) and ( 18)).
Having evaluated the Axiom violation that would be obtained by applying statutory marginal tax rates to the tax base X − D , the effect due to deductions D is eval- uated by difference (see Eqs. ( 10), ( 15) and ( 20)).Similarly, having evaluated the Axiom violation due to the net tax liabilty T, also the effect due to tax credits C is evaluated by difference (see Eqs. ( 11), ( 16) and ( 21)).
For what concerns the 'ex post' analysis, Axiom 1 is violated since the ordering of T differs from the ordering of X.By employing Eq. ( 24), we can compute the contribution of the three components, that is AAV V 1 , AAV D 1 and AAV C 1 .The contribution to the Axiom violation due to the statutory tax rates AAV V 1 depends on two Gini correlations: the one between distribution V and distribution T, and, in relative terms and regardless of the sign of the Gini correlation, the one between distribution V and distribution X.In the present Italian system, the latter is greater than the former, so that, once deductions and tax credits have been applied, distribution V smooths the violation; conversely, being the Gini correlations both of V − S and C greater with respect to X than to T, due to the negative sign, Axiom violation arises.
In case of Axiom 2 (see Eq. ( 29)), the contributions of the three components are positive, being also the Gini correlation of Ṽ greater when evaluated with respect to T than to X.
Finally, since the Gini correlation of X − V with respect to Z is lower than the one with respect to X, the contribution of V moderates Axiom 3 violation; conversely, the contribution of distributions D and C is positive, because the Gini correlations of V − S and of C are greater with respect to Z than with respect to X.

An overview of the Italian personal income tax through the new methodologies
The Italian personal income tax establishes its overall redistributive effect through the rate schedule and tax credits for taxpayers' kind of income and dependent individuals within the household as well as tax credits and deductions for items of expenditure.From the progressivity point of view, tax credits and deductions for where and Footnote 10 (continued) items of expenditures play a marginal role, 11 whilst the rate schedule and the tax credits for earned incomes and dependent individuals within the household represent 41% and 65% of it, respectively (Barbetta et al. 2018).
In this respect, our analysis based on Axiom violations gives details to the policy maker for implementing a tax reform.By considering equivalent incomes, the present tax strucure reveals a significant horizontal and vertical unfairness: the application of the rate schedule to nominal incomes per se produces horizontal and vertical equity problems, and the actual system of tax credits and deductions not only is not able to overcome these unpleasant outcomes, but also it makes them worse.In particular, the 'ex post' analysis even reveals that the contribution of the rate schedule rectifies the negative impact of deductions D and tax credits C in violation Axiom 1 and 3.
Summing up, our methodology clearly emphasises that, in order to achieve fairness, tax credits and deductions are structured in a non-harmonious way with respect to both the magnitude of the marginal tax rates and the adoption of a reasonable equivalence scale.The rate schedule is unique and it is applied to all taxpayers, whilst tax credits, that depend on the kind of work and the number of dependent individuals within the household as well as the items of expenditure, are more differentiated than it would be necessary on equity ground.These conclusions should help ignite the public and political debate on the need for tax reform.For example, a way to lighten the unpleasent outcomes due to Axiom violations would be a transition from the actual tax structure to a continuous average tax rate schedule (Longobardi et al. 2020).

Concluding remarks
Considering each fundamental component of a real-world personal income tax, that is statutory marginal tax rates and deductions as well as tax credits, the aim of this study is to reveal the importance of Axiom violations, as introduced by Kakwani and Lambert (1998).
To reach this goal, we propose two new decompositions compatible with this axiomatic approach.The contribution of our strategy is its mathematical simplicity, which makes it more understandable to researchers unfamiliar with these fundamental analyses of the personal income tax.More precisely, we divide the three original Axiom violations introduced by Kakwani and Lambert (1998) into three parts: the effects due to the rate schedule and deductions as well as tax credits.Our decompositions present some peculiarities not shown in previous attempts.We apply this methodology to the Italian personal income tax, showing the capillary analysis that is possible to infer using these instruments.They can be particularly useful for policymakers aiming for a tax reform to better choose the tax parameters in order to contain, as far as possible, violations of the horizontal and vertical equity principles, 11 For more details on the tax structure over the past 45 years see Pellegrino and Panteghini (2020).

3
On measuring axiom violations due to each tax instrument applied… and, consequently, to increase its progressivity as well as to reduce the regressiveness implicitly existing in imperfect real-world taxes.
The 'step by step' approach immediately shows how deductions and, subsequently, tax credits, act on the statutory marginal tax rates, modifying their performance in respecting equity principles.Besides, the 'ex post' approach looks to Axiom violations according to a different perspective: it estimates Axiom violations due to each of the three tax intruments once the effects due to the other two instruments have been taken into account.Results by considering our 'ex post' approach can also be surprising.Although each tax instrument can introduce Axiom violations when it is applied, when the whole tax structure is considered the assessment of its impact can be different, not only in terms of relative incidence, but also for the sign of its effect.
If only one deduction is considered, Eq. ( 15) is When several deductions or allowances are considered, the sum of J Eqs. have instead to be considered: Turning to tax credits, Eq. ( 16) becomes Appendix A3: Axiom 3 violations-'step by step' Equation ( 18) becomes whilst, if only one deduction is considered, Eq. ( 20) becomes When several deductions or allowances are considered, the previous Eq. is the sum of J Eqs.: Turning to tax credits, Eq. ( 21) becomes AAV the gross income distribution ordered in non decreasing order.Similarly, we call D = (d 1 , … , d N ) the distribution of tax allowances and deductions, B = X − D = (b 1 , … , b N ) the tax base distribution, S = (s 1 , … , s N ) the distribution of gross tax liabilities, and V = (v 1 , … , v N ) the distribution of gross tax liabilities were the rate schedule applied to the X distribution instead of the B one; finally, we denote by C = (c 1 , … , c N ) the overall tax credit distribution, by T = (t 1 , … , t N ) the net tax liability distribution, and by Z = X − T = (z 1 , … , z N ) the post-tax distribution.

Table 1
The personal income tax

Table 2
Equivalent values 00582 − 0.00115 − 0.00272 , showing a large violation due to V, and an impact that is reduced thanks to both D and C.

Table 5
Violations of Axiom 2-'step by step' Table 8, third row), tax credits C contribute the most to the overall violation: AAV C