{"entities":{"Q1700787":{"pageid":1711528,"ns":120,"title":"Item:Q1700787","lastrevid":57486306,"modified":"2026-03-31T03:24:58Z","type":"item","id":"Q1700787","labels":{"en":{"language":"en","value":"Parabolic double cosets in Coxeter groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6841867"}},"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":"Q1700787$DE12FCF5-066F-4515-B726-6272AF935225","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dee16f878ced8dd6f45b2411165b0bb6f8dba52b","datavalue":{"value":{"text":"Parabolic double cosets in Coxeter groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1700787$12D47448-4247-4B62-B80D-46CF6A6BFE71","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8a59eb1af8fe1002239cc8a4116ec963424d3ec4","datavalue":{"value":"1486.20047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1700787$6579F260-6EF9-49CF-9524-46449C3E02EA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c052c872e809ea380c88f32196ad2065c4b092fa","datavalue":{"value":{"entity-type":"item","numeric-id":186243,"id":"Q186243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1700787$0422E8A4-B6CC-46DD-9ED1-B306549F6CC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab7bf49ad1e89a9ded14cc80070f8a7f11582828","datavalue":{"value":{"entity-type":"item","numeric-id":346447,"id":"Q346447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1700787$1F147B8D-8AE7-433F-800E-F67E5B2448F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a495f77767845a0e4f3a21fd2b5e194f4f4af5d","datavalue":{"value":{"entity-type":"item","numeric-id":289986,"id":"Q289986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1700787$56774906-338A-4FBC-BB11-0A47DB49106C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"00c6bbab18da86ff2ce123f65e3ab76b0229cddd","datavalue":{"value":{"entity-type":"item","numeric-id":330827,"id":"Q330827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1700787$CFB08D66-C65C-462C-A180-434E4C77A7B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd9a87514364b0e7ae9605f4b3f2802134d3ae4b","datavalue":{"value":{"entity-type":"item","numeric-id":376557,"id":"Q376557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1700787$19EA2117-CD54-4B84-838E-A9AF7ABA5477","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ebc7441ecfd9ecfa38d48ddc4b2adb39ac7d7000","datavalue":{"value":{"entity-type":"item","numeric-id":161296,"id":"Q161296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1700787$4A482C73-86BB-4C8D-BE84-A33F4F3968CB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4c98dc438f41659f2d190c3ff2966dca049d17da","datavalue":{"value":{"time":"+2018-02-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1700787$CCF25FA3-FCFA-49B1-BF8F-415D80F802F9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2938180efe4a5d44d433b72982f05e783f59a116","datavalue":{"value":"https://arxiv.org/abs/1612.00736","type":"string"},"datatype":"url"},"type":"statement","id":"Q1700787$A4C8288F-4C23-429D-B81F-76F612EE9822","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"b870439bfb3a328cba0872f2bef28e6361a2479c","datavalue":{"value":"http://www.combinatorics.org/ojs/index.php/eljc/article/view/v25i1p23","type":"string"},"datatype":"url"},"type":"statement","id":"Q1700787$42F33B0D-6D73-49E3-A43D-CE08FA36250A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"80e949f1b82e51ebddc1a7373fea31b45ea34efd","datavalue":{"value":"Summary: Parabolic subgroups \\(W_I\\) of Coxeter systems \\((W,S)\\), as well as their ordinary and double quotients \\(W / W_I\\) and \\(W_I \\;W / W_J\\), appear in many contexts in combinatorics and Lie theory, including the geometry and topology of generalized flag varieties and the symmetry groups of regular polytopes. The set of ordinary cosets \\(w W_I\\), for \\(I \\subseteq S\\), forms the Coxeter complex of \\(W\\), and is well-studied. In this article we look at a less studied object: the set of all double cosets \\(W_I w W_J\\) for \\(I, J \\subseteq S\\). Double cosets are not uniquely presented by triples \\((I,w,J)\\). We describe what we call the lex-minimal presentation, and prove that there exists a unique such object for each double coset. Lex-minimal presentations are then used to enumerate double cosets via a finite automaton depending on the Coxeter graph for \\((W,S)\\). As an example, we present a formula for the number of parabolic double cosets with a fixed minimal element when \\(W\\) is the symmetric group \\(S_n\\) (in this case, parabolic subgroups are also known as Young subgroups). Our formula is almost always linear time computable in \\(n\\), and we show how it can be generalized to any Coxeter group with little additional work. We spell out formulas for all finite and affine Weyl groups in the case that \\(w\\) is the identity element.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1700787$566A9EF0-51CD-44B9-B5CB-D5636AF0F465","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dcc6ef289477f68cffe6414814b60192a325ae7","datavalue":{"value":"20F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1700787$74C5BBCD-9799-4D7A-9964-920C5EABB6F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b6a686fef1013593a32f9e8e67eecdd50e96866a","datavalue":{"value":"05A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1700787$4CC773B9-AEBE-4B74-8C68-AB2B0440F553","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b5487facaf554803be347e64845469b0e0427102","datavalue":{"value":"6841867","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1700787$185E62AF-6A61-4BBE-8299-CBCC4D7F84F0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4abbbfa86b96092e03069a925e76a30fe26b4d07","datavalue":{"value":"Coxeter group","type":"string"},"datatype":"string"},"type":"statement","id":"Q1700787$6E1EE0F5-CF64-4622-BC5E-A6554F9F5354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3fbba05f8137807f610f02186a1bd621f894489","datavalue":{"value":"parabolic subgroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q1700787$CB08C9B3-E2AC-4577-BD23-B5068AAEFC45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b8c0526a545f5fcd4cc7cbc07e5d8e51e2f2cf5","datavalue":{"value":"double cosets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1700787$72B43FCE-C4B1-455F-ACBD-DB1DA3123F08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"816681eea21269f3ad56375e4f8d7d873b144eb6","datavalue":{"value":"enumeration","type":"string"},"datatype":"string"},"type":"statement","id":"Q1700787$4A451D12-811A-4FAB-B249-017975FE13F5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"650e761a5f418c574655712b35b1fe882f756011","datavalue":{"value":{"entity-type":"item","numeric-id":19297,"id":"Q19297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1700787$5A1A7BCF-61DA-421D-99DD-2B2AE1FCB0E4","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":"Q1700787$EE613F41-C51C-4F0F-9974-1F00964F0181","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8f7e8eaa6ace0c177f26ace7c9e188fcebc56da","datavalue":{"value":{"entity-type":"item","numeric-id":3023369,"id":"Q3023369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1700787$9E7B49B2-1395-4B19-B33D-4D269EFFFEC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d08eef4f8462e1ffb4a863a652f26dac55b25d7","datavalue":{"value":{"entity-type":"item","numeric-id":3413923,"id":"Q3413923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1700787$4E89D801-DC80-4E0A-AB5C-838B1E34633F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7401617b4515a2f07652c77f84441b1be72fa6a","datavalue":{"value":{"entity-type":"item","numeric-id":2651123,"id":"Q2651123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1700787$46F23AF1-3C4C-4F4D-BCD4-45F9C4DF67B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a827900059b49930f1d61a97f98515bd051de9f","datavalue":{"value":{"entity-type":"item","numeric-id":4308246,"id":"Q4308246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1700787$4D75301C-32A3-4F06-9C75-2A70CE9BA7D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca0b332fa33495c5aa5ff3f9602e3f658c51cd1f","datavalue":{"value":{"entity-type":"item","numeric-id":1057985,"id":"Q1057985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1700787$5585FC93-4548-400C-BAB1-8A15CF204589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b08a70e549d3ec3d1054d25e3ece5f96b22b8b12","datavalue":{"value":{"entity-type":"item","numeric-id":4845257,"id":"Q4845257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1700787$2AC3CB2E-99AB-4AB6-9A9C-22D74E4C9E0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92ea0c4967dfeafc1c83b82be08f0bef7e207040","datavalue":{"value":{"entity-type":"item","numeric-id":4791997,"id":"Q4791997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1700787$357C58F1-65B8-4946-A6C9-A14EAF5AB18D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e7b6de01ea5a222a75481fac3312f475427fa52","datavalue":{"value":{"entity-type":"item","numeric-id":2266030,"id":"Q2266030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1700787$6485FD94-5071-455D-8CC4-C2807EF4F711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c28a2123943b89005102c8f6ab8bb24f39ffe41","datavalue":{"value":{"entity-type":"item","numeric-id":3105730,"id":"Q3105730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1700787$51D27C2E-0E9A-4C61-A35A-8B230EAE6719","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd86cf4f37b1c15ed8cf6675bd8e4a7c8fa43c2a","datavalue":{"value":{"entity-type":"item","numeric-id":3998721,"id":"Q3998721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1700787$B3E2EEB5-FE3F-404F-9E63-E26784CD4878","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57f06fa94b9ba199db592f76e7138d4caeae4d78","datavalue":{"value":{"entity-type":"item","numeric-id":2876499,"id":"Q2876499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1700787$14026BFF-5181-41F5-BCD4-953CF983BAE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0636a18eafe72f5a1fd059e92d1a259059a962c6","datavalue":{"value":{"entity-type":"item","numeric-id":2397113,"id":"Q2397113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1700787$9E177D73-6285-4B15-A3D1-556442B03469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb78b7e88773ff6b45d802f5ff280276fc6dffb5","datavalue":{"value":{"entity-type":"item","numeric-id":1237139,"id":"Q1237139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1700787$A5576630-62AA-46DD-8734-6F2D0EB87248","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4f24438d75840d0ca7aa0c9fc5ca93c2861a251","datavalue":{"value":{"entity-type":"item","numeric-id":3967539,"id":"Q3967539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1700787$02169BD4-C4E3-48B7-9293-3C38A0CF3727","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":"Q1700787$3841352E-B8AA-435F-A093-179783C2F3B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43338569fabc8ff4a47c1085e6bc008e0679e2b7","datavalue":{"value":{"entity-type":"item","numeric-id":3225387,"id":"Q3225387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1700787$062589A2-76C8-48D0-A553-F59E07577A33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72db165f81c00aba20a205b4e5c0a73b84254039","datavalue":{"value":{"entity-type":"item","numeric-id":1773149,"id":"Q1773149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1700787$7E7D7273-F1BA-467A-A406-930ABB924EE8","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"a1de7af4f1789d60a438aaf9cf23fa700449ab1e","datavalue":{"value":"bafkreigrb7brmr5e3agxncgfumtwzk47w2c4bckmfkip3jtbnqqns7gdy4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1700787$9316C974-2CC7-4495-AF41-BCF5D8791604","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"794b49a91950bdafb71db15ec9c6d56788f0d3d7","datavalue":{"value":{"entity-type":"item","numeric-id":5110961,"id":"Q5110961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40f4e7308e89aa2f2295a5aad53b705898915f40","datavalue":{"value":{"amount":"+0.9880120158195496","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":"Q1700787$73DF6D7F-EA92-4D3E-8102-2C351C8E5B17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1937eab5c7307e01ef554f6458f90ab22291d3d","datavalue":{"value":{"entity-type":"item","numeric-id":4522347,"id":"Q4522347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e263bf595db14912863668d0d3a0a3b1901dce15","datavalue":{"value":{"amount":"+0.831468939781189","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":"Q1700787$E98C1FAB-8907-40F8-A65D-E9790F424340","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5e32fe92425fb2882f2a7bd2d400ad416ef357f","datavalue":{"value":{"entity-type":"item","numeric-id":4823355,"id":"Q4823355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0da3ec8ce340c8407772bb9097dbab2b71b81b4c","datavalue":{"value":{"amount":"+0.799578070640564","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":"Q1700787$32F41F73-A0E4-4D50-A938-5859F2197DA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2a141299019c318fa04d0edb98b3615987f7a34","datavalue":{"value":{"entity-type":"item","numeric-id":5957522,"id":"Q5957522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b02e14d04645d24562e8ded38b4a7f080e33dc82","datavalue":{"value":{"amount":"+0.7669200897216797","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":"Q1700787$6AF19CF3-AED5-435B-81D6-27FD9FCBC59F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c6bab8ea01eaad29a9c65ed66bd9d07af7e9487","datavalue":{"value":{"entity-type":"item","numeric-id":4288255,"id":"Q4288255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11d8adfafc6d91a673b360425ec6b7229fd768f1","datavalue":{"value":{"amount":"+0.7615647315979004","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":"Q1700787$33CFFE46-1DB7-4FEC-A56F-ECAAF14C75DC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1700787","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1700787"}}}}}