Download PDF - Positive-definite kernels, length functions on groups and a noncommutative von Neumann inequality