La conjetura de la litera (también escrita como conjetura de la litera ) es una afirmación de la teoría de la percolación , una rama de las matemáticas que estudia el comportamiento de los grupos conectados en un grafo aleatorio . La conjetura recibe su nombre por su analogía con una estructura de litera . Fue postulada por primera vez por Pieter Kasteleyn en 1985. [1] Nikita Gladkov, Igor Pak y Alexander Zimin publicaron en arXiv en octubre de 2024 una preimpresión que presentaba un contraejemplo propuesto para la conjetura . [2]
La conjetura tiene muchas formulaciones equivalentes. [3] En la formulación más general, implica dos grafos idénticos , denominados "litera superior" y "litera inferior". Estos grafos son isomorfos , lo que significa que comparten la misma estructura. Se agregan aristas adicionales, denominadas "postes", para conectar cada vértice en la litera superior con el vértice correspondiente en la litera inferior.
A cada arista del gráfico se le asigna una probabilidad. Las aristas de la litera superior y sus aristas correspondientes de la litera inferior comparten la misma probabilidad. Las probabilidades asignadas a los postes pueden ser arbitrarias.
Luego se forma un subgrafo aleatorio del grafo de literas eliminando independientemente cada borde en función de la probabilidad asignada.
La conjetura de la litera establece que en el subgrafo aleatorio resultante, la probabilidad de que un vértice en la litera superior esté conectado a algún vértice en la litera superior es mayor o igual a la probabilidad de que esté conectado a , la copia isomorfa de en la litera inferior.
La conjetura sugiere que es más probable que dos vértices de un grafo permanezcan conectados después de eliminar aleatoriamente algunos bordes si la distancia del grafo entre los vértices es menor. Esto es intuitivo, y preguntas similares para los paseos aleatorios y el modelo de Ising se resolvieron positivamente. [4] [5] La motivación original para la conjetura fue su implicación de que, en una percolación en la cuadrícula cuadrada infinita, la probabilidad de estar conectado a para es mayor que la probabilidad de estar conectado a . [4]
A pesar de su intuición, demostrar esta conjetura no es sencillo y es un área activa de investigación en la teoría de la percolación. [6] Se demostró para tipos específicos de grafos, como ruedas , [7] grafos completos , [8] grafos bipartitos completos y grafos con simetría local. [9] También se demostró en el límite para cualquier grafo. [10] [11]