stringtranslate.com

La conjetura 3^d de Kalai

Problema sin resolver en matemáticas :
¿Todo politopo centralmente simétrico de dimensión 1 tiene al menos caras no vacías?

En geometría , más específicamente en teoría de politopos , la conjetura 3 d de Kalai es una conjetura sobre la combinatoria poliédrica de politopos centralmente simétricos , hecha por Gil Kalai en 1989. [1] Establece que cada politopo centralmente simétrico de dimensión d tiene al menos 3 d caras no vacías (incluido el politopo mismo como cara pero sin incluir el conjunto vacío ).

Ejemplos

El cubo y el octaedro regular, dos ejemplos en los que el límite de la conjetura es estricto.

En dos dimensiones, los polígonos convexos centralmente simétricos más simples son los paralelogramos , que tienen cuatro vértices, cuatro aristas y un polígono: 4 + 4 + 1 = 9 = 3 2 . Un cubo es centralmente simétrico y tiene 8 vértices, 12 aristas, 6 lados cuadrados y 1 sólido: 8 + 12 + 6 + 1 = 27 = 3 3 . Otro poliedro convexo tridimensional , el octaedro regular , también es centralmente simétrico y tiene 6 vértices, 12 aristas, 8 lados triangulares y 1 sólido: 6 + 12 + 8 + 1 = 27 = 3 3 .

En dimensiones superiores, el hipercubo [0, 1] d tiene exactamente 3 d caras, cada una de las cuales puede determinarse especificando, para cada uno de los d ejes de coordenadas, si la cara se proyecta sobre ese eje en el punto 0, el punto 1 o el intervalo [0, 1]. De manera más general, cada politopo de Hanner tiene exactamente 3 d caras. Si la conjetura de Kalai es cierta, estos politopos estarían entre los politopos con simetría central con la menor cantidad posible de caras. [1]

Estado

Se sabe que la conjetura es cierta para . [2] También se sabe que es cierta para politopos simpliciales : en este caso se sigue de una conjetura de Imre Bárány y László Lovász  (1982) que cada politopo simplicial centralmente simétrico tiene al menos tantas caras de cada dimensión como el politopo cruzado, demostrado por Richard Stanley  (1987). [3] [4] De hecho, Kalai citó estos dos artículos anteriores como parte de la base para hacer su conjetura. [1] Otra clase especial de politopos para los que se ha demostrado la conjetura son los politopos de Hansen de grafos divididos , que habían sido utilizados por Ragnar Freij, Matthias Henze y Moritz Schmitt et al. (2013) para refutar las conjeturas más fuertes de Kalai. [5]

La conjetura 3D permanece abierta para politopos arbitrarios en dimensiones superiores.

Conjeturas relacionadas

En el mismo trabajo en el que aparece la conjetura 3 d , Kalai conjeturó con más fuerza que el f -vector de cada politopo convexo centralmente simétrico P domina al f -vector de al menos un politopo de Hanner H de la misma dimensión. Esto significa que, para cada número i desde 0 hasta la dimensión de P , el número de caras i -dimensionales de P es mayor o igual que el número de caras i -dimensionales de H . Si fuera cierto, esto implicaría la verdad de la conjetura 3 d ; sin embargo, la conjetura más fuerte fue refutada más tarde. [2]

Una conjetura relacionada también atribuida a Kalai se conoce como la conjetura de la bandera completa y afirma que el cubo (así como cada uno de los politopos de Hanner) tiene el número máximo de banderas (completas) , es decir, d !2 d , entre todos los politopos centralmente simétricos. [6]

Finalmente, tanto la conjetura 3 d como la conjetura de la bandera completa se consideran a veces análogas combinatorias de la conjetura de Mahler . Las tres conjeturas afirman que los politopos de Hanner minimizan ciertas cantidades combinatorias o geométricas, se han resuelto en casos especiales similares, pero son ampliamente abiertas en general. En particular, la conjetura de la bandera completa se ha resuelto en algunos casos especiales utilizando técnicas geométricas. [7]

Referencias

  1. ^ abc Kalai, Gil (1989), "El número de caras de politopos con simetría central", Graphs and Combinatorics , 5 (1): 389–391, doi :10.1007/BF01788696, MR  1554357, S2CID  8917264.
  2. ^ ab Sanyal, Raman; Werner, Axel; Ziegler, Günter M. (2009), "Sobre las conjeturas de Kalai concernientes a los politopos de simetría central", Geometría discreta y computacional , 41 (2): 183–198, arXiv : 0708.3661 , doi :10.1007/s00454-008-9104-8, MR  2471868, S2CID  8483579/
  3. ^ Bárány, Imre ; Lovász, László (1982), "El teorema de Borsuk y el número de facetas de politopos centralmente simétricos", Acta Mathematica Academiae Scientiarum Hungaricae , 40 (3–4): 323–329, doi :10.1007/BF01903592, MR  0686332, S2CID  122301493.
  4. ^ Stanley, Richard P. (1987), "Sobre el número de caras de politopos simpliciales con simetría central", Graphs and Combinatorics , 3 (1): 55–66, doi :10.1007/BF01788529, MR  0932113, S2CID  6524086.
  5. ^ Freij, Ragnar; Henze, Matthias; Schmitt, Moritz W.; Ziegler, Günter M. (2013), "Números de caras de politopos simétricos centralmente producidos a partir de grafos divididos", Electronic Journal of Combinatorics , 20 (2): #P32, arXiv : 1201.5790 , doi :10.37236/3315, MR  3066371.
  6. ^ Senechal, M. (Ed.). (2013). Dar forma al espacio: explorar los poliedros en la naturaleza, el arte y la imaginación geométrica. Springer Science & Business Media. Capítulo 22.10
  7. ^ Faifman, D., Vernicos, C. y Walsh, C. (2023). Crecimiento de volumen de la geometría de Funk y las banderas de politopos. Preimpresión arXiv arXiv:2306.09268.