База ответов ИНТУИТ

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

<<- Назад к вопросам

Верно ли, что если применить измеряющий оператор к состоянию  \ket0\bra0\otimes\rho , где  \rho\double\in\LL(\calN) , то вероятность наблюдения состояния  k можно записать в виде:\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)?

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

Варианты ответа
да, верно
нет, не верно(Верный ответ)
Похожие вопросы
Если применить измеряющий оператор к состоянию  \ket0\bra0\otimes\rho , где  \rho\double\in\LL(\calN) , то вероятность наблюдения состояния  k можно записать в виде:
Как называется следующая формула: \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)?
Как называется оператор вида W=\sum\limits_{j}^{} \Pi_{\calL_j}\otimes U_j, если в пространстве состояний \calN\otimes\calK, причем первый сомножитель разложен в прямую сумму попарно ортогональных подпространств: \calN\double=\bigoplus\limits_j \calL_j?
Если есть пространство состояний \calN\otimes\calK, причем первый сомножитель разложен в прямую сумму попарно ортогональных подпространств: \calN\double=\bigoplus\limits_j \calL_j, тогда всякий оператор вида W=\sum\limits_{j}^{} \Pi_{\calL_j}\otimes U_j будет называться:
Какому классу принадлежит функция F\colon \cb^n\to \{0,\,1,\,\}, если существует однородная последовательность квантовых схем полиномиального по n размера, реализующих такие операторы 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.
Какому условию должно удовлетворять p_1 в неравенстве 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
Какому условию должно удовлетворять \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
Если есть пространство состояний \calN\otimes\calK, причем первый сомножитель разложен в прямую сумму попарно ортогональных подпространств: \calN\double=\bigoplus\limits_j \calL_j, тогда измеряющим будет называться всяки оператор вида:
Если на пространстве \calN=\calN_1\otimes\calN_2 задана матрица плотности вида \rho_1\otimes\rho_2 и имеется два подпространства \calM_1\subseteq \calN_1, \calM_2\subseteq \calN_2, то справедливо равентство:
Почему  U в операторе \Lambda(U)=\Pi_0\otimes I + \Pi_1\otimes U можно разложить в сумму проекторов на собственные подпространства следующим образом:  U=\sum_{j} \lambda_j\Pi_{\calL_j} , |\lambda_j|=1?