Conservative median algebras and semilattices

We characterize conservative median algebras and semilattices by means of forbidden substructures and by providing their representation as chains. Moreover, using a dual equivalence between median algebras and certain topological structures, we obtain descriptions of the median-preserving mappings between products of finitely many chains

Consensus theories: an oriented survey

This article surveys seven directions of consensus theories: Arrowian results, federation consensus rules, metric consensus rules, tournament solutions, restricted domains, abstract consensus theories, algorithmic and complexity issues. This survey is oriented in the sense that it is mainly – but not exclusively – concentrated on the most significant results obtained, sometimes with other searchers, by a team of French searchers who are or were full or associate members of the Centre d'Analyse et de Mathématique Sociale (CAMS).Consensus theories ; Arrowian results ; aggregation rules ; metric consensus rules ; median ; tournament solutions ; restricted domains ; lower valuations ; median semilattice ; complexity

Lattices of choice functions and consensus problems

. In this paper we consider the three classes of choice functionssatisfying the three significant axioms called heredity (H), concordance (C) and outcast (O). We show that the set of choice functions satisfying any one of these axioms is a lattice, and we study the properties of these lattices. The lattice of choice functions satisfying (H) is distributive, whereas the lattice of choice functions verifying (C) is atomistic and lower bounded, and so has many properties. On the contrary, the lattice of choice functions satisfying(O) is not even ranked. Then using results of the axiomatic and metric latticial theories of consensus as well as the properties of our three lattices of choice functions, we get results to aggregate profiles of such choice functions into one (or several) collective choice function(s).Aggregation, choice function, concordance, consensus, distance, distributive, heredity, lattice, outcast

Metric and latticial medians

This paper presents the -linked- notions of metric and latticial medians and it explains what is the median procedure for the consensus problems, in particular in the case of the aggregation of linear orders. First we consider the medians of a v-tuple of arbitrary or particular binary relations.. Then we study in depth the difficult (in fact NP-difficult) problem of finding the median orders of a profile of linear orders. More generally, we consider the medians of v-tuples of elements of a semilattice and we describe the median semilattices, i.e. the semilattices were medians are easily computable.Ce texte présente les notions -reliées- de médianes métriques et latticielles et explique le rôle de la procédure médiane dans les problèmes de consensus, notamment dans le cas de l'agrégation d'ordres totaux.. Après avoir étudié les médianes d'un v-uple de relations binaires arbitraires ou particulières, on étudie en détail le problème -difficile (NP-difficile)- d'obtention des ordres médians d'un profil d'ordres totaux. Plus généralement on considère les médianes de v-uples d'éléments d'un demi-treillis (ou d'un treillis) et l'on décrit les demi-treillis à médianes,i.e. ceux où l'obtention des médianes est aisée

Strong quota pair systems and May\u27s theorem on median semilattices.

Kenneth May [16], in 1952, characterized simple majority rule in terms of three conditions: anonymity, neutrality, and positive responsiveness. In this thesis, we remove the condition of neutrality and obtain a characterization of the class of voting rules that satisfy anonymity and positive responsiveness. The key concept in this characterization is the notion of a strong quota pair system. The situation with two alternatives studied by May can be thought of as a very simple example of a finite median semilattice. The main result of this thesis is an extension of May’s theorem to the domain of all finite median semilattices

Decisive neutrality, restricted decisive neutrality, and split decisive neutrality on median semilattices and median graphs.

Consensus functions on finite median semilattices and finite median graphs are studied from an axiomatic point of view. We start with a new axiomatic characterization of majority rule on a large class of median semilattices we call sufficient. A key axiom in this result is the restricted decisive neutrality condition. This condition is a restricted version of the more well-known axiom of decisive neutrality given in [4]. Our theorem is an extension of the main result given in [7]. Another main result is a complete characterization of the class of consensus on a finite median semilattice that satisfies the axioms of decisive neutrality, bi-idempotence, and symmetry. This result extends the work of Monjardet [9]. Moreover, by adding monotonicity as a fourth axiom, we are able to correct a mistake from the Monjardet paper. An attempt at extending the results on median semilattices to median graphs is given, based on a new axiom called split decisive neutrality. We are able to show that majority rule is the only consensus function defined on a path with three vertices that satisfies split decisive neutrality and symmetry

Arrow Type Impossibility Theorems over Median Algebras

We characterize trees as median algebras and semilattices by relaxing conservativeness. Moreover, we describe median homomorphisms between products of median algebras and show that Arrow type impossibility theorems for mappings from a product A 1 x...x An of median algebras to a median algebra B are possible if and only if B is a tree, when thought of as an ordered structure