Unistochastic matrix

Summary

In mathematics, a unistochastic matrix (also called unitary-stochastic) is a doubly stochastic matrix whose entries are the squares of the absolute values of the entries of some unitary matrix.

A square matrix B of size n is doubly stochastic (or bistochastic) if all its entries are non-negative real numbers and each of its rows and columns sum to 1. It is unistochastic if there exists a unitary matrix U such that

This definition is analogous to that for an orthostochastic matrix, which is a doubly stochastic matrix whose entries are the squares of the entries in some orthogonal matrix. Since all orthogonal matrices are necessarily unitary matrices, all orthostochastic matrices are also unistochastic. The converse, however, is not true. First, all 2-by-2 doubly stochastic matrices are both unistochastic and orthostochastic, but for larger n this is not the case. For example, take and consider the following doubly stochastic matrix:

This matrix is not unistochastic, since any two vectors with moduli equal to the square root of the entries of two columns (or rows) of B cannot be made orthogonal by a suitable choice of phases. For , the set of orthostochastic matrices is a proper subset of the set of unistochastic matrices.

  • the set of unistochastic matrices contains all permutation matrices and its convex hull is the Birkhoff polytope of all doubly stochastic matrices
  • for this set is not convex
  • for the set of triangle inequality on the moduli of the raw is a sufficient and necessary condition for the unistocasticity [1]
  • for the set of unistochastic matrices takes the form of a centrosymmetric matrix and unistochasticity of any bistochastic matrix B is implied by a non-negative value of its Jarlskog invariant[2]
  • for the relative volume of the set of unistochastic matrices with respect to the Birkhoff polytope of doubly stochastic matrices is [3]
  • for explicit conditions for unistochasticity are not known yet, but there exists a numerical method to verify unistochasticity based on the algorithm by Haagerup [4]
  • The Schur-Horn theorem is equivalent to the following "weak convexity" property of the set of unistochastic matrices: for any vector the set is the convex hull of the set of vectors obtained by all permutations of the entries of the vector (the permutation polytope generated by the vector ).
  • The set of unistochastic matrices has a nonempty interior. The unistochastic matrix corresponding to the unitary matrix with the entries , where and , is an interior point of .

References edit

  1. ^ Fedullo, A. (1992-12-01). "On the existence of a Hilbert-space model for finite-valued observables". Il Nuovo Cimento B. 107 (12). Springer: 1413–1426. doi:10.1007/BF02722852. ISSN 1826-9877.
  2. ^ Jarlskog, C. (1985-09-02). "Commutator of the Quark Mass Matrices in the Standard Electroweak Model and a Measure of Maximal CP Nonconservation". Physical Review Letters. 55 (10). American Physical Society (APS): 1039–1042. doi:10.1103/physrevlett.55.1039. ISSN 0031-9007.
  3. ^ Dunkl, Charles; Życzkowski, Karol (2009). "Volume of the set of unistochastic matrices of order 3 and the mean Jarlskog invariant". Journal of Mathematical Physics. 50 (12). AIP Publishing: 123521. arXiv:0909.0116. doi:10.1063/1.3272543. ISSN 0022-2488.
  4. ^ Rajchel, Grzegorz; Gąsiorowski, Adam; Życzkowski, Karol (2018-09-19). "Robust Hadamard Matrices, Unistochastic Rays in Birkhoff Polytope and Equi-Entangled Bases in Composite Spaces". Mathematics in Computer Science. 12 (4). Springer Science and Business Media LLC: 473–490. arXiv:1804.10715. doi:10.1007/s11786-018-0384-y. ISSN 1661-8270.
  • Bengtsson, Ingemar; Ericsson, Åsa; Kuś, Marek; Tadej, Wojciech; Życzkowski, Karol (2005), "Birkhoff's Polytope and Unistochastic Matrices, N = 3 and N = 4", Communications in Mathematical Physics, 259 (2): 307–324, arXiv:math/0402325, Bibcode:2005CMaPh.259..307B, doi:10.1007/s00220-005-1392-8.
  • Bengtsson, Ingemar (2004-03-11). "The importance of being unistochastic". arXiv:quant-ph/0403088.
  • Karabegov, Alexander (2008-06-14). "A mapping from the unitary to doubly stochastic matrices and symbols on a finite set". arXiv:0806.2357.