{"entities":{"Q2380324":{"pageid":2391067,"ns":120,"title":"Item:Q2380324","lastrevid":72653082,"modified":"2026-04-14T06:19:20Z","type":"item","id":"Q2380324","labels":{"en":{"language":"en","value":"Rationality, irrationality, and Wilf equivalence in generalized factor order"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5686860"}},"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":"Q2380324$0DB95882-DBFD-4395-8E89-C5F08A90A4FF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aa3e5bf70d8e5d4ae5b9753ddd73898ef6a25615","datavalue":{"value":{"text":"Rationality, irrationality, and Wilf equivalence in generalized factor order","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2380324$DE7E06F1-751F-4A63-9A0B-46C67FF03955","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8051e5e24e77dd3bf019e9c678bb040502510138","datavalue":{"value":"1187.05010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2380324$AB3A38EA-4D5C-471C-85FF-AFE7B545D742","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"93d5b529cb72dbee5219c8278759bd209575efcd","datavalue":{"value":{"entity-type":"item","numeric-id":284735,"id":"Q284735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2380324$35CDC57C-C3C3-4906-8FCC-B4DF6868F218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"118ec70d79f9113359060401dfd09fcc49b89343","datavalue":{"value":{"entity-type":"item","numeric-id":389208,"id":"Q389208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2380324$6160E598-D4FD-4526-BDAA-0D0B9ED5C02F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b5ec02fc369c0b3963c3b242180750fd0fabedd5","datavalue":{"value":{"entity-type":"item","numeric-id":187661,"id":"Q187661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2380324$08F2D698-887E-4B3D-AC9D-2A2CF23DA69E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5dc30c87ee90e636f091c198a5b55721665c69f9","datavalue":{"value":{"entity-type":"item","numeric-id":698606,"id":"Q698606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2380324$A49F521F-6ED4-4E35-A456-DF405DAEB085","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":"Q2380324$8F7B5571-DBF3-4228-A19A-3704FFCDFA3B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"143e8774a45e663375c24b3b343519cf2933b18c","datavalue":{"value":{"time":"+2010-03-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2380324$4E06BA69-1BC5-4DC0-8ED2-A5212F8F38E1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c962a2bf88be8602d083c68e8fce3c26774c3a39","datavalue":{"value":"https://eudml.org/doc/229253","type":"string"},"datatype":"url"},"type":"statement","id":"Q2380324$59A38D2B-688A-4C30-A035-18EEDB53F11E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"0a34961eed7f52025d95d58ba61f380c8f802e33","datavalue":{"value":"http://www.emis.de/journals/EJC/Volume_16/Abstracts/v16i2r22.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q2380324$E3BE4ED5-9213-4AC0-8B3D-562739FF2BBC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8c8e2174976ee8023a5c7c52325d9f0eb648a927","datavalue":{"value":"Summary: Let \\(P\\) be a partially ordered set and consider the free monoid \\(P^*\\) of all words over \\(P\\). If \\(w,w'\\in P^*\\) then \\(w'\\) is a factor of \\(w\\) if there are words \\(u, v\\) with \\(w=uw'v\\). Define generalized factor order on \\(P^*\\) by letting \\(u\\leq w\\) if there is a factor \\(w'\\) of \\(w\\) having the same length as \\(u\\) such that \\(u\\leq w'\\), where the comparison of \\(u\\) and \\(w'\\) is done componentwise using the partial order in \\(P\\). One obtains ordinary factor order by insisting that \\(u=w'\\) or, equivalently, by taking \\(P\\) to be an antichain.  Given \\(u\\in P^*\\), we prove that the language \\({\\mathcal F}(u)= \\{w:w\\geq u\\}\\) is accepted by a finite state automaton. If \\(P\\) is finite then it follows that the generating function \\(F(u)= \\sum_{w\\geq u}\\) is rational. This is an analogue of a theorem of \\textit{A. Bj\u00f6rner} and \\textit{B. E. Sagan} [Theor. Comput. Sci. 359, No.~1--3, 282--298 (2006; Zbl 1097.68106)] for generalized subword order.  We also consider \\(P=\\mathbb P\\), the positive integers with the usual total order, so that \\(P^*\\) is the set of compositions. In this case one obtains a weight generating function \\(F(u;t,x)\\) by substituting \\(tx^n\\) each time \\(n\\in\\mathbb P\\) appears in \\(F(u)\\). We show that this generating function is also rational by using the transfer-matrix method. Words \\(u,v\\) are said to be Wilf equivalent if \\(F(u;t,x)= F(v;t,x)\\) and we prove various Wilf equivalences combinatorially.  Bj\u00f6rner found a recursive formula for the M\u00f6bius function of ordinary factor order on \\(P^*\\). It follows that one always has \\(\\mu(u,w)= 0,\\pm1\\). Using the pumping lemma we show that the generating function \\(M(u)= \\sum_{w\\geq u} |\\mu(u,w)|w\\) can be irrational.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2380324$4C9C98ED-E6C8-4636-AA1B-C5A6401D2C53","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b6a686fef1013593a32f9e8e67eecdd50e96866a","datavalue":{"value":"05A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2380324$7E0DD99F-8DC7-4192-A916-753F6938B2D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23149673dde05813672617e26c3fcb130092997c","datavalue":{"value":"68R15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2380324$45785B52-F05A-4A93-A539-64314CA04879","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f3d0b1de78ad0e32d646815f9dc7561538cada7","datavalue":{"value":"06A07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2380324$821643B4-A291-4AEE-A6CE-38B5928FBC8D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"24e7f1a10412494e8ddd978f2bb270e281b96f60","datavalue":{"value":"5686860","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2380324$73CD91CE-FAED-4A9B-A3C0-757809F07A6F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9946779af43068db84959d7ebfa6d74959256af","datavalue":{"value":"composition","type":"string"},"datatype":"string"},"type":"statement","id":"Q2380324$B0DC1FD9-8A96-453E-9E43-C3642CB27B04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aaaa93b3f30c4117d8472fc7e1c0b867afa93219","datavalue":{"value":"factor order","type":"string"},"datatype":"string"},"type":"statement","id":"Q2380324$2D41585F-9B9B-4AB9-AC9B-DB873F65C861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36cdcccdfcc6b313ffd420e82d594cc27db4468d","datavalue":{"value":"finite state automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q2380324$3EF32723-EAAA-4575-A5F2-B0DF27DEF8E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8cd04b2cc505cb409797e572750d2f2642129dfb","datavalue":{"value":"generating function","type":"string"},"datatype":"string"},"type":"statement","id":"Q2380324$21EAF32F-C8AC-49C2-B069-76E6C260D306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0da0f5147540e5ff9abe1a7fedfdb0d575bb38f3","datavalue":{"value":"partially ordered set","type":"string"},"datatype":"string"},"type":"statement","id":"Q2380324$A5EB675B-540A-4A0D-90B2-FEA5AA986B50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95d8e061ae891ae238409d6c1473c71905a5a33c","datavalue":{"value":"rationality","type":"string"},"datatype":"string"},"type":"statement","id":"Q2380324$C367923C-2F5F-4041-BAE2-FDE295C0A279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28183f2a32c2bc5ef234a1c1ff1e015dacec83a1","datavalue":{"value":"transfer matrix","type":"string"},"datatype":"string"},"type":"statement","id":"Q2380324$242FCA4B-6B93-4549-9197-7E23FAC23A93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea13dc80327667fe701c682c2af6eed5bd0f4c27","datavalue":{"value":"Wilf equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2380324$6DBD68BE-C5F2-4625-9604-B089E7C18DCA","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":"Q2380324$67BA7284-6620-483F-8748-A989504C69C9","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"798985dd535958bf1470c7aed5ac5e48dc0a6fec","datavalue":{"value":"bafkreieklvhwtu2iqirwev3u4tumzqtsk65hud25tczmzoci3mm3zvdv6q","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2380324$8E7BBFB7-7650-4557-BE42-4BD7E28906D1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f854a8d19d5a5437fc7e2a10e6b5e226601a1c7b","datavalue":{"value":{"entity-type":"item","numeric-id":3176594,"id":"Q3176594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9dda267337ec304db4cbad2fc22735da2ae50fa","datavalue":{"value":{"amount":"+0.99794739484787","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":"Q2380324$B65A7E89-AFD8-47FA-BCE9-89571A8C4B42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73de94dd8e6e7bf5bb4e882a1932e96bbd70ba96","datavalue":{"value":{"entity-type":"item","numeric-id":3004887,"id":"Q3004887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"828334d402f256e974fc91a53623ac2753a1ecb2","datavalue":{"value":{"amount":"+0.8406654000282288","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":"Q2380324$4B9C21E5-C81B-44AB-BC04-AB653D5D7DA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28aac7dfa1c10a6ede9aa6339827a604009410ec","datavalue":{"value":{"entity-type":"item","numeric-id":5169278,"id":"Q5169278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b509f27a1cd37109c91c5a139a1d9ad5cf46da2","datavalue":{"value":{"amount":"+0.8020287156105042","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":"Q2380324$42B4E01E-400F-49FF-B5F3-F2C05420AB4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb5912d9725c14b664cc3136e9c030dbc4cc7136","datavalue":{"value":{"entity-type":"item","numeric-id":2503301,"id":"Q2503301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0de0bb394def73972710d99c7d4d76f97e8a4676","datavalue":{"value":{"amount":"+0.7531713247299194","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":"Q2380324$53A0D28D-79EE-4514-82E7-0B0A1AAA81D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"891665dee714f6f3273bec1539e97f8f9ac6f411","datavalue":{"value":{"entity-type":"item","numeric-id":5377360,"id":"Q5377360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94b9e1d1fcae1ae11c776ad0eb4fb409ba27e826","datavalue":{"value":{"amount":"+0.7477927803993225","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":"Q2380324$9A30A75A-1091-45B8-A09E-C4A232F543ED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Rationality, irrationality, and Wilf equivalence in generalized factor order","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Rationality,_irrationality,_and_Wilf_equivalence_in_generalized_factor_order"}}}}}