🔢 mathematics

Large Sets of Integers with No Harmonic Triples

Este artículo establece un nuevo límite inferior para el tamaño máximo de un subconjunto de $\{1, \dots, N\}$ que no contiene triples armónicos distintos, logrado mediante la construcción de dicho conjunto a través de una imagen afín aleatoria de un conjunto denso libre de progresiones en un cuerpo primo, seguida de la eliminación de los triples colapsados.

Autores originales: Samuel Korsky

Publicado 2026-07-08

📖 5 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Samuel Korsky

Artículo original bajo licencia CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta es una explicación generada por IA del artículo a continuación. No ha sido escrita ni avalada por los autores. Para mayor precisión técnica, consulte el artículo original. Leer descargo de responsabilidad completo

Imagina que tienes un frasco gigante lleno de canicas numeradas, del 1 hasta un número muy grande $N$ . Tu objetivo es recoger tantas canicas como sea posible para guardarlas en una caja más pequeña, pero con una regla estricta: No puedes elegir tres canicas que formen un "Trío Armónico".

¿Qué es un Trío Armónico?

En el mundo de los números, un "Trío Armónico" es un trío especial de números $(a, b, c)$ donde los recíprocos (los números invertidos, como $1/a$ ) forman una línea perfecta y uniformemente espaciada.

Piensa en esto como un acorde musical. Si tienes tres notas, y la "distancia" entre la primera y la segunda nota es exactamente la misma que la distancia entre la segunda y la tercera, están en armonía.

Matemáticamente, esto significa: $\frac{2}{a} = \frac{1}{b} + \frac{1}{c}$ .
Si encuentras tres números en tu caja que encajan en esta ecuación, tienes que descartar el trío completo.

El autor, Samuel Korsky, pregunta: ¿Qué tan grande puede ser nuestra caja antes de que nos veamos obligados a tirar tantos números que se vuelva diminuta?

El Gran Descubrimiento

Durante mucho tiempo, los matemáticos supieron cómo construir cajas grandes de números que evitaban patrones estándares (como tres números en fila: 3, 5, 7). Pero evitar estos patrones "Armónicos" era más difícil porque las matemáticas funcionan de forma distinta (se trata de invertir números, no solo de sumar).

Korsky demuestra que podemos construir una caja muy grande que no contenga Tríos Armónicos.

El Tamaño: La caja no es solo una mota de polvo; es un fragmento significativo del frasco original.
El Detalle: No es tan grande como las cajas de "sin patrones" estándar, pero sigue siendo masiva. El artículo ofrece una fórmula específica que muestra que, a medida que el frasco se hace más grande, la caja que podemos conservar crece de una manera predecible e impresionante.

¿Cómo lo hizo? (La Construcción)

Korsky no eligió los números al azar. Utilizó un proceso de "filtrado" de dos pasos, como un tamiz de alta tecnología.

Paso 1: El Filtro de la "Sombra" (El Campo Primo)
Imagina que tienes un pequeño libro de códigos secreto (un grupo pequeño de números llamado "campo primo"). En este libro de códigos, hay una lista especial de números que ya no tiene patrones de "tres en fila".
Korsky toma esta lista pequeña y perfecta y utiliza una "lente mágica" aleatoria (una imagen afín aleatoria) para proyectarla sobre el gigante frasco de canicas.

Él solo conserva las canicas cuyas "sombras" (al dividir su valor por un número primo específico) caen en esa lista especial.
Debido a que la lista original no tenía patrones, la mayoría de las veces, las canicas que elijas tampoco formarán Tríos Armónicos.

**Paso 2: La Limpieza del "Colapso"
A veces, la lente mágica causa un error. Algunos tríos problemáticos podrían colarse porque se ven diferentes en el mundo real, pero se ven idénticos cuando se ven a través de la lente (ellos "colapsan" en la misma sombra).

Korsky se dio cuenta de que estos tríos de "errores" son raros. Solo ocurren si los números comparten una propiedad matemática muy específica y poco común.
Él calculó exactamente cuántos de estos errores podrían existir. El número es lo suficientemente pequeño como para que él simplemente pueda tirar el número "más grande" de cada trío con error que encuentre.
Incluso después de tirar estos pocos, la caja sigue siendo enorme.

La Analogía: La Lista de Invitados de la Fiesta

Imagina que estás organizando una fiesta para $N$ invitados. Quieres invitar a tantas personas como sea posible, pero tienes una regla: No tres invitados pueden ser "Armónicos".

La Regla Estándar: Normalmente, evitarías a personas que están paradas en una línea recta (como 1, 2, 3).
La Regla Armónica: Esto es más complicado. Es como decir: "No tres invitados pueden estar relacionados de tal manera que sus 'personalidades inversas' se equilibren perfectamente".
La Estrategia:
- Primero, miras un pequeño club VIP (el campo primo) donde sabes exactamente quién encaja con quién.
- Utilizas un "generador de etiquetas de nombre" aleatorio para asignar invitados a la fiesta basándote en quién pertenece a ese club VIP.
- La mayoría de las veces, esto funciona perfectamente.
- Ocasionalmente, tres invitados que no deberían estar juntos accidentalmente obtienen la misma etiqueta de nombre. Detectas a estos pocos alborotadores y pides cortésmente al más alto que se retire.
- Resultado: Sigues teniendo una fiesta masiva, y nadie está rompiendo la regla Armónica.

¿Qué sigue?

El artículo resuelve la pregunta de "¿Qué tan grande podemos hacer esto?" (el límite inferior). Sin embargo, el autor deja una puerta abierta: ¿Es posible tener una fiesta donde casi todos sean invitados (densidad positiva)?
Actualmente, no sabemos si es posible llenar la caja al máximo sin romper la regla, o si siempre nos veremos obligados a dejar a algunas personas fuera. Eso sigue siendo un misterio para futuros matemáticos.

En resumen: Ahora sabemos que podemos construir una colección muy grande de números que evite estas complicadas relaciones "Armónicas", utilizando una mezcla inteligente de selección aleatoria y una limpieza cuidadosa.

Resumen Técnico: Grandes Conjuntos de Enteros sin Triplas Armónicas

Planteamiento del Problema
Este artículo investiga el tamaño máximo, denotado como $f(N)$ , de un subconjunto $A \subseteq [N] = \{1, \dots, N\}$ que no contenga elementos distintos $a, b, c$ que satisfagan la condición de tripla armónica:
$\frac{2}{a} = \frac{1}{b} + \frac{1}{c}$
Este problema se presenta como un análogo recíproco al problema clásico de estimar $r_3(N)$ , el tamaño máximo de un subconjunto de $[N]$ que no contiene una progresión aritmética de tres términos (3-AP) no trivial (haciendo referencia a los trabajos de Behrend, Roth, Salem, Spencer, Elkin, Green, Wolf, Bloom, Sisask, Kelley, Meka, entre otros). Dado que el mapa recíproco $x \mapsto 1/x$ no es un mapa aditivo en intervalos de enteros, las cotas superiores existentes para $r_3(N)$ no se aplican directamente al entorno armónico.

Metodología y Construcción
El autor construye un gran subconjunto de $[N]$ libre de triplas armónicas utilizando un método probabilístico combinado con una parametrización específica de las triplas armónicas. La construcción procede de la siguiente manera:

Selección del Campo Primo: Se elige un primo $q$ tal que $q \asymp \log N$ .
Conjunto Libre de Progresiones: Se selecciona un conjunto $R \subseteq \mathbb{F}_q$ denso y libre de progresiones de tres términos. La densidad de este conjunto depende de la cota inferior mejorada de tipo Behrend para $r_3(X)$ establecida por Elsholtz, Hunter, Proske y Sauermann. Específicamente, $|R|/q \ge \exp\left(-(C_{AP} + o(1))\sqrt{\log q}\right)$ , donde $C_{AP} = 2\sqrt{\log(24/7)}$ .
Filtrado Afín Aleatorio: Se utiliza una imagen afín aleatoria $R_{\lambda, \mu} = \lambda R + \mu$ (donde $\lambda \in \mathbb{F}_q^\times, \mu \in \mathbb{F}_q$ ) para filtrar los enteros impares $n \le N$ tales que $n \not\equiv 0 \pmod q$ y $n^{-1} \pmod q \in R_{\lambda, \mu}$ . Este conjunto inicial $B_0$ tiene un tamaño esperado $\gg \delta N$ , donde $\delta = |R|/q$ .
Gestión de Triplas Colapsadas: La dificultad central es que una tripla armónica en los enteros podría mapearse a una progresión constante (todos los residuos iguales) en $\mathbb{F}_q$ en lugar de una progresión no trivial. El artículo utiliza una parametrización de las triplas armónicas impares (Lema 2.2) para demostrar que si una tripla $b < a < c$ satisface la condición armónica y $a \equiv b \equiv c \pmod q$ , entonces el parámetro de diferencia $d$ en la parametrización debe ser divisible por $q$ .
Estrategia de Eliminación: La construcción elimina el elemento mayor de cualquier tripla armónica superviviente. Se demuestra que el número de tales triplas "colapsadas" (donde $q \mid d$ ) es $O(N \log N / q)$ . Dado que la probabilidad de que una tripla específica sobreviva al filtro aleatorio es $\delta$ , el número esperado de eliminaciones es pequeño en relación con el tamaño inicial del conjunto, siempre que la constante en $q \asymp \log N$ se elija lo suficientemente grande.

Resultados Clave
El teorema principal establece una cota inferior para $f(N)$ que refleja la cota inferior mejorada de tipo Behrend para $r_3(N)$ , pero con un desplazamiento logarítmico:

Teorema 1.1: A medida que $N \to \infty$ ,
$f(N) \gg N \exp\left( -(C_{AP} + o(1))\sqrt{\log \log N} \right)$
donde $C_{AP} = 2\sqrt{\log(24/7)}$ .

La demostración exhibe que, al elegir $q \asymp \log N$ , el término $\sqrt{\log q}$ en el exponente de la densidad del conjunto libre de progresiones se traduce en $\sqrt{\log \log N}$ en la cota final del conjunto armónico.

Significado y Preguntas Abiertas
El artículo afirma haber transferido con éxito las cotas inferiores de vanguardia para los conjuntos libres de progresiones al entorno de las triplas armónicas. La construcción se describe como "directa", apoyándose en la interacción entre la densidad de los conjuntos libres de progresiones en campos primos y la estructura aritmética de las triplas armónicas módulo un primo.

El autor señala que el problema complementario de la cota superior permanece abierto. Específicamente, el artículo plantea la Pregunta 1.2: ¿Es cierto que $f(N) = o(N)$ cuando $N \to \infty$ ? En otras palabras, ¿es imposible que un conjunto de densidad positiva esté libre de triplas armónicas? El artículo no resuelve esta cuestión, pero la destaca como el siguiente paso natural en el estudio de este problema.

¿Qué es un Trío Armónico?

El Gran Descubrimiento

¿Cómo lo hizo? (La Construcción)

La Analogía: La Lista de Invitados de la Fiesta

¿Qué sigue?

Más como este