Is the solution to $A-O(A)=tilde Sigma$ unique?












2












$begingroup$


Let $tilde Sigma=text{diag}(tilde sigma_i)$ be a diagonal matrix, with $tilde sigma_i>0$. ($1 le i le n$).



Suppose that $A$ is a real invertible $n times n$ matrix with positive determinant, satisfying $A-O(A)=tilde Sigma$, where $O(A)=A(sqrt{A^TA})^{-1}$ is the orthogonal polar factor of $A$, i.e. $A=OP$ for some special orthogonal matrix $O$ and symmetric positive-definite matrix $P$.




Is it true that $A=text{diag}(tilde sigma_i+1)$? (In that case $O(A)=text{Id}$).




Writing $A=USigma V^T$ (SVD), the equation $A-O(A)=tilde Sigma$ becomes



$$ U(Sigma -text{Id}) V^T=tilde Sigma.$$



Taking the transpose of the equation, we also have



$$ V(Sigma -text{Id}) U^T=tilde Sigma.$$



Combining these two equations, we then have



$$ U(Sigma -text{Id})^2 U^T=tilde Sigma^2.$$



Considering the eigenvalues of both sides, we deduce that $(sigma_i-1)^2=tilde sigma_{tau(i)}^2$, where $tau in S_n$ is a permutation. Let $v_i$ be the $i$-th column of $U^T$. If all the $tilde sigma_i$ are distinct, then
$(Sigma -text{Id})^2 v_i=tilde sigma_{tau(i)}^2 v_i$, which implies $v_i in text{span}{e_{tau(i)}}$. Since the columns of $U^T$ are orthonormal, we have $v_i=pm e_{alpha(i)}$, i.e. $U^T$ must be a signed permutation matrix.



The same reasoning can be applied to $V$. Thus, $A=USigma V^T$ must be diagonal.
(Is this really true? I am not so sure now).










share|cite|improve this question











$endgroup$

















    2












    $begingroup$


    Let $tilde Sigma=text{diag}(tilde sigma_i)$ be a diagonal matrix, with $tilde sigma_i>0$. ($1 le i le n$).



    Suppose that $A$ is a real invertible $n times n$ matrix with positive determinant, satisfying $A-O(A)=tilde Sigma$, where $O(A)=A(sqrt{A^TA})^{-1}$ is the orthogonal polar factor of $A$, i.e. $A=OP$ for some special orthogonal matrix $O$ and symmetric positive-definite matrix $P$.




    Is it true that $A=text{diag}(tilde sigma_i+1)$? (In that case $O(A)=text{Id}$).




    Writing $A=USigma V^T$ (SVD), the equation $A-O(A)=tilde Sigma$ becomes



    $$ U(Sigma -text{Id}) V^T=tilde Sigma.$$



    Taking the transpose of the equation, we also have



    $$ V(Sigma -text{Id}) U^T=tilde Sigma.$$



    Combining these two equations, we then have



    $$ U(Sigma -text{Id})^2 U^T=tilde Sigma^2.$$



    Considering the eigenvalues of both sides, we deduce that $(sigma_i-1)^2=tilde sigma_{tau(i)}^2$, where $tau in S_n$ is a permutation. Let $v_i$ be the $i$-th column of $U^T$. If all the $tilde sigma_i$ are distinct, then
    $(Sigma -text{Id})^2 v_i=tilde sigma_{tau(i)}^2 v_i$, which implies $v_i in text{span}{e_{tau(i)}}$. Since the columns of $U^T$ are orthonormal, we have $v_i=pm e_{alpha(i)}$, i.e. $U^T$ must be a signed permutation matrix.



    The same reasoning can be applied to $V$. Thus, $A=USigma V^T$ must be diagonal.
    (Is this really true? I am not so sure now).










    share|cite|improve this question











    $endgroup$















      2












      2








      2





      $begingroup$


      Let $tilde Sigma=text{diag}(tilde sigma_i)$ be a diagonal matrix, with $tilde sigma_i>0$. ($1 le i le n$).



      Suppose that $A$ is a real invertible $n times n$ matrix with positive determinant, satisfying $A-O(A)=tilde Sigma$, where $O(A)=A(sqrt{A^TA})^{-1}$ is the orthogonal polar factor of $A$, i.e. $A=OP$ for some special orthogonal matrix $O$ and symmetric positive-definite matrix $P$.




      Is it true that $A=text{diag}(tilde sigma_i+1)$? (In that case $O(A)=text{Id}$).




      Writing $A=USigma V^T$ (SVD), the equation $A-O(A)=tilde Sigma$ becomes



      $$ U(Sigma -text{Id}) V^T=tilde Sigma.$$



      Taking the transpose of the equation, we also have



      $$ V(Sigma -text{Id}) U^T=tilde Sigma.$$



      Combining these two equations, we then have



      $$ U(Sigma -text{Id})^2 U^T=tilde Sigma^2.$$



      Considering the eigenvalues of both sides, we deduce that $(sigma_i-1)^2=tilde sigma_{tau(i)}^2$, where $tau in S_n$ is a permutation. Let $v_i$ be the $i$-th column of $U^T$. If all the $tilde sigma_i$ are distinct, then
      $(Sigma -text{Id})^2 v_i=tilde sigma_{tau(i)}^2 v_i$, which implies $v_i in text{span}{e_{tau(i)}}$. Since the columns of $U^T$ are orthonormal, we have $v_i=pm e_{alpha(i)}$, i.e. $U^T$ must be a signed permutation matrix.



      The same reasoning can be applied to $V$. Thus, $A=USigma V^T$ must be diagonal.
      (Is this really true? I am not so sure now).










      share|cite|improve this question











      $endgroup$




      Let $tilde Sigma=text{diag}(tilde sigma_i)$ be a diagonal matrix, with $tilde sigma_i>0$. ($1 le i le n$).



      Suppose that $A$ is a real invertible $n times n$ matrix with positive determinant, satisfying $A-O(A)=tilde Sigma$, where $O(A)=A(sqrt{A^TA})^{-1}$ is the orthogonal polar factor of $A$, i.e. $A=OP$ for some special orthogonal matrix $O$ and symmetric positive-definite matrix $P$.




      Is it true that $A=text{diag}(tilde sigma_i+1)$? (In that case $O(A)=text{Id}$).




      Writing $A=USigma V^T$ (SVD), the equation $A-O(A)=tilde Sigma$ becomes



      $$ U(Sigma -text{Id}) V^T=tilde Sigma.$$



      Taking the transpose of the equation, we also have



      $$ V(Sigma -text{Id}) U^T=tilde Sigma.$$



      Combining these two equations, we then have



      $$ U(Sigma -text{Id})^2 U^T=tilde Sigma^2.$$



      Considering the eigenvalues of both sides, we deduce that $(sigma_i-1)^2=tilde sigma_{tau(i)}^2$, where $tau in S_n$ is a permutation. Let $v_i$ be the $i$-th column of $U^T$. If all the $tilde sigma_i$ are distinct, then
      $(Sigma -text{Id})^2 v_i=tilde sigma_{tau(i)}^2 v_i$, which implies $v_i in text{span}{e_{tau(i)}}$. Since the columns of $U^T$ are orthonormal, we have $v_i=pm e_{alpha(i)}$, i.e. $U^T$ must be a signed permutation matrix.



      The same reasoning can be applied to $V$. Thus, $A=USigma V^T$ must be diagonal.
      (Is this really true? I am not so sure now).







      matrix-equations matrix-calculus orthogonal-matrices






      share|cite|improve this question















      share|cite|improve this question













      share|cite|improve this question




      share|cite|improve this question








      edited Jan 1 at 9:37







      Asaf Shachar

















      asked Oct 22 '18 at 14:10









      Asaf ShacharAsaf Shachar

      5,81131145




      5,81131145






















          2 Answers
          2






          active

          oldest

          votes


















          1












          $begingroup$

          A counterexample is $A=-tfrac12 I$ and $tildeSigma=tfrac12 I$ for even $n.$ Here $O(A)=-I.$



          $A$ is not necessarily diagonal. For an example it should work to take $n=4,$ $tildeSigma=tfrac12I,$ and $A=UDU^T$ where $D=operatorname{diag}(tfrac32,tfrac32,-tfrac12,-tfrac12)$ and $U$ is a rotation by forty-five degrees in the y-z plane.





          It is true that $O^2=I$ and $O$ commutes with $tildeSigma.$ The situation could be described as: after an orthogonal change of basis, $tildeSigma$ is still diagonal and $A$ is diagonal with $A_{ii}=tildeSigma_{ii}pm 1$ (and the $-1$ case can only occur when $tildeSigma_{ii}<1.$)



          Write $A=OP$ with $Oin SO_n$ and $P$ symmetric positive definite.



          There's a $Vin SO_n$ such that the matrix $P':=V^TPV$ is diagonal. Write $S'$ for the result of replacing the diagonal entries of $P'-I$ by their sign $pm 1$ (note $P-I$ is non-singular, so this is well defined) and write $|P'-I|$ for the result of replacing the diagonal entries of $P'-I$ by their absolute value. Define $S=VS'V^T$ and $|P-I|=V|P'-I|V^T.$ Note that $P-I$ and $S$ and $|P-I|$ all commute - they are simultaneously diagonalized by conjugation by $V$ on the right. And $S|P-I|=P-I.$



          $S$ is symmetric and satisfies $S^2=I$ so is actually orthogonal. Applying the uniqueness of the orthogonal polar decomposition to $OS|P-I|=tildeSigma$ gives $OS=I,$ which gives $O=S.$






          share|cite|improve this answer











          $endgroup$













          • $begingroup$
            Thanks. Indeed, I forgot about the possibility of $A_{ii}=tilde Sigma_{ii}-1$. I still wonder though: Is it true that when all the $tilde sigma_i$ are distinct, the solution $A$ must be diagonal? Also, you could take any rotation $U$ in your example, right? (the exact angle does not matter I think, as you can see in my answer below).
            $endgroup$
            – Asaf Shachar
            Jan 1 at 9:49










          • $begingroup$
            @AsafShachar: (1) Yes, if the $tilde sigma_i$ are distinct then $O$ and hence $A$ must be diagonal, since they commute with $tilde Sigma$ according to the argument in the second half of my answer. (2) Yes, I was just being concrete - anything that isn't a multiple of 90° should work
            $endgroup$
            – Dap
            Jan 1 at 10:26












          • $begingroup$
            Thank you very much! I see why your argument implies $S=O$ so $O^2=id$, and $tilde Sigma=|P-I|$ but how do we deduce that $O$ and $A$ commute with $tilde Sigma$? (or equivalently why $O$ commute with $A$?)
            $endgroup$
            – Asaf Shachar
            Jan 1 at 19:48








          • 1




            $begingroup$
            @AsafShachar: $|P-I|$ and $O$ are simultaneously diagonalizable. I have edited to more explicitly define $S$ and $|P-I|,$ which should make it easier to see that these all commute.
            $endgroup$
            – Dap
            Jan 2 at 7:50



















          0












          $begingroup$

          It is worth noting that even if $A$ is diagonal, then the solution is not unique:



          Indeed, take $A_1=text{diag}(3/2,5/4,2)$,$A_2=text{diag}(-1/2,-3/4,2)$ which both correspond to $tilde Sigma=text{diag}(1/2,1/4,1)$.



          Indeed, note that for diagonal matrix $D=text{diag}(d_i)$ in $GL^+$, $O(D)=text{diag}(text{sgn} (d_i))$.



          Furthermore, if $Sigma=lambda Id$, then for every solution $A$, and every orthogonal matrix $U$, $U^TAU$ is also a solution. This follows immediately from the fact that $O(AU)=O(A)U,O(UA)=UO(A)$. (These properties are due to the fact that $O(A)$ is simultaneously the left and right orthogonal polar factor of $A$).



          Thus, if $A-O(A)=tilde Sigma=lambda Id$, then



          $$U^TAU-O(U^TAU)=U^TAU-U^TO(A)U=U^T(A-O(A))U=U^Ttilde Sigma U=tilde Sigma,$$



          since $Sigma$ commutes with all matrices.






          share|cite|improve this answer









          $endgroup$













            Your Answer





            StackExchange.ifUsing("editor", function () {
            return StackExchange.using("mathjaxEditing", function () {
            StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
            StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
            });
            });
            }, "mathjax-editing");

            StackExchange.ready(function() {
            var channelOptions = {
            tags: "".split(" "),
            id: "69"
            };
            initTagRenderer("".split(" "), "".split(" "), channelOptions);

            StackExchange.using("externalEditor", function() {
            // Have to fire editor after snippets, if snippets enabled
            if (StackExchange.settings.snippets.snippetsEnabled) {
            StackExchange.using("snippets", function() {
            createEditor();
            });
            }
            else {
            createEditor();
            }
            });

            function createEditor() {
            StackExchange.prepareEditor({
            heartbeatType: 'answer',
            autoActivateHeartbeat: false,
            convertImagesToLinks: true,
            noModals: true,
            showLowRepImageUploadWarning: true,
            reputationToPostImages: 10,
            bindNavPrevention: true,
            postfix: "",
            imageUploader: {
            brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
            contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
            allowUrls: true
            },
            noCode: true, onDemand: true,
            discardSelector: ".discard-answer"
            ,immediatelyShowMarkdownHelp:true
            });


            }
            });














            draft saved

            draft discarded


















            StackExchange.ready(
            function () {
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2966080%2fis-the-solution-to-a-oa-tilde-sigma-unique%23new-answer', 'question_page');
            }
            );

            Post as a guest















            Required, but never shown

























            2 Answers
            2






            active

            oldest

            votes








            2 Answers
            2






            active

            oldest

            votes









            active

            oldest

            votes






            active

            oldest

            votes









            1












            $begingroup$

            A counterexample is $A=-tfrac12 I$ and $tildeSigma=tfrac12 I$ for even $n.$ Here $O(A)=-I.$



            $A$ is not necessarily diagonal. For an example it should work to take $n=4,$ $tildeSigma=tfrac12I,$ and $A=UDU^T$ where $D=operatorname{diag}(tfrac32,tfrac32,-tfrac12,-tfrac12)$ and $U$ is a rotation by forty-five degrees in the y-z plane.





            It is true that $O^2=I$ and $O$ commutes with $tildeSigma.$ The situation could be described as: after an orthogonal change of basis, $tildeSigma$ is still diagonal and $A$ is diagonal with $A_{ii}=tildeSigma_{ii}pm 1$ (and the $-1$ case can only occur when $tildeSigma_{ii}<1.$)



            Write $A=OP$ with $Oin SO_n$ and $P$ symmetric positive definite.



            There's a $Vin SO_n$ such that the matrix $P':=V^TPV$ is diagonal. Write $S'$ for the result of replacing the diagonal entries of $P'-I$ by their sign $pm 1$ (note $P-I$ is non-singular, so this is well defined) and write $|P'-I|$ for the result of replacing the diagonal entries of $P'-I$ by their absolute value. Define $S=VS'V^T$ and $|P-I|=V|P'-I|V^T.$ Note that $P-I$ and $S$ and $|P-I|$ all commute - they are simultaneously diagonalized by conjugation by $V$ on the right. And $S|P-I|=P-I.$



            $S$ is symmetric and satisfies $S^2=I$ so is actually orthogonal. Applying the uniqueness of the orthogonal polar decomposition to $OS|P-I|=tildeSigma$ gives $OS=I,$ which gives $O=S.$






            share|cite|improve this answer











            $endgroup$













            • $begingroup$
              Thanks. Indeed, I forgot about the possibility of $A_{ii}=tilde Sigma_{ii}-1$. I still wonder though: Is it true that when all the $tilde sigma_i$ are distinct, the solution $A$ must be diagonal? Also, you could take any rotation $U$ in your example, right? (the exact angle does not matter I think, as you can see in my answer below).
              $endgroup$
              – Asaf Shachar
              Jan 1 at 9:49










            • $begingroup$
              @AsafShachar: (1) Yes, if the $tilde sigma_i$ are distinct then $O$ and hence $A$ must be diagonal, since they commute with $tilde Sigma$ according to the argument in the second half of my answer. (2) Yes, I was just being concrete - anything that isn't a multiple of 90° should work
              $endgroup$
              – Dap
              Jan 1 at 10:26












            • $begingroup$
              Thank you very much! I see why your argument implies $S=O$ so $O^2=id$, and $tilde Sigma=|P-I|$ but how do we deduce that $O$ and $A$ commute with $tilde Sigma$? (or equivalently why $O$ commute with $A$?)
              $endgroup$
              – Asaf Shachar
              Jan 1 at 19:48








            • 1




              $begingroup$
              @AsafShachar: $|P-I|$ and $O$ are simultaneously diagonalizable. I have edited to more explicitly define $S$ and $|P-I|,$ which should make it easier to see that these all commute.
              $endgroup$
              – Dap
              Jan 2 at 7:50
















            1












            $begingroup$

            A counterexample is $A=-tfrac12 I$ and $tildeSigma=tfrac12 I$ for even $n.$ Here $O(A)=-I.$



            $A$ is not necessarily diagonal. For an example it should work to take $n=4,$ $tildeSigma=tfrac12I,$ and $A=UDU^T$ where $D=operatorname{diag}(tfrac32,tfrac32,-tfrac12,-tfrac12)$ and $U$ is a rotation by forty-five degrees in the y-z plane.





            It is true that $O^2=I$ and $O$ commutes with $tildeSigma.$ The situation could be described as: after an orthogonal change of basis, $tildeSigma$ is still diagonal and $A$ is diagonal with $A_{ii}=tildeSigma_{ii}pm 1$ (and the $-1$ case can only occur when $tildeSigma_{ii}<1.$)



            Write $A=OP$ with $Oin SO_n$ and $P$ symmetric positive definite.



            There's a $Vin SO_n$ such that the matrix $P':=V^TPV$ is diagonal. Write $S'$ for the result of replacing the diagonal entries of $P'-I$ by their sign $pm 1$ (note $P-I$ is non-singular, so this is well defined) and write $|P'-I|$ for the result of replacing the diagonal entries of $P'-I$ by their absolute value. Define $S=VS'V^T$ and $|P-I|=V|P'-I|V^T.$ Note that $P-I$ and $S$ and $|P-I|$ all commute - they are simultaneously diagonalized by conjugation by $V$ on the right. And $S|P-I|=P-I.$



            $S$ is symmetric and satisfies $S^2=I$ so is actually orthogonal. Applying the uniqueness of the orthogonal polar decomposition to $OS|P-I|=tildeSigma$ gives $OS=I,$ which gives $O=S.$






            share|cite|improve this answer











            $endgroup$













            • $begingroup$
              Thanks. Indeed, I forgot about the possibility of $A_{ii}=tilde Sigma_{ii}-1$. I still wonder though: Is it true that when all the $tilde sigma_i$ are distinct, the solution $A$ must be diagonal? Also, you could take any rotation $U$ in your example, right? (the exact angle does not matter I think, as you can see in my answer below).
              $endgroup$
              – Asaf Shachar
              Jan 1 at 9:49










            • $begingroup$
              @AsafShachar: (1) Yes, if the $tilde sigma_i$ are distinct then $O$ and hence $A$ must be diagonal, since they commute with $tilde Sigma$ according to the argument in the second half of my answer. (2) Yes, I was just being concrete - anything that isn't a multiple of 90° should work
              $endgroup$
              – Dap
              Jan 1 at 10:26












            • $begingroup$
              Thank you very much! I see why your argument implies $S=O$ so $O^2=id$, and $tilde Sigma=|P-I|$ but how do we deduce that $O$ and $A$ commute with $tilde Sigma$? (or equivalently why $O$ commute with $A$?)
              $endgroup$
              – Asaf Shachar
              Jan 1 at 19:48








            • 1




              $begingroup$
              @AsafShachar: $|P-I|$ and $O$ are simultaneously diagonalizable. I have edited to more explicitly define $S$ and $|P-I|,$ which should make it easier to see that these all commute.
              $endgroup$
              – Dap
              Jan 2 at 7:50














            1












            1








            1





            $begingroup$

            A counterexample is $A=-tfrac12 I$ and $tildeSigma=tfrac12 I$ for even $n.$ Here $O(A)=-I.$



            $A$ is not necessarily diagonal. For an example it should work to take $n=4,$ $tildeSigma=tfrac12I,$ and $A=UDU^T$ where $D=operatorname{diag}(tfrac32,tfrac32,-tfrac12,-tfrac12)$ and $U$ is a rotation by forty-five degrees in the y-z plane.





            It is true that $O^2=I$ and $O$ commutes with $tildeSigma.$ The situation could be described as: after an orthogonal change of basis, $tildeSigma$ is still diagonal and $A$ is diagonal with $A_{ii}=tildeSigma_{ii}pm 1$ (and the $-1$ case can only occur when $tildeSigma_{ii}<1.$)



            Write $A=OP$ with $Oin SO_n$ and $P$ symmetric positive definite.



            There's a $Vin SO_n$ such that the matrix $P':=V^TPV$ is diagonal. Write $S'$ for the result of replacing the diagonal entries of $P'-I$ by their sign $pm 1$ (note $P-I$ is non-singular, so this is well defined) and write $|P'-I|$ for the result of replacing the diagonal entries of $P'-I$ by their absolute value. Define $S=VS'V^T$ and $|P-I|=V|P'-I|V^T.$ Note that $P-I$ and $S$ and $|P-I|$ all commute - they are simultaneously diagonalized by conjugation by $V$ on the right. And $S|P-I|=P-I.$



            $S$ is symmetric and satisfies $S^2=I$ so is actually orthogonal. Applying the uniqueness of the orthogonal polar decomposition to $OS|P-I|=tildeSigma$ gives $OS=I,$ which gives $O=S.$






            share|cite|improve this answer











            $endgroup$



            A counterexample is $A=-tfrac12 I$ and $tildeSigma=tfrac12 I$ for even $n.$ Here $O(A)=-I.$



            $A$ is not necessarily diagonal. For an example it should work to take $n=4,$ $tildeSigma=tfrac12I,$ and $A=UDU^T$ where $D=operatorname{diag}(tfrac32,tfrac32,-tfrac12,-tfrac12)$ and $U$ is a rotation by forty-five degrees in the y-z plane.





            It is true that $O^2=I$ and $O$ commutes with $tildeSigma.$ The situation could be described as: after an orthogonal change of basis, $tildeSigma$ is still diagonal and $A$ is diagonal with $A_{ii}=tildeSigma_{ii}pm 1$ (and the $-1$ case can only occur when $tildeSigma_{ii}<1.$)



            Write $A=OP$ with $Oin SO_n$ and $P$ symmetric positive definite.



            There's a $Vin SO_n$ such that the matrix $P':=V^TPV$ is diagonal. Write $S'$ for the result of replacing the diagonal entries of $P'-I$ by their sign $pm 1$ (note $P-I$ is non-singular, so this is well defined) and write $|P'-I|$ for the result of replacing the diagonal entries of $P'-I$ by their absolute value. Define $S=VS'V^T$ and $|P-I|=V|P'-I|V^T.$ Note that $P-I$ and $S$ and $|P-I|$ all commute - they are simultaneously diagonalized by conjugation by $V$ on the right. And $S|P-I|=P-I.$



            $S$ is symmetric and satisfies $S^2=I$ so is actually orthogonal. Applying the uniqueness of the orthogonal polar decomposition to $OS|P-I|=tildeSigma$ gives $OS=I,$ which gives $O=S.$







            share|cite|improve this answer














            share|cite|improve this answer



            share|cite|improve this answer








            edited Jan 2 at 7:48

























            answered Jan 1 at 8:03









            DapDap

            19.3k842




            19.3k842












            • $begingroup$
              Thanks. Indeed, I forgot about the possibility of $A_{ii}=tilde Sigma_{ii}-1$. I still wonder though: Is it true that when all the $tilde sigma_i$ are distinct, the solution $A$ must be diagonal? Also, you could take any rotation $U$ in your example, right? (the exact angle does not matter I think, as you can see in my answer below).
              $endgroup$
              – Asaf Shachar
              Jan 1 at 9:49










            • $begingroup$
              @AsafShachar: (1) Yes, if the $tilde sigma_i$ are distinct then $O$ and hence $A$ must be diagonal, since they commute with $tilde Sigma$ according to the argument in the second half of my answer. (2) Yes, I was just being concrete - anything that isn't a multiple of 90° should work
              $endgroup$
              – Dap
              Jan 1 at 10:26












            • $begingroup$
              Thank you very much! I see why your argument implies $S=O$ so $O^2=id$, and $tilde Sigma=|P-I|$ but how do we deduce that $O$ and $A$ commute with $tilde Sigma$? (or equivalently why $O$ commute with $A$?)
              $endgroup$
              – Asaf Shachar
              Jan 1 at 19:48








            • 1




              $begingroup$
              @AsafShachar: $|P-I|$ and $O$ are simultaneously diagonalizable. I have edited to more explicitly define $S$ and $|P-I|,$ which should make it easier to see that these all commute.
              $endgroup$
              – Dap
              Jan 2 at 7:50


















            • $begingroup$
              Thanks. Indeed, I forgot about the possibility of $A_{ii}=tilde Sigma_{ii}-1$. I still wonder though: Is it true that when all the $tilde sigma_i$ are distinct, the solution $A$ must be diagonal? Also, you could take any rotation $U$ in your example, right? (the exact angle does not matter I think, as you can see in my answer below).
              $endgroup$
              – Asaf Shachar
              Jan 1 at 9:49










            • $begingroup$
              @AsafShachar: (1) Yes, if the $tilde sigma_i$ are distinct then $O$ and hence $A$ must be diagonal, since they commute with $tilde Sigma$ according to the argument in the second half of my answer. (2) Yes, I was just being concrete - anything that isn't a multiple of 90° should work
              $endgroup$
              – Dap
              Jan 1 at 10:26












            • $begingroup$
              Thank you very much! I see why your argument implies $S=O$ so $O^2=id$, and $tilde Sigma=|P-I|$ but how do we deduce that $O$ and $A$ commute with $tilde Sigma$? (or equivalently why $O$ commute with $A$?)
              $endgroup$
              – Asaf Shachar
              Jan 1 at 19:48








            • 1




              $begingroup$
              @AsafShachar: $|P-I|$ and $O$ are simultaneously diagonalizable. I have edited to more explicitly define $S$ and $|P-I|,$ which should make it easier to see that these all commute.
              $endgroup$
              – Dap
              Jan 2 at 7:50
















            $begingroup$
            Thanks. Indeed, I forgot about the possibility of $A_{ii}=tilde Sigma_{ii}-1$. I still wonder though: Is it true that when all the $tilde sigma_i$ are distinct, the solution $A$ must be diagonal? Also, you could take any rotation $U$ in your example, right? (the exact angle does not matter I think, as you can see in my answer below).
            $endgroup$
            – Asaf Shachar
            Jan 1 at 9:49




            $begingroup$
            Thanks. Indeed, I forgot about the possibility of $A_{ii}=tilde Sigma_{ii}-1$. I still wonder though: Is it true that when all the $tilde sigma_i$ are distinct, the solution $A$ must be diagonal? Also, you could take any rotation $U$ in your example, right? (the exact angle does not matter I think, as you can see in my answer below).
            $endgroup$
            – Asaf Shachar
            Jan 1 at 9:49












            $begingroup$
            @AsafShachar: (1) Yes, if the $tilde sigma_i$ are distinct then $O$ and hence $A$ must be diagonal, since they commute with $tilde Sigma$ according to the argument in the second half of my answer. (2) Yes, I was just being concrete - anything that isn't a multiple of 90° should work
            $endgroup$
            – Dap
            Jan 1 at 10:26






            $begingroup$
            @AsafShachar: (1) Yes, if the $tilde sigma_i$ are distinct then $O$ and hence $A$ must be diagonal, since they commute with $tilde Sigma$ according to the argument in the second half of my answer. (2) Yes, I was just being concrete - anything that isn't a multiple of 90° should work
            $endgroup$
            – Dap
            Jan 1 at 10:26














            $begingroup$
            Thank you very much! I see why your argument implies $S=O$ so $O^2=id$, and $tilde Sigma=|P-I|$ but how do we deduce that $O$ and $A$ commute with $tilde Sigma$? (or equivalently why $O$ commute with $A$?)
            $endgroup$
            – Asaf Shachar
            Jan 1 at 19:48






            $begingroup$
            Thank you very much! I see why your argument implies $S=O$ so $O^2=id$, and $tilde Sigma=|P-I|$ but how do we deduce that $O$ and $A$ commute with $tilde Sigma$? (or equivalently why $O$ commute with $A$?)
            $endgroup$
            – Asaf Shachar
            Jan 1 at 19:48






            1




            1




            $begingroup$
            @AsafShachar: $|P-I|$ and $O$ are simultaneously diagonalizable. I have edited to more explicitly define $S$ and $|P-I|,$ which should make it easier to see that these all commute.
            $endgroup$
            – Dap
            Jan 2 at 7:50




            $begingroup$
            @AsafShachar: $|P-I|$ and $O$ are simultaneously diagonalizable. I have edited to more explicitly define $S$ and $|P-I|,$ which should make it easier to see that these all commute.
            $endgroup$
            – Dap
            Jan 2 at 7:50











            0












            $begingroup$

            It is worth noting that even if $A$ is diagonal, then the solution is not unique:



            Indeed, take $A_1=text{diag}(3/2,5/4,2)$,$A_2=text{diag}(-1/2,-3/4,2)$ which both correspond to $tilde Sigma=text{diag}(1/2,1/4,1)$.



            Indeed, note that for diagonal matrix $D=text{diag}(d_i)$ in $GL^+$, $O(D)=text{diag}(text{sgn} (d_i))$.



            Furthermore, if $Sigma=lambda Id$, then for every solution $A$, and every orthogonal matrix $U$, $U^TAU$ is also a solution. This follows immediately from the fact that $O(AU)=O(A)U,O(UA)=UO(A)$. (These properties are due to the fact that $O(A)$ is simultaneously the left and right orthogonal polar factor of $A$).



            Thus, if $A-O(A)=tilde Sigma=lambda Id$, then



            $$U^TAU-O(U^TAU)=U^TAU-U^TO(A)U=U^T(A-O(A))U=U^Ttilde Sigma U=tilde Sigma,$$



            since $Sigma$ commutes with all matrices.






            share|cite|improve this answer









            $endgroup$


















              0












              $begingroup$

              It is worth noting that even if $A$ is diagonal, then the solution is not unique:



              Indeed, take $A_1=text{diag}(3/2,5/4,2)$,$A_2=text{diag}(-1/2,-3/4,2)$ which both correspond to $tilde Sigma=text{diag}(1/2,1/4,1)$.



              Indeed, note that for diagonal matrix $D=text{diag}(d_i)$ in $GL^+$, $O(D)=text{diag}(text{sgn} (d_i))$.



              Furthermore, if $Sigma=lambda Id$, then for every solution $A$, and every orthogonal matrix $U$, $U^TAU$ is also a solution. This follows immediately from the fact that $O(AU)=O(A)U,O(UA)=UO(A)$. (These properties are due to the fact that $O(A)$ is simultaneously the left and right orthogonal polar factor of $A$).



              Thus, if $A-O(A)=tilde Sigma=lambda Id$, then



              $$U^TAU-O(U^TAU)=U^TAU-U^TO(A)U=U^T(A-O(A))U=U^Ttilde Sigma U=tilde Sigma,$$



              since $Sigma$ commutes with all matrices.






              share|cite|improve this answer









              $endgroup$
















                0












                0








                0





                $begingroup$

                It is worth noting that even if $A$ is diagonal, then the solution is not unique:



                Indeed, take $A_1=text{diag}(3/2,5/4,2)$,$A_2=text{diag}(-1/2,-3/4,2)$ which both correspond to $tilde Sigma=text{diag}(1/2,1/4,1)$.



                Indeed, note that for diagonal matrix $D=text{diag}(d_i)$ in $GL^+$, $O(D)=text{diag}(text{sgn} (d_i))$.



                Furthermore, if $Sigma=lambda Id$, then for every solution $A$, and every orthogonal matrix $U$, $U^TAU$ is also a solution. This follows immediately from the fact that $O(AU)=O(A)U,O(UA)=UO(A)$. (These properties are due to the fact that $O(A)$ is simultaneously the left and right orthogonal polar factor of $A$).



                Thus, if $A-O(A)=tilde Sigma=lambda Id$, then



                $$U^TAU-O(U^TAU)=U^TAU-U^TO(A)U=U^T(A-O(A))U=U^Ttilde Sigma U=tilde Sigma,$$



                since $Sigma$ commutes with all matrices.






                share|cite|improve this answer









                $endgroup$



                It is worth noting that even if $A$ is diagonal, then the solution is not unique:



                Indeed, take $A_1=text{diag}(3/2,5/4,2)$,$A_2=text{diag}(-1/2,-3/4,2)$ which both correspond to $tilde Sigma=text{diag}(1/2,1/4,1)$.



                Indeed, note that for diagonal matrix $D=text{diag}(d_i)$ in $GL^+$, $O(D)=text{diag}(text{sgn} (d_i))$.



                Furthermore, if $Sigma=lambda Id$, then for every solution $A$, and every orthogonal matrix $U$, $U^TAU$ is also a solution. This follows immediately from the fact that $O(AU)=O(A)U,O(UA)=UO(A)$. (These properties are due to the fact that $O(A)$ is simultaneously the left and right orthogonal polar factor of $A$).



                Thus, if $A-O(A)=tilde Sigma=lambda Id$, then



                $$U^TAU-O(U^TAU)=U^TAU-U^TO(A)U=U^T(A-O(A))U=U^Ttilde Sigma U=tilde Sigma,$$



                since $Sigma$ commutes with all matrices.







                share|cite|improve this answer












                share|cite|improve this answer



                share|cite|improve this answer










                answered Jan 1 at 9:41









                Asaf ShacharAsaf Shachar

                5,81131145




                5,81131145






























                    draft saved

                    draft discarded




















































                    Thanks for contributing an answer to Mathematics Stack Exchange!


                    • Please be sure to answer the question. Provide details and share your research!

                    But avoid



                    • Asking for help, clarification, or responding to other answers.

                    • Making statements based on opinion; back them up with references or personal experience.


                    Use MathJax to format equations. MathJax reference.


                    To learn more, see our tips on writing great answers.




                    draft saved


                    draft discarded














                    StackExchange.ready(
                    function () {
                    StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2966080%2fis-the-solution-to-a-oa-tilde-sigma-unique%23new-answer', 'question_page');
                    }
                    );

                    Post as a guest















                    Required, but never shown





















































                    Required, but never shown














                    Required, but never shown












                    Required, but never shown







                    Required, but never shown

































                    Required, but never shown














                    Required, but never shown












                    Required, but never shown







                    Required, but never shown







                    Popular posts from this blog

                    How do I know what Microsoft account the skydrive app is syncing to?

                    When does type information flow backwards in C++?

                    Grease: Live!