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

Какому условию должно удовлетворять в неравенстве $F_n(x)=1 & \Longrightarrow & \exists\, \ket\xi\: \PP\Bigl(U_n\ket\xi\otimes\ket{x}\otimes\ket{0^{N_n-n-m_n}},\calM\Bigr) \geq p_1,\\ F_n(x)=0 & \Longrightarrow & \forall\, \ket\xi\: \PP\Bigl(U_n\ket\xi\otimes\ket{x}\otimes\ket{0^{N_n-n-m_n}},\calM\Bigr) \leq p_0$ , если $F\in\BQNP$

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

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

$p_1=\eps^2$

$p_1=\eps$

$p_1=1-\eps$ (Верный ответ)

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

Какому условию должно удовлетворять $\eps$ в неравенстве $F_n(x)=1 & \Longrightarrow & \exists\, \ket\xi\: \PP\Bigl(U_n\ket\xi\otimes\ket{x}\otimes\ket{0^{N_n-n-m_n}},\calM\Bigr) \geq p_1,\\ F_n(x)=0 & \Longrightarrow & \forall\, \ket\xi\: \PP\Bigl(U_n\ket\xi\otimes\ket{x}\otimes\ket{0^{N_n-n-m_n}},\calM\Bigr) \leq p_0$ , если $F\in\BQNP$

Какому классу принадлежит функция $F\colon \cb^n\to \{0,\,1,\,\}$ , если существует однородная последовательность квантовых схем полиномиального по

размера, реализующих такие операторы $U_n\colon \BB^{\otimes N_n}\to \BB^{\otimes N_n}$ , что $F_n(x)=1 & \Longrightarrow & \exists\, \ket\xi\: \PP\Bigl(U_n\ket\xi\otimes\ket{x}\otimes\ket{0^{N_n-n-m_n}},\calM\Bigr) \geq p_1,\\ F_n(x)=0 & \Longrightarrow & \forall\, \ket\xi\: \PP\Bigl(U_n\ket\xi\otimes\ket{x}\otimes\ket{0^{N_n-n-m_n}},\calM\Bigr) \leq p_0.$

Верно ли, что если применить измеряющий оператор к состоянию $\ket0\bra0\otimes\rho$ , где $\rho\double\in\LL(\calN)$ , то вероятность наблюдения состояния

можно записать в виде: $\PP\Bigl(W(\ket0\bra0\otimes\rho)W^\dagger,\,\CC(\ket{k})\otimes\calN\Bigr) \,=\, \prod\limits_{j} \PP(k\big| j) \PP(\rho, \calL_j)$ ?

Как называется следующая формула: $\PP\Bigl(W(\ket0\bra0\otimes\rho)W^\dagger,\,\CC(\ket{k})\otimes\calN\Bigr) \,=\, \sum\limits_{j} \PP(k\big| j) \PP(\rho, \calL_j)$ ?

Каким условиям должны удовлетворять операторы $U_n\colon \BB^{\otimes N_n}\to \BB^{\otimes N_n}$ , реализуемые однородной последовательностью квантовых схем полиномиального по

размера, чтобы функция $F\colon \cb^n\to \{0,\,1,\,\}$ принадлежала классу BQNP:

В случае изометрического вложение $V\colon \BB^{\otimes n} \double\to \BB^{\otimes N}$ в пространство большей размерности, задаваемое формулой $\ket\xi\stackrel{\scriptscriptstyle V}{\mapsto} \ket\xi\otimes\ket{0^{N-n}}$ , матрица плотности $\rho$ преобразуется:

Почему

в операторе $\Lambda(U)=\Pi_0\otimes I + \Pi_1\otimes U$ можно разложить в сумму проекторов на собственные подпространства следующим образом: $U=\sum_{j} \lambda_j\Pi_{\calL_j}$ , $|\lambda_j|=1$ ?

Можно ли в операторе $\Lambda(U)=\Pi_0\otimes I + \Pi_1\otimes U$ разложить

в сумму проекторов на собственные подпространства следующим образом: $U=\sum_{j} \lambda_j\Pi_{\calL_j}$ , $|\lambda_j|=1$ ?

Если на пространстве $\calN=\calN_1\otimes\calN_2$ задана матрица плотности вида $\rho_1\otimes\rho_2$ и имеется два подпространства $\calM_1\subseteq \calN_1$ , $\calM_2\subseteq \calN_2$ , то справедливо равентство:

Чему равна суммарная длина (F(x),z)

и $(x,O^{N-n})$ в формуле $\sum_{z}^{} \bigl| \langle F(x),z|\,U\,|x,0^{N-n}\rangle\bigr|^2 \geq \varepsilon$ , которой должна удовлетворять квантовая схема $U=U_L\cdot\ldots\cdot U_2U_1$ , вычисляющая

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

Какому условию должно удовлетворять в неравенстве , если