The synopsis and the descriptions both say:

template <class T>
auto uses_allocator_construction_args(const Alloc& alloc) -> see below;

The template parameter list is wrong in both places, it needs to be:

template <class T, class Alloc>

Each of the constraints elements should use just pair not std::pair e.g.

Constraints: T is a specialization of std::pair.

The final change in the paper, to [allocator.adaptor.members], is missing the explicit template argument list on the call to uses_allocator_construction_args. It should be uses_allocator_construction_args<T>.

This is missing a feature-test macro.