Download presentation
Presentation is loading. Please wait.
1
Decoupling with random diagonal-unitaries
Yoshifumi Nakata Universitat Autonoma de Barcelona & The University of Tokyo arXiv: & arXiv: Joint work with C. Hirche, C. Morgan, and A. Winter 2 September 2016 Asian Quantum Information Processing
2
Outline Introduction Decoupling
Haar random unitaries and unitary t-designs Decoupling with random diagonal-unitaries (RDU) Basic idea Decoupling with RDUs Efficient implementations of RDUs By quantum circuits By Hamiltonian dynamics Conclusion and open questions
3
What is Decoupling? Alice Bob Reference
π π΄ qubits CPTP map Reference Choose a good unitary π’ π΄ such that where π π΅ = tr π΄ π π΄π΅ and π π
= tr π΄ π π΄π
. Choi-Jamiolkowski state of the CPTP map.
4
When and How can we achieve decoupling?
What is Decoupling? Alice Bob π π΄ qubits CPTP map Reference When and How can we achieve decoupling? Decoupling is NOT always possible: E.g. π π΄π
is entangled, the CPTP map is an identity map.
5
Why do we care? Alice Bob Reference CPTP map
π π΄ qubits CPTP map Reference When and How can we achieve decoupling? Decoupling provides a free decoder in Q. capacity theorems. plays key roles in fundamental physics: Black hole information science & Thermalisation phenomena Microscopic dynamics of decoupling is NOT fully understood. One of the questions in this talk.
6
What is Decoupling? Alice Bob Reference CPTP map
π π΄ qubits CPTP map Reference When and How can we achieve decoupling? How? Choose u A to be a Haar random unitary. When? A unitary drawn uniformly at random w.r.t. the Haar measure.
7
A πΉ-approximate unitary 2-design!
What is Decoupling? A πΏ-approximate unitary 2-design Alice Bob π π΄ qubits CPTP map Reference When and How can we achieve decoupling? How? Choose u A to be a Haar random unitary. When? When the decoupling rate is small. A πΉ-approximate unitary 2-design! A random unitary that simulates the 2nd order statistical moments (e.g. Variance) of a Haar random unitary within an error πΉ. [Duplis et.al β09]
8
Decoupling Theorem For a πΏ-approximate unitary 2-design π’ π΄
Decoupling with approximate designs [Szehr et.al β11] For a πΏ-approximate unitary 2-design π’ π΄ where and π π΄ = 2 π π΄ . If πΏβ€1/ π π΄ 4 , decoupling is achieved at the rate of Ξ Haar . Natural questions: Is this result tight? Do we really need πΉ=π/ π
π¨ π to achieve decoupling? (Larger πΏ is easier to implement.)
9
Questions in this talk Questions
Can we achieve decoupling by Ξ΄-approximate 2-designs where πΉβ₯π/ π
π¨ π ? Physically natural realisation of decoupling? In this talk We provide a new construction of decoupling, based on random diagonal-unitaries. We show that πΏβ€1/ π π΄ 4 is NOT necessary. decoupling can be realised by periodically changing spin-glass-type Hamiltonians.
10
Outline Introduction Decoupling
Haar random unitaries and unitary t-designs Decoupling with random diagonal-unitaries (RDU) Basic idea Decoupling with RDUs Efficient implementations of RDUs By quantum circuits By Hamiltonian dynamics Conclusion and open questions
11
Basic idea π· π = diag π π π π 1 , π π π 2 ,β¦β¦β¦, π π π π
To use random unitaries diagonal in the Z- and X-basis All of ΞΈ k and Ο k are randomly and independently chosen from [0, 2Ο). Repeat π« π and π« πΏ many times: Each π π’ π and π π’ π are independent and random. π· π = diag π π π π 1 , π π π 2 ,β¦β¦β¦, π π π π π· π = diag π π π π 1 , π π π 2 ,β¦β¦β¦, π π π π CPTP map
12
Every time, π« π and π« πΏ are chosen independently at random.
Basic idea Why do we expect it works? The π· β is a unitary t-design, if ββ₯πΆ(π) (in preparation). π π½ π U(d) Every time, π« π and π« πΏ are chosen independently at random.
13
Decoupling with π·[β] CPTP map
π π΄ qubits CPTP map Decoupling Theorem [YN, CH, CM, and AW: arXiv: ] For π·[β], the following holds: β=π is sufficient to achieve decoupling.
![Decoupling with π·[β] CPTP map](http://slideplayer.com./slide/15400116/93/images/13/Decoupling+with+%F0%9D%90%B7%5B%E2%84%93%5D+CPTP+map.jpg "π π΄ qubits. CPTP map. Decoupling Theorem [YN, CH, CM, and AW: arXiv: ] For π·[β], the following holds: β=π is sufficient to achieve decoupling.")
14
Decoupling with π·[β] π π΄ qubits Decoupling Theoremβ [YN, CH, CM, and AW: arXiv: ] When the CPTP map is the partial trace, for ββ₯π, β=π is sufficient to achieve decoupling. In the most important cases of the partial traces, β=π suffices.
![Decoupling with π·[β] π π΄ qubits. Decoupling Theoremβ [YN, CH, CM, and AW: arXiv: ] When the CPTP map is the partial trace, for ββ₯π,](http://slideplayer.com./slide/15400116/93/images/14/Decoupling+with+%F0%9D%90%B7%5B%E2%84%93%5D+%F0%9D%91%81+%F0%9D%90%B4+qubits.+Decoupling+Theorem%E2%80%99+%5BYN%2C+CH%2C+CM%2C+and+AW%3A+arXiv%3A+%5D+When+the+CPTP+map+is+the+partial+trace%2C+for+%E2%84%93%E2%89%A5%F0%9D%9F%90%2C.jpg "β=π is sufficient to achieve decoupling. In the most important cases of the partial traces, β=π suffices.")
15
Proof Sketch Alice Reference Γlice Reference CPTP map M.E.S
π π΄ qubits M.E.S CPTP map Reference Γlice Reference An upper bound of ? Itβs obtained from the operator In terms of , Use the key lemma for (arXiv: ). Still complicated, but durable ο
16
Decoupling and 2-designs
Decoupling Theorem [YN, CH, CM, and AW: arXiv: ] The π· β for ββ₯π (ββ₯π) achieves decoupling at the rate of O(Ξ Haar ) for any CPTP (partial traces) map. How good approximate 2-designs are they? the π·[3] is πΆ(π/ π
π¨ π )β²πΉβ²πΆ(π/ π
π¨ ). the π·[2] is πΆ(π/ π
π¨ π )β²πΉβ²πΆ(π). Theorem [YN, CH, CM, and AW, arXiv: ] The π·[β] on π΅ qubits is a πΏ-approximate unitary 2-design, where 1/ 2 βπ β€πΏβ€2/ 2 (ββ2)π . An π(1/ π π΄ 4 )-app. 2-design is NOT necessary for decoupling.
17
Are these results optimal?
CPTP map Decoupling! Converse statement (weak) Conjecture: ββ₯π (ββ₯π) suffices for any CPTP (partial traces) map. CPTP map Decoupling!
18
Outline Introduction Decoupling
Haar random unitaries and unitary t-designs Decoupling with random diagonal-unitaries (RDU) Basic idea Decoupling with RDUs Efficient implementations of RDUs By quantum circuits By Hamiltonian dynamics Conclusion and open questions
19
Implementation of π· π π· π = diag π π π π 1 , π π π 2 ,β¦β¦β¦, π π π π
Both π· π and π· π use exponentially many random numbers. π=2 π in N-qubit systems. No way to implement efficiently... A way of approximating lower order properties of π· π is known [YN, Koashi, Murao β14].
20
Quantum circuits π· π π«[β]= Γπβ dia g π§ (1, 1,1, π π π πβ )
Up to the 2nd order π πβ1 π π π 12 π 13 π 1,πβ1 π 1π π 1 π 2 π 3 π 23 π πβ1,π π» Γπβ Up to the 2nd order π«[β]= dia g π 1, π ππ π ( π π β{0, 2π 3 , 4π 3 }) dia g π§ (1, 1,1, π π π πβ ) ( π πβ β{0,π}). All gates in the π· π part are commuting. can be applied simultaneously = Short implementation.
![Quantum circuits π· π π«[β]= Γπβ dia g π§ (1, 1,1, π π π πβ )](http://slideplayer.com./slide/15400116/93/images/20/Quantum+circuits+%F0%9D%90%B7+%F0%9D%91%8D+%F0%9D%91%AB%5B%E2%84%93%5D%3D+%C3%97%F0%9D%9F%90%E2%84%93+dia+g+%F0%9D%91%A7+%281%2C+1%2C1%2C+%F0%9D%91%92+%F0%9D%91%96+%F0%9D%9C%83+%F0%9D%91%98%E2%84%93+%29.jpg "Up to the 2nd order. π πβ1. π π. π 12. π 13. π 1,πβ1. π 1π. π 1. π 2. π 3. π 23. π πβ1,π. π». Γπβ. Up to the. 2nd order. π«[β]= dia g π 1, π ππ π. ( π π β{0, 2π 3 , 4π 3 }) dia g π§ (1, 1,1, π π π πβ ) ( π πβ β{0,π}). All gates in the π· π part are commuting. can be applied simultaneously = Short implementation.")
21
Hamiltonian dynamics Time Decoupled!! Hamiltonian
π π
ππ
ππ
4π
5π
6π
7π
Time Decoupled!! Decoupling by spin-glass type Hamiltonians. The time necessary to achieve decoupling is independent of the number of particles. All-to-all interactions are maybe feasible in cavity QED or in semiquantal spin gasses.
22
Conclusion We have presented a new construction of decoupling based on random X- and Z-diagonal unitaries. We have shown that β=π (β=π) suffices to achieve decoupling for any CPTP (partial traces) map, implying precise designs are not needed. Decoupling can be achieved by simple quantum circuits. Decoupling can be realised by periodically changing spin- glass-type Hamiltonians. CPTP map
23
Thank you for your attention!
Open questions Are 2-designs really needed to achieve decoupling at the rate of Ξ Haar ? Many believe NO. Nobody knows how to show that. 1-designs cannot, what is 1.5-designs? In decoupling with π· β , how many repetitions are needed? Conjecture: ββ₯π suffices for any CPTP map. Is it possible to achieve decoupling by time-independent Hamiltonians? In closed systems, Hamiltonians should be time-indepβ¦ Thank you for your attention!
Similar presentations
