En teoría de números y combinatoria enumerativa , los números de Bell ordenados o los números de Fubini cuentan los ordenamientos débiles de un conjunto de elementos. Los ordenamientos débiles organizan sus elementos en una secuencia que permite vínculos , como los que podrían surgir como resultado de una carrera de caballos . [1] [2]
Los números ordenados de Bell fueron estudiados en el siglo XIX por Arthur Cayley y William Allen Whitworth . Llevan el nombre de Eric Temple Bell , quien escribió sobre los números de Bell , que cuentan las particiones de un conjunto ; Los números de Bell ordenados cuentan las particiones que han sido equipadas con un pedido total . Su nombre alternativo, números de Fubini, proviene de una conexión con Guido Fubini y el teorema de Fubini sobre formas equivalentes de integrales múltiples. Debido a que los ordenamientos débiles tienen muchos nombres, los números de Bell ordenados también pueden recibir esos nombres, por ejemplo, como números de arreglos preferenciales [3] o números de órdenes débiles generalizados asimétricos. [4]
Estos números se pueden calcular mediante una fórmula de suma que incluya coeficientes binomiales o utilizando una relación de recurrencia . También cuentan objetos combinatorios que tienen una correspondencia biyectiva con los ordenamientos débiles, como las particiones multiplicativas ordenadas de un número libre de cuadrados [5] o las caras de todas las dimensiones de un permutoedro . [6]
Los ordenamientos débiles organizan sus elementos en una secuencia que permite vínculos . Esta posibilidad describe diversos escenarios del mundo real, incluidas determinadas competencias deportivas como las carreras de caballos . [1] [2] Un ordenamiento débil puede formalizarse axiomáticamente mediante un conjunto parcialmente ordenado para el cual la incomparabilidad es una relación de equivalencia . Las clases de equivalencia de esta relación dividen los elementos del ordenamiento en subconjuntos de elementos mutuamente vinculados, y estas clases de equivalencia pueden luego ordenarse linealmente mediante el ordenamiento débil. Así, un ordenamiento débil puede describirse como una partición ordenada , una partición de sus elementos y un orden total sobre los conjuntos de la partición. [7] Por ejemplo, la partición ordenada { a , b }, { c }, { d , e , f } describe una partición ordenada en seis elementos en los que a y b están empatados y ambos son menores que los otros cuatro elementos, y c es menor que d , e y f , todos relacionados entre sí.
El número de Bell ordenado, denotado aquí , proporciona el número de ordenamientos débiles distintos de los elementos. [8] Por ejemplo, hay tres ordenamientos débiles en los dos elementos a y b : se pueden ordenar con a antes de b , con b antes de a , o con ambos empatados. La figura muestra los 13 ordenamientos débiles de tres elementos.
A partir de , los números de Bell ordenados son
Cuando los elementos a ordenar no están etiquetados (solo importa el número de elementos en cada conjunto vinculado, no sus identidades), lo que queda es una composición o partición de enteros ordenados, una representación de como una suma ordenada de números enteros positivos. Por ejemplo, la partición ordenada { a , b }, { c }, { d , e , f } discutida anteriormente corresponde de esta manera a la composición 2 + 1 + 3. El número de composiciones de es exactamente . Esto se debe a que una composición está determinada por su conjunto de sumas parciales , que pueden ser cualquier subconjunto de los números enteros del 1 al . [4]
Los números ordenados de Bell aparecen en el trabajo de Cayley (1859), quien los utilizó para contar ciertos plátanos con hojas totalmente ordenadas. En los árboles considerados por Cayley, cada camino de raíz a hoja tiene la misma longitud, y el número de nodos a distancia de la raíz debe ser estrictamente menor que el número de nodos a distancia , hasta llegar a las hojas. [9] En tal árbol, hay pares de hojas adyacentes, que pueden estar débilmente ordenadas por la altura de su ancestro común más bajo ; este orden débil determina el árbol. Mor y Fraenkel (1984) llaman a los árboles de este tipo "árboles de Cayley", y denominan a las secuencias que pueden usarse para etiquetar sus espacios (secuencias de números enteros positivos que incluyen al menos una copia de cada número entero positivo entre uno y el máximo). valor en la secuencia) "Permutaciones de Cayley". [10]
Pippenger (2010) remonta el problema de contar ordenamientos débiles, que tienen la misma secuencia como solución, al trabajo de Whitworth (1886). [8] [11] Estos números fueron llamados números de Fubini por Louis Comtet, porque cuentan las diferentes formas de reordenar las sumas o integrales en el teorema de Fubini , que a su vez lleva el nombre de Guido Fubini . [12] Los números de Bell , que llevan el nombre de Eric Temple Bell , cuentan las particiones de un conjunto , y los ordenamientos débiles que se cuentan mediante los números de Bell ordenados pueden interpretarse como una partición junto con un orden total de los conjuntos en la partición. [13]
La equivalencia entre contar árboles de Cayley y contar ordenamientos débiles fue observada en 1970 por Donald Knuth , utilizando una versión temprana de la Enciclopedia en línea de secuencias enteras (OEIS). Este se convirtió en uno de los primeros usos exitosos del OEIS para descubrir equivalencias entre diferentes problemas de conteo. [4]
Debido a que los ordenamientos débiles pueden describirse como ordenamientos totales en los subconjuntos de una partición, se pueden contar los ordenamientos débiles contando los ordenamientos totales y las particiones, y combinando los resultados de manera apropiada. Los números de Stirling del segundo tipo , denotados , cuentan las particiones de un conjunto de elementos en subconjuntos no vacíos. Se puede obtener un ordenamiento débil de dicha partición eligiendo uno de los ordenamientos totales de sus subconjuntos. Por lo tanto, los números de Bell ordenados se pueden contar sumando los números posibles de subconjuntos en una partición (el parámetro ) y, para cada valor de , multiplicando el número de particiones por el número de ordenamientos totales . Es decir, como fórmula de suma : [14] [15] Según los resultados generales de sumas que involucran números de Stirling, se deduce que los números de Bell ordenados son log-convexos , lo que significa que obedecen a la desigualdad para todos . [dieciséis]
Una interpretación alternativa de los términos de esta suma es que cuentan las características de cada dimensión en un permutoedro de dimensión , con el término ésimo contando las características de dimensión . Un permutoedro es un politopo convexo , la capa convexa de puntos cuyos vectores de coordenadas son las permutaciones de los números del 1 al . Estos vectores están definidos en un espacio de dimensión , pero ellos y su casco convexo se encuentran todos en un subespacio afín de dimensión . Por ejemplo, el permutoedro tridimensional es el octaedro truncado , la capa convexa de puntos cuyas coordenadas son permutaciones de (1,2,3,4), en el subespacio tridimensional de puntos cuya suma de coordenadas es 10. Este poliedro tiene un volumen ( ), 14 caras bidimensionales ( ), 36 aristas ( ) y 24 vértices ( ). El número total de estas caras es 1 + 14 + 36 + 24 = 75, un número de Bell ordenado, correspondiente a la fórmula de suma anterior para . [17]
Al expandir cada número de Stirling en esta fórmula a una suma de coeficientes binomiales , la fórmula para los números de Bell ordenados se puede expandir a una suma doble. Los números de Bell ordenados también pueden estar dados por una serie infinita : [8] [13]
Otra fórmula de suma expresa los números de Bell ordenados en términos de los números eulerianos , que cuentan las permutaciones de elementos en los que pares de elementos consecutivos están en orden creciente: [18] donde está el ésimo polinomio euleriano . Una forma de explicar esta fórmula de suma implica un mapeo de ordenamientos débiles de los números del 1 al 1 , obtenido al clasificar cada conjunto vinculado en orden numérico. Según este mapeo, cada permutación con pares crecientes consecutivos proviene de ordenamientos débiles, que se distinguen entre sí por el subconjunto de pares crecientes consecutivos que están empatados en el ordenamiento débil. [18]
Como ocurre con muchas otras secuencias de números enteros, reinterpretar la secuencia como los coeficientes de una serie de potencias y trabajar con la función que resulta de sumar esta serie puede proporcionar información útil sobre la secuencia. El rápido crecimiento de los números de Bell ordenados hace que su función generadora ordinaria diverja; en su lugar , se utiliza la función generadora exponencial . Para los números de Bell ordenados, es: [8] [13] [15] [19] Aquí, el lado izquierdo es solo la definición de la función generadora exponencial y el lado derecho es la función obtenida de esta suma. La forma de esta función corresponde a que los números de Bell ordenados son los números de la primera columna de la matriz infinita . Aquí está la matriz identidad y es una forma matricial infinita del triángulo de Pascal . Cada fila comienza con los números en la misma fila del triángulo de Pascal y luego continúa con una secuencia infinita y repetida de ceros. [20]
Basándose en una integración de contorno de esta función generadora, los números de Bell ordenados se pueden expresar mediante la suma infinita [21] [5] Aquí, representa el logaritmo natural . Esto conduce a una aproximación de los números de Bell ordenados, obtenidos utilizando sólo el término for en esta suma y descartando los términos restantes: [21] [3] [5] [15] [22] donde . Por tanto, los números de Bell ordenados son mayores que los factoriales en un factor exponencial. Aquí, como en la aproximación de Stirling al factorial, indica equivalencia asintótica . Es decir, la relación entre los números de Bell ordenados y su aproximación tiende a uno en el límite a medida que crece arbitrariamente. Como se expresa en notación o pequeña , el error relativo es y el término de error decae exponencialmente a medida que crece. [5]
Comparando las aproximaciones para y se muestra que , por ejemplo, al tomar se obtiene la aproximación a . Esta secuencia de aproximaciones, y este ejemplo de ella, fueron calculados por Ramanujan , utilizando un método general para resolver ecuaciones numéricamente (aquí, la ecuación ). [4] [23]
Además de las fórmulas anteriores, los números de Bell ordenados se pueden calcular mediante la relación de recurrencia [3] [8]
El significado intuitivo de esta fórmula es que un orden débil de elementos puede descomponerse en una elección de algún conjunto no vacío de elementos que entran en la primera clase de equivalencia del orden, junto con un orden débil más pequeño de los elementos restantes. Hay opciones del primer conjunto y opciones del orden débil en el resto de los elementos. Al multiplicar estos dos factores y luego sumar las opciones de cuántos elementos incluir en el primer conjunto, se obtiene el número de ordenamientos débiles, . Como caso base para la recurrencia (hay un orden débil en cero elementos). Con base en esta recurrencia, se puede demostrar que estos números obedecen ciertos patrones periódicos en aritmética modular : para , suficientemente grandes ,
Se conocen muchas más identidades modulares, incluidas identidades módulo cualquier potencia primaria . [14] [25] [26] Peter Bala ha conjeturado que esta secuencia es eventualmente periódica (después de un número finito de términos) módulo cada entero positivo , con un período que divide la función totiente de Euler de , el número de residuos mod que son relativamente cebar a . [4]
Como ya se ha mencionado, los números ordenados de Bell cuentan ordenamientos débiles, caras de permutoedro , árboles de Cayley, permutaciones de Cayley y fórmulas equivalentes en el teorema de Fubini. Los ordenamientos débiles, a su vez, tienen muchas otras aplicaciones. Por ejemplo, en las carreras de caballos , las finales fotográficas han eliminado la mayoría, pero no todos los empates, llamados en este contexto empates , y se puede describir el resultado de una carrera que puede contener empates (incluidos todos los caballos, no solo los tres primeros clasificados). utilizando un orden débil. Por esta razón, los números ordenados de Bell cuentan el número posible de resultados de una carrera de caballos. [1] Por el contrario, cuando los elementos se ordenan o clasifican de una manera que no permite empates (como ocurre con el orden de las cartas en una baraja de cartas o el orden de bateo entre los jugadores de béisbol ), el número de ordenamientos de los elementos es un número factorial , [27] que es significativamente menor que el número de Bell ordenado correspondiente. [28]
Los problemas en muchas áreas se pueden formular utilizando ordenamientos débiles, y las soluciones se cuentan utilizando números de Bell ordenados. Velleman y Call (1995) consideran cerraduras de combinación con un teclado numérico, en las que se pueden presionar varias teclas simultáneamente y una combinación consiste en una secuencia de pulsaciones de teclas que incluye cada tecla exactamente una vez. Como muestran, el número de combinaciones diferentes en dicho sistema viene dado por los números de Bell ordenados. [18] En seru , una técnica japonesa para equilibrar líneas de montaje , los trabajadores con capacitación cruzada se asignan a grupos de trabajadores en diferentes etapas de una línea de producción. El número de asignaciones alternativas para un número determinado de trabajadores, teniendo en cuenta las opciones de cuántas etapas usar y cómo asignar trabajadores a cada etapa, es un número de Bell ordenado. [29] Como otro ejemplo, en la simulación por computadora de origami , los números de Bell ordenados dan el número de ordenaciones en las que se pueden doblar los pliegues de un patrón de pliegue , lo que permite doblar conjuntos de pliegues simultáneamente. [30]
En teoría de números , una partición multiplicativa ordenada de un número entero positivo es una representación del número como producto de uno o más de sus divisores . Por ejemplo, 30 tiene 13 particiones multiplicativas, como producto de un divisor (el propio 30), dos divisores (por ejemplo 6 · 5 ) o tres divisores ( 3 · 5 · 2 , etc.). Un número entero no tiene cuadrados cuando es producto de números primos distintos ; 30 no tiene cuadrados, pero 20 no, porque su factorización prima 2 · 2 · 5 repite el primo 2. Para números libres de cuadrados con factores primos, una partición multiplicativa ordenada se puede describir mediante un ordenamiento débil de sus factores primos, que describe qué primo aparece en qué plazo de la partición. Por tanto, el número de particiones multiplicativas ordenadas viene dado por . Por otro lado, para una potencia prima con exponente , una partición multiplicativa ordenada es un producto de potencias del mismo número primo, con exponentes que suman , y esta suma ordenada de exponentes es una composición de . Así, en este caso, existen particiones multiplicativas ordenadas. Los números que no son libres de cuadrados ni potencias primas tienen un número de particiones multiplicativas ordenadas que (en función del número de factores primos) se encuentran entre estos dos casos extremos. [31]
Una función de estacionamiento , en matemáticas, es una secuencia finita de números enteros positivos con la propiedad de que, para cada longitud de la secuencia, la secuencia contiene al menos valores que son como máximo . Una secuencia de este tipo, de longitud , describe el siguiente proceso: una secuencia de coches llega a una calle con plazas de aparcamiento. Cada coche tiene una plaza de aparcamiento preferida, determinada por su valor en la secuencia. Cuando un coche llega a la calle, aparca en su lugar preferido o, si está lleno, en el siguiente lugar disponible. Una secuencia de preferencias forma una función de estacionamiento si y sólo si cada automóvil puede encontrar un lugar para estacionar en o después de su lugar preferido. El número de funciones de aparcamiento de longitud es exactamente . Para una clase restringida de funciones de aparcamiento, en la que cada coche aparca en su lugar preferido o en el siguiente, el número de funciones de aparcamiento viene dado por los números de timbre ordenados. Cada función de estacionamiento restringido corresponde a un ordenamiento débil en el que los automóviles que obtienen su lugar preferido están ordenados por estos lugares, y cada automóvil restante está vinculado con el automóvil en su lugar preferido. Las permutaciones , contadas mediante factoriales, son funciones de aparcamiento por las que cada coche aparca en su lugar preferido. [32] Esta aplicación también proporciona una prueba combinatoria para los límites superior e inferior de los números de Bell ordenados de forma simple,
El número de Bell ordenado cuenta el número de caras en el complejo de Coxeter asociadas con un grupo de tipo Coxeter . Aquí, se puede pensar en un grupo de Coxeter como un sistema finito de simetrías de reflexión, cerrado bajo reflexiones repetidas, cuyos espejos dividen un espacio euclidiano en las celdas del complejo de Coxeter. Por ejemplo, corresponde a , el sistema de reflexiones del plano euclidiano a través de tres rectas que se encuentran en el origen formando ángulos. El complejo formado por estas tres líneas tiene 13 caras: el origen, seis rayos desde el origen y seis regiones entre pares de rayos. [4]
Kemeny (1956) utiliza los números de Bell ordenados para analizar relaciones n -arias , enunciados matemáticos que pueden ser verdaderos para algunas elecciones de los argumentos de la relación y falsos para otras. Define la "complejidad" de una relación como el número de otras relaciones que uno puede derivar de la dada permutando y repitiendo sus argumentos. Por ejemplo, para , una relación sobre dos argumentos y podría tomar la forma . Según el análisis de Kemeny, tiene relaciones derivadas. Estas son la relación dada , la relación inversa obtenida al intercambiar los argumentos y la relación unaria obtenida al repetir un argumento. (La repetición del otro argumento produce la misma relación). [33]
Ellison y Klein (2001) aplican estos números a la teoría de la optimización en lingüística . En esta teoría, las gramáticas de los lenguajes naturales se construyen clasificando ciertas restricciones y (en un fenómeno llamado tipología factorial) el número de gramáticas diferentes que se pueden formar de esta manera se limita al número de permutaciones de las restricciones. Un artículo revisado por Ellison y Klein sugirió una extensión de este modelo lingüístico en el que se permiten vínculos entre restricciones, de modo que la clasificación de las restricciones se convierta en un orden débil en lugar de un orden total. Como señalan, la magnitud mucho mayor de los números de Bell ordenados, en relación con los factoriales correspondientes , permite que esta teoría genere un conjunto de gramáticas mucho más rico. [28]
Si se lanza repetidamente una moneda justa (con igual probabilidad de que salga cara o cruz) hasta que la primera vez el resultado sea cara, el número de cruces sigue una distribución geométrica . Los momentos de esta distribución son los números de Bell ordenados. [4]
Aunque la función generadora ordinaria de los números de Bell ordenados no converge, describe una serie de potencias que (evaluada en y luego multiplicada por ) proporciona una expansión asintótica para la distancia de resistencia de los vértices opuestos de un gráfico de hipercubo bidimensional . Truncar esta serie a un número acotado de términos y luego aplicar el resultado para valores ilimitados de aproxima la resistencia a un orden arbitrariamente alto. [8]
En el álgebra de anillos no conmutativos , una construcción análoga a las funciones cuasisimétricas (conmutativas) produce un álgebra graduada WQSym cuyas dimensiones en cada grado están dadas por los números de Bell ordenados. [34] [35]
En el filtrado de spam , el problema de asignar pesos a secuencias de palabras con la propiedad de que el peso de cualquier secuencia excede la suma de los pesos de todas sus subsecuencias se puede resolver usando el peso para una secuencia de palabras, que se obtiene de la ecuación de recurrencia. con estuche base . Esta recurrencia difiere de la dada anteriormente para los números de Bell ordenados, en dos aspectos: omitir el término de la suma (porque sólo se consideran secuencias no vacías) y agregar uno por separado de la suma (para que el resultado exceda, en lugar de igualar). , la suma). Estas diferencias tienen efectos compensatorios y los pesos resultantes son los números de Bell ordenados. [36]