Impossibility theorems over median algebras
19/07/2016 16:30, 6.2.33, Dpt. de Matemática
Miguel Couceiro LORIA (CNRS  Inria Nancy Grand Est  Universite de Lorraine)
Faculty of Sciences, University of Lisbon
In this presentation we consider aggregation procedures (consensus functions) over median algebras
(ternary algebras that subsume several ordered structures such as distributive lattices as well as several
combinatorial structures such as median graphs). Our starting point is a recent Arrow type impossibility
result that states that any median preserving consensus function over linearly ordered sets is trivial in
the sense that it only depends on a single argument. In view of this result, a natural problem is then to
identify those median algebras that lead to such impossibility results. In particular, we will show that such
impossibility results are inevitable when the codomain contains no cycle, i.e., it is a "tree", and we will provide
a surprizingly simple condition that completely describes the latter as median algebras. To broaden the talk,
we will also present some recent results that answer the parametrized version of this problem in which
dependence is restricted to k arguments. Most of the results presented are joint work with Gerasimos Meletiou,
and with JeanLuc Marichal and Bruno Teheux.
