Tournaments are competitions between a number of teams, the outcome of which determines the relative strength or rank of each team. In many cases, the strength of a team in the tournament is given by a score. Perhaps, the most striking mathematical result on the tournament is Moon's theorem, which provides a necessary and sufficient condition for a feasible score sequence via majorization. To give a probabilistic interpretation of Moon's result, Aldous and Kolesnik introduced the football model, the existence of which gives a short proof of Moon's theorem. However, the existence proof of Aldous and Kolesnik is nonconstructive, leading to the question of a ``canonical'' construction of the football model. The purpose of this paper is to provide explicit constructions of the football model with an additional stochastic ordering constraint, which can be formulated by martingale transport. Two solutions are given: one is by solving an entropy optimization problem via Sinkhorn's algorithm, and the other relies on the idea of shadow couplings. It turns out that both constructions yield the property of strong stochastic transitivity. The nontransitive situations of the football model are also considered.
- ID del Artículo: 2503.07145
- Título: El Modelo de Fútbol, Ordenamiento Estocástico y Transporte de Martingalas
- Autores: Gaoyue Guo, Nicolas Juillet, Wenpin Tang
- Clasificación: math.PR (Teoría de Probabilidad)
- Fecha de Publicación: 17 de octubre de 2025
- Enlace del Artículo: https://arxiv.org/abs/2503.07145
Este artículo estudia el modelo de fútbol en la teoría de torneos, que es una interpretación probabilística del célebre teorema de Moon. El teorema de Moon proporciona condiciones necesarias y suficientes para secuencias de puntuaciones viables mediante mayorización. Aunque el modelo de fútbol introducido por Aldous y Kolesnik proporciona una prueba breve del teorema de Moon, su construcción es no constructiva. El objetivo de este artículo es proporcionar una construcción explícita del modelo de fútbol bajo restricciones de ordenamiento estocástico, lo que puede formularse mediante transporte de martingalas. El artículo presenta dos soluciones: una mediante la resolución de un problema de optimización entrópica usando el algoritmo de Sinkhorn, y otra basada en la idea del acoplamiento de sombra. Ambas construcciones producen propiedades de transitividad estocástica fuerte.
- Teoría de Torneos: Un torneo es una comparación por pares entre múltiples equipos, con el objetivo de determinar la fortaleza relativa o clasificación de los equipos. En un torneo de todos contra todos con n equipos, cada equipo compite contra todos los demás.
- Teorema de Moon: Este es el resultado matemático más fundamental en la teoría de torneos aleatorios, proporcionando condiciones necesarias y suficientes para secuencias de puntuaciones viables mediante mayorización. Específicamente, para un vector de puntuación x = (x₁,...,xₙ), el conjunto de matrices de torneo generalizadas Gₙ(x) es no vacío si y solo si x ⪯ (0,1,...,n-1).
- Limitaciones de Modelos Existentes:
- Modelo Zermelo-Bradley-Terry: La fortaleza de cada equipo i se especifica mediante un número positivo uᵢ, pero con grados de libertad limitados
- Modelo de Fútbol: Introducido por Aldous y Kolesnik, con más grados de libertad, pero carece de una construcción "canónica"
- Problema de Pruebas No Constructivas: Aunque la existencia del modelo de fútbol proporciona una prueba elegante del teorema de Moon, esta prueba es no constructiva y carece de métodos de construcción explícita.
- Necesidad de Construcción Canónica: Aldous y Kolesnik plantearon explícitamente el desafío de encontrar una distribución conjunta "canónica", un problema de larga data en teoremas de representación de orden convexo.
- Restricciones de Ordenamiento Estocástico: Las construcciones existentes carecen de restricciones estructurales adicionales, particularmente restricciones de transitividad estocástica fuerte (SST).
- Proporciona dos métodos de construcción explícita:
- Construcción basada en optimización entrópica y algoritmo de Sinkhorn
- Construcción basada en acoplamiento de sombra
- Establece restricciones de ordenamiento estocástico: Demuestra que existe un elemento en el modelo de fútbol tal que μ₁ ⪯ₛₜₒ ··· ⪯ₛₜₒ μₙ
- Demuestra transitividad estocástica fuerte: Ambas construcciones producen matrices de torneo generalizadas que satisfacen la propiedad SST
- Marco teórico completo: Vincula el problema con la teoría de transporte de martingalas, proporcionando fundamentos teóricos
- Análisis de No Transitividad: Estudia casos no transitivos en el modelo de fútbol, caracterizando completamente triples (p₁₂, p₂₃, p₃₁)
Dado un vector de puntuación x ⪯ (0,1,...,n-1), construir (μ₁,...,μₙ) ∈ Θₙ(x), donde:
- Θₙ(x) := {(μ₁,...,μₙ) ∈ Θₙ : ∫y dμᵢ(y) = xᵢ para 1 ≤ i ≤ n}
- Θₙ := {(μ₁,...,μₙ) ∈ P({0,...,n-1})ⁿ : Σᵢ₌₁ⁿ μᵢ = Σₖ₌₀ⁿ⁻¹ δₖ}
El objetivo es encontrar una construcción explícita que satisfaga la restricción de ordenamiento estocástico μ₁ ⪯ₛₜₒ ··· ⪯ₛₜₒ μₙ.
Construir las medidas de probabilidad requeridas minimizando la función de entropía H(M) = Σᵢ,ⱼ mᵢⱼ log(mᵢⱼ).
- Transformación del Problema: Identificar Θₙ(x) como matrices doblemente estocásticas M = (mᵢⱼ), donde mᵢⱼ = μᵢ({j-1})
- Conjuntos de Restricciones: Definir tres conjuntos de restricciones
- C₁: Restricciones de suma de filas (medidas de probabilidad)
- C₂: Restricciones de suma de columnas (restricciones marginales)
- C₃: Restricciones de centroide (restricciones de puntuación)
- Iteración de Sinkhorn:
- Inicialización: M⁰ = (1)ₙₓₙ
- Actualización cíclica:
- k=1: Normalización de filas
- k=2: Normalización de columnas
- k=3: Normalización de centroide (mediante resolución de ecuaciones polinómicas)
- Unicidad: Cuando x es irreducible, la función de entropía tiene un único punto mínimo
- Convergencia: El algoritmo de Sinkhorn converge a la solución óptima global
- Propiedad de Ordenamiento Estocástico: La solución óptima satisface naturalmente la restricción de ordenamiento estocástico
Utilizar el concepto de sombra para construir el plan de transporte de martingalas π*.
- Configuración Inicial:
- μ := U_{(x₁,...,xₙ)} (medida uniforme)
- ν := U_{(0,...,n-1)}
- Construcción Recursiva de Sombra:
Para cada permutación σ ∈ S(n):
- η^σ₀ := 0, ν^σ₀ := ν
- Definición recursiva: η^σₖ := η^σₖ₋₁ + S_{ν^σₖ₋₁}(1/n δ_{x^σₖ})
- Simetrización: π* := 1/n! Σ_{σ∈S(n)} π^σ
- Propiedad de Martingala: π* satisface restricciones de martingala
- Distribuciones Marginales: Distribuciones marginales correctas
- Ordenamiento Estocástico: Produce naturalmente restricciones de ordenamiento estocástico
- Adaptación del Método de Optimización Entrópica: Adaptar el método estándar de optimización entrópica a problemas de transporte de martingalas, abordando la dificultad técnica de las restricciones de centroide
- Aplicación del Acoplamiento de Sombra: Aplicación innovadora de la teoría de acoplamiento de sombra a la construcción del modelo de fútbol
- Marco Teórico Unificado: Unificar dos métodos aparentemente diferentes bajo el marco del transporte de martingalas
- Tratamiento de Casos Reducibles: Para puntuaciones reducibles, proporcionar un esquema completo de procesamiento por bloques
Este trabajo es principalmente teórico, con la parte experimental concentrada en:
- Verificación de Convergencia del Algoritmo: Verificar la convergencia del algoritmo de Sinkhorn bajo diferentes parámetros
- Pruebas de Estabilidad Numérica: Probar la estabilidad numérica de ambos métodos en problemas de diferentes escalas
- Verificación de Propiedad SST: Verificar que las matrices construidas satisfacen efectivamente la transitividad estocástica fuerte
- Resolución de Polinomios: En el tercer paso del algoritmo de Sinkhorn, usar el método de Newton para resolver ecuaciones polinómicas univariadas
- Precisión Numérica: Todos los cálculos mantienen precisión de punto flotante doble
- Criterio de Convergencia: Usar error relativo como criterio de convergencia
- Teorema de Existencia (Proposición 2.2): Para x ⪯ (0,...,n-1), existe (μ₁,...,μₙ) ∈ Θₙ(x) tal que (μᵢ) es creciente en ordenamiento estocástico
- Propiedad SST (Proposición 2.4): Bajo restricciones de ordenamiento estocástico, la matriz de torneo generalizada correspondiente satisface transitividad estocástica fuerte
- Convergencia de Optimización Entrópica (Teorema 3.6): Para puntuaciones irreducibles, el algoritmo de Sinkhorn converge al único punto de mínimo entrópico
- Validez de Construcción de Sombra (Teorema 4.2): El método de construcción de sombra produce soluciones que satisfacen todas las restricciones
- Caracterización Completa (Teorema 5.3): Para n ≥ 6, el modelo de fútbol puede realizar cualquier triple no transitivo en el conjunto D
- Generalización del Teorema de Steinhaus-Trybula (Proposición 5.2): Demostrar que A' = D, donde A' permite casos con empates
- Complejidad Temporal: La complejidad de cada iteración del algoritmo de Sinkhorn es O(n²)
- Complejidad Espacial: Requiere almacenamiento de O(n²)
- Velocidad de Convergencia: En casos típicos, el algoritmo converge en decenas de iteraciones
- Teorema de Moon: Proporciona caracterización fundamental de secuencias de puntuación
- Modelo Bradley-Terry: Modelo clásico de comparación por pares
- Modelo Plackett-Luce: Generalización del modelo Bradley-Terry
- Teorema de Strassen: Teoría fundamental del orden convexo
- Teoría de Peacocks: Procesos crecientes en orden convexo con parámetro continuo
- Acoplamiento de Sombra: Método de construcción de planes de transporte de martingalas
- Algoritmo de Sinkhorn: Algoritmo clásico para resolver problemas de transporte óptimo
- Proyección de Bregman: Método fundamental de optimización convexa
- Realización de Construcción Explícita: Se logró proporcionar dos métodos de construcción explícita del modelo de fútbol, resolviendo el problema abierto planteado por Aldous y Kolesnik
- Importancia de Restricciones de Ordenamiento Estocástico: Se demostró que bajo restricciones de ordenamiento estocástico, el modelo de fútbol produce naturalmente transitividad estocástica fuerte
- Unificación Teórica: Vincular el modelo de fútbol con la teoría de transporte de martingalas, proporcionando base teórica para investigación futura
- Caracterización Completa de No Transitividad: Resolver completamente el problema de caracterización de fenómenos no transitivos en el modelo de fútbol
- Complejidad Computacional: Cuando n es grande, la complejidad computacional de ambos métodos es relativamente alta
- Estabilidad Numérica: Posibles problemas de estabilidad numérica en ciertos casos extremos
- Aplicación Práctica: La capacidad de ajuste de resultados teóricos a datos de torneos reales requiere verificación
- Optimización de Algoritmos: Desarrollar algoritmos numéricos más eficientes
- Inferencia Estadística: Métodos de estimación de parámetros basados en datos observados
- Generalización de Modelos: Generalizar a estructuras de comparación más generales
- Investigación Aplicada: Aplicación en datos de torneos reales
- Contribución Teórica Significativa: Resuelve un problema abierto importante, proporcionando construcción canónica para el modelo de fútbol
- Fuerte Innovación Metodológica: Ambos métodos de construcción son innovadores, particularmente la aplicación del acoplamiento de sombra a este problema
- Completitud Teórica: Desde existencia hasta constructividad, desde transitividad a no transitividad, proporciona panorama teórico completo
- Rigor Técnico: Todos los teoremas tienen pruebas rigurosas, con tratamiento técnico meticuloso
- Valor Interdisciplinario: Conecta teoría de probabilidad, teoría de optimización y matemática combinatoria
- Limitaciones de Practicidad: Principalmente trabajo teórico, carece de verificación comparativa con datos reales
- Eficiencia Computacional: Cuando la escala del problema es grande, la eficiencia del algoritmo puede ser cuello de botella
- Supuestos del Modelo: Los supuestos fundamentales del modelo de fútbol pueden no ser suficientemente realistas en aplicaciones prácticas
- Valor Académico: Hace contribuciones importantes tanto a teoría de torneos como a teoría de transporte de martingalas
- Valor Metodológico: Los métodos de construcción proporcionados pueden ser aplicables a otros problemas similares
- Perfeccionamiento Teórico: Llena vacíos teóricos, perfecciona sistemas teóricos relacionados
- Investigación Teórica: Proporciona base para investigación teórica posterior
- Desarrollo de Algoritmos: Proporciona orientación teórica para desarrollo de algoritmos relacionados
- Selección de Modelos: Proporciona base teórica para selección de modelos en aplicaciones prácticas
El artículo cita 72 referencias importantes, abarcando:
- Literatura clásica de teoría de torneos (Moon, Bradley-Terry, etc.)
- Referencias centrales de teoría de transporte de martingalas (Strassen, Kellerer, etc.)
- Literatura relacionada con algoritmos de optimización (Sinkhorn, Benamou, etc.)
- Referencias fundamentales de teoría de probabilidad (Hardy-Littlewood-Pólya, etc.)
Este artículo tiene importancia significativa en teoría, proporcionando teoría de construcción completa para el modelo de fútbol y estableciendo conexiones profundas con teorías de vanguardia en probabilidad moderna. Aunque requiere desarrollo posterior en aplicación práctica, sus contribuciones teóricas son significativas y duraderas.