พิสูจน์ความไม่เท่าเทียมกันของข้อมูล Holevo

สมมติว่าฉันมีช่องทางคลาสสิก - คลาสสิก - ควอนตัมที่เป็นชุด จำกัด และเป็นชุดของการฝึกอบรมมีความหนาแน่นในมิติพื้นที่ Hilbert จำกัด ที่ซับซ้อน{H} $W : \mathcal{X}\times\mathcal{Y} \rightarrow \mathcal{D}(\mathcal{H})$ $\mathcal{X},\mathcal{Y}$ $\mathcal{D}(\mathcal{H})$ $\mathcal{H}$

สมมติว่าคือการกระจายเครื่องแบบและเป็นเครื่องแบบกระจายใน{Y} เพิ่มเติมกำหนดสำหรับการแจกแจงในและใน , ข้อมูล Holevo $p_x$ $\mathcal{X}$ $p_y$ $\mathcal{Y}$ $p_1$ $\mathcal{X}$ $p_2$ $\mathcal{Y}$

χ (p_{1}, p_{2}, W) := H (\sum_{x, y} p_{1} (x) p_{2} (y) W (x, y)) - \sum_{x, y} p_{1} (x) p_{2} (y) H (W (x, y))

$\chi(p_1, p_2, W) := H\left(\sum_{x,y}p_1(x)p_2(y)W(x,y)\right) - \sum_{x,y}p_1(x)p_2(y)H(W(x,y))$

ซึ่งคือเอนโทรปีของฟอนนอยมันน์ $H$

ฉันต้องการแสดงให้เห็นว่าสำหรับ นั่น,

p_{1} := sup_{p} {χ (p, p_{y}, W)}, p_{2} := sup_{p} {χ (p_{x}, p, W)}

$p_1 := \sup_{p}\left\{ \chi(p, p_y, W)\right\}, p_2 := \sup_{p}\left\{ \chi(p_x, p, W)\right\}$

χ (p_{1}, p_{2}, W) \geq χ (p_{1}, p_{y}, W) and χ (p_{1}, p_{2}, W) \geq χ (p_{x}, p_{2}, W) .

$\chi(p_1, p_2, W) \geq \chi(p_1, p_y, W) \text{ and } \chi(p_1, p_2, W)\geq \chi(p_x, p_2, W).$

จนถึงตอนนี้ฉันยังไม่มั่นใจว่าข้อความนั้นเป็นจริงตั้งแต่แรก ฉันไม่ได้พิสูจน์ความคืบหน้ามากนัก แต่ดูเหมือนว่าความไม่เท่าเทียมของรูปสามเหลี่ยมบางอย่างสามารถยืนยันการอ้างสิทธิ์ได้

ขอขอบคุณสำหรับข้อเสนอแนะใด ๆ เกี่ยวกับว่าข้อความควรจะมีขึ้นหรือไม่และคำแนะนำในการพิสูจน์

quantum-information entropy

— สตีเฟ่น Diadamo
แหล่งที่มา

ตามคำแนะนำฉันตั้งใจจะใช้ argmax ไม่ใช่สุพรีม

— Stephen Diadamo

ปรากฏว่าคำสั่งไม่เป็นความจริงโดยทั่วไป สมมติว่า ,คือช่องว่างของฮิลแบร์ตที่สอดคล้องกับควิบิตเดียวและถูกกำหนดเป็น ถ้าคือการกระจายแบบสม่ำเสมอตัวเลือกที่ดีที่สุดสำหรับคือและซึ่งให้ซึ่งเป็นค่าสูงสุด ค่าที่เป็นไปได้ (ฉันถือว่าคุณหมายถึงกำหนด $X = Y = \{0,1\}$ $\mathcal{H}$ $W$

\begin{aligned} W (0, 0) & = | 0 ⟩ ⟨ 0 |, \\ W (0, 1) & = | 1 ⟩ ⟨ 1 |, \\ W (1, 0) & = | 1 ⟩ ⟨ 1 |, \\ W (1, 1) & = \frac{1}{2} | 0 ⟩ ⟨ 0 | + \frac{1}{2} | 1 ⟩ ⟨ 1 | . \end{aligned}

$\begin{align} W(0,0) & = | 0 \rangle \langle 0 |,\\ W(0,1) & = | 1 \rangle \langle 1 |,\\ W(1,0) & = | 1 \rangle \langle 1 |,\\ W(1,1) & = \frac{1}{2} | 0 \rangle \langle 0 | + \frac{1}{2} | 1 \rangle \langle 1 |. \end{align}$

p_{y}

$p_y$

p_{1}

$p_1$

p_{1} (0) = 1

$p_1(0) = 1$

p_{1} (1) = 0

$p_1(1) = 0$

χ (p_{1}, p_{y}, W) = 1

$\chi(p_1,p_y,W) = 1$

p_{1}

$p_1$ และเป็น argmax ของการแสดงออกเหล่านั้นไม่ supremum ได้.) ในทำนองเดียวกันถ้าเป็นชุดและเป็นที่เหมาะสมและความคุ้มค่าที่ได้คือเดียวกัน อย่างไรก็ตามดังนั้นความไม่เท่าเทียมจึงไม่เกิดขึ้น

p_{2}

$p_2$

p_{x}

$p_x$

p_{2} (0) = 1

$p_2(0) = 1$

p_{2} (1) = 0

$p_2(1) = 0$

χ (p_{1}, p_{2}, W) = 0

$\chi(p_1,p_2,W) = 0$

— John Watrous
แหล่งที่มา