Delaunay triangulation in $mathbb R^d$: Empty sphere property works for all $k$-faces?












0














This is (it seems to me) a well-known fact, but I am struggling to find a reference.



Let $X={x_1,dots, x_n}subset mathbb R^d$ be a set of points. Then the following is true:




Subset $Fsubset X$, with $mathrm{card}F=k+1$, forms a $k$-face of the Delaunay triangulation of $X$ iff there exists an empty $d$-dimensional sphere on which all points of $F$ lie.




I am interested specifically in the case $d=3,k=1$, i.e. an edge of Delaunay tetrahedrization. If you only provide a reference for this case, I will accept it as an answer.



I only found some proofs of the case $d=2,k=1$ and then a number of people using this fact without a source.



Is there a reference for this fact? Or is the proof in fact so elementary that there simply is no reference?










share|cite|improve this question
























  • Can you check the book Triangulations - Structures for Algorithms and Applications by Jesús A. De Loera, Jörg Rambau, and Francisco Santos? I suppose they discuss this.
    – toric_actions
    yesterday










  • @toric_actions I can, but the book is not specifically about Delaunay triangulations and only mentions the empty spheres on one page. I'll try looking (since Delaunay is a special case of regular triangulations, which are also in the book). Do you perhaps have a more concrete pointer?
    – Dahn Jahn
    yesterday


















0














This is (it seems to me) a well-known fact, but I am struggling to find a reference.



Let $X={x_1,dots, x_n}subset mathbb R^d$ be a set of points. Then the following is true:




Subset $Fsubset X$, with $mathrm{card}F=k+1$, forms a $k$-face of the Delaunay triangulation of $X$ iff there exists an empty $d$-dimensional sphere on which all points of $F$ lie.




I am interested specifically in the case $d=3,k=1$, i.e. an edge of Delaunay tetrahedrization. If you only provide a reference for this case, I will accept it as an answer.



I only found some proofs of the case $d=2,k=1$ and then a number of people using this fact without a source.



Is there a reference for this fact? Or is the proof in fact so elementary that there simply is no reference?










share|cite|improve this question
























  • Can you check the book Triangulations - Structures for Algorithms and Applications by Jesús A. De Loera, Jörg Rambau, and Francisco Santos? I suppose they discuss this.
    – toric_actions
    yesterday










  • @toric_actions I can, but the book is not specifically about Delaunay triangulations and only mentions the empty spheres on one page. I'll try looking (since Delaunay is a special case of regular triangulations, which are also in the book). Do you perhaps have a more concrete pointer?
    – Dahn Jahn
    yesterday
















0












0








0







This is (it seems to me) a well-known fact, but I am struggling to find a reference.



Let $X={x_1,dots, x_n}subset mathbb R^d$ be a set of points. Then the following is true:




Subset $Fsubset X$, with $mathrm{card}F=k+1$, forms a $k$-face of the Delaunay triangulation of $X$ iff there exists an empty $d$-dimensional sphere on which all points of $F$ lie.




I am interested specifically in the case $d=3,k=1$, i.e. an edge of Delaunay tetrahedrization. If you only provide a reference for this case, I will accept it as an answer.



I only found some proofs of the case $d=2,k=1$ and then a number of people using this fact without a source.



Is there a reference for this fact? Or is the proof in fact so elementary that there simply is no reference?










share|cite|improve this question















This is (it seems to me) a well-known fact, but I am struggling to find a reference.



Let $X={x_1,dots, x_n}subset mathbb R^d$ be a set of points. Then the following is true:




Subset $Fsubset X$, with $mathrm{card}F=k+1$, forms a $k$-face of the Delaunay triangulation of $X$ iff there exists an empty $d$-dimensional sphere on which all points of $F$ lie.




I am interested specifically in the case $d=3,k=1$, i.e. an edge of Delaunay tetrahedrization. If you only provide a reference for this case, I will accept it as an answer.



I only found some proofs of the case $d=2,k=1$ and then a number of people using this fact without a source.



Is there a reference for this fact? Or is the proof in fact so elementary that there simply is no reference?







reference-request computational-geometry triangulation voronoi-diagram






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited yesterday

























asked yesterday









Dahn Jahn

2,34811837




2,34811837












  • Can you check the book Triangulations - Structures for Algorithms and Applications by Jesús A. De Loera, Jörg Rambau, and Francisco Santos? I suppose they discuss this.
    – toric_actions
    yesterday










  • @toric_actions I can, but the book is not specifically about Delaunay triangulations and only mentions the empty spheres on one page. I'll try looking (since Delaunay is a special case of regular triangulations, which are also in the book). Do you perhaps have a more concrete pointer?
    – Dahn Jahn
    yesterday




















  • Can you check the book Triangulations - Structures for Algorithms and Applications by Jesús A. De Loera, Jörg Rambau, and Francisco Santos? I suppose they discuss this.
    – toric_actions
    yesterday










  • @toric_actions I can, but the book is not specifically about Delaunay triangulations and only mentions the empty spheres on one page. I'll try looking (since Delaunay is a special case of regular triangulations, which are also in the book). Do you perhaps have a more concrete pointer?
    – Dahn Jahn
    yesterday


















Can you check the book Triangulations - Structures for Algorithms and Applications by Jesús A. De Loera, Jörg Rambau, and Francisco Santos? I suppose they discuss this.
– toric_actions
yesterday




Can you check the book Triangulations - Structures for Algorithms and Applications by Jesús A. De Loera, Jörg Rambau, and Francisco Santos? I suppose they discuss this.
– toric_actions
yesterday












@toric_actions I can, but the book is not specifically about Delaunay triangulations and only mentions the empty spheres on one page. I'll try looking (since Delaunay is a special case of regular triangulations, which are also in the book). Do you perhaps have a more concrete pointer?
– Dahn Jahn
yesterday






@toric_actions I can, but the book is not specifically about Delaunay triangulations and only mentions the empty spheres on one page. I'll try looking (since Delaunay is a special case of regular triangulations, which are also in the book). Do you perhaps have a more concrete pointer?
– Dahn Jahn
yesterday












0






active

oldest

votes











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%2f3060579%2fdelaunay-triangulation-in-mathbb-rd-empty-sphere-property-works-for-all-k%23new-answer', 'question_page');
}
);

Post as a guest















Required, but never shown

























0






active

oldest

votes








0






active

oldest

votes









active

oldest

votes






active

oldest

votes
















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.





Some of your past answers have not been well-received, and you're in danger of being blocked from answering.


Please pay close attention to the following guidance:


  • 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.


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%2f3060579%2fdelaunay-triangulation-in-mathbb-rd-empty-sphere-property-works-for-all-k%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

An IMO inspired problem

Management

Has there ever been an instance of an active nuclear power plant within or near a war zone?