tackling problems in quantum entanglement and channels via ...•so an alternative form of the...
TRANSCRIPT
![Page 1: Tackling problems in Quantum entanglement and channels via ...•So an alternative form of the Birkhoff Zs Theorem is : The set of bistochastic matrices is the convex hull of the set](https://reader030.vdocuments.mx/reader030/viewer/2022041112/5f1b43b66f3bc43c1f42ee3b/html5/thumbnails/1.jpg)
Tackling problems
in Quantum entanglement and channels via
factorisations of multivariable polynomials and super-operators
Ajit Iqbal Singh
INSA Honorary Scientist
The Indian National Science Academy, New Delhi
Problems and Recent Methods in Operator theoryIn memory of James E. Jamison
Dept of Mathematical Sciences, University of Memphis October 15 - October 16, 2015
1
![Page 2: Tackling problems in Quantum entanglement and channels via ...•So an alternative form of the Birkhoff Zs Theorem is : The set of bistochastic matrices is the convex hull of the set](https://reader030.vdocuments.mx/reader030/viewer/2022041112/5f1b43b66f3bc43c1f42ee3b/html5/thumbnails/2.jpg)
Entangled states constitute a powerful resource for quantum communication. In the simple setting of a finite tensor product of finite-dimensional Hilbert spaces, they are the vectors not expressible as a product of vectors. We shall present some new ones via multivariable polynomials, for instance, Bell polynomials and Vandermonde determinants. In the simplest setting, a quantum channel is a completely positive trace preserving unital map on a vector space of matrices to itself. We shall give an idea of their convex structure with emphasis on the asymptotic quantum Birkhoff property. It is related to factorization of such super-operators.
Abstract
2
![Page 3: Tackling problems in Quantum entanglement and channels via ...•So an alternative form of the Birkhoff Zs Theorem is : The set of bistochastic matrices is the convex hull of the set](https://reader030.vdocuments.mx/reader030/viewer/2022041112/5f1b43b66f3bc43c1f42ee3b/html5/thumbnails/3.jpg)
Latin squares and Hadamard matrices help to get such bases.
3
![Page 4: Tackling problems in Quantum entanglement and channels via ...•So an alternative form of the Birkhoff Zs Theorem is : The set of bistochastic matrices is the convex hull of the set](https://reader030.vdocuments.mx/reader030/viewer/2022041112/5f1b43b66f3bc43c1f42ee3b/html5/thumbnails/4.jpg)
Nobody likes delay in flights.But the one on Dec. 15,2013 from Delhi to Bengaluru
proved good for me.
That is when I first met Prof. James Jamison though I knew his work before. Prof. T.S.S.R.K. Rao had made it possible through phone from Bengaluru. James and I were both on our way to Indian Institute of Science in Bengaluru for the International Workshop on Operator Theory and Applications. We immediately got talking as if we were old friends. That was his super quality - so cool and yet so warm! We straightaway started on surjective isometries, Hermitian operators in Banach spaces and his work with Fernanda Botelho. His approach was so clear and concrete, every concept with illustration. I chipped in my spontaneous remarks and the discussion was so lively. And this was at the Airport Waiting Lounge, yet we were so comfortable!
I feel the same aura now. I suppose he is present here with his endearing smile and encouragement and I am sure I will not arrive at a contradiction!
4
![Page 5: Tackling problems in Quantum entanglement and channels via ...•So an alternative form of the Birkhoff Zs Theorem is : The set of bistochastic matrices is the convex hull of the set](https://reader030.vdocuments.mx/reader030/viewer/2022041112/5f1b43b66f3bc43c1f42ee3b/html5/thumbnails/5.jpg)
Quantum System
5
![Page 6: Tackling problems in Quantum entanglement and channels via ...•So an alternative form of the Birkhoff Zs Theorem is : The set of bistochastic matrices is the convex hull of the set](https://reader030.vdocuments.mx/reader030/viewer/2022041112/5f1b43b66f3bc43c1f42ee3b/html5/thumbnails/6.jpg)
Partial trace
6
![Page 7: Tackling problems in Quantum entanglement and channels via ...•So an alternative form of the Birkhoff Zs Theorem is : The set of bistochastic matrices is the convex hull of the set](https://reader030.vdocuments.mx/reader030/viewer/2022041112/5f1b43b66f3bc43c1f42ee3b/html5/thumbnails/7.jpg)
A state is a positive operator with trace one.
7
![Page 8: Tackling problems in Quantum entanglement and channels via ...•So an alternative form of the Birkhoff Zs Theorem is : The set of bistochastic matrices is the convex hull of the set](https://reader030.vdocuments.mx/reader030/viewer/2022041112/5f1b43b66f3bc43c1f42ee3b/html5/thumbnails/8.jpg)
A state with rank one is called a pure state.
8
![Page 9: Tackling problems in Quantum entanglement and channels via ...•So an alternative form of the Birkhoff Zs Theorem is : The set of bistochastic matrices is the convex hull of the set](https://reader030.vdocuments.mx/reader030/viewer/2022041112/5f1b43b66f3bc43c1f42ee3b/html5/thumbnails/9.jpg)
9
![Page 10: Tackling problems in Quantum entanglement and channels via ...•So an alternative form of the Birkhoff Zs Theorem is : The set of bistochastic matrices is the convex hull of the set](https://reader030.vdocuments.mx/reader030/viewer/2022041112/5f1b43b66f3bc43c1f42ee3b/html5/thumbnails/10.jpg)
10
![Page 11: Tackling problems in Quantum entanglement and channels via ...•So an alternative form of the Birkhoff Zs Theorem is : The set of bistochastic matrices is the convex hull of the set](https://reader030.vdocuments.mx/reader030/viewer/2022041112/5f1b43b66f3bc43c1f42ee3b/html5/thumbnails/11.jpg)
Physicists usually take inner product conjugate-linear in the first variable and linear in the second. Also at times they supress the symbol of tensor product. Further, they
follow Paul Dirac’s bra-ket notation. Let us join them!
11
![Page 12: Tackling problems in Quantum entanglement and channels via ...•So an alternative form of the Birkhoff Zs Theorem is : The set of bistochastic matrices is the convex hull of the set](https://reader030.vdocuments.mx/reader030/viewer/2022041112/5f1b43b66f3bc43c1f42ee3b/html5/thumbnails/12.jpg)
12
![Page 13: Tackling problems in Quantum entanglement and channels via ...•So an alternative form of the Birkhoff Zs Theorem is : The set of bistochastic matrices is the convex hull of the set](https://reader030.vdocuments.mx/reader030/viewer/2022041112/5f1b43b66f3bc43c1f42ee3b/html5/thumbnails/13.jpg)
Pyramid for Progress and QualityV 5
13
![Page 14: Tackling problems in Quantum entanglement and channels via ...•So an alternative form of the Birkhoff Zs Theorem is : The set of bistochastic matrices is the convex hull of the set](https://reader030.vdocuments.mx/reader030/viewer/2022041112/5f1b43b66f3bc43c1f42ee3b/html5/thumbnails/14.jpg)
Examples of unextendable product bases from Bennett, DiVincenzo, Mor, Shor, Smolin and Terhal,Phys. Rev. Lett. 1999
ded
14
![Page 15: Tackling problems in Quantum entanglement and channels via ...•So an alternative form of the Birkhoff Zs Theorem is : The set of bistochastic matrices is the convex hull of the set](https://reader030.vdocuments.mx/reader030/viewer/2022041112/5f1b43b66f3bc43c1f42ee3b/html5/thumbnails/15.jpg)
Examples of UPB (contd.)
The orthogonal complement of a UPB contains no non-zero product vector, and, therefore, consists of some entangled vectors together with zero.
15
![Page 16: Tackling problems in Quantum entanglement and channels via ...•So an alternative form of the Birkhoff Zs Theorem is : The set of bistochastic matrices is the convex hull of the set](https://reader030.vdocuments.mx/reader030/viewer/2022041112/5f1b43b66f3bc43c1f42ee3b/html5/thumbnails/16.jpg)
Completely entangled spaces in general case
Nolan R. Wallach, AMS Contemp. Math. 305 (2002).K.R. Parthasarathy, Proc. Indian Acad. Sci. 2004.
16
![Page 17: Tackling problems in Quantum entanglement and channels via ...•So an alternative form of the Birkhoff Zs Theorem is : The set of bistochastic matrices is the convex hull of the set](https://reader030.vdocuments.mx/reader030/viewer/2022041112/5f1b43b66f3bc43c1f42ee3b/html5/thumbnails/17.jpg)
17
![Page 18: Tackling problems in Quantum entanglement and channels via ...•So an alternative form of the Birkhoff Zs Theorem is : The set of bistochastic matrices is the convex hull of the set](https://reader030.vdocuments.mx/reader030/viewer/2022041112/5f1b43b66f3bc43c1f42ee3b/html5/thumbnails/18.jpg)
18
![Page 19: Tackling problems in Quantum entanglement and channels via ...•So an alternative form of the Birkhoff Zs Theorem is : The set of bistochastic matrices is the convex hull of the set](https://reader030.vdocuments.mx/reader030/viewer/2022041112/5f1b43b66f3bc43c1f42ee3b/html5/thumbnails/19.jpg)
19
![Page 20: Tackling problems in Quantum entanglement and channels via ...•So an alternative form of the Birkhoff Zs Theorem is : The set of bistochastic matrices is the convex hull of the set](https://reader030.vdocuments.mx/reader030/viewer/2022041112/5f1b43b66f3bc43c1f42ee3b/html5/thumbnails/20.jpg)
B.V.R. Bhat, Int. J. Quantum Inform. 2006
20
![Page 21: Tackling problems in Quantum entanglement and channels via ...•So an alternative form of the Birkhoff Zs Theorem is : The set of bistochastic matrices is the convex hull of the set](https://reader030.vdocuments.mx/reader030/viewer/2022041112/5f1b43b66f3bc43c1f42ee3b/html5/thumbnails/21.jpg)
Bicentenary of Karl Theodor Wilhelm Weierstrass, the "father of modern analysis” born on October 31, 1815,
At the General Assembly 2010 of The International Mathematical Union (IMU)in Bangalore, India, the Weierstrass Institute in Berlin, Germany (WIAS) was elected as the host institution of the permanent secretariat.
Weierstrass enhanced the significance of polynomials by proving that they are everywhere in the space of continuous functions on a closed bounded interval. The progress on its generalisations and applications is enormous.
And they help in determining if a vector is a product vector or an entangled one! Or a genuine entangled one!
21
![Page 22: Tackling problems in Quantum entanglement and channels via ...•So an alternative form of the Birkhoff Zs Theorem is : The set of bistochastic matrices is the convex hull of the set](https://reader030.vdocuments.mx/reader030/viewer/2022041112/5f1b43b66f3bc43c1f42ee3b/html5/thumbnails/22.jpg)
Role of multivariate polynomials
We can make the multivariable polynomial in k variables t-sub- i =product of the monomials t-sub-r raised to i-sub-r correspond to the vector e-sub-i. This enables us to identify script H-sup-(n) with the space of multivariable polynomials in k variables that are homogeneous of degree n with the restriction that the power of t-sub-j cannot exceed (d-sub-j )- 1. Further script H can be identified with such restricted multivariable polynomials of degree up to N. A product vector will then be a product of k polynomials, the j-th one being a polynomial in t-sub-j of degree not more than (d-sub-j )- 1. A vector in the space at n-th level of Bhat’s completely entangled space is such a homogeneous polynomial of degree n vanishing at (1,1,…,1). It occurred to me to utilise this observation, while listening to the excellent lectures by Hari Berkovici at The Operator Theory and Operator Algebras workshop and conference in December, 2014 at The Indian Statistical Institute, Bengaluru organised by Prof. T.S.S.R.K. Rao and his colleagues. Jai OTOA 2014! Jai Hari Bercovici!
22
![Page 23: Tackling problems in Quantum entanglement and channels via ...•So an alternative form of the Birkhoff Zs Theorem is : The set of bistochastic matrices is the convex hull of the set](https://reader030.vdocuments.mx/reader030/viewer/2022041112/5f1b43b66f3bc43c1f42ee3b/html5/thumbnails/23.jpg)
ProgressI have discussed it with a few colleagues over the time and we are planning a write-up on the topic. With Nikhil Srivastava and P. Branden, the discussion was on use of the theory of stable polynomials via e.mails. With Somshubhro Bandyopadhyay, we figured out how to develop the theory like that of Schmidt decomposition, quantum states, quantum channels during my visit to his institute, viz. , Bose Institute in Kolkata. With Rajat Mittal we looked at the relationship with semidefiniteprogramming and Computer Science techniques. With Aditi Sen De and Ujjwal Sen discussion was on the use of polynomial approach in the study of Resonance Valence bonds of P. Anderson and G. Baskaran at their institute, Harish-Chandra Institute (HRI). With Anoop Singh, a research student at HRI, we figured out uses of basic Algebraic Geometry, particularly for genuine entanglement. Discussion with Ajay Shukla took place after his talk at the International Conference on Special Functions and Applications at Amity University last month, the emphasis being on the role of Orthogonal polynomials in several variables. I thank all of them. We will give a brief account of some aspects.This multivariable viewpoint is taken by some to define the tensor product, for instance, see the recent
book by F. Hiai and D. Petz.
At times we will use the term poly for a multivariate polynomial.
23
![Page 24: Tackling problems in Quantum entanglement and channels via ...•So an alternative form of the Birkhoff Zs Theorem is : The set of bistochastic matrices is the convex hull of the set](https://reader030.vdocuments.mx/reader030/viewer/2022041112/5f1b43b66f3bc43c1f42ee3b/html5/thumbnails/24.jpg)
Binomial
• Let us begin with the simplest case of
k=2=d-sub-1=d-sub-2.
• Then any constant poly is a product poly. We omit this in further discussion. The poly 1+t-sub-1+t-sub-2+t-sub-1 t-sub-2 is a product poly but t-sub-1 +t-sub-2 is not. The first poly has zero set consisting of the union of t-sub-1=0 and t-sub-2=0, whereas the second one has t-sub-1+ t-sub-2=0, a hyperplane but not parallel to any co-ordinate one! For the entangled polynomial 1+t-sub-1 t-sub-2, the zero set contains no hyperplane at all.
24
![Page 25: Tackling problems in Quantum entanglement and channels via ...•So an alternative form of the Birkhoff Zs Theorem is : The set of bistochastic matrices is the convex hull of the set](https://reader030.vdocuments.mx/reader030/viewer/2022041112/5f1b43b66f3bc43c1f42ee3b/html5/thumbnails/25.jpg)
Binomial polynomials form a source of entangled polynomials
The catch is that we are sure from the point just noted that each non-constant polynomial from the lot gives rise to an entangled state and also expresses it as
A sum of product vectors coming from the family!
25
![Page 26: Tackling problems in Quantum entanglement and channels via ...•So an alternative form of the Birkhoff Zs Theorem is : The set of bistochastic matrices is the convex hull of the set](https://reader030.vdocuments.mx/reader030/viewer/2022041112/5f1b43b66f3bc43c1f42ee3b/html5/thumbnails/26.jpg)
Laguerre polynomials help too
Many orthogonal multivariate polynomials arise in this way..
26
![Page 27: Tackling problems in Quantum entanglement and channels via ...•So an alternative form of the Birkhoff Zs Theorem is : The set of bistochastic matrices is the convex hull of the set](https://reader030.vdocuments.mx/reader030/viewer/2022041112/5f1b43b66f3bc43c1f42ee3b/html5/thumbnails/27.jpg)
2013
It is common to use formal power series to define special functions.The one giving Bell polynomial s of E.T. Bell (Ann. Math. 1934) is here.
Explicit:
Summation extends over all tuples of non-negative integers satisfying
27
![Page 28: Tackling problems in Quantum entanglement and channels via ...•So an alternative form of the Birkhoff Zs Theorem is : The set of bistochastic matrices is the convex hull of the set](https://reader030.vdocuments.mx/reader030/viewer/2022041112/5f1b43b66f3bc43c1f42ee3b/html5/thumbnails/28.jpg)
Novelty in Cvijovic paper
28
![Page 29: Tackling problems in Quantum entanglement and channels via ...•So an alternative form of the Birkhoff Zs Theorem is : The set of bistochastic matrices is the convex hull of the set](https://reader030.vdocuments.mx/reader030/viewer/2022041112/5f1b43b66f3bc43c1f42ee3b/html5/thumbnails/29.jpg)
For applications in our context, we take n>k>0. First note that we can vary n and k keeping r=n-k+1 constant for studying an r-partite system. Then we note:(i) Bell polynomials with r=2 are all bipartite product vectors.(ii) Bell polynomials with r=3 are genuinely entangled.
MORE LATER!
29
![Page 30: Tackling problems in Quantum entanglement and channels via ...•So an alternative form of the Birkhoff Zs Theorem is : The set of bistochastic matrices is the convex hull of the set](https://reader030.vdocuments.mx/reader030/viewer/2022041112/5f1b43b66f3bc43c1f42ee3b/html5/thumbnails/30.jpg)
Stable polynomials
• Definition.
30
![Page 31: Tackling problems in Quantum entanglement and channels via ...•So an alternative form of the Birkhoff Zs Theorem is : The set of bistochastic matrices is the convex hull of the set](https://reader030.vdocuments.mx/reader030/viewer/2022041112/5f1b43b66f3bc43c1f42ee3b/html5/thumbnails/31.jpg)
31
![Page 32: Tackling problems in Quantum entanglement and channels via ...•So an alternative form of the Birkhoff Zs Theorem is : The set of bistochastic matrices is the convex hull of the set](https://reader030.vdocuments.mx/reader030/viewer/2022041112/5f1b43b66f3bc43c1f42ee3b/html5/thumbnails/32.jpg)
Certain real stable polynomials are entangled
• Let p be a product poly with non-constant single variable factors q-sub-j(t-sub-i-sub-j), for 1 less than or equal to j less than or equal to r, say. Let Z-sub-j be the zero set of q-sub-j and Z their union. Then the zero set E of p is the union of hyperplanes t-sub-i-sub-j=a, a in Z-sub-j, 1 less than or equal to j less than or equal to r; we may say that E is infinite wall-roof.
• Then p is stable if and only if Im z is less than or equal to 0 for each z in Z. In particular, if p is real then p is stable if and only if Z is a subset of the set of real numbers; we may say that E is real infinite wall-roof. Thus, a non-constant real stable poly p is product poly if and only if its zero set is real infinite wall-roof. A real infinite wall-roof contains uncountably many points with all co-ordinates real.
• So certain real stable polys are entangled.• Basic Algebraic Geometry can help throw more light on the problem,
Fulton’s book is a good choice for that.
32
![Page 33: Tackling problems in Quantum entanglement and channels via ...•So an alternative form of the Birkhoff Zs Theorem is : The set of bistochastic matrices is the convex hull of the set](https://reader030.vdocuments.mx/reader030/viewer/2022041112/5f1b43b66f3bc43c1f42ee3b/html5/thumbnails/33.jpg)
Van der Monde determinant
Treating each as a variable, it is not separable
Consider the matrix
Its determinant
33
![Page 34: Tackling problems in Quantum entanglement and channels via ...•So an alternative form of the Birkhoff Zs Theorem is : The set of bistochastic matrices is the convex hull of the set](https://reader030.vdocuments.mx/reader030/viewer/2022041112/5f1b43b66f3bc43c1f42ee3b/html5/thumbnails/34.jpg)
Entanglement in Resonance Valence Bond
From a paper by Aditi Sen De et al
34
![Page 35: Tackling problems in Quantum entanglement and channels via ...•So an alternative form of the Birkhoff Zs Theorem is : The set of bistochastic matrices is the convex hull of the set](https://reader030.vdocuments.mx/reader030/viewer/2022041112/5f1b43b66f3bc43c1f42ee3b/html5/thumbnails/35.jpg)
Bipartite lattice
35
![Page 36: Tackling problems in Quantum entanglement and channels via ...•So an alternative form of the Birkhoff Zs Theorem is : The set of bistochastic matrices is the convex hull of the set](https://reader030.vdocuments.mx/reader030/viewer/2022041112/5f1b43b66f3bc43c1f42ee3b/html5/thumbnails/36.jpg)
RVB state
36
![Page 37: Tackling problems in Quantum entanglement and channels via ...•So an alternative form of the Birkhoff Zs Theorem is : The set of bistochastic matrices is the convex hull of the set](https://reader030.vdocuments.mx/reader030/viewer/2022041112/5f1b43b66f3bc43c1f42ee3b/html5/thumbnails/37.jpg)
Polynomial for RVB liquid
37
![Page 38: Tackling problems in Quantum entanglement and channels via ...•So an alternative form of the Birkhoff Zs Theorem is : The set of bistochastic matrices is the convex hull of the set](https://reader030.vdocuments.mx/reader030/viewer/2022041112/5f1b43b66f3bc43c1f42ee3b/html5/thumbnails/38.jpg)
Illustration
38
![Page 39: Tackling problems in Quantum entanglement and channels via ...•So an alternative form of the Birkhoff Zs Theorem is : The set of bistochastic matrices is the convex hull of the set](https://reader030.vdocuments.mx/reader030/viewer/2022041112/5f1b43b66f3bc43c1f42ee3b/html5/thumbnails/39.jpg)
Another way
39
![Page 40: Tackling problems in Quantum entanglement and channels via ...•So an alternative form of the Birkhoff Zs Theorem is : The set of bistochastic matrices is the convex hull of the set](https://reader030.vdocuments.mx/reader030/viewer/2022041112/5f1b43b66f3bc43c1f42ee3b/html5/thumbnails/40.jpg)
It is time to part with the polynomials
We quickly mention work related to the concepts introduced here by myself and my collaborators.1. (with Sengupta, Ritabrata and Arvind) Entanglement properties of positive
operators with ranges in completely entangled subspaces, Physical Review A,90(2014), 062323.
2. Quantum dynamical semigroups involving separable and entangled states, arXiv :1201.0250v3 [math:DS]. Revised for possible publication in Electronic J.
Linear Algebra, Special Issue in honour of R.B. Bapat.3.(with Sibasish Ghosh)Invariants for maximally entangled vectors and unitary bases.
arXiv: 1401.0099 [quant-ph].4. (with S. Chaturvedi, Sibasish Ghosh and K. R. Parthasarathy), Optimal quantum state
determination by constrained elementary measurements, arXiv: 1411.0152 [quant-ph].
40
![Page 41: Tackling problems in Quantum entanglement and channels via ...•So an alternative form of the Birkhoff Zs Theorem is : The set of bistochastic matrices is the convex hull of the set](https://reader030.vdocuments.mx/reader030/viewer/2022041112/5f1b43b66f3bc43c1f42ee3b/html5/thumbnails/41.jpg)
Polytopes and corners
41
![Page 42: Tackling problems in Quantum entanglement and channels via ...•So an alternative form of the Birkhoff Zs Theorem is : The set of bistochastic matrices is the convex hull of the set](https://reader030.vdocuments.mx/reader030/viewer/2022041112/5f1b43b66f3bc43c1f42ee3b/html5/thumbnails/42.jpg)
Doubly stochastic also called bistochastic
• , the matrix associate
• permutation (123).
matrix associated to the permutation (123).
42
![Page 43: Tackling problems in Quantum entanglement and channels via ...•So an alternative form of the Birkhoff Zs Theorem is : The set of bistochastic matrices is the convex hull of the set](https://reader030.vdocuments.mx/reader030/viewer/2022041112/5f1b43b66f3bc43c1f42ee3b/html5/thumbnails/43.jpg)
Birkhoff’s Theorem
A point of a convex set is called an extreme point if it is not an interior point of a line segment contained in the set. It may be remarked that an extreme point of a subset of a set may not be an extreme point of the set, just take a triangle and a median! Krein -Milman Theorem says that a bounded closed convex set in a Euclidean space (result holds for much more general set-ups) is the closed convex hull of the set of its extreme points and the convex hull of a closed set in a Euclidean space (no such analogue for infinite dimensional spaces) is closed.
43
![Page 44: Tackling problems in Quantum entanglement and channels via ...•So an alternative form of the Birkhoff Zs Theorem is : The set of bistochastic matrices is the convex hull of the set](https://reader030.vdocuments.mx/reader030/viewer/2022041112/5f1b43b66f3bc43c1f42ee3b/html5/thumbnails/44.jpg)
From classical to quantum
• So an alternative form of the Birkhoff ‘s Theorem is : The set of bistochastic matrices is the convex hull of the set of permutation matrices.
• Both the forms have their quantum counterparts asked and answered! Even some asymptotic versions are relevant and have been questioned and answered! I give a window, present the basics of the quantum set-up and indicate what more can be done.
44
![Page 45: Tackling problems in Quantum entanglement and channels via ...•So an alternative form of the Birkhoff Zs Theorem is : The set of bistochastic matrices is the convex hull of the set](https://reader030.vdocuments.mx/reader030/viewer/2022041112/5f1b43b66f3bc43c1f42ee3b/html5/thumbnails/45.jpg)
Birkhoff’s Theorem for Panstochastic matricesDean Alvis and Michael Kanyon, Amer. Math. Monthly, 2001
• A doubly stochastic matrix is PANSTOCHASTIC if the sum of the entries along any downward diagonal or upward diagonal, either broken or unbroken, is equal to 1.
• Theorem. A 5 x 5 real matrix is panstochastic if and only if it is a convex combination of panstochastic permutation matrices.
• Theorem. If n>1and n not equal to 5, then there is some n x n panstochastic matrix that is not a convex combination of panstochastic permutation matrices.
45
![Page 46: Tackling problems in Quantum entanglement and channels via ...•So an alternative form of the Birkhoff Zs Theorem is : The set of bistochastic matrices is the convex hull of the set](https://reader030.vdocuments.mx/reader030/viewer/2022041112/5f1b43b66f3bc43c1f42ee3b/html5/thumbnails/46.jpg)
BIRKHOFF’S POLYTOPE AND UNISTOCHASTIC MATRICES
N=3 AND N=4
• arXiv:math/0402325 v 3
46
![Page 47: Tackling problems in Quantum entanglement and channels via ...•So an alternative form of the Birkhoff Zs Theorem is : The set of bistochastic matrices is the convex hull of the set](https://reader030.vdocuments.mx/reader030/viewer/2022041112/5f1b43b66f3bc43c1f42ee3b/html5/thumbnails/47.jpg)
• all elements equal.
having all elements equal.
The Birkhoff polytope is the set of bistochasticmatrices (of a given order, say, N) with the van der Waerden matrix at the centre and distance D given as follows.
47
![Page 48: Tackling problems in Quantum entanglement and channels via ...•So an alternative form of the Birkhoff Zs Theorem is : The set of bistochastic matrices is the convex hull of the set](https://reader030.vdocuments.mx/reader030/viewer/2022041112/5f1b43b66f3bc43c1f42ee3b/html5/thumbnails/48.jpg)
Quantum set-up
48
![Page 49: Tackling problems in Quantum entanglement and channels via ...•So an alternative form of the Birkhoff Zs Theorem is : The set of bistochastic matrices is the convex hull of the set](https://reader030.vdocuments.mx/reader030/viewer/2022041112/5f1b43b66f3bc43c1f42ee3b/html5/thumbnails/49.jpg)
Wigner’s Theorem
It is a matter of encouragement for our young researchers that L. Molnar, soon after his Ph.D., collected all the properties (spreading over more than 200 papers) which force a map to be of the above type in a Springer Lecture Notes in Math. Vol. 1800 (2007) and the cover page has just U*AU except for the usual necessities. The list continues to grow! Peter Semrl shows that it is a 2 x 2 affair even for infinite-dimensional Hilbert space set-up for some of them!
49
![Page 50: Tackling problems in Quantum entanglement and channels via ...•So an alternative form of the Birkhoff Zs Theorem is : The set of bistochastic matrices is the convex hull of the set](https://reader030.vdocuments.mx/reader030/viewer/2022041112/5f1b43b66f3bc43c1f42ee3b/html5/thumbnails/50.jpg)
Quantum Birkhoff question
50
![Page 51: Tackling problems in Quantum entanglement and channels via ...•So an alternative form of the Birkhoff Zs Theorem is : The set of bistochastic matrices is the convex hull of the set](https://reader030.vdocuments.mx/reader030/viewer/2022041112/5f1b43b66f3bc43c1f42ee3b/html5/thumbnails/51.jpg)
Landau and Streater’s results
51
![Page 52: Tackling problems in Quantum entanglement and channels via ...•So an alternative form of the Birkhoff Zs Theorem is : The set of bistochastic matrices is the convex hull of the set](https://reader030.vdocuments.mx/reader030/viewer/2022041112/5f1b43b66f3bc43c1f42ee3b/html5/thumbnails/52.jpg)
Diagonal maps or the maps given by Schur i.e. Hadamard product
52
![Page 53: Tackling problems in Quantum entanglement and channels via ...•So an alternative form of the Birkhoff Zs Theorem is : The set of bistochastic matrices is the convex hull of the set](https://reader030.vdocuments.mx/reader030/viewer/2022041112/5f1b43b66f3bc43c1f42ee3b/html5/thumbnails/53.jpg)
Diagonal maps (continued)
• In fact there is a good amount of research
on these maps under the name of Schur maps .
53
![Page 54: Tackling problems in Quantum entanglement and channels via ...•So an alternative form of the Birkhoff Zs Theorem is : The set of bistochastic matrices is the convex hull of the set](https://reader030.vdocuments.mx/reader030/viewer/2022041112/5f1b43b66f3bc43c1f42ee3b/html5/thumbnails/54.jpg)
Operator algebra set-up
• Birkhoff Theorem type study has been carried out in the set-up of operator algebras. We mention
• K.R. Parthasarathy, Infinite DiemensionalAnalysis, Quantum Probability and Related Topics, 1998, and
• more recent work by U. Haagerup and M. Musat. They also solved the Asymptotic Quantum Birkhoff conjecture in the negative.
54
![Page 55: Tackling problems in Quantum entanglement and channels via ...•So an alternative form of the Birkhoff Zs Theorem is : The set of bistochastic matrices is the convex hull of the set](https://reader030.vdocuments.mx/reader030/viewer/2022041112/5f1b43b66f3bc43c1f42ee3b/html5/thumbnails/55.jpg)
Asymptotic Quantum Birkhoff Conjecturelooked at by U. Haagerup and M. Musat 2010
Haagerup had a knack for looking at difficult problems, solving themand presenting them with each and every detail. Every paper by him
is a masterpiece and a treasure. His early tragic death in an accident a few months ago is a great loss for Mathematics and us all too.
55
![Page 56: Tackling problems in Quantum entanglement and channels via ...•So an alternative form of the Birkhoff Zs Theorem is : The set of bistochastic matrices is the convex hull of the set](https://reader030.vdocuments.mx/reader030/viewer/2022041112/5f1b43b66f3bc43c1f42ee3b/html5/thumbnails/56.jpg)
56
![Page 57: Tackling problems in Quantum entanglement and channels via ...•So an alternative form of the Birkhoff Zs Theorem is : The set of bistochastic matrices is the convex hull of the set](https://reader030.vdocuments.mx/reader030/viewer/2022041112/5f1b43b66f3bc43c1f42ee3b/html5/thumbnails/57.jpg)
Uffe Haagerup and Magdalena Musat 2010Use of Factorization in AQBC not true
Here, T-sub-B s the Schur multiplication operator by B.57
![Page 58: Tackling problems in Quantum entanglement and channels via ...•So an alternative form of the Birkhoff Zs Theorem is : The set of bistochastic matrices is the convex hull of the set](https://reader030.vdocuments.mx/reader030/viewer/2022041112/5f1b43b66f3bc43c1f42ee3b/html5/thumbnails/58.jpg)
58
![Page 59: Tackling problems in Quantum entanglement and channels via ...•So an alternative form of the Birkhoff Zs Theorem is : The set of bistochastic matrices is the convex hull of the set](https://reader030.vdocuments.mx/reader030/viewer/2022041112/5f1b43b66f3bc43c1f42ee3b/html5/thumbnails/59.jpg)
• There is a wonderful talk by M. Musat about two years ago freely available.
• And there has been more progress on the relationship (or the lack of it!)with ConnesEmbedding problem, which we shall not go into here.
• THANK YOU.
59