Solving overdetermined system by QR decomposition The 2019 Stack Overflow Developer Survey Results Are In Announcing the arrival of Valued Associate #679: Cesar Manara Planned maintenance scheduled April 17/18, 2019 at 00:00UTC (8:00pm US/Eastern)What does QR decomposition have to do with least squares method?Check Whether an Overdetermined Linear Equation System is Consistent: General Approach?Is the least squares solution to an overdetermined system a triangle center?Solving a feasible system of linear equations using Linear ProgrammingProving unique solution exists for a system of equationsSolve an overdetermined system of linear equationsSolving overdetermined linear system with $3$ equations in $2$ unknownsOverdetermined System Ax=bSolving a system by using Cholesky Decomposition $(LDL^T)$Solving $Ax = b$ using least squares (minimize $||Ax -b||_2$)How to do Given's rotation for $3x2$ matrix? (QR decomposition)

"is" operation returns false even though two objects have same id

Huge performance difference of the command find with and without using %M option to show permissions

Why not take a picture of a closer black hole?

How did passengers keep warm on sail ships?

One-dimensional Japanese puzzle

Didn't get enough time to take a Coding Test - what to do now?

Why can't devices on different VLANs, but on the same subnet, communicate?

Deal with toxic manager when you can't quit

How to make Illustrator type tool selection automatically adapt with text length

"... to apply for a visa" or "... and applied for a visa"?

Why can I use a list index as an indexing variable in a for loop?

Student Loan from years ago pops up and is taking my salary

Make it rain characters

Can the DM override racial traits?

What to do when moving next to a bird sanctuary with a loosely-domesticated cat?

What does "spokes" mean in this context?

Fixing different display colors within string

What happens to a Warlock's expended Spell Slots when they gain a Level?

Is it ethical to upload a automatically generated paper to a non peer-reviewed site as part of a larger research?

Did the new image of black hole confirm the general theory of relativity?

How many Rusted Keys do you need to get red items most of the time?

Can we generate random numbers using irrational numbers like π and e?

how can a perfect fourth interval be considered either consonant or dissonant?

number sequence puzzle deep six



Solving overdetermined system by QR decomposition



The 2019 Stack Overflow Developer Survey Results Are In
Announcing the arrival of Valued Associate #679: Cesar Manara
Planned maintenance scheduled April 17/18, 2019 at 00:00UTC (8:00pm US/Eastern)What does QR decomposition have to do with least squares method?Check Whether an Overdetermined Linear Equation System is Consistent: General Approach?Is the least squares solution to an overdetermined system a triangle center?Solving a feasible system of linear equations using Linear ProgrammingProving unique solution exists for a system of equationsSolve an overdetermined system of linear equationsSolving overdetermined linear system with $3$ equations in $2$ unknownsOverdetermined System Ax=bSolving a system by using Cholesky Decomposition $(LDL^T)$Solving $Ax = b$ using least squares (minimize $||Ax -b||_2$)How to do Given's rotation for $3x2$ matrix? (QR decomposition)










3












$begingroup$


I need to solve $Ax=b$ in lots of ways using QR decomposition.



$$A = beginbmatrix
1 & 1 \
-1 & 1 \
1 & 2
endbmatrix, b = beginbmatrix
1 \
0 \
1
endbmatrix$$



This is an overdetermined system. That is, it has more equations than needed for a unique solution.



I need to find $min ||Ax-b||$. How should I solve it using QR?



I know that QR can be used to reduce the problem to
$$Vert Ax - b Vert = Vert QRx - b Vert = Vert Rx - Q^-1b Vert.$$



but what do I do after this?










share|cite|improve this question









$endgroup$
















    3












    $begingroup$


    I need to solve $Ax=b$ in lots of ways using QR decomposition.



    $$A = beginbmatrix
    1 & 1 \
    -1 & 1 \
    1 & 2
    endbmatrix, b = beginbmatrix
    1 \
    0 \
    1
    endbmatrix$$



    This is an overdetermined system. That is, it has more equations than needed for a unique solution.



    I need to find $min ||Ax-b||$. How should I solve it using QR?



    I know that QR can be used to reduce the problem to
    $$Vert Ax - b Vert = Vert QRx - b Vert = Vert Rx - Q^-1b Vert.$$



    but what do I do after this?










    share|cite|improve this question









    $endgroup$














      3












      3








      3





      $begingroup$


      I need to solve $Ax=b$ in lots of ways using QR decomposition.



      $$A = beginbmatrix
      1 & 1 \
      -1 & 1 \
      1 & 2
      endbmatrix, b = beginbmatrix
      1 \
      0 \
      1
      endbmatrix$$



      This is an overdetermined system. That is, it has more equations than needed for a unique solution.



      I need to find $min ||Ax-b||$. How should I solve it using QR?



      I know that QR can be used to reduce the problem to
      $$Vert Ax - b Vert = Vert QRx - b Vert = Vert Rx - Q^-1b Vert.$$



      but what do I do after this?










      share|cite|improve this question









      $endgroup$




      I need to solve $Ax=b$ in lots of ways using QR decomposition.



      $$A = beginbmatrix
      1 & 1 \
      -1 & 1 \
      1 & 2
      endbmatrix, b = beginbmatrix
      1 \
      0 \
      1
      endbmatrix$$



      This is an overdetermined system. That is, it has more equations than needed for a unique solution.



      I need to find $min ||Ax-b||$. How should I solve it using QR?



      I know that QR can be used to reduce the problem to
      $$Vert Ax - b Vert = Vert QRx - b Vert = Vert Rx - Q^-1b Vert.$$



      but what do I do after this?







      linear-algebra numerical-methods numerical-linear-algebra






      share|cite|improve this question













      share|cite|improve this question











      share|cite|improve this question




      share|cite|improve this question










      asked 7 hours ago









      Guerlando OCsGuerlando OCs

      9721856




      9721856




















          2 Answers
          2






          active

          oldest

          votes


















          7












          $begingroup$

          The most straightforward way I know is to pass through the normal equations:



          $$A^T A x = A^T b$$



          and substitute in the $QR$ decomposition of $A$ (with the convention $Q in mathbbR^m times n,R in mathbbR^n times n$). Thus you get



          $$R^T Q^T Q R x = R^T Q^T b.$$



          But $Q^T Q=I_n$. (Note that in this convention $Q$ isn't an orthogonal matrix, so $Q Q^T neq I_m$, but this doesn't matter here.) Thus:



          $$R^T R x = R^T Q^T b.$$



          If $A$ has linearly independent columns (as is usually the case with overdetermined systems), then $R^T$ is injective, so by multiplying both sides by the left inverse of $R^T$ you get



          $$Rx=Q^T b.$$



          This system is now easy to solve numerically.



          For numerical purposes it's important that the removal of $Q^T Q$ and $R^T$ from the problem is done analytically, and in particular $A^T A$ is never constructed numerically.






          share|cite|improve this answer











          $endgroup$








          • 1




            $begingroup$
            Is there any reason to make this so convoluted? From $Ax=b$ you have $QRx=b$, multiply by $Q^T$ on the left.
            $endgroup$
            – Martin Argerami
            7 hours ago










          • $begingroup$
            @MartinArgerami Because actually the least squares solution usually does not satisfy $Ax=b$. This simple perspective only shows you that this approach gives you a solution when a solution exists. Now you could argue directly that multiplying both sides by $Q^T$ furnishes an equation whose solution is the least squares solution. (Such an argument would resemble the usual geometric argument for deriving the normal equations.) This would make a good alternative answer to mine.
            $endgroup$
            – Ian
            6 hours ago



















          2












          $begingroup$

          Note that $Rx$ has the form
          $$Rx = beginbmatrix y_1 \ y_2 \ 0endbmatrix $$
          , so if $$ Q^-1b = beginbmatrix z_1 \ z_2 \ z_3endbmatrix$$
          then $|| Rx - Q^-1b||$ will be minimal for $y_1 = z_1$, $y_2=z_2$. This set of equation is no longer overdetermined.



          Using matrix notation, if tou write $R = beginbmatrix R_1 \ 0endbmatrix$ and intoduce $P=beginbmatrix1 & 0 & 0 \ 0 & 1& 0endbmatrix$, then you have
          $$ R_1x = PQ^-1b$$
          $$ x = (R_1)^-1PQ^-1b$$






          share|cite|improve this answer









          $endgroup$












          • $begingroup$
            The key trick in this answer is that by the orthogonality, $| Ax - b | = | Rx - Q^T b |$.
            $endgroup$
            – Ian
            2 hours ago











          Your Answer








          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%2f3185239%2fsolving-overdetermined-system-by-qr-decomposition%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









          7












          $begingroup$

          The most straightforward way I know is to pass through the normal equations:



          $$A^T A x = A^T b$$



          and substitute in the $QR$ decomposition of $A$ (with the convention $Q in mathbbR^m times n,R in mathbbR^n times n$). Thus you get



          $$R^T Q^T Q R x = R^T Q^T b.$$



          But $Q^T Q=I_n$. (Note that in this convention $Q$ isn't an orthogonal matrix, so $Q Q^T neq I_m$, but this doesn't matter here.) Thus:



          $$R^T R x = R^T Q^T b.$$



          If $A$ has linearly independent columns (as is usually the case with overdetermined systems), then $R^T$ is injective, so by multiplying both sides by the left inverse of $R^T$ you get



          $$Rx=Q^T b.$$



          This system is now easy to solve numerically.



          For numerical purposes it's important that the removal of $Q^T Q$ and $R^T$ from the problem is done analytically, and in particular $A^T A$ is never constructed numerically.






          share|cite|improve this answer











          $endgroup$








          • 1




            $begingroup$
            Is there any reason to make this so convoluted? From $Ax=b$ you have $QRx=b$, multiply by $Q^T$ on the left.
            $endgroup$
            – Martin Argerami
            7 hours ago










          • $begingroup$
            @MartinArgerami Because actually the least squares solution usually does not satisfy $Ax=b$. This simple perspective only shows you that this approach gives you a solution when a solution exists. Now you could argue directly that multiplying both sides by $Q^T$ furnishes an equation whose solution is the least squares solution. (Such an argument would resemble the usual geometric argument for deriving the normal equations.) This would make a good alternative answer to mine.
            $endgroup$
            – Ian
            6 hours ago
















          7












          $begingroup$

          The most straightforward way I know is to pass through the normal equations:



          $$A^T A x = A^T b$$



          and substitute in the $QR$ decomposition of $A$ (with the convention $Q in mathbbR^m times n,R in mathbbR^n times n$). Thus you get



          $$R^T Q^T Q R x = R^T Q^T b.$$



          But $Q^T Q=I_n$. (Note that in this convention $Q$ isn't an orthogonal matrix, so $Q Q^T neq I_m$, but this doesn't matter here.) Thus:



          $$R^T R x = R^T Q^T b.$$



          If $A$ has linearly independent columns (as is usually the case with overdetermined systems), then $R^T$ is injective, so by multiplying both sides by the left inverse of $R^T$ you get



          $$Rx=Q^T b.$$



          This system is now easy to solve numerically.



          For numerical purposes it's important that the removal of $Q^T Q$ and $R^T$ from the problem is done analytically, and in particular $A^T A$ is never constructed numerically.






          share|cite|improve this answer











          $endgroup$








          • 1




            $begingroup$
            Is there any reason to make this so convoluted? From $Ax=b$ you have $QRx=b$, multiply by $Q^T$ on the left.
            $endgroup$
            – Martin Argerami
            7 hours ago










          • $begingroup$
            @MartinArgerami Because actually the least squares solution usually does not satisfy $Ax=b$. This simple perspective only shows you that this approach gives you a solution when a solution exists. Now you could argue directly that multiplying both sides by $Q^T$ furnishes an equation whose solution is the least squares solution. (Such an argument would resemble the usual geometric argument for deriving the normal equations.) This would make a good alternative answer to mine.
            $endgroup$
            – Ian
            6 hours ago














          7












          7








          7





          $begingroup$

          The most straightforward way I know is to pass through the normal equations:



          $$A^T A x = A^T b$$



          and substitute in the $QR$ decomposition of $A$ (with the convention $Q in mathbbR^m times n,R in mathbbR^n times n$). Thus you get



          $$R^T Q^T Q R x = R^T Q^T b.$$



          But $Q^T Q=I_n$. (Note that in this convention $Q$ isn't an orthogonal matrix, so $Q Q^T neq I_m$, but this doesn't matter here.) Thus:



          $$R^T R x = R^T Q^T b.$$



          If $A$ has linearly independent columns (as is usually the case with overdetermined systems), then $R^T$ is injective, so by multiplying both sides by the left inverse of $R^T$ you get



          $$Rx=Q^T b.$$



          This system is now easy to solve numerically.



          For numerical purposes it's important that the removal of $Q^T Q$ and $R^T$ from the problem is done analytically, and in particular $A^T A$ is never constructed numerically.






          share|cite|improve this answer











          $endgroup$



          The most straightforward way I know is to pass through the normal equations:



          $$A^T A x = A^T b$$



          and substitute in the $QR$ decomposition of $A$ (with the convention $Q in mathbbR^m times n,R in mathbbR^n times n$). Thus you get



          $$R^T Q^T Q R x = R^T Q^T b.$$



          But $Q^T Q=I_n$. (Note that in this convention $Q$ isn't an orthogonal matrix, so $Q Q^T neq I_m$, but this doesn't matter here.) Thus:



          $$R^T R x = R^T Q^T b.$$



          If $A$ has linearly independent columns (as is usually the case with overdetermined systems), then $R^T$ is injective, so by multiplying both sides by the left inverse of $R^T$ you get



          $$Rx=Q^T b.$$



          This system is now easy to solve numerically.



          For numerical purposes it's important that the removal of $Q^T Q$ and $R^T$ from the problem is done analytically, and in particular $A^T A$ is never constructed numerically.







          share|cite|improve this answer














          share|cite|improve this answer



          share|cite|improve this answer








          edited 2 hours ago

























          answered 7 hours ago









          IanIan

          69.1k25392




          69.1k25392







          • 1




            $begingroup$
            Is there any reason to make this so convoluted? From $Ax=b$ you have $QRx=b$, multiply by $Q^T$ on the left.
            $endgroup$
            – Martin Argerami
            7 hours ago










          • $begingroup$
            @MartinArgerami Because actually the least squares solution usually does not satisfy $Ax=b$. This simple perspective only shows you that this approach gives you a solution when a solution exists. Now you could argue directly that multiplying both sides by $Q^T$ furnishes an equation whose solution is the least squares solution. (Such an argument would resemble the usual geometric argument for deriving the normal equations.) This would make a good alternative answer to mine.
            $endgroup$
            – Ian
            6 hours ago













          • 1




            $begingroup$
            Is there any reason to make this so convoluted? From $Ax=b$ you have $QRx=b$, multiply by $Q^T$ on the left.
            $endgroup$
            – Martin Argerami
            7 hours ago










          • $begingroup$
            @MartinArgerami Because actually the least squares solution usually does not satisfy $Ax=b$. This simple perspective only shows you that this approach gives you a solution when a solution exists. Now you could argue directly that multiplying both sides by $Q^T$ furnishes an equation whose solution is the least squares solution. (Such an argument would resemble the usual geometric argument for deriving the normal equations.) This would make a good alternative answer to mine.
            $endgroup$
            – Ian
            6 hours ago








          1




          1




          $begingroup$
          Is there any reason to make this so convoluted? From $Ax=b$ you have $QRx=b$, multiply by $Q^T$ on the left.
          $endgroup$
          – Martin Argerami
          7 hours ago




          $begingroup$
          Is there any reason to make this so convoluted? From $Ax=b$ you have $QRx=b$, multiply by $Q^T$ on the left.
          $endgroup$
          – Martin Argerami
          7 hours ago












          $begingroup$
          @MartinArgerami Because actually the least squares solution usually does not satisfy $Ax=b$. This simple perspective only shows you that this approach gives you a solution when a solution exists. Now you could argue directly that multiplying both sides by $Q^T$ furnishes an equation whose solution is the least squares solution. (Such an argument would resemble the usual geometric argument for deriving the normal equations.) This would make a good alternative answer to mine.
          $endgroup$
          – Ian
          6 hours ago





          $begingroup$
          @MartinArgerami Because actually the least squares solution usually does not satisfy $Ax=b$. This simple perspective only shows you that this approach gives you a solution when a solution exists. Now you could argue directly that multiplying both sides by $Q^T$ furnishes an equation whose solution is the least squares solution. (Such an argument would resemble the usual geometric argument for deriving the normal equations.) This would make a good alternative answer to mine.
          $endgroup$
          – Ian
          6 hours ago












          2












          $begingroup$

          Note that $Rx$ has the form
          $$Rx = beginbmatrix y_1 \ y_2 \ 0endbmatrix $$
          , so if $$ Q^-1b = beginbmatrix z_1 \ z_2 \ z_3endbmatrix$$
          then $|| Rx - Q^-1b||$ will be minimal for $y_1 = z_1$, $y_2=z_2$. This set of equation is no longer overdetermined.



          Using matrix notation, if tou write $R = beginbmatrix R_1 \ 0endbmatrix$ and intoduce $P=beginbmatrix1 & 0 & 0 \ 0 & 1& 0endbmatrix$, then you have
          $$ R_1x = PQ^-1b$$
          $$ x = (R_1)^-1PQ^-1b$$






          share|cite|improve this answer









          $endgroup$












          • $begingroup$
            The key trick in this answer is that by the orthogonality, $| Ax - b | = | Rx - Q^T b |$.
            $endgroup$
            – Ian
            2 hours ago















          2












          $begingroup$

          Note that $Rx$ has the form
          $$Rx = beginbmatrix y_1 \ y_2 \ 0endbmatrix $$
          , so if $$ Q^-1b = beginbmatrix z_1 \ z_2 \ z_3endbmatrix$$
          then $|| Rx - Q^-1b||$ will be minimal for $y_1 = z_1$, $y_2=z_2$. This set of equation is no longer overdetermined.



          Using matrix notation, if tou write $R = beginbmatrix R_1 \ 0endbmatrix$ and intoduce $P=beginbmatrix1 & 0 & 0 \ 0 & 1& 0endbmatrix$, then you have
          $$ R_1x = PQ^-1b$$
          $$ x = (R_1)^-1PQ^-1b$$






          share|cite|improve this answer









          $endgroup$












          • $begingroup$
            The key trick in this answer is that by the orthogonality, $| Ax - b | = | Rx - Q^T b |$.
            $endgroup$
            – Ian
            2 hours ago













          2












          2








          2





          $begingroup$

          Note that $Rx$ has the form
          $$Rx = beginbmatrix y_1 \ y_2 \ 0endbmatrix $$
          , so if $$ Q^-1b = beginbmatrix z_1 \ z_2 \ z_3endbmatrix$$
          then $|| Rx - Q^-1b||$ will be minimal for $y_1 = z_1$, $y_2=z_2$. This set of equation is no longer overdetermined.



          Using matrix notation, if tou write $R = beginbmatrix R_1 \ 0endbmatrix$ and intoduce $P=beginbmatrix1 & 0 & 0 \ 0 & 1& 0endbmatrix$, then you have
          $$ R_1x = PQ^-1b$$
          $$ x = (R_1)^-1PQ^-1b$$






          share|cite|improve this answer









          $endgroup$



          Note that $Rx$ has the form
          $$Rx = beginbmatrix y_1 \ y_2 \ 0endbmatrix $$
          , so if $$ Q^-1b = beginbmatrix z_1 \ z_2 \ z_3endbmatrix$$
          then $|| Rx - Q^-1b||$ will be minimal for $y_1 = z_1$, $y_2=z_2$. This set of equation is no longer overdetermined.



          Using matrix notation, if tou write $R = beginbmatrix R_1 \ 0endbmatrix$ and intoduce $P=beginbmatrix1 & 0 & 0 \ 0 & 1& 0endbmatrix$, then you have
          $$ R_1x = PQ^-1b$$
          $$ x = (R_1)^-1PQ^-1b$$







          share|cite|improve this answer












          share|cite|improve this answer



          share|cite|improve this answer










          answered 6 hours ago









          Adam LatosińskiAdam Latosiński

          5488




          5488











          • $begingroup$
            The key trick in this answer is that by the orthogonality, $| Ax - b | = | Rx - Q^T b |$.
            $endgroup$
            – Ian
            2 hours ago
















          • $begingroup$
            The key trick in this answer is that by the orthogonality, $| Ax - b | = | Rx - Q^T b |$.
            $endgroup$
            – Ian
            2 hours ago















          $begingroup$
          The key trick in this answer is that by the orthogonality, $| Ax - b | = | Rx - Q^T b |$.
          $endgroup$
          – Ian
          2 hours ago




          $begingroup$
          The key trick in this answer is that by the orthogonality, $| Ax - b | = | Rx - Q^T b |$.
          $endgroup$
          – Ian
          2 hours ago

















          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%2f3185239%2fsolving-overdetermined-system-by-qr-decomposition%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

          The Calvary Singular or Plural The 2019 Stack Overflow Developer Survey Results Are InAre collective nouns always plural, or are certain ones singular?Is “audience” singular or plural?“Wasn't” vs. “weren't” in a vernacular sentence“My last couple of years” — singular or plural?Is 'rest' singular or plural?Is “all but one” singular or plural?Whether to use the singular or plural form of basis?Singular and Plural for numbersIs there a plural form of teeth?performance: plural vs singular?singular or plural nouns?Singular and Plural

          How does one intimidate enemies without having the capacity for violence?Ideas for how aliens would approach this fight?How to convey the scale of my humanoid without science or units?How does the “space drive” conserve momentum?Planet Vanishes - How does this affect the orbiting starships?How does a community of a Universe Simulator have the same language as its creator?How would US Presidential elections be affected if voters could choose the state their vote for President was counted in?How Does One Ensures the Immortality of Their ConsciousnessHow do I retain national independence while also having a one world government?How can Ganymede have an Earth-like gravity without us having realized it?How would one make a lion mount for a fantasy world?

          Output visual diagram of pictureASCII-art logic gate diagramBooks on a ShelfDetermine the Dimensions of a Rotated RectangleDraw a Houndstooth PatternDraw and label an ASCII hexagonal gridGolf me an ASCII AlphabetASCII Jigsaw PuzzleOutput a pretty boxASCII-Art Venn DiagramASCII Exact Cover with Rectangles