Bounded-orbit lattice representations of finite groups
For a finite group $G$, let $\lambda(G)$ denote the minimum number of orbits on the elements of a finite lattice $L$ with $\operatorname{Aut}(L)\cong G$. Babai and Goodman conjectured that $\lambda(G)$ is bounded by an absolute constant. We prove that $\lambda(G)\leq 50$ for every finite group $G$, thereby confirming t...