Jesús De Loera

Fáciles de explicar, pero difı́ciles de resolver:

un popurrı́ de problemas de Geometrı́a.
Jesús A. De Loera
Department of Mathematics
Univ. of California, Davis
http://www.math.ucdavis.edu/˜deloera/

1
Jesús De Loera

POLITOPOS...por todas partes

2
Jesús De Loera

3
Jesús De Loera

¿ Qué es un politopo convexo?

4
Jesús De Loera

Como estos...

5
Jesús De Loera

o como estos

6
Jesús De Loera

pero no como estos!

7
Jesús De Loera

una definicion
CONVEXO significa que dados cualquier par de puntos dentro del
conjunto el segmento de linea que los conecta esta tambien dentro del
conjunto.

CONVEX
NOT CONVEX

8
Jesús De Loera
un (hiper)plano divide el espacio en dos semi-espacios. Los Semi-espacios
son convexos!
Ejercicio La intersección de convexos es un convexo!

00000000000000000000000000000000000000000000000000000000000000000000000000
11111111111111111111111111111111111111111111111111111111111111111111111111
00000000000000000000000000000000000000000000000000000000000000000000000000
11111111111111111111111111111111111111111111111111111111111111111111111111
00000000000000000000000000000000000000000000000000000000000000000000000000
11111111111111111111111111111111111111111111111111111111111111111111111111
00000000000000000000000000000000000000000000000000000000000000000000000000
11111111111111111111111111111111111111111111111111111111111111111111111111
00000000000000000000000000000000000000000000000000000000000000000000000000
11111111111111111111111111111111111111111111111111111111111111111111111111
00000000000000000000000000000000000000000000000000000000000000000000000000
11111111111111111111111111111111111111111111111111111111111111111111111111
00000000000000000000000000000000000000000000000000000000000000000000000000
11111111111111111111111111111111111111111111111111111111111111111111111111
00000000000000000000000000000000000000000000000000000000000000000000000000
11111111111111111111111111111111111111111111111111111111111111111111111111
00000000000000000000000000000000000000000000000000000000000000000000000000
11111111111111111111111111111111111111111111111111111111111111111111111111
00000000000000000000000000000000000000000000000000000000000000000000000000
11111111111111111111111111111111111111111111111111111111111111111111111111
00000000000000000000000000000000000000000000000000000000000000000000000000
11111111111111111111111111111111111111111111111111111111111111111111111111
00000000000000000000000000000000000000000000000000000000000000000000000000
11111111111111111111111111111111111111111111111111111111111111111111111111
00000000000000000000000000000000000000000000000000000000000000000000000000
11111111111111111111111111111111111111111111111111111111111111111111111111
00000000000000000000000000000000000000000000000000000000000000000000000000
11111111111111111111111111111111111111111111111111111111111111111111111111
00000000000000000000000000000000000000000000000000000000000000000000000000
11111111111111111111111111111111111111111111111111111111111111111111111111
00000000000000000000000000000000000000000000000000000000000000000000000000
11111111111111111111111111111111111111111111111111111111111111111111111111
00000000000000000000000000000000000000000000000000000000000000000000000000
11111111111111111111111111111111111111111111111111111111111111111111111111
00000000000000000000000000000000000000000000000000000000000000000000000000
11111111111111111111111111111111111111111111111111111111111111111111111111
00000000000000000000000000000000000000000000000000000000000000000000000000
11111111111111111111111111111111111111111111111111111111111111111111111111
00000000000000000000000000000000000000000000000000000000000000000000000000
11111111111111111111111111111111111111111111111111111111111111111111111111
00000000000000000000000000000000000000000000000000000000000000000000000000
11111111111111111111111111111111111111111111111111111111111111111111111111
00000000000000000000000000000000000000000000000000000000000000000000000000
11111111111111111111111111111111111111111111111111111111111111111111111111
00000000000000000000000000000000000000000000000000000000000000000000000000
11111111111111111111111111111111111111111111111111111111111111111111111111
00000000000000000000000000000000000000000000000000000000000000000000000000
11111111111111111111111111111111111111111111111111111111111111111111111111
00000000000000000000000000000000000000000000000000000000000000000000000000
11111111111111111111111111111111111111111111111111111111111111111111111111
00000000000000000000000000000000000000000000000000000000000000000000000000
11111111111111111111111111111111111111111111111111111111111111111111111111
00000000000000000000000000000000000000000000000000000000000000000000000000
11111111111111111111111111111111111111111111111111111111111111111111111111

Formalmente un semi-espacio esta dado por una desigualdad lineal:

a1x1 + a2x2 + . . . + adxd ≤ b.

Definición: Un politopo es un conjunto acotado del espacio Euclideano

que es la intersección de un conjunto finito de semi-espacios.

9
Jesús De Loera

Formulación algebraica de politopos

Son la solución de un sistema de desigualdades lineales...

a1,1x1 + a1,2x2 + . . . + a1,dxd ≤ b1

a2,1x1 + a2,2x2 + . . . + a2,dxd ≤ b2

..
ak,1x1 + ak,2x2 + . . . + ak,dxd ≤ bk

Lo podemos escribir usando notacion de matrices.

10
Jesús De Loera

Las Caras de un Politopo

11
Jesús De Loera

Contando Caras

• Formula de Euler V − E + F = 2, relaciona los numeros de vertices V ,

aristas E, y facetas F de un politopo 3-dimensional.

12
Jesús De Loera

Dado un 3-politopo P , si fi(P ) es el numero de caras i-dimensionales

tenemos un vector (f0(P ), f1(P ), f2(P )) de caras. el f -vector of P .

• Teorema (Steinitz 1906) un vector de numeros enteros no negativos

(f0(P ), f1(P ), f2(P )) ∈ Z3 es el f -vector de un politopo 3-dimensional
si y solo si
1. f0(P ) − f1(P ) + f2(P ) = 2
2. 2f1(P ) ≥ 3f0(P )
3. 2f1(P ) ≥ 3f2(P )

• Problema 1: Encuentre condiciones similares para 4-dimensiones. El

f -vector tiene components (f0, f1, f2, f3).

13
Jesús De Loera

Dualidad

14
Jesús De Loera

Visualizando Politopos en 4-dimensiones

15
Jesús De Loera

16
Jesús De Loera

17
Jesús De Loera

Abriendo Regalos Politopales

Usamos tijeras para cortar el dodecahedro por sus aristas.

18
Jesús De Loera

19
Jesús De Loera

20
Jesús De Loera

21
Jesús De Loera

Problema 2: Dado un 3-politopo ¿ se puede siempre desenvolver de modo

que no se crucen las caras?

22
Jesús De Loera

¿ Cual es su intuición?
Pregunta: Si yo pego de vuelta lo que corté sin instrucciones ¿puedo
lograr dos politopos distintos?

Respuesta al final de la conferencia!

23
Jesús De Loera

Los politopos son útiles

Un modelo matemático muy versátil es el da la programación lineal:

maximizar C1x1 + C2x2 + . . . + Cdxd

con valores x1 , x2, . . . , xd, que satisfacen

a1,1x1 + a1,2x2 + . . . + a1,dxd ≤ b1

a2,1x1 + a2,2x2 + . . . + a2,dxd ≤ b2
..
ak,1x1 + ak,2x2 + . . . + ak,dxd ≤ bk

24
Jesús De Loera

el método Simplex
George Dantzig, inventor del método simplex

25
Jesús De Loera

• Lema: La solución optima de un programa lineal siempre corresponde a

un vertice. Asi que solo tenemos que encontrar un vertice especial.

• El método simplex camina a lo largo de las aristas del politopo, saltando

de un vertice a otro, cada vez mejorando el valor que tienen las variables.

26
Jesús De Loera

Pero ¿ Qué tan rapido puedo llegar?

• La rapidez de llegar de un vertice a otro depende del diámetro del grafo
del politopo: la distancia mas larga entre un par de vertices.

• (La conjetura de Hirsch) El diámetro es a lo mas # facetas(P )−dim(P ).

•
Problema 3: ¿ Cual es la cota verdadera? Un intento con BLOGS...

27
Jesús De Loera

Coloreando Facetas
Queremos colorear las facetas de un 3-politopo con el mı́nimo numero de
colores de modo que dos facetas vecinas tengan color distinto.

Theorem[El teorema de-los cuatro colores] Cuatro colores son suficientes!

Problema 4: ¿ Se puede dar una demostración sin ordenador?

28
Jesús De Loera

¿ Cómo calcular el volumen de un politopo?

1
volumen la de pirámide egipcia = (área de base) × altura
3

29
Jesús De Loera

Facil en algunos casos...

30
Jesús De Loera

Pero en general necesitamos LIMITES!

31
Jesús De Loera

Pero no en DOS dimensiones!

Poligonos de la misma area son equidescomponibles, i.e., un objeto se

pueden partir en varias piezas que se re-arman donde el otro objeto

32
Jesús De Loera

el Tercero problema de Hilbert

¿Son dos 3-politopos del mismo volumen equidescomponibles?

33
Jesús De Loera

¡Suficiente saberlo para simplejos!

Para calcular el volumen divide el politopo como la unión disjunta de
tetraedros. Calcula el volumen de cada tetraedro (un determinante) y
súmalos.

34
Jesús De Loera

Tamaño de triangulaciones

6 8

Problema 5: Si un politopo 3-dimensional tiene triangulaciones de tamaño

k1, k2 con k2 > k1. ¿ Hay una triangulación de tamaño k, k1 < k < k2?

35
Jesús De Loera

Triangulaciones Hamiltonianas
El grafo dual de una triangulación: un vertices por cada tetrahedro y
una arista uniendo vertices adjacentes que comparten un triángulo.

11
00
111
000 11
00
11
00 000
111 00
11

111
000
111
000
11
00 111
000 11
00
111
000

Problema 6: ¿ Es cierto que siempre hay una triangulación cuyo grafo dual
es hamiltoniano?

36
Jesús De Loera

Contando puntos enteros

Queremos contar puntos enteros dentro un politopo

37
Jesús De Loera

Combinatoria via Usando Geometrı́a

Muchos objetos interesantes pueden contarse, si se cuentan puntos
enteros. E.g., Configuraciones Sudoku y CUADRADOS MAGICOS:

12 0 5 7

0 12 7 5

7 5 0 12

5 7 12 0

Problema 7: Encuentre una fórmula fn(k) para el número de n × n

cuadrados magicos de suma k. EXISTE una cuya forma es un (casi)-
polinomio, pero no sabemos la respuesta a más de n = 6!!!

38
Jesús De Loera

Las Esferas que se besan

• ¿ Cúal es el número más grande de esferas con el mismo radio que
se puede colocar tangentes a la superficie de una esfera central? la
respuesta se llama k(d) (número de besos).

• Sabemos k(1) = 2, k(2) = 6, k(3) = 12, k(8) = 240, k(24) = 196560

pero solo 24 ≤ k(4) ≤ 25.
Problema 8:¿Cúal es el valor exacto de k(d)?

39
Jesús De Loera

Paul Erdös y sus problemas...

• Un gran matemático ambulate, sin casa ni posesiones, nunca paraba de

proponer problemas interesantes...

40
Jesús De Loera

• Sea S un conjunto de n puntos en el plano. Erdös probó que existe un

numero minimo f (k) tal que todo conjunto de puntos con f (k) o más
puntos tiene de seguro k puntos que forman los vertices de un k-gono.
Se sabe que 2k−2 + 1 ≤ f (k) ≤ 2k−4


n−2 + 1.

EJERCICIO: Construya un conjunto de puntos que no tiene un solo

pentágono!
Problema 9a: ¿Cual es el el verdadero valor de la función f (k)?

• Sea g(k) el number más pequeño tal que todo conjunto de puntos con
g(k) o más puntos tiene k-gono convexo vacı́o en la configuración. Vacı́o
significa no otro punto dentro.
Problema 9b: ¿Cual es el el verdadero valor de la función g(k)? Aun
más difı́cil, no se conoce g(6).

41
Jesús De Loera

Pintando el plano
Problema 10: ¿Cúal es el número más pequeño de colores que pintan
los puntos del plano y no hay dos puntos del mismo color a distancia uno?
Propuesto por Hardwiger and Nelson 1950. La respuesta esta entre 4 y
7...pero...

42
Jesús De Loera

BIBLIOGRAFIA
• J. Matousek Lectures on Discrete Geometry Springer Verlag, graduate
texts in Mathematics 2003.

• V. Klee and S. Wagon Old and New Unsolved problems in plane geometry
and number theory Mathematical Association of America

• G. Ziegler Lectures on Polytopes Springer Verlag, graduate texts in

Mathematics 2003.

• P.R. Cromwell Polyhedra Cambridge University press.

• G. Lekkerker Geometry of Numbers Elsevier-Holland.

• J.H. Conway and N. Sloane Spheres Lattices and Codes Springer Verlag

43
Jesús De Loera

¡ Muchas Gracias!

44
Jesús De Loera

-5 0
-2.5 2
0 S 4
2.5 6
S 5
8
8
Polytope 1 polytope 2

6
6

view from front and top

view from front and top
4
4

2 2
C B B

0 0
A A
5 5
2.5 2.5
0 0
-2.5 -2.5
-5 -5

-5 -5
-5 0
-2.5 -2.5
0 0
2.5 2.5 S 2
5 -2.5 5
4
8 0
8
polytope 2 6
S 2.5
6
6
Polytope 1 5 view from behind and below
4
4
view from behind and below
2
2
45
C
0
C
0 B
B
A
A