Ponente: Leonardo Martínez Sandoval
Institución: Institut de Mathématiques de Jussieu, Francia
01/10/2019
de 12:00 a 13:00
Dónde Auditorio "Alfonso Nápoles Gándara"
En la plática veremos un panorama general del área de transversales geométricas. Para presentar este panorama, trabajaremos alrededor de un resultado obtenido en trabajo postdoctoral con Edgardo Roldán (CCM-Morelia) y Natan Rubin (Universidad Ben Gurion del Negev, Israel).
El Teorema de Helly Coloreado es una de las generalizaciones más sorprendentes y containtuirivas del teorema de Helly. Para enunciarlo, comenzamos con una famila F de conjuntos convexos en ℝd partida en la unión (no necesariamente disjunta) F=F1∪⋯∪Fd+1. Pensamos a cada una de las Fi como una clase cromática. Decimos que esta familia satisface la hipótesis colorida si cada subfamilia colorida de tamaño d+1 (que consiste de un conjunto de cada color) tiene intersección no vacía. El resultado clásico dice que si F satisface la hipótesis colorida, entonces al menos una clase cromática tiene intersección no vacía. De aquí surge una pregunta natural: ¿Por qué la conclusión habla únicamente de una clase cromática? ¿Qué podemos decir del resto?
Un ejemplo sencillo muestra que puede que no haya otra clase colorida con intersección no vacía. Lo que nosotros probamos es que, sin embargo, siempre se da una dicotomía. O bien existe una clase colorida que puede ser pinchada con pocos puntos, o bien todas las clases cromáticas (es decir, toda la familia F) pueden ser pinchadas con pocas lineas. Aquí "pocos" es un número que depende únicamente de d (y no de |F|). El resultado es sorprendente en vista de la escasez de resultados para lineas transversales en dimensión mayor a dos. En más generalidad, damos una clasificación de las familias que satisfacen la hipótesis colorida en términos de su estructura de transversales por flats. Si tenemos tiempo, veremos un ejemplo que alcanza nuestras cotas cualitativamente.
La prueba está basada en el esquema de Alon-Kleitman para probar el Teorema (p,q). Este enfoque combina la existencia de epsilon-nets pequeñas, la dualidad de programación lineal y el teorema de Helly fraccional. En la literatura no hay resultados de epsilon-nets de líneas para familias generales de convexos, ni resultados de Helly fraccionales para lineas transversales. Sin embargo, un ingenioso enfoque por inducción nos permite usar repetidamente resultados de epsilon-nets de planos para acotar números transversales que aparecen de manera natural en el problema. De aquí, continuamos con trucos similares a los que Alon y Kleitman usan en su demostración.
Temas: