A hidden Condorcet domain in Loday's realisation of the associahedron
Arkadii Slinko
TL;DR
The paper identifies a hidden Condorcet domain in Loday's realization of the associahedron by examining its intersection with the permutohedron. It proves that $\mathrm{Perm}_n \cap \mathrm{Asso}_n$ equals the nested-star domain of size $2^{n-1}$, forming a maximal symmetric never-middle Condorcet domain, with a base case at $n=3$ and an inductive argument using a root-weight $w(v)=(i+1)(n-i)$. This weight-based inductive analysis restricts which trees contribute to permutation vertices, establishing the exact count and structure of common vertices. The result connects polyhedral realizations to voting-theoretic domains and provides a combinatorial description of a large Condorcet domain embedded in Loday's associahedron.
Abstract
We prove that Loday's polytopal realisation of the nth Tamari lattice T_n, called associahedron, has 2^{n-1} common points with the permutohedron, which form a maximal never-middle (symmetric) Condorcet domain.
