Unistochastic matrix

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

B_{ij}=|U_{ij}|^{2}{\text{ for }}i,j=1,\dots ,n.\,

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 $n=3$ and consider the following doubly stochastic matrix:

B={\frac {1}{2}}{\begin{bmatrix}1&1&0\\0&1&1\\1&0&1\end{bmatrix}}.

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 ${\textstyle n>2}$ , 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 $n\geq 3$ this set is not convex
for $n=3$ the set of triangle inequality on the moduli of the raw is a sufficient and necessary condition for the unistocasticity ^[1]
for $n=3$ the set of unistochastic matrices is star--shaped and unistochasticity of any bistochastic matrix B is implied by a non-negative value of its Jarlskog invariant^[2]
for $n=3$ the relative volume of the set of unistochastic matrices with respect to the Birkhoff polytope of doubly stochastic matrices is ^[3] $8\pi ^{2}/105\approx 75.2\%$
for $n=4$ 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 ${\mathcal {U}}_{n}$ of unistochastic $n\times n$ matrices: for any vector $v\in \mathbb {R} ^{n}$ the set ${\mathcal {U}}_{n}v$ is the convex hull of the set of vectors obtained by all permutations of the entries of the vector $v$ (the permutation polytope generated by the vector $v$ ).
The set of $n\times n$ unistochastic matrices ${\mathcal {U}}_{n}\subset \mathbb {R} ^{(n-1)^{2}}$ has a nonempty interior. The unistochastic matrix corresponding to the unitary $n\times n$ matrix with the entries $U_{ij}=\delta _{ij}+{\frac {\theta -1}{n}}$ , where $|\theta |=1$ and $\theta \neq \pm 1$ , is an interior point of ${\mathcal {U}}_{n}$ .

References

^ 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.
^ 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.
^ 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.
^ 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.

[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.

[1]

[2]

[3]

[4]