The greedy 3-sumfree sequence $S_{1,g,g+1}$

Resumen Técnico: La secuencia de tipo 3-sumfree greedy $S_{1,g,g+1}$

Planteamiento del Problema
El artículo aborda la caracterización de la secuencia greedy 3-sumfree $S_{x,y,z}$, definida como la secuencia creciente de enteros positivos que comienza con $x, y, z$, donde cada término subsiguiente es el menor entero mayor que el término precedente que no puede expresarse como la suma de tres términos anteriores distintos. Específicamente, los autores investigan la secuencia $S_{1,g,g+1}$ para cada entero $g \ge 2$. Si bien Bosma et al. [1] habían establecido previamente descripciones explícitas para casos pequeños específicos ($g=2, 3, 4$) utilizando el probador de teoremas automático Walnut y habían conjeturado una fórmula uniforme para todo $g \ge 2$, una prueba general permanecía abierta.

Metodología
Los autores emplean un argumento directo de suma de conjuntos de intervalos en lugar de depender de la demostración automática de teoremas. La metodología procede de la siguiente manera:

1. Definición del Conjunto Candidato ($A_g$): El artículo define un conjunto específico $A_g$ basado en la aritmética modular. Sea $m = 10g + 3$, $e = 2g + 1$ y $f = 6g + 1$. El conjunto $A_g$ consiste en los términos iniciales $\{1, e, f\}$ y una unión de intervalos periódicos $I_k$ y $J_k$ para $k \ge 0$, definidos como:

   • $I_k = km + [g, 2g]$
   • $J_k = km + [6g + 2, 7g + 1]$
     El conjunto $A_g$ se construye para ser la unión de estos componentes disjuntos.

2. Reducción a Dos Proposiciones: La prueba de que $S_{1,g,g+1} = A_g$ se reduce a la verificación de dos propiedades relativas a la naturaleza "forzada" de los enteros (un entero es forzado si es la suma de tres elementos distintos del conjunto):

   • Proposición 2: Todo entero $n > g + 1$ que no está en $A_g$ es forzado (es decir, puede escribirse como una suma de tres elementos distintos de $A_g$).
   • Proposición 3: Ningún elemento dentro de $A_g$ es forzado (es decir, ningún elemento de $A_g$ puede escribirse como una suma de tres elementos distintos de $A_g$).

3. Aritmética de Intervalos: El núcleo de la prueba implica el cálculo de los conjuntos suma de los intervalos definidos. Utilizando identidades elementales para los conjuntos suma de intervalos (por ejemplo, $b_3[u, v] = [3u+3, 3v-3]$), los autores demuestran que los huecos en $A_g$ están exactamente cubiertos por sumas de tres elementos distintos de $A_g$, mientras que las sumas de tres elementos de $A_g$ siempre caen en el complemento de $A_g$ (específicamente, un patrón de complemento periódico $C$).

4. Verificación Inductiva: Los autores utilizan la inducción sobre $n$ para mostrar que la regla greedy admite exactamente los elementos de $A_g$. Si $n \notin A_g$, es forzado por elementos menores que $n$ (que están en la secuencia por la hipótesis inductiva), por lo tanto es excluido. Si $n \in A_g$, no es forzado por elementos menores que $n$, por lo que es admitido.

Resultados Clave
El artículo establece el Teorema 1, que proporciona una caracterización exacta de la secuencia $S_{1,g,g+1}$ para todo $g \ge 2$:
Un entero $z$ pertenece a $S_{1,g,g+1}$ si y solo si:
$$z \in \{1, 2g + 1, 6g + 1\} \quad \text{o} \quad z \pmod{10g + 3} \in [g, 2g] \cup [6g + 2, 7g + 1].$$

El artículo detalla además la estructura de la secuencia:

• Términos Iniciales: La secuencia comienza con $1, g, g+1, \dots, 2g, 2g+1, 6g+1$.
• Periodicidad Eventual: Después de los primeros $g+4$ términos, la secuencia se vuelve periódica módulo $m = 10g + 3$.
• Estructura del Periodo: El bloque repetitivo tiene una longitud de $2g + 1$ y consiste en los residuos:
  $$6g + 2, 6g + 3, \dots, 7g + 1, g, g + 1, \dots, 2g.$$

Significancia y Reivindicaciones
El artículo afirma proporcionar una prueba directa de la conjetura formulada por Bosma, Bruin, Fokkink, Grube, Reuijl y Tromp [1]. Aunque la conjetura fue verificada mecánicamente para $2 \le g \le 10$, este trabajo extiende el resultado a todos los enteros $g \ge 2$ a través de medios analíticos. Los autores declaran explícitamente que su enfoque produce una "prueba directa" utilizando argumentos de suma de conjuntos de intervalos, contrastando con los métodos computacionales utilizados en el trabajo previo. El artículo también proporciona una descripción completa de la periodicidad eventual, incluyendo tanto el preperiodo como el bloque repetitivo, resolviendo la estructura de la secuencia por completo.