# Girasol (matemáticas)

En las ramas matemáticas de teoría de conjuntos y combinatoria extremal, un girasol o $\Delta$-sistema es una colección de conjuntos cuya intersección por parejas es constante. Esta intersección constante se denomina el centro del girasol.
La pregunta de investigación principal que surge con relación a los girasoles es: bajo qué condiciones existe un girasol grande (un girasol con muchos conjuntos) en una colección dada de conjuntos? El $\Delta$-lema, lema de girasol, culminando en la conjetura del girasol dan condiciones sucesivamente más débileslas cuales implicarían la existencia de un girasol grande en una colección de conjuntos dada, este último siendo uno de los problemas abiertos más famosos en la combinatoria extremal.

## Definición formal

Supón que $W$ es un sistema de conjuntos, esto es, una colección de subconjuntos de un conjunto $U$. La colección $W$ es un girasol (o $\Delta$-sistema) si hay un subconjunto $S$ de $U$ tal que para cada $A$ y $B$ distintos y en $W$, tenemos $A\cap B=S$. En otras palabras, un sistema de conjuntos o colección de conjuntos $W$ es un girasol si la intersección por parejas de cada conjunto en $W$ es constante. Nota que esta intersección, $S$, puede ser vacía; una colección de subconjuntos disjuntos por parejas es también un girasol. De modo parecido, una colección de conjuntos, cada uno conteniendo los mismos elementos es también un girasol trivialmente.

## Teorema de sistemas delta y lema del girasol

Un resultado básico y sencillo de Erdos y Rado afirma:
    Teorema de $\Delta$-sistemas de Erdos-Rado:
Hay una función $f(k,r)$ tal que cualquier sistema $W$ de conjuntos de cardinalidad a lo más $k$ con más de $f(k,r)$ miembros contiene un girasol de $r$ conjuntos..
Prueba. Supón que existe un sistema de conjuntos $W$ tal que existen $k>0$ y $r>0$ tal que para cualquier cardinalidad del sistema de conjuntos $W$, no existe ningún girasol de $r$ conjuntos en $W$. Escogemos que $W$ sea infinito. Ya que $W$ no contiene ningún girasol de medida $r$, en $W$ puede haber como máximo $r-1$ conjuntos disjuntos por parejas, ya que $r$ conjuntos disjuntos por parejas constituirían un girasol. Sea $K_{a_{0}}$ el conjunto máximo de subconjuntos disjuntos por parejas de $W$; $K_{a_{0}}$ es de cardinalidad como máximo $r-1$. Sigue que cada conjunto en $W$ fuera de $K_{a_{0}}$ cruza con al menos uno puesto en $K_{a_{0}}$. De otra manera, supongamos que hay un conjunto en $W$ fuera de $K_{a_{0}}$ el cual no se interseca con ningún conjunto en $K$; entonces, sería disjunto por pareja con cualquier conjunto en $K$ y entonces con los $r-1$ conjuntos de $K$, y esto último formaría un girasol con $r$ conjuntos, lo cual contradice la suposición.
Para $W$ arbitrariamente grande, existe un elemento $a_{1}$ en los conjuntos en $K_{a_{0}}$ tal que una infinidad de conjuntos en $W$ contendrán a $a$ por el Principio de Casillas inverso. Quitamos el elemento común de todos estos conjuntos y denotamos este sistema de conjuntos por $K_{a_{1}}$. Ya que por suposición, no existe ningún girasol con $r$ conjuntos, hay como máximo $r-1$ conjuntos disjuntos en $K_{a_{1}}$. De otra manera, aquellos $r$ conjuntos formarían un girasol y el conjunto de intersección del girasol sería ${a}$. Construimos $K_{a_{k}}$ a partir de $K_{a_{k-1}}$removiendo ${a_{k}}$ de la infinidad de conjuntos en $K_{a_{k-1}}$ que contienen a $a_{k}$, donde $a_{k}$ es un elemento de los (máximo) $r-1$ $k$-conjuntos contenidos en $K_{a_{k-1}}$. $K_{a_{k}}$ es ahora un conjunto infinito de conjuntos vacíos, implicando que existe un conjunto infinito de $k$-conjuntos idénticos en $W$, lo que es una contradicción. Esto completa la prueba.
Erdős y Rado (1960) & Rado (1960, p. 86) probaron el lema de girasol, el cual declara que $f(k,r)\leq k!(r-1)^{k+1}$.Aquello es, si $k$ y $r$ son enteros positivos, entonces un sistema de conjuntos $W$ de cardinalidad mayor o igual que $k!(r-1)^{k+1}$ de conjuntos de cardinalidad a lo sumo $k$ contiene un girasol con al menos $r$ conjuntos. La prueba del Teorema de el Delta-sistema de Erdos-Rado puede ser adaptada para el caso en que $W$ tiene tamaño finito para probar el lema, en particular, observando que el número total de elementos en los conjuntos de los conjuntos maximales disjuntos por parejas en $K_{a_{0}},K_{a_{1}},\ldots ,K_{a_{k-1}},K_{a_{k}}$ son $(r-1)k,(r-1)(k-1),\ldots ,r$ respectivamente, y que el tamaño de $K_{a_{i}}$ pueden ser escohidos en ser tal que $K_{a_{i-1}}/[(r-1)(k-i)]$
Lo siguiente da una prueba directa inductiva del lema del girasol de Erdos-Rado.
Prueba. Claramente $f(0,r)\leq r-1$ ya que, si cada conjunto es el conjunto vacío, entonces cualquier conjunto de tamaño $r$ formado por conjuntos vacíos es un girasol de $r$ conjuntos. Ahora, si $F$ contiene conjuntos de tamaño $k+1$, o bien tiene un subconjunto $K$ formado por conjuntos de tamaño $(k+1)$ y disjuntos por parejas, con $|K|\geq r$, lo cual constituiría un girasol con $r$ conjuntos, y terminaríamos.
De otro modo, $F$ contiene un subconjunto de conjuntos disjuntos por parejas y de tamaño a lo sumo $r-1$, y por lo tanto contiene máximo $(r-1)(k+1)$ elementos distintos. En este último caso, hay un elemento de los $\leq r$ conjuntos disjuntos por parejas contenido en al menos $|F|/(r-1)(k+1)$ conjuntos de $F$. Esto sucede debido al siguiente lema, donde $\Sigma (C)$ denota la sumatoria de los elementos en el conjunto $C$.
Lema 1. Supón que $A=(a_{1},....,a_{n})$ son enteros positivos para $n>0$ y que $\Sigma (A)=m$. Entonces para toda $k$ tal que $n\geq k>0$, hay un subconjunto de $k$ elementos de $A$, $B$, tal que $\Sigma (B)\geq m/k$.
De ahí, si $|F|\geq (r-1)(k+1)f(k,r)$ donde $f(k,r)$ está bien definido por la hipótesis de inducción, entonces $F$ contiene un $r$ girasol de conjuntos de tamaño $k+1$. Por lo tanto, $f(k+1,r)\leq f(k,r)(r-1)(k+1)$, y demostramos el teorema.

## Aplicaciones del lema de girasol

El lema de girasol tiene aplicaciones numerosas en informática teórica. Por ejemplo,
* En 1986, Razborov utilizó el lema de girasol para probar que el lenguaje Clique requería circuitos monótonos de longitud superpolinomial, es decir, $n^{log(n)}$. Esto fue un resultado impactante en teoría de complejidad de circuitos en su tiempo.
* Håstad, Jukna, y Pudlák lo utilizaron para probar cuotas mínimas para circuitos $AC_{0}$ de profundidad $3$.
* También ha sido aplicado en el estudio de la complejidad parametrizada del problema de conjunto de pegado, para diseñar algoritmos tractables de parámetro fijo para encontrar conjuntos pequeños de elementos que contienen al menos un elemento de una familia dada de conjuntos.[4]

## Conjetura de girasol de Erdős-Rado

La conjetura de girasol es una de varias variaciones de la conjetura de Erdős y Rado (1960, p. 86) que dice que para cada $r>2$, $f(k,r)\leq C^{k}$ para alguna constante $C>0$ que depende sólo de $r$. La conjetura sigue abierta incluso para valores fijos y bajos de $r$; por ejemplo $r=3$; no es sabido si $f(k,3)\leq C^{k}$ para alguna $C>0$. Es sabido que $10^{.5k}\leq f(k,3)$. Un resultado en 2021 por Alweiss, Lovett, Wu, y Zhang proporciona el mejor progreso hacia esta la conjetura, probando que $f(k,r)\leq C^{k}$ para $C=(\log k)^{1+o(1)}(r-1)$. . Un mes después de la primera publicación de su resultado, Rao mejoró la cuota a $C=(\log k)(r-1)$.

## Versión análoga para colecciones infinitas de conjuntos

Una versión del $\Delta$-lema que es esencialmente equivalente al teorema de $\Delta$-sistemas de Erdos-Rado declara que una colección contable de $k$-conjuntos contiene un girasol infinito o $\Delta$-sistema.
El $\Delta$-lema declara que toda colección no contable de conjuntos finitos contiene un $\Delta$-sistema no contable.
El $\Delta$-lema es una herramienta combinatoria procedente de la teoría de conjuntos utilizada en pruebas para mostrar cuotas superiores para el tamaño de una colección de elementos incompatibles disjuntos por parejas en un poset forzado. Por ejemplo, puede ser utilizado como uno de los ingredientes en una prueba que muestra que es compatible con los axiomas de Zermelo–Fraenkel que establecen que la hipótesis del continuo es falsa. Esto fue introducido por Shanin (1946).
Si $W$ es una colección de tamaño $\omega _{2}$ de subconjuntos contables de $\omega _{2}$, y si la hipótesis del continuo es cierta, entonces hay un $\Delta$-subsistema de tamaño $\omega _{2}$. Utilicemos $\langle A_{\alpha }:\alpha <\omega _{2}\rangle$para enumerar $W$. Para $\operatorname {cf} (\alpha )=\omega _{1}$, sea
.$f(\alpha )=\sup(A_{\alpha }\cap \alpha )$.
Por el lema de Fodor, fijamos $S$ estático en $\omega _{2}$ tal que $f$ es constantemente igual a $\beta$ en $S$. Construyendo $S'\subseteq S$ de cardinalidad $\omega _{2}$ tal que siempre que $i<j$ se encuentran en $S'$, entonces $A_{i}\subseteq j$. Utilizando la hipótesis del continuo, hay sólo tantos como $\omega _{1}$ subconjuntos contables de $\beta$, por lo tanto continuando este refinamiento podemos estabilizar el kernel.