` DOS QUADROS DE YOUNG AS MATRIZES DE ZEROS E UNS

C.M. DA FONSECA E RICARDO MAMEDE

Resumo. Descrevemos um procedimento simples de construo de matrizes de zeros ca e uns, vericando determinadas condies ligadas a parties de nmeros de inteiros co co u positivos. Resumo. We describe a simple procedure for the construction of 0-1 matrices satisfying certain conditions related with partitions of positive integers.

1. Matrizes pobres, aplicacoes ricas Apesar da sua aparente penria estrutural, as matrizes constitu u das somente por zeros e uns desempenham um papel activo muito alm do seu ambiente natural da Algebra e Linear, da Combinatria ou da Teoria dos Grafos. De facto, tais matrizes tm sido o e estudadas em contextos cada vez menos inesperados, mas sempre surpreendentes, que se estendem da Biologia, ao n molecular, ` Qu vel a mica, em cadeias de pol meros, passando pela Teoria dos Jogos ou at pela Arqueologia! e Frequentemente, a resoluao de problemas envolvendo matrizes com entradas no c a negativas depende to-somente da localizao das entradas nulas, isto , a propriedade a ca e mais saliente a de uma entrada ser nula ou no, podendo fazer-se a simplicaao do e a c problema a uma matriz de zeros e uns com exactamente o mesmo padro de zeros. a Com este texto pretendemos descrever um mtodo despretensioso de construo e ca de matrizes de zeros e uns, vericando determinadas condioes ligadas a parties de c co nmeros de inteiros positivos. u 2. Quadros de Young Uma partio = (1 , . . . , k ) uma sequncia nita de nmeros inteiros positivos, ca e e u ordenados de modo decrescente, isto , satisfazendo 1 k > 0. A soma das e entradas da partiao denomina-se por peso e k por comprimento de , escrevendo-se por c vezes, (). O conjunto de todas as partioes com peso t denotado por P(t). Por c e exemplo (4, 3, 2, 1, 1) e (6, 2, 2, 1) so duas partioes de P(11) de comprimento 5 e 4, respectivamente. a c O diagrama de Young (ou de Ferrers) de uma partiao = (1 , . . . , k ), com peso c t, um diagrama de t caixas, com k linhas alinhadas ` esquerda, sendo que a linha i e a contm i caixas, para 1 i k. Podemos assim identicar uma partiao com o seu e c
Key words and phrases. 0-1 matrices, partitions, Young tableaux, RSK algorithm. Palavras-chave. matrizes de zeros e uns, parties, tableaux de Young, algoritmo RSK. co

C.M. DA FONSECA E RICARDO MAMEDE

diagrama de Young. Como exemplo, o diagrama de Young de = (4, 2, 2, 1) e . Transpondo o diagrama da partiao , obtemos a partio conjugada de , que ser c ca a denotada por . Ou seja, a partiao obtida contando o nmero de caixas das e c u colunas do diagrama de Young de da esquerda para a direita. Por exemplo, a partio ca conjugada de = (4, 2, 2, 1) = (4, 3, 1, 1) cujo diagrama de Young e e

. No conjunto P(t) de todas as partioes com peso t, diremos que a partiao c c e dominada pela partiao , e escrevemos , se c 1 + + i 1 + + i , para todo i = 1, . . . , (). Por exemplo, em P(11), temos (3, 3, 2, 2, 1) (5, 5, 1). O conjunto P(t) parcialmente ordenado pela relao e ca e constitui o que se designa por reticulado (cf. [10]). Recorrendo ` identicaao de uma partiao com o seu a c c diagrama de Young, fcil vericar que a aplicao um anti-automorsmo em e a ca e P(t), a respeito da ordem parcial . O mesmo dizer que, para , P(t), se e e s se . o Fixemos duas parties = (1 , . . . , m ) e = (1 , . . . , n ), ambas com peso t. co Um quadro de Young com formato e peso um preenchimento do diagrama de Young e de com i inteiros i, para i = 1, . . . , n, crescente ao longo de cada linha, da esquerda para a direita, e estritamente crescente ao longo de cada coluna, de baixo para cima. Um exemplo de um quadro de Young com formato (4, 2, 2, 1) e peso (3, 2, 2, 1, 1) apresentado e em baixo: 5 3 4 . 2 3 1 1 1 2 Nestas condioes, denotamos por K, o nmero de quadros de Young com formato c u e peso . Este nmero designado por nmero de Kostka e desempenha um papel u e u a preponderante na teoria das funes simtricas. E fcil vericar que K, 1 quando co e e = e que K, = 0 se e s se o . Assim, inserindo k inteiros k, da direita para a esquerda e de cima para baixo no diagrama de Young de , para k = n, . . . , 1, respeitando a condio por colunas, ou seja, passando para a linha imediatamente abaixo ca daquela onde se deveria inserir o inteiro k sempre que a respectiva coluna j possua uma a entrada menor ou igual a k, permite-nos obter um quadro de Young com formato e peso = (1 , . . . , n ). Como vimos em cima, = (3, 3, 2, 2, 1) = (5, 5, 1), pelo que K, = 0. O algoritmo descrito anteriormente possibilita-nos, ento, obter o seguinte a quadro de Young com formato e peso : 5 2 3 3 4 4 . 1 1 1 2 2

` DOS QUADROS DE YOUNG AS MATRIZES DE ZEROS E UNS

3. O algoritmo de insercao de Schensted Dado um inteiro positivo t, denotemos por [t] o conjunto {1, . . . , t}, a que chamaremos alfabeto. Uma palavra no alfabeto [t] deste modo uma sequncia nita de elementos e e de [t], tambm designados por letras. O algoritmo de insero de Schensted associa a e ca cada palavra w no alfabeto [t], um quadro P (w), designado por quadro de insero de w. ca O seu passo elementar consiste na inserao por colunas de uma letra x num quadro P . c Seja ento P um quadro sobre o alfabeto [t] e seja x [t]. Designemos por C a primeira a coluna da representaao planar de P e por P o quadro obtido de P eliminando a coluna c C. Inserimos o inteiro x em P da seguinte forma: se x maior ou igual do que todas as e letras de C, colocamos x no topo de C. Caso contrrio, seja y a letra mais abaixo em C, a maior ou igual a x. Substitu mos y por x e inserimos y por colunas no quadro P . Pela prpria construo, claro que o resultado da insero de um inteiro x em o ca e ca P ainda um quadro. Por exemplo, os passos sucessivos da insero por colunas de 2 no e ca quadro P = 321 31 1 so: a 3 3 3 3 , 2 2 3 , 3 2 2 , 2 3 2 2 3 . 1 1 1 1 1 1 1 1 1 1 1 1 Para uma palavra arbitrria w = x1 xk [t] , denimos o quadro de insero a ca P (w) de w como o resultado da inserao por colunas de x1 no quadro vazio , seguido c da inserao por colunas de x2 no quadro P (x1 ) = x1 , e continuando desta forma at ` c ea insero por colunas de xk no quadro P (x1 x2 xk1 ). Por exemplo, os sucessivos passos ca para o clculo de P (13243) so: a a 2 4 3 2 , 2 4 = P (13243). 1 3 1 3 O algoritmo de insero de Schensted foi descrito pela primeira vez em 1938 por ca Gilbert de Beauregard Robinson (cf. [8]). No entanto, a importncia que o algoritmo a detm nos nossos dias devida ` sua reformulaao independente, efectuada por C. Schene e a c sted num seu famoso trabalho de 1961 (cf. [9]), com o objectivo de obter uma soluao c algor tmica para o problema da determinao dos comprimentos das mais longas subca palavras crescentes e no crescentes de uma dada palavra. Schensted mostrou que este a comprimento corresponde ao comprimento da primeira coluna de P (w) no caso da subpalavra crescente, e ao comprimento da primeira linha de P (w) no caso da subpalavra no a crescente. Tomando novamente o quadro de insero da palavra w = 13243, constru ca do em (3.1), fcil vericar que 123, 124 e 134 so as mais longas subpalavras crescentes de e a a w e que 32, 43 e 33 so as mais longas subpalavras no crescentes de w, comprimentos a a esses que correspondem respectivamente aos comprimentos da primeira coluna e primeira linha de P (w). (3.1) 1 , 3 1 , 2 3 , 4 1 2 , 3 1 3 4. A correspondencia de Robinson-Schensted-Knuth A correspondncia de Robinson-Schensted-Knuth [6], que abreviamos daqui em e diante por RSK, permite associar uma bipalavra, com biletras duas a duas distintas, a y1 y2 yn uma tal um par de quadros com formatos conjugados. Seja ento = a x1 x2 xn bipalavra ordenada por ordem lexicogrca com prioridade na primeira linha, i.e., tal que a x i < y j se e s se x < y ou x = y e i < j, o

C.M. DA FONSECA E RICARDO MAMEDE

e consideremos a aplicao ca (P, Q), onde P = P (x1 x2 xn ) e Q o quadro com formato P , constru inserindo yi na unica e do posiao presente em P (x1 xi ) e inexistente em P (x1 xi1 ) , para i = 1, . . . , n. O c quadro Q designado por quadro de registo. e ca Teorema 4.1 (Correspondncia RSK). A aplicao (P, Q) estabelece uma corree spondncia bijectiva entre bipalavras e pares ordenados de quadros (P, Q) com formatos e conjugados. 11223 corresponde ao par de quadros (P, Q), sendo 13243 P e Q constru dos sucessivamente como segue: Por exemplo, a bipalavra 1 , 3 , 1 1 1 , 2 , 1 3 2 , 1 1 4 2 , 1 3 2 , 1 1 2 3 2 4 =P 1 3 2 3 = Q. 1 1 2

1 ,

Reciprocamente, a imagem inversa de um par de quadros (P, Q), com formatos conjugados, pela correspondncia RSK obtida construindo uma sequncia e e e (P, Q) = (Pt , Qt ), (Pt1 , Qt1 ), . . . , (P1 , Q1 ), de pares de quadros com formatos conjugados, cada um tendo menos uma caixa do que o precedente. Para construirmos (Pk1 , Qk1 ) a partir de (Pk , Qk ), comeamos por idenc ticar a caixa em Qk contendo a mais alta entrada; havendo vrias entradas iguais, esa colhemos aquela que se encontra mais ` direita. O quadro Qk1 ento obtido retirando a e a esta caixa, enquanto que Pk1 obtido efectuando a inserao inversa do elemento situado e c na correspondente posiao conjugada em Pk . Designando por jk e por ik as entradas c removidas, respectivamente, de Pk e de Qk , para k = 1, . . . , t, obtemos a bipalavra = i1 i2 j1 j2 it jt

em correspondncia RSK com o par (P, Q). Este algoritmo pode ser facilmente testado e usando o par de quadros (P, Q) considerado no exemplo anterior. 5. A classe de matrizes A(R, S) Dadas duas parties R = (r1 , . . . , rm ) e S = (s1 , . . . , sn ) em P (t), denotemos por co A(R, S) a classe de todas as matrizes A = [aij ] satisfazendo: aij = 0 ou 1 para i = 1, . . . , m e j = 1, . . . , n;
n

aij = ri , para i = 1, . . . , m;
j=1 m

aij = sj , para j = 1, . . . , n.
i=1

Deste modo, uma matriz com entradas 0s e 1s pertence a A(R, S) desde que o vector constitu pela soma das entradas das suas linhas seja R e o vector das somas das do

` DOS QUADROS DE YOUNG AS MATRIZES DE ZEROS E UNS

suas colunas seja S. Em 1957, Gale [5] e Ryser [7] obtiveram, de forma independente, condies necessrias e sucientes para o conjunto A(R, S) no ser vazio. co a a Teorema 5.1 (Teorema de Ryser-Gale). Sejam R = (r1 , . . . , rm ) e S = (s1 , . . . , sn ) parties em P (t). O conjunto A(R, S) no vazio se e s se S R . co e a o Notemos que no caso de A(R, S) ser no vazio, a condiao S R implica a bvia a c o relao r1 n, i.e., o nmero de 1s em cada linha menor ou igual ao nmero de colunas ca u e u de cada matriz em A(R, S). A aplicaao c A = (aij ) A = ik , jk

onde os pares ordenados (ik , jk ) correspondem `s posioes ocupadas pelos 1s em A, esa c tabelece uma correspondncia biun e voca entre matrizes de 0s e 1s m n e bipalavras com biletras duas a duas distintas sobre o alfabeto {1, . . . , m} {1, . . . , n}, ordenadas por ordem lexicogrca. Por exemplo, a matriz a 1 1 0 0 A = 1 0 1 0 A(R, S), 0 1 0 1 com R = (2, 2, 2) e S = (2, 2, 1, 1) (5.1) A = R = (3, 3), corresponde ` bipalavra a 1 1 2 2 3 3 . 1 2 1 3 2 4

Usando a correspondncia anterior, vamos identicar as matrizes de A(R, S) com e as correspondentes bipalavras. Portanto, quando restrito ao conjunto A(R, S), a correspondncia RSK estabelece uma bijeco entre as matrizes em A(R, S) e pares de quadros e ca (P, Q) com formatos conjugados e pesos S e R, respectivamente. Desta bijecao, podemos c concluir que o cardinal de A(R, S) dado por e |A(R, S)| =

K ,R K,S ,

onde a soma tomada sobre todas as partioes em P (t). Uma vez que o nmero de Kostka e c u K, diferente de zero se e s se , segue-se que e o K ,R K,S = 0 se e s se R o se e s se o se e s se S o Portanto, |A(R, S)| =
S R

e S , R e S , R .

K ,R K,S .

Portanto, a cada par de quadros (P, Q) com formatos conjugados e , e pesos S e R, respectivamente, podemos associar uma e uma s matriz em A(R, S) em correo spondncia RSK com (P, Q). e

C.M. DA FONSECA E RICARDO MAMEDE

6. Algoritmo Dadas as parties S co R , o algoritmo que a seguir descrevemos permite obter uma matriz em A(R, S) cujo quadro de inserao tem formato . c Algoritmo 1. Sejam S, R, parties tais que S co R .

(1) Consideremos um quadro P com formato e peso S. Uma vez que S , o nmero de Kostka K,S no nulo, pelo que existe pelo menos um quadro nestas u e a condies. Alm disso, um tal quadro pode ser obtido inserindo sk inteiros k, da co e direita para a esquerda e de cima para baixo, no diagrama de Young de , para k = n, . . . , 1, respeitando a condio por colunas. ca (2) Consideremos um quadro Q com formato e peso R. Uma vez que R se e s se R o , o nmero de Kostka K ,R no nulo e tal quadro existe. O u e a processo descrito em cima permite obter um tal quadro. (3) Seja a imagem do par (P, Q) pela inversa da correspondncia RSK. Ento, a e a matriz correspondente ` bipalavra pertence ao conjunto A(R, S) e o formato do a seu quadro de insero . ca e Exemplicamos a aplicaao deste algoritmo obtendo uma matriz em A(R, S) cujo c quadro de inserao tem formato , onde R = (3, 3, 2, 2, 2), S = (4, 3, 3, 2) e = (5, 4, 3). c Comecemos por notar que S R , pelo que podemos aplicar o algoritmo. Seguindo os pontos 1 e 2, construamos os quadros 3 4 4 P = 2 2 3 3 1 1 1 1 2 5 4 Q= 3 2 1 5 3 4 , 2 2 1 1

com formatos e = (3, 3, 3, 2, 1) e pesos S e R, respectivamente. Aplicando a inversa da correspondncia RSK ao par (P, Q), obtemos sucessivamente: e 3 4 4 3 4 4 3 4 4 4 4 P = P12 = 2 2 3 3 , P11 = 2 3 3 , P10 = 2 3 3 , P9 = 2 3 3 , 1 1 1 1 2 1 1 1 1 2 1 1 1 2 1 1 1 2 5 4 = 3 2 1 5 3 4 , 2 2 1 1 5 4 = 3 3 4 , 2 2 2 1 1 1 4 = 3 3 4 , 2 2 2 1 1 1 4 Q9 = 3 3 , 2 2 2 1 1 1

Q = Q12

Q11

Q10

continuando, 4 4 4 4 P8 = 2 3 3 , P 7 = 3 3 , 1 1 2 1 1 2 4 4 P6 = 3 3 , 1 2 4 P5 = 3 3 , 1 2 4 P4 = 3 , 1 2

3 3 3 Q8 = 2 2 2 , Q 7 = 2 2 2 , Q 6 = 2 2 2 , Q 5 = 2 2 , Q4 = 2 , 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1

` DOS QUADROS DE YOUNG AS MATRIZES DE ZEROS E UNS

e, por m, 4 P3 = 3 , 1 P2 = 3 , 2 P1 = 2 ,

Q3 = 1 1 1 , Q 2 = 1 1 , Q 1 = 1 . Ou seja, o par (P, Q) corresponde, pela correspondncia RSK, ` bipalavra e a 111222334455 234134121312 e, portanto, ` matriz a 0 1 1 1 1 1 0 1 0 1 1 1 0 1 0 1 1 0 A(R, S) 0 0

nas condioes requeridas. c Notemos que esta matriz no a unica em A(R, S) cujo quadro de insero tem a e ca formato . Por exemplo, fcil vericar que a matriz e a 0 1 1 1 1 1 0 1 1 1 0 0 , 1 0 1 0 1 0 1 0 a qual corresponde ` bipalavra a 111222334455 , 234124121313 tambm est nestas condies. De facto, o seu quadro de inserao e a co c 3 3 4 2 2 3 4 1 1 1 1 2 tem igualmente formato . 7. Conclusao Recentemente, Richard Brualdi estabeleceu dois algoritmos directos, i.e., sem recorrer a qualquer correspondncia, para a construo de matrizes AS e AR em A(R, S), e ca cujos quadros de inserao tm formatos S e R , respectivamente (cf. [1]). Estes algoc e ritmos baseiam-se no famoso algoritmo de Gale-Ryser usado para construir matrizes em A(R, S). Em [3] os autores descreveram um algoritmo mais abrangente que permite obter directamente uma matriz em A(R, S) cujo quadro de insero tem formato prescrito , ca para qualquer partiao que satisfaa S c c R , generalizando assim as construoes c de Brualdi. Agradecimentos. Gostar amos de agradecer ao referee annimo pela leitura cuidada da o verso original do manuscrito. a

C.M. DA FONSECA E RICARDO MAMEDE

Referencias
[1] R.A. Brualdi, Algorithms for constructing (0, 1)-matrices with prescribed row and column sum vectors. Discrete Math. 306 (2006), no. 23, 3054-3062. [2] R. A. Brualdi, Matrices of zeros and ones with xed row and column sum vectors. Linear Algebra Appl. 33 (1980), 159-231. [3] C. M. da Fonseca, R. Mamede, On (0, 1)-matrices with prescribed row and column sum vectors. Discrete Math. (2008) doi:10.1016/j.disc.2008.06.013. [4] W. Fulton, Young Tableaux, London Mathematical Society Student Texts, vol. 35, Cambridge University Press, Cambridge, 1997. [5] D. Gale, A theorem on ows in networks. Pacic J. Math. 7 (1957), 1073-1082. [6] D.E. Knuth, Permutations, matrices, and generalized Young tableaux. Pacic J. Math. 34 (1970), 709-727. [7] H.J. Ryser, Combinatorial properties of matrices of zeros and ones. Canad. J. Math. 9 (1957), 371377. [8] G. de B. Robinson, On the representations of the symmetric group. Amer. J. Math. 60 (1938), 745-760. [9] C. Schensted, Longest increasing and decreasing subsequences. Canad. J. Math. 13 (1961), 179-191. [10] R. P. Stanley, Enumerative Combinatorics, vol.2, Cambridge Studies in Advanced Mathematics 62, Cambridge University Press, 1999. CMUC, Departamento de Matematica, Universidade de Coimbra, 3001-454 Coimbra, Portugal E-mail address: {cmf,mamede}@mat.uc.pt