Pushing Cuckoo Eggs under Inverse Radon Transforms
$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$
fa.functional-analysis integral-transforms
$endgroup$
add a comment |
$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$
fa.functional-analysis integral-transforms
$endgroup$
add a comment |
$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$
fa.functional-analysis integral-transforms
$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
fa.functional-analysis integral-transforms
edited 2 days ago
YCor
27.3k480132
27.3k480132
asked 2 days ago
Manfred WeisManfred Weis
4,48221340
4,48221340
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
$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.
$endgroup$
add a comment |
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
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
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
$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.
$endgroup$
add a comment |
$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.
$endgroup$
add a comment |
$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.
$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.
edited 2 days ago
answered 2 days ago
Liviu NicolaescuLiviu Nicolaescu
25.5k259110
25.5k259110
add a comment |
add a comment |
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.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
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
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
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