<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Archiving and Interchange DTD v1.0 20120330//EN" "JATS-archivearticle1.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink">
  <front>
    <journal-meta>
      <journal-title-group>
        <journal-title>European Workshop on Algorithmic Fairness, July</journal-title>
      </journal-title-group>
    </journal-meta>
    <article-meta>
      <title-group>
        <article-title>Threshold Recourse for Dynamic Allocations</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Meirav Segal</string-name>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Anne-Marie George</string-name>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Christos Dimitrakakis</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>University of Neuchatel</institution>
          ,
          <addr-line>Neuchatel</addr-line>
          ,
          <country country="CH">Switzerland</country>
        </aff>
        <aff id="aff1">
          <label>1</label>
          <institution>University of Oslo</institution>
          ,
          <addr-line>Oslo</addr-line>
          ,
          <country country="NO">Norway</country>
        </aff>
      </contrib-group>
      <pub-date>
        <year>2022</year>
      </pub-date>
      <volume>0</volume>
      <fpage>1</fpage>
      <lpage>03</lpage>
      <abstract>
        <p>In this paper, we focus on recourse for the setting of dynamic sequential allocations with limited resources, in which agents are competing against each other. In particular, we assume the decision maker is using a threshold policy and demonstrate the problem of recourse invalidation under the use case of college admissions. We then provide a first attempt to generate a valid threshold recourse that takes into account the feedback efect of recourse implementation.</p>
      </abstract>
      <kwd-group>
        <kwd>eol&gt;Recourse</kwd>
        <kwd>allocation problems</kwd>
        <kwd>feedback loops</kwd>
        <kwd>multi-agent recourse</kwd>
      </kwd-group>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>1. Introduction</title>
      <p>
        This problem was addressed via an empirical simulation study [
        <xref ref-type="bibr" rid="ref10">10</xref>
        ], in which the authors
measured the efect of diferent parameters on recourse validity. The actions taken by individuals
following a recourse were simulated and the validity of the recourse in the next step was
measured. Yet, the provided recourse itself did not take into account the feedback efect of
the recourse implementation. A multi-agent point of view of recourse was presented in an
earlier work [
        <xref ref-type="bibr" rid="ref11">11</xref>
        ]. The authors provide two new recourse definitions: 1) Social-Welfare-Eficient
Recourse: a minimal-cost recourse that also increases the sum of predictions, and 2)
ParetoEficient Recourse: a minimal-cost recourse in which none of the individuals receiving the
recourse is worse of. Other papers [
        <xref ref-type="bibr" rid="ref12 ref13">12, 13</xref>
        ] aim to design an optimal policy considering the
users’ best response when acting strategically, but do not generate an explicit recourse.
      </p>
      <p>In this paper, we present a setting of a dynamic allocation problem based on the college
admission use-case. We provide an algorithm for generating all possible valid recourse values.
Finally, we show that the current recourse properties may not be suficient to select the recourse
which benefits users the most. There is a need to specify the recourse objective.</p>
    </sec>
    <sec id="sec-2">
      <title>2. Dynamic college admission setting</title>
      <p>Let us consider the use case of college admissions. At each time step , a population of candidates
apply for available seats. Each candidate  has a 1-dimensional feature  that represents their
value to the decision maker (DM, university in this case) if admitted. The available resource
quantity (number of seats) is . The DM uses a threshold allocation policy and sets a threshold
  such that at most  candidates are admitted. A candidate  is admitted if  &gt;  . The overall
utility of the allocation to the DM,  , is the sum of features of all admitted applicants.</p>
      <p>The population of candidates is composed of two groups:
• New candidates . A set of  candidates who are applying for the first time. We
assume that the features of the new population arriving are the same at each round, e.g.
{1 = 0.9, 2 = 0.7, . . .  = 0.5}.1 For simplicity, we assume the candidates are sorted
such that 1 has the highest value and  has the lowest value.
• Reapplying candidates  . A set of  candidates who were rejected in the previous
round and attempt to be admitted in the current round. For the first round, this set is
empty. Again, we assume the candidates are sorted such that 1 has the highest value
and  has the lowest value. The size of this set  may change from round to round.</p>
      <p>After setting the admission threshold  , the DM provides the rejected candidates − = { ∈
| ≤  } a recourse ˆ. In this setting, all candidates are provided with the same recourse,
which is the feature value they should have in the next round in order to be admitted. The
rejected candidates from group  cannot reapply (we allow only a second chance).</p>
      <p>We consider the decision making process of the users regarding recourse implementation.
All individuals share the same cost function  : R × R → R. We assume the candidates choose
whether to implement the recourse based on their expected utility. For this example, we set
, the gain or reward given to each individual, to 1 if admitted (+ = 1) and 0 if rejected
(− = 0). Given that the recourse is valid (acceptance is guaranteed upon implementation of</p>
      <sec id="sec-2-1">
        <title>1Note that this is a more restrictive assumption than the setting proposed in [10].</title>
        <p>the recourse), the candidate will choose to implement the recourse only if 1 − (, ˆ) &gt; 1≥ ^,
i.e., the expected utility from implementing the recourse is higher than that of not implementing
the recourse. The set of reapplying candidates after implementing the recourse is denoted  .</p>
      </sec>
    </sec>
    <sec id="sec-3">
      <title>3. Validity</title>
      <p>Our goal is to provide a valid recourse, i.e. ˆ &gt;  +1. For this condition to hold, the total
number of candidates above the value ˆ should be at most . We demonstrate the problem
of invalid recourse using the following example. We consider an allocation problem at  = 0
with resources  = 2, cost function (, ˆ) = 2 · | ˆ − |, new candidates  = {1 = 0.8, 2 =
0.7, 3 = 0.5, 4 = 0.4, 5 = 0.3, 6 = 0.1} and no current reapplying candidates  = {}.
The admission threshold is  0 = 0.6, i.e., the admitted set is 0+ = {1 = 0.8, 2 = 0.7}.</p>
      <p>After setting the threshold, we would like to provide a recourse for the set of rejected
candidates − = {−1 = 0.5, −2 = 0.4, −3 = 0.3, −4 = 0.1}. As mentioned above, we
assume that the set of new candidates  is identical at each time step. Let us consider the
possible recourse value 0.75. The costs of implementing this recourse for the rejected candidates
are {(−1 , 0.75) = 0.5, (−2 , 0.75) = 0.7, (−3 , 0.75) = 0.9, (−4 , 0.75) = 1.3}. Thus, three
out of the four rejected candidates will choose to implement the recourse, as their cost is lower
then the reward of being admitted (1). Yet, there are only two available slots ( = 2), so the
recourse will not be valid. The threshold would be at least 0.75 and none of the candidates
implementing the recourse would be admitted.</p>
      <p>If we assume the feature space is unbounded, a naive valid recourse always exists - setting
the recourse to a high enough value such that no individual chooses to implement it. In case of
a bounded feature space, there may not be a valid recourse, e.g., when too many individuals
would choose to implement a recourse of the maximal feature value.</p>
    </sec>
    <sec id="sec-4">
      <title>4. Multi-agent recourse</title>
      <p>In some cases, several values could be used as a valid recourse. Following our example, we can
identify two ranges of recourse values. A recourse in the range [0.9, 1) would result in only one
candidate implementing the recourse, −1 . The costs in the range [(−1 , 0.9) = 0.8, (−1 , 1) =
1) provide the candidate with a positive gain, while the costs for the other candidates would
result in a non-positive utility, e.g., (−2 , 0.9) = 1. Therefore, the rest of the rejected candidates
will not implement the recourse. Similarly, a recourse in the range (0.8, 0.9) would cause exactly
two candidates to implement the recourse (−1 , −2 ). Each option is represented by a range and
not by a single value. Clearly, the minimal value in this range would benefit the individuals
implementing the recourse, as their cost would be minimised. We wish to provide a recourse of
minimal cost, so we can always choose the minimal value as recourse.</p>
    </sec>
    <sec id="sec-5">
      <title>5. Multi-agent recourse algorithm</title>
      <p>Algorithm 1 generates all minimal valid recourse values. First, for each individual  of the top
 + 1 rejected candidates, we find  , the minimal recourse value for which the candidate will</p>
      <sec id="sec-5-1">
        <title>Algorithm 1 Find all minimal valid recourse values (bounded features)</title>
        <p>Require: new candidates  (of the next round, sorted in descending order), rejected candidates
− (sorted in descending order) with |− | = , cost function , resource amount ,  &gt; 0,
feature upper bound , gain to the individual if accepted +
◁ Find the minimal recourse value for which the individual will choose not to implement the
recourse.
for  from 1 to ( + 1, ) do</p>
        <p>ifnd   such that (− ,  ) = +
end for
 ← {}</p>
        <p>◁ A possible recourse value to allow the top  candidates to reapply. This
value guarantees that the rest of the reapplying candidates will choose not to implement the
recourse (too costly), and that all individuals implementing the recourse will be admitted.
for  from 1 to (,  − 1) do</p>
        <p>ˆ ← ( +1, − +1 +  )
◁ The recourse is added only if it is not too costly for the individual with the lowest feature
among the top  reapplying candidates (hence not too costly for all top ), and the recourse
does not exceed the feature upper bound.</p>
        <p>if ˆ &lt;   and ˆ ≤  then</p>
        <p>Add ˆ to 
end if
end for</p>
        <p>◁ The case of providing a recourse that allows all rejected candidates to reapply (if the
number of available seats is at least the number of rejected candidates).
if  ≤  then</p>
        <p>ˆ ← − +1 + 
◁ There is no need to check whether the recourse is too costly for the rest of the rejected
candidates.</p>
        <p>if ˆ &lt;   and ˆ ≤  then</p>
        <p>Add ˆ to 
end if
end if
return 
choose to not implement the recourse. Second, for each number  of reapplying candidates from
1 to , we set the minimal recourse value ˆ to ( +1, − +1 +  ]),  &gt; 0. This recourse
is guaranteed to admit at most  reapplying candidates, because this recourse is too costly for
the rest of the rejected candidates. In addition, all reapplying candidates implementing this
recourse are guaranteed to be allocated with the resource (their new feature value is larger than
that of the -th new candidate). We then check two conditions: 1) The recourse is not too costly
for all top  rejected individuals. That is, the recourse value ˆ must be lower than   .2 2) In
2Note that as the feature increases, the cost decreases. Therefore, it is suficient to verify this condition for the
candidate with the lowest feature in the top  rejected candidates.
Utility-maximising recourse Given several values of a minimal valid recourse, there is
a need to determine which value is preferred. Following our example, we are left with two
options for a recourse: ˆ1 = 0.9, ˆ2 = 0.8 +  for some  &gt; 0 (here,  = 0.01). The decision of
which specific value to choose depends on the objective. We consider two viewpoints:
1. The DM’s objective. Maximising the sum of features of admitted individuals ( ).
2. The objective of the reapplying population. Maximising the sum of individual rewards (to
the individuals) for the set of the reapplying population ( ).</p>
        <p>From the utilities for the DM and the reapplying candidates in table 1, we can observe that
the DM would prefer to provide the recourse ˆ1 = 0.9 while the reapplying candidates would
prefer the recourse ˆ2 = 0.81. Hence, for recourse generation for dynamic allocation problems,
it is not suficient to specify that the recourse should be valid and minimal, there should also be
a recourse objective in order to select one value from a set of possible recourse values.</p>
      </sec>
    </sec>
    <sec id="sec-6">
      <title>6. Discussion and future work</title>
      <p>The problem of recourse invalidation due to recourse implementation was only recently
discussed in the literature. To the best of our knowledge, this is the first attempt to provide a valid
feedback-aware recourse in dynamic settings. Using an example, we show that this problem
could have several solutions, or not at all. In order to select one solution, new recourse desiderata
should be in place, to prevent misuse of recourse by the decision makers.</p>
      <p>The setting described in this paper has several limitations that can be relaxed in future
work. For example, a more realistic setting could include applicants sampled from a population
distribution. In addition, we only consider a threshold recourse, but the DM could also provide
a diferent recourse to each individual. Moreover, we consider validity in a binary way, but in
practice, most methods provide a recourse that is valid with high probability. When the recourse
is not guaranteed to be valid, the estimation of expected utility for the users would change, and
consequently the recourse should take that into consideration. Lastly, we do not consider the
utility for new candidates, and the impact of intentionally providing a costly recourse to some
individuals. Hence, some additional fairness notions for recourse may be required.</p>
    </sec>
    <sec id="sec-7">
      <title>Acknowledgments</title>
      <p>This work was supported by the Research Council of Norway under project number 302203.</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          [1]
          <string-name>
            <surname>T.-D. H. Nguyen</surname>
            ,
            <given-names>N.</given-names>
          </string-name>
          <string-name>
            <surname>Bui</surname>
            ,
            <given-names>D.</given-names>
          </string-name>
          <string-name>
            <surname>Nguyen</surname>
          </string-name>
          ,
          <string-name>
            <surname>M.-C. Yue</surname>
            ,
            <given-names>V. A.</given-names>
          </string-name>
          <string-name>
            <surname>Nguyen</surname>
          </string-name>
          ,
          <article-title>Robust bayesian recourse</article-title>
          ,
          <source>in: Uncertainty in Artificial Intelligence, PMLR</source>
          ,
          <year>2022</year>
          , pp.
          <fpage>1498</fpage>
          -
          <lpage>1508</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          [2]
          <string-name>
            <given-names>D.</given-names>
            <surname>Nguyen</surname>
          </string-name>
          ,
          <string-name>
            <given-names>N.</given-names>
            <surname>Bui</surname>
          </string-name>
          ,
          <string-name>
            <given-names>V. A.</given-names>
            <surname>Nguyen</surname>
          </string-name>
          , Distributionally robust recourse action,
          <source>arXiv preprint arXiv:2302.11211</source>
          (
          <year>2023</year>
          ).
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          [3]
          <string-name>
            <given-names>H.</given-names>
            <surname>Guo</surname>
          </string-name>
          ,
          <string-name>
            <given-names>F.</given-names>
            <surname>Jia</surname>
          </string-name>
          ,
          <string-name>
            <given-names>J.</given-names>
            <surname>Chen</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Squicciarini</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Yadav</surname>
          </string-name>
          , Rocoursenet:
          <article-title>Distributionally robust training of a prediction aware recourse model</article-title>
          ,
          <source>arXiv preprint arXiv:2206.00700</source>
          (
          <year>2022</year>
          ).
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          [4]
          <string-name>
            <given-names>K.</given-names>
            <surname>Rawal</surname>
          </string-name>
          , E. Kamar,
          <string-name>
            <given-names>H.</given-names>
            <surname>Lakkaraju</surname>
          </string-name>
          ,
          <article-title>Algorithmic recourse in the wild: Understanding the impact of data and model shifts</article-title>
          , arXiv preprint arXiv:
          <year>2012</year>
          .
          <volume>11788</volume>
          (
          <year>2020</year>
          ).
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          [5]
          <string-name>
            <given-names>G.</given-names>
            <surname>König</surname>
          </string-name>
          ,
          <string-name>
            <given-names>T.</given-names>
            <surname>Freiesleben</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            <surname>Grosse-Wentrup</surname>
          </string-name>
          ,
          <article-title>A causal perspective on meaningful and robust algorithmic recourse</article-title>
          ,
          <source>arXiv preprint arXiv:2107.07853</source>
          (
          <year>2021</year>
          ).
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          [6]
          <string-name>
            <given-names>N.</given-names>
            <surname>Bui</surname>
          </string-name>
          ,
          <string-name>
            <given-names>D.</given-names>
            <surname>Nguyen</surname>
          </string-name>
          ,
          <string-name>
            <given-names>V. A.</given-names>
            <surname>Nguyen</surname>
          </string-name>
          ,
          <article-title>Counterfactual plans under distributional ambiguity</article-title>
          ,
          <source>arXiv preprint arXiv:2201.12487</source>
          (
          <year>2022</year>
          ).
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          [7]
          <string-name>
            <given-names>E.</given-names>
            <surname>Black</surname>
          </string-name>
          ,
          <string-name>
            <given-names>Z.</given-names>
            <surname>Wang</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            <surname>Fredrikson</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Datta</surname>
          </string-name>
          ,
          <article-title>Consistent counterfactuals for deep models</article-title>
          ,
          <source>arXiv preprint arXiv:2110.03109</source>
          (
          <year>2021</year>
          ).
        </mixed-citation>
      </ref>
      <ref id="ref8">
        <mixed-citation>
          [8]
          <string-name>
            <given-names>S.</given-names>
            <surname>Upadhyay</surname>
          </string-name>
          ,
          <string-name>
            <given-names>S.</given-names>
            <surname>Joshi</surname>
          </string-name>
          ,
          <string-name>
            <given-names>H.</given-names>
            <surname>Lakkaraju</surname>
          </string-name>
          ,
          <article-title>Towards robust and reliable algorithmic recourse</article-title>
          ,
          <source>Advances in Neural Information Processing Systems</source>
          <volume>34</volume>
          (
          <year>2021</year>
          )
          <fpage>16926</fpage>
          -
          <lpage>16937</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref9">
        <mixed-citation>
          [9]
          <string-name>
            <given-names>S.</given-names>
            <surname>Dutta</surname>
          </string-name>
          ,
          <string-name>
            <given-names>J.</given-names>
            <surname>Long</surname>
          </string-name>
          ,
          <string-name>
            <given-names>S.</given-names>
            <surname>Mishra</surname>
          </string-name>
          ,
          <string-name>
            <given-names>C.</given-names>
            <surname>Tilli</surname>
          </string-name>
          ,
          <string-name>
            <given-names>D.</given-names>
            <surname>Magazzeni</surname>
          </string-name>
          ,
          <article-title>Robust counterfactual explanations for tree-based ensembles</article-title>
          ,
          <source>in: International Conference on Machine Learning, PMLR</source>
          ,
          <year>2022</year>
          , pp.
          <fpage>5742</fpage>
          -
          <lpage>5756</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref10">
        <mixed-citation>
          [10]
          <string-name>
            <given-names>J.</given-names>
            <surname>Fonseca</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Bell</surname>
          </string-name>
          ,
          <string-name>
            <given-names>C.</given-names>
            <surname>Abrate</surname>
          </string-name>
          ,
          <string-name>
            <given-names>F.</given-names>
            <surname>Bonchi</surname>
          </string-name>
          ,
          <string-name>
            <given-names>J.</given-names>
            <surname>Stoyanovich</surname>
          </string-name>
          ,
          <article-title>Setting the right expectations: Algorithmic recourse over time</article-title>
          ,
          <source>in: Proceedings of the 3rd ACM Conference on Equity and Access in Algorithms</source>
          , Mechanisms, and
          <string-name>
            <surname>Optimization</surname>
          </string-name>
          ,
          <year>2023</year>
          , pp.
          <fpage>1</fpage>
          -
          <lpage>11</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref11">
        <mixed-citation>
          [11]
          <string-name>
            <surname>A. O'Brien</surname>
            ,
            <given-names>E.</given-names>
          </string-name>
          <string-name>
            <surname>Kim</surname>
          </string-name>
          ,
          <article-title>Toward multi-agent algorithmic recourse: Challenges from a gametheoretic perspective</article-title>
          ,
          <source>in: The International FLAIRS Conference Proceedings</source>
          , volume
          <volume>35</volume>
          ,
          <year>2022</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref12">
        <mixed-citation>
          [12]
          <string-name>
            <given-names>S.</given-names>
            <surname>Tsirtsis</surname>
          </string-name>
          ,
          <string-name>
            <given-names>B.</given-names>
            <surname>Tabibian</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            <surname>Khajehnejad</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Singla</surname>
          </string-name>
          ,
          <string-name>
            <given-names>B.</given-names>
            <surname>Schölkopf</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            <surname>Gomez-Rodriguez</surname>
          </string-name>
          ,
          <article-title>Optimal decision making under strategic behavior, Management Science (</article-title>
          <year>2024</year>
          ).
        </mixed-citation>
      </ref>
      <ref id="ref13">
        <mixed-citation>
          [13]
          <string-name>
            <given-names>Y.</given-names>
            <surname>Chen</surname>
          </string-name>
          ,
          <string-name>
            <given-names>J.</given-names>
            <surname>Wang</surname>
          </string-name>
          , Y. Liu,
          <article-title>Strategic recourse in linear classification</article-title>
          ,
          <source>arXiv preprint arXiv:2011.00355 236</source>
          (
          <year>2020</year>
          ).
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>