Unlike sequential RNNs that suffer from vanishing gradients and bottleneck hidden states across long spans, the Transformer computes pairwise dot products in parallel ($\mathcal{O}(1)$ path length between any two tokens). Dividing by $\sqrt{d_k}$ prevents the dot products from growing excessively large in high dimensions, preventing softmax gradients from saturating to near-zero.