A Model of Elitist Qualification - Springer Link

9 downloads 0 Views 199KB Size Report
Apr 17, 2008 - Miguel A. Ballester · José Luis García-Lapresta. Published ..... (1992), Candeal and Induráin (1995) and García-Lapresta and. Llamazares ...
Group Decis Negot (2008) 17:497–513 DOI 10.1007/s10726-008-9108-z

A Model of Elitist Qualification Miguel A. Ballester · José Luis García-Lapresta

Published online: 17 April 2008 © Springer Science+Business Media B.V. 2008

Abstract This paper deals with the collective qualification of members of society as belonging to a certain category or group based on a fixed attribute. Our model contains three main features: the existence of individual gradual opinions, the notion of elitism (only the opinions of certain individuals are taken into account to delineate the reference group), and the idea of sequentiality (elites are successively created by using the previous elites’ opinions on a social decision scheme). The main results of the paper characterize when this sequential procedure converges for some intuitive ways of aggregating individual opinions. Finally, we analyze the role of convergence for two extra basic properties (symmetry and contractiveness) that elitist rules should possess. Keywords Social choice · Voting systems · Liberalism · Consensus · Social identity · Sequential elitism · Gradual assessments 1 Introduction In this paper we deal with how individuals within a society are collectively perceived as belonging to a certain category or group. In particular, we discuss a set of rules that rest on the idea that qualified members might have special significance when evaluating

M. A. Ballester Departament d’Economia i d’Història Econòmica, Universitat Autònoma de Barcelona, 08193 Bellaterra, Barcelona, Spain e-mail: [email protected] J. L. García-Lapresta (B) Departamento de Economía Aplicada (Matemáticas), Facultad de Ciencias Económicas y Empresariales, Universidad deValladolid, Avda. Valle de Esgueva 6, 47011 Valladolid, Spain e-mail: [email protected]

123

498

M. A. Ballester, J. L. García-Lapresta

other individuals. That is, certain members’ opinions deserve favored treatment by virtue of their perceived superiority (elitism). However, elitism only arises from social evaluations in such a way that in each step the elite is built from the opinions of the previous elite (sequential elitism). The delineation of identity seems to be crucial in several economic and social problems. Some axiomatic studies have been built on this issue, starting with Kasher and Rubinstein (1997).1 As discussed in Çengelci and Sanver (forthcoming), most of the rules introduced thereafter, to which we refer as simple rules, (see Samet and Schmeidler (2003), Sung and Dimitrov (2005), Houy (2006, 2007) or Miller (2008)) are shown to share a common group of properties. However, there exists a literature dealing with a more complicated set of rules (multi-stage rules), that cannot be expressed as simple rules. They initially determine a group of individuals by means of a simple rule. This set of qualified individuals may be modified, taking into account the opinions of the individuals qualified in the previous stage. This recursive process finally generates the qualified set of individuals within the society. Dimitrov et al. (2007) and Çengelci and Sanver (forthcoming) provide axiomatic characterizations of some of these recursive procedures based on the original ideas of Kasher (1993) and Kasher and Rubinstein (1997). The main features of our model are the following. First, each member of society gradually assesses all individuals, including herself. In the previous literature, for any individual i, the judgement regarding if an individual j possesses a certain attribute is a dichotomous assessment, i.e., individual i either does or does not qualify individual j. Our model is more general, since opinions can include cardinal information. Secondly, this information is aggregated and those individuals who reach a given threshold are qualified. As in the multi-stage rules, in the next stage only the opinions of this emergent elite are taken into consideration and a new subset of qualified individuals is selected; and so the procedure continues. As pointed out, we first focus on the convergence of the sequence of elites. In Kasher (1993), Dimitrov et al. (2007) or Çengelci and Sanver (forthcoming), the issue of convergence was not substantially covered. In their specific rules, looking at convergence is not complicated, since all their procedural rules are intuitively convergent.2 Our main results provide some necessary and sufficient conditions for the convergence of sequential elitism when using other classes of aggregators that reflect natural ways of combining individual opinions. We complement these results by analyzing two further properties of sequential elitism, symmetry and contractiveness. The former refers to classical notions of anonymity in Social Choice. The latter is related to the idea that stricter committees should select less individuals as qualified. The paper is organized as follows. Sect. 2 introduces the main features of our model of sequential elitism, providing some archetypal social evaluations as the basis of the 1 In a non-axiomatic approach, Kasher (1993) first considered (Jewish) identity and proposed some rules

in order to decide the subset of individuals who belong to that group. 2 The corresponding dichotomous procedures are based on invitation rules: in each stage qualified members

can qualify as many members as they desire. Thus, the set of qualified members does not decrease in any stage and, consequently, the procedures are convergent. For a more technical reasoning, see Sect. 3.

123

A Model of Elitist Qualification

499

model. In Sect. 3, we provide necessary and sufficient conditions for the convergence of our sequential elitism model. Finally, Sect. 4 analyzes two extra properties of the rules that our model defines and concludes the paper. 2 Collective Assessment and Qualification Functions 2.1 Gradual Assessments A society is conformed as a finite set of individuals N = {1, 2, . . . , n} with n ≥ 2. We use 2 N to denote the power set of N , i.e., the set of all the subsets of N , and for any S ⊆ N , |S| is the cardinal of S. A profile is an n × n matrix P = ( pi j ) with values in the unit interval, where pi j is interpreted as the assessment with which individual i evaluates individual j as being qualified to belong to the group in question. The set of profiles is denoted by P. 2.2 Sequential Elitism A social qualification consists merely of a rule or mechanism that, given a profile of opinions, specifies the set of qualified members. Definition 1 A rule is a mapping f : P → 2 N which assigns, to any profile P ∈ P, the set of qualified members of the society, f (P) ⊆ N . We are interested in sequential elitist rules, where the final set of qualified individuals (the final elite) is the result of a sequential process in which an initial elite determines which members should be included in the next elite or reference group. To formalize these ideas we first need to specify the method that qualifies individuals on the basis of the assessments of any subset of N . A natural way to do so combines a collective assessment function, which provides an evaluation of any individual according to the (reference) set of individuals S ⊆ N , and the profile P ∈ P, and a threshold family (to be explained below). Definition 2 A collective assessment function is a mapping   v : 2 N \ {∅} × P × N → [0, 1]. A collective assessment function determines individual qualification only in gradual terms. A very natural way to convert a gradual opinion into a dichotomic assessment is by means of thresholds. Definition 3 A family of values {α S }, with ∅ = S ⊆ N and α S ∈ [0, 1] for every S, is called a threshold family. Given a collective assessment function v and a threshold {α } family {α S }, the function gv S : 2 N × P → 2 N defined by:  gv{α S } (S,

P) =

{ j ∈ N | v(S, P, j) ≥ α S },

if S = ∅,

∅,

otherwise,

123

500

M. A. Ballester, J. L. García-Lapresta

for all S ⊆ N and P ∈ P, is called the collective qualification function associated with {α S } and v. Remark 1 One may convert each individual opinion into a dichotomous one before the aggregating process. However, given that thresholds can be different across different elites, a unique matrix of dichotomous opinions would not necessarily arise. Non-constant thresholds are precisely a key of the following results. Moreover, even with constant thresholds, gradual assessments are far richer than dichotomous assessments. The former can be aggregated in plenty of different ways before the application of the threshold. Thus, the case of gradual opinions becomes substantially richer than the one of dichotomous opinions, for which parallel results to ours can be derived easily. Our model should also specify the idea of sequentiality. First of all, given a profile, our society determines a first set of qualified individuals. This can be done through the {α } {α } collective qualification function gv S , merely calculating the set S1 = gv S (N , P). Once the group S1 has been qualified as a significant elite, the recursive process moves from this set to another one, considering again the collective qualification func{α } {α } tion gv S , S2 = gv S (S1 , P), and this process is iterated.3 In this way, a sequence of subsets of N is obtained, and the limit set of such sequences can be considered the solution of a sequential elitist model to the problem of qualifying the members of a society. At this point, a natural question arises. Do collective qualification functions always specify a final set of qualified members? In other words, is it possible to assign an (elitist) rule f to any collective qualification function? To answer this question, the following definition makes sense. {α }

Definition 4 Given a collective qualification function gv S and a profile P ∈ P, the {α } sequence {St }, where S0 = N and St+1 = gv S (St , P), is called a chain. A chain is said to be convergent if {St } has a limit lim St , i.e., there exists a positive integer q such that St = Sq for every t ≥ q (and it is also said that the chain converges to {α } lim St ). The collective qualification function gv S is said to be convergent if every {α } chain generated by gv S is convergent. Remark 2 A variant of Definition 3 is that only the members of the elite can be qualified by that elite:  gv{α S } (S,

P) =

{ j ∈ S | v(S, P, j) ≥ α S },

if S = ∅,

∅,

otherwise,

for all S ⊆ N and P ∈ P. Now, if an individual is expelled from the elite, this individual cannot enter in a subsequent stage. Obviously, this collective qualification function converges to a final set of qualified individuals. Due to it being a trivial case, we do not consider it. 3 Notice how the profile of opinions remains the same in each of the stages of the process. The modification of opinions would also arise interesting economic questions, as other models of committees show. See for instance Barberà et al. (2001).

123

A Model of Elitist Qualification

501

Remark 3 A variant of Definition 4 is that the initial elite is any subset S0 of N . However, the convergence of the elitist model is seriously flawed. The following example shows how, for any natural collective qualification function, convergence cannot be ensured. Consider ∅ = S0 ⊂ N and the profile P defined by:  pi j =

1,

if (i ∈ S0 and j ∈ N \ S0 ) or (i ∈ N \ S0 and j ∈ S0 ),

0,

otherwise.

Most natural qualification functions should determine S1 = N\S0 .4 Similarly, once N \S0 is the elite, the new group of selected individuals should be S0 , thus provoking a cycle. In Kasher (1993) and Dimitrov et al. (2007), the initial sets S0 are determined using (in our terminology) a different collective qualification function than the one used in subsequent stages. To study the cases considered in the above mentioned papers, very minor modifications should be included in our model. 2.3 Some Remarkable Collective Assessment Functions To test the validity of the (sequential) elitist methods, we now present some specific cases that constitute natural ways to aggregate evaluations. In Sect. 3, we look at the convergence of the elitist procedure when using such methods. 2.3.1 The Extreme Liberal Case Similarly to Kasher and Rubinstein (1997), we consider the extreme liberal case, where the only opinion taken into account to reach a decission is that of the individual being judged: v1 (S, P, j) = p j j . Given a threshold family {α S }, an individual j is qualified by the elite S = ∅ if the opinion of j about herself reaches the corresponding threshold: j ∈ gv{α1 S } (S, P) ⇔ p j j ≥ α S . Remark 4 The extreme liberal case is, in some sense, a degenerated elitist function, as elites play almost no role in judging individuals. Nevertheless, there exists a partial influence of elitism, as different elites may impose different thresholds. The results within the paper give the hint that very mild conditions over the thresholds allow the convergence of any of these degenerated sequential procedures. We have included this case for the sake of illustration, although for elitism to be fully explored, it seems natural to think that a set of members should use only their own opinions to provide 4 Notice that the cases presented in Sect. 2.3, excluded the extreme liberal case, verify this fact.

123

502

M. A. Ballester, J. L. García-Lapresta

an assessment. In this spirit, the remaining list of collective assessment functions tries to cover a wide range of intuitive and philosophical aggregation methods. 2.3.2 The Benevolent Case Following the view of Kasher (1993), the benevolent case corresponds to making social opinion be the opinion of the most enthusiastic member of the elite: v2 (S, P, j) = max{ pi j | i ∈ S}. So, given a threshold family {α S }, an individual j is qualified by the elite S if the opinion of some member of the elite reaches the corresponding threshold: j ∈ gv{α2 S } (S, P) ⇔ pi j ≥ α S

for some i ∈ S.

This function generalizes the dichotomous case corresponding to an invitation rule, where one member of the elite is sufficient to qualify an individual. 2.3.3 The Consensus We could consider a more restrictive collective assessment, reached through consensus: v3 (S, P, j) = min{ pi j | i ∈ S}. Given a threshold family {α S }, an individual j is qualified by the elite S if the opinion of each member of the elite reaches the corresponding threshold: j ∈ gv{α3 S } (S, P) ⇔ pi j ≥ α S for every i ∈ S. This function generalizes the dichotomous case corresponding to the (elitist) consensus idea, where individuals are qualified only if they are qualified by each member of the elite. 2.3.4 The Average Balancing the two previous extreme cases, additive methods try to combine all the opinions into a compensative collective view. As a special case, we consider that the social opinion is neither the most optimistic nor the most pessimistic, but the average of all the elite opinions: v4 (S, P, j) =

1  pi j . |S| i∈S

Given a threshold family {α S }, an individual j is qualified by the elite S if the average of the elite opinions reaches the corresponding threshold:

123

A Model of Elitist Qualification

503

j ∈ gv{α4 S } (S, P) ⇔

1  pi j ≥ α S . |S| i∈S

We note that the arithmetic mean, as an aggregation operator, satisfies interesting properties, which have been characterized in the Social Choice framework (see Candeal et al. (1992), Candeal and Induráin (1995) and García-Lapresta and Llamazares (2000)). 2.3.5 Liberalism and Elitism Liberalism and elitism may be combined in a very natural way. Whenever an individual is part of the elite (but only in this case), it is possible to assign a special weight for this person’s evaluation of herself. Consider the collective assessment function: ⎧ 1 − γS  ⎪ ⎪ γ p + pi j , ⎪ ⎨ S j j |S| − 1 i∈S\{ j} v5 (S, P, j) = 1  ⎪ ⎪ pi j , ⎪ ⎩ |S|

if j ∈ S and S = { j}, otherwise,

i∈S

where γ S ∈ [0, 1], for every S ⊆ N such that |S| ≥ 2. In the case of |S| = 1, the second part of the definition guarantees that only the opinion of the individual in S is considered, i.e., v5 ({i}, P, j) = pi j . 1 Whenever γ S = |S| for any non-empty subset S ⊆ N with at least two individuals, v4 is recovered. The γ S = 1 case essentially considers for some cases only the opinion of the individual herself as the collective assessment of the group S. Notice 1  pi j that, while v1 (S, P, j) = p j j for every S, it is the case that v5 (S, P, j) = |S| i∈S whenever j ∈ S. Although not from a liberal point of view, the γ S = 0 case may have some interest. Suppose that a committee is evaluating the merits of its members. It is common practice to exclude a member’s opinion of herself, and then assign zero weight to her opinion. Finally, we also note that vk ({ j}, P, j) = p j j for all k ∈ {1, . . . , 5}, j ∈ N and P ∈ P. 3 Analysis of Convergence Probably the most natural threshold families are those where all the elites use the same threshold α, i.e., α S = α for every S ⊆ N . In this case, we denote by gvα the collective qualification function associated with α and v. Individuals are qualified whenever the elite opinion about them reaches the corresponding threshold. However, as Corollaries 1–3 and Theorem 2 highlight, such assumption would extremely restrict the convergence of sequential elitism. These facts may be interpreted as a partial impossibility result. Whenever constant thresholds are at stake, convergence

123

504

M. A. Ballester, J. L. García-Lapresta

of collective qualification functions leads to a very relaxed notion of group identification. Indeed, only the degenerated case (the extreme liberal) and the benevolent cases ensure convergence under any constant threshold. This result also shows the reason why the rules introduced in Kasher (1993), Dimitrov et al. (2007) and Çengelci and Sanver (forthcoming) are well-defined.5 In the following results, we establish necessary and sufficient conditions on the (general) family of thresholds to guarantee the convergence of collective qualification {α } functions gvk S , for k = 1, . . . , 5. Theorem 1 Given a family of strictly positive thresholds {α S } S⊆N , the following conditions are equivalent: {α }

1. gv1 S is convergent. {α } 2. gv2 S is convergent. 3. For all non-empty sets S, T ⊆ N , α S ≥ αT whenever S ⊆ T . Proof To prove that 1 (and 2) implies 3, suppose, by contradiction, that 3 is not true. In this case, there exist two non-empty sets S ⊂ T such that α S < αT . Consider the profile P defined by: ⎧ ⎪ if j ∈ N \T, ⎨ 0, pi j = α S , if j ∈ T \ S, ⎪ ⎩ 1, if j ∈ S. It is easy to see that for v1 (and v2 ), either S2 = T whenever α S ≥ α N or S2 = S chain oscillates cyclically between whenever α S < α N , and after that,  the qualification  {α S } {α S } and gv2 is not convergent, which is absurd. these two sets. Therefore, gv1 To prove that 3 implies 1 (and 2), it is sufficient to note that any qualification chain

is decreasing for v1 (and v2 ), and therefore, convergent. Convergence in the case of constant thresholds can be directly derived from Theorem 1. Corollary 1 The functions gvα1 gvα2 converge for every α ∈ [0, 1]. As we show in the following theorem, convergence is not achievable in the consensus case. {α }

Theorem 2 For any family of strictly positive thresholds {α S } S⊆N , gv3 S is not convergent. Proof Take a profile P ∈ P in which all individual assessments are 1 except pii = 0 for a given individual i ∈ N . It is not hard to see that S2t−1 = N \ {i} and S2t = N , for every positive integer t. Therefore, the qualification chain associated with P does not converge.

5 Although the rules introduced in these papers only apply the benevolent case after S is defined, minor 1

modifications have to be included to derive the previous intuition.

123

A Model of Elitist Qualification

505

Theorem 3 Given a family of strictly positive thresholds {α S } S⊆N , the following two conditions are equivalent: {α }

1. gv5 S is convergent. 2. For all non-empty sets S, T ⊆ N , (1 − γT ) |S| α S ≥ (|T | − 1) αT whenever S ⊆ T.



Proof See Appendix A.

Convergence in the case of constant thresholds can be directly derived from Theorem 3. Corollary 2 The function gvα5 converges if and only if α = 0 or (n = 2 and γ N = 0). Since v4 is included in the family analyzed in Theorem 3, we can derive the following result. Corollary 3 Given a family of strictly positive thresholds {α S } S⊆N , the following two conditions are equivalent: {α }

1. gv4 S is convergent. 2. For all non-empty sets S, T ⊆ N , |S| α S ≥ |T | αT whenever S ⊆ T . In particular, gvα4 is not convergent for any α ∈ (0, 1]. {α }

{α }

Proof The function gv4 S is a specific case of gv5 S with γ S =

1 |S|

for every S ⊆ N {α }

such that |S| ≥ 2. Substituting this value in the convergence condition of gv5 S in Theorem 3, we obtain the condition |S| α S ≥ |T | αT for every pair of subsets S ⊆ T ⊆ N.

In order to interpret the above results, we present some brief remarks that follow {α } from the necessary and sufficient conditions for the convergence of gvk S . {α }

Remark 5 Given a family of strictly positive thresholds {α S } S⊆N , for gv5 S to be convergent, elitism cannot be freely combined with all kinds of liberalism. First, it is necessary that γT = 1 for every T ⊆ N such that |T | ≥ 2: Taking into account Theorem 3, if γT = 1, then 0 = (1 − γT ) |S| α S ≥ (|T | − 1) αT , with S ⊆ T , i.e., αT = 0, which is absurd. Other upper bounds can be found. Consider, for instance, the family of subsets of T with |T | − 1 elements, i.e., those sets obtained by removing one individual. In this case, for each of these sets S, it must be that 1 − γT ≥ ααTS , or equivalently, γT ≤ 1 − ααTS . Therefore, the value 1−

αT min{αT \{k} | k ∈ T }

is an upper bound for γT . Naturally, other values can be obtained by considering subgroups of different cardinality.

123

506

M. A. Ballester, J. L. García-Lapresta

Remark 6 Higher thresholds allow a lower degree of liberalism (when the individual is in the elite group), and viceversa. In extreme cases, if γT = 0, for every T , it is possible to have αT > |T1 | , although it will be αT ≤ |T1|−1 . If, on the other hand, making thresholds to vary considerably allows us to establish γT as close to 1 as {α } desired. The function gv4 S can be seen as a compromise result, in which thresholds vary restrictively, and the opinion about herself yet plays a significant role. Remark 7 Convergence might require the use of very relaxed thresholds. Especially {α } 1 remarkable is the case of gvˆ S , where αT ≤ |T |−1 for every T ⊆ N , as mentioned 5 in Remark 6. Thus, the described qualification process could end up with all the individuals in the limit set, even in those cases in which there are some individuals who are not highly evaluated by anyone. For instance, a society in which all assessments are α N leads to the qualification of every individual. To correct the problem to some extent, we can introduce a refinement of v5 which enables us to obtain the same results on convergence, while at the same time partially avoiding the above-mentioned issue. To do this, consider an increasing and bijective function ϕ : [0, 1] → [0, 1] and the collective assessment function vˆ5 defined by vˆ5 (S, P, j) = v5 (S, ϕ(P), j), where {α } ϕ(P)i j = ϕ( pi j ). Theorem 3 can be reproduced for gvˆ S . In this case, it is possi5 ble to consider an increasing bijective function in the process, such that individual assessments are lowered before the aggregation process. Take, for instance, values r with r > 1. In this case, in the introductory example, no individual passes the first pik qualification step. In the case of common assessments, an individual would require an evaluation of ϕ −1 (α N ) to be qualified, where this value could be as close to 1 as desired. Notice, however, that an individual j such that p j j = 1 would still be qualified at any step. 4 Symmetry and Contractiveness The previous section contains necessary and sufficient conditions for the convergence of collective qualification functions. Under these conditions, for any profile we may interpret the limit set of the associated chain as the final set of qualified individuals in society. Thus, it is possible to conform an (elitist) rule. {α }

Definition 5 Let gv S : 2 N × P → 2 N be a convergent collective qualification func{α } tion. The rule associated with gv S , f : P → 2 N , is defined by means of f (P) = {α } lim St for every P ∈ P, where St is the chain associated with gv S and P. We now study two properties of rules associated with convergent collective qualification functions: symmetry and contractiveness. First, we consider that qualification should be symmetric, i.e., not depend on the individuals’ names. The following axiom reproduces the symmetry axiom in Samet and Schmeidler (2003). We consider permutations π of the set of individuals, N , and interpret π(i) as the former name of the individual whose new name is i. Given S ⊆ N , we have π S = {π( j) | j ∈ S}. Moreover, for any profile P ∈ P, we denote by π P the profile permutation obtained as (π P)i j = pπ(i)π( j) .

123

A Model of Elitist Qualification

507

Definition 6 A rule f : P → 2 N is symmetric if f (π P) = π f (P) for every P ∈ P and every permutation π . In the following proposition we establish a necessary and sufficient condition for symmetry in the case of rules associated with convergent qualification functions. Proposition 1 Let f : P → 2 N be the rule associated with a convergent collective {α } qualification function gvi S , i = 1, . . . , 5. The following two conditions are equivalent: 1. f is symmetric. 2. α S = αT for all S, T ⊆ N such that |S| = |T |. Proof To prove that 1 implies 2, suppose by way of contradiction that f is symmetric but there exist S, T ⊆ N such that |S| = |T | and α S = αT . Without loss of generality, suppose that α S < αT . Consider a permutation π over the set of individuals such that π S = T , and the following profile:  pi j =

αS ,

if j ∈ S

0,

otherwise.

Since f is convergent, Theorems 1–3 guarantee that α N ≤ α S . Therefore, for any convergent f it must be clearly f (P) = S and therefore π f (P) = T . However, given that α S < αT , it is straightforward to see that f (π P) = ∅. This is an absurd and therefore, 1 implies 2. The proof that 2 implies 1 is trivial, concluding the proof of the proposition.

To motivate the following property, consider a society endowed with a certain collective assessment function. Suppose that an individual has not been qualified when the society uses a threshold family which guarantees the convergence of sequential elitism. If this society becomes more demanding by rising all the thresholds it uses for selecting qualified individuals, preserving convergence, such individual should not be qualified either. In other words, the higher the thresholds a society uses, the smaller the set of qualified individuals is. Definition 7 A collective assessment function v is said to be contractive if, for any {α } pair of strictly positive threshold families {α S } S⊆N , {α S } S⊆N , such that gv S and {α S }

gv

are convergent, then the following holds: α S ≥ α S for every S ⊆ N ⇒ f (P) ⊆ f (P) {α S }

where f and f are the rules associated with gv

for every P ∈ P, {α S }

and gv

, respectively.

To conclude our analysis, we provide necessary and sufficient conditions for contractiveness. Theorem 4 The collective assessment functions v1 and v2 are contractive.

123

508

M. A. Ballester, J. L. García-Lapresta

Proof Let {α S } S⊆N and {α S } S⊆N be two strictly positive threshold families such that {α }

{α }

{α }

{α }

gv1 S , gv2 S , gv1 S and gv2 S are convergent, and α S ≥ α S for every S ⊆ N . By {α }

Theorem 1, α S ≥ αT and α S ≥ αT whenever S ⊆ T . Since gv1 S (N , P) ⊆ {α } gv1 S (N , P), we have f (P) ⊆ f (P) and, consequently, v1 is contractive. In order to justify that v2 is contractive, we proceed by induction over each step of the qualification {α }

{α }

{α }

{α }

chains associated to gv2 S and gv2 S . Obviously, S1 = gv2 S (N , P) ⊆ gv2 S (N , P) = {α }

S1 , for every P ∈ P. Suppose St ⊆ St for a step t ≥ 1. If j ∈ St+1 = gv2 S (St , P), then pi j ≥ α S for some i ∈ St . Taking into account α S ≥ α St , we have pi j ≥ α St t

{α }

t

for some i ∈ St , i.e., j ∈ St+1 = gv2 S (St , P). Consequently, St+1 ⊆ St+1 and v2 is contractive.

In the following result we establish a necessary condition for contractiveness of v5 .

Proposition 2 Suppose γ S = γs for all S ⊆ N such that 2 ≤ |S| = s < n and δ j = min 1 − γ j , j−1 for j = 2, . . . , n − 2. If the collective assessment function j v5 is contractive, then γS ≥ δ2 · · · δs−1 , 1 − γS for every S ⊆ N such that 2 ≤ |S| < n. Proof See Appendix A. The previous result can be generalized to the case in which thresholds associated to sets with the same cardinality do not necessarily coincide. However, the case presented here is the most natural and, according to Proposition 1, the one that corresponds to symmetric rules. Theorem 5 The collective assessment function v4 is contractive. Proof Let {α S } S⊆N and {α S } S⊆N be two strictly positive threshold families such that {α }

{α }

gv4 S and gv4 S are convergent, and α S ≥ α S for every S ⊆ N . By a direct application of Theorem 3, the following conditions |S| α S ≥ |T | αT and |S| α S ≥ |T | αT whenever S ⊆ T are necessary and sufficient for the convergence of the specific v4 case. For any profile P ∈ P, consider the limit sets S = f (P), S = f (P) {α }

{α }

associated with gv4 S and gv4 S and P, respectively. We prove that S contains in S by induction over the sets of the chain that generates S. It is obvious for S0 = N . Suppose it is true for certain St . Then, for every j ∈ S , it holds that:  i∈St

pi j ≥



pi j ≥ |S | α S ≥ |S | α S ≥ |St | α St

i∈S

which implies that j ∈ St+1 . Consequently, S ⊆ St+1 and f (P) ⊆ f (P). Thus,

the induction reasoning proves that v4 is contractive.

123

A Model of Elitist Qualification

509

Acknowledgements The authors are grateful to Dinko Dimitrov (who introduced us to the problem of “Who is a J?” and related literature), Carlos Hervés, Jordi Massó, Jorge Nieto, Pedro Rey-Biel, José Ramón Uriarte and two anonymous referees for their suggestions and comments. This work is partially financed by the Spanish Ministerio de Educación y Ciencia (Projects SEJ2005-01481/ECON and SEJ200604267/ECON), ERDF, Generalitat de Catalunya (grant 2005SJR00454) and Barcelona Economics-XREA.

Appendix A: Proofs Proof of Theorem 3 We first show that 1 implies 2. Suppose, by contradiction, that there exist S, T ⊆ N such that S ⊂ T and (1−γT ) |S| α S < (|T |−1) αT . Consider the profile P defined by: ⎧ 0, ⎪ ⎨ pi j = α S , ⎪ ⎩ 1,

if j ∈ N \T or (i ∈ N \ S and j ∈ T \ S) , if i ∈ S and j ∈ T \ S, if j ∈ S.

It is straightforward to see that ⎧ 1, ⎪ ⎪ ⎪ ⎨ v5 (N , P, j) = (1 − γ N ) |S| α S , ⎪ ⎪ n−1 ⎪ ⎩ 0,

if j ∈ S, if j ∈ T \ S, if j ∈ N \T.

Consequently,

S2 = gv{α5 S } (N , P) =

⎧ ⎪ ⎪ ⎨ S, ⎪ ⎪ ⎩ T,

(1 − γ N ) |S| α S , n−1 (1 − γ N ) |S| α S if α N ≤ . n−1

if α N >

Since ⎧ ⎪ ⎨ 1, v5 (S, P, j) = α S , ⎪ ⎩ 0,

if j ∈ S, if j ∈ T \ S, if j ∈ N \T,

{α }

we have gv5 S (S, P) = T . On the other hand, ⎧ 1, ⎪ ⎪ ⎪ ⎨ v5 (T, P, j) = (1 − γT ) |S| α S , ⎪ ⎪ |T | − 1 ⎪ ⎩ 0,

if j ∈ S, if j ∈ T \ S, if j ∈ N \T.

123

510

M. A. Ballester, J. L. García-Lapresta {α }

Since (1 − γT ) |S| α S < (|T | − 1) αT , we have gv5 T (T, P) = S. Hence, the {α } collective qualification function gv5 S does not converge. To prove that 2 implies 1, take a family of thresholds satisfying (1 − γT ) |S| α S ≥ (|T | − 1) αT , whenever S ⊂ T ⊆ N . Given a profile P, we prove by induction that the qualification chain is decreasing, hence, convergent. Since S0 = N , obviously S1 = {α } {α } gv5 S (S0 , P) ⊆ S0 . Suppose Sk+1 = gv5 S (Sk , P) ⊆ Sk is true for k = 1, . . . , t − 1 (in particular St ⊆ St−1 ). In order to prove St+1 ⊆ St by contradiction, suppose {α } there exists j ∈ St+1 = gv5 S (St , P) such that j ∈ St . In this case, it must be that 1  pi j ≥ α St , |St |

v5 (St , P, j) =

i∈St

i.e., 

pi j ≥ |St | α St .

i∈St

Consider the greatest integer m such that j ∈ Sm , with m ≤ t − 1. Notice that this is well-defined, since S0 = N . By the induction hypothesis, it must be that St = St \{ j} ⊆ Sm \{ j} and 

pi j ≥

i∈Sm\{ j}



pi j ≥ |St | α St .

i∈St

Therefore, we can use this inequality to ensure that v5 (Sm , P, j) = γ Sm p j j +

1 − γ Sm  pi j |Sm | − 1 i∈Sm\{ j}



1 − γ Sm |Sm | − 1



pi j ≥

i∈Sm\{ j}

1 − γ Sm |St | α St . |Sm | − 1

Noticing that ∅ = St ⊂ Sm , we can apply the hypothesis to the family of thresholds, by which we get 1 − γ Sm |St | α St ≥ α Sm . |Sm | − 1 {α }

Consequently, v5 (Sm , P, j) ≥ α Sm , i.e., j ∈ gv5 S (Sm , P) = Sm+1 , which either contradicts the definition of m or the fact that j ∈ St . Therefore, the hypothesis that there exists j ∈ St+1 \ St is false, concluding the induction argument and the proof.



123

A Model of Elitist Qualification

511

Proof of Proposition 2 Suppose, by contradiction, that there exists T ⊆ N , with 2 ≤ |T | = t < n, such that γT < δ2 · · · δt−1 . 1 − γT Let R be a minimal subset satisfying the above property, i.e., γR < δ2 · · · δr −1 1 − γR

and

γS ≥ δ2 · · · δs−1 , 1 − γS

for every S ⊂ R such that |S| = s ≥ 2, and |R| = r . We now show that there exists a family of thresholds {α S } S⊆N such that αs = δ2 · · · δs−1 (1 − γs ), for every S ⊆ R and |S| = s, allowing the convergence of v5 . Taking into account Theorem 3, we need to justify that αj ≤

s αs (1 − γ j ) j −1

for |S| = s = 2, . . . , j − 1 and j = 3, . . . , r . First we note that α2 = 1 − γ2 . – – –

j = 3 and s = 2: α3 = δ2 (1 − γ3 ) ≤ (1 − γ2 ) (1 − γ3 ) = α2 (1 − γ3 ). j = 4 and s = 2: α4 = δ2 δ3 (1 − γ4 ) ≤ (1 − γ2 ) 23 (1 − γ4 ) = 23 α2 (1 − γ4 ). j = 4 and s = 3: α4 = δ2 δ3 (1 − γ4 ) ≤ δ2 (1 − γ3 ) (1 − γ4 ) = α3 (1 − γ4 ).

It is straightforward to complete the proof for the rest of values of s and j. We choose α1 = 1 and the remaining thresholds α S in order to satisfy the convergence conditions of Theorem 3. Now let αs = αs for all s < n and α N = α N − ε for a sufficiently small value of ε > 0. Since α S ≥ α S for every S ⊆ N , in order to obtain a contradiction, we now justify why v5 is not contractive. We need to prove that f (P) is not included in f (P) for some profile P. Select the profile P defined by: – – – – – –

pkk = 1, for some k ∈ R, p j j = α N , for every j ∈ R \{k}, pi j = 0, for every j ∈ N \ R, pi j = 0, for all i, j ∈ R \{k} such that i = j, pi j = λ, for all i ∈ N \ R and j ∈ R, pik = µ, for every i ∈ R \{k}. The value λ ∈ [0, 1] is selected in such a way that: γ N α N +

1 − γN (n − r ) λ ∈ [α N , α N ). n−1

123

512

M. A. Ballester, J. L. García-Lapresta

To see that this is possible, notice that, for λ = 0 it holds that: γ N α N +

1 − γN (n − r ) λ = γ N α N < α N < α N . n−1

On the other hand, for λ = 1 it holds: γ N α N +

1 − γN 1 − γN α1 (n − r ) λ ≥ = (1 − γ N ) ≥ α N ≥ α N . n−1 n−1 n−1

The value µ is selected as follows: – If γ N > 0, take µ = 0. – If γ N = 0, let µ simultaneously satisfy the following inequalities: r −1 n −r λ+ µ ≥ α N = α N + ε n−1 n−1 µ
0 is guaranteed by the selection of R and the family of thresholds. {α } In order to see that gv5 S (N , P) = R, it is necessary to justify that: v5 (N , P, j) = γ N p j j +

1 − γN  pi j ≥ α N ⇔ j ∈ R. n−1 i∈N\{ j}

Some simple calculations prove this statement: – v5 (N , P, k) = γ N + ≥ γ N α N +

1 − γN ((r − 1) µ + (n − r ) λ) n−1

1 − γN (n − r ) λ ≥ α N . n−1



j ∈ R \{k}: v5 (N , P, j) = γ N α N +



j ∈ N \ R: v5 (N , P, j) = 0 < α N .

1 − γN (n − r ) λ ≥ α N . n−1

{α }

We now justify that gv5 S (R, P) = ∅, i.e., v5 (R, P, j) < αr for every j ∈ N : – v5 (R, P, k) = γ R + – –

1 − γR (r − 1) µ = γ R + (1 − γ R ) µ < αr (when either r −1

γ N = 0 or γ N > 0). j ∈ R \{k}: v5 (R, P, j) = γ R α N ≤ γ R < δ2 · · · δr −1 (1 − γ R ) = αr . j ∈ N \ R: v5 (R, P, j) = 0 < αr .

Then, f (P) = ∅.

123

A Model of Elitist Qualification

513

{α }

We now justify that gv5 S (N , P) = {k}: 1 − γN ((r − 1) µ + (n − r ) λ). n−1 1. When γ N > 0, taking into account that µ = 0 and α N < 1, an adequate selection of ε (as small as desired, allowing all requisites) guarantees that:

– v5 (N , P, k) = γ N +

v5 (N , P, k) > γ N α N + ε +

1 − γN (n − r ) λ ≥ α N + ε = α N . n−1

2. When γ N = 0, it holds that: v5 (N , P, k) =

r −1 n −r λ+ µ ≥ αN . n−1 n−1



j ∈ R \{k}: v5 (N , P, j) = γ N α N +



j ∈ N \ R: v5 (N , P, j) = 0 < α N .

1 − γN (n − r ) λ < α N . n−1

{α }

On the other hand, it is clear that gv5 S ({k}, P) = {k}. Then, f (P) = {k} is not included in f (P) = ∅, contrary to the hypothesis.



References Barberà S, Maschler M, Shalev J (2001) Voting for voters: a model of electoral evolution. Games Econ Behav 37:40–78 Candeal JC, Induráin E, Uriarte JR (1992) Some issues related to the topological aggregation of preferences. Soc Choice Welfare 9:213–227 Candeal JC, Induráin E (1995) Aggregation of preferences from algebraic models on groups. Soc Choice Welfare 12:165–173 Çengelci MA, Sanver MR (forthcoming) Simple collective identity functions. Theory Decis Dimitrov D, Sung SC, Xu Y (2007) Procedural group identification. Math Soc Sci 54:137–146 García-Lapresta JL, Llamazares B (2000) Aggregation of fuzzy preferences: some rules of the mean. Soc Choice Welfare 17:673–690 Houy N (2006) He said that he said that I am a J. Econ Bull 4(4):1–6 Houy N (2007) I want to be a J!: liberalism in group identification problems. Math Soc Sci 54:59–70 Kasher A (1993) Jewish collective identity. In: Goldberg DT, Krausz M (eds) Jewish identity. Temple University Press, Philadelphia pp 56–78 Kasher A, Rubinstein A (1997) On the question “Who is a J?”. A social choice approach. Logique & Analyse 160:385–395 Miller AD (2008) Group identification. Games Econ Behav doi:10.1016/j.geb.2007.08.006 Samet D, Schmeidler D (2003) Between liberalism and democracy. J Econ Theory 110:213–233 Sung SC, Dimitrov D (2005) On the axiomatic characterization of “Who is a J?”. Logique & Analyse 48(189–192):101–112

123