Fixed Points of the Josephus Function via Fractional Base Expansions

Each language version is independently generated for its own context, not a direct translation.

¡Claro que sí! Imagina que este artículo es como un mapa del tesoro que revela un secreto oculto en un antiguo juego de mesa llamado el Problema de José.

Aquí tienes la explicación, traducida a un lenguaje sencillo y con analogías divertidas:

1. El Juego: "El Último en Pie"

Imagina que tienes un grupo de amigos sentados en círculo. Empiezan a contar: "uno, dos, ¡tres fuera!". La persona en el número 3 sale del círculo. Luego, el siguiente empieza a contar de nuevo: "uno, dos, ¡tres fuera!". Repiten esto hasta que solo queda una persona.

La pregunta clásica es: ¿Dónde debo sentarme para ser el último que queda?
A esa posición ganadora se le llama $J_3(n)$ . Calcular esto para grupos gigantes (como 1 millón de personas) es como intentar adivinar el resultado de una lotería sin comprar un boleto; es muy difícil y lento.

2. El Secreto: Los "Puntos Fijos"

Los autores del artículo no están buscando a quién se sienta en qué lugar para cualquier número de personas. Están buscando algo más especial: los "Puntos Fijos".

Imagina que el juego tiene "niveles de dificultad". Hay ciertos números de personas (llamados $n_p$ ) donde el ganador es casi el mismo número que el total de personas.

Si hay 1 persona, gana la 1.
Si hay 2 personas, gana la 2.
Si hay 13 personas, gana la 13.

Estos números especiales (1, 2, 13, 20, 46...) forman una secuencia mágica. El problema es que la fórmula para encontrar el siguiente número de esta secuencia es muy complicada, como una receta de cocina con pasos que cambian cada vez.

3. La Primera Clave: El "Rompecabezas Chino"

Los autores primero usaron una herramienta matemática antigua llamada el Teorema Chino del Resto.

La analogía: Imagina que tienes dos cerraduras diferentes. Una se abre con una llave que es múltiplo de 3, y la otra con una llave que es múltiplo de 2. Como el 2 y el 3 no comparten factores (son "coprimos"), puedes combinar las dos llaves para abrir una caja fuerte única.
El resultado: Descubrieron que cada número mágico de la secuencia es la solución perfecta a un sistema de dos cerraduras matemáticas. Esto les dio una forma de verificar si un número es correcto, pero aún no les decía cómo encontrar el siguiente número fácilmente.

4. La Gran Revelación: El Sistema de Numeración "3 sobre 2"

Aquí es donde la cosa se pone interesante. En la escuela aprendemos el sistema decimal (base 10) y los informáticos usan el binario (base 2).

Base 10: Usamos dígitos del 0 al 9. Cada vez que llegas a 10, sumas una posición.
Base 2: Usamos solo 0 y 1.

Los autores probaron un sistema extraño: Base 3/2.

La analogía: Imagina que en lugar de contar "1, 2, 3, 4...", contamos "1, 2, 3, 4..." pero la regla de cuándo "hacer una nueva casilla" es diferente. Es como si tuvieras un reloj que avanza más rápido que un segundo, pero más lento que dos segundos.
Además, en este sistema especial, ¡se permite usar el dígito 2! (En el sistema normal de base 3/2, solo se usan 0 y 1, pero ellos crearon una versión "aumentada" donde el 2 es bienvenido).

5. El Patrón Mágico (La Receta de la Abuela)

Al escribir estos números mágicos en su nuevo sistema de "Base 3/2", descubrieron un patrón increíblemente simple, como si estuvieran construyendo una torre de bloques:

El Bloque Base: El siguiente número mágico siempre empieza con los mismos bloques que el anterior.
El Toque Final: Para obtener el siguiente número, simplemente agregas una cola al final del número anterior.
- Si la "cola" es corta (0 personas extra), agregas un 1.
- Si la cola es mediana (1 persona extra), agregas 02.
- Si la cola es larga (2 o más personas), agregas un 0, seguido de varios 1s, y terminas con un 2.

Ejemplo visual:

Número A: 210112 (en base 3/2)
Número B (el siguiente): 210112 + 02 = 21011202

Es como si cada nuevo número fuera una versión "estirada" del anterior, añadiendo una pequeña pieza al final según una regla muy específica.

6. ¿Por qué es esto importante?

Antes, para encontrar el siguiente número de la secuencia, tenías que hacer cálculos complicados y largos. Ahora, con este descubrimiento:

Es como un juego de Lego: Ya no necesitas calcular todo desde cero. Solo tomas la pieza anterior y le pegas la pieza nueva que corresponde a la regla.
Es un atajo: Esto convierte un problema matemático difícil en una operación simple de "agregar al final".

En Resumen

Los autores tomaron un problema antiguo y difícil (¿quién gana en el juego de José?), lo descompusieron usando reglas de cerraduras (Teorema Chino) y luego lo tradujeron a un nuevo idioma matemático (Base 3/2). En ese nuevo idioma, el secreto se reveló: los números ganadores son como una serpiente que crece añadiendo trocitos a su cola de una manera predecible.

Esto no solo ayuda a entender mejor el juego de José, sino que abre la puerta a resolver problemas similares en otros juegos y sistemas numéricos en el futuro. ¡Una forma muy creativa de ver las matemáticas!

Each language version is independently generated for its own context, not a direct translation.

A continuación presento un resumen técnico detallado del artículo "Puntos fijos de la función de Josephus mediante expansiones en base fraccionaria", escrito por Yunier Bello-Cruz y Roy Quintero-Contreras.

1. Planteamiento del Problema

El trabajo se centra en el análisis de la función de Josephus $J_3$ , una generalización del clásico problema de Josephus. En este escenario, $n$ personas están sentadas en una mesa circular numeradas del 1 al $n$ . El proceso de eliminación consiste en contar desde la posición actual, saltar a dos personas y eliminar la tercera, repitiendo el ciclo con los participantes restantes hasta que quede uno solo (el superviviente). La función $J_3(n)$ denota la posición inicial del superviviente.

El problema principal abordado es la dificultad computacional para calcular $J_3(n)$ directamente para valores grandes de $n$ . Los autores se enfocan específicamente en la secuencia de puntos fijos de esta función, denotada como $\{n_p^{(\ell)}\}_{\ell \in \mathbb{N}}$ , donde un punto fijo $n_p$ satisface $J_3(n_p) = n_p$ .

El objetivo es encontrar una estructura recursiva y una representación numérica eficiente para estos puntos fijos, inspirándose en el caso conocido de $J_2$ (donde los puntos fijos son $2^\ell - 1$ y su expansión en base 2 es simplemente una cadena de unos).

2. Metodología

Los autores emplean una combinación de teoría de números y sistemas de numeración no estándar para desentrañar la estructura de los puntos fijos:

Teorema Chino del Resto (CRT): Se establece una conexión algebraica entre los puntos fivos consecutivos y sistemas de congruencias lineales. Utilizando la relación recursiva existente para la secuencia, se demuestra que cada punto fijo satisface un sistema de congruencias con módulos coprimos ($3^p $y$ 2^q$), permitiendo su caracterización única mediante el CRT.
Sistema de Numeración en Base Fraccionaria (3/2): Se introduce un sistema de numeración en base $3/2 $no estándar. A diferencia de la representación fraccionaria convencional (que usa dígitos 0 y 1), este sistema permite el uso de dígitos en el conjunto$ $noestaˊndar.Adiferenciadelarepresentacioˊnfraccionariaconvencional(queusadıˊgitos0y1),estesistemapermiteelusodedıˊgitosenelconjunto$ D = {0, 1, 2}$.
- La representación de un entero $N$ se define como:
  $N = \frac{1}{2} \left[ d_k \left(\frac{3}{2}\right)^k + \dots + d_1 \left(\frac{3}{2}\right)^1 + d_0 \right]$
- Se presenta un algoritmo de cuatro pasos para calcular esta expansión de manera única y finita para cualquier entero positivo.
Análisis de Patrones Digitales: Se analiza la relación entre la expansión en base $3/2 $de un punto fijo$ n_p^{(\ell)} $y el siguiente punto fijo$ n_p^{(\ell+1)} $, correlacionando los dígitos agregados con el parámetro$ m_\ell$ (el número de "puntos extremos altos puros" entre dos puntos fijos consecutivos).

3. Contribuciones Clave y Resultados Principales

El artículo presenta tres hallazgos fundamentales:

A. Conexión con el Teorema Chino del Resto

Se demuestra que los puntos fijos de $J_3$ pueden verse como soluciones únicas a sistemas de congruencias lineales. Específicamente, para puntos fijos consecutivos $n_p^{(\ell)}$ y $n_p^{(\ell+1)}$ , se cumple un sistema donde:
$2x_1 + 1 \equiv 0 \pmod{3^p} \quad \text{y} \quad 3x_2 + 2 \equiv 0 \pmod{2^q}$
Esto permite calcular el siguiente punto fijo utilizando identidades de Bézout, aunque la fórmula explícita depende de la paridad de los exponentes $p$ y $q$ .

B. Caracterización Recursiva en Base 3/2 (Teorema 1)

La contribución más significativa es la identificación de un patrón recursivo claro en la expansión en base $3/2 $de los puntos fijos. Si$ n_p^{(\ell)} = (\hat{d}k \dots \hat{d}0){3/2} $, entonces la expansión de$ n_p^{(\ell+1)} $se obtiene concatenando dígitos específicos al final de la expansión anterior, dependiendo del valor de$ m\ell$:

Si $m_\ell = 0$ : Se añade el dígito 1.
$n_p^{(\ell+1)} = (\hat{d}_k \dots \hat{d}_0 1)_{3/2}$
Si $m_\ell = 1$ : Se añaden los dígitos 02.
$n_p^{(\ell+1)} = (\hat{d}_k \dots \hat{d}_0 0 2)_{3/2}$
Si $m_\ell \geq 2$ : Se añade la cadena 0, seguida de $(m_\ell - 1)$ unos, y finalmente un 2.
$n_p^{(\ell+1)} = (\hat{d}_k \dots \hat{d}_0 \underbrace{0 1 \dots 1}_{m_\ell-1 \text{ unos}} 2)_{3/2}$

Además, se establece que el número total de dígitos en la nueva expansión es igual al número de dígitos anterior más $m_\ell + 1$ .

C. Validación Empírica

Los autores proporcionan una tabla detallada (Tabla 3) que muestra los primeros 20 puntos fijos, sus valores $m_\ell$ y sus correspondientes expansiones en base $3/2$, demostrando visualmente cómo la secuencia de dígitos crece siguiendo el patrón descrito en el Teorema 1.

4. Significado e Impacto

Generalización del Caso $J_2$ : Este trabajo generaliza exitosamente el resultado conocido para $J_2$ (donde los puntos fijos son cadenas de unos en base 2) al caso $J_3$ , utilizando una base fraccionaria $3/2$ y un conjunto de dígitos más amplio.
Nueva Perspectiva Estructural: La representación en base $3/2$ ofrece una visión más transparente y estructurada del comportamiento de la función de Josephus, revelando patrones ocultos que no son evidentes en la representación decimal o binaria estándar.
Herramienta Computacional: La fórmula recursiva para los dígitos permite determinar los puntos fijos de manera eficiente sin necesidad de simular el proceso de eliminación, lo cual es computacionalmente costoso para $n$ grandes.
Direcciones Futuras: El artículo abre nuevas líneas de investigación, sugiriendo que los puntos fijos de $J_4$ podrían tener una estructura similar en base $4/3 $, aunque con mayor complejidad debido a la existencia de múltiples tipos de puntos extremos. También plantea la pregunta de si la función$ J_3(n) $general puede calcularse directamente a partir de la expansión en base$ 3/2 $de$ n$.

En conclusión, el papel demuestra que la teoría de números (específicamente el Teorema Chino del Resto) y los sistemas de numeración fraccionaria proporcionan un marco poderoso para analizar y predecir el comportamiento de la función de Josephus, transformando un problema combinatorio complejo en una estructura algebraica y recursiva manejable.