Fair Prediction with Endogenous Behavior

2020·Arxiv

Abstract

Abstract

There is increasing regulatory interest in whether machine learning algorithms deployed in consequential domains (e.g. in criminal justice) treat different demographic groups “fairly.” However, there are several proposed notions of fairness, typically mutually incompatible. Using criminal justice as an example, we study a model in which society chooses an incarceration rule. Agents of different demographic groups differ in their outside options (e.g. opportunity for legal employment) and decide whether to commit crimes. We show that equalizing type I and type II errors across groups is consistent with the goal of minimizing the overall crime rate; other popular notions of fairness are not.

1 Introduction

Algorithms to automate consequential decisions such as hiring [Miller, 2015], lending [Byrnes, 2016], policing [Rudin, 2013], and criminal sentencing [Barry-Jester et al., 2015] are frequently suspected of being unfair or discriminatory. The suspicions are not hypothetical. The 2016 ProPublica study [Angwin et al., 2016] of the COMPAS Recidivism Algorithm (used to inform criminal sentencing decisions by attempting to predict recidivism) found that the algorithm was significantly more likely to incorrectly label black defendants as recidivism risks compared to white defendants, despite similar overall rates of prediction accuracy between populations. Since then, discoveries of “algorithmic bias” have proliferated, including a recent study of racial bias by algorithms that prioritize patients for healthcare [Obermeyer et al., 2019]. Thus spurred, policymakers, regulators, and computer scientists have proposed that algorithms be designed to satisfy notions of fairness (see for instance O’Neil [2016], Barocas et al. [2018], Roth and Kearns [2019] for overviews).

This raises a question: what measure(s) of fairness should designers be held to, and how do these constraints interact with the original objectives the algorithm was designed to target? The COMPAS case illustrates that the answer is not clear. ProPublica and Northpointe (the company that designed COMPAS) advocated for different measures of fairness. ProPublica argued that the algorithm’s predictions did not maintain parity in false positive and false negative rates between white and black defendants,while Northpointe countered that their algorithm satisfied predictive parity.Subsequent research identified hard trade-offs in the choice of fairness metrics: under some mild conditions, the two requirements above cannot simultaneously be satisfied (Kleinberg et al. [2016], Chouldechova [2017]). This inspired a literature proposing (or criticizing) notions of fairness based on ethical/ normative grounds. The literature evaluates algorithms on the basis of these measures, and/or proposes novel algorithms that better trade-off the goals of the original designer (decision accuracy, algorithmic efficiency) with these fairness desiderata.In general, the different proposed fairness measures are fundamentally at odds with one another. For example, in addition to the impossibility results due to Kleinberg et al. [2016], Chouldechova [2017], enforcing parity of false positive or false negative rates for e.g. parole decisions typically requires making parole decisions using different thresholds on the posterior probability that an individual will commit a crime for different groups. This has itself been identified by [Corbett-Davies and Goel, 2018] as a potential source of “unfairness”.

This line of research is subject to two criticisms. First raised by, for example [Corbett-Davies and Goel, 2018]: these notions of fairness are disconnected from and lead to unpalatable tradeoffs with other economic and social quantities and consequences one might care about. Second, the literature almost exclusively assumes that the agent types, which are relevant to the decision at hand, are exogenously determined, i.e. unaffected by the decision rule that is selected. For instance, in the criminal justice application described, individual choices of whether to commit a crime or not, and therefore the overall crime rates, are fixed and not affected by policy decisions made at a societal level (e.g. what legal standards are used to convict, policing decisions etc). In settings like this where agent decisions are exogenously fixed, Corbett-Davies and Goel [2018] and Liu et al. [2019b] observe that optimizing natural notions of welfare and accuracy (incarcerating the guilty, acquitting the innocent) are achieved by decision rules that select a uniform threshold on “risk scores” that are well calibrated — for example, the posterior probability of criminal activity — which tend not to satisfy statistical notions of fairness that have been proposed in the literature. Does this mean that setting uniform thresholds on equally calibrated risk scores is better aligned with natural societal objectives than is asking for parity in terms of false positive and negative rates across populations?

In this paper, we consider a setting in which agent decisions are endogenously determined and show that in this model, the answer is no: in fact, parity of false positive and negative rates (sometimes known in this literature as equalized odds Hardt et al. [2016]) is aligned with the natural objective of minimizing crime rates. Parity of positive predictive value and posterior threshold uniformity are not. Although the model need not be tied to any particular application, we develop it using the language of criminal justice. We treat agents as rational actors whose decisions about whether or not to commit crimes are endogenously determined as a function of the incentives given by the decision procedure society uses to punish crime. The possibility for unfairness arises because agents are ex-ante heterogeneous: their demographic group is correlated with their underlying incentives— for example each individual has a private outside option value for not committing a crime, and the distribution of outside options differs across groups. Our key result is that policies that are optimized to minimize crime rates are compatible with a popular measure of demographic fairness — equalizing false positive and negative rates across demographics — and are generally incompatible with equalizing positive predictive value and uniform posterior thresholds. Thus, which of these notions of fairness is compatible with natural objectives hinges crucially on whether one believes that criminal behavior is responsive to policy decisions or not.

Our results have direct implications for regulatory testing for unfairness. Often, in settings of interest, a regulator does not directly observe the decision rule used by an adjudicator. However, the regulator may wish to test whether the adjudicator is using a “fair” rule, i.e. whether the adjudicators choices are biased towards or against some demographic group. Following a tradition starting with Becker [2010], one standard used is called an outcome test, i.e. comparing, ex-post, the classification assigned by the adjudicator to observed outcomes. For instance, in a criminal justice setting, one may compare the judge’s decision to the (somehow obtained) actual innocence or guilt of the defendants, or in a lending setting, compare the lender’s decision on whom to extend loans to with the actual repayment outcomes of loan applicants etc.

In this context, a given prescription on what constitutes a “fair” or non-discriminatory rule maps into a corresponding outcome test. In particular, a test that is popularly used by researchers and regulators corresponds to the common-posterior-threshold rule described above. As already mentioned, this is not the best test in our model. When used, this test attempts to evaluate whether the adjudicator is using a common posterior threshold across groups by evaluating whether the marginal agents across groups have similar probabilities of different outcomes. However, implementing this test is difficult: identifying (and being sure that one has correctly identified) the marginal agent in each group is hard (this is roughly the infra-marginality problem, see e.g. [Simoiu et al., 2017]). For instance, there may be information observed by the decision maker but not by the regulator/ econometrician (an oft cited example is that police observe a suspect’s demeanor, and use this as a factor, but this cannot be quantified). By contrast, if our maintained assumptions are valid, then an adjudicator wishing to minimize crime should use a rule that equalizes false positive and false negative rates across demographic groups. This is easy to estimate and test: there is no need to identify a marginal agent.

1.1 Overview of Model and Results

We first derive our results in an extremely simple baseline model to highlight the underlying intuition. We then show that our conclusions are robust to a number of elaborations and generalizations of the model.

Our baseline model (in Section 2) has a mass of agents who each belong to one of two demographic groups. Each agent has a single choice on the extensive margin, for instance a binary choice of whether or not to commit a crime; or whether or not to acquire human capital, etc. To fix ideas, in this paper we frame the matter as a decision about whether to commit a crime.

An adjudicator has to classify each agent as guilty or innocent. This classification is based on a noisy signal that the adjudicator receives of each agent’s choice; the distribution of this signal depends only on the agent’s choice, and not on her group. Further, the adjudicator observes the group membership of each agent. The adjudicator commits ex-ante to a classification rule, i.e. how it will classify agents as a function of the signal received, and potentially the agent’s group membership.

Agents are expected payoff maximizers who enjoy a monetary benefit from crime but also a cost of being declared guilty of the crime. In choosing whether to commit a crime, they compare their expected net benefit from the crime to an outside option. The costs and benefits are privately known to the agent, but not to the adjudicator (who only sees group membership). The only distinction between groups is that the distributions of costs and benefits may be different for different groups. For example, individuals from different groups might have different legal employment opportunities, different costs of incarceration (e.g. differences in stigma), etc. The model is flexible enough to allow (potentially different) fractions of the population in each group who are rigidly law-abiding (i.e. do not commit a crime regardless of circumstance) or hardened criminals (i.e. will commit a crime regardless of circumstance), and a variety of responses to incentives in between these two extremes. We don’t model the source of this heterogeneity: it is exogenous, and the distribution is known to the adjudicator. Given these preferences, the adjudicator’s decision rule determines their choices, which in turn determines the overall crime rate in each population.

The adjudicator’s objective is to minimize the overall crime rate, i.e. the total mass of agents that choose to commit a crime. While we model the adjudicator as knowing that the underlying groups are heterogeneous (i.e. knowing the above distributions that describe each group), the adjudicator is not biased for or against any group, nor is there any underlying preference for fairness. Our main result (see Section 3) is that the classifier that minimizes the crime rate is fair according to a metric that has attracted attention in the literature: setting different thresholds on the posterior probability of crime for each group so as to guarantee equality of false positive and negative rates. This corresponds to setting the same threshold on signals across groups.

To dig a little deeper into this result, the equilibrium crime rate in each population can be viewed as the adjudicator’s prior belief in equilibrium that an agent has committed a crime, given knowledge only of her group membership. Given the noisy signal, the adjudicator has a posterior belief that the agent has committed a crime. In a static environment, the optimal classification rule for an adjudicator who wishes to optimize classification accuracy will be a group-independent threshold on her posterior belief that an agent has committed a crime. Note that priors will generally differ between populations (because outside option distributions differ, crime rates in the two populations differ). Therefore policies corresponding to group-independent thresholds on posterior beliefs will typically correspond to applying group-dependent thresholds on signals and vice versa.

Equalizing false-positive and false-negative rates across groups then corresponds to setting identical thresholds on the raw signal for each group. It can be viewed as a commitment to avoid conditioning on group membership, even when group membership information is ex-post informative for classification. The intuition is that if the adjudicator uses the same threshold on the posterior belief that an agent has committed a crime for each group, the decision rule is making use of information contained within each group’s prior. Although this information is statistically informative of the decision made by the agent, it is not within the agent’s control. Using this information therefore only distorts the (dis-)incentives to commit crime. On the other hand, if the adjudicator uses the same threshold on agents’ signals for each group (and hence different thresholds on posterior beliefs), decisions are made only as a function of information under the control of the agents, and hence are more effective at discouraging crime. The equalizing of false-positive and false-negative rates across the groups follows from this.

The main insights of our baseline model continue to hold even when many of its core assumptions are relaxed. We summarize them here.

First, the baseline model assumes that a signal is observed by the adjudicator for every agent (or equivalently, at equal rates across populations). There is significant empirical evidence, however, that this is often not the case: for example, arrest rates (and hence prosecution rates) are substantially higher in minority populations for certain drug offenses, despite evidence that the underlying prevalence is more uniform across groups [Mitchell and Caudy, 2015]. Section 4 introduces an elaboration of the baseline model based on Persico [2002].

In this variant, the adjudicator must rely on an intermediary (police) to inspect agents and generate a signal. The adjudicator observes a signal from an individual only if the police inspect them, and individuals are punished only if they are inspected and their signal crosses the adjudicator’s threshold for establishing guilt. The police have their own objectives: to maximize the number of successful inspections (e.g. inspections that result in an arrest). Formally, we study the following game: The adjudicator commits to a decision rule on guilt/ innocence based on signals. Then police and agents play a simultaneous move game: The police choose an inspection intensity for each group to maximize their objectives, given the adjudicator’s rule and crime rates in each group, subject to an overall capacity constraint. Agents of different groups commit crime based on both the adjudicator’s rule, and the police’s inspection rate for their group. We show that similar results continue to hold in this model, i.e. the optimal rule for the adjudicator will continue to equalize the disincentive to commit crime across the groups. This will result in equalizing conditional false-positive and false-negative rates across the groups, i.e. the rate conditional on being inspected.

In Section 5, we consider a setting in which the signal distribution depends not just on the action chosen by the agent (crime or no crime) but may also depend on their group. For example, the underlying signal generating process may be less noisy for agents from certain groups, and noisier for others. Of course, in general, the structure of the optimal solution is closely tied to the relationship between the signal distributions, and our results cannot carry over without further assumptions.Nevertheless, the insights provided by our previous analysis allow us to study the tradeoff between the adjudicator’s objective (minimizing overall crime) and various fairness notions. In particular, Theorem 5.1 gives conditions under which our baseline insights continue to hold, i.e. conditions under which the adjudicator’s optimal rule will continue to equalize the disincentive to commit crime across groups. Conversely, Theorem 5.3 shows conditions under which rules that equalize false-positive or false-negative rates across groups outperform rules that equalize incentives.

Finally, note that crime rate in our model (or what is referred to in the classification literature as “base rate”) is endogenous, where it is normally modeled as exogenously fixed. This allows us to consider an additional notion of fairness that is ill-defined in the existing literature; namely classification rules that equalize base rate across groups. In Section 6, we study when this may be better or worse than the other notions we considered above in terms of the adjudicator’s objective (overall crime rate).

1.2 Additional Related Work

The economic literature starting from Arrow [1972] has considered models of discrimination where agent decisions (e.g. to gain education) are endogenous and their incentives determined by a principal’s choice (e.g. employer’s hiring rule). Coate and Loury [1993], Foster and Vohra [1992] study models in which individuals have a choice about how much effort to exert, and identical populations can have different outcomes in (e.g. hiring markets) because of asymmetric self-confirming equilibria. There has also been extensive interest in the design of affirmative action policies for example in higher education. Loury [1977] makes the case that affirmative action may be necessary to correct historical inequity by constructing a dynamic model in which heterogeneity between two groups may persist if the principal uses a non-discriminatory rule going forward. The subsequent literature is too large to comprehensively cite, see Fang and Moro [2011] for a survey.

There has also been substantial interest in evaluating outcome data for evidence of discrimination, using (or developing) an underlying theoretical prediction of how such discrimination would manifest: see e.g. Knowles et al. [2001], Persico [2002] or Anwar and Fang [2006] in the context of policing/ traffic stops. A large literature has studied lending data for evidence of discrimination against women and minorities: see e.g. Ferguson and Peters [1995] or Ladd [1998] for overviews of both the debate on what measures of (un-)fairness to use, and an overview of the existing research.

More recently, in the computer science literature, several papers consider effort-based models that are similar in spirit to Coate and Loury [1993], Foster and Vohra [1992]. Hu and Chen [2018] propose a two-stage model of a labor market with a “temporary” (i.e. internship) and “permanent” stage, and study the equilibrium effects of imposing a fairness constraint (“statistical parity”, which corresponds to hiring from two populations at equal rates) on the temporary stage. Liu et al. [2019c] consider a model of the labor market with higher dimensional signals, and study equilibrium effects of “subsidy” interventions which can lessen the cost of exerting effort. Kannan et al. [2019] study the effects of admissions policies on a two-stage model of education and employment, in which a downstream employer makes rational decisions, but student types are exogenously determined. Two recent papers Liu et al. [2019a], Mouzannar et al. [2019] study non game-theoretic models by which classification interventions in an earlier stage can have effects on individual type distributions at later stages, and show that for many commonly studied fairness constraints (including several that we consider in this paper), their effects can either be positive or negative in the long term, depending on the functional form of the relationship between classification decisions and changes in the agent type distribution.

2 Preliminaries

Each agent belongs to a group . A group corresponds to some observable characteristic of the agent, for instance race or gender. There are agents in group g. For simplicity assume just two groups {1, 2} though the results extend straightforwardly to any finite number. Each agent makes a single binary decision to either commit a crime (c) or remain innocent (i).

Then, for each agent, the adjudicator observes a random signal which is informative of the agent’s guilt/innocence. The distribution of the signal depends only on whether the agent has committed a crime (and is therefore conditionally independent of their group). Criminals’ signals are drawn according to the distribution (with pdf ) and innocents’ signals drawn from (with pdf ). It is without loss of generality (reordering signals if necessary) to assume that the signal distributions satisfy the Monotone Likelihood Ratio Property (MLRP), i.e. higher signals imply a higher likelihood of guilt.

The adjudicator commits to a decision rule , which labels an agent in group g with signal s as guilty with probability [0, 1]. Note that implicitly this means the adjudicator perfectly observes an agent’s group membership, along with the signal, at the time of adjudication. We write q = 1 to indicate that the agent is labeled guilty and q = 0 otherwise.

Now we describe agents’ incentives to commit a crime in the first place. The agent receives a reward when he commits a crime, but pays a penalty of if he is labeled as guilty. An agent who does not commit a crime receives his outside option value . All three quantities are privately known only to the agent and are drawn independently from a distribution that may potentially differ across the groups. An agent in group g commits a crime if his net utility from committing a crime is higher than not:

which can be written as

where is the marginal benefit of committing a crime normalized by the penalty. Define

as the disincentive for committing a crime: it is the group specific additional probability of being found guilty having committed a crime relative to not. Then, the crime rate of group g can be expressed in terms of , the survivor function (i.e. 1-CDF) associated with the relevant quantity on the right hand side of (2) given the joint distribution of and :

The adjudicator’s objective is to minimize the overall crime rate, i.e. to solve

where of course, determines ∆by (3) and therefore as per (4). Here, B is the set of all feasible policies for the adjudicator, i.e. [0, 1]}.

2.1 Fairness Measures

We are interested in how decision rules respecting various notions of fairness perform relative to the optimal policy, and to each other. There are five main notions of fairness that we discuss throughout this paper, each of which corresponds to equalizing some statistical quantity across groups. Three of them have been considered both in the literature and in the popular press: equalizing false positive rates, false negative rates, and positive predictive value. These three notions of fairness are of particular interest to us because it has been shown that attaining all three measures simultaneously is impossible (Kleinberg et al. [2016], Chouldechova [2017]).

Given a policy for group g, true positive rate (TPR), false positive rate (FPR), false negative rate (FNR), and positive predictive value (PPV) are defined as

Note that in light of these definitions, we can rewrite (3) as:

Additionally, we propose two new notions of fairness: equalizing disincentives (denoted ∆) and equalizing crime rates (denoted CR). We say the policy achieves fairness notion FPR, FNR, PPVCR} if the resulting respective quantity is the same across the groups when the adjudicator chooses policy . We write to be the set of all policies that achieve fairness notion .

Given this framework we are interested in two questions. First, which of these fairness notions is compatible with the adjudicator’s problem (OPT)? Second, under what conditions is a particular fairness notion better than another in terms of the objective of minimizing overall crime rate, i.e. when do we have that for fairness notions :

One final piece of notation will be useful. We denote by the solution to the adjudicator’s problem (OPT), i.e. the policy that minimizes crime overall. We sometimes refer to this as the optimal policy. Further, for fairness notion , we denote as the solution to the adjudicator’s problem among all rules that satisfy fairness notion ,i.e. the rule that solves

3 Results in the Baseline Model

The main result we build around is that the solution to the adjudicator’s problem (OPT) is naturally “fair” in terms of three of the five measures above. It provides an interesting counterpoint to the impossibility results of Kleinberg et al. [2016] and Chouldechova [2017]. Those results state that it is impossible to simultaneously equalize false negative rates, false positive rates, and positive predictive value across groups. This raises a question of which of the fairness measures should be preferred over the others. By endogenizing the base rate of criminal activity, we find that equalizing false positive rates and equalizing false negative rates are preferred to equalizing positive predictive value in the sense that the former two are compatible with the optimal policy while the latter is not. Formally,

Theorem 3.1. The adjudicator’s optimal policy (i.e. the policy which solves (OPT)) equalizes the disincentive to commit crime (∆) across groups. As a result, it also equalizes the false negative rates (FNR), and false positive rates (FPR).

Proof. First note that because can be set independently for each group g, minimizing the total crime rate is achieved by individually minimizing the crime rate within each group. Recall that the crime rate within a group is ). This in turn is minimized by maximizing the disincentive of crime ∆, since being a survivor function is non-increasing. Recall that

Therefore the optimal is independent of the (group-dependent) distribution over private values defining , and is therefore the same for all groups:

Since the disincentive to commit crime is a function only of , this results in the same disincentive to commit crime at the optimal solution.

Finally note that both the FNRand FPRfor each group are a function only of ) and ) (which are identical across groups), and the chosen policies ), which we have shown in the optimal solution will be identical across groups. Hence, the adjudicator’s optimal policy will equalize false positive rates and false negative rates across groups.

Rather than thinking of an arbitrary function ), it is more natural to think of the adjudicator as selecting a threshold for each group g so that any member of group g whose signal s exceeds is labeled guilty. That is

Remark 3.2. Since, and satisfy the MLRP property (i.e. is non-decreasing in is a threshold policy by observation. Note that if strict MLRP holds, then the optimal thresholds are unique.

Under a threshold policy, group g’s true positive rate reduces to TPR) and the false positive rate simplifies to FPR).

3.1 Discussion

It is interesting to contrast the policy of setting equal thresholds on the signal, which we show to be the optimal policy here, as opposed to equal thresholds on the ‘posterior’ or another calibrated risk score. The latter is advocated in Corbett-Davies et al. [2017], for example.

In that paper, the authors consider a setting where crime choices are exogenous/ fixed, and study the choice of policy that minimizes weighted misclassification rates (i.e. acquittal of the guilty and incarceration of the innocent). They show that an optimal policy involves a common ‘threshold’ on the posterior across groups, i.e., first, the adjudicator estimates the prior probability that an individual has committed a crime by considering the base rate of crime for the individual’s group and then uses the observed signal to update her prior probability to her posterior belief that the individual in question has committed a crime. Second, the individual is deemed guilty if the posterior probability of guilt exceeds some threshold.

Of course, in our setting, choice of crime is endogenous, and the planner’s objective function is minimizing crime rate rather than minimizing mislabeling costs. Nevertheless, it is interesting to inquire into the implications of equalizing the thresholds on the posterior in our setting.

In our setting, the posterior after observing the signal s and the group g is

which increases in s when the signal structure satisfies monotone likelihood ratio property. Thresholding the posterior corresponds to choosing a value [0, 1] and classifying as guilty whenever Pr(.

Let be the threshold on the signal under the planner’s optimal policy. The optimal policy classifies the defendant as guilty if the signal s exceeds the threshold . With the monotone likelihood ratio property, this implies a threshold rule on the posterior which is to classify the defendant as guilty whenever the posterior exceeds

By observation, the posterior thresholds are equalized across groups if and only if CR, i.e. if and only if crime rates are equalized under the optimal policy . This in turn will only occur if (∆) which of course will not obtain in general because need not be the same as .

4 Heterogenous Signal Observation

The baseline model assumes that when an agent commits a crime, the adjudicator observes the signal generated and adjudicates. What if the signals generated by members of each group are observed at different rates? This can happen if the adjudicator relies on an intermediary to record the signals. For example, in the crime application, the groups may be policed at different rates. Their (dis)incentives to commit crime will then differ as a result. Critically, we suppose that the police’s incentives differ from the adjudicator’s. The adjudicator’s choice of rule therefore influences the police’s choice on how to divide their manpower across different groups. Both the adjudicator’s rule and the police’s choice influence the incentives of agents to commit crime, and ultimately determine the overall crime levels in society.

To model this, we build upon upon the framework of Persico [2002]. There are a continuum of police officers who choose inspection intensities for each group given a search capacity S. The choice of inspection intensity determines the rate at which signals are observed from the two groups: upon inspection, a police officer observes a signal about whether a crime was committed or not. In Persico [2002], the signal is assumed to be perfect. We depart from this assumption in that in our setting, the observed signal is noisy, as in our baseline model. The adjudicator, as before, wishes to minimize the overall crime rate. As in Persico [2002], the police have different incentives. Specifically, each police officer tries to maximize the number of ‘successful’ inspections, i.e. where the signal recorded exceeds the threshold set by the adjudicator. As in Persico [2002], we motivate this incentive as driven by the career concerns of individual police officers (who are e.g. promoted if they have many successful arrests etc.).

The timing of the game is therefore: (1) The adjudicator chooses the function , (2) the police takes this as fixed and chooses inspection intensities [0, 1] for each group subject to the constraint (recall that is the number of agents in group and then (3) given the adjudicator’s choice , and inspection probability , an agent of group g with crime reward , cost of being found guilty and outside option commits a crime if (analogous to (1), but now taking into account also the probability of inspection):

where ∆is as defined in (3). By analogy with (4) an agent of group g commits crime with probability ).

As a benchmark, consider a setting where the adjudicator can choose both and . Here the objective function is to minimize the overall crime rate just as in (OPT), and the additional constraint simply reflects that the choice of inspection rule must be feasible, i.e. the total level of inspection cannot exceed total search capacity S. That is to say the adjudicator’s problem in this benchmark can be written as:

We refer to the solution of (5) as the first-best solution.

Now return to our setting above where the adjudicator chooses but not . The police take as given and choose to maximize the number of successful inspections. Note that an inspection in group g successful with probability As in Persico [2002], we assume an interior equilibrium solution, i.e., Intuitively, in this case, the optimal strategy for the police will equalize the crime rate between the two groups. Otherwise, police that are trying to maximize their successful inspection probability will exclusively search the group with the highest crime rate. Recognizing this, the adjudicator will solve the following

The solution to problem (6) is the second-best solution.

We note that because groups will be inspected at different rates, the TPR and FPR as we have defined them should correctly be called the conditional true and false positive rates respectively, i.e., the rates conditional on being inspected.Theorem 3.1 now carries over mutatis mutandis, i.e. in both the first and second best solution, the thresholds will be set so as to equalize the conditional false and true positive rates CFPR and CT PR. Proofs for this and subsequent theorems are in the appendix.

Theorem 4.1. The optimal solutions to both the first best (5) and second best (6) equalize the CFPR and CT PR across groups.

While the optimal under the first and second best outcomes coincide, the optimal inspection intensities need not. In particular, the first- and second-best solutions coincide when H is convex. However, when H is concave, then the inspection intensities under the second-best outcome maximize the average number of crimes out of all possible search intensities given the optimal signal thresholds.

Theorem 4.2. Suppose that the belong to the same location family, i.e. ) for some for each and that H is convex (concave). Then, the inspection intensities in the second best solution minimize (maximize) the crime rate among all thresholds that equalize conditional false positive rates and conditional true positive rates CFPR and CT PR.

5 Heterogeneous Signal Structure

We now examine the extent to which the conclusion of Theorem 3.1 holds if we allow the signal structure ) to be different across groups . The signal structure and the strategy ) matter to the extent they discourage crime. Recall, that the relevant sufficient statistic of a strategy ) is what we called the disincentive to commit crime:

The set of achievable disincentives given a signal structure is [∆

The relevant sufficient statistics for the signal structure () for group g are its minimal and maximal disincentive ∆and

5.1 General Analysis

In this section, we give some insight into what happens when the signal structure varies across groups without making further assumptions on how the signal structure varies. First, as should be clear from the intuition previously, what really matters for our results in the baseline model is not that the signal distributions are identical across populations, but rather that the maximal disincentive∆is the same across groups: if we have this, then the basic insight of Theorem 3.1 holds as before (maximizing disincentives across groups). This is summarized in Theorem 5.1. Note that since the signal structures are different, the implication of Theorem 3.1, i.e. that FPR/ FNR will also be equalized across groups, will not hold in general. Further, if the maximal disincentive differs, then in general the result does not hold, as we show in Example 5.2. Theorem 5.3 then provides conditions under which various “natural” fair policies are ranked under the adjudicator’s objective to minimize overall crime.

Let us start with analyzing the optimal policy that minimizes average crime. As in Section 3, average crime is minimized by maximizing the disincentive for crime in each group, which is attained by setting ) such that ∆for every g. Unlike in Section 3, the optimal policy does not guarantee any of the fairness notions described in section 2.1 — equalizing disincentives, equalizing false positive rates, equalizing false negative rates or equalizing positive predictive value — when the signal structures differ across the groups.

An immediate observation is that when the signal structures have the same maximal disincentives∆, then the optimal effective policy equalizes disincentives.

∆. The adjudicator’s optimal policy (i.e. the solution to (OPT)) equalizes disincentives (∆) across groups.

Theorem 5.1 follows from the core insight of Theorem 3.1 that the optimal rule maximizes the disincentive to commit crime for each group. When the signal structures across the groups are identical as in Theorem 3.1, the signal structures have the same maximal disincentives, and therefore, the optimal policy equalizes disincentives. Equalizing disincentives coincides with equalizing false positive rates and equalizing false negative rates in this case. However when the distributions of signals are different, equalizing disincentives need not be be the same as equalizing false positive/ false negative rates. Indeed, equalizing disincentives may yield a strictly lower crime rate than equalizing false positive rates and equalizing false negative rates even when∆

where is a random variable that has pdf ) that is strictly log-concave and has full support on R, and 1is an indicator function that equals 1 if and only if the agent has committed a crime. In words, committing a crime produces a signal that exceeds the signal from not committing a crime by at least 1 on average, while the underlying distribution may differ across the groups. Note that

and the strict log-concavity guarantees that the strict Monotone Likelihood Ratio Property between and is satisfied, that is, strictly increases in s, and that is unimodal. Finally, suppose that ) is asymmetric around its mode, and that ) is a horizontal reflection of .

For each threshold , the corresponding disincentives satisfy ∆1). The threshold maximizes ∆) if and only if it equalizes the pdfs at and 1:

Graphically, and 1 are obtained as a pair of intersection points between the pdf and a horizontal line, where the distance between the intersection points has to be 1 as in Figure 1. The maximal disincentive ∆) is the white area under between 1 and . Since is merely a horizontal reflection

∆. By Theorem 5.1, the optimal policy equalizes disincentives.

The false positive rate and false negative rate for each group are colored in blue and red. Clearly, and . Consequently, equalizing false positive rates and equalizing false negative rates yield strictly higher crime rates than equalizing disincentives. This also implies so that equalizing PPVs also yields a strictly higher crime rate in general.

When the signal structures across the groups have different maximal disincentives, we identify conditions under which both equalizing false positive rates and equalizing false negative rates yields a strictly lower crime rate than equalizing disincentives. Without loss of generality, let us assume that∆

1. The optimal policy subject to equalizing false positive rates () attains a (weakly) lower crime rate than equalizing disincentives ().

2. The optimal policy subject to equalizing false negative rates () attains a (weakly) crime rate than equalizing disincentives ().

3. ()() ) where is the threshold under the optimal policy for group g.

In general, the optimal policy does not guarantee any of the fairness notions. Theorem 5.3 provides a sufficient and necessary condition under which equalizing false positive rates and equalizing false negative rates attains lower crime rates than equalizing disincentives. However, condition 3 is hard to interpret. Further, it is unclear which of equalizing false positive rate and false negative rate would be better overall for the adjudicator. Without additional structure on the signal structures, it is hard to proceed further. To explore these issues, we restrict attention to signal distributions that are members of location-scale families of distributions.

5.2 Location Scale Families

Definition 5.4. We say that the signal structure is from a location-scale family if each group’s signal is a location-scale transformation of the same underlying random variable that has absolutely continuous and log-concave density function f with full support on the real line. Specifically, the signal for group g is generated according to:

where is a location shifter, is a scale shifter, is the marginal effect of crime on the signal and 1is an indicator function that equals 1 if and only if the agent has committed a crime. Equivalently, the

Note that the underlying distribution f is identical across the groups as in contrast to Example 5.2 where the underlying distribution differed across the groups. Combined with the functional form (7), log-concavity of f is equivalent to the signal structure satisfying the monotone likelihood ratio property for each group g which implies that the optimal is a threshold strategy. The log-concavity of f also implies that f is unimodal, which guarantees the uniqueness of the threshold that attains the optimal policy. There are many natural location-scale families of distributions satisfying log-concavity including normal distributions, logistic distributions, and extreme value distributions.

A property that makes location-scale family particularly tractable is that the disincentives engendered by a threshold depend only on , i.e. is the ratio between the scale shift and the marginal effect of crime . For this class of distributions, we can say that it is always preferable to equalize either false positive rates or false negative rates compared to equalizing disincentives.

Theorem 5.5. Suppose the distributions across groups are from the location-scale family as defined in Definition 5.4. Then

1. If , then the optimal policy equalizes disincentives, false positive rates and negative rates.

2. Suppose , and assume is larger without loss of generality. Then

∆. Further, the optimal policy subject to equalizing false positive rates () and equalizing false negative rates () attain strictly lower crime rates than equalizing disincentives (). Further, all three attain strictly higher crime rates than the optimal policy ().

The formal proof is in the appendix. For some intuition, note that the maximum disincentive∆is determined by and increasing in . Intuitively, this is because the larger the normalized marginal effect of crime on the signal is, the better the adjudicator is able to distinguish between the criminal and the noncriminal based on the signal, and therefore the adjudicator can increase the disincentive to commit crime. If this term is equal across groups, then Theorem 5.1 applies and part (1) follows as a corollary. Now, without loss of generality, suppose instead that . Then

∆. It can also be verified that the condition (3) in Theorem 5.3 holds, so that equalizing false positive rates and equalizing false negative rates always yield a lower crime rate than equalizing disincentives. Furthermore, we can also verify that equalizing false positive rates and equalizing false negative rates never attains the crime rate under the optimal policy.

A natural question to ask is whether one of equalizing false positive rates or equalizing false negative rates will have a lower crime rate than the other. It is a hard question to answer in general. When the underlying distribution f is symmetric around 0 (0 is without loss of generality since the ’s can always be shifted if f is symmetric around some other number), however, the set of feasible disincentives (∆) are identical under equalizing false positive rates and false negative rates, and therefore, the two notions of fairness yield the same crime rate.

Theorem 5.6. Suppose the signal structure is from the location-scale family as in Definition 5.4, and f is symmetric around 0. Then, the optimal policy subject to equalizing false positive rates and that subject to equalizing false negative rates yield the same crime rate.

6 Equalizing Crime Rates

In our model, the crime rates are endogenously determined by agents’ decisions as a response to the policy implemented. This is unlike most of the fairness literature that assumes that the underlying rates are fixed. It motivates us to study another fairness measure that previous papers could not have asked for: equalizing crime rates.

To understand the implications of equalizing crime rates, let us assume that group 2 is ‘riskier’ than group 1 without loss of generality. Specifically, assume that stochastically dominates – that is to assume (∆) (∆) ∆.

In this section, we focus on the comparison between equalizing crime rates and equalizing disincentives, while allowing any arbitrary signals structures ). Equalizing disincentives is an appropriate fairness measure to compare because it is attained by the optimal policy when∆.

The first question to ask is whether equalizing crime rates can ever attain a lower crime rate than equalizing disincentives. We find that equalizing crime rates attains a lower crime rate than equalizing disincentives if and only if∆is sufficiently larger than

Theorem 6.1. Suppose that first-order stochastically domiantes . Then, there is an 0 such that equalizing crime rates attains a lower crime rate than equalizing disincentives if and only if∆

The theorem is best demonstrated using the diagrams, although the formal proof is provided in the appendix. For theorem 6.1, we consider 4 cases: (i)∆

∆, and (iv)∆. For initial illustration purposes, we will focus on figure 2 which corresponds to the first case,∆. Each red and blue curve represents ) and ), respectively. Note the ‘thicker’ segments of each curve are the set of crime rates ) that can be achieved by varying the disincentive, ∆[∆]. For each group, we denote the optimal policy by a triangle. The optimal policy while equalizing disincentives, which is denoted by ‘X’, is obtained as intersections of the black line and the outside option distribution functions. The optimal policy while equalizing crime rates, which is denoted by ‘o’, is obtained as intersections of the orange line and the outside option distribution function. In figure 2, note that for group 1, the crime rate stay the same under equalizing disincentives and crime rates, but the crime rate increases once one changes from the optimal policy that equalizes disincentives to the one that equalizes crime rates. Therefore, the optimal policy subject to equalizing crime rates is more preferred than under equalizing disincentives.

Figure 3 shows the other cases. Note that as we decrease∆(or equivalently increase the crime rate of group 2), there comes a point determined by and at which equalizing crime rates is more preferred than equalizing disincentives. More specifically, in figure 3a, imagine moving the right most blue triangle to the left and hence raising the orange line; as this happens, both ‘X’ marks, which denote the optimal policy that equalizes crime rate, need to go up, while the optimal policy that equalizes incentive stays the same. Therefore, depending on the ratio of the number of people (and ), there exists some such that

∆if and only if equalizing crime rate attains lower crime rate than equalizing crime rates. And it’s easy to see from figure 3b and 3c that equalizing disincentives achieves lower crime rate than equalizing crime rates in the corresponding cases. Therefore, these arguments together imply that equalizing crime rates attains a lower crime rate than equalizing disincentives if and only if∆is sufficiently higher than

Figure 4: (∆(∆)

Having verified that equalizing crime rates can attain lower crime rates than equalizing disincentives, the next question is whether equalizing crime rates can ever attain a lower crime rate than any of other fairness notions. The answer to this question is positive which we establish by finding a condition under which the optimal policy attains equalizing crime rates.

Theorem 6.2. Suppose that first-order stochastically dominates . When (∆(∆), the optimal policy equalizes crime rates but not necessarily false positive rates, false negative rates or disincentives in general.

Figure 4 depicts the case when (∆(∆). By construction, the optimal policy equalizes crime rates. As it can be seen from Figure 4, equalizing disincentives attains a strictly higher crime rates than equalizing crime rates. Furthermore, it can be shown that other notions of fairness — equalizing false positive rates, false negative rates and positive predictive value - are not satisfied in general.

7 Discussion and Conclusions

This paper gives a general model in which classification rules which equalize false positive and false negative rates can be compatible with natural objectives, in spite of failing to capitalize on statistically relevant information. We derived the model using the language of criminal justice, but one could just as easily apply the base model to settings in which the principle was making some other binary decision based on partial information, such as a lending or employment decision. The underlying reason is that conditioning on demographic information, while statistically useful, leads to decision rules that incentivize different groups differently — because demographic information is not under individual control. Hence, in settings in which the underlying objective depends on the decisions of rational agents, the decision rule should explicitly commit not to condition on information that relates to an individual’s demographic group, and instead use only information that is affected by the choices of the individual. Abstracting away, the necessary conditions under which our conclusions hold are that:

1. The underlying base rates are rationally responsive to the decision rule deployed by the principle,

2. Signals are observed by the adjudicator at the same rates across populations, and

3. The signals that the adjudicator must use to make her decision are conditionally independent of an individual’s group, conditioned on the individual’s decision.

Here, conditions (2) and (3) are unlikely to hold precisely in most situations, but we give settings under which they can be relaxed.

More generally, if we are in a setting in which we believe that individual decisions are rationally made in response to the deployed classifier, and yet the deployed classifier does not equalize false positive and negative rates, then this is an indication that either the deployed classifier is sub-optimal (for the purpose of minimizing base rates), or that one of conditions (2) and (3) fails to hold. Since in fairness relevant settings, the failure of conditions (2) and (3) is itself undesirable, this can be a diagnostic to highlight discriminatory conditions earlier in the pipeline than the adjudicator’s decision rule. In particular, if conditions (2) or (3) fail to hold, then imposing technical fairness constraints on a deployed classifier may be premature, and instead attention should be focused on structural differences in the observations that are being fed into the deployed classifier.

References

Julia Angwin, Jeff Larson, Surya Mattu, and Lauren Kirchner. Machine bias. Propublica, 2016. URL https://www.propublica.org/article/machine-bias-risk-assessments-in-criminal-sentencing.

Shamena Anwar and Hanming Fang. An alternative test of racial prejudice in motor vehicle searches: Theory and evidence. American Economic Review, 96(1):127–151, 2006.

Kenneth J Arrow. Some mathematical models of race discrimination in the labor market. Racial discrimination in economic life, pages 187–204, 1972.

Solon Barocas, Moritz Hardt, and Arvind Narayanan. Fairness and Machine Learning. fairmlbook.org, 2018. http://www.fairmlbook.org.

Anna Maria Barry-Jester, Ben Casselman, and Dana Goldstein. The new science of sentencing. The Marshall Project, August 8 2015. URL https://www.themarshallproject.org/2015/08/04/the-new-science-of-sentencing. Retrieved 4/28/2016.

Gary S Becker. The economics of discrimination. University of Chicago press, 2010.

Nanette Byrnes. Artificial intolerance. MIT Technology Review, March 28 2016. URL https://www.technologyreview.com/s/600996/artificial-intolerance/. Retrieved 4/28/2016.

Alexandra Chouldechova. Fair prediction with disparate impact: A study of bias in recidivism prediction instruments. arXiv preprint arXiv:1703.00056, 2017.

Stephen Coate and Glenn C Loury. Will affirmative-action policies eliminate negative stereotypes? The American Economic Review, pages 1220–1240, 1993.

Sam Corbett-Davies and Sharad Goel. The measure and mismeasure of fairness: A critical review of fair machine learning. arXiv preprint arXiv:1808.00023, 2018.

Sam Corbett-Davies, Emma Pierson, Avi Feller, Sharad Goel, and Aziz Huq. Algorithmic decision making and the cost of fairness. In Proceedings of the 23rd ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, pages 797–806. ACM, 2017.

Cynthia Dwork, Moritz Hardt, Toniann Pitassi, Omer Reingold, and Richard Zemel. Fairness through awareness. In Proceedings of the 3rd Innovations in Theoretical Computer Science Conference, pages 214–226. ACM, 2012.

Hanming Fang and Andrea Moro. Theories of statistical discrimination and affirmative action: A survey. In Handbook of social economics, volume 1, pages 133–200. Elsevier, 2011.

Avi Feller, Emma Pierson, Sam Corbett-Davies, and Sharad Goel. A computer program used for bail and sentencing decisions was labeled biased against blacks. its actually not that clear. The Washington Post, 2016.

Michael F Ferguson and Stephen R Peters. What constitutes evidence of discrimination in lending? The Journal of Finance, 50(2):739–748, 1995.

Dean P Foster and Rakesh V Vohra. An economic argument for affirmative action. Rationality and Society, 4(2):176–188, 1992.

Sorelle A Friedler, Carlos Scheidegger, and Suresh Venkatasubramanian. On the (im) possibility of fairness. arXiv preprint arXiv:1609.07236, 2016.

Moritz Hardt, Eric Price, and Nati Srebro. Equality of opportunity in supervised learning. In Advances in neural information processing systems, pages 3315–3323, 2016.

´Ursula H´ebert-Johnson, Michael Kim, Omer Reingold, and Guy Rothblum. Multicalibration: Calibration for the (computationally-identifiable) masses. In International Conference on Machine Learning, pages 1944–1953, 2018.

Lily Hu and Yiling Chen. A short-term intervention for long-term fairness in the labor market. In Proceedings of the 2018 World Wide Web Conference, pages 1389–1398, 2018.

Sampath Kannan, Aaron Roth, and Juba Ziani. Downstream effects of affirmative action. In Proceedings of the Conference on Fairness, Accountability, and Transparency, pages 240–248, 2019.

Michael Kearns, Seth Neel, Aaron Roth, and Zhiwei Steven Wu. Preventing fairness gerrymandering: Audit- ing and learning for subgroup fairness. In International Conference on Machine Learning, pages 2569–2577, 2018.

Jon Kleinberg, Sendhil Mullainathan, and Manish Raghavan. Inherent trade-offs in the fair determination of risk scores. arXiv preprint arXiv:1609.05807, 2016.

John Knowles, Nicola Persico, and Petra Todd. Racial bias in motor vehicle searches: Theory and evidence. Journal of Political Economy, 109(1):203–229, 2001.

Helen F Ladd. Evidence on discrimination in mortgage lending. Journal of Economic Perspectives, 12(2): 41–62, 1998.

Lydia T Liu, Sarah Dean, Esther Rolf, Max Simchowitz, and Moritz Hardt. Delayed impact of fair machine learning. In Proceedings of the 28th International Joint Conference on Artificial Intelligence, pages 6196– 6200. AAAI Press, 2019a.

Lydia T Liu, Max Simchowitz, and Moritz Hardt. The implicit fairness criterion of unconstrained learning. In International Conference on Machine Learning, pages 4051–4060, 2019b.

Lydia T Liu, Ashia Wilson, Nika Haghtalab, Adam Tauman Kalai, Christian Borgs, and Jennifer Chayes. The disparate equilibria of algorithmic decision making when individuals invest rationally. arXiv preprint arXiv:1910.04123, 2019c.

Glenn Loury. A dynamic theory of racial income differences. In Women, minorities, and employment discrimination, volume 153, pages 86–153. Heath, Lexington, MA, 1977.

Clair C Miller. Can an algorithm hire better than a human? The New York Times, June 25 2015. URL http://www.nytimes.com/2015/06/26/upshot/can-an-algorithm-hire-better-than-a-human.html. Retrieved 4/28/2016.

Ojmarrh Mitchell and Michael S Caudy. Examining racial disparities in drug arrests. Justice Quarterly, 32 (2):288–313, 2015.

Hussein Mouzannar, Mesrob I Ohannessian, and Nathan Srebro. From fair decision making to social equality. In Proceedings of the Conference on Fairness, Accountability, and Transparency, pages 359–368, 2019.

Ziad Obermeyer, Brian Powers, Christine Vogeli, and Sendhil Mullainathan. Dissecting racial bias in an algorithm used to manage the health of populations. Science, 366(6464):447–453, 2019.

Cathy O’Neil. Weapons of Math Destruction: How Big Data Increases Inequality and Threatens Democracy. Crown, 2016.

Nicola Persico. Racial profiling, fairness, and effectiveness of policing. The American Economic Review, 92 (5):1472–1497, 2002.

Aaron Roth and Michael Kearns. The Ethical Algorithm. Oxford University Press, 2019.

Camelia Simoiu, Sam Corbett-Davies, Sharad Goel, et al. The problem of infra-marginality in outcome tests for discrimination. The Annals of Applied Statistics, 11(3):1193–1216, 2017.

A Omitted Results and Proofs

Theorem 4.1. The optimal solutions to both the first best (5) and second best (6) equalize the CFPR and CT PR across groups.

Proof of Theorem 4.1. We show that the optimal disincentives in both cases must be , which entails equalizing CFPR and CT PR.

As for the first best outcome, it’s easy to see that given any inspection intensities , minimizing the overall crime rate corresponds to maximizing . Then, it follows that for the optimal set of search intensities and signal thresholds, the optimal solution should in the first best outcome should be such that ∆for each g.

Once again, for the second best outcome, given any feasible solution () to 6, we can show that if there exists g such that ∆is not maximized (i.e. ∆), then we can always find a new feasible solution () to 6 that sets ∆, while keeping other ∆the same (∆) with strictly lower overall crime rate. This shows that the optimal solution to 6 must set ∆for each g.

Without loss of generality, assume that ∆is not maximized. Let’s say ∆for some 0 and ∆. Now, consider setting a new inspection intensity for group 1 such that ) to guarantee that the crime rate in group 1 will be strictly lower than before – that is

Then, because , decreasing to will require increasing to some . Then, the crime rate for group 2 will necessarily decrease:

By the continuity of , there exists ) such that ). Note that the crime rate in group 1 and group 2 must have decreased. Therefore, we have found a better feasible solution to 6.

Also, note that this proof can be generalized even when the number of groups is greater than 2. We can aggregate a collection of groups whose ∆are not changed to one ‘super’ group, apply the same argument as above, and use induction over the number of groups.

Theorem 4.2. Suppose that the belong to the same location family, i.e. ) for some for each and that H is convex (concave). Then, the inspection intensities in the second best solution minimize (maximize) the crime rate among all thresholds that equalize conditional false positive rates and conditional true positive rates CFPR and CT PR.

Proof of Theorem 4.2. We first provide a high level sketch of the proof. Using the fact that both ’s are from the same family (i.e. mean shifted), we show that the equilibrium inspection intensities (i.e. the second best solution) set the derivative of the objective value to 0. Now, using the the convexity (concavity) of H, we can show that the second derivative of the overall crime rate will be positive (negative), showing the equilibrium inspection intensities achieve local minima (maxima).

First, we show that if ’s belong to the same location family, then the derivative of the objective value evaluated at the equilibrium inspection intensities will be 0. Denote the equilibrium inspection intensities by and the equilibrium disincentives by . Recall from Theorem 4.1 that (∆) in both the first and second best solution correspond to (∆).

The equilibrium inspection intensities equalize the crime rates. Hence, we have

Replacing and taking the derivative of the overall crime rate with respect to yields

Note that by equation A.1 and ∆, the derivative of the overall crime rate evaluates to 0 under and .

Now, in order to determine whether achieves a local minima or maxima, we calculate the second derivative of the overall crime rate with respect to :

By the convexity (concavity) of and is positive (negative). Therefore, achieves a local minima (maxima) at the equilibrium inspection intensities.

∆. The adjudicator’s optimal policy (i.e. the solution to (OPT)) equalizes disincentives (∆) across groups.

Proof of Theorem 5.1. This follows directly from the fact that (∆) is the adjudicator’s most optimal policy.

1. The optimal policy subject to equalizing false positive rates () attains a (weakly) lower crime rate than equalizing disincentives ().

2. The optimal policy subject to equalizing false negative rates () attains a (weakly) crime rate than equalizing disincentives ().

3. ()() ) where is the threshold under the optimal policy for group g.

Proof of Theorem 5.3. Let us begin with proving the following lemma.

∆. Let ∆and ∆be the disincentives under the optimal policy subject to each fairness notion FPR, FNR, and ∆ respectively. Suppose further that the optimal policies while equalizing false positive rates, false negative rates and disincentives are threshold policies.

1. Equalizing false positive rates attains a (weakly) lower crime rate than equalizing disincentives for all (if and only if ∆

2. Equalizing false negative rates attains a (weakly) lower crime rate than equalizing disincentives for all (if and only if ∆

Proof of lemma A.1. By definition, ∆is the disincentive under the optimal policy arg minthat achieve each fairness notion FPR,FNR

It is straightforward that the ∆implies equalizing false positive rates attains a (weakly) lower crime rate than equalizing disincentives. Note that is a non-increasing function, and therefore, for

The same argument applies for FNR.

Let us now prove the opposite direction: equalizing false positive rates attains a lower crime rate than equalizing disincentives for all g implies that ∆for all g. To show this, suppose not. Without loss of generality, suppose that ∆. If ∆, then any pair of survivor functions () that are strictly decreasing in their arguments will imply ) and ) so that equalizing disincentives attains a strictly lower crime rate than equalizing false positive rates. If ∆, then where that the difference between its value at ∆and at ∆is large enough and where the difference between its value at ∆and at ∆is small enough result in a lower crime rate for equalizing disincentives than for equalizing false positive rates. More specifically, let and be such that ))

which states that equalizing disincentives attain a strictly lower crime rate than equalizing false positive rates. This completes the contradiction desired. Therefore, it has to be the case that ∆for all g. The same argument may be applied for equalizing false negative rates.

As for the first condition (1), by lemma A.1, we have that ∆for all g. Thus, we have that for (1),

For FPR, we have

Now, we show the equivalence:

A similar logic applies to equalizing false negative rates. Once again, by lemma A.1, ∆for all g, which implies ∆and hence,

For FNR, we have

The equivalence follows, as

Theorem 5.5. Suppose the distributions across groups are from the location-scale family as defined in Definition 5.4. Then

1. If , then the optimal policy equalizes disincentives, false positive rates and negative rates.

2. Suppose , and assume is larger without loss of generality. Then

∆. Further, the optimal policy subject to equalizing false positive rates () and equalizing false negative rates () attain strictly lower crime rates than equalizing disincentives (). Further, all three attain strictly higher crime rates than the optimal policy ().

Define . Then,

for both g. That is, FNR and FPR are the same across the groups.

Part (2) Suppose . Then

so that

Therefore, by Theorem 5.3, equalizing false positive rates and equalizing false negative rates attains strictly lower crime rates than equalizing disincentives.

Theorem 5.6. Suppose the signal structure is from the location-scale family as in Definition 5.4, and f is symmetric around 0. Then, the optimal policy subject to equalizing false positive rates and that subject to equalizing false negative rates yield the same crime rate.

Proof of Theorem 5.6. Let () be thresholds that equalize false positive rates, that is, 1

Note that

where the second and the fourth equalities are from the symmetry around 0, and the third equality is from () equalizing false positive rates. Therefore, () equalize false negative rates. Furthermore, the disincentive under is

which exactly is the disincentive under . Therefore, for any pair of disincentives that is feasible under equalizing false positive rates, it is feasible under equalizing false negative rates.

Similar arguments can be applied to the other case. Therefore, the set of feasible pair of disincentives are identical, and therefore, the lowest crime rate that can be attained by equalizing false positive rates and equalizing false negative rates are identical.

Theorem 6.1. Suppose that first-order stochastically domiantes . Then, there is an 0 such that equalizing crime rates attains a lower crime rate than equalizing disincentives if and only if∆

Proof. We will fix , and

∆

∆, where 0 is such that (∆(∆(∆(∆exists by the continuity of . When is big enough such that (∆(∆), then the value is negative. Therefore, by the intermediate value theorem, such exists. Furthermore, note that for 0 whenever (∆(∆), it must be that (∆(∆(∆(∆0. Therefore, we have that (∆(∆).

Also, we write ∆and ∆to denote the optimal disincentives that minimize the crime rates while equalizing the crime rate and disincentive respectively.

∆. Now, as for ∆, it depends on whether (∆(∆). Consider when (∆(∆). Then, we must have ∆, and ∆should be such that (∆). Because stochastically dominates , we have that ∆. By the monotonicity of , it must be that ) ). Therefore,

Now, consider when (∆(∆). Then, we must have ∆, and ∆should be such that (∆). Compare how each group’s crime rate changes as we go from equalizing crime rate to equalizing disincentive. As for group 1, it goes from (∆) to (∆). As for group 2, it goes from (∆) to (∆). Therefore, total change in crime rate by going from equalizing crime rate to equalizing disincentive is at most 0:

In this case, we know that (∆(∆). For the optimal disincentive-equalizing policies, we have that ∆. As for crime-equalizing policy, we have ∆, and ∆is chosen such that (∆). Now, compare how each group’s crime rate as we goes from equalizing crime rates to equalizing disincentives. As for group 2, it goes from (∆) to (∆). As for group 1, it goes from (∆) to (∆). Therefore, total change in crime rate by going from equalizing crime rate to equalizing disincentive is at most 0, as

Therefore, equalizing disincentives is better than equalizing crime rates in this case.

∆. As for equalizing crime rates ∆, ∆, and ∆is chosen such that (∆). Therefore, we have

meaning equalizing disincentives is better than equalizing crime rates.

First, ∆. As for equalizing crime rates ∆, ∆, and ∆is chosen such that (∆). Therefore, we have

meaning equalizing disincentives is better than equalizing crime rates.

Theorem 6.2. Suppose that first-order stochastically dominates . When (∆(∆), the optimal policy equalizes crime rates but not necessarily false positive rates, false negative rates or disincentives in general.

∆) is the most optimal policy, and they equalize the crime rates (∆(∆). However, it is not guaranteed that the false positive/negative rates or disincentives will be equalized. For instance, if

∆, then the disincentives are not equalized. And as ∆FNRFPR, false positive/negative rates won’t be equalized in general.