Adam Glos
Optimality of quantum strategy for CHSH game
We loose in the opposite scenario, hence minus
sum those two to get observable!
(Ax)2=(Π0−Π1)2=Π02+Π12−Π0Π1−Π1Π0=Π0+Π1−0−0=I
(A^x)^2 = (\Pi_0 -\Pi_1)^2 = \Pi_0^2 + \Pi_1^2 - \Pi_0 \Pi_1 -\Pi_1 \Pi_0
= \Pi_0 + \Pi_1 - 0 - 0 = I
(Bx)2=I
(B^x)^2 = I
(A0⊗B0)(A0⊗B1)=I⊗(B0B1)
(A^0 \otimes B^0) (A^0 \otimes B^1) = I \otimes (B^0B^1)
if both same - identity (x4)
(A1⊗B0)(−A1⊗B1)=−I⊗(B0B1)
(A^1 \otimes B^0) (-A^1 \otimes B^1) = -I \otimes (B^0B^1)
if one same - cancel out
The rest will form comutator -part
Infinity norm
∥A∥=max∣ψ⟩⟨ψ∣ATA∣ψ⟩
\|A\| = \max_{|\psi \rangle} \langle \psi | A^TA |\psi \rangle
∥I∥=max∣ψ⟩⟨ψ∣ITI∣ψ⟩=max∣ψ⟩⟨ψ∣ψ⟩=1
\|I\| = \max_{|\psi \rangle} \langle \psi | I^T I |\psi \rangle = \max_{|\psi \rangle} \langle \psi | \psi \rangle = 1
∥Π0−Π1∥=max∣ψ⟩⟨ψ∣(Π0−Π1)(Π0−Π1)∣ψ⟩
\|\Pi_0 -\Pi_1\| = \max_{|\psi \rangle} \langle \psi | ( \Pi_0 -\Pi_1)(\Pi_0 -\Pi_1) |\psi \rangle
=max∣ψ⟩⟨ψ∣Π0+Π1∣ψ⟩
= \max_{|\psi \rangle} \langle \psi | \Pi_0 + \Pi_1|\psi \rangle
≤max∣ψ⟩⟨ψ∣I∣ψ⟩=1
\leq \max_{|\psi \rangle} \langle \psi | I|\psi \rangle = 1
Infinity norm - Kronecker Product
∥A∥=max∣ψ⟩⟨ψ∣A∣ψ⟩
\|A\| = \max_{|\psi \rangle} \langle \psi | A |\psi \rangle
∥A⊗B∥=∥(A⊗I)(I⊗B)∥≤∥A⊗I∥∥I⊗B∥
\|A \otimes B\| = \|(A \otimes I)(I \otimes B ) \| \leq \|A \otimes I \| \|I \otimes B \|
∥A⊗I∥=∥A∥
\|A \otimes I\| = \|A\|
this is maximum squared eigenvalue
Eigenvalues of A⊗I are the same as A but multiplied
A⊗I=UDAU†⊗I=(U⊗I)(DA⊗I)(U†⊗I)
A\otimes I = UD_AU^\dagger \otimes I = (U\otimes I) (D_A\otimes I) (U^\dagger \otimes I)
1
2
3
4
1. definition
2. norm of sum
3. norm of identity is one and norm of kronecker product
∥I∥=1
\|I\| = 1
4.
∥[A0,A1]∥=∥A0A1−A1A0∥≤∥A0A1∥+∥A1A0∥≤2∥A0∥∥A1∥
\|[A^0,A^1]\| = \|A^0A^1 - A^1A^0\| \leq \|A^0A^1 \| + \| A^1A^0\| \leq 2\|A^0\| \|A^1 \|
∥A0∥=∥Π00−Π10∥≤1
\|A^0\| = \|\Pi_0^0 - \Pi_1^0\| \leq 1
∥A⊗B∥=∥A∥∥B∥
\|A\otimes B\| = \|A\|\|B\|
Adam Glos Optimality of quantum strategy for CHSH game