{"entities":{"Q1003592":{"pageid":1005440,"ns":120,"title":"Item:Q1003592","lastrevid":65946363,"modified":"2026-04-12T06:30:37Z","type":"item","id":"Q1003592","labels":{"en":{"language":"en","value":"A new proof of a theorem of Littlewood"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5523092"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1003592$ADEC9F54-A4C4-44A1-BAC0-28199187B9F8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f6c8517a62f694ddc3ad28a3b258f4423a898990","datavalue":{"value":{"text":"A new proof of a theorem of Littlewood","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1003592$5D96B2B4-69E5-4C4A-B88D-C4946DDE1078","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5b350214e19d82512a995f42f1d34c1adff82a3a","datavalue":{"value":"1169.05051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1003592$07D02562-C9A4-4F04-A992-5E540CDE2E8B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b0a852050a0142932d4756f8d4787239457d9411","datavalue":{"value":{"entity-type":"item","numeric-id":226966,"id":"Q226966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1003592$44685A26-9550-46CC-9D4D-A6BAD63E2EC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c533f4e8e5425b3e9df07d6f44b2de884b99c834","datavalue":{"value":{"entity-type":"item","numeric-id":444405,"id":"Q444405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1003592$CB529A4F-4D90-4399-BD6B-DBD8F17DBF93","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b113bc4ac7ed430093230b872c083cde59919509","datavalue":{"value":{"entity-type":"item","numeric-id":166287,"id":"Q166287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1003592$8F33F58F-607C-471A-A5B6-C6B368AD9C81","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3434863a4c3842a9ef45eb54b7cfeda15cdee482","datavalue":{"value":{"time":"+2009-03-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1003592$8F602201-8C64-4BF1-B93A-E3501F027DC0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"437b337454131c1ebd5a15ee84bf336d123bdc1f","datavalue":{"value":"Let \\(S_{\\mu}(1,q,q^2,\\dots )\\) denote the ``principal specialization'' of the Schur function \\(S_{\\mu}(x_1,x_2,\\dots )\\) of the partition \\(\\mu\\). The coefficient of \\(q^k\\) in this series gives the multiplicity of the irreducible representation of \\(S_n\\) indexed by \\(\\mu\\) in the subrepresentation of \\(S_n\\) on the homogeneous polynomials of degree \\(k\\). The authors give a new combinatorial proof of the following explicit formula of Littlewood:  \\[ {S_{\\mu}(1,q,q^2,\\dots )=\\frac{q^{n(\\mu)}}{\\prod_{s\\in\\mu}(1-q^{h_{\\mu}(s)})}}, \\]  where \\(s\\) ranges over the cells of \\(\\mu\\), \\(h_{\\mu}(s)\\) is the hook-length of \\(s\\) in the diagram of \\(\\mu\\), and \\(n(\\mu)=\\sum_i(i-1)\\mu_i\\) is the sum of the legs of the cells of \\(\\mu\\). The proof relies on showing that each side of the Littlewood formula satisfies a recursion relation:  \\[ \\frac{q^{n(\\mu)}}{\\prod_{s\\in\\mu}(1-q^{h_{\\mu}(s)})}B_{\\mu}(q,q^{-1})=\\frac{1}{1-q}\\sum_{\\nu\\rightarrow\\mu}\\frac{q^{n(\\nu)}}{\\prod_{s\\in\\nu}(1-q^{h_{\\nu}(s)})} \\]  and  \\[ S_{\\mu}(1,q,q^2,\\dots )B_{\\mu}(q,q^{-1})=\\frac{1}{1-q}\\sum_{\\nu\\rightarrow\\mu}S_{\\nu}(1,q,q^2,\\dots ), \\]  where \\(\\nu\\rightarrow\\mu\\) means that \\(\\nu\\) immediately precedes \\(\\mu\\) in the Young partial order, and  \\[ B_{\\mu}(q,t)=\\frac{1}{qt}\\sum_{s\\in\\mu}q^{(\\text{row index of}\\,s)}t^{(\\text{column index of}\\,s)} \\]  is the biexponent generator of \\(\\mu\\).  The first recursion follows easily from a result of \\textit{A.M. Garsia} and \\textit{G. Tesler} [Adv. Math. 123, No.\\,2, 144--222 (1996; Zbl 0865.05075)]. To prove the second recursion, each side is expressed in terms of combinatorial objects: \\(S_{\\mu}(1,q,q^2,\\dots )B_{\\mu}(q,q^{-1})=\\sum_{n\\geq 0}|A_n|q^n\\), where \\(A_n\\) is the set of all pairs \\((T,s)\\) of semistandard tableaux \\(T\\) of shape \\(\\mu\\) with entries in \\(\\mathbb Z_{\\geq 0}\\), \\(s\\in\\mu\\) and \\(wt(T)+|s|=n\\), and \\(\\frac{1}{1-q}\\sum_{\\nu\\rightarrow\\mu}S_{\\nu}(1,q,q^2,\\dots )=\\sum_{n\\geq 0}|B_n|q^n\\), where \\(B_n\\) is the set of all tableaux \\(T\\) of shape \\(\\nu\\) with entries in \\(\\mathbb Z_{\\geq 0}\\), \\(\\nu\\rightarrow\\mu\\) and \\(wt(T)\\leq n\\). There is a map from \\(A_n\\) to \\(B_n\\) given by the process of \\textit{jeu de taquin} or \\textit{sliding}; the key step is to describe the process of \\textit{sliding back} and to show that this is indeed the inverse of the map \\(A_n\\rightarrow B_n\\).  The article is clearly written and the bijection between \\(A_n\\) to \\(B_n\\) is ilustrated by examples.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1003592$409832F2-F7FE-4962-B4D2-53CBCE596DFA","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"acc8825afb1ce7b8ff7cbc2bdce3c2151b0213df","datavalue":{"value":{"entity-type":"item","numeric-id":589792,"id":"Q589792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1003592$04C40A1C-A19D-43E5-9B01-277662938798","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8cf2f692eb0d5c2fc2ce5b2154318999029c1c1b","datavalue":{"value":"05E10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1003592$BFDEBA10-8BAC-4F93-9968-D698CDC19DD6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7144c5823f628bbb4162afbc312a9be4b67df172","datavalue":{"value":"5523092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1003592$E7BA1835-1CA7-4326-A2C4-0A6685175E74","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0bc67d914c8e115d6579d510df9158b5bacab44a","datavalue":{"value":"Schur function","type":"string"},"datatype":"string"},"type":"statement","id":"Q1003592$ADAE45E2-D0A6-4AAD-9AF0-3AA85A52C837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4711c41abbd6b9433ade9fd3998b559faff81e71","datavalue":{"value":"Littlewood formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q1003592$A8384598-4DF9-425C-AC35-40E64D3E2A43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17ca4b0e1c32b688c32ba423b137eb297bcc2a60","datavalue":{"value":"semistandard tableau","type":"string"},"datatype":"string"},"type":"statement","id":"Q1003592$037CEEEB-580F-4508-9EA0-363B030AACBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6097abfdea8760767f9eb4ce2ea27823d6806dd1","datavalue":{"value":"jeu de taquin","type":"string"},"datatype":"string"},"type":"statement","id":"Q1003592$976B1949-9C1E-48A2-AD53-9B6E9EE2D0F0","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1003592$15127E12-CDF7-4C22-BC21-ADB68B6BB2E8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e74bfb4078c0f1af47270d215fecbe65eca2e64f","datavalue":{"value":"https://doi.org/10.1016/j.ejc.2008.05.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q1003592$C5610270-50E9-43AB-AFD2-3D57B5BD7A62","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5cdd005c31ec2f577a0a0b603a0e6667f3daf3f6","datavalue":{"value":"W2063041913","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1003592$5A073B62-FF24-4A65-BF59-2ACFFB089905","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e7ddf5cfe3a326d1120dbe05ade15cc3e147fc4","datavalue":{"value":{"entity-type":"item","numeric-id":1352285,"id":"Q1352285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1003592$22E09ED8-9919-432A-9EB3-FE840F7A0B5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e4d306cd7da09638d2a585bdf3c9e38fdfc4aa5","datavalue":{"value":{"entity-type":"item","numeric-id":3836516,"id":"Q3836516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1003592$AE80C4DC-D3F6-4C46-B4C6-ADD19CB1A0E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"613ea7191d27efb45c501840a69620eb059aa1b3","datavalue":{"value":{"entity-type":"item","numeric-id":4759434,"id":"Q4759434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1003592$9AC60173-E86A-4BEA-8C69-408A55FDF95F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb4ff99b5a7ac061aa7dacbeb40465d3e6d38145","datavalue":{"value":{"entity-type":"item","numeric-id":4328336,"id":"Q4328336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1003592$AF0FC5B7-CBD7-4AB3-B963-C426C3528747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fcf9d432291eca033aa67759f7fd1a2fa8d5b15","datavalue":{"value":{"entity-type":"item","numeric-id":2571432,"id":"Q2571432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1003592$A46E04CF-AE78-4227-A7F1-63AC2FB6A530","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6f046d566fdf5c7aaef01a65b9b81b55d607cc0","datavalue":{"value":{"entity-type":"item","numeric-id":3344209,"id":"Q3344209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1003592$C51D7E19-E709-4868-ADE8-968B7DF69CB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2dbd4a93b0fabfd7eb88bd8e0ca72f40b4fba2e","datavalue":{"value":{"entity-type":"item","numeric-id":4236280,"id":"Q4236280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1003592$E50E3EF8-8EA1-4820-B0FE-BFF314EE49E2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0de72248e9646b9fcd2dfc46f232b15ab4383aba","datavalue":{"value":"10.1016/J.EJC.2008.05.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1003592$28D81539-7C7B-46B3-8ED2-C137DBEF0660","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32545198d3fdcaf44797eca17a08dacac1a13700","datavalue":{"value":{"entity-type":"item","numeric-id":1903010,"id":"Q1903010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"738099f2f75fa63a4c538f9a51dcd08344dd05dc","datavalue":{"value":{"amount":"+0.7541581392288208","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1003592$6E2FACF8-8860-407F-B721-09D7B1F15C4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a6486f39ac5717c89eb6cde65f820d6f2ab8c48","datavalue":{"value":{"entity-type":"item","numeric-id":1112029,"id":"Q1112029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b541c566082bac3e1dca907135efe75335453a4f","datavalue":{"value":{"amount":"+0.745640218257904","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1003592$97E2CD9A-0030-4D0A-A51A-4D6837AD22CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a4347600d56b3f5a43074178194e431b28ccbd2","datavalue":{"value":{"entity-type":"item","numeric-id":582385,"id":"Q582385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea6881712d1fd665fafe117f03cddb40e97f919a","datavalue":{"value":{"amount":"+0.7455979585647583","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1003592$E2376341-B106-45FF-A3C8-1A3D47F1CB94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00f82fb5fbb0044ef19a84e179cb34a9e02b254b","datavalue":{"value":{"entity-type":"item","numeric-id":1268386,"id":"Q1268386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44b8fe76388f036dbefd011dc0ce6941d704ea83","datavalue":{"value":{"amount":"+0.7449663877487183","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1003592$52328445-34A7-451C-8BEA-9813E5872D01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc4b208c67c6df26aa9321744b510dc38c3251ab","datavalue":{"value":{"entity-type":"item","numeric-id":1266354,"id":"Q1266354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"696e824bb2178da7a3860613829f32170e701316","datavalue":{"value":{"amount":"+0.739058792591095","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1003592$8AFADED6-B6DC-4A30-A72B-3E9EA691A927","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A new proof of a theorem of Littlewood","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_new_proof_of_a_theorem_of_Littlewood"}}}}}