piyo7 · December 13, 2017 09:32
diff --git a/file0.txt b/file0.txt
 \newcommand{\ket}[1]{\left| #1 \right\rangle}
 \frac{1}{\sqrt{2}}\ket{00} + \frac{1}{\sqrt{2}}\ket{11}
diff --git a/file1.txt b/file1.txt
 \begin{align}
 \mathrm{X}\ket{0} &= \ket{1} \\
 \mathrm{X}\ket{1} &= \ket{0} \\
 \end{align}
diff --git a/file10.txt b/file10.txt
 CNOT (q1, q2)
diff --git a/file11.txt b/file11.txt
 \frac{1}{\sqrt{2}}(\mathrm{CNOT} \ket{00}) + \frac{1}{\sqrt{2}}(\mathrm{CNOT} \ket{10}) = \frac{1}{\sqrt{2}}\ket{00} + \frac{1}{\sqrt{2}}\ket{11}
diff --git a/file12.txt b/file12.txt
 operation() Teleport (Qubit msg, Qubit here, Qubit there) {
    Body {
        EPR (here, there)
        CNOT (msg, here)
        H (msg)

        let m_here = M (here)
        if (m_here == One) {
           X (there)
        }

        let m_msg = M (msg)
        if (m_msg == One) {
           Z (there)
        }
    }
 }
diff --git a/file13.txt b/file13.txt
 operation() Teleport (Qubit msg, Qubit here, Qubit there) {
diff --git a/file14.txt b/file14.txt
 EPR (here, there)
diff --git a/file15.txt b/file15.txt
 \begin{align}
 &a\ket{0}(\mathrm{EPR} \ket{00}) + b\ket{1}(\mathrm{EPR} \ket{00}) \\
 =\quad &\frac{a}{\sqrt{2}}\ket{000} + \frac{a}{\sqrt{2}}\ket{011} + \frac{b}{\sqrt{2}}\ket{100} + \frac{b}{\sqrt{2}}\ket{111}
 \end{align}
diff --git a/file16.txt b/file16.txt
 CNOT (msg, here)
diff --git a/file17.txt b/file17.txt
 \begin{align}
 &\frac{a}{\sqrt{2}}(\mathrm{CNOT} \ket{00})\ket{0} + \frac{a}{\sqrt{2}}(\mathrm{CNOT} \ket{01})\ket{1} \\
 &+ \frac{b}{\sqrt{2}}(\mathrm{CNOT} \ket{10})\ket{0} + \frac{b}{\sqrt{2}}(\mathrm{CNOT} \ket{11})\ket{1} \\
 =\quad &\frac{a}{\sqrt{2}}\ket{000} + \frac{a}{\sqrt{2}}\ket{011} + \frac{b}{\sqrt{2}}\ket{110} + \frac{b}{\sqrt{2}}\ket{101}
 \end{align}
diff --git a/file18.txt b/file18.txt
 H (msg)
diff --git a/file19.txt b/file19.txt
 \begin{align}
 &\frac{a}{\sqrt{2}}(\mathrm{H}\ket{0})\ket{00} + \frac{a}{\sqrt{2}}(\mathrm{H}\ket{0})\ket{11} \\
 &+ \frac{b}{\sqrt{2}}(\mathrm{H}\ket{1})\ket{10} + \frac{b}{\sqrt{2}}(\mathrm{H}\ket{1})\ket{01} \\
 =\quad &\frac{a}{2}\ket{000} + \frac{a}{2}\ket{100} + \frac{a}{2}\ket{011} + \frac{a}{2}\ket{111} \\
 &+ \frac{b}{2}\ket{010} - \frac{b}{2}\ket{110} + \frac{b}{2}\ket{001} - \frac{b}{2}\ket{101}
 \end{align}
diff --git a/file2.txt b/file2.txt
 \begin{align}
 \mathrm{Z}\ket{0} &= \ket{0} \\
 \mathrm{Z}\ket{1} &= -\ket{1} \\
 \end{align}
diff --git a/file20.txt b/file20.txt
 let m_here = M (here)
 if (m_here == One) {
    X (there)
 }
diff --git a/file21.txt b/file21.txt
 \begin{align}
 &\sqrt{2}(\frac{a}{2}\ket{000} + \frac{a}{2}\ket{100} + \frac{b}{2}\ket{001} - \frac{b}{2}\ket{101}) \\
 =\quad & \frac{a}{\sqrt{2}}\ket{000} + \frac{a}{\sqrt{2}}\ket{100} + \frac{b}{\sqrt{2}}\ket{001} - \frac{b}{\sqrt{2}}\ket{101}
 \end{align}
diff --git a/file22.txt b/file22.txt
 \begin{align}
 &\sqrt{2}(\frac{a}{2}\ket{01}(\mathrm{X} \ket{1}) + \frac{a}{2}\ket{11}(\mathrm{X} \ket{1}) + \frac{b}{2}\ket{01}(\mathrm{X} \ket{0}) - \frac{b}{2}\ket{11}(\mathrm{X} \ket{0})) \\
 =\quad &\frac{a}{\sqrt{2}}\ket{010} + \frac{a}{\sqrt{2}}\ket{110} + \frac{b}{\sqrt{2}}\ket{011} - \frac{b}{\sqrt{2}}\ket{111}
 \end{align}
diff --git a/file23.txt b/file23.txt
 let m_msg = M (msg)
 if (m_msg == One) {
    Z (there)
 }
diff --git a/file24.txt b/file24.txt
 \begin{align}
 &\sqrt{2}(\frac{a}{\sqrt{2}}\ket{000} + \frac{b}{\sqrt{2}}\ket{001}) \\
 =\quad &a\ket{000} + b\ket{001} \\
 =\quad &\ket{00}(a\ket{0} + b\ket{1})
 \end{align}
diff --git a/file25.txt b/file25.txt
 \begin{align}
 &\sqrt{2}(\frac{a}{\sqrt{2}}\ket{10}(\mathrm{Z} \ket{0}) - \frac{b}{\sqrt{2}}\ket{10}(\mathrm{Z} \ket{1})) \\
 =\quad &a\ket{100} + b\ket{101} \\
 =\quad &\ket{10}(a\ket{0} + b\ket{1})
 \end{align}
diff --git a/file26.txt b/file26.txt
 \begin{align}
 &\sqrt{2}(\frac{a}{\sqrt{2}}\ket{010} + \frac{b}{\sqrt{2}}\ket{011}) \\
 =\quad &a\ket{010} + b\ket{011} \\
 =\quad &\ket{01}(a\ket{0} + b\ket{1})
 \end{align}
diff --git a/file27.txt b/file27.txt
 \begin{align}
 &\sqrt{2}(\frac{a}{\sqrt{2}}\ket{11}(\mathrm{Z} \ket{0}) - \frac{b}{\sqrt{2}}\ket{11}(\mathrm{Z} \ket{1})) \\
 =\quad &a\ket{110} + b\ket{111} \\
 =\quad &\ket{11}(a\ket{0} + b\ket{1})
 \end{align}
diff --git a/file28.txt b/file28.txt
 operation (Result) TeleportTest (Result msg) {
    Body {
        mutable res = Zero
        using (qubits = Qubit[3]) {
            let msgQ = qubits[0]

            // Set msgQ to message state
            SetQubit (msg, msgQ)

            Teleport (msgQ, qubits[1], qubits[2])

            set res = M(qubits[2])
        }
        return res
    }
 }
diff --git a/file29.txt b/file29.txt
 operation (Result) TeleportTest (Result msg) {
diff --git a/file3.txt b/file3.txt
 \begin{align}
 \mathrm{H}\ket{0} &= \frac{1}{\sqrt{2}}\ket{0} + \frac{1}{\sqrt{2}}\ket{1} \\
 \mathrm{H}\ket{1} &= \frac{1}{\sqrt{2}}\ket{0} - \frac{1}{\sqrt{2}}\ket{1}
 \end{align}
diff --git a/file30.txt b/file30.txt
 using (qubits = Qubit[3]) {
diff --git a/file31.txt b/file31.txt
 let msgQ = qubits[0]
diff --git a/file32.txt b/file32.txt
 SetQubit (msg, msgQ)
 Teleport (msgQ, qubits[1], qubits[2])
 set res = M(qubits[2])
diff --git a/file33.txt b/file33.txt
 return res
diff --git a/file34.txt b/file34.txt
 OPENQASM 2.0;
 include "qelib1.inc";

 qreg q[3];
 creg c[1];

 h q[1];
 cx q[1],q[2];
 cx q[0],q[1];
 h q[0];
 measure q[1] -> c[0];
 if(c==1) x q[2];
 measure q[0] -> c[0];
 if(c==1) z q[2];
diff --git a/file4.txt b/file4.txt
 \begin{align}
 \mathrm{CNOT}\ket{00} &= \ket{00} \\
 \mathrm{CNOT}\ket{01} &= \ket{01} \\
 \mathrm{CNOT}\ket{10} &= \ket{11} \\
 \mathrm{CNOT}\ket{11} &= \ket{10}
 \end{align}
diff --git a/file5.txt b/file5.txt
 operation () EPR (Qubit q1, Qubit q2) {
    Body {
        H (q1)
        CNOT (q1, q2)
    }
 }
diff --git a/file6.txt b/file6.txt
 operation () EPR (Qubit q1, Qubit q2) {
diff --git a/file7.txt b/file7.txt
 \ket{00}
diff --git a/file8.txt b/file8.txt
 H (q1)
diff --git a/file9.txt b/file9.txt
 (\mathrm{H}\ket{0})\ket{0} = \frac{1}{\sqrt{2}}\ket{00} + \frac{1}{\sqrt{2}}\ket{10}
	\newcommand{\ket}[1]{\left\| #1 \right\rangle}
	\frac{1}{\sqrt{2}}\ket{00} + \frac{1}{\sqrt{2}}\ket{11}
	\begin{align}
	\mathrm{X}\ket{0} &= \ket{1} \\
	\mathrm{X}\ket{1} &= \ket{0} \\
	\end{align}
	operation() Teleport (Qubit msg, Qubit here, Qubit there) {
	Body {
	EPR (here, there)
	CNOT (msg, here)
	H (msg)

	let m_here = M (here)
	if (m_here == One) {
	X (there)
	}

	let m_msg = M (msg)
	if (m_msg == One) {
	Z (there)
	}
	}
	}
	\begin{align}
	&a\ket{0}(\mathrm{EPR} \ket{00}) + b\ket{1}(\mathrm{EPR} \ket{00}) \\
	=\quad &\frac{a}{\sqrt{2}}\ket{000} + \frac{a}{\sqrt{2}}\ket{011} + \frac{b}{\sqrt{2}}\ket{100} + \frac{b}{\sqrt{2}}\ket{111}
	\end{align}
	\begin{align}
	&\frac{a}{\sqrt{2}}(\mathrm{CNOT} \ket{00})\ket{0} + \frac{a}{\sqrt{2}}(\mathrm{CNOT} \ket{01})\ket{1} \\
	&+ \frac{b}{\sqrt{2}}(\mathrm{CNOT} \ket{10})\ket{0} + \frac{b}{\sqrt{2}}(\mathrm{CNOT} \ket{11})\ket{1} \\
	=\quad &\frac{a}{\sqrt{2}}\ket{000} + \frac{a}{\sqrt{2}}\ket{011} + \frac{b}{\sqrt{2}}\ket{110} + \frac{b}{\sqrt{2}}\ket{101}
	\end{align}
	\begin{align}
	&\frac{a}{\sqrt{2}}(\mathrm{H}\ket{0})\ket{00} + \frac{a}{\sqrt{2}}(\mathrm{H}\ket{0})\ket{11} \\
	&+ \frac{b}{\sqrt{2}}(\mathrm{H}\ket{1})\ket{10} + \frac{b}{\sqrt{2}}(\mathrm{H}\ket{1})\ket{01} \\
	=\quad &\frac{a}{2}\ket{000} + \frac{a}{2}\ket{100} + \frac{a}{2}\ket{011} + \frac{a}{2}\ket{111} \\
	&+ \frac{b}{2}\ket{010} - \frac{b}{2}\ket{110} + \frac{b}{2}\ket{001} - \frac{b}{2}\ket{101}
	\end{align}
	\begin{align}
	\mathrm{Z}\ket{0} &= \ket{0} \\
	\mathrm{Z}\ket{1} &= -\ket{1} \\
	\end{align}
	\begin{align}
	&\sqrt{2}(\frac{a}{2}\ket{000} + \frac{a}{2}\ket{100} + \frac{b}{2}\ket{001} - \frac{b}{2}\ket{101}) \\
	=\quad & \frac{a}{\sqrt{2}}\ket{000} + \frac{a}{\sqrt{2}}\ket{100} + \frac{b}{\sqrt{2}}\ket{001} - \frac{b}{\sqrt{2}}\ket{101}
	\end{align}
	\begin{align}
	&\sqrt{2}(\frac{a}{2}\ket{01}(\mathrm{X} \ket{1}) + \frac{a}{2}\ket{11}(\mathrm{X} \ket{1}) + \frac{b}{2}\ket{01}(\mathrm{X} \ket{0}) - \frac{b}{2}\ket{11}(\mathrm{X} \ket{0})) \\
	=\quad &\frac{a}{\sqrt{2}}\ket{010} + \frac{a}{\sqrt{2}}\ket{110} + \frac{b}{\sqrt{2}}\ket{011} - \frac{b}{\sqrt{2}}\ket{111}
	\end{align}
	\begin{align}
	&\sqrt{2}(\frac{a}{\sqrt{2}}\ket{000} + \frac{b}{\sqrt{2}}\ket{001}) \\
	=\quad &a\ket{000} + b\ket{001} \\
	=\quad &\ket{00}(a\ket{0} + b\ket{1})
	\end{align}