logo

사영과 주입 📂양자정보이론

사영과 주입

양자정보이론
[ 펼치기 · 접기 ]

정의1

nNn \in \mathbb{N}0in0 \le i \le n에 대해서, 다음과 같은 함수 pip_{i}

pi:{0,1}n+1{0,1}n(a0,,an)(a0,,ai1,ai+1,,an) \begin{align*} p_{i} : &\left\{ 0, 1 \right\}^{n+1} \to \left\{ 0, 1 \right\}^{n} \\ & (a_{0}, \dots, a_{n}) \mapsto (a_{0}, \dots, a_{i-1}, a_{i+1}, \dots, a_{n}) \end{align*}

사영projection이라 한다. 다음의 두 함수 ıi\imath_{i}, ȷi\jmath_{i}

ı:{0,1}n{0,1}n+1(a0,,an1)(a0,,ai1,0,ai+1,,an1) \begin{align*} \imath : &\left\{ 0, 1 \right\}^{n} \to \left\{ 0, 1 \right\}^{n+1} \\ & (a_{0}, \dots, a_{n-1}) \mapsto (a_{0}, \dots, a_{i-1}, 0, a_{i+1}, \dots, a_{n-1}) \end{align*}

ȷ:{0,1}n{0,1}n+1(a0,,an1)(a0,,ai1,1,ai+1,,an1) \begin{align*} \jmath : &\left\{ 0, 1 \right\}^{n} \to \left\{ 0, 1 \right\}^{n+1} \\ & (a_{0}, \dots, a_{n-1}) \mapsto (a_{0}, \dots, a_{i-1}, 1, a_{i+1}, \dots, a_{n-1}) \end{align*}

주입injection이라 한다.

설명

사영은 ii번째 진리값을 삭제하는 사상이고, 주입은 ii번째 진리값을 뒤로 밀어내고 그 자리에 00 혹은 11을 추가하는 사상이다. 이들은 각각 회로에서 전선을 버리거나 하여 실제로 구현할 수 있으므로, 증명이나 이론 전개 등에서 제약없이 쓸 수 있다고 가정한다.


  1. 김영훈·허재성, 양자 정보 이론 (2020), p91 ↩︎