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












0












$begingroup$


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











$endgroup$












  • $begingroup$
    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.
    $endgroup$
    – toric_actions
    Jan 3 at 19:19










  • $begingroup$
    @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?
    $endgroup$
    – Dahn Jahn
    Jan 3 at 19:51


















0












$begingroup$


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











$endgroup$












  • $begingroup$
    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.
    $endgroup$
    – toric_actions
    Jan 3 at 19:19










  • $begingroup$
    @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?
    $endgroup$
    – Dahn Jahn
    Jan 3 at 19:51
















0












0








0


1



$begingroup$


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











$endgroup$




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 Jan 3 at 19:59







Dahn Jahn

















asked Jan 3 at 14:07









Dahn JahnDahn Jahn

2,35811837




2,35811837












  • $begingroup$
    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.
    $endgroup$
    – toric_actions
    Jan 3 at 19:19










  • $begingroup$
    @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?
    $endgroup$
    – Dahn Jahn
    Jan 3 at 19:51




















  • $begingroup$
    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.
    $endgroup$
    – toric_actions
    Jan 3 at 19:19










  • $begingroup$
    @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?
    $endgroup$
    – Dahn Jahn
    Jan 3 at 19:51


















$begingroup$
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.
$endgroup$
– toric_actions
Jan 3 at 19:19




$begingroup$
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.
$endgroup$
– toric_actions
Jan 3 at 19:19












$begingroup$
@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?
$endgroup$
– Dahn Jahn
Jan 3 at 19:51






$begingroup$
@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?
$endgroup$
– Dahn Jahn
Jan 3 at 19:51












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.




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

MongoDB - Not Authorized To Execute Command

How to fix TextFormField cause rebuild widget in Flutter

in spring boot 2.1 many test slices are not allowed anymore due to multiple @BootstrapWith