« first day (692 days earlier)      last day (1536 days later) » 

2:14 PM
[ Boson ] New comment posted by tparker
Latex (actually) MathJax) support is built into this web site; it doesn't matter what input device you use to type. — tparker 17 mins ago
 
 
3 hours later…
5:09 PM
[ Boson ] New comment posted by glS
sure, but we don't even need to worry about the complex square root here. The eigenvalues are all non-negative, so the algebraic square root is sufficient, and well-defined at $0$. We know that $\rho\sigma=P\Lambda P^{-1}$ for invertible $P$ and non-negative real $\Lambda$, so we just define $\sqrt{\rho\sigma}=P\sqrt{\Lambda}P^{-1}$. — glS 15 mins ago
[ Boson ] New comment posted by Cristian Dumitrescu
Actually that is not true tparker , depends on the operating system and other compatibility issues. I cannot directly write a mathematical expression/equation on my smartphone. I posted this question on physics and I did not get an answer, that's why I also decided to post it here. I hope to get a detailed answer , not just side/ secondary comments about the presentation. — Cristian Dumitrescu 17 mins ago
 
5:34 PM
[ Boson ] New comment posted by Cristian Dumitrescu
The question is suitable for both sites, even if now I know that cross-posting is not encouraged, even if in some cases is allowed. — Cristian Dumitrescu 17 mins ago
 
6:24 PM
[ Boson ] New comment posted by Björn Smedman
I emailed the corresponding author about this, and it has been fixed in the latest version of the Supplementary Information: arxiv.org/abs/1910.11333Björn Smedman 1 min ago
 
 
2 hours later…
8:04 PM
[ Boson ] New comment posted by glS
did you mean to write $|\sqrt\rho\sqrt\sigma|$ rather than $|\sqrt{\rho\sigma}|$ here? The latter it's the standard expression used in this context. These are not obviously equivalent: $|\sqrt{\rho\sigma}|=\sqrt{\sqrt{\sigma\rho}\sqrt{\rho\sigma}}$ but $\sqrt{\sigma\rho}\neq\sqrt\sigma\sqrt\rho$ — glS 12 mins ago
[ Boson ] New comment posted by glS
A state $\rho$ needs only be Hermitian and have unit trace. You can have Hermitian matrices with and without cross terms. Does this answer the question? — glS 15 mins ago
 
8:29 PM
[ Boson ] New comment posted by Danylo Y
In general, matrix could have no eigenvectors for some eigenvalues, i.e. it can be non-diagonalizable (en.wikipedia.org/wiki/Defective_matrix). Square root of such matrix is not well-defined. I can't find a concrete example for $\rho$ and $\sigma$ right now, but I think it exists. — Danylo Y 6 mins ago
[ Boson ] New comment posted by glS
for 3), why not? $\sqrt{\rho\sigma}$ is perfectly well-defined by having the square root operate on the eigenvalues (which are guaranteed to be non-negative). I mean you can also try the formula numerically on your computer algebra system of choice and see that it gives the correct result — glS 13 mins ago
 
8:54 PM
[ Boson ] New comment posted by glS
indeed, I tried with singular random states with different ranks. Use e.g. With[{ a = ArrayFlatten[{{randomState[2], 0}, {0, #}} &@ ConstantArray[0, {6, 6}]], b = ArrayFlatten[{{randomState[3], 0}, {0, #}} &@ ConstantArray[0, {5, 5}]] }, {Dot[mSqrt@a, b, mSqrt@a], Echo[#, "", DiagonalizableMatrixQ] &@Dot[a, b]} // Map@Eigenvalues // Chop // Column ] with randomState a function generating random states of your choice — glS 2 mins ago
[ Boson ] New comment posted by Danylo Y
Well, if we pick $\rho$ and $\sigma$ at random then $\rho\sigma$ will have different eigenvalues, so it will be diagonalizable. The non-diagonalizable example should have at least two zero eigenvalues. — Danylo Y 5 mins ago
[ Boson ] New comment posted by glS
in general, sure. In this case, it doesn't look like it. What we do know is that $\sqrt\rho\sigma\sqrt\rho$ and $\sigma\rho$ have the same characteristic polynomial (see math.stackexchange.com/q/311342/173147), hence at least the generalised eigenvalues will always be the same, i.e. one could define the matrix function on the Jordan normal form, and be ensured to get a correct result. The minimal polynomials might be different, and thus $\rho\sigma$ not be diagonalisable, but this doesn't seem to ever happen, at least picking the states at random — glS 17 mins ago
 
 
2 hours later…
10:34 PM
[ Boson ] New comment posted by tparker
Re 1), why can't you just Taylor expand around the identity instead of the zero operator? Such a Taylor expansion converges at zero. — tparker 4 mins ago
[ Boson ] New comment posted by tparker
@glS Defective matrices are a measure-zero subset of the set of matrices, so if such a possibility exists then you won't get it by generating random matrices. But by the same token, even if it's possible for the cycled operator to be defective, then I think my identity is still "morally" true, in the sense that it holds for almost all matrices, and we could always perturb a pair of density matrices that happen to be defective. Either way, it would be good to know whether cycling to a defective operator is actually possible. — tparker 6 mins ago
 

« first day (692 days earlier)      last day (1536 days later) »