8
$\begingroup$

Given a unitary matrix $A$ with entries $a_{ii}$, it's clear that the matrix $B$ with entries $b_{ii} = |a_{ii}|^2$ is doubly stochastic. Is the inverse of this statement true? Namely, given a doubly stochastic matrix $B'$ with entries $\beta_{ii}$, does there exist a unitary matrix with entries $\alpha_{ii}$ such that $|\alpha|^2_{ii} = \beta_{ii}$?

$\endgroup$
1

4 Answers 4

4
$\begingroup$

A brief googling yielded another interesting paper:

http://www.sciencedirect.com/science/article/pii/0024379578900228

Topological properties of orthostochastic matrices ☆

Tony F. Heinz

"In this paper, it is shown that for n⩾3 the orthostochastic matrices are not everywhere dense in the set of doubly stochastic matrices, thus answering a question of L. Mirsky in his survey article on doubly stochastic matrices [2]"

$\endgroup$
1
  • $\begingroup$ That answers the question directly - thank you! $\endgroup$
    – Ben Lerner
    Mar 29, 2012 at 1:25
17
$\begingroup$

Counterexample: $$\begin{pmatrix} 0 & 1/2 & 1/2 \\ 1/2 & 0 & 1/2 \\ 1/2 & 1/2 & 0 \end{pmatrix}.$$ The question is of interest in quantum probability. Your map from unitary matrices to doubly stochastic matrices defines an interesting region which has non-zero volume, and which cannot be convex because it visits all of the vertices.

$\endgroup$
2
  • 3
    $\begingroup$ Stochasm is the lowest form of wit. $\endgroup$
    – Will Jagy
    Nov 7, 2011 at 2:53
  • $\begingroup$ @WillJagy Your comment still brings out a belly laugh four years later. $\endgroup$ Jan 26, 2015 at 12:41
8
$\begingroup$

Interesting topic. Today we do not have a clear picture about the relationship between being uni-stochastic (or ortho-stochastic, if you restrict your attention to orthogonal matrices) and doubly-stochastic.

A couple of references:

Defect of a unitary matrix, Wojciech Tadej, Karol Zyczkowski http://arxiv.org/abs/math/0702510

Recent work, it contains a number of references on the discussion.

On the digraph of a unitary matrix, Simone Severini http://arxiv.org/abs/math/0205187

A more combinatorial perspective (but superficial)

$\endgroup$
4
$\begingroup$

Yet another reference

I. Bengtsson, A. Ericsson, M. Kus, W. Tadej, and K. Zyczkowski, Birkhoff's polytope and unistochastic matrices, N=3 and N=4, Comm. Math. Phys. 259, 307-324 (2005).

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.