📂양자정보이론

사영과 주입

양자정보이론

[ 펼치기 · 접기 ] 양자계산 논리게이트 비트 · 부울함수(AND · OR · NOT · XOR · NAND · NOR · CNOT · CCNOT · CSWAP) · 범용 게이트 · 복제 함수 · 사영 · 주입 양자게이트 큐비트 · 양자 얽힘 · 양자 회로 · 양자 게이트(파울리 게이트 · 위상 게이트 · 아다마르 게이트 · 양자 CNOT · 교환 게이트 · 양자 CSWAP · 양자 CSWAP) · 솔베이-키타예프 정리 · 복제 불가 정리 정보이론 고전정보이론 정보량 · 엔트로피(결합 엔트로피 · 조건부 엔트로피 · 상대적 엔트로피 · 상호 정보 ) · 부호화 · 복호화 양자정보이론 TBD · TBD · TBD 관련 분야 선형대수 · 양자역학

정의¹

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

$$ \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이라 한다. 다음의 두 함수 $\imath_{i}$, $\jmath_{i}$

$$ \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*} $$

$$ \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이라 한다.

설명

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