Top Banner
Fields Institute Talk • Note first half of talk consists of blackboard – see video: http ://www.fields.utoronto.ca/video-archive/2013/07/215- 1962 – then I did a matlab demo t=1000000; i=sqrt(-1);figure(1);hold off for p=10.^[-3:.2:3] % Florent's two coin tosses a=pi+angle(-1/p+randn(t,1)+i*randn(t,1)); r=2*cos(a/4); % Draw the symmetrized density [x,y]=hist([-r r],linspace(-2,2,99)); bar(y,x/sum(x)/(y(2)-y(1))); title(['p= ' num2str(p)]); pause(0.1) end – and finally these slides show up around 34 minutes in
31

Fields Institute Talk

Jan 06, 2016

Download

Documents

Geoff

Fields Institute Talk. Note first half of talk consists of blackboard see video : http ://www.fields.utoronto.ca/video-archive/2013/07/215- 1962 then I did a matlab demo t=1000000; i = sqrt (-1);figure(1);hold off for p=10.^[-3:.2:3 ] % Florent's two coin tosses - PowerPoint PPT Presentation
Welcome message from author
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
Page 1: Fields Institute Talk

Fields Institute Talk

• Note first half of talk consists of blackboard– see video:

http://www.fields.utoronto.ca/video-archive/2013/07/215-1962

– then I did a matlab demot=1000000; i=sqrt(-1);figure(1);hold offfor p=10.^[-3:.2:3] % Florent's two coin tosses a=pi+angle(-1/p+randn(t,1)+i*randn(t,1)); r=2*cos(a/4); % Draw the symmetrized density [x,y]=hist([-r r],linspace(-2,2,99)); bar(y,x/sum(x)/(y(2)-y(1))); title(['p= ' num2str(p)]); pause(0.1) end

– and finally these slides show up around 34 minutes in

Page 2: Fields Institute Talk

Example Resultp=1 classical probabilityp=0 isotropic convolution (finite free probability)

We call this “isotropic entanglement”

Page 3: Fields Institute Talk

Complicated Roadmap

Page 4: Fields Institute Talk

Complicated Roadmap

Page 5: Fields Institute Talk

Preview to the Quantum Information Problem

mxm nxn mxm nxn

Summands commute, eigenvalues addIf A and B are random eigenvalues are classical sum of random variables

Page 6: Fields Institute Talk

Closer to the true problem

d2xd2 dxd dxd d2xd2

Nothing commutes, eigenvalues non-trivial

Page 7: Fields Institute Talk

Actual Problem

di-1xdi-1 d2xd2 dN-i-1xdN-i-1

The Random matrix could be Wishart, Gaussian Ensemble, etc (Ind Haar Eigenvectors)The big matrix is dNxdN

Interesting Quantum Many Body System Phenomena tied to this overlap!

Page 8: Fields Institute Talk

Intuition on the eigenvectors

Classical Quantum Isotropic

Intertwined Kronecker Product of Haar Measures

Page 9: Fields Institute Talk

Example Resultp=1 classical convolutionp=0 isotropic convolution

Page 10: Fields Institute Talk

First three moments match theorem

• It is well known that the first three free cumulants match the first three classical cumulants

• Hence the first three moments for classical and free match

• The quantum information problem enjoys the same matching!

• Three curves have the same mean, the same variance, the same skewness!

• Different kurtoses (4th cumulant/var2+3)

Page 11: Fields Institute Talk

Fitting the fourth moment

• Simple idea• Worked better than we expected• Underlying mathematics guarantees more

than you would expect– Better approximation– Guarantee of a convex combination between

classical and iso

Page 12: Fields Institute Talk

Illustration

Page 13: Fields Institute Talk

Roadmap

Page 14: Fields Institute Talk

The Problem

Let H=

di-1xdi-1 d2xd2 dN-i-1xdN-i-1

Compute or approximate

Page 15: Fields Institute Talk

di-1 d2 dN-i-1

The Problem

Let H=

The Random matrix has known joint eigenvalue density & independent eigenvectors distributed with β-Haar measure .

β=1 random orthogonal matrixβ=2 random unitary matrixβ=4 random symplectic matrixGeneral β: formal ghost matrix

Page 16: Fields Institute Talk

Easy Step

H=

= (odd terms i=1,3,…) + (even terms i=2,4,…)

Eigenvalues of odd (even) terms add= Classical convolution of probability densities(Technical note: joint densities needed to preserve all the information)

Eigenvectors “fill” the proper slots

Page 17: Fields Institute Talk

Complicated Roadmap

Page 18: Fields Institute Talk

Eigenvectors of odd (even)

(A) Odd(B) Even

Quantify how we are in between Q=I and the full Haar measure

Page 19: Fields Institute Talk

The same mean and variance as Haar

Page 20: Fields Institute Talk

The convolutions

• Assume A,B diagonal. Symmetrized ordering.

A+B:

• A+Q’BQ:

• A+Qq’BQq

(“hats” indicate joint density is being used)

Page 21: Fields Institute Talk

The Istropically Entangled Approximation

But this one is hard

The kurtosis

Page 22: Fields Institute Talk

A first try:Ramis “Quantum Agony”

Page 23: Fields Institute Talk

The Entanglement

Page 24: Fields Institute Talk

The Slider Theorem

p only depends on the eigenvectors! Not the eigenvalues

Page 25: Fields Institute Talk

More pretty pictures

Page 26: Fields Institute Talk

p vs. Nlarge N: central limit theorem

large d, small N: free or isowhole 1 parameter family in between

The real world? Falls on a 1 parameter family

Page 27: Fields Institute Talk

Wishart

Page 28: Fields Institute Talk

Wishart

Page 29: Fields Institute Talk

Wishart

Page 30: Fields Institute Talk

Bernoulli ±1

Page 31: Fields Institute Talk

Roadmap