20090303masahito/workshop/presentation/imai.pdf · title: 20090303.ppt author:...
TRANSCRIPT
![Page 1: 20090303masahito/workshop/presentation/Imai.pdf · Title: 20090303.ppt Author: ��N�N� [� Created Date: 3/19/2009 3:30:32 PM](https://reader033.vdocuments.pub/reader033/viewer/2022060605/605a7add639beb6165348e7a/html5/thumbnails/1.jpg)
今井寛 浩
林正人
![Page 2: 20090303masahito/workshop/presentation/Imai.pdf · Title: 20090303.ppt Author: ��N�N� [� Created Date: 3/19/2009 3:30:32 PM](https://reader033.vdocuments.pub/reader033/viewer/2022060605/605a7add639beb6165348e7a/html5/thumbnails/2.jpg)
Outline
Estimation of Unknown Unitary Operation (preliminary)
Phase Estimation Problem (main problem)
Limiting Distribution of Phase Estimation (main result)
Results about Different Criteria (coloraries)
- Minimize Variance - Minimize Tail Prob. for Fixed Interval - Interval Estimation
![Page 3: 20090303masahito/workshop/presentation/Imai.pdf · Title: 20090303.ppt Author: ��N�N� [� Created Date: 3/19/2009 3:30:32 PM](https://reader033.vdocuments.pub/reader033/viewer/2022060605/605a7add639beb6165348e7a/html5/thumbnails/3.jpg)
Parameter Es/ma/on of An Unknown Unitary
|ψθ>
unknown parameter to be es/mated
M(dξ)
POVM takes values on θ‐paremeter space
ξ
es/ma/on value of θ
We discuss the op/mal |ψ'> and the variance or tail probability of PθM'
M’(dξ) ξ
|ψ> Vθ
Vθ
Vθ
|ψ'> |ψ'θ>
![Page 4: 20090303masahito/workshop/presentation/Imai.pdf · Title: 20090303.ppt Author: ��N�N� [� Created Date: 3/19/2009 3:30:32 PM](https://reader033.vdocuments.pub/reader033/viewer/2022060605/605a7add639beb6165348e7a/html5/thumbnails/4.jpg)
Asympto/c Behavior
Variance Limi/ng Distribu/on
Classical
Pθ×n With O(n‐1)
→ Jθ‐1 → N(μ, Jθ‐1)
Quantum
ρθ⊗n
With O(n‐1)
→ JSθ‐1 → N(μ, JSθ‐1)
Phase es/ma/on
Vθ⊗n|ψ'>
With O(n‐2) → JSθ‐1
→ ?
under the parameter transla/on y=n1/2(ξ‐θ)
We can treat uniformly the op/miza/on under different criteria
Why Limi/ng Distribu/on?
singularity of variance, appl. to quantum comp., exp. realizability
Why The Phase Es/ma/on Problem?
for op/mal input ψ'
![Page 5: 20090303masahito/workshop/presentation/Imai.pdf · Title: 20090303.ppt Author: ��N�N� [� Created Date: 3/19/2009 3:30:32 PM](https://reader033.vdocuments.pub/reader033/viewer/2022060605/605a7add639beb6165348e7a/html5/thumbnails/5.jpg)
Phase Es/ma/on
Vθ=[ ] e(i/2)θ 0
0 e‐(i/2)θ We want to es/mate phase trans. θ
|φ(n)> : sequence of input states
|ϕ(n)> Vθ⊗n
|ψθ(n)> M(dξ) Pθ,nM(dξ)
Vθ⊗n≅Σke
i(k-n/2)θ¦k><k¦=:Uθ
|ϕ(n)>=Σkak(n)|k>
From now on,
M : Holevo's group covariant POVM
Problem is reduced to op/miza/on of ak(n)
![Page 6: 20090303masahito/workshop/presentation/Imai.pdf · Title: 20090303.ppt Author: ��N�N� [� Created Date: 3/19/2009 3:30:32 PM](https://reader033.vdocuments.pub/reader033/viewer/2022060605/605a7add639beb6165348e7a/html5/thumbnails/6.jpg)
Limi/ng Distribu/on of Phase Es/ma/on
To analyze limi/ng dist. we change the parameter : y=(n+1)(ξ‐θ)/2
(n)
Here f sa/sfies f(xk) /ck=ak(n), xk=2k/n‐1
and f is a square integrable func/on.
![Page 7: 20090303masahito/workshop/presentation/Imai.pdf · Title: 20090303.ppt Author: ��N�N� [� Created Date: 3/19/2009 3:30:32 PM](https://reader033.vdocuments.pub/reader033/viewer/2022060605/605a7add639beb6165348e7a/html5/thumbnails/7.jpg)
Input States Constructed from A Wave Func/on
wave func/on f
ak(n) : n=7
![Page 8: 20090303masahito/workshop/presentation/Imai.pdf · Title: 20090303.ppt Author: ��N�N� [� Created Date: 3/19/2009 3:30:32 PM](https://reader033.vdocuments.pub/reader033/viewer/2022060605/605a7add639beb6165348e7a/html5/thumbnails/8.jpg)
Input States Constructed from A Wave Func/on
Conversely, from a square integrable f whose supp. is included in [‐1,1], we can construct coefficients ak(n) :
f(xk)/ck = ak(n), xk = 2k/n‐1
![Page 9: 20090303masahito/workshop/presentation/Imai.pdf · Title: 20090303.ppt Author: ��N�N� [� Created Date: 3/19/2009 3:30:32 PM](https://reader033.vdocuments.pub/reader033/viewer/2022060605/605a7add639beb6165348e7a/html5/thumbnails/9.jpg)
Limi/ng Distribu/on and Fourier Transform
where
Op/miza/on of input states=Op/miza/on of wave func/on f
![Page 10: 20090303masahito/workshop/presentation/Imai.pdf · Title: 20090303.ppt Author: ��N�N� [� Created Date: 3/19/2009 3:30:32 PM](https://reader033.vdocuments.pub/reader033/viewer/2022060605/605a7add639beb6165348e7a/html5/thumbnails/10.jpg)
Asympto/c Behavior
Variance Limi/ng Distribu/on
Classical
Pθ×n With O(n‐1)
→ Jθ‐1 → N(μ, Jθ‐1)
Quantum
ρθ⊗n
With O(n‐1)
→ JSθ‐1 → N(μ, JSθ‐1)
Phase es/ma/on
Vθ⊗n|ψ'>
With O(n‐2) → JSθ‐1
→|F1(f)(y)|2dy
under the parameter trans. y=(n+1)(ξ‐θ)/2
![Page 11: 20090303masahito/workshop/presentation/Imai.pdf · Title: 20090303.ppt Author: ��N�N� [� Created Date: 3/19/2009 3:30:32 PM](https://reader033.vdocuments.pub/reader033/viewer/2022060605/605a7add639beb6165348e7a/html5/thumbnails/11.jpg)
Op/miza/on of An Input‐state
1
![Page 12: 20090303masahito/workshop/presentation/Imai.pdf · Title: 20090303.ppt Author: ��N�N� [� Created Date: 3/19/2009 3:30:32 PM](https://reader033.vdocuments.pub/reader033/viewer/2022060605/605a7add639beb6165348e7a/html5/thumbnails/12.jpg)
Minimize Variance
This problem is reduced to Dirichlet problem
Op/mal wave func/on is
Corresponding minimum variance is
![Page 13: 20090303masahito/workshop/presentation/Imai.pdf · Title: 20090303.ppt Author: ��N�N� [� Created Date: 3/19/2009 3:30:32 PM](https://reader033.vdocuments.pub/reader033/viewer/2022060605/605a7add639beb6165348e7a/html5/thumbnails/13.jpg)
Minimize Variance
Does f1 makes tail prob. decreasing rapidly? The answer is NO!
Pf (y)=O(y‐4) 1
We want to find a wave func/on f which makes tail prob. decreasing rapidly
It suffices to construct a rapidly decreasing func. with supp f ⊂[‐1,1]. (Fourier trans. of rapidly decreasing func. decreases rapidly.)
decrease exponen/ally!
![Page 14: 20090303masahito/workshop/presentation/Imai.pdf · Title: 20090303.ppt Author: ��N�N� [� Created Date: 3/19/2009 3:30:32 PM](https://reader033.vdocuments.pub/reader033/viewer/2022060605/605a7add639beb6165348e7a/html5/thumbnails/14.jpg)
Construct A Rapidly Decreasing Wave Func/on
![Page 15: 20090303masahito/workshop/presentation/Imai.pdf · Title: 20090303.ppt Author: ��N�N� [� Created Date: 3/19/2009 3:30:32 PM](https://reader033.vdocuments.pub/reader033/viewer/2022060605/605a7add639beb6165348e7a/html5/thumbnails/15.jpg)
Construct A Rapidly Decreasing Wave Func/on
![Page 16: 20090303masahito/workshop/presentation/Imai.pdf · Title: 20090303.ppt Author: ��N�N� [� Created Date: 3/19/2009 3:30:32 PM](https://reader033.vdocuments.pub/reader033/viewer/2022060605/605a7add639beb6165348e7a/html5/thumbnails/16.jpg)
Minimize Tail Prob. for Fixed Interval
[‐R, R] : fixed closed interval
We want to evaluate minf Pf([‐R,R]c) = 1 – maxf Pf([‐R,R])
Define DR, FR as follows:
It suffices to evaluate maximum eigenvalue of the bounded linear operator D1BRD1
![Page 17: 20090303masahito/workshop/presentation/Imai.pdf · Title: 20090303.ppt Author: ��N�N� [� Created Date: 3/19/2009 3:30:32 PM](https://reader033.vdocuments.pub/reader033/viewer/2022060605/605a7add639beb6165348e7a/html5/thumbnails/17.jpg)
Minimize Tail Prob. for Fixed Interval
Slepian showed the maximum eigenvalue λ(R) sa/sfies
That means,
decrease exponen/ally! f
![Page 18: 20090303masahito/workshop/presentation/Imai.pdf · Title: 20090303.ppt Author: ��N�N� [� Created Date: 3/19/2009 3:30:32 PM](https://reader033.vdocuments.pub/reader033/viewer/2022060605/605a7add639beb6165348e7a/html5/thumbnails/18.jpg)
Minimize Tail Prob. for Fixed Interval
![Page 19: 20090303masahito/workshop/presentation/Imai.pdf · Title: 20090303.ppt Author: ��N�N� [� Created Date: 3/19/2009 3:30:32 PM](https://reader033.vdocuments.pub/reader033/viewer/2022060605/605a7add639beb6165348e7a/html5/thumbnails/19.jpg)
Minimize Tail Prob. for Fixed Interval
![Page 20: 20090303masahito/workshop/presentation/Imai.pdf · Title: 20090303.ppt Author: ��N�N� [� Created Date: 3/19/2009 3:30:32 PM](https://reader033.vdocuments.pub/reader033/viewer/2022060605/605a7add639beb6165348e7a/html5/thumbnails/20.jpg)
Conclusion
We obtained the formula of the Limiting Dist. for Phase Estimation:
The optimal inputs under each criterion is represented by wave functions. We analyzed them by Fourier analysis.
The optimal wave functions depend of criteria. Thus, we need to employ proper wave function under the situation.