Конечно, должна, и она синхронизируется. А как убирать неоднозначность в декодере? У меня возникает лишь два варианта: либо перебором, т. е. последовательно поворачивать восстановленную последовательность символов на pi/2, pi, 3*pi/2, 2*pi, и после декодирования смотреть, в каком случае наименьшее количество ошибок; либо ввести "служебный" символ в каждом фрейме, заранее известный приемной стороне, и по нему определять фазу неопределенности.
Последовательность и так передается - в кодированном и модулированном виде.