Классические и квантовые вычисления

Какое из ниже перечисленных равенств является справедливым (с учетом тождества $b\equiv a^{2^j}\pmod q$ ):

(Отметьте один правильный вариант ответа.)

Варианты ответа

$\Lambda((U_a)^{2^j})=\Lambda(U_b)$ (Верный ответ)

$\Lambda((U_a)^{2j})=\Lambda(U_b)$

$\Lambda((U_a)^{j})=\Lambda(U_b)$

Похожие вопросы

Если имеется физически реализуемое преобразование $T\colon\LL(\calN)\to\LL(\calM)$ , причем для любого чистого состояния $\rho$ выполняется свойство: $Tr_{\calF}(T\rho)=\rho$ , то для любого оператора

справедливым является равенство ( $\gamma$ - некоторая фиксированная матрица плотности на пространстве $\calF$ ):

Если

- неотрицательные операторы, $\calL_1$ , $\calL_2$ - их нулевые подпространства, причем $\calL_1\cap \calL_2=0$ , ненулевые собственные числа A_1

не меньше

, где $\vt=\vt(\calL_1,\calL_2)$ - угол между $\calL_1$ и $\calL_2$ , то справедливым является равенство:

Утверждение "если

- простое и $n\nmid a$ , то $a^{n-1}\equiv1\pmod n$ " является:

Условие $a^{n-1}\not\equiv1\pmod n$ алгоритма проверки простоты числа, где

- случайное среди чисел от 1 до

Если

- множество троек вида $(\langle\text{описание k-локального гамильтониана } H\rangle, a, b)$ , где k=O(1)

, $0\leq a<b$ , $b-a=\Omega(n^{-\alpha})$ , ( a>0

), то для $z\in Z$ выполняются условия:

Выберите верные тождества, где $\calA$ - язык, $y_i\in\cb$ :

Если

- множество троек вида $\langle\text{описание квантовой схемы } W\rangle, p_0, p_1)$ описанием схемы - приближенная реализация в стандартном базисе, а $p_1-p_0=\Omega(n^{-\alpha})$ ( a>0

- размер описания схемы). Тогда для $z\in\Z F(z)=1$ выполняется:

Условием алгоритма проверки простоты числа

, определяющим что

- составное, где

- случайное среди чисел от 1 до

- нечетное, является:

Последовательность перестановок $U_1[A_1],\dots, U_l[A_l]$ , где A_j

- множества битов, $U_j\in\calA$ , $\calA$ - некоторое множество перестановок вида $G\colon\cb^k \to \cb^k$ является:

Что из перечисленного является характерным для тензорного произведения двух пространств

, в которых фиксированы базисы $\{e_1,\dots,e_l\}$ и $\{f_1,\dots,f_l\}$

Классические и квантовые вычисления

Какое из ниже перечисленных равенств является справедливым (с учетом тождества ):

Какое из ниже перечисленных равенств является справедливым (с учетом тождества $b\equiv a^{2^j}\pmod q$ ):