Editor 

Please use the following editor for your exercise. You can run the content of the editor by clicking on the tab 'Run'...

def encode(ψ:𝔹) mfree { ψ := (dup(ψ), dup(ψ), ψ); return ψ; } def correct(ψ:𝔹^3) { p1 := measure(ψ[0] ⊕ ψ[1]); p2 := measure(ψ[0] ⊕ ψ[2]); if (p1 && p2) { ψ[0] := X(ψ[0]); } else if (p1) { ψ[1] := X(ψ[1]); } else if (p2) { ψ[2] := X(ψ[2]); } return ψ; } def bit_flip_code(ψ: 𝔹, channel: 𝔹^3 !→ 𝔹^3) { ψ := encode(ψ); ψ := channel(ψ); // Error might occur ψ := correct(ψ); ψ := reverse(encode)(ψ); return ψ; } def channel(ψ:𝔹^3) { ψ[0] := X(ψ[0]); //Bitflip return ψ; } def main() { ψ := 1:𝔹; φ := bit_flip_code(ψ, channel); forget(φ = 1); ψ := H(1:𝔹); φ := bit_flip_code(ψ, channel); return φ; }

Output of Editor Content

The result of running the editor content is as follows:

Output of the Solution

The output of the solution is as follows:

Solution