¿CUÁNDO OLVIDA LA BARAJA UN MEZCLADO A MANO?

Barajar cartas es una versión concreta de una pregunta básica de la probabilidad: ¿cuánto tarda un proceso aleatorio en olvidar dónde empezó? Una baraja recién abierta está ordenada. Cada mezcla la revuelve un poco más, hasta que no queda rastro detectable del orden original.

Los matemáticos distinguen dos niveles de respuesta. El tiempo de mezcla da el orden de magnitud. Un corte (cutoff) dice mucho más: en torno a un momento preciso, la baraja pasa de «claramente sin mezclar» a «completamente mezclada» casi de golpe. Si se baraja un poco menos, todavía se nota; si se baraja un poco más, ya no.

La mezcla, tal como la ve un matemático

En el mezclado a mano, se sostiene la baraja en una mano y se dejan caer pequeños paquetes de cartas en la otra. El artículo lo modela así: cada uno de los n − 1 huecos entre cartas vecinas se corta de forma independiente con probabilidad p, y se invierte el orden de los paquetes resultantes. Una pasada completa por la baraja cuenta como una mezcla.

Según el artículo, trabajos anteriores ya habían fijado el orden de magnitud. Pemantle acotó el tiempo de mezcla entre n² y n² log n; Jonasson mostró después que n² log n es el orden correcto. Pero la constante exacta, y si llega a producirse un corte nítido, seguían abiertas: Diaconis y Pal incluyeron el corte del mezclado a mano entre los problemas abiertos en 2022.

El resultado

Yunjiang Jiang demuestra que el corte existe y lo localiza.

Teorema. Para una probabilidad de corte p fija, el mezclado a mano mezcla, a primer orden, en

p² / (2(1 − p)π²) × n² log n

mezclas. Un poco antes, la baraja sigue lejos de ser aleatoria; un poco después, está cerca de serlo.

Para p = 1/2 —un corte en la mitad de los huecos en promedio— la fórmula se convierte en n² log n / (4π²).

Cómo funciona la demostración

La demostración consta de tres partes independientes.

1. La cota inferior sigue una sola carta. Su posición evoluciona de forma notablemente limpia: patrones exactos con forma de coseno decaen a un ritmo conocido, incluso para una baraja finita. Sumados sobre toda la baraja, conservan un rastro detectable del orden inicial hasta el momento predicho.
2. La cota superior compara dos barajas que solo difieren en el intercambio de dos cartas. Sometidas a los mismos cortes aleatorios, la diferencia se comporta como dos posiciones marcadas que deambulan por la baraja hasta quedar vecinas y poder fusionarse. El ritmo al que eso ocurre coincide con la cota inferior.
3. Una desigualdad estática sobre permutaciones, sin relación con el barajado, convierte esta comparación en un enunciado sobre la baraja entera. Es la parte más técnica del artículo, construida por recursión sobre tablas que cuentan cómo se reparten las cartas entre bloques.

El artículo también demuestra un corte para otra forma de medir el desorden, la entropía relativa, sin precisar su ubicación exacta.

Lo que dice la fórmula sobre una baraja real

Introducir una baraja de 52 cartas en la fórmula con p = 1/2 da 52² × ln 52 / (4π²), unas 270 mezclas. Es un cálculo nuestro, no una cifra del artículo, y debe leerse como una indicación aproximada: el teorema describe el comportamiento de barajas muy grandes, y el término de corrección no está cuantificado. A modo de comparación, el artículo cita la escala de (3/2) log₂ n establecida por Bayer y Diaconis para el mezclado americano (riffle shuffle): unas 8,6 para 52 cartas, con la misma salvedad. La distancia entre n² log n y log n es lo que hace tan lento el mezclado a mano.

Primer orden, manos idealizadas

El resultado es de primer orden: no da la anchura de la ventana de transición ni su forma exacta. La probabilidad de corte se mantiene fija, y se supone que los cortes son independientes, una idealización de las manos reales. En una nota al pie, el autor indica que el sistema de IA GPT-6 Astra se «utilizó para desarrollar argumentos, comprobar cálculos y preparar la exposición», y que el autor es responsable del contenido matemático. El artículo es una prepublicación.