Skip to main content
added 415 characters in body
Source Link
Iosif Pinelis
  • 127.7k
  • 8
  • 107
  • 229

$\newcommand\SU{\text{SU}}$Vectorizing the matrix $u$ (by writing $a_i:=u_{k,l}$ for $i:=(k,l)$, so that the entries of the matrix $u^*\otimes u$ are $\bar u_{k,l}u_{r,s}=\bar a_i a_j$ for $i:=(k,l)$ and $j:=(r,s)$), we reduce the problem to the following:

For a nonzero complex vector $a=(a_i)$, we know the matrix $p=(p_{ij})$, where $p_{ij}=\bar a_i a_j$. Can we recover $a$ based on this information?

To answer this question, note that the condition that $a$ is nonzero implies that $a_i\ne0$ for some $i$. Fix any such $i$.

Then $p_{ii}=\bar a_i a_i=|a_i|^2\ne0$, and from the condition $p_{ij}=\bar a_i a_j$ we get $a_j=C_{ij}a_i$, where $C_{ij}:=p_{ij}/p_{ii}$ is a known complex number.

It also follows that $a_i=\sqrt{p_{ii}} e^{it}$ for some $t\in[0,2\pi)$ and hence
$$a_j=C_{ij}\sqrt{p_{ii}} e^{it}=\frac{p_{ij}}{\sqrt{p_{ii}}}\,e^{it}.$$ for all $j$.

Thus, we have determined all the $a_j$'s up to the constant factor $e^{it}$ of modulus $1$.

Thus, we have determined the matrix $u$ up to the constant factor $e^{it}$ of modulus $1$: $$u_{r,s}=\frac{p_{(k,l)(r,s)}}{\sqrt{p_{(k,l)(k,l)}}}\,e^{it}$$ for some $(k,l)$ such that $p_{(k,l)(k,l)}>0$ and for all $(r,s)$, where $p:=\SU$.

This is all that can be done: the matrix $u$ can be determined only up to a constant factor $e^{it}$ of modulus $1$. Indeed, if $u$ is a unitary matrix such that $u^*\otimes u$ is the given matrix $\SU$, then for any real $t$ we have that $v:=e^{it}u$ is a unitary matrix such that $v^*\otimes v=\SU$. $\quad\Box$


At the OP's request, here is the link to a pdf image (two pages) of a Mathematica notebook providing an example showing how to get $u$ from $\SU$, up to a constant factor of modulus $1$.

$\newcommand\SU{\text{SU}}$Vectorizing the matrix $u$ (by writing $a_i:=u_{k,l}$ for $i:=(k,l)$, so that the entries of the matrix $u^*\otimes u$ are $\bar u_{k,l}u_{r,s}=\bar a_i a_j$ for $i:=(k,l)$ and $j:=(r,s)$), we reduce the problem to the following:

For a nonzero complex vector $a=(a_i)$, we know the matrix $p=(p_{ij})$, where $p_{ij}=\bar a_i a_j$. Can we recover $a$ based on this information?

To answer this question, note that the condition that $a$ is nonzero implies that $a_i\ne0$ for some $i$. Fix any such $i$.

Then $p_{ii}=\bar a_i a_i=|a_i|^2\ne0$, and from the condition $p_{ij}=\bar a_i a_j$ we get $a_j=C_{ij}a_i$, where $C_{ij}:=p_{ij}/p_{ii}$ is a known complex number.

It also follows that $a_i=\sqrt{p_{ii}} e^{it}$ for some $t\in[0,2\pi)$ and hence
$$a_j=C_{ij}\sqrt{p_{ii}} e^{it}=\frac{p_{ij}}{\sqrt{p_{ii}}}\,e^{it}.$$ for all $j$.

Thus, we have determined all the $a_j$'s up to the constant factor $e^{it}$ of modulus $1$.

Thus, we have determined the matrix $u$ up to the constant factor $e^{it}$ of modulus $1$: $$u_{r,s}=\frac{p_{(k,l)(r,s)}}{\sqrt{p_{(k,l)(k,l)}}}\,e^{it}$$ for some $(k,l)$ such that $p_{(k,l)(k,l)}>0$ and for all $(r,s)$, where $p:=\SU$.

This is all that can be done: the matrix $u$ can be determined only up to a constant factor $e^{it}$ of modulus $1$. Indeed, if $u$ is a unitary matrix such that $u^*\otimes u$ is the given matrix $\SU$, then for any real $t$ we have that $v:=e^{it}u$ is a unitary matrix such that $v^*\otimes v=\SU$. $\quad\Box$

$\newcommand\SU{\text{SU}}$Vectorizing the matrix $u$ (by writing $a_i:=u_{k,l}$ for $i:=(k,l)$, so that the entries of the matrix $u^*\otimes u$ are $\bar u_{k,l}u_{r,s}=\bar a_i a_j$ for $i:=(k,l)$ and $j:=(r,s)$), we reduce the problem to the following:

For a nonzero complex vector $a=(a_i)$, we know the matrix $p=(p_{ij})$, where $p_{ij}=\bar a_i a_j$. Can we recover $a$ based on this information?

To answer this question, note that the condition that $a$ is nonzero implies that $a_i\ne0$ for some $i$. Fix any such $i$.

Then $p_{ii}=\bar a_i a_i=|a_i|^2\ne0$, and from the condition $p_{ij}=\bar a_i a_j$ we get $a_j=C_{ij}a_i$, where $C_{ij}:=p_{ij}/p_{ii}$ is a known complex number.

It also follows that $a_i=\sqrt{p_{ii}} e^{it}$ for some $t\in[0,2\pi)$ and hence
$$a_j=C_{ij}\sqrt{p_{ii}} e^{it}=\frac{p_{ij}}{\sqrt{p_{ii}}}\,e^{it}.$$ for all $j$.

Thus, we have determined all the $a_j$'s up to the constant factor $e^{it}$ of modulus $1$.

Thus, we have determined the matrix $u$ up to the constant factor $e^{it}$ of modulus $1$: $$u_{r,s}=\frac{p_{(k,l)(r,s)}}{\sqrt{p_{(k,l)(k,l)}}}\,e^{it}$$ for some $(k,l)$ such that $p_{(k,l)(k,l)}>0$ and for all $(r,s)$, where $p:=\SU$.

This is all that can be done: the matrix $u$ can be determined only up to a constant factor $e^{it}$ of modulus $1$. Indeed, if $u$ is a unitary matrix such that $u^*\otimes u$ is the given matrix $\SU$, then for any real $t$ we have that $v:=e^{it}u$ is a unitary matrix such that $v^*\otimes v=\SU$. $\quad\Box$


At the OP's request, here is the link to a pdf image (two pages) of a Mathematica notebook providing an example showing how to get $u$ from $\SU$, up to a constant factor of modulus $1$.

added 1 character in body
Source Link
Iosif Pinelis
  • 127.7k
  • 8
  • 107
  • 229

$\newcommand\SU{\text{SU}}$Vectorizing the matrix $u$ (by writing $a_i:=u_{k,l}$ for $i:=(k,l)$, so that the entries of the matrix $u^*\otimes u$ are $\bar u_{k,l}u_{r,s}=\bar a_i a_j$ for $i:=(k,l)$ and $j:=(r,s)$), we reduce the problem to the following:

For a nonzero complex vector $a=(a_i)$, we know the matrix $p=(p_{ij})$, where $p_{ij}=\bar a_i a_j$. Can we recover $a$ based on this information?

To answer this question, note that the condition that $a$ is nonzero implies that $a_i\ne0$ for some $i$. Fix any such $i$.

Then $p_{ii}=\bar a_i a_i=|a_i|^2\ne0$, and from the condition $p_{ij}=\bar a_i a_j$ we get $a_j=C_{ij}a_i$, where $C_{ij}:=p_{ij}/p_{ii}$ is a known complex number.

It also follows that $a_i=\sqrt{p_{ii}} e^{it}$ for some $t\in[0,2\pi)$ and hence
$$a_j=C_{ij}\sqrt{p_{ii}} e^{it}=\frac{p_{ij}}{\sqrt{p_{ii}}}\,e^{it}.$$ for all $j$.

Thus, we have determined all the $a_j$'s up to the constant factor $e^{it}$ of modulus $1$.

Thus, we have determined the matrix $u$ up to the constant factor $e^{it}$ of modulus $1$: $$u_{r,s}=\frac{p_{(k,l)(r,s)}}{\sqrt{p_{(k,l)(k,l)}}}\,e^{it}$$ for some $(k,l)$ such that $p_{(k,l)(k,l)}>0$ and for all $(r,s)$, where $p:=\SU$.

Thus, we have determined the matrix $u$ up to the constant factor $e^{it}$ of modulus $1$: $$u_{r,s}=\frac{p_{(k,l)(r,s)}}{\sqrt{p_{(k,l)(k,l)}}}\,e^{it}$$ for some $(k,l)$ such that $p_{(k,l)(k,l)}>0$ and for all $(r,s)$, where $p:=\SU$.

This is all that can be done: the matrix $u$ can be determined only up to a constant factor $e^{it}$ of modulus $1$. Indeed, if $u$ is a unitary matrix such that $u^*\otimes u$ is the given matrix $\SU$, then for any real $t$ we have that $v:=e^{it}u$ is a unitary matrix such that $v^*\otimes v=\SU$. $\quad\Box$

$\newcommand\SU{\text{SU}}$Vectorizing the matrix $u$ (by writing $a_i:=u_{k,l}$ for $i:=(k,l)$, so that the entries of the matrix $u^*\otimes u$ are $\bar u_{k,l}u_{r,s}=\bar a_i a_j$ for $i:=(k,l)$ and $j:=(r,s)$), we reduce the problem to the following:

For a nonzero complex vector $a=(a_i)$, we know the matrix $p=(p_{ij})$, where $p_{ij}=\bar a_i a_j$. Can we recover $a$ based on this information?

To answer this question, note that the condition that $a$ is nonzero implies that $a_i\ne0$ for some $i$. Fix any such $i$.

Then $p_{ii}=\bar a_i a_i=|a_i|^2\ne0$, and from the condition $p_{ij}=\bar a_i a_j$ we get $a_j=C_{ij}a_i$, where $C_{ij}:=p_{ij}/p_{ii}$ is a known complex number.

It also follows that $a_i=\sqrt{p_{ii}} e^{it}$ for some $t\in[0,2\pi)$ and hence
$$a_j=C_{ij}\sqrt{p_{ii}} e^{it}=\frac{p_{ij}}{\sqrt{p_{ii}}}\,e^{it}.$$ for all $j$.

Thus, we have determined all the $a_j$'s up to the constant factor $e^{it}$ of modulus $1$.

Thus, we have determined the matrix $u$ up to the constant factor $e^{it}$ of modulus $1$: $$u_{r,s}=\frac{p_{(k,l)(r,s)}}{\sqrt{p_{(k,l)(k,l)}}}\,e^{it}$$ for some $(k,l)$ such that $p_{(k,l)(k,l)}>0$ and for all $(r,s)$, where $p:=\SU$.

This is all that can be done: the matrix $u$ can be determined only up to a constant factor $e^{it}$ of modulus $1$. Indeed, if $u$ is a unitary matrix such that $u^*\otimes u$ is the given matrix $\SU$, then for any real $t$ we have that $v:=e^{it}u$ is a unitary matrix such that $v^*\otimes v=\SU$. $\quad\Box$

$\newcommand\SU{\text{SU}}$Vectorizing the matrix $u$ (by writing $a_i:=u_{k,l}$ for $i:=(k,l)$, so that the entries of the matrix $u^*\otimes u$ are $\bar u_{k,l}u_{r,s}=\bar a_i a_j$ for $i:=(k,l)$ and $j:=(r,s)$), we reduce the problem to the following:

For a nonzero complex vector $a=(a_i)$, we know the matrix $p=(p_{ij})$, where $p_{ij}=\bar a_i a_j$. Can we recover $a$ based on this information?

To answer this question, note that the condition that $a$ is nonzero implies that $a_i\ne0$ for some $i$. Fix any such $i$.

Then $p_{ii}=\bar a_i a_i=|a_i|^2\ne0$, and from the condition $p_{ij}=\bar a_i a_j$ we get $a_j=C_{ij}a_i$, where $C_{ij}:=p_{ij}/p_{ii}$ is a known complex number.

It also follows that $a_i=\sqrt{p_{ii}} e^{it}$ for some $t\in[0,2\pi)$ and hence
$$a_j=C_{ij}\sqrt{p_{ii}} e^{it}=\frac{p_{ij}}{\sqrt{p_{ii}}}\,e^{it}.$$ for all $j$.

Thus, we have determined all the $a_j$'s up to the constant factor $e^{it}$ of modulus $1$.

Thus, we have determined the matrix $u$ up to the constant factor $e^{it}$ of modulus $1$: $$u_{r,s}=\frac{p_{(k,l)(r,s)}}{\sqrt{p_{(k,l)(k,l)}}}\,e^{it}$$ for some $(k,l)$ such that $p_{(k,l)(k,l)}>0$ and for all $(r,s)$, where $p:=\SU$.

This is all that can be done: the matrix $u$ can be determined only up to a constant factor $e^{it}$ of modulus $1$. Indeed, if $u$ is a unitary matrix such that $u^*\otimes u$ is the given matrix $\SU$, then for any real $t$ we have that $v:=e^{it}u$ is a unitary matrix such that $v^*\otimes v=\SU$. $\quad\Box$

deleted 169 characters in body
Source Link
Iosif Pinelis
  • 127.7k
  • 8
  • 107
  • 229

$\newcommand\SU{\text{SU}}$Vectorizing the matrix $u$ (by writing $a_i:=u_{k,l}$ for $i:=(k,l)$, so that the entries of the matrix $u^*\otimes u$ are $\bar u_{k,l}u_{r,s}=\bar a_i a_j$ for $i:=(k,l)$ and $j:=(r,s)$), we reduce the problem to the following:

For a nonzero complex vector $a=(a_i)$ with $\sum_i|a_i|^2$ being a known number $N>0$, we know the matrix $p=(p_{ij})$, where $p_{ij}=\bar a_i a_j$$p_{ij}=\bar a_i a_j$. Can we recover $a$ based on this information?

To answer this question, note that the condition that $\sum_i|a_i|^2=N>0$$a$ is nonzero implies that $a_i\ne0$ for some $i$. Fix any such $i$.

Then $p_{ii}=\bar a_i a_i\ne0$$p_{ii}=\bar a_i a_i=|a_i|^2\ne0$, and from the condition $p_{ij}=\bar a_i a_j$ we get $a_j=C_{ij}a_i$, where $C_{ij}:=p_{ij}/p_{ii}$ is a known complex number. Using the condition $\sum_j|a_j|^2=N>0$ again, we get $$0<N=\sum_j|a_j|^2=|a_i|^2 M_i,$$ where $M_i:=\sum_j|C_{ij}|^2$ is known. 

It also follows that $M_i>0$ and hence $$|a_i|=r_i:=\sqrt{N/M_i}$$ and $r_i$ is known.

So, $a_i=r_i e^{it}$$a_i=\sqrt{p_{ii}} e^{it}$ for some $t\in[0,2\pi)$ and hence 
$$a_j=C_{ij}r_i e^{it}$$$$a_j=C_{ij}\sqrt{p_{ii}} e^{it}=\frac{p_{ij}}{\sqrt{p_{ii}}}\,e^{it}.$$ for all $j$.

Thus, we have determined all the $a_j$'s up to the constant factor $e^{it}$ of modulus $1$.

Thus, we have determined the matrix $u$ up to the constant factor $e^{it}$ of modulus $1$: $$u_{r,s}=C_{(k,l)(r,s)}r_{k,l} e^{it}$$$$u_{r,s}=\frac{p_{(k,l)(r,s)}}{\sqrt{p_{(k,l)(k,l)}}}\,e^{it}$$ for some $(k,l)$ such that $p_{(k,l)(k,l)}>0$ and for all $(r,s)$, where $p:=\SU$.

This is all that can be done: the matrix $u$ can be determined only up to a constant factor $e^{it}$ of modulus $1$. Indeed, if $u$ is a unitary matrix such that $u^*\otimes u$ is the given matrix $\SU$, then for any real $t$ we have that $v:=e^{it}u$ is a unitary matrix such that $v^*\otimes v=\SU$. $\quad\Box$

$\newcommand\SU{\text{SU}}$Vectorizing the matrix $u$ (by writing $a_i:=u_{k,l}$ for $i:=(k,l)$, so that the entries of the matrix $u^*\otimes u$ are $\bar u_{k,l}u_{r,s}=\bar a_i a_j$ for $i:=(k,l)$ and $j:=(r,s)$), we reduce the problem to the following:

For a complex vector $a=(a_i)$ with $\sum_i|a_i|^2$ being a known number $N>0$, we know the matrix $p=(p_{ij})$, where $p_{ij}=\bar a_i a_j$. Can we recover $a$ based on this information?

To answer this question, note that the condition $\sum_i|a_i|^2=N>0$ implies that $a_i\ne0$ for some $i$. Fix any such $i$.

Then $p_{ii}=\bar a_i a_i\ne0$, and from the condition $p_{ij}=\bar a_i a_j$ we get $a_j=C_{ij}a_i$, where $C_{ij}:=p_{ij}/p_{ii}$ is a known complex number. Using the condition $\sum_j|a_j|^2=N>0$ again, we get $$0<N=\sum_j|a_j|^2=|a_i|^2 M_i,$$ where $M_i:=\sum_j|C_{ij}|^2$ is known. It also follows that $M_i>0$ and hence $$|a_i|=r_i:=\sqrt{N/M_i}$$ and $r_i$ is known.

So, $a_i=r_i e^{it}$ for some $t\in[0,2\pi)$ and hence $$a_j=C_{ij}r_i e^{it}$$ for all $j$.

Thus, we have determined all the $a_j$'s up to the constant factor $e^{it}$ of modulus $1$.

Thus, we have determined the matrix $u$ up to the constant factor $e^{it}$ of modulus $1$: $$u_{r,s}=C_{(k,l)(r,s)}r_{k,l} e^{it}$$ for some $(k,l)$ such that $p_{(k,l)(k,l)}>0$ and for all $(r,s)$, where $p:=\SU$.

This is all that can be done. Indeed, if $u$ is a unitary matrix such that $u^*\otimes u$ is the given matrix $\SU$, then for any real $t$ we have that $v:=e^{it}u$ is a unitary matrix such that $v^*\otimes v=\SU$. $\quad\Box$

$\newcommand\SU{\text{SU}}$Vectorizing the matrix $u$ (by writing $a_i:=u_{k,l}$ for $i:=(k,l)$, so that the entries of the matrix $u^*\otimes u$ are $\bar u_{k,l}u_{r,s}=\bar a_i a_j$ for $i:=(k,l)$ and $j:=(r,s)$), we reduce the problem to the following:

For a nonzero complex vector $a=(a_i)$, we know the matrix $p=(p_{ij})$, where $p_{ij}=\bar a_i a_j$. Can we recover $a$ based on this information?

To answer this question, note that the condition that $a$ is nonzero implies that $a_i\ne0$ for some $i$. Fix any such $i$.

Then $p_{ii}=\bar a_i a_i=|a_i|^2\ne0$, and from the condition $p_{ij}=\bar a_i a_j$ we get $a_j=C_{ij}a_i$, where $C_{ij}:=p_{ij}/p_{ii}$ is a known complex number. 

It also follows that $a_i=\sqrt{p_{ii}} e^{it}$ for some $t\in[0,2\pi)$ and hence 
$$a_j=C_{ij}\sqrt{p_{ii}} e^{it}=\frac{p_{ij}}{\sqrt{p_{ii}}}\,e^{it}.$$ for all $j$.

Thus, we have determined all the $a_j$'s up to the constant factor $e^{it}$ of modulus $1$.

Thus, we have determined the matrix $u$ up to the constant factor $e^{it}$ of modulus $1$: $$u_{r,s}=\frac{p_{(k,l)(r,s)}}{\sqrt{p_{(k,l)(k,l)}}}\,e^{it}$$ for some $(k,l)$ such that $p_{(k,l)(k,l)}>0$ and for all $(r,s)$, where $p:=\SU$.

This is all that can be done: the matrix $u$ can be determined only up to a constant factor $e^{it}$ of modulus $1$. Indeed, if $u$ is a unitary matrix such that $u^*\otimes u$ is the given matrix $\SU$, then for any real $t$ we have that $v:=e^{it}u$ is a unitary matrix such that $v^*\otimes v=\SU$. $\quad\Box$

added 43 characters in body
Source Link
Iosif Pinelis
  • 127.7k
  • 8
  • 107
  • 229
Loading
added 43 characters in body
Source Link
Iosif Pinelis
  • 127.7k
  • 8
  • 107
  • 229
Loading
added 43 characters in body
Source Link
Iosif Pinelis
  • 127.7k
  • 8
  • 107
  • 229
Loading
Source Link
Iosif Pinelis
  • 127.7k
  • 8
  • 107
  • 229
Loading