Combinatorial theory of arithmetic groups