6
$\begingroup$

Here is a question that came up while I was thinking about the foundations of quantum mechanics:

Consider a unitary $n\times n$ complex matrix $U$, with elements $u_{ij}$. We know that the rows and columns of such a matrix must form orthonormal bases of $\mathbb{C}^n$. It follows that the matrix $P$, with elements $p_{ij} = |u_{ij}|^2$, must be doubly stochastic, i.e. $\sum_i p_{ij} = \sum_j p_{ij} = 1$, and every $p_{ij}\ge 0$.

The question is, is the reverse also true? That is, for any arbitrary doubly stochastic matrix $P = (p_{ij})$, does there exist a unitary matrix $U$ with elements $u_{ij}$ such that $|u_{ij}|^2 = p_{ij}$?

If so, is there a systematic way to construct such a unitary matrix, given $P$? (I realise the solution will not be unique.)

If not, is there some other property, besides being doubly stochastic, that $P$ must have in order to make this conjecture true?

$\endgroup$

1 Answer 1

4
$\begingroup$

Answering my own question: No, the reverse does not hold. There exist doubly stochastic matrices whose elements are not the squared magnitudes of the elements of a unitary matrix.

At this point I don't know an explicit counterexample, but a fair bit of literature on the subject can be found by Googling "unistochastic matrix", which is the term for a doubly stochastic matrix that can be expressed in this way.

$\endgroup$
3
  • $\begingroup$ Have you found an explicit example by any chance? $\endgroup$
    – Andrea
    Commented Nov 26, 2017 at 19:50
  • $\begingroup$ According to Wikipedia, the following is an example of a doubly stochastic matrix that is not unistochastic: $$\frac{1}{2} \begin{bmatrix} 1 & 1 & 0 \\ 0 & 1 & 1 \\ 1 & 0 & 1 \end{bmatrix}.$$ $\endgroup$
    – N. Virgo
    Commented Nov 27, 2017 at 3:22
  • $\begingroup$ I was on that page yesterday, but I must have been still jet lagged because I didn't see the counterexample somehow. Sorry and thanks for your time! $\endgroup$
    – Andrea
    Commented Nov 27, 2017 at 19:35

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .