Presentamos algunas rutinas de un programa para el sistema computacional CoCoA, las cuales realizan el cómputo de familias de polinomios de simétricos, entre ellas los polinomios de Schur. Con estas rutinas se pueden comprobar propiedades combinatorias que relacionan tablas de Young y polinomios skew de Schur.
INTRODUCCIÓN
Los polinomios de Schur forman una base para el anillo de polinomios. Por lo tanto, los polinomios skew de Schur son combinaciones lineales de los polinomios de Schur y sus coeficientes son conocidos como los coeficientes de Littlewood Richardson, los cuales permiten contar tablas de Young con algunas propiedades. Son precisamente estas propiedades combinatorias las que queremos poner de manifiesto con el uso de las rutinas de nuestros programas.
En particular, deseamos ver que las ecuaciones
Sλ/µ (x1 ,..., xn) = ∑ cλµ,v Sv (1.1)
Sλ/µ (x1 ,..., xn) = ∑ xΤ (1.2)
se satisfacen y hallar explícitamente el valor de los coeficientes cλµ,v y su relación con el número de las tablas de Young de la forma λ/µ
Inicialmente recordaremos las definiciones y propiedades básicas de estos polinomios, para luego presentar los programas.
DEFINICIONES
Seanu n entero positivo y λ = (λ1 ,..., λk) una partición de n. Entonces se tiene que
∑ λi = n
ι=1
λi ≥...≥λk>0
Cada partición se identifica con un diagrama de Ferre, el cual es un arreglo de cajas alineadas a la izquierda, en donde la fila i contiene λi cajas. Si λ es partición n de escribiremos |λ| = n.
Ejemplo 1. El diagrama de Ferre para la partición es de la forma
Si enumeramos las cajas del diagrama de Ferre de la partición λ y |λ| = n, con números del conjunto {1,...,n} de tal forma que las filas y columnas forman sucesiones estrictamente crecientes al leerlas de izquierda a derecha y de arriba abajo respectivamente, entonces llamamos a esta enumeración una tabla estándar. Si las filas son no decrecientes (es decir, permitimos repeticiones por filas), pero las columnas son estrictamente crecientes, decimos que la tabla es semiestándar.
Ejemplo 2. Para la partición (4,2,1) las siguientes tablas son ejemplos de tabla estándar y semiestándar respectivamente.
Si λ, µ son particiones, decimos que µ ≤ λ si para todo i se tiene que µi ≤ λi.
Ejemplo 3. Si µ = (2,1) y λ = (4,2,1) entonces µ ≤ λ.
Esta es una versión de prueba de citación de documentos de la Biblioteca Virtual Pro. Puede contener errores. Lo invitamos a consultar los manuales de citación de las respectivas fuentes.
Artículo:
Método de relajación de Lagrange para resolver el problema de asignación de armas y objetivos
Artículo:
Análisis de la impedancia mutua de los pistones mediante una red neuronal y su extensión de la derivada
Artículo:
Convergencia global de un método LS modificado
Artículo:
Control predictivo de modelos no lineales con restricciones de convergencia garantizada mediante linealización de E/S
Artículo:
Soluciones analíticas aproximadas para flujos bidimensionales no estacionarios y axisimétricos de compresión entre placas paralelas
Folleto:
Análisis de rentabilidad económica y financiera
Artículo:
Estudio sobre la migración global de materiales plásticos de empaque usados en la industria de alimentos
Artículo:
¿Por qué debemos conservar la fauna silvestre?
Manual:
Deshidratación y desecado de frutas, hortalizas y hongos. Procedimientos hogareños y comerciales de pequeña escala