Фазовое условие для алгоритма Гровера

В рамках алгоритма Гровера выведена точная формула для нормы амплитуды в отмеченном состоянии в виде функции синуса. С помощью этой формулы выведено необходимое и достаточное фазовое условие $\sin\Delta\leq|\beta|$ для алгоритма Гровера с произвольными фазовыми вращениями. Показано, что условие совпадающих углов поворота, представляющее собой частный случай общего условия, есть достаточное, но не необходимое фазовое условие.