This paper was converted on www.awesomepapers.org from LaTeX by an anonymous user.
Want to know more? Visit the Converter page.

Extractive Contest Designthanks: The author is grateful to Kazuo Yamaguchi for his valuable comments. This work was supported by JSPS KAKENHI Grant Number JP19K01563.

Tomohiko Kawamori Faculty of Economics, Meijo University, 1-501 Shiogamaguchi, Tempaku-ku, Nagoya 468-8502, Japan. kawamori@meijo-u.ac.jp
Abstract

We consider contest success functions (CSFs) that extract contestants’ prize values. In the common-value case, there exists a CSF extractive in any equilibrium. In the observable-private-value case, there exists a CSF extractive in some equilibrium; there exists a CSF extractive in any equilibrium if and only if the number of contestants is greater than or equal to three or the values are homogeneous. In the unobservable-private-value case, there exists no CSF extractive in some equilibrium. When extractive CSFs exist, we explicitly present one of them.

Keywords: contest success function; extraction of values; common or private values; observable or unobservable values; aggregate effort equivalence across equilibria

JEL classification codes: C72; D72

1 Introduction

In the literature on contests, formalized by Tullock (1980), the design of contest success functions (CSFs) that maximize the aggregate effort of contestants is a key topic. Many papers have examined this issue. Maximization of aggregate effort provides CSFs with a positive foundation.111 Jia et al. (2013) referred to this as the optimally derived foundation, one among the four types of foundations. ,222 Some papers have provided CSFs with axiomatic foundations (e.g., Skaperdas (1996) and Clark and Riis (1998)). In the rent-seeking interpretation, the contest designer (politician) intends to maximize the contestants’ efforts. This is because if the efforts are political contributions, he/she obtains monetary benefits from these efforts, and if the efforts are political lobbying, he/she flaunts his/her power through the efforts. Thus, he/she should determine the CSF as it maximizes the efforts.

This paper considers the design of CSFs that extract the contestants’ values. Most of the existing literature has investigated the maximization of aggregate effort in a class of CSFs that satisfy some restrictions. Owing to these restrictions, the aggregate effort is generically less than the highest value of the contestants, i.e., the optimal CSF does not extract contestants’ values. Instead, this paper considers the design of CSFs without restrictions and examines the extraction of contestants’ values.

We define extractiveness of CSFs. In a contest, contestants make an effort, and the winner of a prize is determined according to a probability distribution that depends on the efforts. A function that maps effort tuples to winning probability distributions is called a CSF. We consider the design of CSFs that extract the contestants’ prize values through the contestants’ efforts. We say that a CSF is extractive if under this CSF, there exists a Nash equilibrium such that the aggregate effort is equal to the maximum value (the maximum of the contestants’ prize values). We also say that a CSF is strictly extractive if this CSF is extractive, and under this CSF, in every Nash equilibrium, the aggregate effort is equal to the maximum value. We consider pure-strategy Nash equilibria.

We examine extractiveness of CSFs, focusing on whether the contestants’ prize values are common or private and whether they are observable or unobservable by the contest designer. First, we consider the case where these values are common. We consider the CSF such that the winning probabilities are proportional to the aa1\frac{a}{a-1}th power of the efforts, where aa is in {2,3,,n}\left\{2,3,\dots,n\right\} (nn is the number of contestants). We show that the CSF with a=2a=2 is strictly extractive for all common values. Because this CSF does not depend on common values, this result holds regardless of whether they are observable or unobservable. For every common value, we also show that the CSF with a3a\geq 3 is extractive, but not strictly extractive. Thus, aggregate effort equivalence across Nash equilibria holds for a=2a=2, but not for a3a\geq 3. Second, we consider the case where the values are private and observable. For every value tuple, we present an extractive CSF. For every value tuple, we show that there exists a strictly extractive CSF if and only if the number of contestants is greater than or equal to 33 or the values are homogeneous. When strictly extractive CSFs exist, we present one of them. The aggregate effort equivalence across Nash equilibria holds if and only if the number of contestants is greater than or equal to 33 or the values are homogeneous. Third, we consider the case where the values are private and unobservable. We show that there exists no CSF that is extractive for all value tuples. Therefore, observability matters in the private-value case, but not in the common-value case.

Several papers have presented CSFs that are reduced to CSFs extractive in the unobservable-common-value case. In the 22-contestant case, Nti (2004) (Epstein et al. (2013); Ewerhart (2017a), resp.) presented a CSF that maximizes the aggregate effort in a class of CSFs (Section 4 (Subsection 4.2; Proposition 6, resp.)). In the nn-contestant common-value case, Michaels (1988) did so (Subsection 2.1). Each CSF in Nti (2004), Epstein et al. (2013) and Ewerhart (2017a) in the common-value case (the CSF in Michaels (1988), resp.) is the CSF such that the winning probabilities are proportional to the 22nd (nn1\frac{n}{n-1}th, resp.) power of the efforts, and it is in the unobservable-common-value case because it does not depend on the common value. The CSF using the 22nd power is strictly extractive in the 22-contestant case. We show that this CSF is strictly extractive in the nn-contestant case. The CSF using the nn1\frac{n}{n-1}th power is extractive. We show that if n3n\geq 3, this CSF is not strictly extractive. Pérez-Castrillo and Verdier (1992) derived Nash equilibria under the CSF such that the winning probabilities are proportional to the rrth power of the efforts in the nn-contestant case (Proposition 4). The result of Pérez-Castrillo and Verdier (1992) implies that CSFs such that the winning probabilities are proportional to the aa1\frac{a}{a-1}th power of the efforts (2an2\leq a\leq n) are extractive. We show that if a3a\geq 3, this CSF is not strictly extractive.

Several papers have presented CSFs that are extractive but not strictly extractive in the observable-value case. In the 22-contestant common-value case, Glazer (1993) presented a CSF such that a certain contestant wins if his/her effort is equal to his/her value, and the other contestant wins otherwise (Subsection 3.1). In the 22-contestant case (the nn-contestant case, resp.), Nti (2004) (Franke et al. (2018), resp.) presented a CSF such that a contestant with the maximum value wins if his/her effort is greater than or equal to his/her value, and a contestant with the second highest value, which may be equal to the maximum value, wins otherwise (Proposition 2 (Proposition 4.7, resp.)). These CSFs are extractive. However, they are not strictly extractive, because there exists a Nash equilibrium such that every contestant’s effort is zero. Nti (2004) suggested that under a modified CSF such that the effort threshold is slightly lowered, the Nash equilibrium such that every contestant’s effort is zero is removed. However, under the modified CSF, in a unique Nash equilibrium, the aggregate effort is slightly smaller than the maximum value. Meanwhile, in the 33-or-more-contestant or homogeneous-value case, we present strictly extractive CSFs. In any Nash equilibrium under such CSFs, the aggregate effort is exactly equal to the maximum value. In the 22-heterogeneous-contestant case, we show that there exists no strictly extractive CSF. This implies that the contest designer cannot design a strictly extractive CSF even though he/she can fully use the information of the values.

Several papers have shown the extraction of values in mixed-strategy Nash equilibria. Hillman and Riley (1989) (Che and Gale (1998); Baye et al. (1993); Baye et al. (1996), resp.) showed that in the all-pay auction, if the highest two values are equal, the expected aggregate effort is equal to the maximum value in any mixed-strategy Nash equilibrium (Proposition 1; the second last paragraph in Section 3 (equation (9); Theorem 1, resp.)). Ewerhart (2017b) showed it in a modified all-pay auction (Proposition 1). Alcalde and Dahm (2010) showed that under CSFs that satisfy certain conditions, there exists a mixed-strategy Nash equilibrium such that if the highest two values are equal, the expected aggregate effort is equal to the maximum value (Theorem 3.2). We show the extraction of values in pure-strategy Nash equilibria, even if the highest two values are not equal.

Several papers have considered maximizing aggregate effort in a class of CSFs. CSFs with the following devices have been examined: concave technologies333 A concave technology is a concave function that transforms efforts. Winning probabilities are determined based on the transformed efforts. in the lottery contest (Dasgupta and Nti (1998)); concave technologies and power technologies444 A power technology is a power function that transforms efforts. in the lottery contest (Nti (2004)); power technologies in the lottery contest (Michaels (1988)); biases multiplying efforts in the lottery contest (Franke et al. (2013)); biases multiplying efforts with power technologies in the lottery contest and biases multiplying efforts in the all-pay auction (Epstein et al. (2013));555 Epstein et al. (2011) considered the same class of CSF, but a different objective of the contest designer, which is the weighted sum of the aggregate effort and welfare. biases multiplying efforts in the lottery contest and all-pay auction (Franke et al. (2014a)); head starts added to efforts in the lottery contest and all-pay auction (Franke et al. (2014b)); biases multiplying efforts given a power technology in the lottery contest (Ewerhart (2017a)); biases multiplying efforts and head starts added to efforts in the lottery contest and all-pay auction (Franke et al. (2018)). Fang (2002) compared the simple lottery contest with the simple all-pay auction. Owing to restrictions on the forms of CSFs, the maximized aggregate effort is not equal to the maximum value except for the aforementioned results. In our paper, because no restrictions are imposed on the forms of CSFs, the values are extracted.

Several papers have considered the aggregate effort under asymmetric information. In Kirkegaard (2012), Pérez-Castrillo and Wettstein (2016), Matros and Possajennikov (2016), Drugov and Ryvkin (2017) and Olszewski and Siegel (2020), the values or productivities of the efforts are private information. In our paper, contestants know the contestants’ values; the contest designer knows them in the observable-value case, but not in the unobservable-value case.

The contributions of this paper are as follows. In the observable-private-value case, we present strictly extractive CSFs in the 33-or-more-contestant or homogeneous-value subcase, where we only use the pure-strategy Nash equilibria, whereas we show that there exists no strictly extractive CSF in the other subcase. In the unobservable-private-value case, we show that there exists no extractive CSF. In the common-value case, we show that the CSF with the 22nd-power technology is strictly extractive in the multi-contestant contest, and the CSF with the aa1\frac{a}{a-1}th-power technology (a3a\geq 3) is not strictly extractive. We demonstrate that for extractive or strictly extractive CSFs to exist, observability of values matters in the private-value case, but not in the common-value case. The framework in this paper could serve as a general framework for investigating the extraction of values in contests.

The remainder of this paper is organized as follows. Section 2 describes the model. Section 3 presents the results. Section 4 concludes the paper. The proofs of all the propositions are provided in the appendix.

2 Model

For any sets XX, YY and II, any f:XYIf:X\to Y^{I} and any xXx\in X and iIi\in I, let fi(x)f_{i}\left(x\right) be the value of f(x)f\left(x\right) for ii.

Let NN be a finite set such that |N|2\left|N\right|\geq 2: NN is the set of contestants. Let n:=|N|n:=\left|N\right|. Let X:=0NX:=\mathbb{R}_{\geq 0}^{N}: XX is the set of tuples of contestants’ efforts. Let Δ:={p0NiNpi=1}\Delta:=\left\{p\in\mathbb{R}_{\geq 0}^{N}\mid\sum_{i\in N}p_{i}=1\right\}: the set of tuples of contestants’ success probabilities (for any pΔp\in\Delta and any iNi\in N, pip_{i} is the probability of contestant ii’s winning). Let F:={ff:XΔ}F:=\left\{f\mid f:X\to\Delta\right\}: FF is the set of contest success functions (CSFs). Let V:=>0NV:=\mathbb{R}_{>0}^{N}: the set of tuples of contestants’ prize values. For any fFf\in F and any vVv\in V, let ufv:XNu^{fv}:X\to\mathbb{R}^{N} such that for any xXx\in X and any iNi\in N, uifv(x)=fi(x)vixiu_{i}^{fv}\left(x\right)=f_{i}\left(x\right)v_{i}-x_{i}: uifv(x)u_{i}^{fv}\left(x\right) is contestant ii’s utility from effort tuple xx (fi(x)vif_{i}\left(x\right)v_{i} is the expected value that he/she obtains, and xix_{i} is the cost of his/her effort).

For any fFf\in F and any vVv\in V, (N,X,ufv)\left(N,X,u^{fv}\right) is a strategic-form game: NN is the set of players, XX is the set of strategy tuples, and ufvu^{fv} is the function that maps each strategy tuple to its payoff tuple. For any fFf\in F and any vVv\in V, let EfvE^{fv} be the set of pure-strategy Nash equilibria in (N,X,ufv)\left(N,X,u^{fv}\right). In the following, we refer to a pure-strategy Nash equilibrium simply as a Nash equilibrium.

Let V^:={vV(i,jN)vi=vj}\hat{V}:=\left\{v\in V\mid\left(\forall i,j\in N\right)v_{i}=v_{j}\right\}: the set of value tuples such that all contestants have a common value. For any vVv\in V, let mv:=maxiNvim^{v}:=\max_{i\in N}v_{i} and Mv:=argmaxiNviM^{v}:=\arg\max_{i\in N}v_{i}: mvm^{v} is the maximum of contestants’ prize values, and MvM^{v} is the set of contestants with the maximum value.

3 Results

We refer to the case where the domain of the value tuples is V^\hat{V} (VV, resp.) as the common-value case (private-value case, resp.). We also refer to the case where value tuples are observable (unobservable, resp.) by the contest designer, i.e., CSFs can (cannot, resp.) depend on value tuples the observable-value case (unobservable-value case, resp.). We seek CSFs under which the equilibrium aggregate effort is equal to the maximum value in the common-value case, the observable-private-value case and the unobservable-private value case, respectively. We say that in the private-value case, if vVv\in V satisfies that for any i,jNi,j\in N, vi=vjv_{i}=v_{j}, we say that vv is homogeneous. The value tuples are observable by the contestants.

3.1 Bound of aggregate effort

For any CSF and any value tuple, in any Nash equilibrium, the aggregate effort is less than or equal to the maximum value.

Proposition 1.

Let fFf\in F and vVv\in V. Let xEfvx^{\ast}\in E^{fv}. Then, iNximv\sum_{i\in N}x_{i}^{\ast}\leq m^{v}.

We say that a CSF is extractive if in some Nash equilibrium, the aggregate effort is equal to the maximum value. We say that a CSF is strictly extractive if it is extractive and in any Nash equilibrium, the aggregate effort is equal to the maximum value.

Definition 1.

Let fFf\in F and vVv\in V. ff is extractive for vv if there exists xEfvx^{\ast}\in E^{fv} such that iNxi=mv\sum_{i\in N}x_{i}^{\ast}=m^{v}. ff is strictly extractive for vv if ff is extractive for vv and for all xEfvx^{\ast}\in E^{fv}, iNxi=mv\sum_{i\in N}x_{i}^{\ast}=m^{v}.

3.2 Common-value case

We consider the case where contestants have a common value. For any aa\in\mathbb{N} such that 2an2\leq a\leq n, let faFf^{a}\in F such that for any iNi\in N and any xXx\in X,

fi(x)={xiaa1jNxjaa1if (jN)xj>01notherwise.\displaystyle f_{i}\left(x\right)=\begin{cases}\frac{x_{i}^{\frac{a}{a-1}}}{\sum_{j\in N}x_{j}^{\frac{a}{a-1}}}&\text{if $\left(\exists j\in N\right)x_{j}>0$}\\ \frac{1}{n}&\text{otherwise}.\end{cases}

Under faf^{a}, winning probabilities are proportional to the aa1\frac{a}{a-1}th power of the efforts.

There exists a CSF strictly extractive for all common values.

Proposition 2.

There exists fFf\in F that is strictly extractive for all vV^v\in\hat{V}.

Remark 1.

A purely logical consequence of this proposition is that for all vV^v\in\hat{V}, there exists fFf\in F that is strictly extractive for vv. Thus, this proposition implies that whether the contest designer can observe the common value, there exists a strictly extractive CSF. Furthermore, regardless of the observability, there exists an extractive CSF.

Remark 2.

In the proof, such CSF ff is constructed as f=f2f=f^{2}.

Remark 3.

As seen in the proof, under f=f2f=f^{2} and any vV^v\in\hat{V}, for any xXx\in X, xEfvx\in E^{fv} if and only if for some A2NA\in 2^{N} such that |A|=2\left|A\right|=2, for any iAi\in A, xi=mv2x_{i}=\frac{m^{v}}{2} and for any iNAi\in N\setminus A, xi=0x_{i}=0.

Remark 4.

Under f=f2f=f^{2} and any vV^v\in\hat{V}, the aggregate effort equivalence across Nash equilibria holds.

For all common values, faf^{a} (3an3\leq a\leq n) is extractive but not strictly extractive.

Proposition 3.

Let aa\in\mathbb{N} such that 3an3\leq a\leq n. Let vV^v\in\hat{V}. Then, faf^{a} is extractive for vv and not strictly extractive for vv.

Remark 5.

As seen in the proof, under f=faf=f^{a} and any vV^v\in\hat{V}, for any xXx\in X, xEfvx\in E^{fv} if (i) for some A2NA\in 2^{N} such that |A|=a\left|A\right|=a, for any iAi\in A, xi=mvax_{i}=\frac{m^{v}}{a} and for any iNAi\in N\setminus A, xi=0x_{i}=0, or (ii) for some A2NA\in 2^{N} such that |A|=a1\left|A\right|=a-1, for any iAi\in A, xi=mva(a2)(a1)3x_{i}=\frac{m^{v}a\left(a-2\right)}{\left(a-1\right)^{3}} and for any iNAi\in N\setminus A, xi=0x_{i}=0. The aggregate effort in a strategy tuple satisfying (ii) is (a1)va(a2)(a1)3=va(a2)(a1)2<v\left(a-1\right)\frac{va\left(a-2\right)}{\left(a-1\right)^{3}}=\frac{va\left(a-2\right)}{\left(a-1\right)^{2}}<v. However, for any aa\in\mathbb{N}^{\mathbb{N}} such that 3ann3\leq a_{n}\leq n and limnan=\lim_{n\to\infty}a_{n}=\infty, limnvan(an2)(an1)2=v\lim_{n\to\infty}\frac{va_{n}\left(a_{n}-2\right)}{\left(a_{n}-1\right)^{2}}=v.

Remark 6.

Under f=faf=f^{a} and any vV^v\in\hat{V}, the aggregate effort equivalence across Nash equilibria does not hold.

Under faf^{a} (2an2\leq a\leq n), each contestant’s effort xx is transformed into xaa1x^{\frac{a}{a-1}}, and the winning probabilities are determined in proportion to the transformed efforts. As aa is larger, elasticity of the transformed effort xaa1x^{\frac{a}{a-1}} to effort xx, dxaa1/dxxaa1/x=aa1\frac{dx^{\frac{a}{a-1}}/dx}{x^{\frac{a}{a-1}}/x}=\frac{a}{a-1}, is smaller; thus, in the Nash equilibrium such that the aggregate effort is equal to the maximum value, the effort of each active contestant is smaller, but the number of active contestants is larger.

The results in Nti (2004), Epstein et al. (2013) and Ewerhart (2017a) imply that f2f^{2} is strictly extractive for all vV^v\in\hat{V} when n=2n=2. Our paper shows that f2f^{2} is strictly extractive for all vV^v\in\hat{V} when n3n\geq 3. The results in Michaels (1988) imply that fnf^{n} is extractive for all vV^v\in\hat{V}. Our paper shows that when n3n\geq 3, for any vV^v\in\hat{V}, fnf^{n} is not strictly extractive for vv. The results in Pérez-Castrillo and Verdier (1992) imply that faf^{a} is extractive for all vV^v\in\hat{V}. Our paper shows that when a3a\geq 3, for any vV^v\in\hat{V}, faf^{a} is not strictly extractive for vv.

3.3 Observable-private-value case

We consider the case where contestants have private values, and the contest designer can observe them and design CSFs dependent on them.

For all value tuples, there exists a CSF extractive for this value tuple.

Proposition 4.

Let vVv\in V. Then, there exists fFf\in F that is extractive for vv.

Remark 7.

In the proof, such CSF ff is constructed as follows. In the case where n3n\geq 3, for some distinct i,j,kNi,j,k\in N such that iMvi\in M^{v}, for any xXx\in X, if xi=mvx_{i}=m^{v}, then fi(x)=1f_{i}\left(x\right)=1; if ximvx_{i}\neq m^{v} and xj>0x_{j}>0, then fj(x)=1f_{j}\left(x\right)=1; if ximvx_{i}\neq m^{v} and xj=0x_{j}=0, then fk(x)=1f_{k}\left(x\right)=1. In the case where n=2n=2 and vV^v\in\hat{V}, ff is f2f^{2} defined in Subsection 3.2. In the case where n=2n=2 and vV^v\notin\hat{V}, for some iMvi\in M^{v}, for any xXx\in X, fi(x)=𝟏xi=mvf_{i}\left(x\right)=\mathbf{1}_{x_{i}=m^{v}}.

For all value tuples, if the number of contestants is greater than or equal to 33 or the values of the contestants are homogeneous, there exists a CSF strictly extractive for this value tuple, and otherwise, there does not.

Proposition 5.

Let vVv\in V. Then, there exists fFf\in F that is strictly extractive for vv if and only if n3n\geq 3 or vV^v\in\hat{V}.

Remark 8.

In the proof, such ff is constructed as follows. In the case where n3n\geq 3 and the case where n=2n=2 and vV^v\in\hat{V}, ff is one in the corresponding case in Remark 7.

Remark 9.

Aggregate effort equivalence across Nash equilibria holds if and only if n=3n=3 or vV^v\in\hat{V}.

The above CSFs make the contestant with the maximum value win with certainty (or probability 12\frac{1}{2}) if his/her effort is equal to the maximum value (or 12\frac{1}{2} of the maximum value), in order that the aggregate effort is equal to the maximum value. In the 33-or-more-contestant or homogeneous-value case, the above CSFs are designed as they exclude the Nash equilibrium such that every contestant’s effort is zero. In the other case, it is impossible to design an extractive CSF that excludes such a Nash equilibrium even though the contest designer can fully use the information on the contestants’ values.

In the observable-value case, Glazer (1993), Nti (2004) and Franke et al. (2018) presented a CSF that is extractive, but this is not strictly extractive. For any vVv\in V, when n3n\geq 3 or vV^v\in\hat{V}, our paper presents a CSF that is strictly extractive for vv; when n=2n=2 and vV^v\notin\hat{V}, our paper shows that there exists no CSF that is strictly extractive for vv.

3.4 Unobservable-private-value case

We consider the case where contestants have private values, and the contest designer cannot observe them and must design CSFs independent of them.

There exists no CSF that is extractive for all value tuples.

Proposition 6.

There exists no fFf\in F that is extractive for all vVv\in V.

Remark 10.

An immediate consequence of this proposition is that there exists no fFf\in F that is strictly extractive for all vVv\in V.

Under any CSF, if for some value tuple, the aggregate effort in a Nash equilibrium is equal to the maximum value, then for some other value tuple, it must be less than the maximum value.

In the literature, it has not been examined whether there exists a CSF that is extractive for all vVv\in V. Our paper provides a negative answer to this question.

4 Conclusion

Table 1 summarizes the results of this paper, where ϕE\phi^{\mathrm{E}} is a formula meaning that ff is extractive for vv, and ϕSE\phi^{\mathrm{SE}} is a formula meaning that ff is strictly extractive for vv. Whether the values are common or private is represented by whether the domain of the values is V^\hat{V} or VV. Whether the values are observable or unobservable is represented by whether the order of the quantifiers is (v)(f)\left(\forall v\right)\left(\exists f\right) or (f)(v)\left(\exists f\right)\left(\forall v\right). In the common-value case, regardless of the observability, there exist extractive and strictly extractive CSFs. In the observable-private-value case, there exists an extractive CSF, but there does not always exist a strictly extractive CSF. In the unobservable-private-value case, there exists neither extractive nor strictly extractive CSF. In the common-value case, we also present a class of extractive CSFs that can be used to control the number of active contestants.

Observable Unobservable
(v)(f)\left(\forall v\right)\left(\exists f\right) (f)(v)\left(\exists f\right)\left(\forall v\right)
Common (vV^)(fF)ϕE\left(\forall v\in\hat{V}\right)\left(\exists f\in F\right)\phi^{\mathrm{E}} (fF)(vV^)ϕE\left(\exists f\in F\right)\left(\forall v\in\hat{V}\right)\phi^{\mathrm{E}}
V^\hat{V} (vV^)(fF)ϕSE\left(\forall v\in\hat{V}\right)\left(\exists f\in F\right)\phi^{\mathrm{SE}} (fF)(vV^)ϕSE\left(\exists f\in F\right)\left(\forall v\in\hat{V}\right)\phi^{\mathrm{SE}}
Private (vV)(fF)ϕE\left(\forall v\in V\right)\left(\exists f\in F\right)\phi^{\mathrm{E}} ¬(fF)(vV)ϕE\neg\left(\exists f\in F\right)\left(\forall v\in V\right)\phi^{\mathrm{E}}
VV (vV)((fF)ϕSEn3vV^)\left(\forall v\in V\right)\left(\left(\exists f\in F\right)\phi^{\mathrm{SE}}\leftrightarrow n\geq 3\vee v\in\hat{V}\right) ¬(fF)(vV)ϕSE\neg\left(\exists f\in F\right)\left(\forall v\in V\right)\phi^{\mathrm{SE}}
Table 1: Existence of extractive or strictly extractive CSFs

In the unobservable-private-value case, there exists no extractive CSF. In such a case, it is necessary to derive CSFs that maximize the expectation of the aggregate effort under some belief on value tuples. For example, this problem is formalized as follows:

max(f,x)F×XV\displaystyle\max_{\left(f,x\right)\in F\times X^{V}} vViNxi(v)dP(v)\displaystyle\>\int_{v\in V}\sum_{i\in N}x_{i}\left(v\right)dP\left(v\right)
s.t. (vV)x(v)Efvx is measurable,\displaystyle\>\left(\forall v\in V\right)x\left(v\right)\in E^{fv}\wedge\text{$x$ is measurable},

where PP is a cumulative distribution function on VV (the designer’s belief on value tuples).

In this paper, we consider pure strategies, but not mixed strategies. Propositions 3 and 4 also hold in mixed strategies because if there exists a pure-strategy Nash equilibrium, it is also a mixed-strategy Nash equilibrium. However, it is not clear whether Propositions 2, 5 and 6 hold in mixed strategies because there might exist mixed-strategy Nash equilibria other than pure-strategy Nash equilibria.

Appendix

Lemma 1.

Let fFf\in F, vVv\in V, xEfvx^{\ast}\in E^{fv} and iNi\in N. Then, uifv(x)0u_{i}^{fv}\left(x^{\ast}\right)\geq 0, and fi(x)vixif_{i}\left(x^{\ast}\right)v_{i}\geq x_{i}^{\ast}.

Proof.

Because xEfvx^{\ast}\in E^{fv}, uifv(x)uifv(0,xi)=fi(0,xi)vi0u_{i}^{fv}\left(x^{\ast}\right)\geq u_{i}^{fv}\left(0,x_{-i}^{\ast}\right)=f_{i}\left(0,x_{-i}^{\ast}\right)v_{i}\geq 0. Thus, fi(x)vixif_{i}\left(x^{\ast}\right)v_{i}\geq x_{i}^{\ast}. ∎

Proof of Proposition 1.

By Lemma 1, for any iNi\in N, xivifi(x)mvfi(x)x_{i}^{\ast}\leq v_{i}f_{i}\left(x^{\ast}\right)\leq m^{v}f_{i}\left(x^{\ast}\right). Hence, iNximviNfi(x)=mv\sum_{i\in N}x_{i}^{\ast}\leq m^{v}\sum_{i\in N}f_{i}\left(x^{\ast}\right)=m^{v}. ∎

Lemma 2.

Let v>0v\in\mathbb{R}_{>0} and a,ba,b\in\mathbb{N} such that 2ba2\leq b\leq a. Let x:=va(b1)b2(a1)x^{\ast}:=\frac{va\left(b-1\right)}{b^{2}\left(a-1\right)}. Let u:0u:\mathbb{R}_{\geq 0}\to\mathbb{R} such that for any x0x\in\mathbb{R}_{\geq 0}, u(x)=xaa1xaa1+(b1)(x)aa1vxu\left(x\right)=\frac{x^{\frac{a}{a-1}}}{x^{\frac{a}{a-1}}+\left(b-1\right)\left(x^{\ast}\right)^{\frac{a}{a-1}}}v-x. Then, xargmaxx0u(x)x^{\ast}\in\arg\max_{x\in\mathbb{R}_{\geq 0}}u\left(x\right).

Proof.

Let ϕ:0\phi:\mathbb{R}_{\geq 0}\to\mathbb{R} such that for any x0x\in\mathbb{R}_{\geq 0},

ϕ(x)\displaystyle\phi\left(x\right) =((2b1)(x)aa1+xaa1)i=0a1(x)ia1xa1ia1+b2(x)2a1a1.\displaystyle=-\left(\left(2b-1\right)\left(x^{\ast}\right)^{\frac{a}{a-1}}+x^{\frac{a}{a-1}}\right)\sum_{i=0}^{a-1}\left(x^{\ast}\right)^{\frac{i}{a-1}}x^{\frac{a-1-i}{a-1}}+b^{2}\left(x^{\ast}\right)^{\frac{2a-1}{a-1}}.

For any x0x\in\mathbb{R}_{\geq 0},

du(x)dx=ϕ(x)(x1a1(x)1a1)(xaa1+(b1)(x)aa1)2.\displaystyle\frac{du\left(x\right)}{dx}=\frac{\phi\left(x\right)\left(x^{\frac{1}{a-1}}-\left(x^{\ast}\right)^{\frac{1}{a-1}}\right)}{\left(x^{\frac{a}{a-1}}+\left(b-1\right)\left(x^{\ast}\right)^{\frac{a}{a-1}}\right)^{2}}.

Note that ϕ(0)=(b1)2(x)2a1a1>0\phi\left(0\right)=\left(b-1\right)^{2}\left(x^{\ast}\right)^{\frac{2a-1}{a-1}}>0, and ϕ(x)=b(2ab)(x)2a1a1<0\phi\left(x^{\ast}\right)=-b\left(2a-b\right)\left(x^{\ast}\right)^{\frac{2a-1}{a-1}}<0. Then, by the intermediate value theorem, there exists x¯(0,x)\bar{x}\in\left(0,x^{\ast}\right) such that ϕ(x¯)=0\phi\left(\bar{x}\right)=0. Let x0x\in\mathbb{R}_{\geq 0}. Because ϕ\phi is strictly decreasing, ϕ(x)0\phi\left(x\right)\gtreqless 0 if and only if xx¯x\lesseqgtr\bar{x}. Thus,

du(x)dx{0if xx¯0if x¯<xx<0if x>x.\displaystyle\frac{du\left(x\right)}{dx}\begin{cases}\leq 0&\text{if $x\leq\bar{x}$}\\ \geq 0&\text{if $\bar{x}<x\leq x^{\ast}$}\\ <0&\text{if $x>x^{\ast}$}.\end{cases}

Note that u(0)=0u(x)u\left(0\right)=0\leq u\left(x^{\ast}\right). Then, for any x0x\in\mathbb{R}_{\geq 0}, u(x)u(x)u\left(x^{\ast}\right)\geq u\left(x\right). ∎

Lemma 3.

Let aa\in\mathbb{N} such that 2an2\leq a\leq n. Let f=faf=f^{a}. Then, ff is extractive for all vV^v\in\hat{V}.

Proof.

Let vV^v\in\hat{V}. Abuse vv as the common value (v=mv=viv=m^{v}=v_{i} for any iNi\in N). Let xXx^{\ast}\in X such that for some A2NA\in 2^{N} such that |A|=a\left|A\right|=a, for any iAi\in A, xi=vax_{i}^{\ast}=\frac{v}{a} and for any jNAj\in N\setminus A, xj=0x_{j}^{\ast}=0. Let iAi\in A. By Lemma 2 with b=ab=a, for any xi0x_{i}\in\mathbb{R}_{\geq 0}, uifv(x)uifv(xi,xi)u_{i}^{fv}\left(x^{\ast}\right)\geq u_{i}^{fv}\left(x_{i},x_{-i}^{\ast}\right). Let jNAj\in N\setminus A. For any xj>0x_{j}\in\mathbb{R}_{>0},

ujfv(xj,xj)\displaystyle u_{j}^{fv}\left(x_{j},x_{-j}^{\ast}\right) =xjaa1xjaa1+a(va)aa1vxj<xjaa1xjaa1+(a1)(va)aa1vxj\displaystyle=\frac{x_{j}^{\frac{a}{a-1}}}{x_{j}^{\frac{a}{a-1}}+a\left(\frac{v}{a}\right)^{\frac{a}{a-1}}}v-x_{j}<\frac{x_{j}^{\frac{a}{a-1}}}{x_{j}^{\frac{a}{a-1}}+\left(a-1\right)\left(\frac{v}{a}\right)^{\frac{a}{a-1}}}v-x_{j}
=uifv(xj,xi)uifv(x)=0=ujfv(x).\displaystyle=u_{i}^{fv}\left(x_{j},x_{-i}^{\ast}\right)\leq u_{i}^{fv}\left(x^{\ast}\right)=0=u_{j}^{fv}\left(x^{\ast}\right).

Thus, xEfvx^{\ast}\in E^{fv}. iNxi=ava=v\sum_{i\in N}x_{i}^{\ast}=a\cdot\frac{v}{a}=v. ∎

Proof of Proposition 2.

Let f=f2f=f^{2}.

By Lemma 3, ff is extractive for all vV^v\in\hat{V}.

Let vV^v\in\hat{V}. Abuse vv as the common value (v=mv=viv=m^{v}=v_{i} for any iNi\in N). Let xEfvx^{\ast}\in E^{fv}. Let A:={iNxi>0}A:=\left\{i\in N\mid x_{i}^{\ast}>0\right\} and α:=|A|\alpha:=\left|A\right|. If α=0\alpha=0, for some iNi\in N, uifv(x)=vn<(2n1)v2n=uifv(v2n,xi)u_{i}^{fv}\left(x^{\ast}\right)=\frac{v}{n}<\frac{\left(2n-1\right)v}{2n}=u_{i}^{fv}\left(\frac{v}{2n},x_{-i}^{\ast}\right), which contradicts that xEfvx^{\ast}\in E^{fv}. If α=1\alpha=1, for some iAi\in A, uifv(x)=vxi<vxi2=uifv(xi2,xi)u_{i}^{fv}\left(x^{\ast}\right)=v-x_{i}^{\ast}<v-\frac{x_{i}^{\ast}}{2}=u_{i}^{fv}\left(\frac{x_{i}^{\ast}}{2},x_{-i}^{\ast}\right), which contradicts that xEfvx^{\ast}\in E^{fv}. Thus, α2\alpha\geq 2. Let iargmaxjAxji\in\arg\max_{j\in A}x_{j}^{\ast}. For any kAk\in A,

0=ukfvxk(x)=2vxk(lA(xl)2(xk)2)(lA(xl)2)21.\displaystyle 0=\frac{\partial u_{k}^{fv}}{\partial x_{k}}\left(x^{\ast}\right)=\frac{2vx_{k}^{\ast}\left(\sum_{l\in A}\left(x_{l}^{\ast}\right)^{2}-\left(x_{k}^{\ast}\right)^{2}\right)}{\left(\sum_{l\in A}\left(x_{l}^{\ast}\right)^{2}\right)^{2}}-1.

Thus, for any kA{i}k\in A\setminus\left\{i\right\} such that xk<xix_{k}^{\ast}<x_{i}^{\ast}, xi(lA(xl)2(xi)2)=xk(lA(xl)2(xk)2)x_{i}^{\ast}\left(\sum_{l\in A}\left(x_{l}^{\ast}\right)^{2}-\left(x_{i}^{\ast}\right)^{2}\right)=x_{k}^{\ast}\left(\sum_{l\in A}\left(x_{l}^{\ast}\right)^{2}-\left(x_{k}^{\ast}\right)^{2}\right), (xixk)(lA{i,k}(xl)2xixk)=0\left(x_{i}^{\ast}-x_{k}^{\ast}\right)\left(\sum_{l\in A\setminus\left\{i,k\right\}}\left(x_{l}^{\ast}\right)^{2}-x_{i}^{\ast}x_{k}^{\ast}\right)=0, lA{i,k}(xl)2=xixk\sum_{l\in A\setminus\left\{i,k\right\}}\left(x_{l}^{\ast}\right)^{2}=x_{i}^{\ast}x_{k}^{\ast}. Suppose that for some jA{i}j\in A\setminus\left\{i\right\}, xj<xix_{j}^{\ast}<x_{i}^{\ast} (assumption for contradiction). Then, lA{i,j}(xl)2=xixj\sum_{l\in A\setminus\left\{i,j\right\}}\left(x_{l}^{\ast}\right)^{2}=x_{i}^{\ast}x_{j}^{\ast}. For any kA{i,j}k\in A\setminus\left\{i,j\right\}, (xk)2lA{i,j}(xl)2=xixj<(xi)2\left(x_{k}^{\ast}\right)^{2}\leq\sum_{l\in A\setminus\left\{i,j\right\}}\left(x_{l}^{\ast}\right)^{2}=x_{i}^{\ast}x_{j}^{\ast}<\left(x_{i}^{\ast}\right)^{2}, and thus, xk<xix_{k}^{\ast}<x_{i}^{\ast}. Hence, for any kA{i}k\in A\setminus\left\{i\right\}, xk<xix_{k}^{\ast}<x_{i}^{\ast}. Thus, for any kA{i}k\in A\setminus\left\{i\right\}, xixj+(xj)2=lA{i}(xl)2=xixk+(xk)2x_{i}^{\ast}x_{j}^{\ast}+\left(x_{j}^{\ast}\right)^{2}=\sum_{l\in A\setminus\left\{i\right\}}\left(x_{l}^{\ast}\right)^{2}=x_{i}^{\ast}x_{k}^{\ast}+\left(x_{k}^{\ast}\right)^{2}, (xjxk)(xj+xk+xi)=0\left(x_{j}^{\ast}-x_{k}^{\ast}\right)\left(x_{j}^{\ast}+x_{k}^{\ast}+x_{i}^{\ast}\right)=0, and xj=xkx_{j}^{\ast}=x_{k}^{\ast}. Thus, (α2)(xj)2=xixj\left(\alpha-2\right)\left(x_{j}^{\ast}\right)^{2}=x_{i}^{\ast}x_{j}^{\ast}, and xi=(α2)xjx_{i}^{\ast}=\left(\alpha-2\right)x_{j}^{\ast}. Hence, 0=ujfvxj(x)=2v(α1)(α2)(xj)3((α23α+3)(xj)2)210=\frac{\partial u_{j}^{fv}}{\partial x_{j}}\left(x^{\ast}\right)=\frac{2v\left(\alpha-1\right)\left(\alpha-2\right)\left(x_{j}^{\ast}\right)^{3}}{\left(\left(\alpha^{2}-3\alpha+3\right)\left(x_{j}^{\ast}\right)^{2}\right)^{2}}-1, xj=2v(α1)(α2)(α23α+3)2x_{j}^{\ast}=\frac{2v\left(\alpha-1\right)\left(\alpha-2\right)}{\left(\alpha^{2}-3\alpha+3\right)^{2}}, and α3\alpha\geq 3. Thus, ujfv(x)=(xj)2((α2)xj)2+(α1)(xj)2vxj=v(α(α3)+1)(α23α+3)2<0u_{j}^{fv}\left(x^{\ast}\right)=\frac{\left(x_{j}^{\ast}\right)^{2}}{\left(\left(\alpha-2\right)x_{j}^{\ast}\right)^{2}+\left(\alpha-1\right)\left(x_{j}^{\ast}\right)^{2}}v-x_{j}^{\ast}=-\frac{v\left(\alpha\left(\alpha-3\right)+1\right)}{\left(\alpha^{2}-3\alpha+3\right)^{2}}<0, which contradicts Lemma 1. Hence, for any jAj\in A, xj=xix_{j}^{\ast}=x_{i}^{\ast}. Thus, 0=uifvxi(x)=2v(α1)α2xi10=\frac{\partial u_{i}^{fv}}{\partial x_{i}}\left(x^{\ast}\right)=\frac{2v\left(\alpha-1\right)}{\alpha^{2}x_{i}^{\ast}}-1, and xi=2v(α1)α2x_{i}^{\ast}=\frac{2v\left(\alpha-1\right)}{\alpha^{2}}. Hence, uifv(x)=v(2α)α2u_{i}^{fv}\left(x^{\ast}\right)=\frac{v\left(2-\alpha\right)}{\alpha^{2}}. Thus, by Lemma 1, α=2\alpha=2. Hence, xi=v2x_{i}^{\ast}=\frac{v}{2}. Thus, for any jAj\in A, xj=v2x_{j}^{\ast}=\frac{v}{2}. Hence, iNxi=2v2=v\sum_{i\in N}x_{i}^{\ast}=2\cdot\frac{v}{2}=v. ∎

Proof of Proposition 3.

By Lemma 3, ff is extractive for vv.

Abuse vv as the common value (v=mv=viv=m^{v}=v_{i} for any iNi\in N). Let xx^{\ast} be a strategy tuple such that for some A2NA\in 2^{N} such that |A|=a1\left|A\right|=a-1, for any iAi\in A, xi=va(a2)(a1)3x_{i}^{\ast}=\frac{va\left(a-2\right)}{\left(a-1\right)^{3}} and for any jNAj\in N\setminus A, xj=0x_{j}^{\ast}=0. Let iAi\in A. By Lemma 2 with b=a1b=a-1, for any xi0x_{i}\in\mathbb{R}_{\geq 0}, uifv(x)uifv(xi,xi)u_{i}^{fv}\left(x^{\ast}\right)\geq u_{i}^{fv}\left(x_{i},x_{-i}^{\ast}\right). Let jNAj\in N\setminus A. For any xj>0x_{j}\in\mathbb{R}_{>0},

ujfv(xj,xj)\displaystyle u_{j}^{fv}\left(x_{j},x_{-j}^{\ast}\right) =xj(xj1a1vxjaa1(a1)(va(a2)(a1)3)aa1)xjaa1+(a1)(va(a2)(a1)3)aa1\displaystyle=\frac{x_{j}\left(x_{j}^{\frac{1}{a-1}}v-x_{j}^{\frac{a}{a-1}}-\left(a-1\right)\left(\frac{va\left(a-2\right)}{\left(a-1\right)^{3}}\right)^{\frac{a}{a-1}}\right)}{x_{j}^{\frac{a}{a-1}}+\left(a-1\right)\left(\frac{va\left(a-2\right)}{\left(a-1\right)^{3}}\right)^{\frac{a}{a-1}}}
d(vxj1a1xjaa1)dxj\displaystyle\frac{d\left(vx_{j}^{\frac{1}{a-1}}-x_{j}^{\frac{a}{a-1}}\right)}{dx_{j}} =aa1xj2aa1(vaxj).\displaystyle=\frac{a}{a-1}x_{j}^{\frac{2-a}{a-1}}\left(\frac{v}{a}-x_{j}\right).

Thus, for any xj0x_{j}\in\mathbb{R}_{\geq 0},

ujfv(xj,xj)\displaystyle u_{j}^{fv}\left(x_{j},x_{-j}^{\ast}\right) xj((va)1a1v(va)aa1(a1)(va(a2)(a1)3)aa1)xjaa1+(a1)(va(a2)(a1)3)aa1\displaystyle\leq\frac{x_{j}\left(\left(\frac{v}{a}\right)^{\frac{1}{a-1}}v-\left(\frac{v}{a}\right)^{\frac{a}{a-1}}-\left(a-1\right)\left(\frac{va\left(a-2\right)}{\left(a-1\right)^{3}}\right)^{\frac{a}{a-1}}\right)}{x_{j}^{\frac{a}{a-1}}+\left(a-1\right)\left(\frac{va\left(a-2\right)}{\left(a-1\right)^{3}}\right)^{\frac{a}{a-1}}}
=(a1)xj(va)aa1((1+a(a3)+1(a1)3)aa11)xjaa1+(a1)(va(a2)(a1)3)aa10=ujfv(x).\displaystyle=-\frac{\left(a-1\right)x_{j}\left(\frac{v}{a}\right)^{\frac{a}{a-1}}\left(\left(1+\frac{a\left(a-3\right)+1}{\left(a-1\right)^{3}}\right)^{\frac{a}{a-1}}-1\right)}{x_{j}^{\frac{a}{a-1}}+\left(a-1\right)\left(\frac{va\left(a-2\right)}{\left(a-1\right)^{3}}\right)^{\frac{a}{a-1}}}\leq 0=u_{j}^{fv}\left(x^{\ast}\right).

Thus, xEfvx^{\ast}\in E^{fv}. iNxi=(a1)va(a2)(a1)3=(a1)21(a1)2vv\sum_{i\in N}x_{i}^{\ast}=\left(a-1\right)\cdot\frac{va\left(a-2\right)}{\left(a-1\right)^{3}}=\frac{\left(a-1\right)^{2}-1}{\left(a-1\right)^{2}}v\neq v. Thus, ff is not strictly extractive for vv. ∎

Lemma 4.

Let vVv\in V. Suppose that n3n\geq 3. Let fFf\in F such that for some distinct i,j,kNi,j,k\in N such that iMvi\in M^{v}, for any xXx\in X, (i) if xi=mvx_{i}=m^{v}, then fi(x)=1f_{i}\left(x\right)=1, (ii) if ximvx_{i}\neq m^{v} and xj>0x_{j}>0, then fj(x)=1f_{j}\left(x\right)=1, and (iii) if ximvx_{i}\neq m^{v} and xj=0x_{j}=0, then fk(x)=1f_{k}\left(x\right)=1. Then, ff is strictly extractive for vv.

Proof.

Let xXx^{\ast}\in X such that xi=mvx_{i}^{\ast}=m^{v} and for any lN{i}l\in N\setminus\left\{i\right\}, xl=0x_{l}^{\ast}=0. Then, lNxl=mv\sum_{l\in N}x_{l}^{\ast}=m^{v}. It suffices to show that Efv={xi}E^{fv}=\left\{x_{i}^{\ast}\right\}.

For any xi0{xi}x_{i}\in\mathbb{R}_{\geq 0}\setminus\left\{x_{i}^{\ast}\right\}, uifv(x)=0xi=uifv(xi,xi)u_{i}^{fv}\left(x^{\ast}\right)=0\geq-x_{i}=u_{i}^{fv}\left(x_{i},x_{-i}^{\ast}\right). For any lN{i}l\in N\setminus\left\{i\right\} and any xl0{xl}x_{l}\in\mathbb{R}_{\geq 0}\setminus\left\{x_{l}^{\ast}\right\}, ulfv(x)=0xl=ulfv(xl,xl)u_{l}^{fv}\left(x^{\ast}\right)=0\geq-x_{l}=u_{l}^{fv}\left(x_{l},x_{-l}^{\ast}\right). Thus, xEfvx^{\ast}\in E^{fv}.

Let xX{x}x\in X\setminus\left\{x^{\ast}\right\}. If xi=mvx_{i}=m^{v}, then for some lN{i}l\in N\setminus\left\{i\right\}, xl>0x_{l}>0, and ulfv(x)=xl<0=ulfv(0,xl)u_{l}^{fv}\left(x\right)=-x_{l}<0=u_{l}^{fv}\left(0,x_{-l}\right). If ximvx_{i}\neq m^{v} and xj>0x_{j}>0, then ujfv(x)=vjxj<vjxj2=ujfv(xj2,xj)u_{j}^{fv}\left(x\right)=v_{j}-x_{j}<v_{j}-\frac{x_{j}}{2}=u_{j}^{fv}\left(\frac{x_{j}}{2},x_{-j}\right). If ximvx_{i}\neq m^{v} and xj=0x_{j}=0, then ujfv(x)=0<vj2=ujfv(vj2,xj)u_{j}^{fv}\left(x\right)=0<\frac{v_{j}}{2}=u_{j}^{fv}\left(\frac{v_{j}}{2},x_{-j}\right). Thus, xEfvx\notin E^{fv}. ∎

Lemma 5.

Let vVv\in V. Suppose that n=2n=2 and vV^v\notin\hat{V}. (i) Let fFf\in F such that for some iMvi\in M^{v}, for any xXx\in X, fi(x)=𝟏xi=mvf_{i}\left(x\right)=\mathbf{1}_{x_{i}=m^{v}}. Then, ff is extractive for vv. (ii) Let fFf\in F. ff is not strictly extractive for vv.

Proof.

(i) Let jN{i}j\in N\setminus\left\{i\right\}. Let xXx^{\ast}\in X such that xi=mvx_{i}^{\ast}=m^{v}, and xj=0x_{j}^{\ast}=0. For any xi0{xi}x_{i}\in\mathbb{R}_{\geq 0}\setminus\left\{x_{i}^{\ast}\right\}, uifv(x)=0xi=uifv(xi,xi)u_{i}^{fv}\left(x^{\ast}\right)=0\geq-x_{i}=u_{i}^{fv}\left(x_{i},x_{-i}^{\ast}\right). For any xj0{xj}x_{j}\in\mathbb{R}_{\geq 0}\setminus\left\{x_{j}^{\ast}\right\}, ujfv(x)=0xj=uifv(xj,xj)u_{j}^{fv}\left(x^{\ast}\right)=0\geq-x_{j}=u_{i}^{fv}\left(x_{j},x_{-j}^{\ast}\right). Thus, xEfvx^{\ast}\in E^{fv}. kNxk=mv\sum_{k\in N}x_{k}^{\ast}=m^{v}.

(ii) Let i,jNi,j\in N such that vi>vjv_{i}>v_{j}. Suppose that ff is extractive for vv. Then, there exists xEfvx^{\ast}\in E^{fv} such that xi+xj=mvx_{i}^{\ast}+x_{j}^{\ast}=m^{v}. By Lemma 1, mv=xi+xjfi(x)mv+fj(x)vjm^{v}=x^{\ast}_{i}+x_{j}^{\ast}\leq f_{i}\left(x^{\ast}\right)m^{v}+f_{j}\left(x^{\ast}\right)v_{j}. Thus, fj(x)(mvvj)0f_{j}\left(x^{\ast}\right)\left(m^{v}-v_{j}\right)\leq 0. Hence, fj(x)=0f_{j}\left(x^{\ast}\right)=0. Thus, by Lemma 1, xj=0x_{j}^{\ast}=0. Thus, xi=mvx_{i}^{\ast}=m^{v}. Hence, 0=uifv(x)uifv(0,xi)=fi(0,xi)vi0=u_{i}^{fv}\left(x^{\ast}\right)\geq u_{i}^{fv}\left(0,x_{-i}^{\ast}\right)=f_{i}\left(0,x_{-i}^{\ast}\right)v_{i}. Thus, fi(0,xi)=0f_{i}\left(0,x_{-i}^{\ast}\right)=0. Hence, fi(0,0)=0f_{i}\left(0,0\right)=0. Let yXy^{\ast}\in X such that yi=yj=0y_{i}^{\ast}=y_{j}^{\ast}=0. Because xEfvx^{\ast}\in E^{fv} and xj=yjx_{j}^{\ast}=y_{j}^{\ast}, for any yi0y_{i}\in\mathbb{R}_{\geq 0}, uifv(y)=fi(0,0)vi=0=uifv(x)uifv(yi,xi)=uifv(yi,yi)u_{i}^{fv}\left(y^{\ast}\right)=f_{i}\left(0,0\right)v_{i}=0=u_{i}^{fv}\left(x^{\ast}\right)\geq u_{i}^{fv}\left(y_{i},x_{-i}^{\ast}\right)=u_{i}^{fv}\left(y_{i},y_{-i}^{\ast}\right); for any yj0y_{j}\in\mathbb{R}_{\geq 0}, ujfv(y)=fj(0,0)vj=vjfj(yj,yj)vjyj=ujfv(yj,yj)u_{j}^{fv}\left(y^{\ast}\right)=f_{j}\left(0,0\right)v_{j}=v_{j}\geq f_{j}\left(y_{j},y_{-j}^{\ast}\right)v_{j}-y_{j}=u_{j}^{fv}\left(y_{j},y_{-j}^{\ast}\right). Thus, yEfvy^{\ast}\in E^{fv}. yi+yj=0mvy_{i}^{\ast}+y_{j}^{\ast}=0\neq m^{v}. Thus, ff is not strictly extractive for vv. ∎

Proof of Proposition 4.

The conclusion follows from Proposition 2 and Lemmas 4 and 5. ∎

Proof of Proposition 5.

The conclusion follows from Proposition 2 and Lemmas 4 and 5. ∎

Proof of Proposition 6.

Suppose that there exists fFf\in F that is extractive for all vVv\in V (assumption for contradiction).

Let vVv\in V such that for some iNi\in N, for any jN{i}j\in N\setminus\left\{i\right\}, vi>vjv_{i}>v_{j}. Let xEfvx^{\ast}\in E^{fv} such that jNxj=vi\sum_{j\in N}x_{j}^{\ast}=v_{i}. By Lemma 1, vi=jNxjjNvjfj(x)v_{i}=\sum_{j\in N}x_{j}^{\ast}\leq\sum_{j\in N}v_{j}f_{j}\left(x^{\ast}\right). Thus, fi(x)=1f_{i}\left(x^{\ast}\right)=1, and for any jN{i}j\in N\setminus\left\{i\right\}, fj(x)=0f_{j}\left(x^{\ast}\right)=0. Hence, by Lemma 1, for any jN{i}j\in N\setminus\left\{i\right\}, xj=0x_{j}^{\ast}=0, and xi=vix_{i}^{\ast}=v_{i}.

Let v,w>0Nv,w\in\mathbb{R}_{>0}^{N} such that for some iNi\in N, vi=1v_{i}=1 and wi=2w_{i}=2, and vj<viv_{j}<v_{i} and wj<wiw_{j}<w_{i} for any jN{i}j\in N\setminus\left\{i\right\}. Then, by the assumption for contradiction, there exist xEfvx^{\ast}\in E^{fv} and yEfwy^{\ast}\in E^{fw} such that jNxj=vi\sum_{j\in N}x_{j}^{\ast}=v_{i} and jNyj=wi\sum_{j\in N}y_{j}^{\ast}=w_{i}. Thus, xi=1x_{i}^{\ast}=1 and yi=2y_{i}^{\ast}=2, and for any jN{i}j\in N\setminus\left\{i\right\}. xj=yj=0x_{j}^{\ast}=y_{j}^{\ast}=0. Moreover, fi(x)=fi(y)=1f_{i}\left(x^{\ast}\right)=f_{i}\left(y^{\ast}\right)=1. Thus, uifw(1,yi)=2fi(1,yi)1=2fi(x)1=1>0=uifw(y)u_{i}^{fw}\left(1,y_{-i}^{\ast}\right)=2f_{i}\left(1,y_{-i}^{\ast}\right)-1=2f_{i}\left(x^{\ast}\right)-1=1>0=u_{i}^{fw}\left(y^{\ast}\right), which contradicts that yEfwy^{\ast}\in E^{fw}. ∎

References

  • Alcalde and Dahm (2010) J. Alcalde and M. Dahm. Rent seeking and rent dissipation: A neutrality result. Journal of Public Economics, 94:1–7, 2010.
  • Baye et al. (1993) M. R. Baye, D. Kovenock, and C. G. de Vries. Rigging the lobbying process: An application of the all-pay auction. American Economic Review, 83:289–294, 1993.
  • Baye et al. (1996) M. R. Baye, D. Kovenock, and C. G. de Vries. The all-pay auction with complete information. Economic Theory, 8:291–305, 1996.
  • Che and Gale (1998) Y.-K. Che and I. L. Gale. Caps on political lobbying. American Economic Review, 88:643–651, 1998.
  • Clark and Riis (1998) D. J. Clark and C. Riis. Contest success functions: an extension. Economic Theory, 11:201–204, 1998.
  • Dasgupta and Nti (1998) A. Dasgupta and K. O. Nti. Designing an optimal contest. European Journal of Political Economy, 14:587–603, 1998.
  • Drugov and Ryvkin (2017) M. Drugov and D. Ryvkin. Biased contests for symmetric players. Games and Economic Behavior, 103:116–144, 2017.
  • Epstein et al. (2011) G. S. Epstein, Y. Mealem, and S. Nitzan. Political culture and discrimination in contests. Journal of Public Economics, 95:88–93, 2011.
  • Epstein et al. (2013) G. S. Epstein, Y. Mealem, and S. Nitzan. Lotteries vs. all-pay auctions in fair and biased contests. Economics and Politics, 25:48–60, 2013.
  • Ewerhart (2017a) C. Ewerhart. Revenue ranking of optimally biased contests: The case of two players. Economics Letters, 157:167–170, 2017a.
  • Ewerhart (2017b) C. Ewerhart. Contests with small noise and the robustness of the all-pay auction. Games and Economic Behavior, 105:195–211, 2017b.
  • Fang (2002) H. Fang. Lottery versus all-pay auction models of lobbying. Public Choice, 112:351–371, 2002.
  • Franke et al. (2013) J. Franke, C. Kanzow, W. Leininger, and A. Schwartz. Effort maximization in asymmetric contest games with heterogeneous contestants. Economic Theory, 52:589–630, 2013.
  • Franke et al. (2014a) J. Franke, C. Kanzow, W. Leininger, and A. Schwartz. Lottery versus all-pay auction contests: A revenue dominance theorem. Games and Economic Behavior, 83:116–126, 2014a.
  • Franke et al. (2014b) J. Franke, W. Leininger, and C. Wasser. Revenue maximizing head starts in contests. Technical Report 524, Ruhr Economic Paper, 2014b.
  • Franke et al. (2018) J. Franke, W. Leininger, and C. Wasser. Optimal favoritism in all-pay auctions and lottery contests. European Economic Review, 104:22–37, 2018.
  • Glazer (1993) A. Glazer. On the incentives to establish and play political rent-seeking games. Public Choice, 75:139–148, 1993.
  • Hillman and Riley (1989) A. L. Hillman and J. G. Riley. Politically contestable rents and transfers. Economics and Politics, 1:17–39, 1989.
  • Jia et al. (2013) H. Jia, S. Skaperdas, and S. Vaidya. Contest functions: Theoretical foundations and issues in estimation. International Journal of Industrial Organization, 31:211–222, 2013.
  • Kirkegaard (2012) R. Kirkegaard. Favoritism in asymmetric contests: Head starts and handicaps. Games and Economic Behavior, 76:226–248, 2012.
  • Matros and Possajennikov (2016) A. Matros and A. Possajennikov. Tullock contests may be revenue superior to auctions in a symmetric setting. Economics Letters, 142:74–77, 2016.
  • Michaels (1988) R. Michaels. The design of rent-seeking competitions. Public Choice, 56:17–29, 1988.
  • Nti (2004) K. O. Nti. Maximum efforts in contests with asymmetric valuations. European Journal of Political Economy, 20:1059–1066, 2004.
  • Olszewski and Siegel (2020) W. Olszewski and R. Siegel. Performance-maximizing large contests. Theoretical Economics, 15:57–88, 2020.
  • Pérez-Castrillo and Wettstein (2016) D. Pérez-Castrillo and D. Wettstein. Discrimination in a model of contests with incomplete information about ability. International Economic Review, 57:881–914, 2016.
  • Pérez-Castrillo and Verdier (1992) J. D. Pérez-Castrillo and T. Verdier. A general analysis of rent-seeking games. Public Choice, 73:335–350, 1992.
  • Skaperdas (1996) S. Skaperdas. Contest success functions. Economic Theory, 7:283–290, 1996.
  • Tullock (1980) G. Tullock. Efficient rent seeking. In J. M. Buchanan, R. D. Tollison, and G. Tullock, editors, Toward a Theory of the Rent-Seeking Society, pages 97–112. Texas A&M University Press, 1980.