Axioms for consensus functions on the \(n\)-cube (Q670457)

Summary: A \(p\) value of a sequence \(\pi = (x_1, x_2, \dots, x_k)\) of elements of a finite metric space \((X, d)\) is an element \(x\) for which \(\sum_{i = 1}^k d^p(x, x_i)\) is minimum. The \(\ell_p\)-function with domain the set of all finite sequences on \(X\) and defined by \(\ell_p(\pi) = \{x: \text{\(x\) is a \(p\) value of \(\pi\)}\}\) is called the \(\ell_p\)-function on \((X, d)\). The \(\ell_1\) and \(\ell_2\) functions are the well-studied median and mean functions, respectively. In this note, simple characterizations of the \(\ell_p\)-functions on the \(n\)-cube are given. In addition, the center function (using the minimax criterion) is characterized as well as new results proved for the median and antimedian functions.