Curva de momentos

La envolvente convexa de cualquier conjunto finito de puntos en una curva de momentos es un politopo cíclico.^[3] Los politopos cíclicos tienen el mayor número posible de caras para un número dado de vértices, y en dimensiones cuatro o más tienen la propiedad de que sus aristas forman un grafo completo. Más fuertemente, son politopos vecinos, lo que significa que cada conjunto de como máximo d/2 vértices del politopo forma una de sus caras. Los conjuntos de puntos en la curva de momentos también realizan el máximo número posible de simples, ${\displaystyle \Omega (n^{\lceil d/2\rceil })}$, entre todas las triangulaciones de Delaunay posibles de conjuntos de n puntos en d dimensiones.^[4]

En el espacio bidimensional, es posible dividir cualquier área o medida en cuatro subconjuntos iguales, utilizando el teorema del sándwich de jamón. De manera similar pero más complicada, cualquier volumen o medida en tres dimensiones puede dividirse en ocho subconjuntos iguales mediante tres planos. Sin embargo, este resultado no se generaliza a cinco o más dimensiones, ya que la curva de momentos proporciona ejemplos de conjuntos que no se pueden dividir en 2^d subconjuntos mediante d hiperplanos. En particular, en cinco dimensiones, conjuntos de cinco hiperplanos pueden dividir segmentos de la curva de momentos en un máximo de 26 partes. No se sabe si las particiones de cuatro dimensiones en 16 subconjuntos iguales por cuatro hiperplanos son siempre posibles, pero es posible dividir 16 puntos en la curva de momentos de cuatro dimensiones en los 16 ortantes de un conjunto de cuatro hiperplanos.^[5]

Se puede utilizar una construcción basada en la curva de momentos para demostrar un lema de Gale, según el cual, para cualesquiera enteros positivos k y d, es posible colocar 2k + d puntos en una esfera de dimensión d de tal manera que cada hemisferio abierto contiene al menos k puntos. Este lema, a su vez, se puede usar para calcular la coloración de los grafos de Kneser, un problema que László Lovász resolvió primero de manera diferente.^[6]

La curva de momentos también se ha utilizado en dibujo de grafos, para mostrar que todos los grafos de n vértices se pueden dibujar con sus vértices en una cuadrícula entera tridimensional de longitud lateral O(n) y sin dos cruces entre sus vínculos. La idea principal es elegir un número primo p mayor que n y colocar el vértice i del grafo en las coordenadas

(i, i ² mod p, i ³ mod p).^[7]

Entonces un plano solo puede cruzar la curva en tres posiciones. Dado que dos vínculos que se cruzan deben tener cuatro vértices en el mismo plano, esto nunca puede suceder.

Una construcción similar que usa la curva de momentos módulo un número primo, pero en dos dimensiones en lugar de tres, proporciona un límite lineal para el problema de sin tres en línea.^[8]