Unitary designs- constructions and applications -
Yoshifumi Nakata
The University of Tokyo
@ 8th Quantum Theory & Technology Un-Official Meeting
Self-introductionไธญ็ฐ่ณๅฒ
ๆฑไบฌๅคงๅญฆๅทฅๅญฆ็ณป ๅ ้ๅญ็งๅญฆ็ ็ฉถใปใณใฟใผ: ็นไปป็ ็ฉถๅก
็ตๆญด๏ผ 2006 - 2008: ๆฑไบฌๅคงๅญฆ ไฟฎๅฃซ่ชฒ็จ๏ผๆๅฐพ็ ๏ผ 2008 - 2010: ้ๅนดๆตทๅคๅๅ้ ใจใใชใใข 2008 - 2013: ๆฑไบฌๅคงๅญฆ ๅๅฃซ่ชฒ็จ๏ผๆๅฐพ็ ๏ผ 2013 - 2015: Leibniz University Hannover (Germany) 2015 - 2017: Autonomous University of Barcelona (Spain) 2017 - : ๆฑไบฌๅคงๅญฆ๏ผ็นไปป็ ็ฉถๅก๏ผ 2018 - : ไบฌ้ฝๅคงๅญฆๅบ็ ๏ผ็นๅฎๅฉๆ๏ผ
ๆ่ฟใฏใใฆใใฟใชใปใใถใคใณใใซ้ข้ฃใใ็ ็ฉถ
2/52
OutlineIntro. Random unitary in quantum information
1. Haar random unitary in QI
2. Unitary designs in QI
Part I. Constructing unitary designs
1. Unitary 2-designs
2. Unitary t-designs for general t
Part II. Applications of random unitary
1. Towards channel coding with symmetry-preserving unitary
3/34
Intro.Random unitary in quantum information science
Randomness meets Quantum World!!
4
A Haar random unitary
A Haar random untiary is the unique unitarily invariant probability measure H on the unitary group ๐(๐). Namely,
(A) ๐H(๐ ๐ ) = 1,
(B) for any ๐ โ ๐(๐) and any (Borel) set ๐ โ ๐ ๐ , H ๐๐ = H ๐๐ = H ๐ .
A distribution of the Haar measure
Unitary group ๐ฐ(๐)
5/34
Applications of a Haar random unitary
Haar random unitary is very useful in QIP and in fundamental physics.
In QIP
1. Q. communication [Hayden et.al. โ07]
2. Randomized benchmarking [Knill et.al. โ08]
3. Q. sensing [Oszmaniec et.al. โ16]
4. Q. comp. supremacy [Bouland et.al. โ18]
Quantum communication
Quantum computation
In fundamental physics
1. Disordered systems
2. Pre-thermalization [Reimann โ16]
3. Q. black holes [Hayden&Preskill โ07]
4. Q. chaos -OTOC- [Roberts&Yoshida โ16]
6/34
Quantum communication
โ Two people want to communicate in a quantum manner.
Haar random in Q. communication
Haar random unitary Fully Quantum Slepian-Wolf (FQSW)(aka Coherent State merging)
Mother protocol
Entanglement distillation
Noisy Quantum Teleportation
Noisy Superdense coding
Father protocol
Quantum capacity
Entanglement-assisted classical capacity
Quantum reverse Shannon theory
Quantum multiple access capacities
Quantum broadcast channels
Distributed compression
Family tree of information protocolsSee Haydenโs tutorial talk in QIP2011
7/34
Quantum communication
โ Two people want to communicate in a quantum manner.
Haar random unitary is a random encoder!!โ It is extremely inefficient (too random).
Fixed codeLDPC code, Stabilizer code, etcโฆ Less random code??
Google, IBM, and others already
have โrandomโ dynamics.
Why donโt we try to use it?
Need to think about
approximating Haar random!
Haar random in Q. communication
Unitary design8/34
Unitary designs as approximating Haar
Random coding by unitary design?
โ Nice applications of NISQ (Noisy-Intermediate-Scale-Quantum device).
โ Quantum pseudo-randomness in quantum computer
โ Nice insights to fundamental physics (chaos, blackholes, etcโฆ)
Unitary ๐ก-design is a set of unitaries that simulate up to the ๐ก-thorder properties of Haar random unitary.
A distribution of the Haar measure
Unitary group ๐ฐ(๐)
A distribution of a unitary design
Simulating ๐กth order properties
ๆ็ถๅฏ่ฝใช้ซๅบฆ้ๅญๆ่ก้็บใซๅใใ้ๅญ็ไผผใฉใณใใ ใในใฎ็บๅฑใจๅฟ็จ
9/34
Unitary design meetsQIP and fundamental physics
Haar random unitary
Fundamental physics
Quantum commun.
Quantum comp.
Rand. benchmarking
Quantum sensing
Quantum randomized algorithm
Disordered systems
Pre-thermalization
Quantum black holes
Quantum chaos
Quantum duality
Quantum information science
Unitary designsHow to use?
Applications
Approximation
How to construct?
10/34
Part 1.Constructing unitary designs
Generating quantum pseudo-randomness!
In collaboration with Hirche, Koashi, and Winter.
[1] YN, C. Hirche, C. Morgan, and A. Winter, JMP, 58, 052203 (2017).
[2] YN, C. Hirche, M. Koashi, and A. Winter, PRX, 7, 021006 (2017).11
A more precise definition:
Short History of constructing designs
Approximate unitary designAn ๐-approximate unitary ๐-design is a probability measure that
simulates up to the ๐th order statistical moments of the Haar measure
within an error ๐.
Indeed, the average over Haar measure is the minimum, which is
๐ก! if ๐ โฅ ๐ก.
Unitary t-design minimizes the frame potential of degree ๐ก.
12/34
Two approaches
1. Use a subgroup of the unitary group โClifford group
2. Use a โrandomโ quantum circuits
Short History of constructing designs
Approximate unitary designAn ๐-approximate unitary ๐-design is a probability measure that
simulates up to the ๐th order statistical moments of the Haar measure
within an error ๐.
Beautiful analyses are possible!!
Exact unitary designs!!
โ Quantum circuits??
โ Up to 2- (or 3-)designs.
Works for general ๐ก-design.
Quantum circuits are given.
โ Not exact designs.
โ Case-by-case analysesโฆ.
13/34
Short History of constructing designs
โRandomโ circuits construction
Approximate unitary designAn ๐-approximate unitary ๐-design is a probability measure that
simulates up to the ๐th order statistical moments of the Haar measure
within an error ๐.
HL09 BHH12 NHKW17
Quantum circuit
Q. Fourier Transformation
+ Toffoli-type gatesLocal random circuits
Hadamard gates
+ random diagonal gates
Methods Markov chainGap problem of
many-body HamiltonianCombinatorics
# of gates ๐(๐ก3๐3)[Brodsky & Hoory โ13]
๐(๐ก10๐2) ฮ(๐ก๐2)
Works for ๐ก = ๐(๐/ log๐) ๐ก = ๐(poly ๐ ) ๐ก = ๐( ๐)
BHH12Googleใซใใๅฎ้จ
(่ถ ไผๅฐqubit:โ49 qubits?)[S. Boixo, Nature Physics, 2018]
NHKW17ไธญๅฝใปใซใใใซใใๅฎ้จ
(NMR: 12 qubits)[J. Li, arXiv, 2018]
HM18# of gates
= ๐(poly(๐ก)๐1+1/๐ท) for any ๐ท < log๐.
14/34
The idea is to use random diagonal unitaries in ๐ and ๐ bases.
โ Each ๐ท๐๐ are independently chosen.
โ If โ โฅ ๐ก +1
๐log2 1/๐, this forms an ๐-approximate unitary ๐ก-design.
โ โ ๐ก๐2 gates are used in the construction
๐ทโ๐๐ท1
๐ ๐ทโ๐๐ท1
๐
Constructing designs by NHKW17
๐ทโ+1๐
๐ฝ ๐๐Unitary group
Random 2-qubit gates diagonal in the Z basis.# = ๐(๐ โ 1)/2
15/34
Short History of constructing designs
โRandomโ circuits construction
Approximate unitary designAn ๐-approximate unitary ๐-design is a probability measure that
simulates up to the ๐th order statistical moments of the Haar measure
within an error ๐.
HL09 BHH12 NHKW17
Quantum circuit
Q. Fourier Transformation
+ Toffoli-type gatesLocal random circuits
Hadamard gates
+ random diagonal gates
Methods Markov chainGap problem of
many-body HamiltonianCombinatorics
# of gates ๐(๐ก3๐3)[Brodsky & Hoory โ13]
๐(๐ก10๐2) ฮ(๐ก๐2)
Works for ๐ก = ๐(๐/ log๐) ๐ก = ๐(poly ๐ ) ๐ก = ๐( ๐)
HM18# of gates
= ๐(poly(๐ก)๐1+1/๐ท) for any ๐ท < log๐.
BHH12Googleใซใใๅฎ้จ
(่ถ ไผๅฐqubit:โ49 qubits?)[S. Boixo, Nature Physics, 2018]
NHKW17ไธญๅฝใปใซใใใซใใๅฎ้จ
(NMR: 12 qubits)[J. Li, arXiv, 2018]
16/34
17/34
Constructing designs by HM18Construction by BHH12
The idea is to apply random 2-qubit gates on nearest-neighbor qubits.
Mapped to a Hamiltonian gap problem.
After โ ๐ก10๐2 gates, it becomes an approximate unitary ๐ก-design.
โ The ๐ก-dependence may not be optimal.
Qubits
1-dimensional geometry.Time
๐ท-dimensional geometry.
HM18# of gates
= ๐(poly(๐ก)๐1+1/๐ท) for any ๐ท < log๐.
Constructing designs by HM18Qubits on 2-dim lattice
1. Apply random gates in one direction to make a design in each row.
โ โ ๐ก10( ๐)2 gates per each row [BHH12].
โ There exists ๐ rows.
2. Do the same in another direction.
3. Repeat 1 and 2, poly(๐ก) times.
This forms an approximate unitary t-design, where # of gates = ๐(poly(๐ก)๐3/2).
๐ qubits
๐q
ub
its
โ ๐ก10๐3/2 gates.
โ ๐ก10๐3/2 gates.
Note: can be generalized to any ๐ท โ โ
Is this method applicable to any constructions??
e.g.) NHKW17
18/34
Optimality of the constructionsHM18
# of gates = ๐(poly(๐ก)๐1+1/๐ท) for any ๐ท < log๐.
Is it possible to achieve this bound? If not, better bound?
19/34
20/34
Summary and open questionsabout constructing designs
Several constructions for approximate ๐ก-designs for general ๐ก.
โ Is the bound (โ ๐ก๐) achievable?
โ In design theory, a ๐ก-design has several โtypesโ.
What about exact ones?
โ In some applications, we need exact ones, e.g. RB.
โ For 2-designs, use Clifford circuits [CLLW2015].
โ For general ๐ก, how to construct exact ones?
Not all โtypesโ are needed in QIP.
Exact ones for any ๐ก [Okuda, and YN, in prep], but O(106) gates to make 4-designs on 2 qubitsโฆ
Part 2.Applications of unitary designs
Letโs use Quantum pseudo-randomness!
In collaboration with Wakakuwa, and Koashi.
[1] E. Wakakuwa, and YN, in preparation.
[2] YN, E. Wakakuwa, and M. Koashi, in preparation.
[3] E. Wakakuwa, YN, and M. Koashi, in preparation.
Applications of a Haar random unitary
Haar random unitary is very useful in QIP and in fundamental physics.
In QIP
1. Q. communication [Hayden et.al. โ07]
2. Randomized benchmarking [Knill et.al. โ08]
3. Q. sensing [Oszmaniec et.al. โ16]
4. Q. comp. supremacy [Bouland et.al. โ18]
Quantum communication
Quantum computation
In fundamental physics
1. Disordered systems
2. Pre-thermalization [Reimann โ16]
3. Q. black holes [Hayden&Preskill โ07]
4. Q. chaos -OTOC- [Roberts&Yoshida โ16]
Physical systems often have symmetries!QIP with symmetry restrictions??
Quantum Communication with symmetry-preserving coding
22/34
So far, Haar random unitaries on โ๐๐ = (โ2)โจ๐.
Physical systems often have a symmetry.
โ Rotational symmetry, U(1) symmetry, etcโฆ
โ Tensor product representation of a group G.
โ Irreducible decomposition:
Random unitary with a symmetry
multiplicity multiplicity
โ๐๐ = โจ (โ๐
๐๐โจโ๐๐๐)
๐ = 1
๐ฝ
โ๐๐ = โจ (โ๐
๐๐)โจ๐๐๐ = 1
๐ฝ
e.g.) Spin-spin coupling (spin-1/2 ร 3): โ = 4 โจ2โจ 2
4-dimensional irrep.
(dimโ1๐๐ = 4, dimโ1
๐๐ = 1) 2-dim. irreps with multiplicity 2.
(dimโ2๐๐ = 2, dimโ2
๐๐ = 2)
dim(โ๐๐ ) = ๐๐
23/34
Hilbert space invariant
under any action of G.
So far, Haar random unitaries on โ๐๐ = (โ2)โจ๐.
Physical systems often have a symmetry.
โ Rotational symmetry, U(1) symmetry, etcโฆ
โ Tensor product representation of a group G.
โ Irreducible decomposition:
โSymmetry-preservingโ random unitaries.
โ ๐ = โจ (๐ผ๐๐๐โจ๐๐
๐๐), where ๐๐๐๐ is the Haar on โ๐
๐๐.๐ = 1
๐ฝ
e.g.) Spin-spin coupling (spin-1/2 ร 3): โ = 4 โจ2โจ 2
{ ๐ = 1/2,๐ = 1/2 , ๐ = 1/2,๐ = โ1/2 }
{ ๐ = 1/2,๐ = 1/2 , ๐ = 1/2,๐ = โ1/2 }๐2๐๐
Hilbert space invariant
under any action of G.
Random unitary with a symmetry
โ๐๐ = โจ (โ๐
๐๐โจโ๐๐๐)
๐ = 1
๐ฝ
โ๐๐ = โจ (โ๐
๐๐)โจ๐๐๐ = 1
๐ฝ
24/34
Why symmetry-preserving R.U.?
๐ = โจ (๐ผ๐๐๐โจ๐๐
๐๐), where ๐๐๐๐ is the Haar on โ๐
๐๐.
Symmetry-preserving random unitary (a group G is given)
๐ = 1
๐ฝ
[1] E. Wakakuwa, and YN, in preparation.
Decoupling-type theoremOne of the most important theorems in QIP
โHybridโ communicationquantum and classical
[3] E. Wakakuwa, YN, and M. Koashi, on going.
Quantum Communicationwith symmetry restriction
[2] YN, E. Wakakuwa, and M. Koashi, in prep.
25/34
Quantum Communicationwith symmetry-preserving coding
Alice BobQuantum Channel
Limited to symmetry-preserving unitary encoding!
In general, full information cannot be reliably transmitted.
A group ๐บ is acting on the system ๐ด.
The โฐ๐ด should be in the form of ๐ = โจ (๐ผ๐๐๐โจ๐๐
๐๐).
What information can be transmitted reliably at what rate?
26/34
Quantum Communicationwith symmetry-preserving coding
What information can be transmitted reliably at what rate?
Hopeless to transmit(no encoding)
Maybe possible to transmit
Hopeless to transmit?(no encoding)
In general, cannotbe transmitted!
Reliably transmitted!
Classical info Is reliably transmitted!
Quantum infocannot!
27/34
Quantum Communicationwith symmetry-preserving coding
What information can be transmitted reliably at what rate?
Reliably transmitted!
Classical info Is reliably transmitted!
From the information of what random code ๐๐๐๐ is used in โ๐
๐๐ ,
Bob can guess ๐.(although ๐ is NOT transmitted through the channel)
28/34
Quantum Communicationwith symmetry-preserving coding
What information can be transmitted reliably at what rate?
Reliably transmitted!
Classical info Is reliably transmitted!
At what rate??
29/34
Quantum Communicationwith symmetry-preserving coding
Open problems:1. Converse (not easy even in the i.i.d. limit)?
โ Asymptotic limit of the entropy??
2. What happens if we consider symmetry-preserving operations, not only unitary?
3. How to implement symmetry-preserving unitary??
What information can be transmitted reliably at what rate?
30/34
Part 3.Summary
O-Shi-Ma-i
31
Unitary design meetsQIP and fundamental physics
Random unitary
Fundamental physics
Quantum commun.
Quantum comp.
Rand. benchmarking
Quantum sensing
Quantum randomized algorithm
Disordered systems
Pre-thermalization
Quantum black holes
Quantum chaos
Quantum duality
Quantum information science
Unitary designsHow to use?
Applications
Approximation
How to construct?
Still, many open problems. Optimal construction Exact construction โLessโ random construction etcโฆ
Open problems. Applications of ๐ก-design?
(๐ก โฅ 3) Decoder? Petz map?? Not Haar? etcโฆ
32/34
Possible future direction: symmetry
Symmetry-preserving Random unitary
Fundamental physics
Quantum commun.
Quantum comp.
Rand. benchmarking
Quantum sensing
Quantum randomized algorithm
Disordered systems
Pre-thermalization
Quantum chaos
Quantum duality
Quantum information science
Symmetry-preserving Unitary designs?
Applications
Approximation
SymmetricQuantum black holes
Symmetry-preservingQuantum commun.
33/34
Thank you