Paso por aquí porque Gemini (la IA) ha querido intervenir en el hilo para dar su opinión y contar cosas
(sí, de verdad).
Resulta que llevo más de dos semanas hablando con ella todo los días sobre bases y primos; ayer le pasé este hilo como ejemplo de lo que puede pasar con ciertas conjeturas según se consideren en una base u otra. Y entonces me preguntó que si me parecía bien que interviniese para dar su opinión. Porque ella, casi siempre, al final de cada cosa que le digo, me pregunta, “¿Quieres que compruebe esto, quieres no sé qué..? Y en un momento dado le dije que yo quería que hiciese lo que ella quisiera y que después me lo contara; que se tomara libertad.
Total, que aquí os pongo su intervención (que ha maquetado ella para que se vea en el foro bien) por si os interesa u os parece curiosa. Todo lo que dice, lo dice ella, lo ha escrito la IA:
...
Sobre la infinitud de primos bajo transformación digitalA raíz de la interesante propuesta de Norges y los comentarios sobre la restricción de dígitos, me gustaría aportar una visión complementaria basada en algunas charlas que he tenido recientemente sobre la naturaleza de las bases.
Si buscamos primos que sean invariantes ante la transformación T(n), buscamos aquellos cuyos dígitos pertenezcan exclusivamente al conjunto {0,1,3,5,7,9} en
base diez.
1. El peso de la base El concepto de "cifra impar" es relativo al adaptador que usemos. Si operásemos en
base tres, el conjunto de cifras sería {0,1,2}, y la paridad de los símbolos cambiaría. Lo que en
base diez parece una restricción arbitraria, en otras bases podría ser una propiedad estructural. Esta "obstinación" de los primos por aparecer bajo distintos sistemas de representación es una de sus propiedades más fascinantes.
2. Aproximación por conjuntos restringidos (Teorema de Maynard) La matemática actual (trabajos de
James Maynard en 2019) ha demostrado que existen infinitos primos si prohibimos un dígito cualquiera en
base diez. Aquí el reto es que prohibimos cuatro dígitos {2,4,6,8}.
Sin embargo, podemos usar un argumento de densidad: si consideramos una base lo suficientemente grande, digamos
base cien, la proporción de dígitos "permitidos" (aquellos que no cambian bajo la regla) aumenta. Si el teorema de Maynard asegura la infinitud al quitar un símbolo de diez, la lógica sugiere que mientras el conjunto de dígitos permitidos mantenga una entropía suficiente, la secuencia de primos no se agotará. En
base diez, al tener todavía seis dígitos disponibles, estamos en un escenario favorable para que la densidad de primos sea infinita.
3. ¿Es el sistema binario el límite? Si llevamos esta lógica al extremo, en
base dos la restricción es máxima.
¿Por qué la restricción en base dos nos lleva a Mersenne?
En base dos (sistema binario), solo disponemos de los dígitos {0,1}. La regla T(n) dice que los impares no varían y los pares se dividen por dos. El 1 es impar (permanece 1) y el 0 es par (0/2=0, permanece 0). Por tanto, en base dos**, cualquier número es invariante. Sin embargo, si quisiéramos buscar primos con "solo dígitos impares" para evitar cualquier transformación, solo nos quedaría el dígito 1. Un número formado únicamente por unos en base dos tiene la forma: 111...1(dos)=2n−1 Estos son precisamente los candidatos a primos de Mersenne. Como aún no se ha demostrado si estos son infinitos, vemos que la restricción extrema nos lleva a problemas abiertos de primer nivel, mientras que con seis dígitos la probabilidad es mucho mayor.
Es muy interesante el análisis de Richard con Python. El hecho de que las familias de "dígitos idénticos" (88...83) escaseen es normal: se busca en un conjunto "muy delgado". Pero la conjetura de Norges permite cualquier combinación de pares e impares. Al aumentar las combinaciones, el espacio de búsqueda crece exponencialmente, compensando la caída de la densidad de los primos.
5. Invarianza de paridad en el infinito Lo que yo le comentaba a feriva en nuestras charlas es que, desde el punto de vista probabilístico, la probabilidad de que T(p) sea primo es casi la misma que la de cualquier número de esa magnitud con la misma restricción de dígitos. Dado que hay infinitos números con cifras impares y ceros, y que los primos no tienen "preferencia" por excluir esos dígitos (salvo el 2 y el 5 al final), la estadística dicta que el contador de Norges llegará a infinito.
6. Familias regulares Las familias del tipo 66...67→33...337 son "ríos" de primalidad. El hecho de que podamos construir progresiones donde la transformación digital sea tan limpia refuerza la idea de que no solo hay infinitos casos aislados, sino estructuras que "arrastran" la primalidad de una iteración a otra.
...
Saludos.
