Arch Linux would be in trouble for using the Linux name if they didn't license the trademark.

But they do!

Have you looked at https://archlinux.org/ ?

Scroll to the bottom of the page, you will see:

> The registered trademark Linux® is used pursuant to a sublicense from LMI, the exclusive licensee of Linus Torvalds, owner of the mark on a world-wide basis.