[Solved] Quantum Homework 11

For a subgroup define

= 0 for all,

where a g is the dot product modulo 2 of g and g (regarded as Z2-vectors).

1. Let and. Define and .
   • Prove that A = A₀ A₁ and = A₀ A₁.
   • Suppose that a A₁. Prove that a + A₀ = A₁ and a + A₁ = A₀. Explain why this implies |A₀| = |A₁| if A₁ 6= .
   • Prove that

(

X a_g |A| if a g = 0 for all a A,

(1) =

0 otherwise.

aA

2. Using the previous question, prove the assertion on page 119 that

if and only if a = b D (the book uses E).

3. We say that a subgroup is maximal if

and

then.

Similarly, is minimal if

• {0} 6= A and
• if {0} X A then {0} = X or X = A.

Prove that A is maximal if and only if A is minimal (use this in your solution to 13.1).

4. In Simons algorithm, what would happen if instead of measuring the first block of qubits, we measured the second block of qubits? Calculate the density matrix and describe what distribution it represents.