As triangulações de Delaunay na esfera maximizam o ângulo mínimo?

9

As triangulações de Delaunay no plano maximizam o ângulo mínimo em um triângulo. O mesmo vale para a triangulação de pontos de Delaunay na esfera? (aqui o "ângulo" é o ângulo local em uma vizinhança ao redor do vértice no ápice).

Inspirado, mas não relacionado a esta pergunta no Math.SE.

Suresh Venkat
fonte
11
Certamente a propriedade seria válida para um conjunto localizado em uma região pequena e achatada da esfera, já que é uma variedade. A verdadeira questão seria se a propriedade é sacrificada à medida que os pontos se espalham pela esfera. Meu palpite seria que, para ter uma triangulação de Delaunay, você precisaria de triângulos gordos ainda mais do que no caso euclidiano, para que a propriedade se sustentasse.
Josephine Moeller
4
Isso não decorre, portanto, do fato de que a projeção estereográfica de um ponto genérico na esfera mapeia círculos em círculos e preserva os ângulos entre as curvas que se cruzam (arestas) devido à conformidade? Ou eu estou esquecendo de alguma coisa?
alguem
11
@ alguém Sim, isso deve ser feito. Pelo menos a maior parte. Pode haver um problema ou dois, mas essa seria a idéia central. Eu estava me perguntando sobre isso. Não percebi que o mapeamento estereográfico era conforme.
Josephine Moeller
11
@SureshVenkat Agora que você mencionou o espaço hiperbólico, talvez eu tenha minha intuição para trás. No espaço hiperbólico, você deve levar em consideração o fato de que existem circuitos "ilegais" (por exemplo, hiper-motocicletas e horociclos). Enquanto no espaço esférico você não; você sempre pode encontrar círculos que passam por três pontos.
Josephine Moeller
7
Eu não acho que isso funciona. Você quer ter certeza de que a projeção leva grandes círculos às linhas (já que você está medindo os ângulos entre as arestas dos triângulos, que são grandes círculos / retos). Não acho que você não possa fazer isso com uma projeção estereográfica. Você só pode fazer isso com uma projeção a partir do ponto no centro da esfera, que leva alguns círculos às elipses.
Peter Shor

Respostas:

10

PRIMEIRO ARGUMENTO: Esta foi minha primeira resposta. Observe que esse argumento está errado. Veja meu segundo argumento abaixo.

Eu não acho que é verdade. A razão pela qual ele trabalha no plano é que, em um círculo, o ângulo inscrito subtendido por um acorde é metade do ângulo central correspondente. Assim, se tivermos um triângulo com um ângulo pequeno, todos os pontos que formariam um ângulo maior com a aresta oposta estarão dentro do círculo vazio de Delaunay e, portanto, não são um dos pontos na configuração da qual estamos encontrando uma triangulação.

Agora, suponha que você tenha uma triangulação de Delaunay na esfera. Coloque um ponto no centro da esfera e projete todos os pioneiros em um plano. As arestas dos triângulos (grandes círculos na esfera) são levadas para segmentos de linha. Mas os círculos que dão a propriedade da bola vazia são levados às elipses; portanto, se houver um ponto fora da elipse projetada, mas dentro do circulo do triângulo, esse ponto faria um ângulo maior com a aresta.

EDITAR:

Espere um minuto. Esta resposta está completamente errada, porque a projeção central não preserva ângulos. Ainda acho que a conjectura está errada, porque tenho um argumento muito mais complicado de que o teorema dos ângulos inscritos não se sustenta na esfera. Aqui está o argumento:

SEGUNDO ARGUMENTO:

A razão disso no plano é que o ângulo inscrito subtendido por um acorde é metade do ângulo central correspondente. Isso vale porque, no diagrama abaixo, temos eCYX1=1

CYX2=12(πX2CY)
Subtraindo, obtemosX1YX2=1
CYX1=12(πX1CY).
X1 1YX2=1 12X1 1CX2.

imagem geometria

CYX2=12(πX2CY+A(X2CY))
CYX1=12(πX1CY+A(X1CY)),
A(XYZ)
X1YX2=12(X1 1CX2+UMA(X2CY)-UMA(X1 1CY)).

Para o lugar geométrico dos pontos Y fazendo um ângulo constante X1 1YX2 Para ser um círculo, precisamos, portanto, que a diferença de áreas UMA(X2CY)-UMA(X1 1CY) depende apenas do comprimento do arco X1 1X2. No entanto, isso é incompatível com a observação de queUMA(XCY) é 0 0 para X diametralmente oposto Y e para X=Y, mas cresce para um tamanho máximo intermediário.

Assim, o lócus de pontos Y com ângulo constante X1 1YX2não é um círculo. Isso significa que, para algum triânguloX1 1YX2 podemos encontrar um ponto Y fora do circulo de X1 1YX2 então o ângulo X1 1YX2<X1 1YX2. Podemos então usar isso para construir um contra-exemplo da conjectura de que as triangulações de Delaunay na esfera maximizam o ângulo mínimo.

Peter Shor
fonte
2
Eu não esperava que essa pergunta fosse tão complicada :). aguardando ansiosamente as fotos.
precisa