# Social behaviors, enforcement, and tax compliance dynamics.

Morals cannot be legislated but behavior can be regulated.--Martin Luther King, Jr.

I. INTRODUCTION

Enforcement and the behavior of others affect taxpayer compliance. IRS Commissioner Charles Rossotti recently stated that "the slide in audits has raised concern that honesty could suffer as fears of policing decline. If taxpayers begin to believe that others are cheating, the temptations to shave their own tax burdens may become irresistible" (Weisman 2001, A1). Rossotti's comment recognizes that tax enforcement affects social behaviors, and that these behaviors can, in turn, affect taxpayers' compliance decisions. Prior tax research concludes that individuals who know evading taxpayers are less likely to comply themselves (Vogel 1974; Spicer and Lundstedt 1976; Scott and Grasmick 1981; Grasmick and Scott 1982). (1) Likewise, the probability that a taxpayer will evade increases when the taxpayer suspects that his acquaintances are evading (Westat, Inc. 1980; Geeroms and Wilmots 1985). At the societal level, survey evidence suggests that differences in compliance across countries and geographic regions with similar or nearly identical tax and enforcement regimes stem from differences in social norms. (2) In an experiment, Alm et al. (1995) show that compliance differs across subjects from different countries. Although survey, archival, and experimental research support the contention that social norms and acquaintances' taxpaying behavior affect tax compliance, no theoretical foundation that exists suggests the form that these effects might take (Alm 1991).

We address this void in the literature by developing two models in order to provide a theoretical analysis of the effects of others' behavior, enforcement, and social norms on the dynamics of taxpayer compliance. The first, an aggregate-level model, uses a system of nonlinear differential equations to characterize the flows among three classes of taxpayers who differ in their propensities to evade: honest taxpayers, susceptible taxpayers, and evaders. (3) The flows represent the movements of taxpayers among the classes resulting from the aggregate outcomes of individual taxpayers' decisions. As the number of tax evaders increases, honest people become susceptible to evasion (honest taxpayers become increasingly likely to know evaders and to be influenced by their behavior). Similarly, the greater the proportion of honest taxpayers in the population, the greater the pressure on evaders to become honest. The level of enforcement affects the movement of taxpayers both from the susceptible class to the evading class, and from the evading class to the honest class.

To maintain tractability, we make a number of simplifying assumptions regarding aggregate behavior and we do not explicitly account for the behavior of individual taxpayers. To address these limitations, we create a second, complementary, model that characterizes individual taxpayers' compliance decisions. This micro-level model uses a relatively new method, agent-based modeling, which relaxes unrealistic assumptions of agent rationality and agent homogeneity, avoids the use of "representative individuals," (4) and facilitates the theoretical representation of agent interaction and dynamic behavior. (5) The model does not characterize aggregate behavior explicitly. Instead, the aggregate behavior emerges endogenously and dynamically from the interactions among heterogeneous agents.

In our agent-based model, we create a society of taxpayers who initially possess limited knowledge about the level of enforcement and heterogeneous reporting rules that depend on perceived enforcement severity, social norms, and acquaintances' tax compliance behavior. Our taxpayers develop and periodically update their beliefs regarding social norms and enforcement severity. Individual taxpayer behavior evolves over time, partly in response to other taxpayers' behavior.

The results of our two models contribute to an understanding of how social forces and enforcement affect compliance. Our aggregate model suggests that taxpayers tend toward one or two equilibrium states over time. The possibility of multiple equilibria is consistent with the observation that tax compliance varies over time and across geographic regions, even under similar enforcement policies. Perhaps the most important prediction is that small changes in enforcement can lead to sudden and large changes in equilibrium states from mostly compliant to mostly evading or vice versa. For example, we predict that reducing enforcement in a compliant population will lead to a gradual increase in evasion, but at some point, a sudden proliferation of tax evasion will occur, effectively leading to an evasion epidemic. Our analysis further suggests that simply returning to the previous level of enforcement will not be sufficient to stop the epidemic. Our agent-based analysis supports the aggregate model's predictions.

We also make a methodological contribution to the accounting literature by introducing two complementary modeling approaches. In contrast to standard neoclassical economics, our aggregate model builds on a social-psychological foundation and explicitly accounts for system dynamics. Our agent-based model also permits an investigation of system dynamics and allows us to evaluate the robustness of the aggregate model's predictions. This approach may be useful in other areas of accounting research, such as the dynamics of reputation in public accounting, earnings management, the adoption and spread of managerial accounting practices, and the effect of other audit firms' behaviors on auditor independence.

The remainder of the paper begins by describing the assumptions underlying our aggregate-level model. We then analyze the model and develop comparative statics. Next, we introduce the agent-based model and describe a series of numerical experiments examining its comparative statics properties. Finally, we discuss the implications arising from our results, the limitations of this research, and possible future avenues of inquiry.

II. AGGREGATE MODEL ASSUMPTIONS

We model the population of taxpayers in an undefined geographic region; our results could apply to the population of a city, a state, an administrative region of the tax agency, or a country. For simplicity, we assume that the population is constant and consists of three discrete groups of taxpayers. The first group, [x.sub.1t], is the proportion of honest taxpayers in the population. (6) Honest taxpayers comply at time period t. These taxpayers do not consider evasion. They are either habitually compliant (Erard and Feinstein 1994) or they are recent evaders who have become honest as a result of enforcement efforts or social norms. The second group consists of taxpayers who are dissatisfied with the tax system (perhaps as a result of seeing others evade without being punished). These taxpayers are not actively evading, but they might if the perceived benefits of doing so exceed the perceived costs. For this group, evasion is an option, and so we classify them as susceptible. The proportion of susceptible taxpayers in the population at time period t is [x.sub.2t]. The third group, [x.sub.3t], represents the proportion of evading taxpayers in the population at time period t. Whether a taxpayer continues to evade depends on both enforcement and the effect of social norms.

Because the entire population is made up of these three classes of taxpayers:

(1) [x.sub.1] + [x.sub.2] + [x.sub.3] = 1.

We further assume that each proportion is initially positive:

(2) [x.sub.10] > 0; [x.sub.20] > 0; [x.sub.30] > 0.

We consider any population that satisfies these constraints as valid.

We next describe and model taxpayers' movements among the three classes resulting from the behavior of others, enforcement, and social norms. The model is a system of differential equations.

The Effect of Others' Behavior

Social psychologists have offered several explanations why knowing a tax evader might cause an honest taxpayer to consider evasion. For example, Lerner (1998) suggests that people need to believe the world is just. Consequently, when people observe an unjust event, they may cope by punishing the harm-doer, compensating or blaming the victim, or denying the injustice by reasoning that justice will prevail in the next life. In some cases, such as tax evasion, one might seek justice by engaging in the activity oneself (Spicer and Becker 1980; Tyler 1990).

An alternative explanation for why knowing a tax evader might cause honest taxpayers to consider evasion is that observing others' behavior can affect one's own internalized moral standards. Cooter (1998) argues that people prefer conformity to behavioral standards. When someone violates a standard, they incur a psychological cost--guilt--whether or not others discover the behavioral violation. However, if others of perceived high moral character violate a law, then one's behavioral standard may change. For example, Kaplan and Reckers (1985) provide experimental evidence that subjects were more likely to evade taxes when they observed a taxpayer of perceived high moral character evading.

Consistent with these observations and prior research, in our model as an individual encounters noncompliant taxpayers, he is more likely to consider evasion. We represent this relationship via the following system of differential equations:

(3) [x.sub.1] = [dx.sub.1] / dt = -[rx.sub.1][x.sub.3] [x.sub.2] = [dx.sub.2] / dt = [rx.sub.1][x.sub.3]

where r represents the "infection rate." For simplicity, we model the rate of change of the honest taxpayer class, [x.sub.1], as a proportion of the product of honest taxpayers, [x.sub.1], and evading taxpayers, [x.sub.3]. This is a standard simplification in epidemic models (e.g., Waltman 1974, 2) and implies uniform mixing of the groups and no delay before becoming susceptible. (7)

Modeling the Enforcement Regime

We assume that susceptible and evading taxpayers base their tax-reporting decisions partly on a psychological calculus that trades off the perceived costs and benefits of evasion. A taxpayer's view of these costs and benefits depends on enforcement (e.g., penalties, audit likelihood, audit costs imposed on the taxpayer, the public image of the tax agency, etc.), tax rates and their progressivity, and psychological factors, including framing effects from under- or overwithholding. (8)

We model two effects of enforcement on individual tax compliance behavior. First, we model a flow from the evader class to the honest class. For simplicity, we assume that evaders become compliant after they are audited (akin to a change in driving behavior after receiving a traffic ticket) (9) or when their perceptions regarding the costs and benefits of evasion change, either through experience or changing economic conditions. (10) We also assume that this flow from the evader to the honest class as a result of enforcement is proportional (at rate [beta]) to the size of the evader class. This assumption is consistent with the tax agency behaving strategically: as the number of evaders increases, the tax authority increases enforcement efforts and vice versa.

Enforcement also affects "susceptible" (but not "honest") taxpayers' behavior through its effect on the perceived costs of evasion. Recall that susceptible taxpayers' compliance decisions are based on a cost-benefit analysis. We assume that some susceptible taxpayers will perceive that the benefits of evasion exceed the costs of evasion in each period. These taxpayers will evade, creating a flow from [x.sub.2t] to [x.sub.3t]. We assume that this flow is proportional to the size of the susceptible class (at rate [alpha], where [alpha] is between 0 and 1). As enforcement increases, the cost of evasion increases, reducing the flow to the evading class. Similarly, decreases in enforcement will increase the flow to the evading class. When we add both enforcement-regime effects to the system of differential equations in Equation (3), they become:

(4) [x.sub.1] = [beta][x.sub.3] - [rx.sub.1][x.sub.3] [x.sub.2] = -[alpha][x.sub.2] + [rx.sub.1][x.sub.3] [x.sub.3] = [alpha][x.sub.2] - [beta][x.sub.3]

Incorporating the Effect of Social Norms

The role of social norms is distinct from the role of others' compliance behavior. A social norm requires consensus about the esteem-worthiness of a behavior and some risk that a member of society will detect behavior that deviates from the norm. Society-at-large imposes sanctions on individuals who are caught violating a social norm. (11) In contrast, as noted above, the effect of others' behavior does not require consensus about the esteem-worthiness of an action, and one's response to the action is independent of detection (e.g., one feels guilty).

Social norms can affect compliance because individuals tend to seek the respect of others (McAdams 1997). Social stigma is associated with tax evasion (Scott and Grasmick 1981) and this stigma (and the view of acceptable compliance behavior) varies from country to country (or region to region). Thus, in our model social norms create an additional flow from the evader class to the honest class (beyond the flow created by enforcement). In total, then, evaders feel pressure to become compliant, as a result of both enforcement and social norms. The function g([x.sub.1]) represents this combined effect.

In our model, g([x.sub.1]) has two components. The first component is [beta], the proportional flow from the evader class to the honest class arising from enforcement. The second component of g([x.sub.1]) is the flow resulting from social norms. On the basis of research in sociology (Hamblin et al. 1973) and following the approach adopted in the literature (e.g., see Lindbeck et al. 1999, 9), we assume that this second component is s-shaped, so that the overall function g([x.sub.1]) is also s-shaped as illustrated in Figure 1. The "s" shape of the second component of g([x.sub.1]) suggests that when relatively few people adopt a norm, the effect on others is small. As the consensus about a norm increases, its effect on others increases, initially at an increasing rate and later at a decreasing rate. The effect of a social norm on behavior eventually levels off as the proportion of the population adopting the norm approaches 100 percent. The maximum level of social influence is [gamma].

[FIGURE 1 OMITTED]

Consequently, our full model incorporates:

* the effect of others' behavior, triggering a flow from honesty to susceptibility;

* the effect of a social norm, causing some evaders to become honest each period;

* an enforcement effect triggering a shift from evasion to honesty; and

* an enforcement effect on the flow from susceptibility to evasion.

The full model is presented below:

(5) [x.sub.1] = g([x.sub.1])[x.sub.3] - [rx.sub.1][x.sub.3] [x.sub.2] = -[alpha][x.sub.2] + [rx.sub.1][x.sub.3] [x.sub.3] = [alpha][x.sub.2] - g([x.sub.1])[x.sub.3]

The model in (5) does not rely on traditional game theory, in which the goal is to derive from individuals' rational choices a set of strategy assignments associated with payoffs. The greatest advantage of game theory is that it allows for deduction. The principal shortcomings of a game theory approach are that (1) it cannot explain how the economy changes over time, or how the equilibrium arises, and (2) it focuses on interactions among small numbers of individuals (usually two). In contrast, our dynamic systems analysis stems from an aggregate model that represents the state of the economy by a set of variables, and a system of differential equations describes how these variables change over time. We examine the resulting trajectories. Our approach has much in common with evolutionary game theory focusing on system dynamics (Weibull 1997). (12) However, although our techniques are similar to those used in evolutionary game theory, we do not build on a standard microeconomic foundation. Rather than specifying payoffs, information, and actions for all players, we focus on social-psychological first principles and the consequent evolution of aggregate behavior over time.

The system of equations in (5) describes the way valid populations evolve over time. In our analysis, we begin by establishing that initially valid populations will remain valid as they evolve. Next, we identify equilibrium points that represent balanced populations that are invariant over time. We then evaluate the stability of these equilibria to determine whether one could reasonably expect that they would ever be reached over time by a set of valid starting populations. We complete our analysis by investigating the effect of changes in enforcement regime on the behavior of the system.

III. AGGREGATE MODEL ANALYSIS

Because (5) is a system of differential equations, their solution is a set of functions of time, [x.sub.1] = [x.sub.1t], [x.sub.2] = [x.sub.2t], and [x.sub.3] = [x.sub.3t] for all values of time t greater than some starting point, t = [t.sub.0]. The aim in analyzing the system is to understand the dynamics of the solutions and how the parameters in the model (e.g., r, [alpha], and [beta]) affect these dynamics. We will show that this particular system of equations has at least one stable equilibrium for each class of taxpayer; i.e., [x.sub.1t] tends to a value, [x*.sub.1], as t increases, regardless of the initial value for [x.sub.1]. This also holds true for [x.sub.2] and [x.sub.3].

To begin our analysis, we verify that the solutions are consistent with our interpretation. Since [x.sub.1], [x.sub.2], and [x.sub.3] each represent a partition of the population, and together, these three categories are exhaustive, they must sum to 1 at all values of t. That is:

(6) [x.sub.1](t) + [x.sub.2](t) + [x.sub.3](t) = 1.

To verify that this condition is true, we begin by assuming that Equation (6) holds true for the initial conditions of our model; i.e.:

(7) [x.sub.1](0) + [x.sub.2](0) + [x.sub.3](0) = 1.

Then, if we differentiate Equation (6) with respect to t, the result is 0 for all values of t, so that the value of Equation (6) equals a constant with respect to time. Hence, if Equation (7) is satisfied initially, then Equation (7) also will be satisfied for all subsequent values of t.

Next, we establish that, given a set of valid initial values for [x.sub.1], [x.sub.2], and [x.sub.3], the values will remain valid as time increases. Using the system of equations in (5), we develop a set of working equations. Through substitution:

(8) [x.sub.1] = [g([x.sub.1]) - [rx.sub.1]][x.sub.3], [x.sub.3] = [alpha](1 - [x.sub.1] - [x.sub.3]) - g([x.sub.1])[x.sub.3], [x.sub.2] = 1 - [x.sub.1] - [x.sub.3].

Before proceeding, we introduce the notion of a vector field. Just as a function in one variable associates a value or number with each point on the line, a vector field associates a vector with each point in the plane. One can represent a vector field graphically. If a vector field, [phi], is defined on some region of the plane, and if we choose a grid of points that covers the region, then we can represent the vector field with arrows drawn from each point, x, where each arrow represents the vector [phi](x). The arrow's length equals the norm of [phi](x) and the arrow points in the direction of the vector. One can view the vector field arising from our system of differential equations as the local set of evolutionary laws.

We can represent the system of differential equations in (5) by a vector field that associates the point ([x.sub.1], [x.sub.2], [x.sub.3]) in space with the vector ([x.sub.1], [x.sub.2], [x.sub.3]). A solution to the equations ([x.sub.1](t), [x.sub.2](t), [x.sub.3](t)) traces out an unbroken curve in space as t increases. It has the property that, at each point ([x.sub.1], [x.sub.2], [x.sub.3]) on the curve, the tangent to the curve is the value of the vector field at that point.

Recall that a valid population for our model is a point ([x.sub.1], [x.sub.2], [x.sub.3]) in [R.sup.2] (two-dimensional Euclidean space) where [x.sub.1], [x.sub.2], [x.sub.3] [greater than or equal to] 0 and [x.sub.1] + [x.sub.2] + [x.sub.3] = 1. The region V containing all valid populations is bounded by [x.sub.1] = 0, [x.sub.2] = 0, and [x.sub.3] = 0. If all initially valid populations in our system remain valid over time, then the vector field ([x.sub.1], [x.sub.2], [x.sub.3]) at any point on the boundary of V is directed toward the interior of V. That is, at each point on the boundary of V:

(9) ([x.sub.1], [x.sub.2], [x.sub.3]) * n [less than or equal to] 0,

where "*" is the dot product operation and n is the outer normal vector (the vector perpendicular to and outside the valid space, V).

On the plane [x.sub.1] = 0, the outer normal vector is n = (-1, 0, 0) and the dot product is -[x.sub.1] = -g(0)[x.sub.3] [less than or equal to] 0. Similarly, the outer normal vectors for [x.sub.2] = 0, [x.sub.3] = 0, and [x.sub.1] + [x.sub.2] + [x.sub.3] = 1 are n = (0, -1, 0), (0, 0, -1), and (1, 1, 1), respectively. The resulting dot products are:

-[x.sub.2] = -[rx.sub.1][x.sub.3] [less than or equal to] 0,

-[x.sub.3] = -[alpha][x.sub.2] [less than or equal to] 0, and

[x.sub.1] + [x.sub.2] + [x.sub.3] = 0.

Because all the dot products are less than or equal to 0, we can conclude that any initially valid population will remain valid as time passes. This result is critical to the plausibility of the model.

Equilibrium Populations

Next we consider the behavior of the system of equations as a function of time. We begin by identifying points where the value of each of the differential equations equals 0, indicating no change over time. These points represent equilibria for the three classes of taxpayers. We find the equilibria by solving:

(10) [x.sub.1] = [g([x.sub.1]) - [rx.sub.1]][x.sub.3] = 0, and

(11) [x.sub.3] = [alpha](1 - [x.sub.1] - [x.sub.3]) - g([x.sub.1])[x.sub.3] = 0

for [x.sub.1] and [x.sub.3]. We can then calculate [x.sub.2] = 1 - [x.sub.1] - [x.sub.3]. Note that [x.sub.2] = -[x.sub.1] - [x.sub.3], so that [x.sub.1] = [x.sub.3] = 0 implies that [x.sub.2] = 0.

Equation (10) is satisfied either when [x.sub.3] = 0 or when g([x.sub.1]) = [rx.sub.1]. Thus, there are two possible cases to investigate. In the first case, when [x.sub.3] = 0, Equation (11) becomes 0 = [alpha](1 - [x.sub.1]. Since [alpha] is a positive number less than or equal to 1, [x.sub.1] must equal 1. Thus, an equilibrium may exist in which all taxpayers belong to the honest class.

In the second case, where g([x.sub.1]) = [rx.sub.1], Equation (11) gives [rx.sub.1][x.sub.3] + [alpha][x.sub.3] = [alpha](1 - [x.sub.1]), so that:

[x.sub.3] = 1 - [x.sub.1] / 1 + r / [alpha] [x.sub.1].

Substituting the solution for [x.sub.3] into the working equation for [x.sub.2] in Equation (8) and simplifying yields a value for [x.sub.2] of:

[x.sub.2] = [rx.sub.1](1 - [x.sub.1]) / [alpha] + [rx.sub.1].

The foregoing analysis leads to the following proposition.

Proposition 1: There are two types of equilibrium populations ([X.sub.1], [x.sub.2], [x.sub.3]): (i) A uniformly honest population ([x.sub.1], [x.sub.2], [x.sub.3]) = (1, 0, 0); (ii) A mixed population of the form:

([x.sub.1], [x.sub.2], [x.sub.3] = ([bar]x, (r[bar]x(1 - [bar]x) / [alpha] + r[bar]x), 1 - [bar]x / 1 + r / [alpha] [bar]x)

where [bar]x satisfies g([bar]x) = r[bar]x.

Location of Equilibria

So far, we have established that equilibrium populations, ([x.sub.1], [x.sub.2], [x.sub.3]), may exist and that these populations may be either uniformly honest or mixed. To determine the location of the mixed equilibria, we must identify the values of [x.sub.1] where g([x.sub.1]) = [rx.sub.1]. In addition, each equilibrium must satisfy the constraints [x.sub.1], [x.sub.2], [x.sub.3] [greater than or equal to] 0 and [x.sub.1] + [x.sub.2] + [x.sub.3] = 1. Assume that ([x.sub.1], [x.sub.2], [x.sub.3]) is a type (ii) equilibrium with 0 [less than or equal to] [x.sub.1] [less than or equal to] 1. Then 1 - [x.sub.1] [greater than or equal to] 0. Because [alpha] and r are positive, 1 + (r/[alpha])[x.sub.1] [greater than or equal to] 0. It follows that [x.sub.3] [greater than or equal to] 0 (see the formula for [x.sub.3]). Note that:

(12) 1 - [x.sub.1] / 1 + r / [alpha] ([x.sub.1]) [less than or equal to] 1 / 1 + r / [alpha] ([x.sub.1]) [less than or equal to] 1.

So [x.sub.3] [less than or equal to] 1. Now, consider the sum:

[x.sub.1] + [x.sub.3] = [x.sub.1] + 1 - [x.sub.1] / 1 + r / [alpha] ([x.sub.1])

= 1 + r / [alpha] ([x.sup.2.sub.1]) / 1 + r / [alpha] ([x.sub.1])

By hypothesis, each term is not negative, so the sum is not negative. For [x.sub.1] [EPSILON] [0, 1], [x.sup.2.sub.1] [less than or equal to] [x.sub.1], so:

(13) 1 + r / [alpha] ([x.sup.2.sub.1]) / 1 + r / [alpha] ([x.sub.1]) [less than or equal to] 1 + r / [alpha] ([x.sub.1]) / 1 + r / [alpha] ([x.sub.1]) = 1.

We can therefore conclude that [x.sub.1] [EPSILON] [0, 1] implies that [x.sub.1] + [x.sub.3] [EPSILON] [0, 1]. It follows that [x.sub.2] [EPSILON] [0, 1]. This reduces the search for type (ii) equilibria to finding all [bar]x satisfying g([bar]x) = r[bar]x and [bar][x.sub.1] [EPSILON] [0, 1], leading to the following proposition.

Proposition 2: An equilibrium ([x.sub.1], [x.sub.2], [x.sub.3]) of type (ii) is valid if and only if 0 [less than or equal to] [x.sub.1] [less than or equal to] 1 and g([x.sub.1]) = [rx.sub.1].

The proportion of honest taxpayers is in equilibrium when the proportion of taxpayers flowing into the honest class, g([x.sub.1])[x.sub.3], equals the taxpayers flowing out of the honest class, [rx.sub.1][x.sub.3]. When the honest proportion is in equilibrium, then both the susceptible and evading classes must also be in equilibrium because the flows among the classes are constant.

Understanding the Dynamics of the System

We have established that equilibria exist in the system, but we must address two additional issues to determine whether and under what conditions the equilibria will be reached. First, we must determine whether basins of attraction exist (i.e., whether the equilibria attract nearby points). Second, if basins of attraction do exist, we must determine whether they extend to all valid starting populations. If this second condition is satisfied, then all valid populations will eventually reach one of our equilibria, and the dynamics of the system will be fully specified.

An equilibrium point that attracts nearby points over time is stable. We define an equilibrium to be stable if there is a neighborhood N of (x*, y*) such that if ([x.sub.t], [y.sub.t]) is in the neighborhood N, then [lim.sub.t[right arrow][infinity]] ([x.sub.t], [y.sub.t]) = (x*, y*) (Arnol'd 1991, 156). For an unstable equilibrium, within even a tiny neighborhood N of the point, some ([x.sub.0], [y.sub.0]) exists in N and some neighborhood U of the equilibrium such that ([x.sub.t], [y.sub.t]) is never permanently in U.

More intuitively, imagine an empty pool with a saddle-shaped bottom, as in Figure 2. If one were to drop a ball in the pool, it would likely roll toward one of the deep ends, eventually coming to rest at one of the two deepest points (labeled A and B, respectively). These points at which the ball stops moving represent stable equilibria. They are stable in that, if the ball is in the point's "neighborhood," (i.e., the sloped area that surrounds the point), then the ball will be attracted to that particular point. Alternatively, the ball could be carefully balanced at point C, the lowest point in the shallow section (i.e., not on either slope to the deep ends), and remain at rest. This point is also an equilibrium; however, it is unstable. A small movement of the ball away from this point would cause it to roll to one of the deep ends, eventually coming to rest at A or B.

[FIGURE 2 OMITTED]

We investigate the stability properties of our system of differential equations to gain insight into the behavior of the system over time. For example, given a stable equilibrium and selected initial conditions close enough to this point, the solution path to a system of differential equations will tend toward and eventually reach equilibrium. Alternatively, a selected initial condition may lie near an unstable equilibrium. In this case, the system may initially tend toward, but not stabilize at, the critical point. Consequently, there would be no reason to expect the equilibrium to obtain.

To ascertain stability in our system, we evaluate a linear approximation of the system near an equilibrium. For the case of an honest equilibrium, our analysis (formally presented in the Appendix) leads to the following proposition regarding stability.

Proposition 3: Assume that g(x) has a convergent Taylor series expansion near x = 1 and g(1) > 0. The equilibrium (1, 0, 0) is stable if and only if r < g(1).

Proof. See the Appendix.

Proposition 3 is intuitive in the neighborhood of an honest equilibrium, where g(1) captures the effect of social norms and enforcement on the conversion of evaders into honest taxpayers. When the flow of honest taxpayers into the susceptible class (via the infection rate, r) is less than the flow from the evading class into the honest class (via a value near g(1)), then all taxpayers will eventually become honest.

An analysis of the stability of the mixed equilibrium leads to the following proposition.

Proposition 4: Assume that for any [bar]x [EPSILON] [0, 1], g(x) has a convergent Taylor series near [bar]x and g([bar]x) [greater than or equal to]0. Let ([x.sup.1], [x.sub.2], [x.sub.3]) be a mixed equilibrium. The equilibrium is stable if and only if r > g'([x.sub.1]).

Proof. See the Appendix.

To understand the intuition underlying Proposition 4, recall that, by Proposition 1, the proportion x of honest taxpayers is in equilibrium when the proportion rx of infected taxpayers reduces the honest population at the same rate that social forces and enforcement (g(x)) increase it. This equilibrium will be stable if proportions below x are driven upward and proportions above x are driven downward. This happens when g(x) > rx for points below x and when g(x) < rx for points above x. These inequalities hold only if g'(x) < r. (13)

Determining the Domain of Stability

Having evaluated the conditions under which equilibria are stable, we turn our attention to the second issue: whether and under what conditions the domain of stability encompasses the entire set of valid populations (global stability). In evaluating nonlinear dynamic systems, one can rarely derive equations for the domain of stability (Lyapunov functions), and unfortunately this holds true for our case as well. However, using a combination of graphics, computational analysis, and an appeal to the Poincare-Bendixson theorem (P-B theorem), we provide evidence that all valid populations will eventually reach one of the stable equilibrium points.

The P-B theorem applies when the vector field is planar and bounded, and equilibria are isolated. When these conditions are met (as in our system), either (1) the limit set (the range of points possible in a neighborhood as a result of the system dynamics) or a subset of the limit set is an equilibrium, or (2) the limit set is a periodic orbit. To ascertain which of these outcomes applies to our system, we turn to a qualitative evaluation of the system.

Recall from Proposition 1 that honest equilibria always exist, and from Proposition 2 that mixed equilibria exist only where [x.sub.1] is between 0 and 1 and the line r[x.sub.1] and the function g([x.sub.1]) intersect. In Panel A of Figure 3, we provide an example in which three equilibria exist: two mixed equilibria at points a and b and an honest equilibrium at point c.

[FIGURE 3 OMITTED]

We can evaluate the stability of these equilibria using the results of Propositions 3 and 4. According to Proposition 3, a completely honest equilibrium is stable if and only if r < g(1). That is, the honest equilibrium is stable when the flow of honest taxpayers into the susceptible class is less than the flow of evaders into the honest class. This condition is satisfied in Panel A of Figure 3, so the honest equilibrium c is stable.

For a mixed equilibrium to be stable, populations below the equilibrium must be driven upward toward the equilibrium and populations above the equilibrium must be driven downward toward the equilibrium. This happens when g(x) > rx for points below x and when g(x) < rx for points above x. According to Proposition 4, these inequalities hold only when the slope of the line r[x.sub.1] exceeds the slope of g([x.sub.1]) at the intersection point (i.e., when the proportions below the equilibrium are driven upward and proportions above the equilibrium are driven downward). This condition is met at a, but not at b. Thus, a is a stable equilibrium value for the honest population proportion ([x.sub.1]) and b is unstable.

Having identified the honest-population proportions ([x.sub.1]) in our three equilibria in the example, we can use the results of Proposition 1 to compute the proportion of evaders ([x.sub.3]) and susceptible taxpayers ([x.sub.2]) for each mixed equilibrium. We graphically represent these equilibria in the ([x.sub.1], [x.sub.3]) plane in Panel B of Figure 3. The black dots represent stable equilibria (at a and c) and the gray triangle (at b) represents an unstable equilibrium.

Panel B of Figure 3 also uses arrows to illustrate the vector field associated with the system. The vector field here is a two-dimensional representation of a saddle-shaped surface similar to that depicted in Figure 2. We constructed the vector field computationally by determining the dynamic solution to the system for numerous starting populations and representing them graphically as arrows. (14) The direction of each arrow shows the path the system takes over time from the arrow's origin. The length of the arrow represents the slope of the surface (longer arrows are equivalent to a steeper slope). To illustrate, given an initial population in which everyone evades (at d in Panel B of Figure 3), the population would move to point a over time and then remain there (in equilibrium). We can observe the dynamics by following the path suggested by the arrows, beginning at d and ending at a. From the figure (and the P-B theorem), one can see that valid populations (except for the unstable equilibrium at b) appear to move toward either a or c. Hence, our analysis suggests that the limit set in the system is either a, b, or c (i.e., the system appears to exhibit global stability). We observe no evidence of a periodic orbit in the vector field.

Figure 3 depicts only one possible relation between the line r[x.sub.1] and the function g([x.sub.1]). We evaluated 11 possible relations that arise from combinations of differently sloped lines r[x.sub.1] and differently shaped g([x.sub.1]). These 11 relations are exhaustive in that they describe all types of possible equilibria and the related dynamics that could occur in our system. In every case, either one or two stable equilibria exist and we observe no evidence of a periodic orbit.

The Effect of Enforcement on Evasion

Enforcement affects the movement of susceptible taxpayers to the evading class ([alpha]) and the movement of evaders to the honest class ([beta]). To better understand the effect of enforcement in our model, we begin by examining benchmark cases for these two flows. For the case in which [alpha] = 0, susceptible taxpayers remain susceptible and never become evaders (presumably because of draconian enforcement), by the system of differential equations in (5). As long as at least some evaders are initially present in the system, there is a flow out of the evading population and into the honest population, until, in the limit, all taxpayers comply with the law (being either honest or susceptible). This result obtains even if there are no honest taxpayers initially, because g(0) = [beta] > 0. In equilibrium, as [alpha] decreases (and perceived enforcement severity increases), by Proposition 1, the proportion of evaders decreases at an increasing rate and the proportion of susceptible taxpayers increases.

An analysis of [beta] is more complex. In an initial condition in which there are no honest taxpayers ([x.sub.1] = 0) and no enforcement efforts ([beta] = 0), g([x.sub.1]) has no effect. There is no flow from the evading class to the honest class. In the limit, the entire population evades (assuming [alpha] > 0). However, if some proportion of the initial population is honest ([x.sub.1] > 0), then some evaders become honest in each period, as a result of social norms. Because [beta] affects only the intercept and not the shape of g([x.sub.1]), the system dynamics and the limit set depend on the relation between r and g([x.sub.1]), as noted previously.

Figure 4 illustrates the effect of increasing the enforcement-related flow from the evading class to the honest class, [beta], on the equilibrium values for [x.sub.1]. At low levels of [beta] (on curves g1 and g2), the proportion of honest taxpayers is low (at stable equilibrium points a and b). As [beta] increases, the curve moves from g2 to g3. At some point between these curves, g([x.sub.1]) will be tangent to r[x.sub.1]. Beyond this point, the line and the curve will intersect in three places. These intersection points, c, are identified on g3. The high and the low points are stable equilibria and the middle point is an unstable equilibrium. The unstable equilibrium plays an important role in determining the dynamics of the system. The vector field in Panel B of Figure 3 indicates that the system is characterized by a saddle-shaped surface. The unstable equilibrium is on the saddle, so that out-of-equilibrium populations above the unstable equilibrium will move to the high equilibrium point, while out-of-equilibrium populations below the unstable equilibrium will move to the low equilibrium point over time. As [beta] continues to increase and g([x.sub.1] moves to g4, the proportion of honest taxpayers increases in the two stable equilibria and decreases in the unstable equilibrium (at d). As the unstable equilibrium decreases, out-of-equilibrium populations that would have moved to the lower stable equilibrium under g3 begin, under the greater enforcement depicted in g4, to move to the upper stable equilibrium instead. Finally, as g([x.sub.1]) moves from g4 toward g5, the line and curve will again reach a point where they are tangent. Beyond this point, they intersect only once. This intersection occurs on g5 at e. In this (stable) equilibrium, most taxpayers are honest. This figure also highlights the importance of the s-shaped function describing the flow of taxpayers from the evading class to the honest class; multiple equilibria arise as a result of the nonlinear effect of social norms at some levels of [beta].

[FIGURE 4 OMITTED]

Figure 5 summarizes our analysis. (15) As enforcement increases, [beta] increases. The solid curves show how an increase in [beta] affects the evading proportion in equilibrium. Based on our analysis of Figure 4 (viz., curves g1 and g2), at low levels of enforcement (below A in Figure 5), the proportion of honest taxpayers is small in equilibrium. By Proposition 1, [x.sub.1] and [x.sub.3] are negatively correlated, so the proportion of evaders is relatively high in these equilibria. A and B in Figure 5 correspond to the values of [beta] where r[x.sub.1] and g([x.sub.1]) are tangent (between curves g2 and g3 and again between curves g4 and g5 in Figure 4). At intermediate levels of enforcement (between A and B), two stable equilibria exist, admitting the possibility of either a mostly evading population or a mostly compliant population. This result follows from curves g3 and g4 in Figure 4. At sufficiently high levels of enforcement (above B), the system returns to a single, mostly honest equilibrium. (16) Curve g5 in Figure 4 illustrates this result.

[FIGURE 5 OMITTED]

An increase in enforcement also decreases the proportion of susceptible taxpayers in our model who become evaders ([alpha]). By Proposition 1, when [alpha] decreases, the number of evaders decreases at an increasing rate. This relation holds for all stable, mixed equilibria. Thus, [alpha] reinforces [beta], further increasing the responsiveness of the population to enforcement efforts. The dashed curves in Figure 5 illustrate the joint effect of enforcement through both [alpha] (the reduced flow from the susceptible to the evading class) and [beta] (the increased flow from the evading to the honest class).

We now describe the dynamic behavior of initially out-of-equilibrium populations. Because our analysis suggests global stability, at low and high levels of enforcement, all populations will move toward and eventually reach the unique equilibrium value on the curve. As noted previously, the unstable equilibrium value determines which equilibrium a population will reach. Populations with honest proportions smaller than the unstable equilibrium value will move to the noncompliant equilibrium, while populations with honest proportions greater than the unstable equilibrium will move to the compliant equilibrium.

We can make several interesting observations using Figure 5. Consider a population that has reached a unique equilibrium value on the upper curve, where enforcement is below A and evasion is relatively widespread. If we repeatedly increase enforcement in very small increments and allow the population to adjust to a new equilibrium after each change, it will follow the path from left to right suggested by the upper curve to point B. These increases in enforcement reduce evasion (evidenced by the downward slope of the curve), but a large proportion of the population will still evade. When enforcement exceeds B by an infinitesimal amount, the population will move to the lower curve in equilibrium, resulting in a mostly compliant regime. Thus, a small increase in enforcement leads to a dramatic shift from aggregate noncompliance to aggregate compliance. From a policy perspective, this result suggests that, in regions or time periods where evasion is widespread, increased enforcement may initially have a limited effect on compliance. At some point (B in our figure), however, enforcement can trigger a more profound change in the population's behavior, leading to a mostly compliant regime. Once this occurs (and the population reaches an equilibrium on the lower curve), the tax agency can slowly relax enforcement efforts (down to A in the figure) with little change in the number of evaders. The population will follow the equilibrium suggested by the lower curve if we allow it to adjust to a new equilibrium after each small change. However, an infinitesimal reduction in enforcement below A will again trigger a dramatic change. The population will move to a new equilibrium on the upper curve, where many more taxpayers evade. Attempts to remedy the resulting evasion "epidemic" by increasing enforcement to a point between A and B, which was previously sufficient to maintain compliance, would be largely unsuccessful because the population would again follow the upper curve until enforcement reaches B.

IV. THE AGENT-BASED MODEL

Our aggregate-level model has several shortcomings. First, to maintain tractability, we must make unrealistic assumptions regarding movement among classes of taxpayers. For example, we assume that the flows between classes are in constant proportions (even though there are likely to be random fluctuations in the real world, introduced by randomness in audit frequency and individual behavior). Second, we assume that social norms have an s-shaped effect on the movement from the evading class to the honest class. Third, the aggregate-level model does not explicitly account for micro-level taxpayer behavior. To address these limitations, we supplement our analysis with a micro-level agent-based computational model.

Background

Agent-based modeling has roots in biology (e.g., Crist and Haefner 1994; Haefner and Crist 1994) and is becoming a more popular method to address social sciences issues (17) as advances in computing technology have made these models feasible. (18) Agent-based models explicitly characterize individual agents as collections of internal states and endowments (e.g., knowledge and assets). Some agent states and endowments are fixed for the life of the agent, whereas others change as a result of interactions with other agents or the environment. In addition to agents, agent-based models also characterize the environment in which agents interact. An environment might represent a landscape or lattice of resource-bearing sites in ecological or anthropological research, a set of institutional (market) rules in economics, or a communication network in a society (in sociology). Agents can either interact with their environments (e.g., travel through their environments to collect resources) or with each other through their environments (e.g., engage in trade) via a set of behavioral and institutional rules.

After defining agents, their behaviors and endowments, and the environment, we allow the model to evolve. Agent-based models focus on aggregate-level behaviors that emerge endogenously from agent interaction. In particular, researchers use agent-based models to identify micro-level characterizations that are sufficient to generate macroscopic social structures or collective (aggregate) behaviors. Put another way, agent-based models grow collective behaviors "from the bottom up" (Epstein and Axtell 1996).

Agent-based models have both advantages and disadvantages (see Axtell [2000] for a more detailed discussion). On the positive side, it is easy to introduce heterogeneity and avoid an appeal to a representative agent, and it is easy to limit agent rationality. In addition, in agent-based models, there is no need to focus on equilibria because the entire dynamic history of the process is available to the researcher. Finally, agent-based models allow investigation of the effects of physical location and social networks.

The most significant disadvantage of agent-based models relative to traditional mathematical models relates to robustness of results. Although each run of an agent-based model amounts to a sufficiency theorem, the model provides no information as to whether the set of assumptions is necessary for the observed results. As Axtell (2000, 6) noted, agent-based models can provide only limited insight into the question: "Given that agent model A yields result R, how much change in A is necessary in order for R to no longer obtain?" Analytical models can usually formally answer this question, but agent-based models can only address it via multiple runs, with systematic variation in initial conditions and parameters. Even then, there are limits to the number of model variations that we can examine (although the continued increase in computing power reduces this limitation).

Creating a Society of Taxpayers

Our agent-based model is based on the framework developed by Gaylord and Davis (1999), which provides a general approach for creating nonspatial agent-based models using Mathematica. We model a society of taxpayers, represented by a matrix (in which each row represents the attributes of a single taxpayer) and a set of transformation rules (representing behavioral rules and the environment through which taxpayers interact). Our model evolves by iteratively mapping the transformation rules to the matrix. (19)

Each taxpayer in our model has several attributes, beginning with a unique name. In addition, since taxpayers update their beliefs about enforcement severity and social norms based on the experiences and behaviors of their acquaintances, we specify a randomly determined set of acquaintances for each taxpayer. The model assumes that acquaintance relationships are symmetric (i.e., if taxpayer 1 knows taxpayer 2, then taxpayer 2 also knows taxpayer 1). Each taxpayer's list of acquaintances is fixed.

In the initial condition for our society, we randomly assign one of two behaviors (honest or evading) to each taxpayer. As a society evolves, the taxpayer's behavior may change as a function of his characteristics and his acquaintances' beliefs and behaviors. Honest taxpayers may become susceptible to evasion by viewing the reporting behavior of a randomly chosen acquaintance. If the randomly chosen acquaintance is an evader, then the taxpayer becomes susceptible with some probability (randomly and independently determined for each taxpayer). This probability represents the agent's susceptibility to "infection," analogous to r in the aggregate model, except that the level of susceptibility is a taxpayer characteristic rather than an aggregate flow.

In our model, the tax agency can imperfectly distinguish evaders from compliant taxpayers, so the agency audits evaders with a higher probability. Taxpayers form a belief regarding the severity of enforcement by observing the frequency with which their acquaintances are audited. (20) Susceptible taxpayers will choose to evade if their perception regarding enforcement severity is below a randomly determined threshold (21) (determined independently for each taxpayer). This agent-level threshold captures the effect of the taxpayer's risk preferences and the expected benefits of evasion, which we assume are heterogeneous over our population.

In addition to forming a belief about the severity of the enforcement regime, taxpayers in the agent-based model also form a belief regarding the extent to which honesty represents a social norm. We implement this belief as the proportion of honest taxpayers in each agent's list of acquaintances. As in our aggregate model, the social norm can cause an evader to become honest. In our agent-based model, evading taxpayers convert to honest behavior if (1) they are audited, (2) their perception of enforcement severity equals or exceeds their threshold, or (3) their perception regarding honesty as a social norm exceeds a randomly determined threshold (determined independently for each taxpayer). Table 1 summarizes the agent-based model.

We designed the agent-based model to relax our earlier simplifying assumptions regarding the movement between classes of taxpayers. Consider, for example, our aggregate model's assumption that flows between classes are uniform and proportional. In each time step of our agent-based model, even if every honest taxpayer knows an evader, movement to the susceptible class is randomly determined on the basis of each agent's susceptibility. Therefore, random proportions of honest taxpayers become susceptible, and it is possible that all agents could either become susceptible or remain honest. Similar randomness arises in other flows between taxpayer classes. Second, by modeling the decisions of individual agents, we avoid the assumption that social norms have an s-shaped effect on movement from the evading class to the honest class. That is, we describe the model at the level of individual agents, with no attempt to mathematically aggregate individual agent behaviors. Consequently, there is no guarantee that our earlier predictions that hinged on the s-shape of g(x) (i.e., on the nonlinear effect of social norms) will hold in our agent-based model.

Agent-Based Analysis and Results

In light of our aggregate model results, two properties of the agent-based model are of particular interest. First, do stable equilibria exist? Second, do the comparative static properties of our agent-based model correspond with the predictions in the aggregate model?

To solve the agent-based model, we iterate it forward through time, observing the aggregate dynamics. A typical time series illustrating changes in reporting behavior appears in Figure 6. The population rapidly moves from its initial condition (50 percent evading) toward a value of about 70 percent evading. Then, for the remaining periods, the proportion of the population evading fluctuates around 70 percent. Although this behavior does not precisely match our stability prediction, it is consistent with an alternative notion of stability in which an equilibrium is considered stable if points in the neighborhood of the equilibrium tend to remain in the neighborhood over time (Lyapunov stability). Thus, our earlier inference that equilibria tend to attract nearby points appears to generalize to the agent-based model. (22)

[FIGURE 6 OMITTED]

To examine whether the comparative static properties of our aggregate model generalize to the agent-based model, we created nine matched pairs of taxpayer societies. The members of each pair were identical, except for the starting proportion of tax evaders, which we manipulated within pairs at 10 percent and 50 percent. In addition, we manipulated the evader audit likelihood from 0.002 to 0.030 in 0.002 increments for each of the 18 societies. (23) Each society had 500 taxpayers and each taxpayer initially had five acquaintances (after we applied symmetry, the average number of acquaintances was approximately nine). We allowed each society to evolve at each audit rate for 2,000 time steps.

Figure 7 depicts the proportion of evaders in the final time step for each pair of starting populations, by audit rate. For the most part, the graphs resemble Figure 5, corroborating our earlier aggregate model analysis. A sudden increase in compliance is evident in noncompliant populations as enforcement increases (between 20 percent and 60 percent of the population changes from evading to complying in response to a 0.002 increase in audit rates). Likewise, compliant populations are compliant unless enforcement is sufficiently lax, at which point there is a sudden transition to noncompliance. This happens in all but one of the graphs in Figure 7, with increases in evasion ranging from 35 percent to more than 70 percent in response to a 0.002 decrease in audit rates. The figure highlights these sudden changes in equilibrium compliance with darkened segments on the audit-rate axis. (24) The results from our agent-based model differ from Figure 5 in one important way. Rather than observing a "mostly honest" population at sufficiently high audit rates, we observe total honesty. Our aggregate model predicts this result if the rate at which taxpayers become susceptible, r, is less than g(1) when the enforcement-related flow from the evading class to the honest class, [beta], equals 0.

[FIGURE 7 OMITTED]

In summary, our agent-based model supports the predictions from our aggregate-level analysis. We find evidence supporting the existence of multiple equilibria at some enforcement levels (conditioned on the compliance level of starting populations). In addition, the effect of changing enforcement severity in our agent-based model is consistent with predictions from the aggregate model. At critical points, small changes in enforcement can lead to large changes in compliance.

V. CONCLUSIONS

In this paper we examined the effects of others' behavior, enforcement, and social norms on the dynamics of taxpayer compliance. We employed two novel modeling methods. In our aggregate model, we found that two stable equilibria occur at some enforcement levels. The effect of changing enforcement levels on taxpayers' compliance depended on whether the initial population was relatively compliant or noncompliant: (1) in a population that is initially compliant, the tax agency can reduce enforcement down to a critical point with little effect on compliance, and (2) in a population that is initially noncompliant, increasing enforcement leads to modest increases in compliance up to a critical point. In the case of a compliant equilibrium, however, our analysis indicated that when the tax agency decreases enforcement to just below some critical point, a dramatic shift in behavior will occur. The population will undergo a sudden and profound change, moving from compliance to noncompliance in equilibrium. Once this change occurs, attempts to remedy the sudden proliferation of evasion by increasing enforcement to the level in place before the change in behavior will be unsuccessful; the population will remain noncompliant. Similarly, if the tax agency increases enforcement above some critical point in an initially noncompliant population, the population will suddenly become compliant in equilibrium. Then, reducing enforcement to its previous level, below the critical point, will not lead to a significant increase in evasion. These results were robust; evaluation of more complex models with additional flows between taxpayer classes yielded equivalent results.

In contrast to our aggregate model, the agent-based model characterized individual decisions rather than aggregate behavior. Despite relaxing assumptions regarding movement between taxpayer classes and the effect of social norms, the agent-based model's results are generally consistent with the predictions of the aggregate model.

The models yield two major insights. First, in mostly honest populations, the tax agency might view enforcement as a mechanism to prevent evasion epidemics rather than as a way to improve existing compliance. Second, the possibility of sudden, dramatic changes in equilibrium behavior, together with the difficulty of reversing these changes through increased enforcement, should concern policymakers.

Our analysis suggests a number of avenues for future research. First, although tax compliance in the United States (and in some other countries) is arguably in a mostly honest state, our models predict that, at some point, a slight reduction in enforcement efforts may lead to a tax evasion epidemic. However, our work does not identify the level of enforcement that would trigger a sudden, dramatic shift to noncompliance. In the agent-based model, the shift occurred at different audit rates across different initial conditions, so the distribution of individual characteristics in a society may affect the point at which this transition occurs. Further investigation can determine what factors (if any) one might use to predict the transition point.

Continuing with our epidemic analogy, one also might evaluate the extent to which the taxpaying population can be "inoculated" against evasion (in particular, what psychological or sociological mechanisms might be brought to bear and how effective such mechanisms might be) and the aggregate consequences of inoculating a proportion of the population (e.g., how much of the population must be protected to eliminate the possibility of an evasion epidemic). While in a different context, King's (2002) work examining the extent to which group membership reduces self-serving biases in auditors serves as an analogy. From an analytical perspective, the herd-immunity literature might provide insights (e.g., see Edelstein-Keshet 1988).

Third, although we find similar results based on two different modeling approaches, an experimental investigation could lend even more credence to our findings. Borrowing from the experimental literature in social psychology and accounting that creates social groups and norms in the laboratory (e.g., Smith et al. 1998; Schmader and Major 1999; King 2002), one might establish an experimental environment like the one our model describes to test its predictions.

Researchers might use the class of models we employ to address other questions in accounting where the behavior of others influences one's own behavior. In auditing, researchers often characterize reputation as arising from one's personal experience with an auditor (Mayhew et al. 2001). Using our approach, one could expand the notion of reputation to explicitly recognize that one's notion of an auditor's reputation probably arises both from one's own experience and from the experiences and beliefs of others. We speculate that recognition of the influence of others could lead to some unexpected insights, such as robustness of reputation in the face of frequent audit failures. Similarly, norms established in the profession, by competitors' behaviors and by sanctions, likely affect behaviors that auditors view as acceptable from an independence perspective. Explicit recognition of these influences could lead to new insights regarding auditor behavior.

Researchers might also develop influence models to better understand financial reporting behavior (e.g., earnings management). According to Healy and Wahlen (1999), future research on earnings management should identify limiting factors. One might model the behavior of other firms and reporting norms as limiting factors. For example, if competitors engage in earnings management, then the firm may feel pressure to follow suit. Reporting norms may play a countervailing role. Our approach could also yield new insights into financial analyst behavior by explicitly accounting for the influence that analysts exert on one another.

In a broader sense, we believe that the methods we employ have the potential to contribute to accounting research by overcoming the tendency to draw from a single discipline, such as psychology, economics, or finance. Both of our modeling approaches are amenable to integration of ideas from across the social sciences. For example, we draw the first principles for our models from social psychology and sociology. In our analysis, we derive equilibria (viz., conomics) and evaluate dynamics using techniques drawn from biology. Other work using dynamic systems analysis and agent-based models in the social sciences has integrated research from sociology, political science, and even anthropology to gain new understanding about societies, markets, and individual behavior.

APPENDIX

Local Stability Analysis

To evaluate the stability of the equilibria in our system, we consider populations that are slightly out of equilibrium. Assume that for any x [EPSILON] [0, 1], g(x) has a convergent Taylor series near x and let ([x.sub.1], [x.sub.2], [x.sub.3]) be an equilibrium population. Then, we can express g([x.sub.1]) as:

(14) g([x.sub.1]) = g([x.sub.1]) + g'([x.sub.1])([x.sub.1] - [x.sub.1]) + O[([[x.sub.1] - [x.sub.1]).sup.2]]

for [x.sub.1] sufficiently near [x.sub.1]. We can then derive rates of change for the deviations from any equilibrium as follows:

([x.sub.1] - [x.sub.1])' = [x'.sub.1]

= [g([x.sub.1]) - [rx.sub.1]][x.sub.3]

= g([x.sub.1]) - [rx.sub.1] + [g'([x.sub.1] - r]([x.sub.1] - [x.sub.1]) + O[([[x.sub.1] - [x.sub.1]).sup.2]])([x.sub.3] - ([x.sub.3] - [x.sub.3]))

= [g'([x.sub.1]) - r][x.sub.3]([x.sub.1] - [x.sub.1]) + [g([x.sub.1] - [rx.sub.1]]([x.sub.3] - [x.sub.3]) + [g'([x.sub.1]) - r]([x.sub.1] - [x.sub.1])([x.sub.3] - [x.sub.3]) + O[([[x.sub.1] - [x.sub.1]).sup.2]],

where O[([[x.sub.1] - [X.sub.1]).sub.2]] indicates that all remaining terms in the expression are second and higher powers of ([x.sub.1] - [x.sub.1]). The last step is justified because [g([x.sub.1]) - [rx.sub.1]][x.sub.3] = 0 if ([x.sub.1], [x.sub.2], [x.sub.3]) is an equilibrium point. A similar analysis for [x.sub.3] - [x.sub.3] yields:

([x.sub.3] - [x.sub.3])' = [x'.sub.3]

= [alpha] - [alpha][x.sub.1] - [alpha][x.sub.3] - g([x.sub.1])[x.sub.3]

= [alpha] - [alpha]([x.sub.1] - [x.sub.1] + [x.sub.1]) - [alpha]([x.sub.3] - [x.sub.3] + [x.sub.3]) - [g([x.sub.1]) + g'([x.sub.1])([x.sub.1] - [x.sub.1]) + O[([[x.sub.1] - [x.sub.1]).sup.2]]]([x.sub.3] - [x.sub.3] + [x.sub.3])

= [alpha] - [alpha][x.sub.1] - [alpha][x.sub.3] - g([x.sub.1])[x.sub.3] - [alpha]([x.sub.1] - [x.sub.1]) - [g([x.sub.1]) + [alpha]]([x.sub.3] - [x.sub.3]) - g'([x.sub.1])([x.sub.1] - [x.sub.1])([x.sub.3] - [x.sub.3]) + O[([[x.sub.1] - [x.sub.1]).sup.2]]

= -[alpha]([x.sub.1] - [x.sub.1]) - [g([x.sub.1]) + [alpha]]([x.sub.3] - [x.sub.3]) - g'([x.sub.1])([x.sub.1] - [x.sub.1])[x.sub.3] + O[([[x.sub.1] - [x.sub.1]).sup.2]].

Again, the last step is justified because [alpha] - [alpha][x.sub.1] - [alpha][x.sub.3] - g([x.sub.1])[x.sub.3] = 0 at equilibrium. We combine the equations for ([x.sub.1] - [x.sub.1])' and ([x.sub.3] - [x.sub.3])' and write them in matrix form, leading to the following linearized system of equations near the equilibrium (we drop the higher-order term):

(15) [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII].

Now we examine the stability of the linearized system near the honest equilibrium. In particular, near a type (i) or honest equilibrium, the linearized system in Equation (15) takes the form:

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII].

The eigenvalues of the 2 x 2 matrix for the linear part of the system characterize the stability of the equilibrium at (1, 0, 0). Specifically, by the local stability theorem, (1, 0, 0) is stable if and only if both eigenvalues have negative real parts. It is unstable if either real part is positive. Hence, to prove Proposition 3, we must first find a [lambda] to satisfy:

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII].

This gives the equation:

0 = [lambda]([lambda] + [[alpha] + g(1)]) + [alpha][g(1) - r] = [[lambda].sup.2] + [[alpha] + g(1)][lambda] + [alpha][g(1) - r].

Solving the resulting quadratic equation for [lambda], we find:

(16) [lambda] = - ([alpha] + g(1) / 2) (1 [+ or -] [square root of (1 - 4[alpha](g(1) - r / [([alpha] + g(1)).sup.2].

The roots are complex if and only if:

(17) 1 - 4[alpha](g(1) - r) / [([alpha] + g(1)).sup.2] < 0.

We rewrite this condition as:

(18) [[[alpha] - g(1)].sup.2] < -4[alpha]r.

Because [alpha] and r are positive, Equation (18) is never satisfied. The eigenvalues are real. The eigenvalue corresponding to 1 + [square root of (...)] is negative. We determine stability using the sign of the other root. That is, (1, 0, 0) is unstable if and only if:

1 - [square root of (1 - 4[alpha](g(1) - r / [([alpha] + g(1)).sup.2] < 0)] 1 < [square root of (1 - (4[alpha](g(1) - r) / [([alpha] + g(1)).sup.2] 0 < - 4[alpha](g(1) - r) / [([alpha] + g(1)).sup.2] 0 < r - g(1) g(1)< r.

Conversely, (1, 0, 0) is stable if and only if g(1) > r.

Extending our analysis to the linearized system near a type (ii) or mixed equilibrium, we obtain:

(19) [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]

The eigenvalues of the linear part are:

[[lambda].sub.1] = -[[alpha] + g([x.sub.1])] and [[lambda].sub.2] = [g'([x.sub.1] - r][x.sub.3].

Because [[lambda].sub.1] is necessarily negative, we determine stability of the equilibrium by the sign of g'([x.sub.1]) - r. This leads to Proposition 4.

TABLE 1 Features of Our Agent-Based Model: Taxpayer Attributes and Schedule of Taxpayer Actions Panel A: Taxpayer Attributes 1. Unique identification number Each taxpayer's identification number, used as a reference when accessing acquaintance lists. 2. Acquaintance list A randomly determined, unchanging list of other taxpayers that a given taxpayer consults when updating beliefs regarding enforcement and social norms. 3. Current reporting behavior The taxpayer's reporting behavior in the current period (honest, susceptible, or evading). 4. Perception of enforcement The mean audit rate among the taxpayer's acquaintances in the previous period. 5. Perceived social norm The proportion of the taxpayer's acquaintances who were honest in the previous period. 6. Enforcement threshold A randomly determined number between 0 and 1 (determined independently for each at time step 0). A susceptible taxpayer will evade if her perception regarding the severity of enforcement (attribute 4) is less than this number. 7. Susceptibility parameter The probability with which a taxpayer will become susceptible if he observes an acquaintance evade. This parameter is a random number between 0 and 1, determined independently for each taxpayer at time step 0. 8. Audit indicator Indicates whether the taxpayer was audited in the previous time step. 9. Norm threshold A randomly determined number between 0 and 1 (determined independently for each taxpayer at time step 0). An evading taxpayer will become honest if her perception regarding social norms (attribute 5) is more than this number. Panel B: Schedule of Taxpayer Actions in Each Time Step 1. Each taxpayer begins a time step by updating her reporting behavior on the basis of a set of rules: (a) honest taxpayers become susceptible with some probability if a randomly selected acquaintance evades; (b) susceptible taxpayers become evaders if perceived enforcement severity is less than their thresholds; (c) evaders become honest if perceived enforcement severity exceeds their thresholds, or if the perceived social norm exceeds their thresholds. 2. The tax agency randomly selects taxpayers to audit, where the probability of auditing an evader is higher than the probability of auditing others. The audit indicator for each taxpayer (attribute 8) is updated to reflect this action. Taxpayers who are not honest become honest upon audit. 3. Each taxpayer updates her perception of social norms (attribute 5) by polling the reporting behavior of taxpayers in her acquaintance list. 4. Each taxpayer updates her perception of the severity of the enforcement regime (attribute 4) by ascertaining the audit frequency of taxpayers in her acquaintance list.

The authors are deeply indebted to Ralph Wojowitcz for his research assistance. We also acknowledge the valuable comments and insights provided by Richard Gaylord, Young Kwon, Norman Solomon, Dan Stone, Robert Yetman and by workshop participants at the 2000 American Accounting Association Annual Meeting, Washington University in St. Louis, University of Illinois at Urbana-Champaign, and University of Wisconsin-Madison.

Submitted May 2000

Accepted August 2002

(1) Hite (1988) is an exception in this line of research. In a role-playing experiment using prospective jurors, she finds that peer influence has no significant effect on tax compliance.

(2) We obtained survey evidence regarding taxpayer behavior in Spain, Sweden, and the United Kingdom from de Juan et al. (1994), Vogel (1974), and Lewis (1979), respectively. For evidence regarding the United States, see Westat, Inc. (1980) and Yankelovich, Skelly, and White, Inc. (1984). These studies' results suggest that cross-cultural differences in the social acceptability of evasion may partly account for differences in observed levels of compliance. In addition, these studies found that a number of cultural variables that mediate the effect of norms on behavior (e.g., social cohesion, alienation, etc.) were significantly related to compliance behavior. Evidence also suggests that regional differences in compliance within countries may be attributable to local differences in social norms (e.g., Witte and Woodbury [1985] note an apparent effect within the United States).

(3) Mathematical biologists commonly use our approach to model epidemics (see Kermack and McKendrick 1927; Murray 1989, 611-618). Our model differs considerably from those in epidemiology, however, in that we carefully constructed the flows in our model to represent the social psychology of tax evasion. Researchers have used this class of models to investigate a number of topics in the social sciences, ranging from a model of social revolution to the spread of illegal drug use (Epstein 1997, 69-93).

(4) Kirman (1992) critiques the use of representative agents in analytical models.

(5) Agent-based models are not related to agency theory. Epstein and Axtell (1996) provide an excellent review and a general introduction to agent-based models in the social sciences.

(6) Because we focus on population proportions, our model provides limited insight into the dollar amount of taxes evaded. Evaders can choose activities that permit greater opportunities for evasion, leading to larger dollar amounts evaded than the population proportion would suggest. Other factors may reduce the amount of taxes evaded (e.g., third-party reporting requirements may restrict evasion).

(7) We test the robustness of the uniform mixing assumption and other assumptions regarding the flows among taxpayer classes using our agent-based model.

(8) For example, underwithheld taxpayers tend to perceive payments to the tax agency as losses while overwithheld taxpayers tend to perceive refunds from the tax agency as gains. Because individuals are risk seeking in perceived losses and risk averse in perceived gains (Kahneman and Tversky 1979), under- or overwithholding can affect tax compliance (e.g., Schepanski and Kelsey 1990; White et al. 1993).

(9) Psychological explanations for post-audit compliance include availability (Tversky and Kahneman 1973) and vividness (Nisbett et al. 1976; Plous 1993). This research generally finds that taxpayers judge an audit as more probable if it is vivid or more easily recalled. In addition, taxpayers may experience guilt or stigma if the tax agency discovers their evasion. Combined with availability, it is reasonable to expect such taxpayers to report honestly, at least for a time.

(10) Some taxpayers might flow from the evader class back to the susceptible class. That is, some evaders might not be rehabilitated when they are audited, remaining susceptible rather than becoming honest. Similarly, one might add a flow from the susceptible class back to the honest class to allow for spontaneous recovery from susceptibility. Adding these flows to our model complicates the analysis but the results do not differ significantly from those reported here. Specifically, these alternative models have stable honest and mixed equilibria, they meet our plausibility criteria, and the comparative statics results are qualitatively the same as those reported below.

(11) Social norms influence behavior in a number of settings (e.g., see Grasmick and Green [1980] for work in a legal context, and King [2002] for an experimental study showing that professional norms mitigate auditors' propensity to engage in self-serving bias.)

(12) In accounting, Bloomfield's (1995, 1997) work on the evolution of expectations and its effect on the predictive ability of a Nash equilibrium is in this line of research.

(13) We thank one of our anonymous reviewers for this insight.

(14) The qualitative aspects of the vector field obtain for any g(x) satisfying the relations in Panel A. For computation purposes, we use the function g(x) = [beta] + (4a/d(1 + [e.sup.db]))[([e.sup.db] - [e.sup.-d(x - b)])/(1 + [e.sup.-d(x - b))]] where the equality [gamma]/a = 4(1 - [e.sup.-d])/(d(1 + [e.sup.-db])(1 + [e.sup.-d(1 - b))] is satisfied if and only if a > [gamma] > 0. A proof showing that this equation satisfies the criteria required for g(x) is available from the authors.

(15) We constructed Figure 5 from a numerical analysis, using the equation in footnote 14 as g(x).

(16) For some parameterizations of r[x.sub.1] and g([x.sub.1]), the lower curve in Figure 5 reaches 0, or a completely honest population.

(17) Schelling (1969, 1971, 1978) pioneered the use of agent-based models in social science research, using the method to study the formation of segregated neighborhoods. More recently, agent-based models have provided new insights in economics (e.g., see Marimon et al. 1990; Albin and Foley 1992; Marengo and Tordjman 1996; Arthur et al. 1997; Weisbuch et al. 1998), sociology and social psychology (Carley 1991; Glance and Huberman 1993; Danielson 1996; Page and Hong 1996), anthropology (e.g., Kohler et al. 1999), and political science (e.g., Axelrod 1997; Kollman et al. 1997).

(18) For example, the small experiment reported in this paper took approximately 720 hours of processing time on a 550 MHz personal computer.

(19) A detailed description of the Mathematica code for our model is available from the authors.

(20) Although the base rate of tax audits is common knowledge in some countries (e.g., the U.S. press reports overall audit rates), individuals do not respond normatively to such information. For example, they tend to underweight base rates (Kahneman and Tversky 1973). In addition, other factors affect individuals' likelihood judgments, including the ease with which they can recall occurrences of the event (Tversky and Kahneman 1973). Our assumption that taxpayers form their beliefs on the basis of their own experience and on the basis of their acquaintances' experiences is consistent with people's tendency to underweight base rates and base judgments of likelihood on ease of recall.

(21) For simplicity, we draw all randomly determined values from a uniform distribution.

(22) Because agent-based analysis is data driven, it can only falsify (and not verify) predictions. Although the data arising from our analysis are consistent with a Lyapunov-stable system, we cannot prove that our model is Lyapunov stable.

(23) The tax agency did not audit compliant taxpayers in this series of simulations.

(24) We investigated finer partitions (at 0.001 intervals) of audit rates around the sudden transition in behavior, and our results remain consistent with the aggregate model.

REFERENCES

Albin, P., and D. K. Foley. 1992. Decentralized, dispersed exchange without an auctioneer: A simulation study. Journal of Economic Behavior and Organization 18 (1): 27-51.

Aim, J. 1991. A perspective on the experimental analysis of taxpayer reporting. The Accounting Review 66 (3): 577-593.

--, I. Sanchez, and A. de Juan. 1995. Economic and noneconomic factors in tax compliance. Kyklos 48 (1): 3-18.

Arnol'd, V. 1991. Ordinary Differential Equations. 3rd edition. New York, NY: Springer-Verlag.

Arthur, W. B., J. H. Holland, B. LeBaron, R. Palmer, and P. Tayler. 1997. Asset pricing under endogenous expectations in an artificial stock market. In The Economy as an Evolving Complex System II, edited by W. B. Arthur, S. N. Durlauf, and D. A. Lane, Vol. 27 of Santa Fe Institute Studies in the Sciences of Complexity, 1-44. Reading, MA: Addison-Wesley.

Axelrod, R. 1997. The Complexity of Cooperation. Princeton, NJ: Princeton University Press.

Axtell, R. 2000. Why agents? On the varied motivations for agent computing in the social sciences. In Proceedings of the Workshop on Agent Simulation: Applications, Models, and Tools, edited by C. M. Macal, and D. Sallach, 3-24. Chicago, IL: University of Chicago, Argonne National Laboratory.

Bloomfield, R. 1995. Strategic dependence and inherent risk assessments. The Accounting Review 70 (1): 71-90.

--. 1997. Strategic dependence and the assessment of fraud risk: A laboratory study. The Accounting Review 72 (4): 517-538.

Carley, K. 1991. A theory of group stability. American Sociological Review 56 (3): 331-354.

Cooter, R. 1998. Expressive law and economics. Journal of Legal Studies 27 (2): 585-607.

Crist, T., and J. Haefner. 1994. Spatial model of movement and foraging in harvester ants (Pogonomyrmex) II: The roles of environment and seed dispersion. Journal of Theoretical Biology 166 (3): 315-323.

Danielson, P., ed. 1996. Modelling Rationality, Morality, and Evolution. New York, NY: Oxford University Press.

de Juan, A., M. Lasheras, and R. Mayo. 1994. Voluntary tax compliance behavior of Spanish income taxpayers. Public Finance 49 (Supplement): 90-105.

Edelstein-Keshet, L. 1988. Mathematical Models in Biology. Berkhauser Mathematical Series. New York, NY: Random House.

Epstein, J., and R. Axtell. 1996. Growing Artificial Societies: Social Science from the Bottom Up. Cambridge, MA: MIT Press.

--. 1997. Nonlinear Dynamics, Mathematical Biology, and Social Science. Vol. 4 of Santa Fe Institute Lecture Notes. Reading, MA: Addison-Wesley.

Erard, B., and J. Feinstein. 1994. Honesty and evasion in the tax compliance game. The Rand Journal of Economics 25 (1): 1-19.

Gaylord, R., and J. Davis. 1999. Modeling nonspatial socioeconomic interactions: An agent-based approach. Mathematica in Education and Research 8 (2): 30-33.

Geeroms, H., and H. Wilmots. 1985. An empirical model of tax evasion and tax avoidance. Public Finance 40 (2): 190-209.

Glance, N. S., and B. A. Huberman. 1993. The outbreak of cooperation. Journal of Mathematical Sociology 17 (4): 281-302.

Grasmick, H., and D. Green. 1980. Legal punishment, social disapproval, and internalization as inhibitors of illegal behavior. Journal of Criminal Law and Criminology 71 (3): 325-335.

--, and W. Scott. 1982. Tax evasion and mechanisms of social control: A comparison with grand and petty theft. Journal of Economic Psychology 2 (3): 213-230.

Haefner, J., and T. Crist. 1994. Spatial model of movement and foraging in harvester ants (Pogonomyrmex) I: The roles of memory and communication. Journal of Theoretical Biology 166 (3): 299-313.

Hamblin, R., R. Jacobsen, and J. Miller. 1973. A Mathematical Theory of Social Change. New York, NY: Wiley.

Healy, P. M., and J. M. Wahlen. 1999. A review of the earnings management literature and its implications for standards setting. Accounting Horizons 13 (4): 365-383.

Hite, P. 1988. The effect of peer reporting behavior on taxpayer compliance. The Journal of the American Taxation Association 10 (2): 47-64.

Kahneman, D., and A. Tversky. 1973. On the psychology of prediction. Psychological Bulletin 80 (4): 237-251.

--, and --. 1979. Prospect theory: An analysis of decision under risk. Econometrica 47 (2): 263-291.

Kaplan, S., and P. Reckers. 1985. A study of tax evasion judgments. National Tax Journal 38 (1): 97-102.

Kermack, W., and A. McKendrick. 1927. Contributions to the mathematical theory of epidemics. Proceedings of the Royal Statistical Society (Series A) 115: 700-721.

King, R. 2002. An experimental investigation of self-serving biases in an auditing trust game: The effect of group affiliation. The Accounting Review 77 (2): 265-284.

Kirman, A. 1992. Whom or what does the representative agent represent? Journal of Economic Perspectives 6 (2): 117-136.]

Kohler, T. A., J. Kresl, C. Van West, E. Cart, and R. Wilshusen. 1999. Dynamics in Human and Primate Societies: Agent-Based Modeling of Social and Spatial Processes. Santa Fe, NM: Santa Fe Institute.

Kollman, K., J. Miller, and S. Page. 1997. Political institutions and sorting in a Tiebout model. American Economic Review 87 (5): 977-992.

Lerner, M. 1998. The two forms of belief in a just world. In Responses to Victimizations and Belief in a Just World, edited by L. Montada, and M. Lerner, 247-269. New York, NY: Plenum.

Lewis, A. 1979. An empirical assessment of tax mentality. Public Finance 43 (2): 245-257.

Lindbeck, A., S. Nyberg, and J. Weibull. 1999. Social norms and economic incentives in the welfare state. Quarterly Journal of Economics 114 (1): 1-35.

Marengo, L., and H. Tordjman. 1996. Speculation, heterogeneity, and learning: A simulation model of exchange rate dynamics. Kyklos 49 (3): 407-438.

Marimon, R., E. McGrattan, and T. J. Sargent. 1990. Money as a medium of exchange in an economy with artificially intelligent agents. Journal of Economic Dynamics and Control 14 (2): 329-373.

Mayhew, B., J. Schatzberg, and G. Sevcik. 2001. The effect of accounting uncertainty and auditor reputation on auditor objectivity. Auditing: A Journal of Practice & Theory 20 (2): 49-70.

McAdams, R. 1997. The origin, development, and regulation of norms. Michigan Law Review 96 (2): 338-433.

Murray, J. 1989. Mathematical Biology. New York, NY: Springer-Verlag.

Nisbett, R. E., E. Borgida, R. Crandall, and H. Reed. 1976. Popular induction: Information is not always informative. In Cognition and Social Behavior, edited by J. S. Carroll, and J. W. Payne, Vol. 2, 227-236. Hillsdale, NJ: Erlbaum.

Page, S., and L. Hong. 1996. Problem solving by teams of heterogeneous agents. Unpublished manuscript, Pasadena, CA, California Institute of Technology, Division of Humanities and Social Sciences.

Plous, S. 1993. The Psychology of Judgment and Decision Making. New York, NY: McGraw-Hill.

Schelling, T. 1969. Models of segregation. American Economic Review 59 (2): 488-493.

--. 1971. Dynamic models of segregation. Journal of Mathematical Sociology 1 (2): 143-186.

--. 1978. Micromotives and Macrobehavior. New York, NY: Norton. Schepanski, A., and D. Kelsey. 1990. Testing for framing effects in taxpayer compliance decisions. The Journal of the American Taxation Association 12 (1): 60-77.

Schmader, T., and B. Major. 1999. The impact of ingroup versus outgroup performance on personal values. Journal of Experimental Social Psychology 35 (1): 47-67.

Scott, W., and H. Grasmick. 1981. Deterrence and income tax cheating. Journal of Applied Behavioral Science 17 (3): 395-408.

Smith, H. J., T. R. Tyler, Y. J. Huo, D. J. Ortiz, and E. A. Lind. 1998. The self-relevant implications of the group-value model: Group membership, self-worth, and treatment quality. Journal of Experimental Social Psychology 34 (5): 470-493.

Spicer, M., and S. Lundstedt. 1976. Understanding tax evasion. Public Finance 31 (2): 295-305.

--, and L. Becker. 1980. Fiscal inequity and tax evasion: An experimental approach. National Tax Journal 33 (2): 171-175.

Tversky, A., and D. Kahneman. 1973. Availability: A heuristic for judging frequency and probability. Cognitive Psychology 5 (2): 207-232.

Tyler, T. R. 1990. Why People Obey the Law. New Haven, CT: Yale University Press.

Vogel, J. 1974. Taxation and public opinion in Sweden: An interpretation of recent survey data. National Tax Journal 27 (4): 499-513.

Waltman, P. 1974. Deterministic Threshold Models in the Theory of Epidemics. Lecture Notes in Biomathematics, Vol. 1. New York, NY: Springer-Verlag.

Weibull, J. W. 1997. Evolutionary Game Theory. Cambridge, MA: MIT Press.

Weisbuch, G., A. Kirman, and D. Herreiner. 1998. Market organisation. In Advances in Self-Organisation and Evolutionary Economics, edited by J. Lesouren, and A. Orlean, 160-192. London, U.K.: Economica.

Weisman, J. 2001. IRS audits at record low: Officials cite decade-long staff decrease, old computers, law defending taxpayers. USA Today (February 16): Al.

Westat, Inc. 1980. Individual Income Tax Compliance Factors Study: Qualitative Research Results. Rockville, MD: Westat.

White, R., P. Harrison, and A. HarreU. 1993. The impact of income tax withholding on taxpayer compliance: Further empirical evidence. The Journal of the American Taxation Association 15 (2): 63-78.

Witte, A., and D. Woodbury. 1985. The effects of tax laws and tax administration on tax compliance: The case of the U.S. individual income tax. National Tax Journal 38 (1): 1-13.

Yankelovich, Skelly, and White, Inc. 1984. Taxpayer Attitudes Survey: Final Report. New York, NY: Internal Revenue Service, Public Affairs Division.

Jon S. Davis University of Wisconsin-Madison Gary Hecht Jon D. Perkins University of Illinois at Urbana-Champaign

Printer friendly Cite/link Email Feedback | |

Author: | Davis, Jon S.; Hecht, Gary; Perkins, Jon D. |
---|---|

Publication: | Accounting Review |

Geographic Code: | 1USA |

Date: | Jan 1, 2003 |

Words: | 14161 |

Previous Article: | Regulation FD and the financial information environment: early evidence. |

Next Article: | Capital budgeting and managerial compensation: incentive and retention effects. |

Topics: |