Partición de plano

En matemáticas y especialmente en combinatoria, una partición de plano es un conjunto bidimensional de enteros no negativos ${\displaystyle \pi _{i,j}}$ (con i,j enteros y positivos) que es no creciente para ambos índices. Esto significa que

Una partición de plano representada como pilas de cubos unitarios

${\displaystyle \pi _{i,j}\geq \pi _{i,j+1}\quad }$ y ${\displaystyle \quad \pi _{i,j}\geq \pi _{i+1,j}\,}$ para todo i y j.

Además solo finitamente muchos de los ${\displaystyle \pi _{i,j}}$ son distintos de cero. Una partición de plano puede representarse gráficamente mediante una pila de ${\displaystyle \pi _{i,j}}$ cubos unitarios sobre el punto (i, j) en el plano, resultando un sólido tridimensional como el mostrado en la imagen.

La suma de una partición de plano es:

${\displaystyle n=\sum _{i,j}\pi _{i,j}.}$

La suma describe el número de cubos que forman la partición de plano. El número de particiones de plano de suma n se denota como PL(n).

Por ejemplo, hay 6 particiones de plano con suma 3:

${\displaystyle {\begin{matrix}1&1&1\end{matrix}}\qquad {\begin{matrix}1&1\\1&\end{matrix}}\qquad {\begin{matrix}1\\1\\1&\end{matrix}}\qquad {\begin{matrix}2&1&\end{matrix}}\qquad {\begin{matrix}2\\1&\end{matrix}}\qquad {\begin{matrix}3\end{matrix}}}$

Por lo que PL(3) = 6. (En este caso, las particiones de plano se obtienen usando indexado de matrices para las coordenadas y las entradas iguales a cero son eliminadas en pos de la legibilidad). Sea ${\displaystyle N_{i}(r,s,t)}$ el número total de particiones de plano en las que r es el número de filas distintas de cero, s es el número de columnas distintas de cero y t es el mayor entero de la matriz. Las particiones de plano son a menudo descritas por las posiciones de los cubos unidad. Por ello una partición de plano se define como un subconjunto finito ${\displaystyle {\mathcal {P}}}$ de puntos de latitud enteros positivos (i, j, k) en ${\displaystyle \mathbb {N} ^{3}}$, tal que (r, s, t) están contenidos en ${\displaystyle {\mathcal {P}}}$ y si (i, j, k) satisface ${\displaystyle 1\leq i\leq r}$, ${\displaystyle 1\leq j\leq s}$ y ${\displaystyle 1\leq k\leq t}$, entonces (i, j, k) también están contenidos en ${\displaystyle {\mathcal {P}}}$.

${\displaystyle {\mathcal {B}}(r,s,t)=\{(i,j,k)|1\leq i\leq r,1\leq j\leq s,1\leq k\leq t\}}$

Funciones generadoras de particiones de plano

De acuerdo con Percy A. MacMahon, la función generadora de PL(n) es dada por :${\displaystyle \sum _{n=0}^{\infty }{\mbox{PL}}(n)\,x^{n}=\prod _{k=1}^{\infty }{\frac {1}{(1-x^{k})^{k}}}=1+x+3x^{2}+6x^{3}+13x^{4}+24x^{5}+\cdots .}$ ^[1]​ Esto es a veces denominado Función MacMahon.

Esta fórmula puede ser vista como la análoga bidimensional del producto de Euler para el número de particiones de enteros de n. No hay fórmula análoga conocida para dimensiones superiores (i.e., para particiones sólidas).^[2]​ El problema del carácter asintótico de las particiones planas fue resuelto por E. M. Wright.^[3]​ Para mayores ${\displaystyle n}$ , se obtiene:

${\displaystyle \mathrm {PL} (n)\sim {\frac {\zeta (3)^{7/36}}{\sqrt {12\pi }}}\ \left({\frac {n}{2}}\right)^{-25/36}\ \exp \left(3\ \zeta (3)^{1/3}\left({\frac {n}{2}}\right)^{2/3}+\zeta '(-1)\right)\ ,}$ 

Aquí, el error tipográfico en los artículos de Wright ha sido corregido, tras ser señalado por Mutafchiev y Kamenov.^[4]​ La evaluación numérica da el resultado:

${\displaystyle \ln \mathrm {PL} (n)\sim 2.00945n^{2/3}-0.69444\ln n-1.4631.}$ 

Alrededor de 1896 Percy Alexander MacMahon conformó la función generadora de particiones de plano que son subconjuntos de ${\displaystyle {\mathcal {B}}(r,s,t)}$  en su primer tratado sobre particiones de plano.^[5]​ La fórmula se obtiene de

${\displaystyle \sum _{\pi \in {\mathcal {B}}(r,s,t)}q^{|\pi |}=\prod _{i=1}^{r}\prod _{j=1}^{s}{\frac {1-q^{i+j+t-1}}{1-q^{i+j-1}}}}$ 

Una demostración de esta fórmula puede encontrarse en el libro Análisis Combinatorio, por Percy A. MacMahon.^[6]​ Percy A. MacMahon también menciona en su libro Análisis Combinatorio las funciones generadoreas de planos en el artículo 429.^[7]​ La fórmula para funciones generadoras puede ser escrita de modo alternativo, dado por

${\displaystyle \sum _{\pi \in {\mathcal {B}}(r,s,t)}q^{|\pi |}=\prod _{i=1}^{r}\prod _{j=1}^{s}\prod _{k=1}^{t}{\frac {1-q^{i+j+k-1}}{1-q^{i+j+k-2}}}}$ 

Considerando q = 1 en las fórmulas de arriba, resulta

${\displaystyle N_{1}(r,s,t)=\prod _{(i,j,k)\in {\mathcal {B}}(r,s,t)}{\frac {i+j+k-1}{i+j+k-2}}=\prod _{i=1}^{r}\prod _{j=1}^{s}{\frac {i+j+t-1}{i+j-1}}}$ 

Percy A. MacMahon obtuvo que el número total de particiones de plano en ${\displaystyle {\mathcal {B}}(r,s,t)}$  viene dado por ${\displaystyle N_{1}(r,s,t)}$ .^[8]​ En el caso planario (cuando t = 1), resultan los Coeficiente binomial:

${\displaystyle {\mathcal {B}}(r,s,1)={\binom {r+s}{r}}}$ 

Diagramas de Ferrers para particiones de planos

Otra representación de las particiones de planos viene dada por el diagrama de Normal Macleods Ferrers. El Diagrama de Ferrers de una partición de plano de ${\displaystyle n}$  es una colección de ${\displaystyle n}$  puntos o nodos, ${\displaystyle \lambda =(\mathbf {y} _{1},\mathbf {y} _{2},\ldots ,\mathbf {y} _{n})}$ , with ${\displaystyle \mathbf {y} _{i}\in \mathbb {Z} _{\geq 0}^{3}}$  satisfaciendo la condición:^[9]​

Condición DF: Si el nodo ${\displaystyle \mathbf {a} =(a_{1},a_{2},a_{3})\in \lambda }$ , entonces también lo son los nodos ${\displaystyle \mathbf {y} =(y_{1},y_{2},y_{3})}$  con ${\displaystyle 0\leq y_{i}\leq a_{i}}$  para todo ${\displaystyle i=1,2,3}$ .

Sustituyendo cada nodo de una partición de plano por un cubo con bordes alineados con los ejes se obtiene una representación pila de cubos de la partición de plano.

Equivalencia de las dos representaciones

Dado un diagrama de Ferrers, la partición de plano (tal y como se entiende en la definición principial) se construye de esta forma

Sea ${\displaystyle \pi _{i,j}}$  el número de nodos en el diagrama de Ferrers con coordenadas de la forma ${\displaystyle (i-1,j-1,*)}$  donde ${\displaystyle *}$  denota un valor arbitrario. Se verifica que la satisfacción de las condiciones para la partición de plano es condición necesaria para el diagrama de Ferrers.

Dado un conjunto de ${\displaystyle \pi _{i,j}}$  que forman una partición de plano, se obtiene el diagrama de Ferrers de esta forma.

Comenzamos con un diagrama sin nodos. Para cada ${\displaystyle \pi _{i,j}}$  distinto de cero, se añade ${\displaystyle \pi _{i,j}}$  nodos de la forma ${\displaystyle (i-1,j-1,y_{3})}$  para ${\displaystyle 0\leq y_{3}<\pi _{i,j}-1}$  al diagrama. Por construcción, es sencillo ver que se satisface la condición del diagrama de Ferrers.

Por ejemplo, debajo se muestran las representaciones de una partición de plano de 5.

${\displaystyle \left({\begin{smallmatrix}0\\0\\0\end{smallmatrix}}{\begin{smallmatrix}0\\0\\1\end{smallmatrix}}{\begin{smallmatrix}0\\1\\0\end{smallmatrix}}{\begin{smallmatrix}1\\0\\0\end{smallmatrix}}{\begin{smallmatrix}1\\1\\0\end{smallmatrix}}\right)\qquad \Longleftrightarrow \qquad {\begin{matrix}2&1\\1&1\end{matrix}}}$ 

Encima, todos los nodos del diagrama están escritos como una columna, y solo hemos escrito el ${\displaystyle \pi _{i,j}}$  no nulo, como es convencional.

Acción de S₂, S₃ y C₃ en particiones de plano

${\displaystyle {\mathcal {S}}_{2}}$  es el grupo de permutaciones actuando sobre las dos primeras coordenadas de (i,j,k). Este grupo contiene la identidad (i,j,k) y la trasposición (i,j,k,)→(j,i,k). El número de elementos en una órbita ${\displaystyle \eta }$  se denota como |${\displaystyle \eta }$ |. ${\displaystyle {\mathcal {B}}/{\mathcal {S}}_{2}}$  denota el conjunto de órbitas de elementos de ${\displaystyle {\mathcal {B}}}$  bajo la acción de ${\displaystyle {\mathcal {S}}_{2}}$ . La altura de un elemento (i,j,k) se define por

 ${\displaystyle ht(i,j,k)=i+j+k-2}$  

La altura se incrementa en uno a cada paso que se aleja de la esquina trasera inferior. Por ejemplo, la posición de esquina (1,1,1) tiene altura 1 y ht(2,1,1)=2. ht(${\displaystyle \eta }$ ) es la altura de una órbita, que es la altura de cualquier elemento de la órbita. Esta notación de altura difiere de la de Ian G. MacDonald.^[10]​

Hay una acción natural del grupo de permutación ${\displaystyle {\mathcal {S}}_{3}}$  en un diagrama de Ferrers (esto corresponde a permutar simultáneamente las tres coordenadas de todos los nodos). Esto generaliza la operación de conjugación para particiones. La acción de ${\displaystyle {\mathcal {S}}_{3}}$  puede generar nuevas particiones de plano a partir de una partición de plano dada. Abajo se muestranseis particiones de plano de 4 que son generadas por acción de ${\displaystyle {\mathcal {S}}_{3}}$ . Solo el intercambio de las primeras dos coordenadas se manifiesta en la representación mostrada a continuación.

${\displaystyle {\begin{smallmatrix}3&1\end{smallmatrix}}\quad {\begin{smallmatrix}3\\1\end{smallmatrix}}\quad {\begin{smallmatrix}2&1&1\end{smallmatrix}}\quad {\begin{smallmatrix}2\\1\\1\end{smallmatrix}}\quad {\begin{smallmatrix}1&1&1\\1\end{smallmatrix}}\quad {\begin{smallmatrix}1&1\\1\\1\end{smallmatrix}}}$ 

${\displaystyle {\mathcal {C}}_{3}}$  se denomina grupo de permutaciones cíclicas y consiste en

${\displaystyle (i,j,k)\rightarrow (i,j,k),\quad (i,j,k)\rightarrow (j,k,i),\quad {\textrm {and}}\quad (i,j,k)\rightarrow (k,i,j).}$ 

Particiones de plano simétricas

Una partición de plano ${\displaystyle \pi }$  se denomina simétrica si ${\displaystyle \pi }$ _i,j = ${\displaystyle \pi }$ _j,i para todo i,j . En otras palabras, una partición de plano es simétrica si (i,j,k)${\displaystyle \in {\mathcal {B}}(r,s,t)}$  si y solo si (j,i,k)${\displaystyle \in {\mathcal {B}}(r,s,t)}$ . Las particiones de plano de este tipo son simétricas respecto al plano x = y. Se muestra a continuación un ejemplo de partición de plano simétrica. Se adjunta la matriz visualizada.

 

Una partición de plano simétrica de suma 35

${\displaystyle {\begin{matrix}4&3&3&2&1\\3&3&2&1&\\3&2&2&1&\\2&1&1&&\\1&&&&\end{matrix}}}$ 

En 1898, Percy Alexander MacMahon formuló su conjetura sobre la función generatriz de particiones de plano simétricas que son subconjuntos de ${\displaystyle {\mathcal {B}}(r,r,t)}$ .^[11]​ Esta conjetura se denomina La conjetura de MacMahon. La función generatriz viene dada por

${\displaystyle \sum _{\pi \in {\mathcal {B}}(r,r,t)/{\mathcal {S}}_{2}}q^{|\pi |}=\prod _{i=1}^{r}\left[{\frac {1-q^{t+2i-1}}{1-q^{2i-1}}}\prod _{j=i+1}^{r}{\frac {1-q^{2(i+j+t-1)}}{1-q^{2(i+j-1)}}}\right]}$ 

Ian G. MacDonald^[10]​ señaló que la conjetura de MacMahon se reduce a

${\displaystyle \sum _{\pi \in {\mathcal {B}}(r,r,t)/{\mathcal {S}}_{2}}q^{|\pi |}=\prod _{\eta \in {\mathcal {B}}(r,r,t)/{\mathcal {S}}_{2}}{\frac {1-q^{|\eta |(1+ht(\eta ))}}{1-q^{|\eta |ht(\eta )}}}}$ 

En 1972, Edward A. Bender y Donald Knuth^[12]​ conjeturaron una forma cerrada simple para la función generatriz para particiones con como mucho r filas y orden estrictamente decreciente en filas. George Andrews^[13]​ demostró que la conjuntura de Bender y Knuth y la conjetura de MacMahon eran equivalentes. La conjetura de MacMahon fue probada casi simultáneamente por George Andrews en 1977^[14]​ y después Ian G. MacDonald presentó una prueba alternativa.^[10]​ Poner q=1 da como resultado la función continua ${\displaystyle N_{2}(r,r,t)}$  que viene dada por

${\displaystyle N_{2}(r,r,t)=\prod _{i=1}^{r}{\frac {2i+t-1}{2i-1}}\prod _{1\leq i<j\leq r}{\frac {i+j+t-1}{i+j-1}}}$ 

Para una prueba del caso q = 1, pueden consultar escrito de George Andrews MacMahon's conjecture on symmetric plane partitions.^[15]​

Particiones de plano cíclicamente simétricas

${\displaystyle \pi }$  se denomina cíclicamente simétrica si la fila i de ${\displaystyle \pi }$  es conjugada de la columna i para todo i- La columna i es una partición ordinaria. El conjugado de una partición ${\displaystyle \pi }$  es la partición cuyo diagrama es el traspuesto de la partición ${\displaystyle \pi }$ .^[10]​ En otras palabras, la partición de plano es cíclicamente simétrica si siempre que (i,j,k)${\displaystyle \in {\mathcal {B}}(r,s,t)}$  entonces (k,i,j) y (j,k,i) están también en ${\displaystyle {\mathcal {B}}(r,s,t)}$ . A continuación, un ejemplo de partición de plano cíclicamente simétrica y su visualización.

 

Partición de plano cíclicamente simétrica

${\displaystyle {\begin{matrix}6&5&5&4&3&3\\6&4&3&3&1&\\6&4&3&1&1&\\4&2&2&1&&\\3&1&1&&&\\1&1&1&&&\end{matrix}}}$ 

la conjetura de Ian G. Macdonald aporta una fórmula para calcular el número de particiones de plano cíclicamente simétricas para un entero r dado. Esta conjetura se denomina Conjetura MacDonald. La función generatriz para planos cíclicamente simétricos subconjuntos de ${\displaystyle {\mathcal {B}}(r,r,r)}$  viene dada por

${\displaystyle \sum _{\pi \in {\mathcal {B}}(r,r,t)/{\mathcal {C}}_{3}}q^{|\pi |}=\prod _{\eta \in {\mathcal {B}}(r,r,t)/{\mathcal {C}}_{3}}{\frac {1-q^{|\eta |(1+ht(\eta ))}}{1-q^{|\eta |ht(\eta )}}}}$ 

Esta ecuación puede también ser escrita como

${\displaystyle \prod _{\eta \in {\mathcal {B}}(r,r,t)/{\mathcal {C}}_{3}}{\frac {1-q^{|\eta |(1+ht(\eta ))}}{1-q^{|\eta |ht(\eta )}}}=\prod _{i=1}^{r}\left[{\frac {1-q^{3i-1}}{1-q^{3i-2}}}\prod _{j=i}^{r}{\frac {1-q^{3(r+i+j-1)}}{1-q^{3(2i+j-1)}}}\right]}$ 

En 1979 George Andrews ha demostrado la conjetura de MacDonald para q = 1 como conjetura "débil" de MacMahon.^[16]​ Tres años después William H. Mills, David Robbins y Howard Rumsey demostraron el caso general de la conjetura de MacDonald en su tratado Prueba de la conjetura de MacDonald.^[17]​ La fórmula para ${\displaystyle N_{3}(r,r,r)}$  viene dada por la conjetura "débil" de MacMahon.

${\displaystyle N_{3}(r,r,r)=\prod _{i=1}^{r}\left[{\frac {3i-1}{3i-2}}\prod _{j=i}^{r}{\frac {i+j+r-1}{2i+j-1}}\right]}$ 

Particiones de plano totalmente simétricas

Una partición de plano totalmente simétrica ${\displaystyle \pi }$  es una partición simétrica y cíclicamente simétrica. Esto significa que el diagrama es simétrico en los tres planos de la diagonal. Por lo que si (i,j,k)${\displaystyle \in {\mathcal {B}}(r,s,t)}$  todas las permutaciones de (i,j,k) están también en ${\displaystyle {\mathcal {B}}(r,s,t)}$ . A continuación, un ejemplo de una partición de plano totalmente simétrica. La imagen muestra la visualización de la matriz.

 

Partición de plano totalmente simétrica

${\displaystyle {\begin{matrix}5&4&4&3&1\\4&3&3&1&\\4&3&2&1&\\3&1&1&&\\1&&&&\end{matrix}}}$ 

Ian G. Macdonald encontró el número total de particiones de plano totalmente simétricas que son subconjuntos de ${\displaystyle {\mathcal {B}}(r,r,r)}$ . La fórmula viene dada por

${\displaystyle N_{4}(r,r,r)=\prod _{\eta \in {\mathcal {B}}(r,r,r)/{\mathcal {S}}_{3}}{\frac {1+ht(\eta )}{ht(\eta )}}}$ 

En 1995, John R. Stembridge probó por primera vez la fórmula para ${\displaystyle N_{4}(r,r,r)}$ ,^[18]​ y posteriormente, en 2005, George Andrews, Peter Paule y Carsten Schneider^[19]​ también dieron una prueba. Alrededor de 1983, George Andrews y David Robbins establecieron de forma independiente una fórmula explícita del producto para la función de generación de conteo de órbitas para particiones planas totalmente simétricas.^[20]​^[21]​ Esta fórmula ya había sido mencionada en el documento de George E. Andrews Particiones de plano totalmente simétricas, que se publicó en 1980.^[22]​

La conjetura se llama q-TSPP y viene dada por:

Sea ${\displaystyle {\mathcal {S}}_{3}}$  el grupo simétrico. La función de conteo orbital para particiones planas totalmente simétricas que se ajustan dentro de ${\displaystyle {\mathcal {B}}(r,r,r)}$  viene dada por la fórmula

${\displaystyle \sum _{\pi \in {\mathcal {B}}(r,r,r)/{\mathcal {S}}_{3}}q^{|\pi |}=\prod _{\eta \in {\mathcal {B}}(r,r,r)/{\mathcal {S}}_{3}}{\frac {1-q^{1+ht(\eta )}}{1-q^{ht(\eta )}}}=\prod _{1\leq i\leq j\leq k\leq r}{\frac {1-q^{i+j+k-1}}{1-q^{i+j+k-2}}}}$ 

Esta conjetura se convirtió en un teorema en 2011. Para obtener una prueba de la q-TSPP, consúltese el documento "Una prueba de George Andrews" y la q-TSPP de David Robbins por Christoph Koutschan, Manuel Kauers y Doron Zeilberger.^[23]​

Particiones de plano autocomplementarias

Si ${\displaystyle \pi _{i,j}+\pi _{r-i+1,s-j+1}=t}$  para todo ${\displaystyle 1\leq i\leq r}$ , ${\displaystyle 1\leq j\leq s}$ , la partición de plano se denomina autocomplementaria. Es necesario que el producto ${\displaystyle r\cdot s\cdot t}$  sea par. A continuación, un ejemplo de partición de plano simétrica autocomplementaria y su visualización.

${\displaystyle {\begin{matrix}4&4&3&2&1\\4&2&2&2&\\3&2&1&&\end{matrix}}}$ 

Richard P. Stanley^[24]​ conjeturó fórmulas para el total de particiones autocomplementarias. ${\displaystyle N_{5}(r,s,t)}$ . Según Richard Stanley, David Robbins también formuló para este propósito en una forma distinta pero equivalente. El número total de particiones de plano autocomplementarias subconjuntos de ${\displaystyle {\mathcal {B}}(r,s,t)}$  viene dado por

${\displaystyle N_{5}(2r,2s,2t)=N_{1}(r,s,t)^{2}}$ 

${\displaystyle N_{5}(2r+1,2s,2t)=N_{1}(r,s,t)N_{1}(r+1,s,t)}$ 

${\displaystyle N_{5}(2r+1,2s+1,2t)=N_{1}(r+1,s,t)N_{1}(r,s+1,t)}$ 

Es necesario que el producto de r,s y t sea par. Una prueba puede encontrarse en el tratado Simetrías de particiones de plano, por Stanley.^[25]​^[24]​ Las pruebas funcionan con funciones de Schur ${\displaystyle s_{s^{r}}(x)}$ . La prueba de Stanley de la enumeración ordinaria de particiones de plano autocomplementarias da el análogo q sustituyendo ${\displaystyle x_{i}=q^{i}}$  por ${\displaystyle i=1,\ldots ,n}$ .^[26]​

Esto es un caso especial de la fórmula de Stanley.^[27]​ La función generatriz para particiones autocomplementarias es dada por

${\displaystyle s_{\gamma ^{\alpha }}(q,q^{2},\ldots ,q^{n})=q^{\gamma \alpha (\alpha +1)/2}\prod _{i=1}^{\alpha }\prod _{j=0}^{\gamma -1}{\frac {1-q^{i+n-\alpha +j}}{1-q^{i+j}}}}$ 

Sustituyendo esta fórmula en

${\displaystyle s_{s^{r}}(x_{1},x_{2},\ldots ,x_{t+r})^{2}\ {\textrm {for}}\ {\mathcal {B}}(2r,2s,2t)}$ 

${\displaystyle s_{s^{r}}(x_{1},x_{2},\ldots ,x_{t+r})s_{(s+1)^{r}}(x_{1},x_{2},\ldots ,x_{t+r})\ {\textrm {for}}\ {\mathcal {B}}(2r,2s+1,2t)}$ 

${\displaystyle s_{s^{r+1}}(x_{1},x_{2},\ldots ,x_{t+r+1})s_{s^{r}}(x_{1},x_{2},\ldots ,x_{t+r+1})\ {\textrm {for}}\ {\mathcal {B}}(2r+1,2s,2t+1)}$ 

nos sirve para obtener el caso análogo q deseado.

Particiones de plano autocomplementarias cíclicamente simétricas

Una partición de plano ${\displaystyle \pi }$  se denomina autocomplementaria cíclicamente simétrica si es cíclicamente simétrica y autocomplementaria. Esta figura representa el modelo expuesto, y la matriz asociada al mismo.

 

Partición de plano autocomplementaria cíclicamente simétrica

${\displaystyle {\begin{matrix}4&4&4&1\\3&3&2&1\\3&2&1&1\\3&&&\end{matrix}}}$ 

En una comunicación privada con Stanley, David P. Robins conjeturó que el número total de particiones de plano autocomplementarias cíclicamente simétricas dada por ${\displaystyle N_{6}(2r,2r,2r)}$ ^[21]​^[24]​ El número total de particiones autocomplementarias cíclicamente simétricas viene dada por

${\displaystyle N_{6}(2r,2r,2r)=D_{r}^{2}}$ 

${\displaystyle D_{r}}$  es el número de of ${\displaystyle r\times r}$  matrices de signo alterno. Una fórmula para ${\displaystyle D_{r}}$  viene dada por

${\displaystyle D_{r}=\prod _{j=0}^{r-1}{\frac {(3j+1)!}{(r+j)!}}}$ 

Greg Kuperberg demostró que la fórmula para ${\displaystyle N_{6}(r,r,r)}$  en 1994. ^[28]​

Particiones de plano autocomplementarias totalmente simétricas

Una partición de plano totalmente simétrica es una partición de plano que es a la vez totalmente simétrica y autocomplementaria. Por ejemplo, la matriz aquí mostrada es de este tipo, acompañada por su correspondiente representación.

 

Partición de plano autocomplementaria totalmente simétrica

${\displaystyle {\begin{matrix}6&6&6&5&5&3\\6&5&5&3&3&1\\6&5&5&3&3&1\\5&3&3&1&1&\\5&3&3&1&1&\\3&1&1&&&\end{matrix}}}$ 

La fórmula ${\displaystyle N_{7}(r,r,r)}$  fue conjeturada por William H. Mills, David Robbins y Howard Rumsey en su tratado Particiones de plano autocomplementarias completamente simétricas.^[29]​ El número total de particiones de plano autocomplementarias totalmente simétricas viene dado por

${\displaystyle N_{7}(2r,2r,2r)=D_{r}}$ 

George Andrews demostró esta fórmula en 1994, en su tratado Particiones de plano V: La conjetura TSSCPP.^[30]​

Referencias

1. Richard P. Stanley, Enumerative Combinatorics, Volume 2. Corollary 7.20.3.
2. R.P. Stanley, Enumerative Combinatorics, Volume 2. pp. 365, 401–2.
3. E. M. Wright, Asymptotic partition formulae I. Plane partitions, The Quarterly Journal of Mathematics 1 (1931) 177–189.
4. L. Mutafchiev and E. Kamenov, "Asymptotic formula for the number of plane partitions of positive integers", Comptus Rendus-Academie Bulgare Des Sciences 59 (2006), no. 4, 361.
5. MacMahon, Percy A. (1896). «XVI. Memoir on the theory of the partition of numbers.-Part I». Philosophical Transactions of the Royal Society of London A: Mathematical, Physical and Engineering Sciences 187: Article 52. 
6. MacMahon, Major Percy A. (1916). Combinatory Analysis Vol 2. Chambridge: at the University Press. pp. §495. 
7. MacMahon, Major Percy A. (1916). «Combinatory Analysis». Chambridge: At the University Press 2: §429. 
8. MacMahon, Major Percy A. (1916). Combinatory Analysis. Chambridge: at the University Press. pp. §429,§494. 
9. Atkin, A. O. L.; Bratley, P.; Macdonald, I. G.; McKay, J. K. S. (1967). «Some computations for m-dimensional partitions». Proc. Camb. Phil. Soc. 63 (4): 1097-1100. Bibcode:1967PCPS...63.1097A. doi:10.1017/s0305004100042171. 
10. Macdonald, Ian G. (1998). Symmetric Functions and Hall Polynomials. Clarendon Press. pp. 20f, 85f. ISBN 9780198504504. 
11. MacMahon, Percy Alexander (1899). «Partitions of numbers whose graphs possess symmetry». Transactions of the Cambridge Philosophical Society 17. 
12. Bender and Knuth (1972). «Enumeration of plane partitions». Journal of Combinatorial Theory, Series A 13: 40-54. doi:10.1016/0097-3165(72)90007-6. 
13. Andrews, George E. (1977). «Plane partitions II: The equivalence of the Bender-Knuth and MacMahon conjectures». Pacific Journal of Mathematics 72 (2): 283-291. doi:10.2140/pjm.1977.72.283. 
14. Andrews, George (1975). «Plane Partitions (I): The Mac Mahon Conjecture». Adv. Math. Suppl. Stud. 1. 
15. Andrews, George E. (1977). «MacMahon's conjecture on symmetric plane partitions». Proceedings of the National Academy of Sciences 74 (2): 426-429. Bibcode:1977PNAS...74..426A. PMC 392301. PMID 16592386. doi:10.1073/pnas.74.2.426. 
16. Andrews, George E. (1979). «Plane Partitions(III): The Weak Macdonald Conjecture». Inventiones Mathematicae 53 (3): 193-225. Bibcode:1979InMat..53..193A. doi:10.1007/bf01389763. 
17. Mills, Robbins, Rumsey (1982). «Proof of the Macdonald conjecture». Inventiones Mathematicae 66: 73-88. Bibcode:1982InMat..66...73M. doi:10.1007/bf01404757. 
18. Stembridge, John R. (1995). «The Enumeration of Totally Symmetric Plane Partitions». Advances in Mathematics 111 (2): 227-243. doi:10.1006/aima.1995.1023. 
19. Andrews, Paule, Schneider (2005). «Plane Partitions VI: Stembridge's TSPP theorem». Advances in Applied Mathematics 34 (4): 709-739. doi:10.1016/j.aam.2004.07.008. 
20. Bressoud, David M. (1999). Proofs and Confirmations. Cambridge University Press. pp. conj. 13. ISBN 9781316582756. 
21. Stanley, Richard P. (1970). «A Baker's dozen of conjectures concerning plane partitions». Combinatoire énumérative: 285-293. 
22. Andrews, George (1980). «Totally symmetric plane partitions». Abstracts Amer. Math. Soc 1: 415. 
23. Koutschan, Kauers, Zeilberger (2011). «A proof of George Andrews' and David Robbins' q-TSPP conjecture». PNAS 108 (6): 2196-2199. Bibcode:2011PNAS..108.2196K. arXiv:1002.4384. doi:10.1073/pnas.1019186108. 
24. Stanley, Richard P. (1986). «Symmetries of Plane Partitions». Journal of Combinatorial Theory, Series A 43: 103-113. doi:10.1016/0097-3165(86)90028-2. 
25. «Erratum». Journal of Combinatorial Theory 43: 310. 1986. 
26. Eisenkölbl, Theresia (2008). «A Schur function identity related to the (-1)-enumeration of self complementary plane partitions». Journal of Combinatorial Theory, Series A 115: 199-212. doi:10.1016/j.jcta.2007.05.004. 
27. Stanley, Richard P. (1971). «Theory and Application of Plane Partitions. Part 2». Advances in Applied Mathematics 50 (3): 259-279. doi:10.1002/sapm1971503259. 
28. Kuperberg, Greg (1994). «Symmetries of plane partitions and the permanent-determinant method». Journal of Combinatorial Theory, Series A 68: 115-151. Bibcode:1994math.....10224K. arXiv:math/9410224. doi:10.1016/0097-3165(94)90094-9. 
29. Mills, Robbins, Rumsey (1986). «Self-Complementary Totally Symmetric Plane Partitions». Journal of Combinatorial Theory, Series A 42 (2): 277-292. doi:10.1016/0097-3165(86)90098-1. 
30. Andrews, George E. (1994). «Plane Partitions V: The TSSCPP Conjecture». Journal of Combinatorial Theory, Series A 66: 28-39. doi:10.1016/0097-3165(94)90048-5. 

Bibliografía

• G. Andrews, The Theory of Partitions, Cambridge University Press, Cambridge, 1998, ISBN 0-521-63766-X
• Bender, Edward A.; Knuth, Donald E. (1972), «Enumeration of plane partitions», Journal of Combinatorial Theory, Series A 13: 40-54, ISSN 1096-0899, MR 0299574, doi:10.1016/0097-3165(72)90007-6 .
• I.G. Macdonald, Symmetric Functions and Hall Polynomials, Oxford University Press, Oxford, 1999, ISBN 0-19-850450-0
• P.A. MacMahon, Combinatory analysis, 2 vols, Cambridge University Press, 1915-16.

Enlaces externos

• Weisstein, Eric W. «Plane partition». En Weisstein, Eric W, ed. MathWorld (en inglés). Wolfram Research. 
• OEIS sequence A000219 (Number of planar partitions of n)
• The DLMF page on Plane Partitions

•   Datos: Q7201015