Volume of the intersection of ellipsoids












11












$begingroup$


How do I compute the volume of the intersection of two $n$-dimensional ellipsoids?



Given an $n$-vector $c$ and a symmetric positive-definite $ntimes n$ matrix $A$, define the ellipsoid $$E(c,A)={x|(A(x-c),x-c)<1}$$ where $(cdot,cdot)$ if the dot product.



Then $$mathrm{vol}(E(c,A))=frac{u}{det A}$$ where $u=mathrm{vol}(E(0,1))$ is the volume of the unit sphere.



The question is: how do I compute the volume of the intersection $$mathrm{vol}(E(c_1,A_1)cap E(c_2,A_2))$$



I am more interested in being able to compute something relevant reasonably fast than in the exact correctness of the value. E.g., I would be happy to use the volumes of parallelepipeds (and their intersections) instead of ellipsoids.



EDIT: another acceptable alternative would be to define normal densities $f_1$ and $f_2$ (with mean $c_i$ and covariance $A_i$). What is $int_{Bbb{R}^n}f_1 f_2$? Something ugly, alas.










share|cite|improve this question











$endgroup$

















    11












    $begingroup$


    How do I compute the volume of the intersection of two $n$-dimensional ellipsoids?



    Given an $n$-vector $c$ and a symmetric positive-definite $ntimes n$ matrix $A$, define the ellipsoid $$E(c,A)={x|(A(x-c),x-c)<1}$$ where $(cdot,cdot)$ if the dot product.



    Then $$mathrm{vol}(E(c,A))=frac{u}{det A}$$ where $u=mathrm{vol}(E(0,1))$ is the volume of the unit sphere.



    The question is: how do I compute the volume of the intersection $$mathrm{vol}(E(c_1,A_1)cap E(c_2,A_2))$$



    I am more interested in being able to compute something relevant reasonably fast than in the exact correctness of the value. E.g., I would be happy to use the volumes of parallelepipeds (and their intersections) instead of ellipsoids.



    EDIT: another acceptable alternative would be to define normal densities $f_1$ and $f_2$ (with mean $c_i$ and covariance $A_i$). What is $int_{Bbb{R}^n}f_1 f_2$? Something ugly, alas.










    share|cite|improve this question











    $endgroup$















      11












      11








      11


      3



      $begingroup$


      How do I compute the volume of the intersection of two $n$-dimensional ellipsoids?



      Given an $n$-vector $c$ and a symmetric positive-definite $ntimes n$ matrix $A$, define the ellipsoid $$E(c,A)={x|(A(x-c),x-c)<1}$$ where $(cdot,cdot)$ if the dot product.



      Then $$mathrm{vol}(E(c,A))=frac{u}{det A}$$ where $u=mathrm{vol}(E(0,1))$ is the volume of the unit sphere.



      The question is: how do I compute the volume of the intersection $$mathrm{vol}(E(c_1,A_1)cap E(c_2,A_2))$$



      I am more interested in being able to compute something relevant reasonably fast than in the exact correctness of the value. E.g., I would be happy to use the volumes of parallelepipeds (and their intersections) instead of ellipsoids.



      EDIT: another acceptable alternative would be to define normal densities $f_1$ and $f_2$ (with mean $c_i$ and covariance $A_i$). What is $int_{Bbb{R}^n}f_1 f_2$? Something ugly, alas.










      share|cite|improve this question











      $endgroup$




      How do I compute the volume of the intersection of two $n$-dimensional ellipsoids?



      Given an $n$-vector $c$ and a symmetric positive-definite $ntimes n$ matrix $A$, define the ellipsoid $$E(c,A)={x|(A(x-c),x-c)<1}$$ where $(cdot,cdot)$ if the dot product.



      Then $$mathrm{vol}(E(c,A))=frac{u}{det A}$$ where $u=mathrm{vol}(E(0,1))$ is the volume of the unit sphere.



      The question is: how do I compute the volume of the intersection $$mathrm{vol}(E(c_1,A_1)cap E(c_2,A_2))$$



      I am more interested in being able to compute something relevant reasonably fast than in the exact correctness of the value. E.g., I would be happy to use the volumes of parallelepipeds (and their intersections) instead of ellipsoids.



      EDIT: another acceptable alternative would be to define normal densities $f_1$ and $f_2$ (with mean $c_i$ and covariance $A_i$). What is $int_{Bbb{R}^n}f_1 f_2$? Something ugly, alas.







      linear-algebra geometry probability-distributions normal-distribution volume






      share|cite|improve this question















      share|cite|improve this question













      share|cite|improve this question




      share|cite|improve this question








      edited Oct 10 '18 at 12:24







      sds

















      asked Mar 28 '13 at 16:36









      sdssds

      3,5381129




      3,5381129






















          2 Answers
          2






          active

          oldest

          votes


















          1












          $begingroup$

          By linear coordinate transform you can simplify the problem to a unit n-sphere intersecting with an ellipse that is aligned with the axes (i.e. not rotated).



          The simple case is where you have a intersection in one continuous area only (rather than one ellipse poking through the other, which is more complicated, and I will ignore this general case). In that simple case, the intersecting hyper-plane can be found similarly as in https://math.stackexchange.com/questions/162250/how-to-compute-the-volume-of-intersection-between-two-hyperspheres



          You can compute the cap of the n-sphere as in that question. The remainder is the intersection of the ellipsoid with the hyperplane. I think it should be possible to apply another linear coordinate transform, and get another n-sphere cap for the second term.



          I'd myself be interested in the details of this solution though.






          share|cite|improve this answer









          $endgroup$













          • $begingroup$
            Are you sure the intersection curve will be planar?
            $endgroup$
            – Rahul
            Jan 29 '14 at 0:12










          • $begingroup$
            @RahulNarain: true. mathoverflow.net/questions/66431/… could be useful for working towards a solution.
            $endgroup$
            – j13r
            Jan 29 '14 at 0:40



















          0












          $begingroup$

          It appears that for my purposes the Hellinger distance between the corresponding normal distributions is a perfectly acceptable "computable alternative".






          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%2f344885%2fvolume-of-the-intersection-of-ellipsoids%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$

            By linear coordinate transform you can simplify the problem to a unit n-sphere intersecting with an ellipse that is aligned with the axes (i.e. not rotated).



            The simple case is where you have a intersection in one continuous area only (rather than one ellipse poking through the other, which is more complicated, and I will ignore this general case). In that simple case, the intersecting hyper-plane can be found similarly as in https://math.stackexchange.com/questions/162250/how-to-compute-the-volume-of-intersection-between-two-hyperspheres



            You can compute the cap of the n-sphere as in that question. The remainder is the intersection of the ellipsoid with the hyperplane. I think it should be possible to apply another linear coordinate transform, and get another n-sphere cap for the second term.



            I'd myself be interested in the details of this solution though.






            share|cite|improve this answer









            $endgroup$













            • $begingroup$
              Are you sure the intersection curve will be planar?
              $endgroup$
              – Rahul
              Jan 29 '14 at 0:12










            • $begingroup$
              @RahulNarain: true. mathoverflow.net/questions/66431/… could be useful for working towards a solution.
              $endgroup$
              – j13r
              Jan 29 '14 at 0:40
















            1












            $begingroup$

            By linear coordinate transform you can simplify the problem to a unit n-sphere intersecting with an ellipse that is aligned with the axes (i.e. not rotated).



            The simple case is where you have a intersection in one continuous area only (rather than one ellipse poking through the other, which is more complicated, and I will ignore this general case). In that simple case, the intersecting hyper-plane can be found similarly as in https://math.stackexchange.com/questions/162250/how-to-compute-the-volume-of-intersection-between-two-hyperspheres



            You can compute the cap of the n-sphere as in that question. The remainder is the intersection of the ellipsoid with the hyperplane. I think it should be possible to apply another linear coordinate transform, and get another n-sphere cap for the second term.



            I'd myself be interested in the details of this solution though.






            share|cite|improve this answer









            $endgroup$













            • $begingroup$
              Are you sure the intersection curve will be planar?
              $endgroup$
              – Rahul
              Jan 29 '14 at 0:12










            • $begingroup$
              @RahulNarain: true. mathoverflow.net/questions/66431/… could be useful for working towards a solution.
              $endgroup$
              – j13r
              Jan 29 '14 at 0:40














            1












            1








            1





            $begingroup$

            By linear coordinate transform you can simplify the problem to a unit n-sphere intersecting with an ellipse that is aligned with the axes (i.e. not rotated).



            The simple case is where you have a intersection in one continuous area only (rather than one ellipse poking through the other, which is more complicated, and I will ignore this general case). In that simple case, the intersecting hyper-plane can be found similarly as in https://math.stackexchange.com/questions/162250/how-to-compute-the-volume-of-intersection-between-two-hyperspheres



            You can compute the cap of the n-sphere as in that question. The remainder is the intersection of the ellipsoid with the hyperplane. I think it should be possible to apply another linear coordinate transform, and get another n-sphere cap for the second term.



            I'd myself be interested in the details of this solution though.






            share|cite|improve this answer









            $endgroup$



            By linear coordinate transform you can simplify the problem to a unit n-sphere intersecting with an ellipse that is aligned with the axes (i.e. not rotated).



            The simple case is where you have a intersection in one continuous area only (rather than one ellipse poking through the other, which is more complicated, and I will ignore this general case). In that simple case, the intersecting hyper-plane can be found similarly as in https://math.stackexchange.com/questions/162250/how-to-compute-the-volume-of-intersection-between-two-hyperspheres



            You can compute the cap of the n-sphere as in that question. The remainder is the intersection of the ellipsoid with the hyperplane. I think it should be possible to apply another linear coordinate transform, and get another n-sphere cap for the second term.



            I'd myself be interested in the details of this solution though.







            share|cite|improve this answer












            share|cite|improve this answer



            share|cite|improve this answer










            answered Jan 28 '14 at 23:58









            j13rj13r

            27219




            27219












            • $begingroup$
              Are you sure the intersection curve will be planar?
              $endgroup$
              – Rahul
              Jan 29 '14 at 0:12










            • $begingroup$
              @RahulNarain: true. mathoverflow.net/questions/66431/… could be useful for working towards a solution.
              $endgroup$
              – j13r
              Jan 29 '14 at 0:40


















            • $begingroup$
              Are you sure the intersection curve will be planar?
              $endgroup$
              – Rahul
              Jan 29 '14 at 0:12










            • $begingroup$
              @RahulNarain: true. mathoverflow.net/questions/66431/… could be useful for working towards a solution.
              $endgroup$
              – j13r
              Jan 29 '14 at 0:40
















            $begingroup$
            Are you sure the intersection curve will be planar?
            $endgroup$
            – Rahul
            Jan 29 '14 at 0:12




            $begingroup$
            Are you sure the intersection curve will be planar?
            $endgroup$
            – Rahul
            Jan 29 '14 at 0:12












            $begingroup$
            @RahulNarain: true. mathoverflow.net/questions/66431/… could be useful for working towards a solution.
            $endgroup$
            – j13r
            Jan 29 '14 at 0:40




            $begingroup$
            @RahulNarain: true. mathoverflow.net/questions/66431/… could be useful for working towards a solution.
            $endgroup$
            – j13r
            Jan 29 '14 at 0:40











            0












            $begingroup$

            It appears that for my purposes the Hellinger distance between the corresponding normal distributions is a perfectly acceptable "computable alternative".






            share|cite|improve this answer











            $endgroup$


















              0












              $begingroup$

              It appears that for my purposes the Hellinger distance between the corresponding normal distributions is a perfectly acceptable "computable alternative".






              share|cite|improve this answer











              $endgroup$
















                0












                0








                0





                $begingroup$

                It appears that for my purposes the Hellinger distance between the corresponding normal distributions is a perfectly acceptable "computable alternative".






                share|cite|improve this answer











                $endgroup$



                It appears that for my purposes the Hellinger distance between the corresponding normal distributions is a perfectly acceptable "computable alternative".







                share|cite|improve this answer














                share|cite|improve this answer



                share|cite|improve this answer








                edited Dec 27 '18 at 22:36

























                answered Dec 7 '18 at 16:08









                sdssds

                3,5381129




                3,5381129






























                    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%2f344885%2fvolume-of-the-intersection-of-ellipsoids%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

                    Berounka

                    Sphinx de Gizeh

                    Different font size/position of beamer's navigation symbols template's content depending on regular/plain...