Pushing Cuckoo Eggs under Inverse Radon Transforms












4












$begingroup$


Essentially the inverse of the Radon transforms $Rf(L)=int_L{f(x)|dx|}$ has the ability to reconstruct $f(x)$ from the integrals over all lines; or, expressed differently to (re)construct $f(x)$ from a functional, that maps lines to real values.



Essentially this question is aimed at cuckoo eggs the inverse Radon transform will hatch if pushed under it:






Question:



what are examples of other functionals, that map lines to real values, to which the inverse Radon transform can be applied beneficially?



I am especially interested in examples that have been mentioned in publications.
Two examples of such line functionals that would be possible candidates, are




  • mapping lines to the geodesic distance between the pair of points, in which they intersect the boundary of a compact, convex subset of $mathbb{R}^n$ (lines that miss the boundary or are tangent to it are mapped to $0$)


  • mapping lines to their moments of inertia w.r.t. the model of a compact physical object; lines missing a sufficiently small compact containing volume will be mapped to $0$











share|cite|improve this question











$endgroup$

















    4












    $begingroup$


    Essentially the inverse of the Radon transforms $Rf(L)=int_L{f(x)|dx|}$ has the ability to reconstruct $f(x)$ from the integrals over all lines; or, expressed differently to (re)construct $f(x)$ from a functional, that maps lines to real values.



    Essentially this question is aimed at cuckoo eggs the inverse Radon transform will hatch if pushed under it:






    Question:



    what are examples of other functionals, that map lines to real values, to which the inverse Radon transform can be applied beneficially?



    I am especially interested in examples that have been mentioned in publications.
    Two examples of such line functionals that would be possible candidates, are




    • mapping lines to the geodesic distance between the pair of points, in which they intersect the boundary of a compact, convex subset of $mathbb{R}^n$ (lines that miss the boundary or are tangent to it are mapped to $0$)


    • mapping lines to their moments of inertia w.r.t. the model of a compact physical object; lines missing a sufficiently small compact containing volume will be mapped to $0$











    share|cite|improve this question











    $endgroup$















      4












      4








      4


      1



      $begingroup$


      Essentially the inverse of the Radon transforms $Rf(L)=int_L{f(x)|dx|}$ has the ability to reconstruct $f(x)$ from the integrals over all lines; or, expressed differently to (re)construct $f(x)$ from a functional, that maps lines to real values.



      Essentially this question is aimed at cuckoo eggs the inverse Radon transform will hatch if pushed under it:






      Question:



      what are examples of other functionals, that map lines to real values, to which the inverse Radon transform can be applied beneficially?



      I am especially interested in examples that have been mentioned in publications.
      Two examples of such line functionals that would be possible candidates, are




      • mapping lines to the geodesic distance between the pair of points, in which they intersect the boundary of a compact, convex subset of $mathbb{R}^n$ (lines that miss the boundary or are tangent to it are mapped to $0$)


      • mapping lines to their moments of inertia w.r.t. the model of a compact physical object; lines missing a sufficiently small compact containing volume will be mapped to $0$











      share|cite|improve this question











      $endgroup$




      Essentially the inverse of the Radon transforms $Rf(L)=int_L{f(x)|dx|}$ has the ability to reconstruct $f(x)$ from the integrals over all lines; or, expressed differently to (re)construct $f(x)$ from a functional, that maps lines to real values.



      Essentially this question is aimed at cuckoo eggs the inverse Radon transform will hatch if pushed under it:






      Question:



      what are examples of other functionals, that map lines to real values, to which the inverse Radon transform can be applied beneficially?



      I am especially interested in examples that have been mentioned in publications.
      Two examples of such line functionals that would be possible candidates, are




      • mapping lines to the geodesic distance between the pair of points, in which they intersect the boundary of a compact, convex subset of $mathbb{R}^n$ (lines that miss the boundary or are tangent to it are mapped to $0$)


      • mapping lines to their moments of inertia w.r.t. the model of a compact physical object; lines missing a sufficiently small compact containing volume will be mapped to $0$








      fa.functional-analysis integral-transforms






      share|cite|improve this question















      share|cite|improve this question













      share|cite|improve this question




      share|cite|improve this question








      edited 2 days ago









      YCor

      27.3k480132




      27.3k480132










      asked 2 days ago









      Manfred WeisManfred Weis

      4,48221340




      4,48221340






















          1 Answer
          1






          active

          oldest

          votes


















          3












          $begingroup$

          Suppose that $newcommand{bR}{mathbb{R}}$ $Ssubset bR^n$ is a compact semialgebraic set. Denote by $AL_n$ the Grassmannian of affine lines in $bR^n$. We define a "motivic" Radon transform that associates to each line $Lin AL_n$ the Euler characteristic $R_S(L):=chi(Lcap S)$. Pierre Schapira showed that the set $S$ is completely determined by its motivic Radon transform $R_S: AL_nto mathbb{Z}$.



          This problem can be formulated cleverly to express $1_S$, the indicator function of $S$, as an inverse Radon transform of $R_S$. The story is very rich and a bit too complex to expose here. Instead I refer to section 4.1 and 4.2 of my notes where you will find detailed explanations and precise references. Also, here is a link to Schapira's original paper.



          The Crofton formulae allow you to compute certain invariants of $S$ given the knowledge of other invariants of the intersection of $S$ with affine planes.






          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: "504"
            };
            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%2fmathoverflow.net%2fquestions%2f320790%2fpushing-cuckoo-eggs-under-inverse-radon-transforms%23new-answer', 'question_page');
            }
            );

            Post as a guest















            Required, but never shown

























            1 Answer
            1






            active

            oldest

            votes








            1 Answer
            1






            active

            oldest

            votes









            active

            oldest

            votes






            active

            oldest

            votes









            3












            $begingroup$

            Suppose that $newcommand{bR}{mathbb{R}}$ $Ssubset bR^n$ is a compact semialgebraic set. Denote by $AL_n$ the Grassmannian of affine lines in $bR^n$. We define a "motivic" Radon transform that associates to each line $Lin AL_n$ the Euler characteristic $R_S(L):=chi(Lcap S)$. Pierre Schapira showed that the set $S$ is completely determined by its motivic Radon transform $R_S: AL_nto mathbb{Z}$.



            This problem can be formulated cleverly to express $1_S$, the indicator function of $S$, as an inverse Radon transform of $R_S$. The story is very rich and a bit too complex to expose here. Instead I refer to section 4.1 and 4.2 of my notes where you will find detailed explanations and precise references. Also, here is a link to Schapira's original paper.



            The Crofton formulae allow you to compute certain invariants of $S$ given the knowledge of other invariants of the intersection of $S$ with affine planes.






            share|cite|improve this answer











            $endgroup$


















              3












              $begingroup$

              Suppose that $newcommand{bR}{mathbb{R}}$ $Ssubset bR^n$ is a compact semialgebraic set. Denote by $AL_n$ the Grassmannian of affine lines in $bR^n$. We define a "motivic" Radon transform that associates to each line $Lin AL_n$ the Euler characteristic $R_S(L):=chi(Lcap S)$. Pierre Schapira showed that the set $S$ is completely determined by its motivic Radon transform $R_S: AL_nto mathbb{Z}$.



              This problem can be formulated cleverly to express $1_S$, the indicator function of $S$, as an inverse Radon transform of $R_S$. The story is very rich and a bit too complex to expose here. Instead I refer to section 4.1 and 4.2 of my notes where you will find detailed explanations and precise references. Also, here is a link to Schapira's original paper.



              The Crofton formulae allow you to compute certain invariants of $S$ given the knowledge of other invariants of the intersection of $S$ with affine planes.






              share|cite|improve this answer











              $endgroup$
















                3












                3








                3





                $begingroup$

                Suppose that $newcommand{bR}{mathbb{R}}$ $Ssubset bR^n$ is a compact semialgebraic set. Denote by $AL_n$ the Grassmannian of affine lines in $bR^n$. We define a "motivic" Radon transform that associates to each line $Lin AL_n$ the Euler characteristic $R_S(L):=chi(Lcap S)$. Pierre Schapira showed that the set $S$ is completely determined by its motivic Radon transform $R_S: AL_nto mathbb{Z}$.



                This problem can be formulated cleverly to express $1_S$, the indicator function of $S$, as an inverse Radon transform of $R_S$. The story is very rich and a bit too complex to expose here. Instead I refer to section 4.1 and 4.2 of my notes where you will find detailed explanations and precise references. Also, here is a link to Schapira's original paper.



                The Crofton formulae allow you to compute certain invariants of $S$ given the knowledge of other invariants of the intersection of $S$ with affine planes.






                share|cite|improve this answer











                $endgroup$



                Suppose that $newcommand{bR}{mathbb{R}}$ $Ssubset bR^n$ is a compact semialgebraic set. Denote by $AL_n$ the Grassmannian of affine lines in $bR^n$. We define a "motivic" Radon transform that associates to each line $Lin AL_n$ the Euler characteristic $R_S(L):=chi(Lcap S)$. Pierre Schapira showed that the set $S$ is completely determined by its motivic Radon transform $R_S: AL_nto mathbb{Z}$.



                This problem can be formulated cleverly to express $1_S$, the indicator function of $S$, as an inverse Radon transform of $R_S$. The story is very rich and a bit too complex to expose here. Instead I refer to section 4.1 and 4.2 of my notes where you will find detailed explanations and precise references. Also, here is a link to Schapira's original paper.



                The Crofton formulae allow you to compute certain invariants of $S$ given the knowledge of other invariants of the intersection of $S$ with affine planes.







                share|cite|improve this answer














                share|cite|improve this answer



                share|cite|improve this answer








                edited 2 days ago

























                answered 2 days ago









                Liviu NicolaescuLiviu Nicolaescu

                25.5k259110




                25.5k259110






























                    draft saved

                    draft discarded




















































                    Thanks for contributing an answer to MathOverflow!


                    • 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%2fmathoverflow.net%2fquestions%2f320790%2fpushing-cuckoo-eggs-under-inverse-radon-transforms%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

                    "Incorrect syntax near the keyword 'ON'. (on update cascade, on delete cascade,)

                    Alcedinidae

                    RAC Tourist Trophy